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 and University of Texas at Austin.


Jul 17 Proceedings of SAT Competition 2013
Jul 15 Results have been released.
Jul 15 Detailed Results in EDACC availabe.
Jul 14 Results presentation at SAT 2013
Jul 2 EDACC Verifier has been updated.
Jul 2 SC13 benchmark selection available for download.

About the SAT Competition 2013

The SAT Competition 2013 is a competitive event for solvers for the Boolean Satisfiability (SAT) problem. It is organized as a satellite event to the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013) and stands in the tradition of the SAT Competitions that have been held yearly from 2002 to 2005 and biannually starting from 2007, the SAT-Races held in 2006, 2008 and 2010, and the SAT Challenge 2012.

The emphasis of SAT Competition 2013 is on evaluation of core solvers. Additionally, and new this year, the UNSAT tracks of the competition will require certification.