Name | csp/js-taillard-15/ normalized-js-taillard-15-100-8.xml |
MD5SUM | 9de4e8d0bc614ccbc86793b1abb57b97 |
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 | 36.2135 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 1785 |
Maximum constraint arity | 2 |
Maximum domain size | 1289 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1785 |
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:44 137 152 264 376 466 519 526 605 699 720 740 796 939 1042 0 34 35 75 149 196 269 365 445 532 668 756 873 947 1286 17 105 243 329 385 549 618 713 754 793 805 807 906 933 1128 299 349 365 392 464 512 544 611 644 723 807 962 1007 1063 1140 20 115 152 190 363 386 482 580 632 713 775 1059 1147 1191 1271 90 197 416 510 524 610 784 818 884 942 1036 1114 1128 1131 1227 350 404 569 659 674 711 736 846 922 938 1012 1054 1134 1168 1260 203 325 350 399 579 639 687 746 814 865 900 1030 1085 1145 1191 235 308 396 471 606 730 739 773 861 939 959 1048 1107 1185 1248 75 217 260 460 674 688 694 738 826 985 1068 1136 1175 1208 1282 2 22 112 167 192 280 372 466 535 624 707 830 868 1025 1203 21 71 135 223 340 375 448 508 549 739 779 992 1029 1071 1165 150 169 210 244 319 350 486 558 765 897 947 976 1032 1201 1251 130 459 568 604 654 730 745 776 865 952 1010 1111 1134 1153 1196 168 245 290 371 443 513 519 782 806 830 874 878 1005 1104 1123