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 benchmark351.007
(Un)Satisfiability was proved
Number of variables760
Number of clauses43649
Sum of the clauses size87978
Maximum clause length19
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 243609
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
clasp 1.2.0-SAT09-32 (complete)1785894UNSAT 351.007 351.143
SAT07 reference solver: SATzilla CRAFTED (complete)1785897UNSAT 456.264 456.394
SATzilla2009_C 2009-03-22 (complete)1825836UNSAT 495.936 496.091
MXC 2009-03-10 (complete)1784357UNSAT 836.602 836.916
glucose 1.0 (complete)1784356UNSAT 1530.52 1531
SApperloT base (complete)1785899UNSAT 1848.67 1849.7
MiniSat 2.1 (Sat-race'08 Edition) (complete)1784355UNSAT 2321.63 2322.25
precosat 236 (complete)1784354UNSAT 2920.22 2920.89
LySAT c/2009-03-20 (complete)1825503UNSAT 3328.11 3329.42
VARSAT-industrial 2009-03-22 (complete)1785898UNSAT 4636.07 4637.64
SAT07 reference solver: minisat SAT 2007 (complete)1785896UNSAT 4822.16 4824.11
IUT_BMB_SAT 1.0 (complete)1785895UNSAT 4872.6 4874.36

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: