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 benchmark334.451
(Un)Satisfiability was proved
Number of variables900
Number of clauses71378
Sum of the clauses size143596
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 271348
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 530

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
clasp 1.2.0-SAT09-32 (complete)1785372UNSAT 334.451 334.576
precosat 236 (complete)1784006UNSAT 1109.34 1109.65
MXC 2009-03-10 (complete)1784009UNSAT 1240.77 1241.07
SApperloT base (complete)1785377UNSAT 1335.34 1335.7
glucose 1.0 (complete)1784008UNSAT 2039.55 2040.4
VARSAT-industrial 2009-03-22 (complete)1785376UNSAT 2146.67 2147.56
LySAT c/2009-03-20 (complete)1825032UNSAT 2197.93 2198.89
SAT07 reference solver: minisat SAT 2007 (complete)1785374UNSAT 2215.93 2216.59
SAT07 reference solver: SATzilla CRAFTED (complete)1785375UNSAT 2227.28 2228.24
SATzilla2009_C 2009-03-22 (complete)1825749UNSAT 2245.35 2246.31
IUT_BMB_SAT 1.0 (complete)1785373UNSAT 2255.67 2256.38
MiniSat 2.1 (Sat-race'08 Edition) (complete)1784007UNSAT 2842.47 2843.25

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: