The SAT2002 competition

Laurent Simon, Daniel Le Berre, Edward A. Hirsch

Research output: Contribution to journalArticlepeer-review

29 Scopus citations


SAT Competition 2002 held in March-May 2002 in conjunction with SAT 2002 (the Fifth International Symposium on the Theory and Applications of Satisfiability Testing). About 30 solvers and 2300 benchmarks took part in the competition, which required more than 2 CPU years to complete the evaluation. In this report, we give the results of the competition, try to interpret them, and give suggestions for future competitions.

Original languageEnglish
Pages (from-to)307-342
Number of pages36
JournalAnnals of Mathematics and Artificial Intelligence
Issue number1-4
StatePublished - Jan 2005
Externally publishedYes


  • Boolean satisfiability (SAT)
  • empirical evaluation


Dive into the research topics of 'The SAT2002 competition'. Together they form a unique fingerprint.

Cite this