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 benchmark17.5723
(Un)Satisfiability was proved
Number of variables36
Number of clauses7938
Sum of the clauses size92232
Maximum clause length12
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 4378
Number of clauses of size 50
Number of clauses of size over 57560

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MXC 2009-03-10 (complete)1784229UNSAT 17.5723 17.5779
clasp 1.2.0-SAT09-32 (complete)1785702UNSAT 25.1452 25.1576
SApperloT base (complete)1785707UNSAT 33.3009 33.3103
glucose 1.0 (complete)1784228UNSAT 34.5937 34.6115
precosat 236 (complete)1784226UNSAT 40.7028 40.7233
SAT07 reference solver: minisat SAT 2007 (complete)1785704UNSAT 45.6751 45.6916
IUT_BMB_SAT 1.0 (complete)1785703UNSAT 46.4839 46.4999
LySAT c/2009-03-20 (complete)1825471UNSAT 46.9079 46.9282
VARSAT-industrial 2009-03-22 (complete)1785706UNSAT 47.5388 47.5536
MiniSat 2.1 (Sat-race'08 Edition) (complete)1784227UNSAT 112.609 112.638
SAT07 reference solver: SATzilla CRAFTED (complete)1785705UNSAT 2041.5 2042.4
SATzilla2009_C 2009-03-22 (complete)1825804? (exit code) 4998.52 5000.93

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: