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

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

Jump to solvers results

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p15-s2076598.cnf
MD5SUMf5a22d1154b549fd98215f1710a15f46
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.357944
Satisfiable
(Un)Satisfiability was proved
Number of variables545
Number of clauses29734
Sum of the clauses size59963
Maximum clause length27
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 229709
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)3266895SAT 0.357944 0.35888
sattime+ 2011-03-02 (incomplete)3266900SAT 0.529919 0.530254
ppfolio seq (complete)3266926SAT 1.26181 1.26203
sattime2011 2011-03-02 (incomplete)3266894SAT 1.40179 1.40322
shortsattime+ 2011-03-02 (incomplete)3266899SAT 1.44378 1.44918
adaptg2wsat2011 2011-03-02 (incomplete)3266898SAT 1.69974 1.70144
shortsattime2011 2011-03-02 (incomplete)3266896SAT 2.21966 2.21956
ppfolio par (complete)3266925SAT 4.76227 1.19653
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449916SAT 9.65853 9.90505
Satisfiability Solver Selector 2011-03-18 (complete)3266927SAT 26.62 26.9501
riss Auto (complete)3266913SAT 145.205 145.199
SApperloT2010 2011-05-15 (fixed) (complete)3379771SAT 153.415 153.411
riss 1.0 (complete)3266911SAT 162.646 162.642
PicoSAT 941 (complete)3266917SAT 185.899 185.93
QuteRSat 2011-03-01 [DEPRECATED] (complete)3266920SAT 251.486 251.478
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3266910SAT 279.244 279.244
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370471SAT 285.874 285.866
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368071SAT 334.152 334.169
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3266908SAT 336.088 336.682
Sol 2011-04-04 (complete)3266921SAT 447.876 444.93
QuteRSat 2011-05-12 (fixed) (complete)3376771SAT 541.996 541.996
clasp 2.0-R4092-crafted (complete)3300450SAT 583.652 583.642
MPhaseSAT 2011-02-15 (complete)3266890SAT 599.89 599.897
MPhaseSAT_M 2011-02-16 (complete)3266892SAT 601.909 601.892
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3266907SAT 758.392 192.543
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274890SAT 768.726 768.704
claspmt 2.0-R4095-patched (fixed) (complete)3373171SAT 917.809 230.138
synit_sat 2011-03-03 (complete)3266897SAT 1023.47 1023.45
jMiniSat 2011 (complete)3279948SAT 1079.27 1077.66
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369271SAT 1110.17 295.547
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3266909SAT 1192.49 301.791
SAT07 reference solver: minisat SAT 2007 (complete)3274892SAT 1220.53 1220.52
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366871SAT 1737.8 435.75
claspmt 2.0-R4095 [DEPRECATED] (complete)3299550SAT 1866.69 467.424
priss Auto (complete)3266915SAT 3618.49 905.93
riss Auto (1200 s timeout) (complete)3473147? (TO) 1200.06 1200.04
tts 5-4 (complete)3266929? (TO) 1299 1300.36
sathys 2011-04-01 (complete)3266923? (TO) 1299.34 1300.02
SApperloT 2011-03-23 (complete)3266933? (TO) 1299.94 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3266906? (TO) 1300.01 1300.01
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274891? (TO) 1300.02 1300.02
riss Exp (complete)3266912? (TO) 1300.03 1300.01
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3266931? (TO) 1300.03 1300.01
glucose 2 (complete)3266928? (TO) 1300.03 1300.01
rcl 2011-04-01 (complete)3266922? (TO) 1300.04 1300.01
RestartSAT B95 (complete)3266901? (TO) 1300.04 1300.01
MPhaseSAT64 2011-05-14 (fixed) (complete)3375571? (TO) 1300.04 1300.01
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3266891? (TO) 1300.04 1300.01
Black Hole SAT 2011-03-08 (complete)3266904? (TO) 1300.05 1300.01
RestartSAT A75 (complete)3266902? (TO) 1300.06 1300.01
march_rw 2011-03-02 (complete)3266893? (TO) 1300.06 1300.02
Lingeling 587 [DEPRECATED] (complete)3266919? (TO) 1300.06 1300.02
UmSat 2011-02-25 [DEPRECATED] (complete)3266903? (TO) 1300.07 1300.02
Lingeling 587f (fixed) (complete)3371671? (TO) 1300.08 1300.02
UmSat 2011-05-12 (fixed) (complete)3379171? (TO) 1300.08 1300.02
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3266924? (TO) 1301.2 1300.07
priss UP (complete)3266914? (TO) 2408.04 1300.02
SArTagnan 2011-05-15 (fixed) (complete)3386015? (TO) 2452.57 1300.09
priss 1.0 (complete)3266916? (TO) 4800.03 1201.72
Plingeling 587f (fixed) (complete)3371071? (TO) 4800.13 1203.05
STRUCTure 0.1 (complete)3313095? (TO) 4800.18 1207.64
STRUCTure 0.1 (hbr=2) (complete)3311895? (TO) 4800.2 1207.74
Plingeling 587 [DEPRECATED] (complete)3266918? (TO) 4800.23 1201.94
SArTagnan 2011-03-24 [DEPRECATED] (complete)3266932? (TO) 4800.32 1201.79
CryptoMiniSat TechDemo-Alpha-mt (complete)3266905? (TO) 4800.34 1201.52
ttsth 5-4 (complete)3266930? (TO) 4800.44 1206.23

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 0