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 benchmark192.799
(Un)Satisfiability was proved
Number of variables289
Number of clauses33900
Sum of the clauses size195928
Maximum clause length19
Minimum clause length1
Number of clauses of size 165
Number of clauses of size 2730
Number of clauses of size 31
Number of clauses of size 4893
Number of clauses of size 52499
Number of clauses of size over 529712

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MXC 2009-03-10 (complete)1784277UNSAT 192.799 192.872
clasp 1.2.0-SAT09-32 (complete)1785774UNSAT 421.596 421.713
SApperloT base (complete)1785779UNSAT 433.747 433.862
precosat 236 (complete)1784274UNSAT 587.329 587.534
glucose 1.0 (complete)1784276UNSAT 632.817 633.138
IUT_BMB_SAT 1.0 (complete)1785775UNSAT 691.028 691.384
SAT07 reference solver: minisat SAT 2007 (complete)1785776UNSAT 719.128 719.308
MiniSat 2.1 (Sat-race'08 Edition) (complete)1784275UNSAT 876.112 876.363
VARSAT-industrial 2009-03-22 (complete)1785778UNSAT 981.811 982.131
SATzilla2009_C 2009-03-22 (complete)1825816UNSAT 1551.18 1551.93
LySAT c/2009-03-20 (complete)1825483UNSAT 1599.7 1600.46
SAT07 reference solver: SATzilla CRAFTED (complete)1785777? (exit code) 4998.39 4999.89

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: