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

Result page for benchmark
RANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1185462553-011.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/800/
unif-k5-r20-v800-c16000-S1185462553-011.cnf
MD5SUM775d7caa3d486b151a5911ebb89973a9
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark73.9568
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of clauses16000
Sum of the clauses size80000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 516000
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
gNovelty+-V.2-T 2009-03-22 (incomplete)1540042SAT 61.3967 30.7969
hybridGM3 3 (incomplete)1540038SAT 73.9568 73.975
gnovelty+2 2009-03-22 (incomplete)1527548SAT 117.177 117.221
iPAWS 2009-03-22 (incomplete)1521808SAT 215.542 215.627
gnovelty+2-H 2009-03-22 (incomplete)1527547SAT 326.966 327.048
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1540041SAT 894.244 448.359
SATzilla2009_I 2009-03-22 (complete)1538272? (exit code) 1199.42 1199.88
SAT07 reference solver: SATzilla RANDOM (complete)1543951? (exit code) 1199.59 1199.89
SATzilla2009_R 2009-03-22 (complete)1538270? (exit code) 1199.69 1200.04
SATzilla2009_C 2009-03-22 (complete)1538271? (exit code) 1199.76 1200.07
ManySAT 1.1 aimd 1/2009-03-20 (complete)1524737? (TO) 1200 601.419
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1545091? (TO) 1200.01 1200.31
ManySAT 1.1 aimd 0/2009-03-20 (complete)1524736? (TO) 1200.01 601.419
TNM 2009-03-22 (incomplete)1522418? (TO) 1200.02 1200.41
SApperloT base (complete)1532144? (TO) 1200.02 1200.41
glucose 1.0 (complete)1512716? (TO) 1200.02 1200.41
picosat 913 (complete)1512718? (TO) 1200.02 1200.41
MiniSat 2.1 (Sat-race'08 Edition) (complete)1519548? (TO) 1200.02 1200.42
gnovelty+ 2009-03-22 (incomplete)1527546? (TO) 1200.03 1200.42
MXC 2009-03-10 (complete)1512717? (TO) 1200.03 1200.41
hybridGM 1 (incomplete)1540037? (TO) 1200.03 1200.41
CSat 2009-03-22 (complete)1520668? (TO) 1200.04 1200.34
MiniSAT 09z 2009-03-22 (complete)1832480? (TO) 1200.04 1200.61
march_hi hi (complete)1512721? (TO) 1200.04 1200.13
adaptg2wsat2009++ 2009-03-23 (incomplete)1532148? (TO) 1200.05 1200.41
precosat 236 (complete)1512719? (TO) 1200.05 1200.42
hybridGM7 7 (incomplete)1540039? (TO) 1200.05 1200.51
Rsat 2009-03-22 (complete)1537662? (TO) 1200.06 1200.51
minisat_cumr p-2009-03-18 (complete)1832479? (TO) 1200.06 1200.71
NCVWr 2009-03-22 (incomplete)1522417? (TO) 1200.06 1200.41
Hybrid2 2009-03-22 (incomplete)1522416? (TO) 1200.06 1200.51
march_nn nn (complete)1512722? (TO) 1200.07 1200.42
clasp 1.2.0-SAT09-32 (complete)1512720? (TO) 1200.07 1200.51
LySAT c/2009-03-20 (complete)1524735? (TO) 1200.07 1200.42
CircUs 2009-03-23 (complete)1524088? (TO) 1200.07 1200.42
HydraSAT-Multi 2009-03-22-Multi (complete)1529256? (TO) 1200.07 1200.71
VARSAT-industrial 2009-03-22 (complete)1512724? (TO) 1200.08 1200.51
IUT_BMB_SAT 1.0 (complete)1532146? (TO) 1200.08 1200.42
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1545092? (TO) 1200.08 1200.51
LySAT i/2009-03-20 (complete)1524734? (TO) 1200.09 1200.61
adaptg2wsat2009 2009-03-23 (incomplete)1532147? (TO) 1200.1 1200.41
HydraSAT-Flat 2009-03-22-Flat (complete)1529257? (TO) 1200.1 1200.53
MoRsat 2009-03-03 (complete)1521238? (TO) 1200.1 1200.51
slstc 1.0 (incomplete)1512726? (TO) 1200.1 1200.41
VARSAT-random 2009-03-22 (complete)1512725? (TO) 1200.1 1200.41
kw 2009-03-20 (complete)1519547? (TO) 1200.1 1200.55
VARSAT-crafted 2009-03-22 (complete)1512723? (TO) 1200.1 1200.61
SAT07 reference solver: March KS 2007-02-08 (complete)1543952? (TO) 1200.1 1200.41
HydraSAT 2009-03-22-Base (complete)1529258? (TO) 1200.1 1200.51
ManySAT 1.1 aimd 2/2009-03-20 (complete)1524738? (TO) 1200.11 601.519
satake 2009-03-22 (complete)1543362? (TO) 1200.16 601.63
SApperloT hrp (complete)1532145? (TO) 1200.19 1200.5
tts tts-5-0 (complete)1530947? (TO) 1200.19 1200.48
gNovelty+-T 2009-03-22 (incomplete)1540040? (TO) 1200.21 601.629
SAT4J CORE 2.1 RC1 (complete)1512715? (TO) 1200.25 1199.75
ttsth-5-0 2009-03-19 (complete)1530948? (TO) 1200.44 602.434

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 0