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 benchmark280.604
(Un)Satisfiability was proved
Number of variables25493
Number of clauses1139180
Sum of the clauses size2298131
Maximum clause length10
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21136319
Number of clauses of size 31
Number of clauses of size 41
Number of clauses of size 57
Number of clauses of size over 52852

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
precosat 236 (complete)1783670UNSAT 280.604 280.677
MXC 2009-03-10 (complete)1783673UNSAT 284.559 284.647
MiniSat 2.1 (Sat-race'08 Edition) (complete)1783671UNSAT 300.787 300.877
glucose 1.0 (complete)1783672UNSAT 767.762 768.11
SApperloT base (complete)1784873UNSAT 1308.68 1309.05
SAT07 reference solver: minisat SAT 2007 (complete)1784870UNSAT 1836.49 1837.01
LySAT c/2009-03-20 (complete)1824948UNSAT 1881.23 1881.73
IUT_BMB_SAT 1.0 (complete)1784869UNSAT 1887.05 1887.95
clasp 1.2.0-SAT09-32 (complete)1784868UNSAT 2052.9 2053.43
VARSAT-industrial 2009-03-22 (complete)1784872UNSAT 4297.27 4298.82
SATzilla2009_C 2009-03-22 (complete)1825665? (exit code) 4998.86 5001.73
SAT07 reference solver: SATzilla CRAFTED (complete)1784871? (exit code) 4999.17 5000.52

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: