Name | crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf |
MD5SUM | 0906ad3a7678a4284d484fb4b8c72f61 |
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.414936 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 792 |
Number of clauses | 67279 |
Sum of the clauses size | 135290 |
Maximum clause length | 31 |
Minimum clause length | 2 |
Number of clauses of size 1 | 0 |
Number of clauses of size 2 | 67249 |
Number of clauses of size 3 | 0 |
Number of clauses of size 4 | 0 |
Number of clauses of size 5 | 0 |
Number of clauses of size over 5 | 30 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1 -765 -763 -757 -756 -750 -747 -746 -744 -742 -719 -717 -711 -710 -703 -702 -700 -698 -697 -695 -690 -688 -687 -679 -678 -676 -674 -673 -672 -670 -668 -667 -666 -664 -658 -657 -650 -647 -646 -644 -642 -641 -639 -633 -632 -626 -624 -622 -592 -591 -589 -584 -582 -581 -573 -572 -569 -568 -567 -565 -563 -562 -535 -504 -503 -501 -495 -494 -486 -483 -482 -481 -479 -477 -476 -475 -473 -467 -466 -459 -458 -456 -454 -453 -451 -445 -444 -436 -433 -432 -431 -429 -427 -426 -424 -418 -417 -409 -406 -405 -404 -402 -400 -399 -398 -396 -391 -389 -388 -380 -379 -377 -375 -374 -373 -371 -369 -368 -367 -365 -359 -358 -351 -348 -347 -346 -344 -342 -341 -340 -338 -332 -331 -324 -323 -321 -319 -262 -261 -259 -253 -252 -245 -244 -242 -240 -239 -237 -231 -230 -223 -220 -219 -218 -216 -214 -213 -163 -132 -131 -129 -123 -122 -115 -114 -112 -110 -87 -85 -79 -78 -70 -67 -66 -65 -63 -61 -60 -29 -28 -27 -26 -25 -24 -23 -22 -21 -20 -19 -18 -17 -16 -15 -14 -13 -12 -11 -10 -9 -8 -7 -6 -5 -4 -3 -2 792 -791 -790 -789 -788 -787 -786 -785 -784 -783 -782 -781 -780 -779 -778 -777 -776 -775 -774 -773 -772 -771 -770 -769 -768 -767 -766 -741 -718 -714 -708 -706 -705 -696 -692 -683 -682 -680 -677 -640 -636 -630 -628 -621 -620 -619 -616 -607 -606 -604 -603 -601 -599 -598 -590 -586 -577 -576 -574 -571 -561 -560 -559 -556 -548 -546 -545 -544 -542 -541 -534 -533 -532 -529 -520 -519 -517 -516 -514 -511 -510 -502 -498 -490 -489 -487 -485 -474 -470 -464 -462 -461 -452 -448 -440 -439 -437 -435 -366 -362 -354 -352 -350 -318 -291 -290 -289 -286 -277 -276 -274 -273 -271 -269 -268 -238 -234 -226 -224 -222 -212 -190 -162 -161 -160 -157 -148 -147 -145 -144 -142 -139 -138 -130 -126 -120 -118 -117 -109 -108 -107 -104 -98 -96 -95 -93 -86 -82 -74 -73 -71 -69 -59 -58 -57 -54 -45 -44 -42 -41 -39 -36 -35 764 -762 -761 -760 -759 -758 -755 -754 -753 -752 -751 -749 -748 -745 -743 -740 -715 -713 -707 -665 -662 -660 -652 -651 -617 -615 -612 -605 -499 -497 -488 -471 -469 -463 -449 -447 -438 -425 -422 -420 -411 -410 -397 -339 -317 -316 -314 -312 -310 -303 -302 -287 -285 -282 -275 -260 -257 -255 -249 -248 -235 -233 -225 -211 -210 -208 -206 -204 -200 -199 -189 -188 -186 -184 -182 -175 -174 -158 -156 -153 -146 -141 -127 -125 -119 -105 -103 -101 -97 -83 -81 -72 739 -738 -737 -736 -735 -734 -733 -732 -731 -730 -729 -728 -727 -726 -725 -724 -723 -722 -721 -720 -694 -691 -663 -588 -585 -558 -555 -552 -538 -500 -472 -450 -423 -395 -392 -364 -361 -337 -334 -288 -284 -281 -265 -258 -236 -209 -203 -193 -159 -155 -152 -135 -128 -84 -56 -53 -52 -49 -38 -32 716 -712 -709 -704 -701 -699 -655 -654 -638 -631 -618 -609 -608 -602 -597 -595 -579 -578 -531 -525 -522 -521 -515 -509 -507 -492 -491 -415 -414 -386 -385 -356 -355 -330 -315 -307 -306 -298 -296 -294 -251 -228 -227 -187 -179 -178 -170 -168 -166 -121 -106 -76 -75 693 -689 -686 -685 -684 -681 -675 -671 -669 -637 -613 -587 -557 -530 -496 -446 -419 -394 -363 -336 -311 -254 -205 -183 -124 -102 -55 661 -659 -656 -653 -649 -648 -645 -643 -625 -596 -549 -540 -539 -480 -457 -421 -408 -403 -393 -345 -335 -326 -322 -313 -300 -295 -256 -217 -207 -198 -195 -194 -185 -172 -167 -64 635 -634 -629 -627 -623 -600 -594 -554 -543 -537 -528 -526 -513 -512 -506 -484 -478 -468 -460 -455 -434 -428 -412 -407 -401 -360 -349 -343 -333 -329 -325 -320 -304 -299 -297 -293 -250 -246 -241 -201 -197 -192 -154 -143 -140 -134 -116 -111 -94 -89 493 465 113 -610 -580 -551 -523 -443 -416 -390 -387 -384 -378 -372 -357 -308 -280 -232 -229 -181 -180 -177 -173 -151 -80 -77 -51 -48 -46 -40 -34 -33 -593 -575 -570 -566 -550 -547 -536 -518 -508 -505 -442 -382 -376 -328 -279 -278 -270 -266 -263 -243 -202 -191 -171 -164 -150 -149 -136 -133 -99 -68 -47 -564 -527 -430 -381 -370 -305 -292 -264 -165 -91 -88 413 353 553 524 327 247 196 137 62 583 441 383 -611 -215 -100 -31 -43 -50 -309 -267 -92 -283 -176 614 221 301 272 90 169 -37 30 0