Name | crafted/mosoi/ 289/289-sat-11x10.cnf |
MD5SUM | 5d217b4e2e013436c5df3f8194310a1a |
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.009998 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 440 |
Number of clauses | 10670 |
Sum of the clauses size | 41360 |
Maximum clause length | 4 |
Minimum clause length | 2 |
Number of clauses of size 1 | 0 |
Number of clauses of size 2 | 660 |
Number of clauses of size 3 | 0 |
Number of clauses of size 4 | 10010 |
Number of clauses of size 5 | 0 |
Number of clauses of size over 5 | 0 |
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 -68 -65 -66 67 -427 -387 -347 -307 -267 -227 -187 -147 -107 -105 -106 108 -428 -388 -348 -308 -268 -228 -188 -148 -152 -156 -392 -360 -356 -352 -396 -440 -436 -432 -400 -272 -240 -236 -232 -276 -316 -312 -280 -320 -196 -192 -160 -200 -197 -198 199 -439 -399 -359 -319 -279 -239 -238 237 -437 438 -357 358 -398 397 -385 386 -426 425 -434 -430 -389 -433 435 -429 431 -417 -421 -269 -270 271 -275 -391 390 -351 -311 -355 -315 -395 -414 -410 -406 -402 -418 -423 -415 -413 416 -404 -401 403 -243 -241 -242 244 -364 -324 -284 -336 -332 -328 -304 -340 -296 -292 -288 -300 -361 -376 -373 -372 -369 -368 -344 -380 -377 -424 422 -342 -420 419 -259 -412 -409 411 -251 -408 -405 407 -247 -384 -381 -382 383 -266 265 -345 346 -350 349 305 -306 -378 379 -371 -367 -363 370 362 -330 -322 -338 289 -249 -291 -290 314 -313 -329 331 -339 -327 -323 337 321 -298 281 -297 -309 -283 -282 299 310 -287 -303 -394 393 -233 -366 365 -205 -325 326 353 -354 -285 286 -318 317 -201 -209 -277 -225 278 226 -262 -246 -230 -210 -202 -206 374 -214 -294 -334 -375 -341 343 333 -293 -335 295 -301 302 -274 273 -245 -257 -253 248 -8 -258 260 -20 250 -254 -252 212 -211 204 -12 -220 -208 -203 207 -235 -231 -219 234 229 -222 -217 -213 218 256 -216 -16 -255 215 -263 264 -224 -24 -261 -223 221 -21 -22 23 -19 -11 -183 -143 -103 -63 -115 -111 -119 -195 191 -179 -171 -167 -163 -190 -189 -186 185 -169 -161 -193 194 -182 -166 -178 -184 181 144 -140 -136 -128 -124 -142 -141 145 -157 -129 -121 -153 -146 172 -164 -170 162 -174 -150 165 -125 -168 -151 149 -137 -133 -139 138 -154 155 -131 -127 -123 126 122 -158 -134 -130 159 135 132 -175 177 -173 -180 176 -101 -102 104 -100 -96 -88 -84 -92 -97 -98 99 -91 -87 -83 -95 -90 89 -117 -81 82 -110 -94 -114 -86 93 85 -113 -109 116 112 -118 120 -61 62 -78 -74 -70 -46 -64 -57 -58 60 -56 -48 -44 -59 -41 -75 -53 -55 54 -50 -42 43 -71 -51 -47 45 -77 -73 -49 76 52 -80 -72 79 69 -9 10 -30 -26 -14 -38 -5 6 -34 -18 -7 17 -33 -29 -13 -25 15 -39 -35 36 -40 -32 -28 37 31 27