The SAT2002 Competition
(preliminary draft)

Laurent Simon
http://www.lri.fr/~simon/
LRI, U.M.R. CNRS 8623, Université Paris-Sud,
91405 Orsay Cedex, France. - Daniel Le Berre¹
http://www.cril.univ-artois.fr/~leberre/
CRIL-CNRS, Faculté Jean Perrin, Université d'Artois,
Rue Jean Souvraz SP 18, 62300 Lens Cedex - Edward A. Hirsch²
http://logic.pdmi.ras.ru/~hirsch/
Steklov Institute of Mathematics at St.Petersburg
27 Fontanka, 191011 St.Petersburg, Russia.

Abstract:

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.