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

Result page for benchmark
SAT04/handmade/kexu/frb-0.6/
frb75-13-2.used-as.sat04-878.cnf

Jump to solvers results

General information on the benchmark

NameSAT04/handmade/kexu/frb-0.6/
frb75-13-2.used-as.sat04-878.cnf
MD5SUM00e6f1cbbaaa8f43dc6451d49bfa1cef
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.241962
Satisfiable
(Un)Satisfiability was proved
Number of variables975
Number of clauses34275
Sum of the clauses size69375
Maximum clause length13
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 234200
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 575

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
sattime2011 2011-03-02 (incomplete)3264034SAT 0.241962 0.24211
sattime 2011-03-02 (incomplete)3264035SAT 0.332948 0.333056
adaptg2wsat2011 2011-03-02 (incomplete)3264038SAT 0.549915 0.550202
shortsattime2011 2011-03-02 (incomplete)3264036SAT 1.12983 1.13478
sattime+ 2011-03-02 (incomplete)3264040SAT 1.45378 1.45467
ppfolio seq (complete)3264066SAT 1.61075 1.86753
ppfolio par (complete)3264065SAT 1.70774 0.482437
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449792SAT 8.21075 8.56877
shortsattime+ 2011-03-02 (incomplete)3264039SAT 24.2683 24.2686
Satisfiability Solver Selector 2011-03-18 (complete)3264067SAT 25.42 25.5168
SArTagnan 2011-05-15 (fixed) (complete)3385939SAT 1354.17 339.835
riss Auto (1200 s timeout) (complete)3473023? (TO) 1200.07 1200.04
sathys 2011-04-01 (complete)3264063? (TO) 1299.94 1300.01
Lingeling 587f (fixed) (complete)3371595? (TO) 1299.98 1300.03
CryptoMiniSat TechDemo-Alpha-st (complete)3264046? (TO) 1299.99 1300.01
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274659? (TO) 1300 1300.01
riss 1.0 (complete)3264051? (TO) 1300.01 1300.01
RestartSAT B95 (complete)3264041? (TO) 1300.01 1300.01
SAT07 reference solver: minisat SAT 2007 (complete)3274661? (TO) 1300.02 1300.01
glucose 2 (complete)3264068? (TO) 1300.02 1300.01
riss Auto (complete)3264053? (TO) 1300.02 1300.01
RestartSAT A75 (complete)3264042? (TO) 1300.03 1300.01
riss Exp (complete)3264052? (TO) 1300.03 1300.01
Black Hole SAT 2011-03-08 (complete)3264044? (TO) 1300.03 1300.01
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367995? (TO) 1300.03 1300.02
clasp 2.0-R4092-crafted (complete)3300374? (TO) 1300.03 1300.01
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274660? (TO) 1300.03 1300.01
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3264048? (TO) 1300.03 1300.01
SApperloT 2011-03-23 (complete)3264073? (TO) 1300.04 1300.01
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3264031? (TO) 1300.04 1300.01
MPhaseSAT 2011-02-15 (complete)3264030? (TO) 1300.04 1300.01
QuteRSat 2011-05-12 (fixed) (complete)3376695? (TO) 1300.05 1300.02
synit_sat 2011-03-03 (complete)3264037? (TO) 1300.05 1300.02
MPhaseSAT64 2011-05-14 (fixed) (complete)3375495? (TO) 1300.05 1300.02
SApperloT2010 2011-05-15 (fixed) (complete)3379695? (TO) 1300.05 1300.02
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3264071? (TO) 1300.05 1300.01
rcl 2011-04-01 (complete)3264062? (TO) 1300.05 1300.01
PicoSAT 941 (complete)3264057? (TO) 1300.05 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3264043? (TO) 1300.05 1300.03
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3264050? (TO) 1300.05 1300.01
MPhaseSAT_M 2011-02-16 (complete)3264032? (TO) 1300.05 1300.01
QuteRSat 2011-03-01 [DEPRECATED] (complete)3264060? (TO) 1300.06 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370395? (TO) 1300.06 1300.02
UmSat 2011-05-12 (fixed) (complete)3379095? (TO) 1300.07 1300.03
Lingeling 587 [DEPRECATED] (complete)3264059? (TO) 1300.07 1300.02
march_rw 2011-03-02 (complete)3264033? (TO) 1300.07 1300.04
tts 5-4 (complete)3264069? (TO) 1300.15 1300.13
jMiniSat 2011 (complete)3279872? (TO) 1300.8 1300.02
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3264064? (TO) 1301.19 1300.05
Sol 2011-04-04 (complete)3264061? (TO) 1312.9 1300.03
priss UP (complete)3264054? (TO) 2327.77 1300.02
priss 1.0 (complete)3264056? (TO) 4800.04 1201.72
claspmt 2.0-R4095 [DEPRECATED] (complete)3299474? (TO) 4800.11 1201.75
priss Auto (complete)3264055? (TO) 4800.12 1201.72
Plingeling 587 [DEPRECATED] (complete)3264058? (TO) 4800.12 1201.75
STRUCTure 0.1 (complete)3313019? (TO) 4800.15 1206.84
CryptoMiniSat TechDemo-Alpha-mt (complete)3264045? (TO) 4800.15 1201.72
claspmt 2.0-R4095-patched (fixed) (complete)3373095? (TO) 4800.16 1203.26
ttsth 5-4 (complete)3264070? (TO) 4800.27 1202.96
SArTagnan 2011-03-24 [DEPRECATED] (complete)3264072? (TO) 4800.3 1201.77
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369195? (TO) 4800.36 1203.64
STRUCTure 0.1 (hbr=2) (complete)3311819? (TO) 4800.38 1206.84
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3264047? (TO) 4800.4 1201.73
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3264049? (TO) 4800.42 1201.74
Plingeling 587f (fixed) (complete)3370995? (TO) 4800.44 1203.76
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366795? (TO) 4800.48 1203.44

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 -946 -947 -948
-949 -950 -951 -952 -953 -954 955 -956 -957 -958 -959 -960 -961 -962 -963 -964 965 -966 -967 -968 -969 -970 -971 -972 -973 -974 -975 0