| Name | csp/js-taillard-15/ normalized-js-taillard-15-105-8.xml |
| MD5SUM | 29d9042e3e0cc0348db4eadf5baca638 |
| 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 | 5.51616 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 225 |
| Number of constraints | 1785 |
| Maximum constraint arity | 2 |
| Maximum domain size | 1353 |
| 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:244 335 350 479 521 611 679 686 822 943 989 1008 1064 1133 1199 13 47 48 99 183 226 299 395 501 591 726 916 1138 1206 1350 178 266 364 446 492 571 640 742 799 838 850 851 924 951 1028 449 499 505 551 623 669 692 817 871 950 1028 1095 1139 1195 1297 88 108 123 145 347 406 500 612 664 873 935 1123 1211 1255 1335 414 562 625 719 728 814 903 915 981 1036 1118 1153 1167 1170 1291 202 388 475 517 526 563 588 666 797 813 935 1118 1198 1232 1324 103 246 377 426 493 546 758 810 920 971 1006 1056 1124 1209 1255 18 91 173 176 284 563 586 601 689 783 803 892 976 1044 1229 0 53 96 271 754 768 774 877 965 1044 1107 1200 1239 1272 1346 30 69 159 309 334 409 513 735 814 951 1034 1092 1127 1224 1267 0 50 114 352 628 653 743 761 804 875 922 1074 1111 1173 1270 4 6 80 93 168 199 265 337 495 595 699 764 839 1265 1315 0 93 188 224 274 357 372 403 566 703 765 964 987 1006 1106 139 214 259 355 427 492 498 514 538 563 607 664 821 1177 1187