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 benchmark70.5633
(Un)Satisfiability was proved
Number of variables1472
Number of clauses7737
Sum of the clauses size65737
Maximum clause length16
Minimum clause length1
Number of clauses of size 127
Number of clauses of size 2253
Number of clauses of size 31166
Number of clauses of size 4118
Number of clauses of size 5888
Number of clauses of size over 55285

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
precosat 236 (complete)1783562UNSAT 70.5633 70.5816
LySAT c/2009-03-20 (complete)1824921UNSAT 77.4112 77.4596
SAT07 reference solver: minisat SAT 2007 (complete)1784708UNSAT 84.1772 84.206
glucose 1.0 (complete)1783564UNSAT 87.3657 87.3948
IUT_BMB_SAT 1.0 (complete)1784707UNSAT 92.5869 92.6424
clasp 1.2.0-SAT09-32 (complete)1784706UNSAT 102.476 102.505
SATzilla2009_C 2009-03-22 (complete)1825638UNSAT 103.673 103.743
VARSAT-industrial 2009-03-22 (complete)1784710UNSAT 134.727 134.775
SAT07 reference solver: SATzilla CRAFTED (complete)1784709UNSAT 136.273 136.354
MiniSat 2.1 (Sat-race'08 Edition) (complete)1783563UNSAT 142.205 142.251
MXC 2009-03-10 (complete)1783565UNSAT 193.379 193.36
SApperloT base (complete)1784711UNSAT 201.171 201.227

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: