Name | CRAFTED/ramseycube/ Q3inK11.cnf |
MD5SUM | 1fdca9b41a2ccb9f1b1754fb775769f0 |
Bench Category | CRAFTED (crafted instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.562913 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 55 |
Number of clauses | 277200 |
Sum of the clauses size | 3326400 |
Maximum clause length | 12 |
Minimum clause length | 12 |
Number of clauses of size 1 | 0 |
Number of clauses of size 2 | 0 |
Number of clauses of size 3 | 0 |
Number of clauses of size 4 | 0 |
Number of clauses of size 5 | 0 |
Number of clauses of size over 5 | 277200 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
SApperloT base (complete) | 1785713 | SAT | 0.562913 | 0.564093 |
glucose 1.0 (complete) | 1784232 | SAT | 1.87971 | 1.87779 |
LySAT c/2009-03-20 (complete) | 1825472 | SAT | 2.07069 | 2.07167 |
SAT07 reference solver: SATzilla CRAFTED (complete) | 1785711 | SAT | 6.02308 | 6.03718 |
SATzilla2009_C 2009-03-22 (complete) | 1825805 | SAT | 28.8226 | 28.8486 |
precosat 236 (complete) | 1784230 | SAT | 117.137 | 117.175 |
clasp 1.2.0-SAT09-32 (complete) | 1785708 | SAT | 672.354 | 672.65 |
MiniSat 2.1 (Sat-race'08 Edition) (complete) | 1784231 | SAT | 1867.36 | 1868.19 |
IUT_BMB_SAT 1.0 (complete) | 1785709 | SAT | 2104.95 | 2105.83 |
SAT07 reference solver: minisat SAT 2007 (complete) | 1785710 | SAT | 2117.85 | 2118.7 |
MXC 2009-03-10 (complete) | 1784233 | SAT | 2134.02 | 2134.57 |
VARSAT-industrial 2009-03-22 (complete) | 1785712 | SAT | 2572.52 | 2573.2 |
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 29 30 31 -32 -33 -34 -35 -36 37 -38 -39 -40 41 -42 43 44 -45 -46 -47 48 -49 -50 -51 -52 -53 -54 -55 0