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 benchmark78.5631
(Un)Satisfiability was proved
Number of variables2401
Number of clauses15960
Sum of the clauses size111993
Maximum clause length13
Minimum clause length1
Number of clauses of size 142
Number of clauses of size 2427
Number of clauses of size 32205
Number of clauses of size 4294
Number of clauses of size 5441
Number of clauses of size over 512551

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
clasp 1.2.0-SAT09-32 (complete)1784916UNSAT 78.5631 78.5862
IUT_BMB_SAT 1.0 (complete)1784917UNSAT 197.481 197.587
VARSAT-industrial 2009-03-22 (complete)1784920UNSAT 250.629 250.725
SAT07 reference solver: minisat SAT 2007 (complete)1784918UNSAT 252.826 252.9
SATzilla2009_C 2009-03-22 (complete)1825673UNSAT 270.951 271.124
MiniSat 2.1 (Sat-race'08 Edition) (complete)1783703UNSAT 309.561 309.677
glucose 1.0 (complete)1783704UNSAT 489.112 489.253
precosat 236 (complete)1783702UNSAT 716.038 716.258
LySAT c/2009-03-20 (complete)1824956UNSAT 1019.41 1019.67
MXC 2009-03-10 (complete)1783705UNSAT 1268.47 1268.83
SApperloT base (complete)1784921UNSAT 3736.49 3737.49
SAT07 reference solver: SATzilla CRAFTED (complete)1784919UNSAT 3883.69 3885.37

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: