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 benchmark17.6583
(Un)Satisfiability was proved
Number of variables14896
Number of clauses152722
Sum of the clauses size503314
Maximum clause length42
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 227440
Number of clauses of size 372038
Number of clauses of size 440118
Number of clauses of size 510080
Number of clauses of size over 53046

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
VARSAT-industrial 2009-03-22 (complete)1786198SAT 17.6583 17.6629
MXC 2009-03-10 (complete)1784557SAT 22.3446 22.35
clasp 1.2.0-SAT09-32 (complete)1786194SAT 31.5502 31.5691
LySAT c/2009-03-20 (complete)1825553SAT 40.8118 40.8397
precosat 236 (complete)1784554SAT 42.7645 42.7834
MiniSat 2.1 (Sat-race'08 Edition) (complete)1784555SAT 75.9685 75.987
SAT07 reference solver: SATzilla CRAFTED (complete)1786197SAT 162.463 162.557
SApperloT base (complete)1786199SAT 179.836 179.877
glucose 1.0 (complete)1784556SAT 188.542 188.633
SAT07 reference solver: minisat SAT 2007 (complete)1786196SAT 210.789 210.904
SATzilla2009_C 2009-03-22 (complete)1825886SAT 237.968 238.084
IUT_BMB_SAT 1.0 (complete)1786195SAT 1041.9 1042.33

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