| Name | csp/js-taillard-20/ normalized-js-taillard-20-105-5.xml |
| MD5SUM | c03a979904773fcfaa1bb1514e47dcef |
| 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 | 49.8974 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 400 |
| Number of constraints | 4180 |
| Maximum constraint arity | 2 |
| Maximum domain size | 1763 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 4180 |
| 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:410 457 518 529 542 637 670 753 813 870 957 1191 1284 1353 1419 1426 1534 1602 1712 1759 83 190 218 236 309 428 522 546 615 643 669 1042 1303 1417 1426 1491 1512 1576 1639 1686 83 202 324 370 466 552 605 683 835 849 1171 1265 1291 1399 1445 1543 1614 1708 1736 1761 180 339 404 530 605 615 740 935 1002 1071 1087 1167 1323 1370 1374 1508 1551 1560 1613 1648 0 33 368 385 473 525 596 610 717 761 923 960 1045 1097 1191 1349 1433 1510 1524 1641 0 177 220 309 392 672 761 788 941 1041 1114 1136 1172 1273 1391 1469 1470 1616 1684 1710 0 310 402 471 525 585 687 703 764 805 862 983 986 1093 1112 1167 1222 1313 1375 1435 0 103 243 289 329 383 433 508 603 614 660 816 902 909 1109 1181 1196 1267 1308 1600 53 153 393 527 568 621 705 760 818 860 935 990 1047 1112 1135 1173 1190 1289 1532 1573 0 83 146 457 521 612 687 748 783 878 907 975 1262 1370 1421 1478 1512 1564 1690 1730 4 78 165 220 476 671 714 769 784 995 1023 1104 1191 1266 1343 1392 1444 1565 1590 1708 0 40 69 96 215 291 352 419 428 438 446 636 765 863 925 1020 1058 1402 1571 1754 180 252 352 451 492 612 710 756 872 961 972 1008 1075 1200 1283 1351 1409 1431 1448 1511 0 67 171 203 254 285 350 368 371 434 462 694 780 1225 1235 1278 1478 1518 1637 1730 16 88 141 166 168 304 381 714 824 863 908 991 1111 1267 1359 1422 1466 1524 1588 1675 0 62 97 143 204 279 497 600 628 717 809 904 1171 1231 1377 1435 1524 1604 1622 1697 2 53 69 129 167 210 363 366 541 877 975 1067 1133 1221 1355 1440 1510 1541 1658 1706 10 40 68 144 153 183 271 361 433 476 516 556 724 976 1031 1176 1468 1615 1706 1760 60 103 130 176 292 392 402 465 513 527 622 684 750 831 877 939 944 1126 1602 1612 0 96 131 170 267 594 737 835 1179 1230 1261 1351 1392 1427 1471 1506 1543 1566 1645 1703