| Name | csp/super-os/super-os-taillard-15/ normalized-super-os-taillard-15-13.xml |
| MD5SUM | b9608280c7283b6c031d7c75c491fce9 |
| 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 | 69.4574 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 450 |
| Number of constraints | 9675 |
| Maximum constraint arity | 2 |
| Maximum domain size | 944 |
| 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) |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:919 920 619 615 444 445 91 92 682 685 187 185 353 352 749 746 822 823 273 274 479 478 936 935 561 562 5 4 384 380 883 882 613 256 408 194 295 247 669 670 766 771 823 238 133 127 368 185 733 259 0 1 328 330 554 553 509 503 452 453 483 478 709 716 327 326 102 103 168 165 843 848 438 430 938 166 392 393 668 667 734 728 535 536 603 602 246 247 2 0 423 424 748 750 849 850 124 118 823 822 552 550 741 336 22 47 0 335 355 356 644 646 180 181 241 243 910 909 506 105 810 808 18 22 931 933 707 705 686 679 247 246 165 164 331 327 121 122 651 650 385 384 859 861 477 476 555 556 747 753 654 648 307 305 25 26 937 126 139 120 796 794 248 250 172 173 504 524 614 612 415 412 421 422 777 775 384 390 820 821 600 599 296 283 518 508 210 225 441 424 11 282 324 331 663 664 25 27 725 727 383 376 580 197 126 120 340 349 847 849 749 181 420 419 356 355 255 248 500 502 394 393 32 181 404 370 725 724 3 4 91 85 869 868 572 571 647 661 939 937 647 644 229 220 435 438 484 210 818 820 120 124 66 65 785 786 766 767 566 564 0 1 503 505 671 670 864 862 350 351 428 430 0 184 921 110 566 579 196 194 124 119 302 303 838 183 500 499 763 765 240 239 617 616 869 866 667 670 850 71 359 356 566 568 1 0 106 328 666 667 824 822 335 230 596 194 502 210 877 854 444 442 113 154 77 84 260 266 482 241 843 838 740 738 102 104 894 415 50 51 123 121 232 231 667 665 333 327 179 183 908 907 561 573 472 473 442 435 9 3 820 98 646 645 544 941 875 877 423 446 50 93 700 140 750 748 328 331 603 604 173 117 297 97 575 265 0 391 547 673 821 110 174 182 825 97 318 327 357 361 937 119 508 522 768 89 9 27 832 95 614 610 866 106 430 432 708 66 896 897 730 733 926 923 9 8 441 139 444 447 786 187 826 93 528 524 867 869 614 611 847 100 710 706 644 643 345 145 392 257