SAT Competition 2003

February 14 - May 8, 2003

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!

[SAT 2003] [SAT-Ex] [SATLIB] [SAT Live!]