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 benchmark11.0273
(Un)Satisfiability was proved
Number of variables24356
Number of clauses1884008
Sum of the clauses size4117468
Maximum clause length144
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21655732
Number of clauses of size 3177720
Number of clauses of size 424200
Number of clauses of size 525920
Number of clauses of size over 5436

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MiniSat 2.1 (Sat-race'08 Edition) (complete)1784079SAT 11.0273 11.0295
SApperloT base (complete)1785485SAT 11.5352 11.5565
MXC 2009-03-10 (complete)1784081SAT 15.2347 15.248
SAT07 reference solver: minisat SAT 2007 (complete)1785482SAT 21.5037 21.516
glucose 1.0 (complete)1784080SAT 41.9216 41.9688
LySAT c/2009-03-20 (complete)1825258SAT 45.987 46.0214
IUT_BMB_SAT 1.0 (complete)1785481SAT 53.7218 53.7654
precosat 236 (complete)1784078SAT 71.0922 71.1655
clasp 1.2.0-SAT09-32 (complete)1785480SAT 168.26 168.316
SAT07 reference solver: SATzilla CRAFTED (complete)1785483SAT 1878.65 1879.36
SATzilla2009_C 2009-03-22 (complete)1825767? (exit code) 4999.04 5001.64
VARSAT-industrial 2009-03-22 (complete)1785484? (TO) 5000.14 5002.24

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