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 benchmark0.097984
(Un)Satisfiability was proved
Number of variables267
Number of clauses23747
Sum of the clauses size136362
Maximum clause length19
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 2700
Number of clauses of size 31
Number of clauses of size 4563
Number of clauses of size 51926
Number of clauses of size over 520493

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
clasp 1.2.0-SAT09-32 (complete)1785798UNSAT 0.097984 0.09771
SApperloT base (complete)1785803UNSAT 0.134978 0.135789
MXC 2009-03-10 (complete)1784293UNSAT 0.18497 0.185277
precosat 236 (complete)1784290UNSAT 0.185971 0.186111
MiniSat 2.1 (Sat-race'08 Edition) (complete)1784291UNSAT 0.18897 0.188337
SAT07 reference solver: minisat SAT 2007 (complete)1785800UNSAT 0.245962 0.246964
IUT_BMB_SAT 1.0 (complete)1785799UNSAT 0.286956 0.286748
VARSAT-industrial 2009-03-22 (complete)1785802UNSAT 0.311952 0.310914
glucose 1.0 (complete)1784292UNSAT 0.376941 0.378284
LySAT c/2009-03-20 (complete)1825487UNSAT 0.382941 0.383365
SAT07 reference solver: SATzilla CRAFTED (complete)1785801UNSAT 2.14267 2.14329
SATzilla2009_C 2009-03-22 (complete)1825820UNSAT 2.20366 2.2106

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: