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 benchmarkSAT
Best CPU time to get the best result obtained on this benchmark70.7232
(Un)Satisfiability was proved
Number of variables21640
Number of clauses257551
Sum of the clauses size850944
Maximum clause length56
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 244056
Number of clauses of size 3125040
Number of clauses of size 468272
Number of clauses of size 515680
Number of clauses of size over 54503

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MiniSat 2.1 (Sat-race'08 Edition) (complete)1784595SAT 70.7232 70.7555
VARSAT-industrial 2009-03-22 (complete)1786258SAT 76.0414 76.0746
SAT07 reference solver: SATzilla CRAFTED (complete)1786257SAT 185.08 185.187
precosat 236 (complete)1784594SAT 203.503 203.59
glucose 1.0 (complete)1784596SAT 761.961 762.241
IUT_BMB_SAT 1.0 (complete)1786255SAT 2038.29 2039.37
clasp 1.2.0-SAT09-32 (complete)1786254SAT 4416.82 4417.99
SATzilla2009_C 2009-03-22 (complete)1825896? (exit code) 4998.87 5001.07
LySAT c/2009-03-20 (complete)1825615? (TO) 5000.06 5001.31
MXC 2009-03-10 (complete)1784597? (TO) 5000.09 5001.66
SApperloT base (complete)1786259? (TO) 5000.1 5001.43
SAT07 reference solver: minisat SAT 2007 (complete)1786256? (TO) 5000.13 5001.85

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:
--too large--