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 benchmark34.7507
(Un)Satisfiability was proved
Number of variables1133
Number of clauses56210
Sum of the clauses size352304
Maximum clause length22
Minimum clause length1
Number of clauses of size 136
Number of clauses of size 22544
Number of clauses of size 310764
Number of clauses of size 427
Number of clauses of size 545
Number of clauses of size over 542794

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
precosat 236 (complete)1783574UNSAT 34.7507 34.761
IUT_BMB_SAT 1.0 (complete)1784725UNSAT 58.3591 58.3832
MXC 2009-03-10 (complete)1783577UNSAT 59.276 59.2941
MiniSat 2.1 (Sat-race'08 Edition) (complete)1783575UNSAT 68.5926 68.6199
SAT07 reference solver: SATzilla CRAFTED (complete)1784727UNSAT 76.7963 76.8825
glucose 1.0 (complete)1783576UNSAT 149.959 150.025
SAT07 reference solver: minisat SAT 2007 (complete)1784726UNSAT 152.967 153.048
VARSAT-industrial 2009-03-22 (complete)1784728UNSAT 175.8 175.849
SATzilla2009_C 2009-03-22 (complete)1825641UNSAT 179.915 179.987
clasp 1.2.0-SAT09-32 (complete)1784724UNSAT 183.235 183.287
SApperloT base (complete)1784729UNSAT 202.185 202.241
LySAT c/2009-03-20 (complete)1824924UNSAT 207.099 207.156

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: