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 benchmark1073.97
(Un)Satisfiability was proved
Number of variables9638
Number of clauses31795
Sum of the clauses size82345
Maximum clause length3
Minimum clause length1
Number of clauses of size 183
Number of clauses of size 212874
Number of clauses of size 318838
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
clasp 1.2.0-SAT09-32 (complete)1785066UNSAT 1073.97 1074.32
SATzilla2009_C 2009-03-22 (complete)1825698UNSAT 1093.65 1093.98
SAT07 reference solver: SATzilla CRAFTED (complete)1785069UNSAT 1318.02 1318.79
SApperloT base (complete)1785071UNSAT 1416.3 1416.69
precosat 236 (complete)1783802UNSAT 1546.29 1546.87
IUT_BMB_SAT 1.0 (complete)1785067UNSAT 1550.17 1550.56
LySAT c/2009-03-20 (complete)1824981UNSAT 1869.91 1870.68
SAT07 reference solver: minisat SAT 2007 (complete)1785068UNSAT 1906.73 1907.45
glucose 1.0 (complete)1783804UNSAT 1976.61 1977.16
MiniSat 2.1 (Sat-race'08 Edition) (complete)1783803UNSAT 2087.47 2088.17
MXC 2009-03-10 (complete)1783805UNSAT 2128.27 2128.92
VARSAT-industrial 2009-03-22 (complete)1785070UNSAT 3000.23 3001.27

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: