Name | csp/js-taillard-15/ normalized-js-taillard-15-100-6.xml |
MD5SUM | 86cc81d2eef8616c56c5321a1700a380 |
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 | 126.636 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 1785 |
Maximum constraint arity | 2 |
Maximum domain size | 1235 |
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:3 71 90 96 121 122 148 314 678 705 754 942 1022 1032 1194 49 107 223 225 309 395 483 544 564 671 683 771 805 914 948 34 143 285 359 422 519 548 633 667 756 842 1015 1041 1139 1204 138 287 302 474 594 710 771 772 820 845 958 979 996 1080 1183 4 87 139 218 296 303 331 428 497 526 607 684 855 1146 1200 52 55 86 336 553 733 804 845 894 903 998 1005 1111 1131 1176 88 116 209 213 264 451 456 601 653 705 726 775 883 1054 1145 0 25 238 364 379 446 584 650 782 838 968 1025 1041 1075 1174 8 90 242 341 485 572 620 679 742 773 872 932 979 1070 1176 187 215 288 357 423 496 553 680 711 731 811 920 1083 1138 1204 73 93 192 214 333 358 433 523 614 819 860 881 935 1045 1046 411 470 492 538 583 593 630 651 768 861 920 998 1071 1130 1172 133 205 580 595 653 675 683 776 803 839 877 967 1018 1061 1141 90 162 240 269 377 428 474 517 592 682 723 797 889 905 1031 1 140 184 294 326 373 458 480 503 629 700 735 752 992 1037