Name | crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf |
MD5SUM | ce96de70272a2ecfcbbf1c8e965c8e57 |
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.009997 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 220 |
Number of clauses | 880 |
Sum of the clauses size | 2640 |
Maximum clause length | 3 |
Minimum clause length | 3 |
Number of clauses of size 1 | 0 |
Number of clauses of size 2 | 0 |
Number of clauses of size 3 | 880 |
Number of clauses of size 4 | 0 |
Number of clauses of size 5 | 0 |
Number of clauses of size over 5 | 0 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
SAT07 reference solver: SATzilla CRAFTED (complete) | 1784739 | SAT | 0.009997 | 0.0104341 |
SATzilla2009_C 2009-03-22 (complete) | 1825643 | SAT | 0.010997 | 0.010533 |
MXC 2009-03-10 (complete) | 1783585 | SAT | 13.475 | 13.4774 |
VARSAT-industrial 2009-03-22 (complete) | 1784740 | SAT | 86.8238 | 86.8457 |
precosat 236 (complete) | 1783582 | SAT | 96.0884 | 96.1259 |
SApperloT base (complete) | 1784741 | SAT | 139.888 | 139.921 |
clasp 1.2.0-SAT09-32 (complete) | 1784736 | SAT | 182.326 | 182.376 |
LySAT c/2009-03-20 (complete) | 1824926 | SAT | 231.969 | 232.027 |
IUT_BMB_SAT 1.0 (complete) | 1784737 | SAT | 256.557 | 256.685 |
SAT07 reference solver: minisat SAT 2007 (complete) | 1784738 | SAT | 270.385 | 270.475 |
glucose 1.0 (complete) | 1783584 | SAT | 389.58 | 389.69 |
MiniSat 2.1 (Sat-race'08 Edition) (complete) | 1783583 | SAT | 422.79 | 422.903 |
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 56 -57 58 59 60 -61 -62 -63 -64 -65 -66 -67 68 -69 -70 -71 72 73 74 75 -76 77 78 -79 -80 81 -82 -83 -84 -85 86 -87 88 -89 -90 -91 92 93 94 95 -96 97 98 99 100 101 102 -103 104 105 -106 -107 108 -109 110 -111 -112 -113 -114 115 -116 117 -118 119 120 -121 -122 123 -124 125 -126 -127 -128 129 130 -131 132 133 134 -135 -136 137 -138 -139 140 -141 -142 143 144 -145 -146 -147 -148 -149 150 151 152 -153 -154 -155 -156 -157 158 159 -160 -161 -162 -163 164 -165 166 167 168 169 -170 171 172 173 174 -175 176 177 178 -179 180 -181 -182 183 -184 -185 186 187 -188 189 190 -191 192 193 194 -195 -196 -197 198 199 200 201 202 -203 -204 -205 -206 -207 -208 209 210 211 -212 213 -214 -215 216 217 -218 -219 -220 0