SAT Competition 2014
affiliated with the SAT 2014 conference, July 14-17 in Vienna, Austria.
and the FLoC Olympic Games

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
April 30 May 7 Final versions of registered solvers due
April 30 May 7 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