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 benchmark16.5795
(Un)Satisfiability was proved
Number of variables120
Number of clauses672
Sum of the clauses size1440
Maximum clause length10
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2660
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 512

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SATzilla2009_C 2009-03-22 (complete)1825628UNSAT 16.5795 16.594
clasp 1.2.0-SAT09-32 (complete)1784646UNSAT 93.1078 93.1538
IUT_BMB_SAT 1.0 (complete)1784647UNSAT 138.769 138.834
VARSAT-industrial 2009-03-22 (complete)1784650UNSAT 144.956 145.014
SAT07 reference solver: minisat SAT 2007 (complete)1784648UNSAT 147.226 147.308
SAT07 reference solver: SATzilla CRAFTED (complete)1784649UNSAT 170.099 171.434
LySAT c/2009-03-20 (complete)1824911UNSAT 271.849 271.978
SApperloT base (complete)1784651UNSAT 288.847 288.971
glucose 1.0 (complete)1783524UNSAT 694.102 694.277
MiniSat 2.1 (Sat-race'08 Edition) (complete)1783523UNSAT 863.941 864.411
MXC 2009-03-10 (complete)1783525UNSAT 1225.18 1225.7
precosat 236 (complete)1783522UNSAT 2164.82 2165.74

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: