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 benchmark38.7781
(Un)Satisfiability was proved
Number of variables21640
Number of clauses255871
Sum of the clauses size847584
Maximum clause length56
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 242376
Number of clauses of size 3125040
Number of clauses of size 468272
Number of clauses of size 515680
Number of clauses of size over 54503

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SAT07 reference solver: SATzilla CRAFTED (complete)1786263SAT 38.7781 38.8274
IUT_BMB_SAT 1.0 (complete)1786261SAT 48.7036 48.7403
MiniSat 2.1 (Sat-race'08 Edition) (complete)1784599SAT 63.6563 63.6812
glucose 1.0 (complete)1784600SAT 73.4098 73.4511
precosat 236 (complete)1784598SAT 81.0717 81.1217
SApperloT base (complete)1786265SAT 140.426 140.463
SAT07 reference solver: minisat SAT 2007 (complete)1786262SAT 396.792 396.925
MXC 2009-03-10 (complete)1784601SAT 616.594 616.813
VARSAT-industrial 2009-03-22 (complete)1786264SAT 766.54 766.802
clasp 1.2.0-SAT09-32 (complete)1786260SAT 783.429 783.654
LySAT c/2009-03-20 (complete)1825616SAT 2266.66 2267.76
SATzilla2009_C 2009-03-22 (complete)1825897SAT 3622.63 3624.49

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