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 benchmark46.019
(Un)Satisfiability was proved
Number of variables1587
Number of clauses8013
Sum of the clauses size68223
Maximum clause length16
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 2283
Number of clauses of size 31146
Number of clauses of size 4108
Number of clauses of size 5888
Number of clauses of size over 55555

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
clasp 1.2.0-SAT09-32 (complete)1785174UNSAT 46.019 46.0315
IUT_BMB_SAT 1.0 (complete)1785175UNSAT 83.5173 83.5629
SAT07 reference solver: minisat SAT 2007 (complete)1785176UNSAT 89.2444 89.291
SATzilla2009_C 2009-03-22 (complete)1825716UNSAT 110.934 110.987
precosat 236 (complete)1783874UNSAT 118.006 118.039
VARSAT-industrial 2009-03-22 (complete)1785178UNSAT 124.899 124.931
LySAT c/2009-03-20 (complete)1824999UNSAT 142.142 142.205
MiniSat 2.1 (Sat-race'08 Edition) (complete)1783875UNSAT 160.353 160.4
MXC 2009-03-10 (complete)1783877UNSAT 170.182 170.232
glucose 1.0 (complete)1783876UNSAT 293.125 293.278
SApperloT base (complete)1785179UNSAT 1194.17 1194.49
SAT07 reference solver: SATzilla CRAFTED (complete)1785177UNSAT 1522.08 1522.8

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: