[SMT-LIB] SMT-COMP pre-registration and submission is now open

[Leonardo de Moura]

Hi,

SMT-COMP pre-registration and submission is now open.
Additional information is available at:
http://www.csl.sri.com/users/demoura/smt-comp/registration.shtml

Please pre-register as soon as possible, we need this information
to decide the number of machines we are going to need, how
many benchmarks and the timeout we are going to use.

The deadline for system submission is 8th of August.

Best wishes,
Leonardo de Moura
for Aaron Stump and Clark Barrett