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

Result page for benchmark
random/medium/
unif-k3-r4.26-v650-c2769-S525571208-063.SATISFIABLE.cnf

Jump to solvers results

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S525571208-063.SATISFIABLE.cnf
MD5SUM0d5db3c80640d96c57ce9e3d0b9dc725
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.020995
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
sattime2011 2011-03-02 (incomplete)3153644SAT 0.020995 0.023182
sattime 2011-03-02 (incomplete)3154244SAT 0.035994 0.037132
sparrow2011 sparrow2011_ubcsat1.2_2011-03-02 (incomplete)3162520SAT 0.048991 0.048739
csls prob-4cores (incomplete)3157928SAT 0.06499 0.020641
SAT09 reference solver: gnovelty+2 2009-03-22 (incomplete)3205170SAT 0.069989 0.0706971
shortsattime2011 2011-03-02 (incomplete)3157036SAT 0.11998 0.120454
csls pnorm-8cores (incomplete)3159128SAT 0.12398 0.034741
EagleUP 1.565.350 (incomplete)3093669SAT 0.148977 0.151332
shortsattime+ 2011-03-02 (incomplete)3169133SAT 0.160974 0.161523
csls prob-8cores (incomplete)3158528SAT 0.164974 0.0468351
MultiFlip 2011-02-11 (incomplete)3096069SAT 0.177972 0.181743
SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)3205168SAT 0.184971 0.185788
adaptg2wsat2011 2011-03-02 (incomplete)3168533SAT 0.219966 0.224223
SAT09 reference solver: TNM 2009-03-22 (incomplete)3205169SAT 0.220965 0.222101
ppfolio seq (complete)3191620SAT 0.484925 0.486361
borg-sat 11.03.02-seq-random (fixed) (complete)3377442SAT 0.555914 0.635137
ppfolio par (complete)3191020SAT 0.626904 0.304975
borg-sat 11.03.02-par-random (fixed) (complete)3378342SAT 0.734888 0.670466
borg-sat 11.03.02-random [DEPRECATED] (complete)3317286SAT 0.810875 0.73161
borg-sat 11.03.02-seq-random (fixed, 1200 s timeout) (complete)3484240SAT 0.826874 0.921073
MPhaseSAT64 2011-05-14 (fixed) (complete)3375042SAT 0.880865 0.892546
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3094869SAT 0.90986 0.911236
MPhaseSAT 2011-02-15 (complete)3094269SAT 0.998847 1.00605
MPhaseSAT_M 2011-02-16 (complete)3095469SAT 1.06884 1.1032
sattime+ 2011-03-02 (incomplete)3169733SAT 1.53677 1.5368
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449222SAT 6.88795 6.99873
Satisfiability Solver Selector 2011-03-18 (complete)3201073SAT 24.0293 24.1302
sathys 2011-04-01 (complete)3189820SAT 35.9275 35.9289
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3174533? (TO) 1299.99 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3369942? (TO) 1300.01 1300.02
RestartSAT A75 (complete)3170933? (TO) 1300.03 1300.01
SAT09 reference solver: march_hi hi (complete)3205171? (TO) 1300.04 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3173333? (TO) 1300.04 1300.01
RestartSAT B95 (complete)3170333? (TO) 1300.04 1300.01
Black Hole SAT 2011-03-08 (complete)3172133? (TO) 1300.04 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3171533? (TO) 1300.05 1300.01
QuteRSat 2011-03-01 [DEPRECATED] (complete)3188620? (TO) 1300.05 1300.02
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367542? (TO) 1300.05 1300.02
march_rw 2011-03-02 (complete)3152471? (TO) 1300.06 1300.02
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3175733? (TO) 1300.06 1300.02
synit_sat 2011-03-03 (complete)3159728? (TO) 1300.06 1300.02
QuteRSat 2011-05-12 (fixed) (complete)3376242? (TO) 1300.07 1300.02
jMiniSat 2011 (complete)3279419? (TO) 1300.56 1300.02
SAT_Intersec_01 2011-03-01 (complete)3194971? (TO) 1300.59 1300.1
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3190420? (TO) 1301.66 1300.03
Sol 2011-04-04 (complete)3189220? (TO) 1308.88 1300.02
STRUCTure 0.1 (complete)3312566? (TO) 4800.18 1206.74
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3173933? (TO) 4800.19 1201.73
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3368742? (TO) 4800.25 1203.45
STRUCTure 0.1 (hbr=2) (complete)3311366? (TO) 4800.31 1206.94
CryptoMiniSat TechDemo-Alpha-mt (complete)3172733? (TO) 4800.34 1201.93
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366342? (TO) 4800.46 1203.14
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3175133? (TO) 4800.46 1201.73

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 0