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 benchmark255.553
(Un)Satisfiability was proved
Number of variables796
Number of clauses10039
Sum of the clauses size30316
Maximum clause length4
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 39840
Number of clauses of size 4199
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MXC 2009-03-10 (complete)1783989UNSAT 255.553 255.634
clasp 1.2.0-SAT09-32 (complete)1785342UNSAT 410.958 411.062
SApperloT base (complete)1785347UNSAT 564.596 564.759
LySAT c/2009-03-20 (complete)1825027UNSAT 908.322 908.814
glucose 1.0 (complete)1783988UNSAT 996.168 996.604
SAT07 reference solver: minisat SAT 2007 (complete)1785344UNSAT 1037.4 1037.81
IUT_BMB_SAT 1.0 (complete)1785343UNSAT 1136.35 1136.63
SATzilla2009_C 2009-03-22 (complete)1825744UNSAT 1436.12 1436.55
MiniSat 2.1 (Sat-race'08 Edition) (complete)1783987UNSAT 1969.55 1970.14
VARSAT-industrial 2009-03-22 (complete)1785346UNSAT 1974.85 1975.71
precosat 236 (complete)1783986UNSAT 2343.84 2344.69
SAT07 reference solver: SATzilla CRAFTED (complete)1785345? (exit code) 4998.87 5001.07

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: