Name | SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf |
MD5SUM | f7a218f6e4ba6f28584266f788a5d6da |
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.016997 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 895 |
Number of clauses | 3357 |
Sum of the clauses size | 10071 |
Maximum clause length | 3 |
Minimum clause length | 3 |
Number of clauses of size 1 | 0 |
Number of clauses of size 2 | 0 |
Number of clauses of size 3 | 3357 |
Number of clauses of size 4 | 0 |
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 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 339 -340 341 342 -343 344 -345 346 347 348 349 350 351 -352 -353 354 355 -356 -357 -358 -359 360 361 362 -363 -364 -365 366 367 -368 -369 -370 371 -372 373 374 375 376 377 -378 -379 -380 -381 382 -383 384 385 386 -387 388 -389 -390 391 392 393 -394 395 -396 -397 -398 399 400 401 402 -403 -404 -405 406 407 408 -409 410 -411 412 -413 -414 415 -416 -417 -418 -419 420 -421 -422 423 -424 -425 -426 427 -428 429 -430 -431 -432 433 -434 -435 436 -437 438 -439 440 -441 442 -443 444 445 -446 -447 448 449 450 -451 -452 453 -454 -455 -456 457 458 459 -460 461 462 463 464 -465 466 467 -468 469 470 471 472 -473 474 -475 -476 477 -478 -479 480 481 482 483 484 485 -486 487 488 -489 490 491 492 493 494 495 -496 497 498 -499 -500 -501 -502 503 -504 -505 506 -507 508 -509 510 511 512 513 514 515 516 517 518 519 -520 -521 -522 523 524 525 526 527 528 529 -530 -531 -532 533 534 535 536 537 -538 -539 540 541 -542 -543 -544 545 -546 547 548 549 -550 551 -552 553 -554 -555 556 557 -558 559 -560 561 -562 -563 564 -565 566 -567 -568 569 570 -571 -572 -573 574 -575 576 577 -578 -579 580 581 -582 583 -584 585 -586 -587 -588 589 -590 -591 592 -593 594 595 -596 597 598 599 600 -601 -602 603 -604 -605 -606 -607 608 609 -610 -611 -612 613 -614 615 616 -617 -618 -619 -620 -621 -622 -623 624 625 -626 627 -628 -629 630 631 632 633 634 -635 636 637 -638 -639 640 -641 -642 643 -644 -645 646 -647 648 649 650 651 652 -653 -654 655 -656 657 658 659 660 -661 -662 663 -664 665 666 667 668 -669 670 -671 672 -673 674 675 676 -677 -678 -679 680 681 -682 683 684 685 686 -687 -688 -689 690 -691 692 693 -694 -695 -696 697 -698 699 700 -701 702 703 -704 -705 -706 707 708 709 710 -711 712 713 714 715 716 -717 718 -719 -720 721 -722 723 -724 -725 726 -727 -728 -729 730 -731 732 733 734 735 -736 -737 -738 -739 -740 -741 742 743 -744 745 746 747 -748 -749 750 -751 752 -753 -754 -755 756 -757 -758 -759 760 -761 -762 -763 764 -765 766 -767 -768 769 770 771 -772 773 -774 775 776 -777 -778 779 -780 781 -782 783 -784 785 786 -787 788 789 -790 -791 792 -793 -794 795 -796 797 -798 799 800 801 -802 803 -804 -805 -806 -807 808 809 810 811 812 -813 814 -815 -816 -817 818 -819 820 -821 -822 823 824 825 826 -827 828 829 830 831 832 833 -834 -835 836 -837 838 839 -840 -841 -842 843 844 -845 -846 847 -848 -849 850 -851 852 853 -854 -855 -856 857 858 -859 -860 -861 862 863 864 -865 866 -867 868 -869 -870 -871 872 873 -874 -875 876 -877 -878 879 880 -881 882 -883 -884 885 -886 -887 888 889 890 891 892 -893 894 895 0