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 benchmark208.173
(Un)Satisfiability was proved
Number of variables580
Number of clauses7153
Sum of the clauses size21604
Maximum clause length4
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 37008
Number of clauses of size 4145
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
MXC 2009-03-10 (complete)1783997UNSAT 208.173 208.226
SApperloT base (complete)1785359UNSAT 295.368 295.441
clasp 1.2.0-SAT09-32 (complete)1785354UNSAT 296.86 296.969
LySAT c/2009-03-20 (complete)1825029UNSAT 400.001 400.162
glucose 1.0 (complete)1783996UNSAT 420.741 420.92
VARSAT-industrial 2009-03-22 (complete)1785358UNSAT 502.556 502.963
SAT07 reference solver: minisat SAT 2007 (complete)1785356UNSAT 525.103 525.27
IUT_BMB_SAT 1.0 (complete)1785355UNSAT 537.949 538.124
SATzilla2009_C 2009-03-22 (complete)1825746UNSAT 611.096 611.375
MiniSat 2.1 (Sat-race'08 Edition) (complete)1783995UNSAT 724.894 725.079
precosat 236 (complete)1783994UNSAT 802.361 802.582
SAT07 reference solver: SATzilla CRAFTED (complete)1785357? (exit code) 4998.9 5000.67

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: