SAT 2011 Competition: main competition (phase 1): 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 benchmark950.907
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
synit_sat 2011-03-03 (complete)3264477SAT 402.271 402.365
Lingeling 587f (fixed) (complete)3371594SAT 950.907 950.885
Lingeling 587 [DEPRECATED] (complete)3264499SAT 990.183 990.156
Plingeling 587f (fixed) (complete)3370994SAT 4187.9 1049.6
Plingeling 587 [DEPRECATED] (complete)3264498SAT 4224.19 1057.65
ppfolio seq (complete)3264506? (MO) 1267.31 1267.31
riss Auto (1200 s timeout) (complete)3473033? (TO) 1200.03 1200.05
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449802? (TO) 1200.04 1200.15
Satisfiability Solver Selector 2011-03-18 (complete)3264507? (TO) 1290.11 1300.02
Black Hole SAT 2011-03-08 (complete)3264484? (TO) 1299.82 1300.01
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3264471? (TO) 1300 1300.01
sathys 2011-04-01 (complete)3264503? (TO) 1300.01 1300.02
adaptg2wsat2011 2011-03-02 (incomplete)3264478? (TO) 1300.01 1300.01
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367994? (TO) 1300.01 1300.02
glucose 2 (complete)3264508? (TO) 1300.01 1300.01
riss Auto (complete)3264493? (TO) 1300.02 1300.01
riss Exp (complete)3264492? (TO) 1300.03 1300.01
clasp 2.0-R4092-crafted (complete)3300373? (TO) 1300.03 1300.01
RestartSAT B95 (complete)3264481? (TO) 1300.03 1300.01
QuteRSat 2011-05-12 (fixed) (complete)3376694? (TO) 1300.03 1300.02
riss 1.0 (complete)3264491? (TO) 1300.03 1300.01
sattime2011 2011-03-02 (incomplete)3264474? (TO) 1300.03 1300.01
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274689? (TO) 1300.03 1300.01
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3264490? (TO) 1300.03 1300.01
sattime+ 2011-03-02 (incomplete)3264480? (TO) 1300.04 1300.01
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274690? (TO) 1300.04 1300.02
CryptoMiniSat TechDemo-Alpha-st (complete)3264486? (TO) 1300.04 1300.01
SAT07 reference solver: minisat SAT 2007 (complete)3274691? (TO) 1300.04 1300.01
sattime 2011-03-02 (incomplete)3264475? (TO) 1300.04 1300.01
MPhaseSAT_M 2011-02-16 (complete)3264472? (TO) 1300.05 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370394? (TO) 1300.05 1300.02
MPhaseSAT64 2011-05-14 (fixed) (complete)3375494? (TO) 1300.05 1300.02
UmSat 2011-05-12 (fixed) (complete)3379094? (TO) 1300.05 1300.02
SApperloT 2011-03-23 (complete)3264513? (TO) 1300.05 1300.01
tts 5-4 (complete)3264509? (TO) 1300.05 1300.07
shortsattime+ 2011-03-02 (incomplete)3264479? (TO) 1300.05 1300.01
rcl 2011-04-01 (complete)3264502? (TO) 1300.05 1300.01
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3264488? (TO) 1300.05 1300.01
RestartSAT A75 (complete)3264482? (TO) 1300.05 1300.01
shortsattime2011 2011-03-02 (incomplete)3264476? (TO) 1300.05 1300.01
march_rw 2011-03-02 (complete)3264473? (TO) 1300.06 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3264483? (TO) 1300.06 1300.02
PicoSAT 941 (complete)3264497? (TO) 1300.06 1300.01
QuteRSat 2011-03-01 [DEPRECATED] (complete)3264500? (TO) 1300.06 1300.02
MPhaseSAT 2011-02-15 (complete)3264470? (TO) 1300.06 1300.01
SApperloT2010 2011-05-15 (fixed) (complete)3379694? (TO) 1300.09 1300.04
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3264511? (TO) 1300.09 1300.03
jMiniSat 2011 (complete)3279871? (TO) 1300.76 1300.02
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3264504? (TO) 1301.74 1300.03
Sol 2011-04-04 (complete)3264501? (TO) 1316.06 1300.01
priss UP (complete)3264494? (TO) 2425.61 1300.02
SArTagnan 2011-05-15 (fixed) (complete)3385938? (TO) 4052.62 1300.09
priss 1.0 (complete)3264496? (TO) 4800.06 1201.72
claspmt 2.0-R4095 [DEPRECATED] (complete)3299473? (TO) 4800.14 1201.63
priss Auto (complete)3264495? (TO) 4800.16 1201.72
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366794? (TO) 4800.17 1203.64
STRUCTure 0.1 (hbr=2) (complete)3311818? (TO) 4800.17 1207.23
claspmt 2.0-R4095-patched (fixed) (complete)3373094? (TO) 4800.2 1203.16
STRUCTure 0.1 (complete)3313018? (TO) 4800.26 1207.24
ttsth 5-4 (complete)3264510? (TO) 4800.28 1202.46
ppfolio par (complete)3264505? (TO) 4800.3 1201.71
CryptoMiniSat TechDemo-Alpha-mt (complete)3264485? (TO) 4800.33 1201.72
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3264489? (TO) 4800.38 1201.73
SArTagnan 2011-03-24 [DEPRECATED] (complete)3264512? (TO) 4800.39 1201.81
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369194? (TO) 4800.39 1202.83
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3264487? (TO) 4800.39 1201.83

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