Name | csp/js-taillard-15/ normalized-js-taillard-15-100-0.xml |
MD5SUM | 183bb6c12d5c0d952ccfd5001b683c61 |
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 | 23.7064 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 1785 |
Maximum constraint arity | 2 |
Maximum domain size | 1247 |
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:7 108 438 458 517 543 558 623 705 732 813 906 998 1094 1164 34 245 276 408 542 715 793 801 808 899 978 996 1047 1065 1214 134 138 352 392 659 709 802 823 829 891 959 1041 1061 1100 1135 107 197 220 250 280 364 458 516 609 641 763 797 853 880 1091 0 78 101 220 281 317 346 459 558 637 713 864 1000 1052 1136 9 201 262 362 432 448 576 645 728 806 841 891 1033 1203 1217 10 28 103 123 127 466 550 569 645 750 848 987 1015 1057 1181 1 38 90 133 182 243 309 432 570 576 638 672 798 1146 1240 7 92 122 218 332 345 461 554 732 810 866 951 967 1144 1232 2 33 107 137 220 261 278 344 433 511 599 927 1049 1131 1137 159 249 348 349 357 478 567 656 759 791 819 972 1089 1095 1141 9 56 99 174 282 333 364 448 482 510 599 668 752 1102 1160 180 272 336 441 486 534 570 603 680 730 832 882 972 1107 1203 7 35 108 168 326 343 435 494 669 933 983 1011 1075 1134 1212 163 334 350 432 479 573 734 804 877 883 897 909 1047 1130 1150