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.72874
(Un)Satisfiability was proved
Number of variables4380
Number of clauses31980
Sum of the clauses size102772
Maximum clause length20
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 27508
Number of clauses of size 313398
Number of clauses of size 47973
Number of clauses of size 53006
Number of clauses of size over 595

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
glucose 1.0 (complete)1784500UNSAT 1.72874 1.8178
IUT_BMB_SAT 1.0 (complete)1786111UNSAT 1.89371 1.89401
MiniSat 2.1 (Sat-race'08 Edition) (complete)1784499UNSAT 1.90071 1.90175
clasp 1.2.0-SAT09-32 (complete)1786110UNSAT 1.91171 1.91289
SAT07 reference solver: minisat SAT 2007 (complete)1786112UNSAT 1.9577 1.95776
precosat 236 (complete)1784498UNSAT 2.48362 2.48525
SApperloT base (complete)1786115UNSAT 2.54161 2.54183
MXC 2009-03-10 (complete)1784501UNSAT 2.6146 2.61553
LySAT c/2009-03-20 (complete)1825539UNSAT 2.89956 2.90174
VARSAT-industrial 2009-03-22 (complete)1786114UNSAT 4.46332 4.46439
SATzilla2009_C 2009-03-22 (complete)1825872UNSAT 7.66383 7.68153
SAT07 reference solver: SATzilla CRAFTED (complete)1786113UNSAT 15.7716 15.7852

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: