[SMT-COMP] A question on the forthcoming competition

[Clark Barrett]

Alberto,

Our best guess is that it will be 20 minutes.  We will do some preliminary
testing the week before the competition to make sure everything runs smoothly.
If for some reason, the 20 minute time limit ends up being too long, we may
shorten it, but at this point our goal is 20 minutes.

-Clark

> 
> 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
> 
> _______________________________________________
> SMT-COMP mailing list
> SMT-COMP at cs.nyu.edu
> http://cs.nyu.edu/mailman/listinfo/smt-comp
>