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 benchmark95.5065
(Un)Satisfiability was proved
Number of variables29249
Number of clauses861366
Sum of the clauses size1745389
Maximum clause length10
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2858070
Number of clauses of size 30
Number of clauses of size 46
Number of clauses of size 528
Number of clauses of size over 53262

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MiniSat 2.1 (Sat-race'08 Edition) (complete)1783675UNSAT 95.5065 95.5664
MXC 2009-03-10 (complete)1783677UNSAT 102.324 102.35
precosat 236 (complete)1783674UNSAT 156.2 156.238
SATzilla2009_C 2009-03-22 (complete)1825666UNSAT 200.815 200.882
glucose 1.0 (complete)1783676UNSAT 266.908 267.093
SAT07 reference solver: minisat SAT 2007 (complete)1784876UNSAT 439.034 439.265
IUT_BMB_SAT 1.0 (complete)1784875UNSAT 490.055 490.234
SApperloT base (complete)1784879UNSAT 642.478 642.64
SAT07 reference solver: SATzilla CRAFTED (complete)1784877UNSAT 717.596 718.026
VARSAT-industrial 2009-03-22 (complete)1784878UNSAT 883.565 883.886
LySAT c/2009-03-20 (complete)1824949UNSAT 1027.32 1027.71
clasp 1.2.0-SAT09-32 (complete)1784874UNSAT 1373.78 1374.48

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: