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 benchmark84.5391
(Un)Satisfiability was proved
Number of variables8484
Number of clauses74640
Sum of the clauses size243102
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 215431
Number of clauses of size 333298
Number of clauses of size 418962
Number of clauses of size 55508
Number of clauses of size over 51441

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MiniSat 2.1 (Sat-race'08 Edition) (complete)1784511UNSAT 84.5391 84.5563
clasp 1.2.0-SAT09-32 (complete)1786128UNSAT 125.084 125.116
SApperloT base (complete)1786133UNSAT 138.019 138.053
MXC 2009-03-10 (complete)1784513UNSAT 138.772 138.809
precosat 236 (complete)1784510UNSAT 148.603 148.655
glucose 1.0 (complete)1784512UNSAT 148.965 149.034
SAT07 reference solver: minisat SAT 2007 (complete)1786130UNSAT 162.052 162.127
IUT_BMB_SAT 1.0 (complete)1786129UNSAT 202.034 202.116
LySAT c/2009-03-20 (complete)1825542UNSAT 205.142 205.228
VARSAT-industrial 2009-03-22 (complete)1786132UNSAT 215.668 215.715
SAT07 reference solver: SATzilla CRAFTED (complete)1786131UNSAT 218.633 218.74
SATzilla2009_C 2009-03-22 (complete)1825875UNSAT 236.507 236.662

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: