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

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

Jump to solvers results

General information on the benchmark

NameCRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes2.cnf
MD5SUM940c3065d47a27ab24578a138a8ab3c0
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.96755
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
adaptg2wsat2009++ 2009-03-23 (incomplete)1735780SAT 2.96755 2.96746
gNovelty+-T 2009-03-22 (incomplete)1735787SAT 8.88865 4.56031
TNM 2009-03-22 (incomplete)1735770SAT 9.2216 9.22632
iPAWS 2009-03-22 (incomplete)1735757SAT 13.6519 13.6557
SATzilla2009_R 2009-03-22 (complete)1735765SAT 20.4669 20.5237
adaptg2wsat2009 2009-03-23 (incomplete)1735779SAT 27.3168 27.3245
hybridGM3 3 (incomplete)1735772SAT 47.0818 47.0996
hybridGM 1 (incomplete)1735771SAT 54.1758 54.1988
gnovelty+ 2009-03-22 (incomplete)1735774SAT 55.7495 55.7633
Hybrid2 2009-03-22 (incomplete)1735768SAT 83.6513 83.6803
NCVWr 2009-03-22 (incomplete)1735769SAT 564.608 564.78
hybridGM7 7 (incomplete)1735773? (exit code) 7.96779 7.97079
SAT07 reference solver: SATzilla CRAFTED (complete)1595481? (exit code) 1199.22 1199.78
SATzilla2009_I 2009-03-22 (complete)1735767? (exit code) 1199.55 1200.07
SATzilla2009_C 2009-03-22 (complete)1735766? (exit code) 1199.6 1200.18
gnovelty+2 2009-03-22 (incomplete)1735785? (TO) 1200.01 1200.51
IUT_BMB_SAT 1.0 (complete)1735764? (TO) 1200.02 1200.52
SApperloT base (complete)1735750? (TO) 1200.02 1200.32
clasp 1.2.0-SAT09-32 (complete)1735749? (TO) 1200.03 1200.31
VARSAT-random 2009-03-22 (complete)1735777? (TO) 1200.03 1200.32
Rsat 2009-03-22 (complete)1735782? (TO) 1200.03 1200.61
HydraSAT-Flat 2009-03-22-Flat (complete)1735760? (TO) 1200.05 1200.41
MiniSAT 09z 2009-03-22 (complete)1834128? (TO) 1200.05 1200.51
march_hi hi (complete)1735762? (TO) 1200.07 1200.42
MXC 2009-03-10 (complete)1735745? (TO) 1200.07 1200.42
SAT07 reference solver: minisat SAT 2007 (complete)1595480? (TO) 1200.07 1200.42
ManySAT 1.1 aimd 1/2009-03-20 (complete)1735755? (TO) 1200.07 601.919
minisat_cumr p-2009-03-18 (complete)1834127? (TO) 1200.07 1200.61
LySAT c/2009-03-20 (complete)1735753? (TO) 1200.07 1200.41
ManySAT 1.1 aimd 0/2009-03-20 (complete)1735754? (TO) 1200.08 601.723
HydraSAT 2009-03-22-Base (complete)1735761? (TO) 1200.08 1200.41
LySAT i/2009-03-20 (complete)1735752? (TO) 1200.08 1200.61
CircUs 2009-03-23 (complete)1735781? (TO) 1200.08 1200.52
MoRsat 2009-03-03 (complete)1735743? (TO) 1200.08 1200.42
slstc 1.0 (incomplete)1735778? (TO) 1200.08 1200.41
SApperloT hrp (complete)1735751? (TO) 1200.08 1200.56
glucose 1.0 (complete)1735744? (TO) 1200.09 1200.71
kw 2009-03-20 (complete)1735742? (TO) 1200.09 1200.54
VARSAT-industrial 2009-03-22 (complete)1735776? (TO) 1200.09 1200.52
picosat 913 (complete)1735747? (TO) 1200.1 1200.41
CSat 2009-03-22 (complete)1735758? (TO) 1200.1 1200.43
gnovelty+2-H 2009-03-22 (incomplete)1735784? (TO) 1200.11 1200.41
VARSAT-crafted 2009-03-22 (complete)1735775? (TO) 1200.11 1200.42
precosat 236 (complete)1735748? (TO) 1200.11 1200.42
MiniSat 2.1 (Sat-race'08 Edition) (complete)1735783? (TO) 1200.11 1200.53
HydraSAT-Multi 2009-03-22-Multi (complete)1735759? (TO) 1200.11 1200.61
tts tts-5-0 (complete)1735746? (TO) 1200.12 1200.46
SAT07 reference solver: March KS 2007-02-08 (complete)1596080? (TO) 1200.12 1200.42
march_nn nn (complete)1735763? (TO) 1200.13 1200.52
gNovelty+-V.2-T 2009-03-22 (incomplete)1735789? (TO) 1200.14 601.513
satake 2009-03-22 (complete)1735790? (TO) 1200.15 601.432
ManySAT 1.1 aimd 2/2009-03-20 (complete)1735756? (TO) 1200.19 601.724
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1735788? (TO) 1200.21 601.515
ttsth-5-0 2009-03-19 (complete)1735786? (TO) 1200.25 602.059
SAT4J CORE 2.1 RC1 (complete)1735741? (TO) 1200.29 1199.96

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