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

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

Jump to solvers results

General information on the benchmark

NameCRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes9.cnf
MD5SUM5b3cb365e0da247dad8c75295d40c6a5
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark23.4134
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
TNM 2009-03-22 (incomplete)1735420SAT 23.4134 23.4203
iPAWS 2009-03-22 (incomplete)1735407SAT 24.0763 24.0832
adaptg2wsat2009++ 2009-03-23 (incomplete)1735430SAT 29.6405 29.651
adaptg2wsat2009 2009-03-23 (incomplete)1735429SAT 59.5399 59.5339
hybridGM 1 (incomplete)1735421SAT 88.4436 88.4768
SATzilla2009_R 2009-03-22 (complete)1735415SAT 94.7366 94.779
hybridGM3 3 (incomplete)1735422SAT 100.38 100.41
gNovelty+-T 2009-03-22 (incomplete)1735437SAT 107.913 54.2017
SATzilla2009_I 2009-03-22 (complete)1735417SAT 230.378 230.523
CircUs 2009-03-23 (complete)1735431SAT 252.601 252.672
gnovelty+ 2009-03-22 (incomplete)1735424SAT 278.168 278.274
clasp 1.2.0-SAT09-32 (complete)1735399SAT 322.949 322.908
Rsat 2009-03-22 (complete)1735432SAT 341.255 341.358
SAT07 reference solver: SATzilla CRAFTED (complete)1595269SAT 383.175 383.361
HydraSAT-Multi 2009-03-22-Multi (complete)1735409SAT 427.76 427.964
Hybrid2 2009-03-22 (incomplete)1735418SAT 689.296 689.452
VARSAT-random 2009-03-22 (complete)1735427SAT 691.592 691.804
minisat_cumr p-2009-03-18 (complete)1834113SAT 722.269 722.487
picosat 913 (complete)1735397SAT 722.608 722.798
kw 2009-03-20 (complete)1735392SAT 1048.91 1049.18
MXC 2009-03-10 (complete)1735395SAT 1049.92 1050.26
hybridGM7 7 (incomplete)1735423? (exit code) 1.42778 1.42791
SATzilla2009_C 2009-03-22 (complete)1735416? (exit code) 1199.63 1200.29
ManySAT 1.1 aimd 1/2009-03-20 (complete)1735405? (TO) 1200.01 601.625
VARSAT-industrial 2009-03-22 (complete)1735426? (TO) 1200.02 1200.32
SAT07 reference solver: minisat SAT 2007 (complete)1595268? (TO) 1200.02 1200.62
glucose 1.0 (complete)1735394? (TO) 1200.03 1200.41
VARSAT-crafted 2009-03-22 (complete)1735425? (TO) 1200.03 1200.32
HydraSAT 2009-03-22-Base (complete)1735411? (TO) 1200.03 1200.41
SAT07 reference solver: March KS 2007-02-08 (complete)1595974? (TO) 1200.04 1200.73
IUT_BMB_SAT 1.0 (complete)1735414? (TO) 1200.05 1200.62
gnovelty+2 2009-03-22 (incomplete)1735435? (TO) 1200.06 1200.51
gnovelty+2-H 2009-03-22 (incomplete)1735434? (TO) 1200.06 1200.41
slstc 1.0 (incomplete)1735428? (TO) 1200.06 1200.41
tts tts-5-0 (complete)1735396? (TO) 1200.07 1200.42
precosat 236 (complete)1735398? (TO) 1200.07 1200.41
ManySAT 1.1 aimd 0/2009-03-20 (complete)1735404? (TO) 1200.07 601.625
MiniSAT 09z 2009-03-22 (complete)1834114? (TO) 1200.07 1200.61
NCVWr 2009-03-22 (incomplete)1735419? (TO) 1200.07 1200.51
LySAT c/2009-03-20 (complete)1735403? (TO) 1200.08 1200.61
gNovelty+-V.2-T 2009-03-22 (incomplete)1735439? (TO) 1200.09 601.513
LySAT i/2009-03-20 (complete)1735402? (TO) 1200.09 1200.71
HydraSAT-Flat 2009-03-22-Flat (complete)1735410? (TO) 1200.1 1200.51
CSat 2009-03-22 (complete)1735408? (TO) 1200.1 1200.52
MoRsat 2009-03-03 (complete)1735393? (TO) 1200.11 1200.52
SApperloT base (complete)1735400? (TO) 1200.11 1200.42
MiniSat 2.1 (Sat-race'08 Edition) (complete)1735433? (TO) 1200.11 1200.53
march_hi hi (complete)1735412? (TO) 1200.12 1200.84
march_nn nn (complete)1735413? (TO) 1200.14 1200.44
SApperloT hrp (complete)1735401? (TO) 1200.14 1200.46
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1735438? (TO) 1200.17 601.513
satake 2009-03-22 (complete)1735440? (TO) 1200.17 601.431
ManySAT 1.1 aimd 2/2009-03-20 (complete)1735406? (TO) 1200.2 601.723
ttsth-5-0 2009-03-19 (complete)1735436? (TO) 1200.2 601.894
SAT4J CORE 2.1 RC1 (complete)1735391? (TO) 1200.25 1199.76

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