Name | csp/super-js/super-js-taillard-15/ normalized-super-js-taillard-15-15.xml |
MD5SUM | d4b8a3518de3d7b3c2da5e05ff268d86 |
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 | 57.2833 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 450 |
Number of constraints | 5580 |
Maximum constraint arity | 2 |
Maximum domain size | 1298 |
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:24 93 215 214 312 311 389 388 484 485 561 560 638 639 689 693 845 846 911 914 954 955 1026 1025 1087 1088 1172 1173 1272 1273 0 1 8 7 109 110 211 210 263 264 332 331 373 372 463 464 499 498 556 557 663 664 864 865 1064 1063 1132 1133 1227 1226 180 179 267 268 314 315 336 335 446 445 581 582 661 662 725 724 774 773 868 867 953 954 1055 1056 1076 1075 1078 1079 1190 1191 6 7 108 109 126 127 182 181 190 191 365 366 381 382 458 459 484 485 563 562 662 661 733 732 830 831 912 913 934 935 0 1 194 197 293 294 311 312 423 424 515 516 554 552 636 637 658 657 911 910 1008 1009 1060 1059 1110 1111 1180 1179 1232 1233 0 1 95 96 150 151 190 191 263 262 332 333 365 364 465 464 515 516 655 654 724 725 842 843 876 877 910 911 1098 1099 26 27 102 101 462 463 562 563 660 659 744 743 815 816 863 862 959 960 1016 1015 1094 1095 1148 1147 1158 1159 1263 1264 1265 1264 0 1 48 47 171 172 612 611 647 648 681 680 740 741 779 780 828 829 846 847 912 911 1002 1003 1101 1102 1190 1191 1251 1250 380 381 545 546 562 561 611 612 635 634 637 636 715 716 758 754 779 778 804 803 961 962 1006 1005 1089 1090 1098 1097 1159 1160 1 2 186 187 291 292 404 405 451 452 462 463 500 501 566 567 651 650 678 677 724 725 763 762 930 927 1092 1093 1243 1242 15 16 38 39 88 89 209 210 212 211 259 260 263 262 622 623 691 692 715 716 777 776 906 905 1012 1011 1210 1211 1250 1249 69 68 268 267 314 315 336 337 459 458 661 660 681 680 762 763 828 829 903 902 953 954 990 991 1086 1085 1163 1164 1188 1187 3 2 41 42 122 123 153 154 192 193 267 268 300 301 386 387 484 485 499 498 512 513 594 593 655 654 700 701 815 816 64 65 97 96 202 203 269 270 339 340 418 419 530 529 604 603 789 788 865 864 877 878 961 960 1003 1002 1130 1129 1220 1219 0 1 95 94 113 114 168 167 236 237 314 313 345 346 412 411 477 479 577 576 774 775 885 886 1018 1017 1019 1020 1047 1048