Name | crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf |
MD5SUM | 3eaa6f3feb0ec3466c3c6ca585bd4a02 |
Bench Category | CRAFTED (crafted instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 120.021 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 298 |
Number of clauses | 2176 |
Sum of the clauses size | 9824 |
Maximum clause length | 6 |
Minimum clause length | 4 |
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 | 1312 |
Number of clauses of size 5 | 608 |
Number of clauses of size over 5 | 256 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
kw_pre 2009-03-21 (complete) | 1806488 | SAT | 120.021 | 120.06 |
minisat2-simp 070721 (complete) | 1806487 | SAT | 171.926 | 171.968 |
ReVivAl 0.23 + SatElite 2009-03-18 (complete) | 1806490 | SAT | 357.925 | 358.028 |
SatElite + ReVivAl 0.23 2009-03-18 (complete) | 1806489 | SAT | 357.937 | 358.113 |
ReVivAl 0.23 2009-03-18 (complete) | 1806491 | SAT | 358.534 | 358.695 |
IUT_BMB_SIM 1.0 (complete) | 1806492 | ? (TO) | 1200.08 | 1200.61 |
minisat2-core 070721 (complete) | 1806493 | ? (TO) | 1200.09 | 1200.41 |
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 221 -222 223 -224 225 226 -227 228 229 230 -231 232 -233 234 235 -236 237 238 -239 -240 241 242 243 -244 -245 -246 247 -248 -249 250 -251 252 -253 254 255 -256 -257 258 259 260 -261 -262 -263 264 265 266 267 -268 -269 270 -271 272 -273 -274 275 -276 277 -278 -279 280 -281 282 -283 284 285 -286 -287 -288 289 -290 291 292 293 -294 -295 -296 297 -298 0