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.001998
(Un)Satisfiability was proved
Number of variables87
Number of clauses232
Sum of the clauses size696
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3232
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SAT07 reference solver: SATzilla CRAFTED (complete)1784757UNSAT 0.001998 0.00539992
SATzilla2009_C 2009-03-22 (complete)1825646UNSAT 0.001998 0.00509895
IUT_BMB_SAT 1.0 (complete)1784755UNSAT 92.9439 92.9947
SAT07 reference solver: minisat SAT 2007 (complete)1784756UNSAT 96.5803 96.6073
LySAT c/2009-03-20 (complete)1824929UNSAT 97.5352 97.5648
MXC 2009-03-10 (complete)1783597UNSAT 104.836 104.883
VARSAT-industrial 2009-03-22 (complete)1784758UNSAT 106.654 106.681
SApperloT base (complete)1784759UNSAT 145.273 145.33
glucose 1.0 (complete)1783596UNSAT 207.009 207.078
precosat 236 (complete)1783594UNSAT 241.258 241.324
clasp 1.2.0-SAT09-32 (complete)1784754UNSAT 243.22 243.285
MiniSat 2.1 (Sat-race'08 Edition) (complete)1783595UNSAT 525.22 525.454

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: