Name | SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf |
MD5SUM | b6a88c8ae73b20cfc873207d1a0caa09 |
Bench Category | CRAFTED (crafted instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 153.203 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 338 |
Number of clauses | 2376 |
Sum of the clauses size | 10480 |
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 | 1520 |
Number of clauses of size 5 | 736 |
Number of clauses of size over 5 | 120 |
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 -299 300 301 -302 303 -304 305 -306 307 -308 309 310 311 -312 313 314 -315 316 -317 318 -319 320 321 -322 -323 -324 325 326 327 -328 329 330 -331 -332 -333 334 -335 336 -337 -338 0