| CARVIEW |
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!
- Call for Benchmarks.
- Call for Solvers.
- Important Dates:
- February, 14: deadline for submitting solvers.
- February, 21 (UPDATED): deadline for submitting benchmarks.
- February, 28: buggy solvers returned to the authors.
- March, 7: buggy solvers resubmitted.
- March, 14: 1st stage of the competition starts.
- April, 14 (or earlier): 2nd stage of the competition starts.
- May: results during SAT2003 conference, awards.
- Organizing Commitee:
- Submission (not opened yet)
- Solver Pre-registration, Benchmark pre-registration.
- Contact: SATcompetition@satlive.org
[SAT 2003] [SAT-Ex] [SATLIB] [SAT Live!]