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 benchmark0.187971
(Un)Satisfiability was proved
Number of variables288
Number of clauses11604
Sum of the clauses size89223
Maximum clause length11
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 214
Number of clauses of size 373
Number of clauses of size 472
Number of clauses of size 5457
Number of clauses of size over 510986

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
clasp 1.2.0-SAT09-32 (complete)1784670UNSAT 0.187971 0.188334
precosat 236 (complete)1783538UNSAT 0.360944 0.360783
MXC 2009-03-10 (complete)1783541UNSAT 0.487925 0.488596
MiniSat 2.1 (Sat-race'08 Edition) (complete)1783539UNSAT 0.533918 0.53464
SAT07 reference solver: minisat SAT 2007 (complete)1784672UNSAT 0.535918 0.536231
IUT_BMB_SAT 1.0 (complete)1784671UNSAT 0.665898 0.670212
VARSAT-industrial 2009-03-22 (complete)1784674UNSAT 0.696893 0.697145
SATzilla2009_C 2009-03-22 (complete)1825632UNSAT 5.47917 5.49198
SAT07 reference solver: SATzilla CRAFTED (complete)1784673UNSAT 15.9986 16.1096
glucose 1.0 (complete)1783540UNSAT 20.9368 20.9573
LySAT c/2009-03-20 (complete)1824915UNSAT 38.1902 38.2257
SApperloT base (complete)1784675UNSAT 165.391 165.436

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: