Important dates
All dates are during the year 2014. Deadlines are 23:59 anywhere on earth (GMT −12).
April 21 | Solver registration and testing period opens |
April 21 | Benchmarks and generators submission opens |
Final versions of registered solvers due | |
Benchmarks and generators submission closes | |
May 8 - June 23 | Execution of the competition |
May 12 | Last possible submission of latex sources of solver and benchmark descriptions |
June 23 - June 30 | Checking of the results by the participants |
Around July 14 - 17 | Announcement of results at the SAT 2014 conference |