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 benchmark5.9181
(Un)Satisfiability was proved
Number of variables132
Number of clauses1527
Sum of the clauses size4472
Maximum clause length8
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2168
Number of clauses of size 31344
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 515

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
VARSAT-industrial 2009-03-22 (complete)1784656UNSAT 5.9181 5.92057
clasp 1.2.0-SAT09-32 (complete)1784652UNSAT 7.66783 7.67147
LySAT c/2009-03-20 (complete)1824912UNSAT 10.9153 10.9291
IUT_BMB_SAT 1.0 (complete)1784653UNSAT 11.5402 11.5459
precosat 236 (complete)1783526UNSAT 11.5462 11.5493
SAT07 reference solver: minisat SAT 2007 (complete)1784654UNSAT 11.5802 11.5909
glucose 1.0 (complete)1783528UNSAT 12.3501 12.3676
MiniSat 2.1 (Sat-race'08 Edition) (complete)1783527UNSAT 19.0321 19.0366
SAT07 reference solver: SATzilla CRAFTED (complete)1784655UNSAT 19.996 20.0435
MXC 2009-03-10 (complete)1783529UNSAT 21.5167 21.5234
SATzilla2009_C 2009-03-22 (complete)1825629UNSAT 25.4501 25.4659
SApperloT base (complete)1784657UNSAT 36.3105 36.3276

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: