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

Result page for benchmark
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes4.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes4.cnf
MD5SUMdf9c42090e37db3e7c6222a93cb90a4d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.17582
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)1735187SAT 1.17582 0.694205
adaptg2wsat2009++ 2009-03-23 (incomplete)1735180SAT 2.07168 2.07226
SATzilla2009_R 2009-03-22 (complete)1735165SAT 8.99063 8.99442
TNM 2009-03-22 (incomplete)1735170SAT 10.3864 10.3919
adaptg2wsat2009 2009-03-23 (incomplete)1735179SAT 20.028 20.035
iPAWS 2009-03-22 (incomplete)1735157SAT 20.3049 20.313
clasp 1.2.0-SAT09-32 (complete)1735149SAT 87.1907 87.2131
Hybrid2 2009-03-22 (incomplete)1735168SAT 91.6701 91.7037
gnovelty+ 2009-03-22 (incomplete)1735174SAT 157.023 157.068
hybridGM3 3 (incomplete)1735172SAT 247.939 248.008
hybridGM 1 (incomplete)1735171SAT 381.447 381.55
march_nn nn (complete)1735163SAT 644.085 644.259
SAT07 reference solver: SATzilla CRAFTED (complete)1595163SAT 783.389 783.826
glucose 1.0 (complete)1735144SAT 811.744 812.106
ManySAT 1.1 aimd 0/2009-03-20 (complete)1735154SAT 817.022 409.708
satake 2009-03-22 (complete)1735190SAT 1009.72 506.128
hybridGM7 7 (incomplete)1735173? (exit code) 3.58145 3.58213
SATzilla2009_I 2009-03-22 (complete)1735167? (exit code) 1199.63 1208.55
SATzilla2009_C 2009-03-22 (complete)1735166? (exit code) 1199.67 1200.32
LySAT i/2009-03-20 (complete)1735152? (TO) 1200.01 1200.61
ManySAT 1.1 aimd 2/2009-03-20 (complete)1735156? (TO) 1200.02 601.623
MiniSAT 09z 2009-03-22 (complete)1834104? (TO) 1200.03 1200.41
SAT07 reference solver: March KS 2007-02-08 (complete)1595921? (TO) 1200.04 1200.62
picosat 913 (complete)1735147? (TO) 1200.05 1200.51
NCVWr 2009-03-22 (incomplete)1735169? (TO) 1200.05 1200.41
IUT_BMB_SAT 1.0 (complete)1735164? (TO) 1200.05 1200.42
Rsat 2009-03-22 (complete)1735182? (TO) 1200.06 1200.71
CircUs 2009-03-23 (complete)1735181? (TO) 1200.06 1200.42
MiniSat 2.1 (Sat-race'08 Edition) (complete)1735183? (TO) 1200.06 1200.42
VARSAT-random 2009-03-22 (complete)1735177? (TO) 1200.06 1200.42
LySAT c/2009-03-20 (complete)1735153? (TO) 1200.07 1200.61
MXC 2009-03-10 (complete)1735145? (TO) 1200.07 1200.42
march_hi hi (complete)1735162? (TO) 1200.08 1200.44
precosat 236 (complete)1735148? (TO) 1200.08 1200.51
SApperloT base (complete)1735150? (TO) 1200.08 1200.52
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1735188? (TO) 1200.08 601.514
HydraSAT-Multi 2009-03-22-Multi (complete)1735159? (TO) 1200.08 1200.61
HydraSAT-Flat 2009-03-22-Flat (complete)1735160? (TO) 1200.08 1200.41
kw 2009-03-20 (complete)1735142? (TO) 1200.08 1200.44
minisat_cumr p-2009-03-18 (complete)1834103? (TO) 1200.09 1200.51
VARSAT-industrial 2009-03-22 (complete)1735176? (TO) 1200.09 1200.42
slstc 1.0 (incomplete)1735178? (TO) 1200.09 1200.41
gNovelty+-V.2-T 2009-03-22 (incomplete)1735189? (TO) 1200.09 601.513
HydraSAT 2009-03-22-Base (complete)1735161? (TO) 1200.09 1200.51
ManySAT 1.1 aimd 1/2009-03-20 (complete)1735155? (TO) 1200.09 601.624
CSat 2009-03-22 (complete)1735158? (TO) 1200.09 1200.42
gnovelty+2-H 2009-03-22 (incomplete)1735184? (TO) 1200.1 1200.51
gnovelty+2 2009-03-22 (incomplete)1735185? (TO) 1200.1 1200.41
MoRsat 2009-03-03 (complete)1735143? (TO) 1200.11 1200.52
SAT07 reference solver: minisat SAT 2007 (complete)1595162? (TO) 1200.12 1200.42
VARSAT-crafted 2009-03-22 (complete)1735175? (TO) 1200.12 1200.42
tts tts-5-0 (complete)1735146? (TO) 1200.12 1200.42
SApperloT hrp (complete)1735151? (TO) 1200.13 1200.45
ttsth-5-0 2009-03-19 (complete)1735186? (TO) 1200.24 601.922
SAT4J CORE 2.1 RC1 (complete)1735141? (TO) 1200.3 1199.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 0