SAT Competition 2014
affiliated with the SAT 2014 conference, July 14-17 in Vienna, Austria.
and the FLoC Olympic Games
There will be a special issue of Journal of Satistiability, Boolean Modeling and Computation on the SAT 2014 affiliated competitions and evaluations. Submission deadline December 12, 2014 (firm). More information here.

News

Feb 21Website is up.
Apr 1Changed gcc to version 4.7.1 and memory limit to 11Gb (sequential) and 22Gb (parallel).
Apr 10Judges are known: Pete Manolios, Lakhdar Sais, and Peter Stuckey
Apr 21Submission of solvers and benchmarks is open
Apr 29Deadline to submit solvers and benchmarks is extended to May 7, 2014
Jul 18Results released on EDACC
Jul 20Proceedings released pdf
Jul 20Competition results released slides
Aug 29Call for papers released here
Nov 7CfP deadline extension here

About the SAT Competition 2014


The SAT Competition 2014 is a competitive event for solvers for the Boolean Satisfiability (SAT) problem. It is organized as a satellite event to the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014) 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 2014 is on evaluation of core solvers. Additionally, as during SAT Competition 2013, the UNSAT tracks of the competition will require certification.