[SMT-COMP] A question on the forthcoming competition

[Alberto Griggio]

Hello all, 
as the subject says, I have a question about the next
competition. Reading the rules, I found that the timeout value has not
been decided yet, but is expected to be around 10 minutes. If I remember
correctly, the rules for 2006 said the same thing, but then the timeout
was raised to 20 minutes. So, which is the right estimate? I'm asking
because I think it can make a difference in parameter tuning. 

Best regards,
Alberto