SAT 2009 Competition: main competition (phase2): solvers results per benchmarks

Result page for benchmark
CRAFTED/ramseycube/
Q3inK08.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/ramseycube/
Q3inK08.cnf
MD5SUM492aabee9d1147cbc26baa44607c206b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.002999
Satisfiable
(Un)Satisfiability was proved
Number of variables28
Number of clauses1680
Sum of the clauses size20160
Maximum clause length12
Minimum clause length12
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51680

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SApperloT base (complete)1785701SAT 0.002999 0.00508701
LySAT c/2009-03-20 (complete)1825470SAT 0.015997 0.018055
glucose 1.0 (complete)1784224SAT 0.017997 0.019291
clasp 1.2.0-SAT09-32 (complete)1785696SAT 0.025995 0.0264939
MiniSat 2.1 (Sat-race'08 Edition) (complete)1784223SAT 0.050991 0.0511879
MXC 2009-03-10 (complete)1784225SAT 0.051991 0.0523651
SAT07 reference solver: minisat SAT 2007 (complete)1785698SAT 0.052991 0.0537219
VARSAT-industrial 2009-03-22 (complete)1785700SAT 0.06099 0.061637
IUT_BMB_SAT 1.0 (complete)1785697SAT 0.070988 0.0715811
precosat 236 (complete)1784222SAT 0.18597 0.186342
SAT07 reference solver: SATzilla CRAFTED (complete)1785699SAT 5.00924 5.01219
SATzilla2009_C 2009-03-22 (complete)1825803SAT 5.04823 5.05271

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:
-1 -2 3 -4 -5 -6 -7 -8 9 -10 -11 -12 -13 14 -15 -16 -17 -18 -19 -20 21 22 -23 -24 -25 -26 -27 -28  0