SAT Competition 2013
affiliated with the SAT 2013 conference, July 8-12 in Helsinki, Finland
jointly organized by Ulm University, University of Helsinki,
University College Dublin, University of Texas at Austin,

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
April 30 May 10 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