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

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

Jump to solvers results

General information on the benchmark

NameCRAFTED/rbsat/crafted/forced/
rbsat-v1150c84314gyes1.cnf
MD5SUMd217d44a5e3291823bfd6ded60a7812f
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark323.585
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
iPAWS 2009-03-22 (incomplete)1736107SAT 323.585 323.672
Hybrid2 2009-03-22 (incomplete)1736118SAT 402.083 402.183
adaptg2wsat2009++ 2009-03-23 (incomplete)1736130SAT 449.539 449.659
TNM 2009-03-22 (incomplete)1736120SAT 660.359 660.536
SATzilla2009_R 2009-03-22 (complete)1736115SAT 734.378 734.766
tts tts-5-0 (complete)1736096? 1200.03 1200.38
hybridGM7 7 (incomplete)1736123? (exit code) 64.1273 64.1471
SATzilla2009_I 2009-03-22 (complete)1736117? (exit code) 1198.98 1199.32
SATzilla2009_C 2009-03-22 (complete)1736116? (exit code) 1199.02 1199.5
SAT07 reference solver: SATzilla CRAFTED (complete)1595659? (exit code) 1199.73 1200.25
IUT_BMB_SAT 1.0 (complete)1736114? (TO) 1200.01 1200.52
hybridGM3 3 (incomplete)1736122? (TO) 1200.02 1200.41
MiniSAT 09z 2009-03-22 (complete)1834142? (TO) 1200.02 1200.41
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1736138? (TO) 1200.04 601.513
SAT07 reference solver: minisat SAT 2007 (complete)1595658? (TO) 1200.04 1200.72
NCVWr 2009-03-22 (incomplete)1736119? (TO) 1200.04 1200.41
CSat 2009-03-22 (complete)1736108? (TO) 1200.04 1200.33
gNovelty+-V.2-T 2009-03-22 (incomplete)1736139? (TO) 1200.04 601.514
CircUs 2009-03-23 (complete)1736131? (TO) 1200.05 1200.52
minisat_cumr p-2009-03-18 (complete)1834141? (TO) 1200.05 1200.61
picosat 913 (complete)1736097? (TO) 1200.05 1200.41
gnovelty+2-H 2009-03-22 (incomplete)1736134? (TO) 1200.06 1200.41
SAT07 reference solver: March KS 2007-02-08 (complete)1596169? (TO) 1200.06 1200.62
gnovelty+ 2009-03-22 (incomplete)1736124? (TO) 1200.06 1200.42
MXC 2009-03-10 (complete)1736095? (TO) 1200.07 1200.42
march_nn nn (complete)1736113? (TO) 1200.07 1199.92
Rsat 2009-03-22 (complete)1736132? (TO) 1200.07 1200.61
march_hi hi (complete)1736112? (TO) 1200.07 1200.42
HydraSAT-Multi 2009-03-22-Multi (complete)1736109? (TO) 1200.08 1200.51
LySAT i/2009-03-20 (complete)1736102? (TO) 1200.08 1200.51
VARSAT-random 2009-03-22 (complete)1736127? (TO) 1200.08 1200.43
MoRsat 2009-03-03 (complete)1736093? (TO) 1200.08 1200.42
glucose 1.0 (complete)1736094? (TO) 1200.08 1200.61
gNovelty+-T 2009-03-22 (incomplete)1736137? (TO) 1200.08 601.526
gnovelty+2 2009-03-22 (incomplete)1736135? (TO) 1200.09 1200.41
clasp 1.2.0-SAT09-32 (complete)1736099? (TO) 1200.09 1200.42
adaptg2wsat2009 2009-03-23 (incomplete)1736129? (TO) 1200.09 1200.41
LySAT c/2009-03-20 (complete)1736103? (TO) 1200.09 1200.61
slstc 1.0 (incomplete)1736128? (TO) 1200.09 1200.41
precosat 236 (complete)1736098? (TO) 1200.09 1200.52
VARSAT-crafted 2009-03-22 (complete)1736125? (TO) 1200.09 1200.43
HydraSAT-Flat 2009-03-22-Flat (complete)1736110? (TO) 1200.1 1200.51
ManySAT 1.1 aimd 1/2009-03-20 (complete)1736105? (TO) 1200.1 601.724
MiniSat 2.1 (Sat-race'08 Edition) (complete)1736133? (TO) 1200.1 1200.42
ManySAT 1.1 aimd 0/2009-03-20 (complete)1736104? (TO) 1200.1 601.819
HydraSAT 2009-03-22-Base (complete)1736111? (TO) 1200.1 1200.51
hybridGM 1 (incomplete)1736121? (TO) 1200.1 1200.41
kw 2009-03-20 (complete)1736092? (TO) 1200.11 1200.45
SApperloT base (complete)1736100? (TO) 1200.12 1200.42
VARSAT-industrial 2009-03-22 (complete)1736126? (TO) 1200.12 1200.53
SApperloT hrp (complete)1736101? (TO) 1200.13 1200.53
ManySAT 1.1 aimd 2/2009-03-20 (complete)1736106? (TO) 1200.15 601.821
satake 2009-03-22 (complete)1736140? (TO) 1200.2 601.44
ttsth-5-0 2009-03-19 (complete)1736136? (TO) 1200.21 602.605
SAT4J CORE 2.1 RC1 (complete)1736091? (TO) 1200.26 1199.86

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