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

Result page for benchmark
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf
MD5SUM1bb1eb2a3bb0b22f560ab6712b727e98
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.385941
Satisfiable
(Un)Satisfiability was proved
Number of variables943
Number of clauses93431
Sum of the clauses size187745
Maximum clause length32
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 293401
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 530

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Plingeling 587 [DEPRECATED] (complete)3266830SAT 0.385941 0.148446
Plingeling 587f (fixed) (complete)3371077SAT 0.38994 0.149687
rcl 2011-04-01 (complete)3266834SAT 2.56761 2.57143
adaptg2wsat2011 2011-03-02 (incomplete)3266810SAT 10.2384 10.2389
shortsattime+ 2011-03-02 (incomplete)3266811SAT 11.3953 11.3968
Lingeling 587 [DEPRECATED] (complete)3266831SAT 11.6912 11.6922
Lingeling 587f (fixed) (complete)3371677SAT 11.7162 11.7161
claspmt 2.0-R4095 [DEPRECATED] (complete)3299556SAT 12.5371 3.39578
claspmt 2.0-R4095-patched (fixed) (complete)3373177SAT 12.923 3.51354
sattime 2011-03-02 (incomplete)3266807SAT 21.8897 21.8952
sattime2011 2011-03-02 (incomplete)3266806SAT 24.1033 24.1073
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368077SAT 25.9001 25.8996
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3266820SAT 26.7169 26.7267
Satisfiability Solver Selector 2011-03-18 (complete)3266839SAT 45.94 46.0276
Sol 2011-04-04 (complete)3266833SAT 51.3642 50.8374
shortsattime2011 2011-03-02 (incomplete)3266808SAT 59.416 59.419
QuteRSat 2011-05-12 (fixed) (complete)3376777SAT 62.2015 62.2008
sattime+ 2011-03-02 (incomplete)3266812SAT 68.0596 68.0586
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3266821SAT 81.7796 22.2555
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366877SAT 82.7284 20.739
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3266819SAT 112.984 29.3633
ppfolio seq (complete)3266838SAT 113.944 113.944
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369277SAT 134.482 33.7269
ppfolio par (complete)3266837SAT 229.777 57.5257
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3266803SAT 296 295.995
synit_sat 2011-03-03 (complete)3266809SAT 299.573 299.563
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274872SAT 324.013 324.011
QuteRSat 2011-03-01 [DEPRECATED] (complete)3266832SAT 363.153 363.157
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3266822SAT 373.061 373.053
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370477SAT 376.405 376.398
MPhaseSAT_M 2011-02-16 (complete)3266804SAT 383.036 383.024
MPhaseSAT 2011-02-15 (complete)3266802SAT 388.301 388.29
clasp 2.0-R4092-crafted (complete)3300456SAT 554.846 554.833
sathys 2011-04-01 (complete)3266835SAT 659.595 659.579
MPhaseSAT64 2011-05-14 (fixed) (complete)3375577SAT 660.457 660.438
priss UP (complete)3266826SAT 950.867 529.556
SArTagnan 2011-03-24 [DEPRECATED] (complete)3266844SAT 1938.49 485.344
tts 5-4 (complete)3266841? (MO) 881.288 881.318
riss Auto (1200 s timeout) (complete)3473141? (TO) 1200.03 1200.03
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449910? (TO) 1200.1 1200.23
riss Exp (complete)3266824? (TO) 1299.97 1300.01
riss Auto (complete)3266825? (TO) 1300 1300.01
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274873? (TO) 1300.01 1300.02
glucose 2 (complete)3266840? (TO) 1300.01 1300.01
Black Hole SAT 2011-03-08 (complete)3266816? (TO) 1300.03 1300.01
riss 1.0 (complete)3266823? (TO) 1300.03 1300.01
PicoSAT 941 (complete)3266829? (TO) 1300.03 1300.01
march_rw 2011-03-02 (complete)3266805? (TO) 1300.03 1300.01
RestartSAT B95 (complete)3266813? (TO) 1300.04 1300.01
UmSat 2011-05-12 (fixed) (complete)3379177? (TO) 1300.04 1300.03
UmSat 2011-02-25 [DEPRECATED] (complete)3266815? (TO) 1300.05 1300.03
RestartSAT A75 (complete)3266814? (TO) 1300.05 1300.02
SApperloT2010 2011-05-15 (fixed) (complete)3379777? (TO) 1300.05 1300.02
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3266843? (TO) 1300.06 1300.02
CryptoMiniSat TechDemo-Alpha-st (complete)3266818? (TO) 1300.06 1300.01
SApperloT 2011-03-23 (complete)3266845? (TO) 1300.06 1300.01
SAT07 reference solver: minisat SAT 2007 (complete)3274874? (TO) 1300.06 1300.02
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3266836? (TO) 1301.18 1300.08
jMiniSat 2011 (complete)3279954? (TO) 1301.74 1300.02
priss 1.0 (complete)3266828? (TO) 4800.03 1201.72
CryptoMiniSat TechDemo-Alpha-mt (complete)3266817? (TO) 4800.07 1201.62
STRUCTure 0.1 (complete)3313101? (TO) 4800.3 1207.15
STRUCTure 0.1 (hbr=2) (complete)3311901? (TO) 4800.34 1206.97
priss Auto (complete)3266827? (TO) 4800.35 1202.02
ttsth 5-4 (complete)3266842? (TO) 4800.4 1204.08
SArTagnan 2011-05-15 (fixed) (complete)3386021? (TO) 4800.44 1203.82

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 0