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 benchmarkSAT
Best CPU time to get the best result obtained on this benchmark7.78282
(Un)Satisfiability was proved
Number of variables13041
Number of clauses133580
Sum of the clauses size440216
Maximum clause length42
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 224010
Number of clauses of size 363007
Number of clauses of size 435077
Number of clauses of size 58820
Number of clauses of size over 52666

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SAT07 reference solver: minisat SAT 2007 (complete)1786172SAT 7.78282 7.7851
IUT_BMB_SAT 1.0 (complete)1786171SAT 9.95649 9.96903
precosat 236 (complete)1784538SAT 11.2943 11.3074
MiniSat 2.1 (Sat-race'08 Edition) (complete)1784539SAT 13.348 13.3509
glucose 1.0 (complete)1784540SAT 14.2478 14.2581
MXC 2009-03-10 (complete)1784541SAT 15.2447 15.249
clasp 1.2.0-SAT09-32 (complete)1786170SAT 22.2826 22.2955
LySAT c/2009-03-20 (complete)1825549SAT 27.2689 27.3019
SATzilla2009_C 2009-03-22 (complete)1825882SAT 29.6085 29.6353
SAT07 reference solver: SATzilla CRAFTED (complete)1786173SAT 32.1611 32.1864
SApperloT base (complete)1786175SAT 42.5795 42.5916
VARSAT-industrial 2009-03-22 (complete)1786174SAT 49.0675 49.0805

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:
--too large--