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 |