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 benchmark324.402
(Un)Satisfiability was proved
Number of variables728
Number of clauses17199
Sum of the clauses size75582
Maximum clause length13
Minimum clause length1
Number of clauses of size 149
Number of clauses of size 21177
Number of clauses of size 38740
Number of clauses of size 4232
Number of clauses of size 5250
Number of clauses of size over 56751

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
clasp 1.2.0-SAT09-32 (complete)1785150UNSAT 324.402 324.509
SApperloT base (complete)1785155UNSAT 548.313 548.49
IUT_BMB_SAT 1.0 (complete)1785151UNSAT 723.32 723.591
SAT07 reference solver: minisat SAT 2007 (complete)1785152UNSAT 786.459 786.852
SATzilla2009_C 2009-03-22 (complete)1825712UNSAT 829.037 829.36
LySAT c/2009-03-20 (complete)1824995UNSAT 856.162 856.585
SAT07 reference solver: SATzilla CRAFTED (complete)1785153UNSAT 919.034 919.437
glucose 1.0 (complete)1783860UNSAT 1023.17 1023.43
VARSAT-industrial 2009-03-22 (complete)1785154UNSAT 1472.99 1473.51
precosat 236 (complete)1783858UNSAT 2650.98 2651.85
MiniSat 2.1 (Sat-race'08 Edition) (complete)1783859UNSAT 2917.63 2918.49
MXC 2009-03-10 (complete)1783861UNSAT 4162.63 4164.01

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: