SAT 2011 Competition: main competition (phase 1): benchmarks results per solver

Result page for solver Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)

Category "applications instances" (APPLICATION)

Solver proved unsatisfiability (UNSATISFIABLE) (86 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) (85 runs) [Show/Hide]

Solver timed out (no solution given) (129 runs) [Show/Hide]

Category "crafted instances" (CRAFTED)

Solver proved unsatisfiability (UNSATISFIABLE) (31 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) (100 runs) [Show/Hide]

Solver timed out (no solution given) (169 runs) [Show/Hide]

Category "random instances" (RANDOM)

Solver proved unsatisfiability (UNSATISFIABLE) (106 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) (293 runs) [Show/Hide]