Name | csp/js-taillard-15/ normalized-js-taillard-15-100-3.xml |
MD5SUM | dac891c0d2b55f561c48b6bbb6283241 |
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 | 116.43 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 1785 |
Maximum constraint arity | 2 |
Maximum domain size | 1181 |
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:0 72 128 229 281 353 413 501 540 568 754 828 893 1029 1091 0 196 279 358 405 449 516 567 722 823 884 936 992 1011 1102 123 262 323 364 497 557 642 718 754 762 847 863 1007 1018 1090 12 84 151 235 269 289 308 402 455 578 674 701 741 915 1062 19 459 554 562 608 643 686 718 735 815 894 1008 1089 1119 1136 0 105 161 212 347 413 514 554 559 574 589 692 731 808 1118 0 217 347 366 439 699 806 873 895 987 1034 1072 1079 1095 1118 0 12 33 109 207 591 675 770 822 875 928 981 1037 1066 1149 14 62 137 229 288 358 362 445 537 561 634 711 784 868 953 0 36 74 140 205 248 294 381 530 647 660 710 716 865 1144 275 342 356 445 482 534 602 615 733 781 895 1001 1073 1091 1170 34 108 169 255 432 529 592 632 770 854 959 1001 1009 1036 1048 3 12 34 43 51 105 163 269 345 376 474 767 907 994 1140 0 67 93 222 308 395 399 404 558 824 914 963 971 1063 1170 152 198 222 246 260 294 351 446 510 516 539 653 748 835 1116