Annals of Mathematics and Artificial Intelligence

, Volume 43, Issue 1, pp 307–342

The SAT2002 competition

  • Laurent Simon
  • Daniel Le Berre
  • Edward A. Hirsch

DOI: 10.1007/s10472-005-0424-6

Cite this article as:
Simon, L., Le Berre, D. & Hirsch, E.A. Ann Math Artif Intell (2005) 43: 307. doi:10.1007/s10472-005-0424-6


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.


Boolean satisfiability (SAT)empirical evaluation

Copyright information

© Springer 2004

Authors and Affiliations

  • Laurent Simon
    • 1
  • Daniel Le Berre
    • 2
  • Edward A. Hirsch
    • 3
  1. 1.LRI, U.M.R. CNRS 8623Université Paris-SudOrsayFrance
  2. 2.CRIL, F.R.E. CNRS 2499, Faculté Jean PerrinUniversité d’ ArtoisLensFrance
  3. 3.Steklov Institute of Mathematics at St. PetersburgSt. PetersburgRussia