SAT 2009 Competition: main competition (phase2): solvers results per benchmarks

Result page for benchmark

Jump to solvers results

General information on the benchmark

Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.10683
(Un)Satisfiability was proved
Number of variables61
Number of clauses132
Sum of the clauses size396
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3132
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MXC 2009-03-10 (complete)1784149UNSAT 1.10683 1.10782
clasp 1.2.0-SAT09-32 (complete)1785582UNSAT 1.17882 1.17978
VARSAT-industrial 2009-03-22 (complete)1785586UNSAT 2.24366 2.24467
SApperloT base (complete)1785587UNSAT 2.49262 2.4928
precosat 236 (complete)1784146UNSAT 2.6286 2.6305
SAT07 reference solver: minisat SAT 2007 (complete)1785584UNSAT 2.86356 2.86421
SAT07 reference solver: SATzilla CRAFTED (complete)1785585UNSAT 3.06853 3.06902
SATzilla2009_C 2009-03-22 (complete)1825784UNSAT 3.06953 3.07075
LySAT c/2009-03-20 (complete)1825451UNSAT 3.11253 3.12049
IUT_BMB_SAT 1.0 (complete)1785583UNSAT 3.15752 3.15933
glucose 1.0 (complete)1784148UNSAT 5.35019 5.35256
MiniSat 2.1 (Sat-race'08 Edition) (complete)1784147UNSAT 10.0085 10.0124

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

Solution found: