Name | csp/js-taillard-15/ normalized-js-taillard-15-105-3.xml |
MD5SUM | f1f972a717a5676ec1be016e9f24b7e2 |
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 | 6.68698 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 1785 |
Maximum constraint arity | 2 |
Maximum domain size | 1240 |
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:8 80 131 173 210 271 317 405 438 465 579 679 1020 1099 1215 93 112 191 270 319 359 431 474 539 721 782 866 922 941 1122 327 514 521 554 649 709 817 893 929 939 1024 1031 1075 1077 1149 284 342 410 502 536 555 574 668 719 826 922 947 1001 1078 1166 320 426 486 494 523 573 654 685 783 854 933 1026 1076 1106 1123 2 86 142 188 281 347 495 535 585 600 615 669 791 913 1177 38 236 409 431 478 555 623 708 749 821 868 906 913 924 968 15 106 127 187 236 258 366 426 781 841 894 1040 1096 1125 1208 27 75 103 238 264 336 340 429 550 587 678 735 906 990 1075 0 36 70 135 199 229 408 461 556 651 800 841 847 1083 1203 196 307 332 421 458 519 542 641 701 747 854 955 1132 1150 1229 117 304 365 408 434 692 754 794 879 946 1027 1069 1093 1114 1170 86 95 133 142 150 204 316 426 552 591 684 755 871 1014 1199 68 135 223 314 486 664 754 810 905 987 1034 1090 1098 1190 1229 487 531 555 584 598 632 689 730 806 812 853 937 1032 1054 1154