SAT 2011 Competition: main competition (phase 2): solvers results per benchmarks

Result page for benchmark
SAT04/handmade/connamacher/connm-d-0.02/
connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf

Jump to solvers results

General information on the benchmark

NameSAT04/handmade/connamacher/connm-d-0.02/
connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf
MD5SUM287d3b23c6f72107e24ae4186653564e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1595.59
Satisfiable
(Un)Satisfiability was proved
Number of variables1124
Number of clauses13289
Sum of the clauses size40148
Maximum clause length4
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 313008
Number of clauses of size 4281
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SAT07 reference solver: minisat SAT 2007 (complete)3276039SAT 1595.59 1595.56
jMiniSat 2011 (complete)3439432SAT 4401.74 4399.37
Plingeling 587f (fixed) (complete)3394796SAT 8566.9 1073.22
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499592? (exit code) 4999 4998.85
ppfolio seq (complete)3276037? (MO) 3048.79 3048.71
glucose 2 (complete)3303547? (TO) 5000.02 5000.03
sathys 2011-04-01 (complete)3439430? (TO) 5000.02 4999.93
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3276038? (TO) 5000.03 4999.91
sattime+ 2011-03-02 (incomplete)3499968? (TO) 5000.03 4999.91
MPhaseSAT 2011-02-15 (complete)3445838? (TO) 5000.04 4999.92
RestartSAT B95 (complete)3421298? (TO) 5000.05 5000.12
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421974? (TO) 5000.05 4999.93
Satisfiability Solver Selector 2011-03-18 (complete)3276035? (TO) 5000.06 5000.82
Sol 2011-04-04 (complete)3394797? (TO) 5000.09 4884.73
QuteRSat 2011-05-12 (fixed) (complete)3421297? (TO) 5000.1 4999.93
sattime 2011-03-02 (incomplete)3427294? (TO) 5000.11 5000.22
PicoSAT 941 (complete)3439429? (TO) 5000.11 5000.02
clasp 2.0-R4092-crafted (complete)3423174? (TO) 5000.11 4999.92
SApperloT2010 2011-05-15 (fixed) (complete)3439428? (TO) 5000.12 4999.99
priss 1.0 (complete)3499591? (TO) 20397.6 5100.02
claspmt 2.0-R4095 [DEPRECATED] (complete)3322618? (TO) 35680.7 5100.08
ppfolio par (complete)3276036? (TO) 40000.1 5003.62
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421674? (TO) 40000.5 5010.21
SArTagnan 2011-05-15 (fixed) (complete)3439431? (TO) 40000.5 5009.68
claspmt 2.0-R4095-patched (fixed) (complete)3381223? (TO) 40000.9 5007.69

Additionnal information

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 -896 -897 -898 -899 900 901 -902 -903 -904 905 -906 -907 -908 -909 910 -911 -912 -913 -914 -915 916 -917 -918 919 -920 -921 -922 923
-924 -925 -926 927 -928 -929 -930 931 -932 -933 934 -935 -936 -937 -938 -939 940 -941 -942 -943 944 -945 -946 947 -948 -949 -950 -951 952
-953 954 -955 -956 -957 -958 -959 960 -961 -962 963 -964 -965 -966 967 -968 -969 -970 -971 972 -973 -974 975 -976 -977 978 -979 -980 -981
-982 983 -984 -985 986 -987 -988 -989 -990 991 -992 -993 -994 995 -996 997 -998 -999 -1000 -1001 -1002 -1003 1004 -1005 -1006 1007 -1008
-1009 1010 -1011 -1012 1013 -1014 -1015 -1016 -1017 1018 -1019 -1020 -1021 -1022 -1023 1024 -1025 1026 -1027 -1028 -1029 1030 -1031 -1032
-1033 1034 -1035 -1036 -1037 -1038 1039 -1040 1041 -1042 -1043 -1044 -1045 1046 -1047 -1048 -1049 1050 -1051 -1052 -1053 -1054 1055 -1056
1057 -1058 -1059 -1060 -1061 -1062 -1063 1064 -1065 -1066 -1067 1068 -1069 1070 -1071 -1072 -1073 -1074 -1075 1076 -1077 -1078 -1079 1080
-1081 -1082 -1083 1084 -1085 -1086 1087 -1088 -1089 1090 -1091 -1092 1093 -1094 -1095 -1096 1097 -1098 -1099 -1100 1101 -1102 -1103 -1104
-1105 -1106 -1107 1108 1109 -1110 -1111 -1112 -1113 1114 -1115 -1116 -1117 -1118 1119 -1120 1121 -1122 -1123 -1124 0