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 benchmarkSAT
Best CPU time to get the best result obtained on this benchmark7.71083
(Un)Satisfiability was proved
Number of variables12584
Number of clauses729136
Sum of the clauses size1670768
Maximum clause length100
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2590828
Number of clauses of size 3103200
Number of clauses of size 417828
Number of clauses of size 517000
Number of clauses of size over 5280

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MXC 2009-03-10 (complete)1784077SAT 7.71083 7.71589
MiniSat 2.1 (Sat-race'08 Edition) (complete)1784075SAT 23.2375 23.2447
IUT_BMB_SAT 1.0 (complete)1785475SAT 24.8202 24.8404
glucose 1.0 (complete)1784076SAT 26.7139 26.7448
SApperloT base (complete)1785479SAT 87.8056 87.8292
LySAT c/2009-03-20 (complete)1825257SAT 123.922 124.005
clasp 1.2.0-SAT09-32 (complete)1785474SAT 134.345 134.394
SAT07 reference solver: SATzilla CRAFTED (complete)1785477SAT 216.467 216.59
SAT07 reference solver: minisat SAT 2007 (complete)1785476SAT 647.046 647.225
precosat 236 (complete)1784074SAT 739.645 739.838
SATzilla2009_C 2009-03-22 (complete)1825766? (exit code) 4998.49 5000.74
VARSAT-industrial 2009-03-22 (complete)1785478? (TO) 5000.03 5001.52

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:
--too large--