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

Result page for benchmark
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p30-s39712998.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p30-s39712998.cnf
MD5SUM44ec8c80ea2b58be800208f5113b04f5
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.272958
Satisfiable
(Un)Satisfiability was proved
Number of variables666
Number of clauses45238
Sum of the clauses size91092
Maximum clause length27
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 245213
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 525

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Sol 2011-04-04 (complete)3266745SAT 0.272958 0.264552
sattime 2011-03-02 (incomplete)3266719SAT 0.466928 0.468704
sattime2011 2011-03-02 (incomplete)3266718SAT 0.685895 0.6868
shortsattime+ 2011-03-02 (incomplete)3266723SAT 3.2965 3.29724
ppfolio par (complete)3266749SAT 4.46232 1.11976
adaptg2wsat2011 2011-03-02 (incomplete)3266722SAT 6.76997 6.77086
ppfolio seq (complete)3266750SAT 13.5909 13.5879
Lingeling 587f (fixed) (complete)3371673SAT 13.6059 13.6169
Lingeling 587 [DEPRECATED] (complete)3266743SAT 13.6349 13.6363
sattime+ 2011-03-02 (incomplete)3266724SAT 22.0666 22.0662
shortsattime2011 2011-03-02 (incomplete)3266720SAT 23.6744 23.6745
Satisfiability Solver Selector 2011-03-18 (complete)3266751SAT 30.2224 30.4902
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274860SAT 30.5953 30.6003
claspmt 2.0-R4095 [DEPRECATED] (complete)3299552SAT 37.4893 9.49356
MPhaseSAT_M 2011-02-16 (complete)3266716SAT 38.3862 38.3869
MPhaseSAT 2011-02-15 (complete)3266714SAT 38.6841 38.6837
Plingeling 587 [DEPRECATED] (complete)3266742SAT 55.9155 14.2946
Plingeling 587f (fixed) (complete)3371073SAT 55.9545 14.1566
claspmt 2.0-R4095-patched (fixed) (complete)3373173SAT 66.8218 16.8575
priss 1.0 (complete)3266740SAT 124.438 31.1839
QuteRSat 2011-03-01 [DEPRECATED] (complete)3266744SAT 154.042 154.038
SApperloT 2011-03-23 (complete)3266757SAT 163.365 163.361
glucose 2 (complete)3266752SAT 166.936 166.933
rcl 2011-04-01 (complete)3266746SAT 241.501 241.508
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366873SAT 282.383 70.7635
ttsth 5-4 (complete)3266754SAT 394.209 98.9834
MPhaseSAT64 2011-05-14 (fixed) (complete)3375573SAT 459.385 459.374
clasp 2.0-R4092-crafted (complete)3300452SAT 506.985 506.98
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3266715SAT 507.941 507.923
synit_sat 2011-03-03 (complete)3266721SAT 542.265 542.258
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3266733SAT 547.304 137.021
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449906SAT 759.79 759.906
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368073SAT 782.547 782.534
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3266732SAT 796.12 796.104
QuteRSat 2011-05-12 (fixed) (complete)3376773SAT 803.903 803.921
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369273SAT 1653.21 427.587
SArTagnan 2011-05-15 (fixed) (complete)3386017SAT 2229.57 747.493
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3266731SAT 3326.38 832.75
tts 5-4 (complete)3266753? (MO) 917.997 918.847
riss Auto (1200 s timeout) (complete)3473137? (TO) 1200.11 1200.15
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274861? (TO) 1298.46 1300.02
Black Hole SAT 2011-03-08 (complete)3266728? (TO) 1300.01 1300.01
UmSat 2011-05-12 (fixed) (complete)3379173? (TO) 1300.01 1300.03
riss Auto (complete)3266737? (TO) 1300.02 1300.01
riss Exp (complete)3266736? (TO) 1300.03 1300.01
PicoSAT 941 (complete)3266741? (TO) 1300.03 1300.01
riss 1.0 (complete)3266735? (TO) 1300.04 1300.01
RestartSAT B95 (complete)3266725? (TO) 1300.04 1300.01
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3266755? (TO) 1300.04 1300.01
RestartSAT A75 (complete)3266726? (TO) 1300.04 1300.01
SAT07 reference solver: minisat SAT 2007 (complete)3274862? (TO) 1300.04 1300.01
SApperloT2010 2011-05-15 (fixed) (complete)3379773? (TO) 1300.05 1300.02
CryptoMiniSat TechDemo-Alpha-st (complete)3266730? (TO) 1300.05 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3266727? (TO) 1300.05 1300.02
sathys 2011-04-01 (complete)3266747? (TO) 1300.05 1300.02
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3266734? (TO) 1300.06 1300.02
march_rw 2011-03-02 (complete)3266717? (TO) 1300.06 1300.02
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370473? (TO) 1300.06 1300.02
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3266748? (TO) 1300.9 1300.06
jMiniSat 2011 (complete)3279950? (TO) 1301.63 1300.02
priss UP (complete)3266738? (TO) 2388.09 1300.02
STRUCTure 0.1 (hbr=2) (complete)3311897? (TO) 4800.12 1207.54
priss Auto (complete)3266739? (TO) 4800.14 1201.72
STRUCTure 0.1 (complete)3313097? (TO) 4800.16 1207.14
CryptoMiniSat TechDemo-Alpha-mt (complete)3266729? (TO) 4800.18 1201.52
SArTagnan 2011-03-24 [DEPRECATED] (complete)3266756? (TO) 4800.28 1201.78

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 -665 -663 -662 -648 -647 -644 -618 -592 -591 -589 -588 -586 -585 -578 -570 -569 -567 -565 -538 -511 -510 -508 -507 -505 -504 -497 -489
-488 -486 -484 -483 -481 -480 -478 -477 -470 -462 -461 -459 -457 -456 -454 -453 -451 -450 -443 -435 -434 -432 -430 -429 -427 -426 -424 -423
-416 -408 -407 -405 -403 -402 -400 -399 -397 -396 -389 -381 -380 -378 -376 -375 -373 -372 -370 -369 -362 -354 -353 -350 -323 -322 -320 -319
-317 -316 -309 -301 -300 -298 -296 -295 -293 -292 -290 -289 -282 -274 -273 -271 -269 -268 -266 -265 -263 -262 -255 -247 -246 -244 -242 -215
-214 -212 -211 -209 -208 -201 -193 -192 -189 -188 -186 -185 -183 -182 -175 -167 -166 -164 -162 -161 -159 -158 -156 -155 -148 -140 -139 -137
-135 -108 -81 -80 -78 -77 -75 -74 -67 -59 -58 -56 -54 -53 -51 -50 -48 -47 -40 -32 -31 -29 -27 -26 -25 -24 -23 -22 -21 -20 -19 -18 -17 -16
-15 -14 -13 -12 -11 -10 -9 -8 -7 -6 -5 -4 -3 -2 666 -664 -661 -660 -659 -658 -657 -656 -655 -654 -653 -652 -651 -650 -649 -646 -645 -643
-642 -637 -634 -631 -627 -623 -620 -619 -617 -616 -611 -608 -605 -601 -597 -594 -593 -590 -582 -579 -575 -571 -568 -566 -564 -563 -558 -555
-552 -548 -544 -541 -540 -539 -536 -509 -501 -498 -494 -490 -487 -485 -482 -474 -471 -467 -463 -460 -458 -455 -428 -420 -417 -413 -409 -406
-404 -401 -393 -390 -386 -382 -379 -377 -374 -349 -348 -343 -340 -337 -333 -329 -326 -325 -324 -321 -313 -310 -306 -302 -299 -297 -294 -286
-283 -279 -275 -272 -270 -267 -241 -240 -235 -232 -229 -225 -221 -218 -217 -216 -213 -205 -202 -198 -194 -191 -190 -187 -179 -176 -172 -168
-165 -163 -160 -134 -133 -128 -125 -122 -118 -114 -111 -110 -109 -107 -106 -101 -98 -95 -91 -87 -84 -83 -82 -79 -52 641 -640 -639 -638 -636
-635 -633 -632 -630 -629 -628 -626 -625 -624 -622 -621 -615 -604 -603 -602 -599 -596 -577 -576 -573 -562 -551 -550 -549 -546 -543 -537 -535
-524 -523 -522 -519 -517 -516 -514 -513 -496 -495 -492 -469 -468 -465 -442 -441 -438 -436 -433 -415 -414 -411 -388 -387 -384 -361 -360 -357
-355 -352 -347 -254 -253 -250 -248 -245 -239 -228 -227 -226 -223 -220 -174 -173 -170 -132 -105 -94 -93 -92 -89 -86 -39 -38 -35 -33 -30 614
-613 -612 -610 -609 -607 -606 -600 -598 -595 -561 -534 -506 -491 -479 -464 -452 -444 -437 -425 -410 -398 -383 -346 -345 -344 -335 -331 -330
-291 -281 -277 -276 -264 -256 -249 -238 -237 -236 -222 -157 -149 -147 -143 -142 -131 -130 -129 -120 -116 -115 -104 -103 -102 -88 -76 -68 -66
-62 -61 -49 -41 -34 587 -584 -583 -581 -580 -574 -572 -560 -533 -527 -525 -371 -318 -312 -285 -210 -204 -184 -70 559 -557 -556 -554 -553
-547 -545 -542 -532 -515 -328 -327 531 -530 -529 -528 -526 -521 -520 -518 -512 -145 -121 -64 -37 503 -502 -500 -499 -493 -476 -449 -422 -395
-368 -342 -332 -315 -288 -261 -234 -207 -200 -197 -181 -154 -127 -100 -73 -71 -63 -46 475 -473 -472 -466 -448 -421 -394 -367 -365 -359 -341
-314 -307 -287 -260 -233 -206 -199 -180 -153 -151 -146 -126 -99 -72 -65 -45 447 -446 -445 -440 -439 -431 -366 -259 -152 -44 419 -418 -412
-392 -364 -358 -339 -284 -278 -258 -257 -251 -231 -178 -177 -171 -150 -144 -124 -123 -117 -97 -96 -90 -69 -43 -42 -36 280 169 85 28 -334
-304 -119 -356 -351 -305 -303 -195 -136 -55 -219 -138 -112 -338 -243 -203 336 363 196 141 113 252 -311 -60 308 57 391 -385 -230 224  0