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 benchmark0.007998
(Un)Satisfiability was proved
Number of variables696
Number of clauses3122
Sum of the clauses size9414
Maximum clause length6
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21091
Number of clauses of size 31138
Number of clauses of size 4650
Number of clauses of size 5240
Number of clauses of size over 53

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SApperloT base (complete)1786103UNSAT 0.007998 0.00820505
MiniSat 2.1 (Sat-race'08 Edition) (complete)1784491UNSAT 0.011997 0.0117789
SAT07 reference solver: minisat SAT 2007 (complete)1786100UNSAT 0.011997 0.0120709
MXC 2009-03-10 (complete)1784493UNSAT 0.012997 0.0131021
clasp 1.2.0-SAT09-32 (complete)1786098UNSAT 0.013997 0.0140369
VARSAT-industrial 2009-03-22 (complete)1786102UNSAT 0.017996 0.0178811
LySAT c/2009-03-20 (complete)1825537UNSAT 0.026995 0.0295159
glucose 1.0 (complete)1784492UNSAT 0.027994 0.027766
precosat 236 (complete)1784490UNSAT 0.027995 0.0265261
SAT07 reference solver: SATzilla CRAFTED (complete)1786101UNSAT 0.033994 0.033666
SATzilla2009_C 2009-03-22 (complete)1825870UNSAT 0.033994 0.0336141
IUT_BMB_SAT 1.0 (complete)1786099UNSAT 0.051991 0.0516711

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: