, Volume 43, Issue 1-4, pp 307-342
Date: 31 Dec 2004

The SAT2002 competition

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

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.