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 | 139.097 |
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