Rules

Download the official rules.
There was a small fix on 2011-05-17: we added QF_NRA to the division listing. This was an oversight in the original version.

The 2011 CFP is also available, but the official rules PDF above is the authoritative source, and takes precedence should there be a discrepancy.

Submission this year will be through the SMT-Exec service, an execution service for SMT solvers. You are encouraged to upload early and often to test your solver on the competition infrastructure. SMT-Exec allows you to keep such submissions private, and when you have completed your competition solver, you can upload the final version of your solver for competition, or mark one of your previous uploads as your competition submission.

Log in to SMT-Exec

Last modified: Tue 17 Feb 2015 15:01 UTC