| Name | csp/super-os/super-os-taillard-15/ normalized-super-os-taillard-15-19.xml |
| MD5SUM | 95627fa130a6174b4d805b27889df00f |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 91.3221 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 450 |
| Number of constraints | 9675 |
| Maximum constraint arity | 2 |
| Maximum domain size | 999 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 9675 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Sugar v1.14.6+minisat (complete) | 2081004 | SAT | 91.3221 | 93.7772 |
| Sugar v1.14.6+picosat (complete) | 2081003 | SAT | 200.978 | 204.053 |
| SAT4J CSP 2.1.1 (complete) | 2080997 | ? | 237.361 | 238.082 |
| Concrete DC 2009-07-14 (complete) | 2081001 | ? | 932.39 | 940.379 |
| Concrete 2009-07-14 (complete) | 2081000 | ? (TO) | 1800 | 1817.12 |
| bpsolver 09 (complete) | 2081007 | ? (TO) | 1800.03 | 1809.01 |
| Mistral 1.545 (complete) | 2081006 | ? (TO) | 1800.04 | 1802.21 |
| Abscon 112v4 AC (complete) | 2097377 | ? (TO) | 1800.08 | 1815.46 |
| Abscon 112v4 ESAC (complete) | 2097378 | ? (TO) | 1800.11 | 1801.85 |
| pcs-restart 0.3.2 (complete) | 2080999 | ? (TO) | 1800.14 | 1810.98 |
| pcs 0.3.2 (complete) | 2080998 | ? (TO) | 1800.16 | 1800.96 |
| Choco2.1.1 2009-06-10 (complete) | 2081002 | ? (TO) | 1800.17 | 1809.7 |
| Choco2.1.1b 2009-07-16 (complete) | 2116600 | ? (TO) | 1800.17 | 1809.09 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:132 900 287 288 678 677 800 536 754 138 938 217 550 551 668 897 934 902 849 189 857 193 817 816 906 234 711 189 453 466 642 643 420 421 842 914 202 203 69 617 890 188 549 550 94 110 780 779 7 8 344 343 938 701 260 259 474 473 375 376 776 137 876 877 711 712 505 506 49 48 310 143 440 439 721 720 251 626 915 914 656 666 281 168 759 760 591 590 771 871 148 185 758 759 104 111 9 8 197 196 985 986 350 351 169 181 478 479 553 552 884 883 272 271 260 538 815 816 661 660 639 640 655 184 13 780 757 207 911 156 455 456 799 800 405 15 683 186 113 897 648 219 998 223 548 549 71 155 36 226 535 534 367 366 462 463 544 545 851 850 881 156 11 10 284 285 606 605 0 1 790 789 178 177 932 995 104 105 628 936 811 812 565 566 605 604 929 930 373 374 458 459 927 838 690 691 840 839 306 911 124 125 62 63 323 322 360 914 224 225 630 160 275 128 502 155 420 421 219 218 55 147 767 127 330 180 7 187 689 141 914 134 54 201 369 127 857 140 566 155 905 904 800 801 556 557 450 449 538 619 637 636 347 346 671 670 852 851 426 427 278 279 197 196 22 98 600 894 754 615 758 757 536 857 439 438 67 66 681 682 36 847 363 909 41 40 183 182 287 286 932 933 110 843 0 1 375 376 611 862 364 931 64 145 830 831 936 948 467 468 738 739 384 143 915 987 578 579 692 691 260 261 2 1 351 987 639 176 226 227 622 621 578 882 261 260 762 708 902 901 520 880 330 331 393 598 907 230 15 210 942 941 28 163 418 417 782 827 728 727 661 662 577 170 745 186 452 451 1 186 321 322 271 853 903 121 74 175 232 231 413 414 742 900 40 39 756 757 542 868 387 386 446 445 10 11 963 964 323 324 732 731 547 546 127 164 641 642 217 216 338 337 934 188 892 180 365 366 817 816 1 203 871 870 690 689 783 212 25 192 619 620 793 794 156 346 531 530 359 176 222 221 258 259 405 406 954 966 731 170