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

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

Jump to solvers results

General information on the benchmark

NameCRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes8.cnf
MD5SUM0b0881d9187e7912564ae88556ada128
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark16.6625
Satisfiable
(Un)Satisfiability was proved
Number of variables945
Number of clauses61409
Sum of the clauses size123673
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 261364
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
gNovelty+-T 2009-03-22 (incomplete)1735937SAT 16.6625 8.46086
hybridGM3 3 (incomplete)1735922SAT 20.2749 20.2833
SATzilla2009_R 2009-03-22 (complete)1735915SAT 84.7931 84.9616
TNM 2009-03-22 (incomplete)1735920SAT 92.9669 92.9955
Hybrid2 2009-03-22 (incomplete)1735918SAT 112.14 112.18
hybridGM 1 (incomplete)1735921SAT 117.277 117.322
adaptg2wsat2009++ 2009-03-23 (incomplete)1735930SAT 132.119 132.168
adaptg2wsat2009 2009-03-23 (incomplete)1735929SAT 134.948 134.986
iPAWS 2009-03-22 (incomplete)1735907SAT 147.833 147.876
gnovelty+ 2009-03-22 (incomplete)1735924SAT 174.774 174.817
tts tts-5-0 (complete)1735896? 1200.04 1200.34
hybridGM7 7 (incomplete)1735923? (exit code) 18.1292 18.1324
SAT07 reference solver: SATzilla CRAFTED (complete)1595541? (exit code) 1199.55 1200.11
SATzilla2009_I 2009-03-22 (complete)1735917? (exit code) 1199.74 1200.25
SATzilla2009_C 2009-03-22 (complete)1735916? (exit code) 1199.76 1200.26
minisat_cumr p-2009-03-18 (complete)1834133? (TO) 1200.01 1200.71
LySAT i/2009-03-20 (complete)1735902? (TO) 1200.01 1200.51
slstc 1.0 (incomplete)1735928? (TO) 1200.02 1200.41
SAT07 reference solver: March KS 2007-02-08 (complete)1596110? (TO) 1200.03 1200.52
MiniSAT 09z 2009-03-22 (complete)1834134? (TO) 1200.05 1200.51
picosat 913 (complete)1735897? (TO) 1200.05 1200.51
HydraSAT-Flat 2009-03-22-Flat (complete)1735910? (TO) 1200.05 1200.41
HydraSAT 2009-03-22-Base (complete)1735911? (TO) 1200.06 1200.41
IUT_BMB_SAT 1.0 (complete)1735914? (TO) 1200.06 1200.72
MXC 2009-03-10 (complete)1735895? (TO) 1200.06 1200.42
VARSAT-industrial 2009-03-22 (complete)1735926? (TO) 1200.07 1200.72
gnovelty+2 2009-03-22 (incomplete)1735935? (TO) 1200.07 1200.51
ttsth-5-0 2009-03-19 (complete)1735936? (TO) 1200.07 601.91
march_hi hi (complete)1735912? (TO) 1200.07 1200.42
CSat 2009-03-22 (complete)1735908? (TO) 1200.07 1200.43
MoRsat 2009-03-03 (complete)1735893? (TO) 1200.07 1200.42
MiniSat 2.1 (Sat-race'08 Edition) (complete)1735933? (TO) 1200.07 1200.42
SAT07 reference solver: minisat SAT 2007 (complete)1595540? (TO) 1200.07 1200.42
gnovelty+2-H 2009-03-22 (incomplete)1735934? (TO) 1200.08 1200.41
VARSAT-crafted 2009-03-22 (complete)1735925? (TO) 1200.08 1200.42
glucose 1.0 (complete)1735894? (TO) 1200.08 1200.51
Rsat 2009-03-22 (complete)1735932? (TO) 1200.08 1200.61
ManySAT 1.1 aimd 2/2009-03-20 (complete)1735906? (TO) 1200.08 601.624
HydraSAT-Multi 2009-03-22-Multi (complete)1735909? (TO) 1200.08 1200.51
CircUs 2009-03-23 (complete)1735931? (TO) 1200.09 1200.42
kw 2009-03-20 (complete)1735892? (TO) 1200.09 1199.94
NCVWr 2009-03-22 (incomplete)1735919? (TO) 1200.09 1200.41
SApperloT hrp (complete)1735901? (TO) 1200.09 1200.46
VARSAT-random 2009-03-22 (complete)1735927? (TO) 1200.09 1200.42
clasp 1.2.0-SAT09-32 (complete)1735899? (TO) 1200.1 1200.41
LySAT c/2009-03-20 (complete)1735903? (TO) 1200.1 1200.61
march_nn nn (complete)1735913? (TO) 1200.1 1200.42
precosat 236 (complete)1735898? (TO) 1200.12 1200.42
SApperloT base (complete)1735900? (TO) 1200.12 1200.42
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1735938? (TO) 1200.15 601.512
satake 2009-03-22 (complete)1735940? (TO) 1200.17 601.434
ManySAT 1.1 aimd 0/2009-03-20 (complete)1735904? (TO) 1200.18 601.724
gNovelty+-V.2-T 2009-03-22 (incomplete)1735939? (TO) 1200.18 601.512
ManySAT 1.1 aimd 1/2009-03-20 (complete)1735905? (TO) 1200.2 601.723
SAT4J CORE 2.1 RC1 (complete)1735891? (TO) 1200.25 1200.05

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 0