Name | csp/super-os/super-os-taillard-15/ normalized-super-os-taillard-15-1.xml |
MD5SUM | 8fafd39c31371d79429097ec8078bafd |
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 | 209.49 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 450 |
Number of constraints | 9675 |
Maximum constraint arity | 2 |
Maximum domain size | 956 |
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:551 552 610 609 68 754 870 738 333 332 478 317 494 495 298 299 797 798 190 189 0 1 91 90 580 590 343 344 895 896 275 276 688 689 526 525 4 3 598 588 871 872 333 332 130 131 651 664 186 191 767 592 167 168 845 846 773 774 405 417 375 376 871 870 823 824 699 700 0 431 617 618 440 442 27 28 548 549 501 502 141 140 738 737 223 222 124 125 289 288 566 567 124 125 859 858 712 713 783 784 344 345 83 84 614 613 656 657 403 404 0 1 233 237 266 265 428 429 494 493 500 501 94 95 317 318 865 864 552 551 293 292 188 197 0 1 361 362 626 627 776 777 716 715 620 621 430 429 224 225 412 413 315 316 296 393 721 722 518 517 82 83 706 486 867 868 626 633 940 941 785 784 131 132 186 185 429 436 9 662 244 245 566 188 0 1 296 295 182 181 494 495 884 632 408 407 759 760 48 375 719 718 111 112 52 51 859 860 437 438 697 696 494 529 314 315 884 0 810 809 563 562 162 163 249 248 671 672 891 892 585 586 44 80 1 2 786 484 952 613 593 592 826 825 105 104 1 0 248 247 78 77 500 501 656 215 893 324 365 374 133 132 690 689 823 97 749 748 552 553 943 551 496 494 41 40 566 567 776 777 729 126 261 262 896 895 633 632 871 870 189 2 358 357 412 411 222 223 298 299 639 659 555 556 320 319 760 759 227 228 35 36 422 447 97 404 820 819 894 893 180 751 106 105 263 262 456 457 141 142 704 705 0 364 226 225 125 126 869 870 432 431 687 375 605 364 344 345 86 85 174 173 649 456 753 528 26 364 494 493 627 626 428 427 783 784 249 946 556 555 491 492 949 850 258 259 703 702 0 1 167 168 24 23 329 330 857 850 83 82 825 717 437 696 854 731 227 228 170 169 423 739 84 83 951 714 474 475 870 344 570 696 312 729 763 764 0 1 610 611 1 0 500 501 123 124 487 674 51 632 540 539 27 28 277 278 417 418 189 188 777 778 711 413 319 320 736 737 876 877