SAT 2011 Competition: main competition (phase 1): available results

WARNING!

This site gives some information based on the answers provided by the different solvers. Not all answers given by a solver can be checked efficiently. Therefore, some answers given by a solver may be wrong but this may be unnoticed by the evaluation environment.

Here are the checks made for each answer.

General information

Global results of solvers

Individual results of solvers

Some graphs

Comparison of two solvers

Results for each bench by categories

Raw data

Reproducing the competition data on another web site is not allowed without the authors's prior permission.