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

Result page for benchmark
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S501150091-001.cnf

Jump to solvers results

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S501150091-001.cnf
MD5SUMe113edb96dafae9a32f84235b77a2595
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark25.5081
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of clauses20000
Sum of the clauses size100000
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 520000
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)1545054SAT 25.5081 25.5183
gNovelty+-V.2-T 2009-03-22 (incomplete)1539928SAT 90.1333 45.2281
gnovelty+2-H 2009-03-22 (incomplete)1527490SAT 97.2092 97.2446
TNM 2009-03-22 (incomplete)1522361SAT 120.666 120.701
iPAWS 2009-03-22 (incomplete)1521789SAT 187.281 187.329
gnovelty+2 2009-03-22 (incomplete)1527491SAT 202.383 202.445
Hybrid2 2009-03-22 (incomplete)1522359SAT 389.861 389.962
SATzilla2009_R 2009-03-22 (complete)1538213SAT 540.126 540.452
NCVWr 2009-03-22 (incomplete)1522360SAT 700.606 700.93
adaptg2wsat2009++ 2009-03-23 (incomplete)1532053SAT 722.929 722.837
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1539927SAT 875.763 439.074
SAT07 reference solver: SATzilla RANDOM (complete)1543913? (exit code) 1199.61 1199.98
SATzilla2009_I 2009-03-22 (complete)1538215? (exit code) 1199.63 1200.08
SATzilla2009_C 2009-03-22 (complete)1538214? (exit code) 1199.64 1200.01
IUT_BMB_SAT 1.0 (complete)1532051? (TO) 1200 1200.52
minisat_cumr p-2009-03-18 (complete)1832441? (TO) 1200.01 1200.51
hybridGM3 3 (incomplete)1539924? (TO) 1200.03 1200.41
march_hi hi (complete)1512493? (TO) 1200.04 1200.62
MiniSAT 09z 2009-03-22 (complete)1832442? (TO) 1200.04 1200.41
HydraSAT 2009-03-22-Base (complete)1529201? (TO) 1200.04 1200.41
SAT07 reference solver: March KS 2007-02-08 (complete)1543914? (TO) 1200.06 1200.71
hybridGM7 7 (incomplete)1539925? (TO) 1200.06 1200.51
clasp 1.2.0-SAT09-32 (complete)1512492? (TO) 1200.06 1200.41
VARSAT-crafted 2009-03-22 (complete)1512495? (TO) 1200.06 1200.42
gnovelty+ 2009-03-22 (incomplete)1527489? (TO) 1200.07 1200.42
MXC 2009-03-10 (complete)1512489? (TO) 1200.07 1200.41
glucose 1.0 (complete)1512488? (TO) 1200.07 1200.62
march_nn nn (complete)1512494? (TO) 1200.07 1200.52
Rsat 2009-03-22 (complete)1537643? (TO) 1200.07 1200.41
LySAT c/2009-03-20 (complete)1524640? (TO) 1200.07 1200.41
LySAT i/2009-03-20 (complete)1524639? (TO) 1200.08 1200.51
VARSAT-industrial 2009-03-22 (complete)1512496? (TO) 1200.08 1200.42
VARSAT-random 2009-03-22 (complete)1512497? (TO) 1200.09 1200.42
HydraSAT-Flat 2009-03-22-Flat (complete)1529200? (TO) 1200.09 1200.41
slstc 1.0 (incomplete)1512498? (TO) 1200.09 1200.41
HydraSAT-Multi 2009-03-22-Multi (complete)1529199? (TO) 1200.09 1200.71
gNovelty+-T 2009-03-22 (incomplete)1539926? (TO) 1200.09 601.631
ManySAT 1.1 aimd 0/2009-03-20 (complete)1524641? (TO) 1200.09 601.52
precosat 236 (complete)1512491? (TO) 1200.1 1200.43
hybridGM 1 (incomplete)1539923? (TO) 1200.1 1200.41
MoRsat 2009-03-03 (complete)1521219? (TO) 1200.11 1200.42
picosat 913 (complete)1512490? (TO) 1200.11 1207.22
CSat 2009-03-22 (complete)1520649? (TO) 1200.11 1207.04
MiniSat 2.1 (Sat-race'08 Edition) (complete)1519510? (TO) 1200.11 1200.52
adaptg2wsat2009 2009-03-23 (incomplete)1532052? (TO) 1200.11 1200.41
SApperloT base (complete)1532049? (TO) 1200.11 1200.51
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)1545053? (TO) 1200.11 1200.51
ManySAT 1.1 aimd 2/2009-03-20 (complete)1524643? (TO) 1200.11 601.82
CircUs 2009-03-23 (complete)1524069? (TO) 1200.12 1200.53
SApperloT hrp (complete)1532050? (TO) 1200.13 1200.58
satake 2009-03-22 (complete)1543343? (TO) 1200.14 601.526
kw 2009-03-20 (complete)1519509? (TO) 1200.15 1200.46
ManySAT 1.1 aimd 1/2009-03-20 (complete)1524642? (TO) 1200.19 601.519
ttsth-5-0 2009-03-19 (complete)1530910? (TO) 1200.31 602.465
tts tts-5-0 (complete)1530909? (TO) 1200.35 1200.75
SAT4J CORE 2.1 RC1 (complete)1512487? (TO) 1200.37 1205.96

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 801 -802 -803 804 -805 -806 807 808 -809 -810 -811 -812 813 -814 -815 -816 817 818 -819 820 -821 822 823 -824 825 -826
-827 -828 829 -830 831 832 833 -834 -835 -836 -837 -838 -839 840 -841 842 -843 844 -845 -846 847 848 -849 850 -851 852 853 -854 855 -856 857
-858 859 -860 861 -862 -863 864 865 -866 -867 -868 869 870 -871 872 -873 -874 -875 -876 -877 878 -879 880 881 882 883 884 -885 -886 -887
-888 -889 890 -891 -892 -893 -894 895 -896 -897 898 -899 900 -901 -902 903 904 905 906 907 -908 -909 -910 911 -912 -913 914 915 916 917 -918
-919 -920 -921 -922 923 924 925 -926 927 928 929 -930 -931 932 933 -934 -935 -936 -937 938 -939 940 -941 -942 943 944 945 -946 -947 948 -949
-950 951 952 953 -954 955 -956 957 -958 959 960 -961 -962 -963 -964 965 966 967 968 -969 -970 -971 -972 973 -974 -975 976 977 978 -979 -980
-981 -982 983 984 -985 986 987 988 989 990 991 -992 993 994 995 -996 997 -998 999 -1000 0