Name | csp/js-taillard-15/ normalized-js-taillard-15-105-4.xml |
MD5SUM | cc1626b385ab160ac31e70a43bb38e50 |
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 | 9.59454 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 1785 |
Maximum constraint arity | 2 |
Maximum domain size | 1298 |
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 40 136 195 290 366 441 464 547 952 968 1039 1091 1175 1274 130 146 234 366 431 499 512 550 585 642 679 903 1021 1089 1221 285 372 418 432 714 777 856 918 961 1015 1016 1113 1129 1151 1202 15 34 49 91 99 171 186 366 391 469 553 775 871 952 992 160 381 466 520 588 726 763 836 857 942 1071 1122 1183 1204 1234 35 49 82 181 253 259 452 635 685 768 770 868 901 934 1070 279 333 413 514 604 697 818 865 975 1031 1109 1162 1172 1264 1265 18 47 132 228 260 290 328 418 503 519 584 690 783 888 981 3 102 111 277 300 301 379 442 457 506 608 643 769 780 841 164 165 238 333 496 647 684 744 828 854 901 955 1034 1126 1247 56 78 127 160 162 256 478 633 701 722 869 938 1032 1075 1250 1 98 144 239 262 348 367 477 529 551 601 612 687 764 919 70 91 212 242 274 390 466 551 674 688 701 797 994 1099 1131 267 296 595 649 727 760 772 845 941 1016 1028 1111 1114 1207 1292 50 221 261 315 357 427 456 565 615 708 778 944 1150 1175 1286