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 benchmark41.0988
(Un)Satisfiability was proved
Number of variables24336
Number of clauses287938
Sum of the clauses size953826
Maximum clause length56
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 247673
Number of clauses of size 3140712
Number of clauses of size 476848
Number of clauses of size 517640
Number of clauses of size over 55065

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MiniSat 2.1 (Sat-race'08 Edition) (complete)1784603SAT 41.0988 41.1111
LySAT c/2009-03-20 (complete)1825617SAT 55.8225 55.8644
VARSAT-industrial 2009-03-22 (complete)1786270SAT 118.985 119.052
SAT07 reference solver: SATzilla CRAFTED (complete)1786269SAT 231.26 231.348
SATzilla2009_C 2009-03-22 (complete)1825898SAT 421.125 421.343
SAT07 reference solver: minisat SAT 2007 (complete)1786268SAT 671.03 671.35
precosat 236 (complete)1784602SAT 803.538 803.824
SApperloT base (complete)1786271SAT 859.07 859.297
glucose 1.0 (complete)1784604SAT 1121.36 1121.82
MXC 2009-03-10 (complete)1784605SAT 1302.07 1302.54
clasp 1.2.0-SAT09-32 (complete)1786266SAT 1632.74 1633.48
IUT_BMB_SAT 1.0 (complete)1786267SAT 2513.14 2514.23

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--