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

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

Jump to solvers results

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m27-q225-n25-p30-s70617701.cnf
MD5SUMf04b72eb712a286c5ea50b297461f349
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.32095
Satisfiable
(Un)Satisfiability was proved
Number of variables671
Number of clauses50773
Sum of the clauses size102167
Maximum clause length27
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 250748
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
sattime+ 2011-03-02 (incomplete)3266680SAT 0.32095 0.322036
shortsattime2011 2011-03-02 (incomplete)3266676SAT 0.404937 0.40772
adaptg2wsat2011 2011-03-02 (incomplete)3266678SAT 0.412937 0.413394
QuteRSat 2011-03-01 [DEPRECATED] (complete)3266700SAT 0.71889 0.72239
sattime 2011-03-02 (incomplete)3266675SAT 0.736887 0.739275
sattime2011 2011-03-02 (incomplete)3266674SAT 1.17482 1.17726
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3266690SAT 1.2858 1.28854
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370474SAT 1.36979 1.37087
ppfolio seq (complete)3266706SAT 2.15067 2.15191
shortsattime+ 2011-03-02 (incomplete)3266679SAT 2.88356 2.88422
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368074SAT 5.57315 5.57354
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3266688SAT 5.72313 5.72414
MPhaseSAT64 2011-05-14 (fixed) (complete)3375574SAT 5.8851 5.8914
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3266671SAT 6.587 6.58911
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369274SAT 12.2851 4.39904
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3266689SAT 12.3231 4.40451
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366874SAT 15.7936 5.13251
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3266687SAT 16.1925 5.28012
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449902SAT 16.22 16.3451
ppfolio par (complete)3266705SAT 16.32 4.13044
priss UP (complete)3266694SAT 17.9743 11.5784
Sol 2011-04-04 (complete)3266701SAT 26.9579 26.9397
glucose 2 (complete)3266708SAT 27.2349 27.2355
Lingeling 587 [DEPRECATED] (complete)3266699SAT 31.5032 31.5066
Lingeling 587f (fixed) (complete)3371674SAT 31.6662 31.6667
Satisfiability Solver Selector 2011-03-18 (complete)3266707SAT 32.83 32.9484
Plingeling 587 [DEPRECATED] (complete)3266698SAT 41.7966 10.7245
PicoSAT 941 (complete)3266697SAT 42.2456 42.2453
priss Auto (complete)3266695SAT 44.6932 11.2495
clasp 2.0-R4092-crafted (complete)3300453SAT 46.9549 46.9563
claspmt 2.0-R4095-patched (fixed) (complete)3373174SAT 55.8365 14.1114
QuteRSat 2011-05-12 (fixed) (complete)3376774SAT 56.8854 56.8853
Plingeling 587f (fixed) (complete)3371074SAT 59.416 15.194
riss 1.0 (complete)3266691SAT 72.9019 72.9065
riss Auto (complete)3266693SAT 74.9086 74.9084
sathys 2011-04-01 (complete)3266703SAT 83.8223 83.8247
claspmt 2.0-R4095 [DEPRECATED] (complete)3299553SAT 97.0162 24.4168
MPhaseSAT_M 2011-02-16 (complete)3266672SAT 112.096 112.093
MPhaseSAT 2011-02-15 (complete)3266670SAT 112.504 112.503
synit_sat 2011-03-03 (complete)3266677SAT 131.914 131.914
rcl 2011-04-01 (complete)3266702SAT 136.917 138.122
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274848SAT 184.872 184.871
SApperloT 2011-03-23 (complete)3266713SAT 301.627 301.619
RestartSAT B95 (complete)3266681SAT 477.885 477.874
SAT07 reference solver: minisat SAT 2007 (complete)3274850SAT 598.315 598.307
CryptoMiniSat TechDemo-Alpha-mt (complete)3266685SAT 645.586 163.194
priss 1.0 (complete)3266696SAT 796.418 199.424
jMiniSat 2011 (complete)3279951SAT 815.928 814.604
march_rw 2011-03-02 (complete)3266673SAT 876.725 876.701
riss Auto (1200 s timeout) (complete)3473133SAT 989.787 989.76
riss Exp (complete)3266692SAT 1095.96 1095.94
RestartSAT A75 (complete)3266682SAT 1267.27 1267.24
SArTagnan 2011-05-15 (fixed) (complete)3386018SAT 1929.3 646.171
tts 5-4 (complete)3266709? (TO) 1299.43 1300.22
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274849? (TO) 1299.51 1300.02
Black Hole SAT 2011-03-08 (complete)3266684? (TO) 1299.98 1300.01
SApperloT2010 2011-05-15 (fixed) (complete)3379774? (TO) 1300 1300.02
CryptoMiniSat TechDemo-Alpha-st (complete)3266686? (TO) 1300.01 1300.01
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3266711? (TO) 1300.04 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3266683? (TO) 1300.06 1300.03
UmSat 2011-05-12 (fixed) (complete)3379174? (TO) 1300.06 1300.03
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3266704? (TO) 1301.03 1300.06
STRUCTure 0.1 (complete)3313098? (TO) 4800.15 1207.85
ttsth 5-4 (complete)3266710? (TO) 4800.21 1203.46
STRUCTure 0.1 (hbr=2) (complete)3311898? (TO) 4800.22 1207.94
SArTagnan 2011-03-24 [DEPRECATED] (complete)3266712Wrong Cert. 3413.03 854.772

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 0