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 benchmark8.21375
(Un)Satisfiability was proved
Number of variables13041
Number of clauses134672
Sum of the clauses size442400
Maximum clause length42
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 225102
Number of clauses of size 363007
Number of clauses of size 435077
Number of clauses of size 58820
Number of clauses of size over 52666

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
precosat 236 (complete)1784518SAT 8.21375 8.22634
IUT_BMB_SAT 1.0 (complete)1786141SAT 10.2134 10.2163
SAT07 reference solver: SATzilla CRAFTED (complete)1786143SAT 32.0361 32.0591
MXC 2009-03-10 (complete)1784521SAT 53.2569 53.2752
clasp 1.2.0-SAT09-32 (complete)1786140SAT 73.0019 73.0342
MiniSat 2.1 (Sat-race'08 Edition) (complete)1784519SAT 156.345 156.383
glucose 1.0 (complete)1784520SAT 298.746 298.876
VARSAT-industrial 2009-03-22 (complete)1786144SAT 505.324 505.465
SAT07 reference solver: minisat SAT 2007 (complete)1786142SAT 1496.96 1497.7
SApperloT base (complete)1786145SAT 2189.9 2190.43
SATzilla2009_C 2009-03-22 (complete)1825877SAT 2837.06 2838.33
LySAT c/2009-03-20 (complete)1825544? (TO) 5000.04 5002.51

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