Organized in conjunction with SAT 2003
(the Sixth International Conference on the Theory and Applications of Satisfiability Testing)
Last modification: 13 June 2020: resurrected the industrial benchmarks.
Competition benchmarks available on SATLIB.
Competition results summary here.
Competition detailled results here.
Benchmarks submission deadline postponed!!!! New deadline: February, 21.
Judges decisions concerning submission rules now available!!!!
Pre-registration opened!!!! (Go there)"
The competitor toolbox is now available!!!
SAT Competition 2003 will start on February 14, 2003 and will continue until (and during) SAT 2003 Conference (May 5-8, 2003, S. Margherita Ligure - Portofino, Italy). That competition follows the SAT Competition 2002 started on March 10, 2002 and continued until (and during) SAT 2002 Symposium (May 6-9, 2002, Cincinatti, Ohio, USA).
The purpose of the competition is to identify new challenging benchmarks and to promote new solvers for the propositional satisfiability problem (SAT) as well as to compare them with state-of-the-art solvers. We strongly encourage people thinking about SAT-based techniques in their area (planning, hardware or software verification, etc.) to submit benchmarks to be used for the competition. The result of the competition will be a good indicator of the current feasibility of such approach. The competition will be completely automated using the SAT-Ex system.
Take a look at the competition HOWTO!