Name | csp/super-js/super-js-taillard-15/ normalized-super-js-taillard-15-14.xml |
MD5SUM | 706565457ea7a4d0a1ce73135f4ed524 |
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 | 106.091 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 450 |
Number of constraints | 5580 |
Maximum constraint arity | 2 |
Maximum domain size | 1240 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 5580 |
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:0 1 157 158 232 231 274 275 311 310 419 418 515 516 604 603 637 638 677 679 830 829 902 903 1020 1021 1094 1095 1150 1149 0 1 282 281 364 363 452 453 504 505 554 555 622 621 665 666 816 817 901 900 962 963 993 992 1049 1050 1069 1068 1160 1161 241 242 369 368 410 409 448 449 582 583 643 642 732 736 814 815 870 869 887 888 985 984 1022 1023 1074 1073 1076 1077 1149 1148 11 12 90 89 168 169 253 252 349 350 369 370 389 388 484 483 541 542 661 662 758 759 789 788 871 870 973 974 1122 1121 20 21 544 543 604 605 613 612 642 643 675 674 758 759 812 808 829 830 946 945 1025 1026 1120 1121 1149 1148 1179 1180 1197 1196 3 2 114 113 184 185 293 294 394 393 460 461 632 618 727 726 731 732 747 746 762 763 848 847 889 888 967 966 1175 1176 0 1 66 65 157 158 180 181 231 230 312 311 447 446 512 511 535 534 643 642 725 726 764 763 817 818 831 830 853 854 0 1 43 13 65 64 125 126 252 251 361 362 460 461 521 520 573 574 599 598 687 688 791 792 936 937 966 965 1207 1206 13 14 64 65 139 138 209 210 376 377 445 446 450 449 545 546 653 652 702 703 768 767 855 832 927 926 1014 1013 1145 1144 0 1 37 36 71 72 137 136 201 202 263 264 306 305 372 373 495 496 590 591 646 645 709 710 718 717 882 883 1203 1202 175 174 238 237 247 248 337 336 414 415 443 442 545 546 626 627 690 689 878 879 973 972 1058 1059 1131 1130 1149 1150 1229 1228 59 60 135 134 197 196 281 282 528 529 628 627 690 691 731 730 818 819 885 884 977 976 1019 1020 1028 1027 1049 1050 1074 1075 1 2 11 10 34 33 43 44 52 51 106 107 145 144 287 288 446 445 457 458 535 536 784 783 917 918 1100 1101 1183 1184 0 1 137 138 145 144 236 312 375 374 466 467 471 470 487 488 644 645 741 742 797 820 1011 1012 1027 1028 1120 1121 1229 1228 237 238 288 289 313 312 338 337 359 360 395 393 509 510 545 544 614 616 630 629 675 676 771 772 882 881 905 904 1175 1176