SAT 2009 Competition: main competition (phase 1): solvers results per benchmarks

Result page for benchmark
CRAFTED/rbsat/crafted/forced/
rbsat-v1150c84314gyes2.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/rbsat/crafted/forced/
rbsat-v1150c84314gyes2.cnf
MD5SUM52e359b1b3f50700797d7fba5a906213
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark7.72283
Satisfiable
(Un)Satisfiability was proved
Number of variables1150
Number of clauses84314
Sum of the clauses size169678
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 284264
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 550

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SATzilla2009_R 2009-03-22 (complete)1735865SAT 7.72283 7.72435
hybridGM 1 (incomplete)1735871SAT 13.046 13.0527
iPAWS 2009-03-22 (incomplete)1735857SAT 20.8288 20.8344
Hybrid2 2009-03-22 (incomplete)1735868SAT 28.3077 28.316
TNM 2009-03-22 (incomplete)1735870SAT 29.4665 29.475
adaptg2wsat2009 2009-03-23 (incomplete)1735879SAT 49.4505 49.4683
gNovelty+-T 2009-03-22 (incomplete)1735887SAT 55.4326 27.9099
gnovelty+ 2009-03-22 (incomplete)1735874SAT 103.852 103.893
adaptg2wsat2009++ 2009-03-23 (incomplete)1735880SAT 114.748 114.775
hybridGM3 3 (incomplete)1735872SAT 771.629 771.841
tts tts-5-0 (complete)1735846? 1199.98 1200.31
hybridGM7 7 (incomplete)1735873? (exit code) 5.9151 5.91671
SATzilla2009_C 2009-03-22 (complete)1735866? (exit code) 1198.97 1199.49
SATzilla2009_I 2009-03-22 (complete)1735867? (exit code) 1199.02 1199.57
SAT07 reference solver: SATzilla CRAFTED (complete)1595507? (exit code) 1199.35 1199.81
IUT_BMB_SAT 1.0 (complete)1735864? (TO) 1200 1200.52
LySAT c/2009-03-20 (complete)1735853? (TO) 1200.01 1200.61
glucose 1.0 (complete)1735844? (TO) 1200.02 1200.61
gNovelty+-V.2-T 2009-03-22 (incomplete)1735889? (TO) 1200.03 601.513
minisat_cumr p-2009-03-18 (complete)1834131? (TO) 1200.03 1200.81
VARSAT-random 2009-03-22 (complete)1735877? (TO) 1200.03 1200.43
HydraSAT 2009-03-22-Base (complete)1735861? (TO) 1200.04 1200.51
CSat 2009-03-22 (complete)1735858? (TO) 1200.04 1200.33
SAT07 reference solver: March KS 2007-02-08 (complete)1596093? (TO) 1200.05 1200.32
NCVWr 2009-03-22 (incomplete)1735869? (TO) 1200.05 1200.41
VARSAT-crafted 2009-03-22 (complete)1735875? (TO) 1200.06 1200.33
Rsat 2009-03-22 (complete)1735882? (TO) 1200.06 1200.61
ManySAT 1.1 aimd 2/2009-03-20 (complete)1735856? (TO) 1200.06 601.724
MiniSAT 09z 2009-03-22 (complete)1834132? (TO) 1200.06 1200.41
clasp 1.2.0-SAT09-32 (complete)1735849? (TO) 1200.06 1200.52
LySAT i/2009-03-20 (complete)1735852? (TO) 1200.06 1200.61
MXC 2009-03-10 (complete)1735845? (TO) 1200.07 1200.42
march_hi hi (complete)1735862? (TO) 1200.07 1200.42
ManySAT 1.1 aimd 0/2009-03-20 (complete)1735854? (TO) 1200.07 601.724
gnovelty+2-H 2009-03-22 (incomplete)1735884? (TO) 1200.08 1200.41
VARSAT-industrial 2009-03-22 (complete)1735876? (TO) 1200.08 1200.43
picosat 913 (complete)1735847? (TO) 1200.08 1200.41
MoRsat 2009-03-03 (complete)1735843? (TO) 1200.08 1200.43
MiniSat 2.1 (Sat-race'08 Edition) (complete)1735883? (TO) 1200.08 1200.53
SApperloT hrp (complete)1735851? (TO) 1200.08 1200.52
ManySAT 1.1 aimd 1/2009-03-20 (complete)1735855? (TO) 1200.08 601.724
precosat 236 (complete)1735848? (TO) 1200.09 1200.52
slstc 1.0 (incomplete)1735878? (TO) 1200.09 1200.41
HydraSAT-Flat 2009-03-22-Flat (complete)1735860? (TO) 1200.1 1200.41
SAT07 reference solver: minisat SAT 2007 (complete)1595506? (TO) 1200.1 1200.43
march_nn nn (complete)1735863? (TO) 1200.1 1200.42
ttsth-5-0 2009-03-19 (complete)1735886? (TO) 1200.1 602.053
CircUs 2009-03-23 (complete)1735881? (TO) 1200.11 1200.72
gnovelty+2 2009-03-22 (incomplete)1735885? (TO) 1200.11 1200.41
satake 2009-03-22 (complete)1735890? (TO) 1200.11 601.441
HydraSAT-Multi 2009-03-22-Multi (complete)1735859? (TO) 1200.11 1200.61
kw 2009-03-20 (complete)1735842? (TO) 1200.12 1200.44
SApperloT base (complete)1735850? (TO) 1200.12 1200.52
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1735888? (TO) 1200.17 601.614
SAT4J CORE 2.1 RC1 (complete)1735841? (TO) 1200.3 1199.93

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 -1125 -1126 -1127 1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139
-1140 -1141 -1142 -1143 -1144 -1145 -1146 -1147 -1148 -1149 -1150 0