“The International SAT Solver Competitions”, Matti Järvisalo, Daniel Le Berre, Olivier Roussel, Laurent Simon2012-03-15 (, , , ; backlinks; similar)⁠:

The International SAT Solver Competition is today an established series of competitive events aiming at objectively evaluating the progress in state-of-the-art procedures for solving Boolean satisfiability (SAT) instances.

Over the years, the competitions have substantially contributed to the fast progress in SAT solver technology that has made SAT a practical success story of computer science. This short article provides an overview of the SAT solver competitions.

Figure 2: Performance Evolution of the Best SAT Solvers 2002–9201113ya. The farther to the right the data points are, the better the solver.
Figure 2: Performance Evolution of the Best SAT Solvers from 2002–9201113ya. The farther to the right the data points are, the better the solver.

View PDF:

The International SAT Solver Competitions