| Name | csp/super-os/super-os-taillard-15/ normalized-super-os-taillard-15-18.xml |
| MD5SUM | 6c4fe0b768bfa979303b578f14aded5b |
| 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 | 87.0218 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 450 |
| Number of constraints | 9675 |
| Maximum constraint arity | 2 |
| Maximum domain size | 962 |
| 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) | 2080982 | SAT | 87.0218 | 88.3251 |
| Sugar v1.14.6+picosat (complete) | 2080981 | SAT | 183.059 | 282.774 |
| SAT4J CSP 2.1.1 (complete) | 2080975 | ? | 245.268 | 245.932 |
| Concrete DC 2009-07-14 (complete) | 2080979 | ? | 845.55 | 846.402 |
| bpsolver 09 (complete) | 2080985 | ? (TO) | 1800.07 | 1815.71 |
| Concrete 2009-07-14 (complete) | 2080978 | ? (TO) | 1800.07 | 1803.42 |
| Abscon 112v4 ESAC (complete) | 2097374 | ? (TO) | 1800.08 | 1804.77 |
| Choco2.1.1b 2009-07-16 (complete) | 2116598 | ? (TO) | 1800.1 | 1806.28 |
| Mistral 1.545 (complete) | 2080984 | ? (TO) | 1800.11 | 1800.81 |
| Choco2.1.1 2009-06-10 (complete) | 2080980 | ? (TO) | 1800.11 | 1809.06 |
| pcs-restart 0.3.2 (complete) | 2080977 | ? (TO) | 1800.14 | 1814.87 |
| pcs 0.3.2 (complete) | 2080976 | ? (TO) | 1800.15 | 1808.68 |
| Abscon 112v4 AC (complete) | 2097373 | ? (TO) | 1800.18 | 1804.78 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:337 17 446 447 70 69 691 692 574 732 412 635 328 512 255 256 835 2 903 11 832 831 159 160 771 770 669 58 521 522 853 854 432 1 238 239 140 139 346 345 396 397 439 6 753 41 592 35 206 207 568 61 518 519 923 922 426 515 660 661 140 33 681 682 62 63 390 391 454 455 302 301 845 844 537 538 170 169 626 7 903 3 529 528 768 769 0 61 246 247 510 511 128 131 882 883 784 715 294 295 816 817 795 358 379 52 271 70 614 615 6 16 86 87 719 718 192 191 654 655 795 796 520 0 658 657 168 169 424 425 217 216 348 349 879 878 774 504 528 25 542 541 33 32 743 3 89 579 788 651 203 19 753 752 505 504 335 334 79 78 712 711 936 937 961 960 170 171 599 1 442 441 891 890 277 276 817 818 686 687 8 512 233 232 418 347 110 111 755 754 192 193 903 461 536 537 306 61 106 107 400 401 645 646 330 348 852 26 595 596 480 481 345 346 514 513 2 854 862 863 807 806 685 254 702 703 430 429 595 596 8 7 800 799 263 127 563 763 164 163 908 296 668 667 85 84 748 747 824 825 878 877 184 939 342 26 418 2 404 405 228 227 572 920 615 614 309 52 530 531 959 958 850 853 146 752 501 2 933 52 416 415 276 44 773 16 923 922 317 318 583 582 689 688 77 76 188 189 722 743 437 52 260 828 367 366 776 777 958 855 308 645 168 167 338 339 12 645 675 42 134 133 901 46 876 875 738 637 519 520 337 33 501 500 876 877 740 739 681 682 124 125 228 227 309 13 814 1 352 351 596 597 817 23 438 439 852 17 41 42 365 800 934 56 276 825 501 57 859 443 707 708 576 621 153 154 118 535 84 83 316 51 879 62 8 41 464 777 682 681 612 565 463 464 616 615 818 819 504 503 383 382 287 288 583 582 649 23 710 711 0 35 103 102 811 810 885 884 135 136 455 457 4 447 242 876 563 562 748 747 393 12 948 947 58 57 834 30 245 244 878 887 463 462 340 189 118 119 684 685