SAT 2009 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.
- SATISFIABLE answers:
The model provided by the solver is given to a verifier program which checks that all constraints are actually satisfied. These answers are the only ones that are guaranteed to be true.
- UNSATISFIABLE answers:
The only check that is made is to verify that no other solver found a solution to this instance. An UNSATISFIABLE answer is not reliable. Some solvers may wrongly indicate UNSATISFIABLE but unless another solver finds a model, this will remain undetected.
General information
Global results of solvers
Individual results of solvers
Some graphs
Comparison of two solvers
Results for each bench by categories
Results for each bench by series