| Name | csp/js-taillard-20-15/ normalized-js-taillard-20-15-105-9.xml |
| MD5SUM | 5bbd1ffb651fc1a4ef8ce25488690080 |
| 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 | 22.0047 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 300 |
| Number of constraints | 3130 |
| Maximum constraint arity | 2 |
| Maximum domain size | 1452 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 3130 |
| 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:29 121 475 562 721 856 892 904 940 1027 1122 1184 1220 1334 1407 187 306 328 508 613 733 756 760 888 905 1128 1212 1302 1359 1394 0 151 187 235 361 420 480 495 784 926 971 988 1062 1161 1267 229 230 347 371 464 539 653 800 898 979 1016 1122 1227 1308 1409 138 154 354 420 446 513 635 748 904 965 981 1027 1089 1136 1325 0 118 274 384 464 518 752 769 851 907 995 1119 1203 1220 1303 89 93 341 374 480 566 596 840 907 949 980 1080 1200 1267 1334 0 29 85 155 219 299 345 398 624 760 892 966 1203 1255 1319 0 12 85 121 207 219 434 566 797 960 976 1047 1075 1351 1409 0 61 174 248 462 522 610 613 673 732 835 1166 1299 1380 1407 0 89 179 322 370 388 664 673 700 810 868 904 1338 1351 1386 0 71 118 285 314 377 438 546 592 683 950 969 1144 1212 1227 93 179 292 518 618 707 890 960 979 1065 1121 1207 1253 1285 1359 248 322 410 508 509 562 621 712 810 886 904 1065 1194 1292 1303 12 113 215 274 306 389 446 522 618 674 747 819 826 961 971 0 377 464 475 556 621 700 724 756 814 949 1062 1089 1109 1271 126 230 580 644 745 826 877 995 1080 1163 1166 1212 1259 1299 1380 71 674 747 752 835 851 855 875 890 950 995 1088 1121 1293 1365 82 174 199 228 319 341 509 587 695 1063 1157 1254 1271 1319 1386 0 5 82 156 215 228 285 347 384 438 507 589 624 732 779