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

Result page for benchmark
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g10.cnf

Jump to solvers results

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v945c61409g10.cnf
MD5SUM4b3c9ace68adf36eacbbfebb5083efc4
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark21.8627
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
hybridGM 1 (incomplete)1734921SAT 21.8627 21.8713
kw 2009-03-20 (complete)1734892SAT 40.9498 40.9628
adaptg2wsat2009 2009-03-23 (incomplete)1734929SAT 55.8305 55.8477
ManySAT 1.1 aimd 0/2009-03-20 (complete)1734904SAT 60.0669 30.3041
adaptg2wsat2009++ 2009-03-23 (incomplete)1734930SAT 74.8876 74.9186
iPAWS 2009-03-22 (incomplete)1734907SAT 109.343 109.376
precosat 236 (complete)1734898SAT 147.858 147.9
clasp 1.2.0-SAT09-32 (complete)1734899SAT 150.392 150.445
picosat 913 (complete)1734897SAT 175.358 175.407
SATzilla2009_R 2009-03-22 (complete)1734915SAT 189.892 190.018
TNM 2009-03-22 (incomplete)1734920SAT 209.258 209.336
Hybrid2 2009-03-22 (incomplete)1734918SAT 245.713 245.79
SAT4J CORE 2.1 RC1 (complete)1734891SAT 279.102 278.457
SAT07 reference solver: SATzilla CRAFTED (complete)1595081SAT 311.285 311.305
ManySAT 1.1 aimd 1/2009-03-20 (complete)1734905SAT 350.652 175.969
VARSAT-crafted 2009-03-22 (complete)1734925SAT 418.619 418.739
VARSAT-industrial 2009-03-22 (complete)1734926SAT 420.746 420.862
SApperloT base (complete)1734900SAT 430.434 430.572
march_hi hi (complete)1734912SAT 543.645 543.835
SAT07 reference solver: minisat SAT 2007 (complete)1595080SAT 556.456 556.74
MiniSAT 09z 2009-03-22 (complete)1834094SAT 558.213 558.503
IUT_BMB_SAT 1.0 (complete)1734914SAT 560.699 560.89
march_nn nn (complete)1734913SAT 582.484 582.627
gnovelty+ 2009-03-22 (incomplete)1734924SAT 584.999 585.157
ManySAT 1.1 aimd 2/2009-03-20 (complete)1734906SAT 662.207 332.086
HydraSAT-Flat 2009-03-22-Flat (complete)1734910SAT 862.373 862.618
glucose 1.0 (complete)1734894SAT 898.774 899.169
SATzilla2009_I 2009-03-22 (complete)1734917SAT 933.118 933.544
hybridGM3 3 (incomplete)1734922SAT 953.785 954.066
HydraSAT-Multi 2009-03-22-Multi (complete)1734909SAT 1041.25 1041.69
tts tts-5-0 (complete)1734896? 1200.03 1200.38
hybridGM7 7 (incomplete)1734923? (exit code) 4.28135 4.28319
SATzilla2009_C 2009-03-22 (complete)1734916? (exit code) 1199.6 1200.19
LySAT c/2009-03-20 (complete)1734903? (TO) 1200.03 1200.61
CircUs 2009-03-23 (complete)1734931? (TO) 1200.03 1200.32
minisat_cumr p-2009-03-18 (complete)1834093? (TO) 1200.03 1200.51
gnovelty+2-H 2009-03-22 (incomplete)1734934? (TO) 1200.04 1200.31
Rsat 2009-03-22 (complete)1734932? (TO) 1200.05 1200.61
slstc 1.0 (incomplete)1734928? (TO) 1200.06 1200.41
NCVWr 2009-03-22 (incomplete)1734919? (TO) 1200.06 1200.41
SAT07 reference solver: March KS 2007-02-08 (complete)1595880? (TO) 1200.07 1200.72
MXC 2009-03-10 (complete)1734895? (TO) 1200.07 1200.42
MoRsat 2009-03-03 (complete)1734893? (TO) 1200.08 1200.52
MiniSat 2.1 (Sat-race'08 Edition) (complete)1734933? (TO) 1200.08 1200.42
LySAT i/2009-03-20 (complete)1734902? (TO) 1200.08 1200.71
VARSAT-random 2009-03-22 (complete)1734927? (TO) 1200.09 1200.42
CSat 2009-03-22 (complete)1734908? (TO) 1200.09 1200.42
gnovelty+2 2009-03-22 (incomplete)1734935? (TO) 1200.09 1200.41
HydraSAT 2009-03-22-Base (complete)1734911? (TO) 1200.09 1200.41
SApperloT hrp (complete)1734901? (TO) 1200.1 1200.46
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1734938? (TO) 1200.11 601.515
gNovelty+-V.2-T 2009-03-22 (incomplete)1734939? (TO) 1200.13 601.512
satake 2009-03-22 (complete)1734940? (TO) 1200.16 601.43
ttsth-5-0 2009-03-19 (complete)1734936? (TO) 1200.2 601.95
gNovelty+-T 2009-03-22 (incomplete)1734937? (TO) 1200.21 601.63

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