SAT 2007 Competition Phase 1: benchmarks results per solver

Result page for solver Rsat 2007-02-08

Category "crafted instances" (CRAFTED)

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

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

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

Solver didn't output a solution line and terminated with an unexpected exit code (4 runs) [Show/Hide]

Category "industrial instances" (INDUST)

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

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

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

Solver didn't output a solution line and terminated with an unexpected exit code (1 run) [Show/Hide]

Category "random instances" (RANDOM)

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

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

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

Solver didn't output a solution line and terminated with an unexpected exit code (18 runs) [Show/Hide]