Important dates
All dates are during the year 2013.
April 10-20 | Solver and testing period for organizers |
April 20 | Final version along with MD5 hash of organizers solvers |
April 20 | Solver registration and testing period opens |
April 20 | Benchmarks and generators submission opens |
April 30 | Final versions of registered solvers due |
Benchmarks and generators submission closes | |
May 10 | Last possible update of solver descriptions |
April 30 - June 30 | Execution of the competition |
June 30 - July 8 | Checking of the results by the participants |
Around July 9-12 | Announcement of results at the SAT 2013 conference |