dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / globals / nvalue / globals_nvalue.mzn
at develop 23 kB view raw
1/*** 2--- !Test 3solvers: [gecode, chuffed] 4expected: !Result 5 solution: !SolutionSet 6 - !Solution 7 a: 8 - 3 9 - 2 10 - 1 11 - 1 12 n: 3 13 - !Solution 14 a: 15 - 4 16 - 2 17 - 1 18 - 1 19 n: 3 20 - !Solution 21 a: 22 - 5 23 - 2 24 - 1 25 - 1 26 n: 3 27 - !Solution 28 a: 29 - 2 30 - 3 31 - 1 32 - 1 33 n: 3 34 - !Solution 35 a: 36 - 4 37 - 3 38 - 1 39 - 1 40 n: 3 41 - !Solution 42 a: 43 - 5 44 - 3 45 - 1 46 - 1 47 n: 3 48 - !Solution 49 a: 50 - 2 51 - 4 52 - 1 53 - 1 54 n: 3 55 - !Solution 56 a: 57 - 3 58 - 4 59 - 1 60 - 1 61 n: 3 62 - !Solution 63 a: 64 - 5 65 - 4 66 - 1 67 - 1 68 n: 3 69 - !Solution 70 a: 71 - 2 72 - 5 73 - 1 74 - 1 75 n: 3 76 - !Solution 77 a: 78 - 3 79 - 5 80 - 1 81 - 1 82 n: 3 83 - !Solution 84 a: 85 - 4 86 - 5 87 - 1 88 - 1 89 n: 3 90 - !Solution 91 a: 92 - 3 93 - 1 94 - 2 95 - 1 96 n: 3 97 - !Solution 98 a: 99 - 4 100 - 1 101 - 2 102 - 1 103 n: 3 104 - !Solution 105 a: 106 - 5 107 - 1 108 - 2 109 - 1 110 n: 3 111 - !Solution 112 a: 113 - 3 114 - 2 115 - 2 116 - 1 117 n: 3 118 - !Solution 119 a: 120 - 4 121 - 2 122 - 2 123 - 1 124 n: 3 125 - !Solution 126 a: 127 - 5 128 - 2 129 - 2 130 - 1 131 n: 3 132 - !Solution 133 a: 134 - 1 135 - 3 136 - 2 137 - 1 138 n: 3 139 - !Solution 140 a: 141 - 2 142 - 3 143 - 2 144 - 1 145 n: 3 146 - !Solution 147 a: 148 - 3 149 - 3 150 - 2 151 - 1 152 n: 3 153 - !Solution 154 a: 155 - 1 156 - 4 157 - 2 158 - 1 159 n: 3 160 - !Solution 161 a: 162 - 2 163 - 4 164 - 2 165 - 1 166 n: 3 167 - !Solution 168 a: 169 - 4 170 - 4 171 - 2 172 - 1 173 n: 3 174 - !Solution 175 a: 176 - 1 177 - 5 178 - 2 179 - 1 180 n: 3 181 - !Solution 182 a: 183 - 2 184 - 5 185 - 2 186 - 1 187 n: 3 188 - !Solution 189 a: 190 - 5 191 - 5 192 - 2 193 - 1 194 n: 3 195 - !Solution 196 a: 197 - 2 198 - 1 199 - 3 200 - 1 201 n: 3 202 - !Solution 203 a: 204 - 4 205 - 1 206 - 3 207 - 1 208 n: 3 209 - !Solution 210 a: 211 - 5 212 - 1 213 - 3 214 - 1 215 n: 3 216 - !Solution 217 a: 218 - 1 219 - 2 220 - 3 221 - 1 222 n: 3 223 - !Solution 224 a: 225 - 2 226 - 2 227 - 3 228 - 1 229 n: 3 230 - !Solution 231 a: 232 - 3 233 - 2 234 - 3 235 - 1 236 n: 3 237 - !Solution 238 a: 239 - 2 240 - 3 241 - 3 242 - 1 243 n: 3 244 - !Solution 245 a: 246 - 4 247 - 3 248 - 3 249 - 1 250 n: 3 251 - !Solution 252 a: 253 - 5 254 - 3 255 - 3 256 - 1 257 n: 3 258 - !Solution 259 a: 260 - 1 261 - 4 262 - 3 263 - 1 264 n: 3 265 - !Solution 266 a: 267 - 3 268 - 4 269 - 3 270 - 1 271 n: 3 272 - !Solution 273 a: 274 - 4 275 - 4 276 - 3 277 - 1 278 n: 3 279 - !Solution 280 a: 281 - 1 282 - 5 283 - 3 284 - 1 285 n: 3 286 - !Solution 287 a: 288 - 3 289 - 5 290 - 3 291 - 1 292 n: 3 293 - !Solution 294 a: 295 - 5 296 - 5 297 - 3 298 - 1 299 n: 3 300 - !Solution 301 a: 302 - 2 303 - 1 304 - 4 305 - 1 306 n: 3 307 - !Solution 308 a: 309 - 3 310 - 1 311 - 4 312 - 1 313 n: 3 314 - !Solution 315 a: 316 - 5 317 - 1 318 - 4 319 - 1 320 n: 3 321 - !Solution 322 a: 323 - 1 324 - 2 325 - 4 326 - 1 327 n: 3 328 - !Solution 329 a: 330 - 2 331 - 2 332 - 4 333 - 1 334 n: 3 335 - !Solution 336 a: 337 - 4 338 - 2 339 - 4 340 - 1 341 n: 3 342 - !Solution 343 a: 344 - 1 345 - 3 346 - 4 347 - 1 348 n: 3 349 - !Solution 350 a: 351 - 3 352 - 3 353 - 4 354 - 1 355 n: 3 356 - !Solution 357 a: 358 - 4 359 - 3 360 - 4 361 - 1 362 n: 3 363 - !Solution 364 a: 365 - 2 366 - 4 367 - 4 368 - 1 369 n: 3 370 - !Solution 371 a: 372 - 3 373 - 4 374 - 4 375 - 1 376 n: 3 377 - !Solution 378 a: 379 - 5 380 - 4 381 - 4 382 - 1 383 n: 3 384 - !Solution 385 a: 386 - 1 387 - 5 388 - 4 389 - 1 390 n: 3 391 - !Solution 392 a: 393 - 4 394 - 5 395 - 4 396 - 1 397 n: 3 398 - !Solution 399 a: 400 - 5 401 - 5 402 - 4 403 - 1 404 n: 3 405 - !Solution 406 a: 407 - 2 408 - 1 409 - 5 410 - 1 411 n: 3 412 - !Solution 413 a: 414 - 3 415 - 1 416 - 5 417 - 1 418 n: 3 419 - !Solution 420 a: 421 - 4 422 - 1 423 - 5 424 - 1 425 n: 3 426 - !Solution 427 a: 428 - 1 429 - 2 430 - 5 431 - 1 432 n: 3 433 - !Solution 434 a: 435 - 2 436 - 2 437 - 5 438 - 1 439 n: 3 440 - !Solution 441 a: 442 - 5 443 - 2 444 - 5 445 - 1 446 n: 3 447 - !Solution 448 a: 449 - 1 450 - 3 451 - 5 452 - 1 453 n: 3 454 - !Solution 455 a: 456 - 3 457 - 3 458 - 5 459 - 1 460 n: 3 461 - !Solution 462 a: 463 - 5 464 - 3 465 - 5 466 - 1 467 n: 3 468 - !Solution 469 a: 470 - 1 471 - 4 472 - 5 473 - 1 474 n: 3 475 - !Solution 476 a: 477 - 4 478 - 4 479 - 5 480 - 1 481 n: 3 482 - !Solution 483 a: 484 - 5 485 - 4 486 - 5 487 - 1 488 n: 3 489 - !Solution 490 a: 491 - 2 492 - 5 493 - 5 494 - 1 495 n: 3 496 - !Solution 497 a: 498 - 3 499 - 5 500 - 5 501 - 1 502 n: 3 503 - !Solution 504 a: 505 - 4 506 - 5 507 - 5 508 - 1 509 n: 3 510 - !Solution 511 a: 512 - 3 513 - 1 514 - 1 515 - 2 516 n: 3 517 - !Solution 518 a: 519 - 4 520 - 1 521 - 1 522 - 2 523 n: 3 524 - !Solution 525 a: 526 - 5 527 - 1 528 - 1 529 - 2 530 n: 3 531 - !Solution 532 a: 533 - 3 534 - 2 535 - 1 536 - 2 537 n: 3 538 - !Solution 539 a: 540 - 4 541 - 2 542 - 1 543 - 2 544 n: 3 545 - !Solution 546 a: 547 - 5 548 - 2 549 - 1 550 - 2 551 n: 3 552 - !Solution 553 a: 554 - 1 555 - 3 556 - 1 557 - 2 558 n: 3 559 - !Solution 560 a: 561 - 2 562 - 3 563 - 1 564 - 2 565 n: 3 566 - !Solution 567 a: 568 - 3 569 - 3 570 - 1 571 - 2 572 n: 3 573 - !Solution 574 a: 575 - 1 576 - 4 577 - 1 578 - 2 579 n: 3 580 - !Solution 581 a: 582 - 2 583 - 4 584 - 1 585 - 2 586 n: 3 587 - !Solution 588 a: 589 - 4 590 - 4 591 - 1 592 - 2 593 n: 3 594 - !Solution 595 a: 596 - 1 597 - 5 598 - 1 599 - 2 600 n: 3 601 - !Solution 602 a: 603 - 2 604 - 5 605 - 1 606 - 2 607 n: 3 608 - !Solution 609 a: 610 - 5 611 - 5 612 - 1 613 - 2 614 n: 3 615 - !Solution 616 a: 617 - 3 618 - 1 619 - 2 620 - 2 621 n: 3 622 - !Solution 623 a: 624 - 4 625 - 1 626 - 2 627 - 2 628 n: 3 629 - !Solution 630 a: 631 - 5 632 - 1 633 - 2 634 - 2 635 n: 3 636 - !Solution 637 a: 638 - 1 639 - 3 640 - 2 641 - 2 642 n: 3 643 - !Solution 644 a: 645 - 4 646 - 3 647 - 2 648 - 2 649 n: 3 650 - !Solution 651 a: 652 - 5 653 - 3 654 - 2 655 - 2 656 n: 3 657 - !Solution 658 a: 659 - 1 660 - 4 661 - 2 662 - 2 663 n: 3 664 - !Solution 665 a: 666 - 3 667 - 4 668 - 2 669 - 2 670 n: 3 671 - !Solution 672 a: 673 - 5 674 - 4 675 - 2 676 - 2 677 n: 3 678 - !Solution 679 a: 680 - 1 681 - 5 682 - 2 683 - 2 684 n: 3 685 - !Solution 686 a: 687 - 3 688 - 5 689 - 2 690 - 2 691 n: 3 692 - !Solution 693 a: 694 - 4 695 - 5 696 - 2 697 - 2 698 n: 3 699 - !Solution 700 a: 701 - 1 702 - 1 703 - 3 704 - 2 705 n: 3 706 - !Solution 707 a: 708 - 2 709 - 1 710 - 3 711 - 2 712 n: 3 713 - !Solution 714 a: 715 - 3 716 - 1 717 - 3 718 - 2 719 n: 3 720 - !Solution 721 a: 722 - 1 723 - 2 724 - 3 725 - 2 726 n: 3 727 - !Solution 728 a: 729 - 4 730 - 2 731 - 3 732 - 2 733 n: 3 734 - !Solution 735 a: 736 - 5 737 - 2 738 - 3 739 - 2 740 n: 3 741 - !Solution 742 a: 743 - 1 744 - 3 745 - 3 746 - 2 747 n: 3 748 - !Solution 749 a: 750 - 4 751 - 3 752 - 3 753 - 2 754 n: 3 755 - !Solution 756 a: 757 - 5 758 - 3 759 - 3 760 - 2 761 n: 3 762 - !Solution 763 a: 764 - 2 765 - 4 766 - 3 767 - 2 768 n: 3 769 - !Solution 770 a: 771 - 3 772 - 4 773 - 3 774 - 2 775 n: 3 776 - !Solution 777 a: 778 - 4 779 - 4 780 - 3 781 - 2 782 n: 3 783 - !Solution 784 a: 785 - 2 786 - 5 787 - 3 788 - 2 789 n: 3 790 - !Solution 791 a: 792 - 3 793 - 5 794 - 3 795 - 2 796 n: 3 797 - !Solution 798 a: 799 - 5 800 - 5 801 - 3 802 - 2 803 n: 3 804 - !Solution 805 a: 806 - 1 807 - 1 808 - 4 809 - 2 810 n: 3 811 - !Solution 812 a: 813 - 2 814 - 1 815 - 4 816 - 2 817 n: 3 818 - !Solution 819 a: 820 - 4 821 - 1 822 - 4 823 - 2 824 n: 3 825 - !Solution 826 a: 827 - 1 828 - 2 829 - 4 830 - 2 831 n: 3 832 - !Solution 833 a: 834 - 3 835 - 2 836 - 4 837 - 2 838 n: 3 839 - !Solution 840 a: 841 - 5 842 - 2 843 - 4 844 - 2 845 n: 3 846 - !Solution 847 a: 848 - 2 849 - 3 850 - 4 851 - 2 852 n: 3 853 - !Solution 854 a: 855 - 3 856 - 3 857 - 4 858 - 2 859 n: 3 860 - !Solution 861 a: 862 - 4 863 - 3 864 - 4 865 - 2 866 n: 3 867 - !Solution 868 a: 869 - 1 870 - 4 871 - 4 872 - 2 873 n: 3 874 - !Solution 875 a: 876 - 3 877 - 4 878 - 4 879 - 2 880 n: 3 881 - !Solution 882 a: 883 - 5 884 - 4 885 - 4 886 - 2 887 n: 3 888 - !Solution 889 a: 890 - 2 891 - 5 892 - 4 893 - 2 894 n: 3 895 - !Solution 896 a: 897 - 4 898 - 5 899 - 4 900 - 2 901 n: 3 902 - !Solution 903 a: 904 - 5 905 - 5 906 - 4 907 - 2 908 n: 3 909 - !Solution 910 a: 911 - 1 912 - 1 913 - 5 914 - 2 915 n: 3 916 - !Solution 917 a: 918 - 2 919 - 1 920 - 5 921 - 2 922 n: 3 923 - !Solution 924 a: 925 - 5 926 - 1 927 - 5 928 - 2 929 n: 3 930 - !Solution 931 a: 932 - 1 933 - 2 934 - 5 935 - 2 936 n: 3 937 - !Solution 938 a: 939 - 3 940 - 2 941 - 5 942 - 2 943 n: 3 944 - !Solution 945 a: 946 - 4 947 - 2 948 - 5 949 - 2 950 n: 3 951 - !Solution 952 a: 953 - 2 954 - 3 955 - 5 956 - 2 957 n: 3 958 - !Solution 959 a: 960 - 3 961 - 3 962 - 5 963 - 2 964 n: 3 965 - !Solution 966 a: 967 - 5 968 - 3 969 - 5 970 - 2 971 n: 3 972 - !Solution 973 a: 974 - 2 975 - 4 976 - 5 977 - 2 978 n: 3 979 - !Solution 980 a: 981 - 4 982 - 4 983 - 5 984 - 2 985 n: 3 986 - !Solution 987 a: 988 - 5 989 - 4 990 - 5 991 - 2 992 n: 3 993 - !Solution 994 a: 995 - 1 996 - 5 997 - 5 998 - 2 999 n: 3 1000 - !Solution 1001 a: 1002 - 3 1003 - 5 1004 - 5 1005 - 2 1006 n: 3 1007 - !Solution 1008 a: 1009 - 4 1010 - 5 1011 - 5 1012 - 2 1013 n: 3 1014 - !Solution 1015 a: 1016 - 2 1017 - 1 1018 - 1 1019 - 3 1020 n: 3 1021 - !Solution 1022 a: 1023 - 4 1024 - 1 1025 - 1 1026 - 3 1027 n: 3 1028 - !Solution 1029 a: 1030 - 5 1031 - 1 1032 - 1 1033 - 3 1034 n: 3 1035 - !Solution 1036 a: 1037 - 1 1038 - 2 1039 - 1 1040 - 3 1041 n: 3 1042 - !Solution 1043 a: 1044 - 2 1045 - 2 1046 - 1 1047 - 3 1048 n: 3 1049 - !Solution 1050 a: 1051 - 3 1052 - 2 1053 - 1 1054 - 3 1055 n: 3 1056 - !Solution 1057 a: 1058 - 2 1059 - 3 1060 - 1 1061 - 3 1062 n: 3 1063 - !Solution 1064 a: 1065 - 4 1066 - 3 1067 - 1 1068 - 3 1069 n: 3 1070 - !Solution 1071 a: 1072 - 5 1073 - 3 1074 - 1 1075 - 3 1076 n: 3 1077 - !Solution 1078 a: 1079 - 1 1080 - 4 1081 - 1 1082 - 3 1083 n: 3 1084 - !Solution 1085 a: 1086 - 3 1087 - 4 1088 - 1 1089 - 3 1090 n: 3 1091 - !Solution 1092 a: 1093 - 4 1094 - 4 1095 - 1 1096 - 3 1097 n: 3 1098 - !Solution 1099 a: 1100 - 1 1101 - 5 1102 - 1 1103 - 3 1104 n: 3 1105 - !Solution 1106 a: 1107 - 3 1108 - 5 1109 - 1 1110 - 3 1111 n: 3 1112 - !Solution 1113 a: 1114 - 5 1115 - 5 1116 - 1 1117 - 3 1118 n: 3 1119 - !Solution 1120 a: 1121 - 1 1122 - 1 1123 - 2 1124 - 3 1125 n: 3 1126 - !Solution 1127 a: 1128 - 2 1129 - 1 1130 - 2 1131 - 3 1132 n: 3 1133 - !Solution 1134 a: 1135 - 3 1136 - 1 1137 - 2 1138 - 3 1139 n: 3 1140 - !Solution 1141 a: 1142 - 1 1143 - 2 1144 - 2 1145 - 3 1146 n: 3 1147 - !Solution 1148 a: 1149 - 4 1150 - 2 1151 - 2 1152 - 3 1153 n: 3 1154 - !Solution 1155 a: 1156 - 5 1157 - 2 1158 - 2 1159 - 3 1160 n: 3 1161 - !Solution 1162 a: 1163 - 1 1164 - 3 1165 - 2 1166 - 3 1167 n: 3 1168 - !Solution 1169 a: 1170 - 4 1171 - 3 1172 - 2 1173 - 3 1174 n: 3 1175 - !Solution 1176 a: 1177 - 5 1178 - 3 1179 - 2 1180 - 3 1181 n: 3 1182 - !Solution 1183 a: 1184 - 2 1185 - 4 1186 - 2 1187 - 3 1188 n: 3 1189 - !Solution 1190 a: 1191 - 3 1192 - 4 1193 - 2 1194 - 3 1195 n: 3 1196 - !Solution 1197 a: 1198 - 4 1199 - 4 1200 - 2 1201 - 3 1202 n: 3 1203 - !Solution 1204 a: 1205 - 2 1206 - 5 1207 - 2 1208 - 3 1209 n: 3 1210 - !Solution 1211 a: 1212 - 3 1213 - 5 1214 - 2 1215 - 3 1216 n: 3 1217 - !Solution 1218 a: 1219 - 5 1220 - 5 1221 - 2 1222 - 3 1223 n: 3 1224 - !Solution 1225 a: 1226 - 2 1227 - 1 1228 - 3 1229 - 3 1230 n: 3 1231 - !Solution 1232 a: 1233 - 4 1234 - 1 1235 - 3 1236 - 3 1237 n: 3 1238 - !Solution 1239 a: 1240 - 5 1241 - 1 1242 - 3 1243 - 3 1244 n: 3 1245 - !Solution 1246 a: 1247 - 1 1248 - 2 1249 - 3 1250 - 3 1251 n: 3 1252 - !Solution 1253 a: 1254 - 4 1255 - 2 1256 - 3 1257 - 3 1258 n: 3 1259 - !Solution 1260 a: 1261 - 5 1262 - 2 1263 - 3 1264 - 3 1265 n: 3 1266 - !Solution 1267 a: 1268 - 1 1269 - 4 1270 - 3 1271 - 3 1272 n: 3 1273 - !Solution 1274 a: 1275 - 2 1276 - 4 1277 - 3 1278 - 3 1279 n: 3 1280 - !Solution 1281 a: 1282 - 5 1283 - 4 1284 - 3 1285 - 3 1286 n: 3 1287 - !Solution 1288 a: 1289 - 1 1290 - 5 1291 - 3 1292 - 3 1293 n: 3 1294 - !Solution 1295 a: 1296 - 2 1297 - 5 1298 - 3 1299 - 3 1300 n: 3 1301 - !Solution 1302 a: 1303 - 4 1304 - 5 1305 - 3 1306 - 3 1307 n: 3 1308 - !Solution 1309 a: 1310 - 1 1311 - 1 1312 - 4 1313 - 3 1314 n: 3 1315 - !Solution 1316 a: 1317 - 3 1318 - 1 1319 - 4 1320 - 3 1321 n: 3 1322 - !Solution 1323 a: 1324 - 4 1325 - 1 1326 - 4 1327 - 3 1328 n: 3 1329 - !Solution 1330 a: 1331 - 2 1332 - 2 1333 - 4 1334 - 3 1335 n: 3 1336 - !Solution 1337 a: 1338 - 3 1339 - 2 1340 - 4 1341 - 3 1342 n: 3 1343 - !Solution 1344 a: 1345 - 4 1346 - 2 1347 - 4 1348 - 3 1349 n: 3 1350 - !Solution 1351 a: 1352 - 1 1353 - 3 1354 - 4 1355 - 3 1356 n: 3 1357 - !Solution 1358 a: 1359 - 2 1360 - 3 1361 - 4 1362 - 3 1363 n: 3 1364 - !Solution 1365 a: 1366 - 5 1367 - 3 1368 - 4 1369 - 3 1370 n: 3 1371 - !Solution 1372 a: 1373 - 1 1374 - 4 1375 - 4 1376 - 3 1377 n: 3 1378 - !Solution 1379 a: 1380 - 2 1381 - 4 1382 - 4 1383 - 3 1384 n: 3 1385 - !Solution 1386 a: 1387 - 5 1388 - 4 1389 - 4 1390 - 3 1391 n: 3 1392 - !Solution 1393 a: 1394 - 3 1395 - 5 1396 - 4 1397 - 3 1398 n: 3 1399 - !Solution 1400 a: 1401 - 4 1402 - 5 1403 - 4 1404 - 3 1405 n: 3 1406 - !Solution 1407 a: 1408 - 5 1409 - 5 1410 - 4 1411 - 3 1412 n: 3 1413 - !Solution 1414 a: 1415 - 1 1416 - 1 1417 - 5 1418 - 3 1419 n: 3 1420 - !Solution 1421 a: 1422 - 3 1423 - 1 1424 - 5 1425 - 3 1426 n: 3 1427 - !Solution 1428 a: 1429 - 5 1430 - 1 1431 - 5 1432 - 3 1433 n: 3 1434 - !Solution 1435 a: 1436 - 2 1437 - 2 1438 - 5 1439 - 3 1440 n: 3 1441 - !Solution 1442 a: 1443 - 3 1444 - 2 1445 - 5 1446 - 3 1447 n: 3 1448 - !Solution 1449 a: 1450 - 5 1451 - 2 1452 - 5 1453 - 3 1454 n: 3 1455 - !Solution 1456 a: 1457 - 1 1458 - 3 1459 - 5 1460 - 3 1461 n: 3 1462 - !Solution 1463 a: 1464 - 2 1465 - 3 1466 - 5 1467 - 3 1468 n: 3 1469 - !Solution 1470 a: 1471 - 4 1472 - 3 1473 - 5 1474 - 3 1475 n: 3 1476 - !Solution 1477 a: 1478 - 3 1479 - 4 1480 - 5 1481 - 3 1482 n: 3 1483 - !Solution 1484 a: 1485 - 4 1486 - 4 1487 - 5 1488 - 3 1489 n: 3 1490 - !Solution 1491 a: 1492 - 5 1493 - 4 1494 - 5 1495 - 3 1496 n: 3 1497 - !Solution 1498 a: 1499 - 1 1500 - 5 1501 - 5 1502 - 3 1503 n: 3 1504 - !Solution 1505 a: 1506 - 2 1507 - 5 1508 - 5 1509 - 3 1510 n: 3 1511 - !Solution 1512 a: 1513 - 4 1514 - 5 1515 - 5 1516 - 3 1517 n: 3 1518 - !Solution 1519 a: 1520 - 2 1521 - 1 1522 - 1 1523 - 4 1524 n: 3 1525 - !Solution 1526 a: 1527 - 3 1528 - 1 1529 - 1 1530 - 4 1531 n: 3 1532 - !Solution 1533 a: 1534 - 5 1535 - 1 1536 - 1 1537 - 4 1538 n: 3 1539 - !Solution 1540 a: 1541 - 1 1542 - 2 1543 - 1 1544 - 4 1545 n: 3 1546 - !Solution 1547 a: 1548 - 2 1549 - 2 1550 - 1 1551 - 4 1552 n: 3 1553 - !Solution 1554 a: 1555 - 4 1556 - 2 1557 - 1 1558 - 4 1559 n: 3 1560 - !Solution 1561 a: 1562 - 1 1563 - 3 1564 - 1 1565 - 4 1566 n: 3 1567 - !Solution 1568 a: 1569 - 3 1570 - 3 1571 - 1 1572 - 4 1573 n: 3 1574 - !Solution 1575 a: 1576 - 4 1577 - 3 1578 - 1 1579 - 4 1580 n: 3 1581 - !Solution 1582 a: 1583 - 2 1584 - 4 1585 - 1 1586 - 4 1587 n: 3 1588 - !Solution 1589 a: 1590 - 3 1591 - 4 1592 - 1 1593 - 4 1594 n: 3 1595 - !Solution 1596 a: 1597 - 5 1598 - 4 1599 - 1 1600 - 4 1601 n: 3 1602 - !Solution 1603 a: 1604 - 1 1605 - 5 1606 - 1 1607 - 4 1608 n: 3 1609 - !Solution 1610 a: 1611 - 4 1612 - 5 1613 - 1 1614 - 4 1615 n: 3 1616 - !Solution 1617 a: 1618 - 5 1619 - 5 1620 - 1 1621 - 4 1622 n: 3 1623 - !Solution 1624 a: 1625 - 1 1626 - 1 1627 - 2 1628 - 4 1629 n: 3 1630 - !Solution 1631 a: 1632 - 2 1633 - 1 1634 - 2 1635 - 4 1636 n: 3 1637 - !Solution 1638 a: 1639 - 4 1640 - 1 1641 - 2 1642 - 4 1643 n: 3 1644 - !Solution 1645 a: 1646 - 1 1647 - 2 1648 - 2 1649 - 4 1650 n: 3 1651 - !Solution 1652 a: 1653 - 3 1654 - 2 1655 - 2 1656 - 4 1657 n: 3 1658 - !Solution 1659 a: 1660 - 5 1661 - 2 1662 - 2 1663 - 4 1664 n: 3 1665 - !Solution 1666 a: 1667 - 2 1668 - 3 1669 - 2 1670 - 4 1671 n: 3 1672 - !Solution 1673 a: 1674 - 3 1675 - 3 1676 - 2 1677 - 4 1678 n: 3 1679 - !Solution 1680 a: 1681 - 4 1682 - 3 1683 - 2 1684 - 4 1685 n: 3 1686 - !Solution 1687 a: 1688 - 1 1689 - 4 1690 - 2 1691 - 4 1692 n: 3 1693 - !Solution 1694 a: 1695 - 3 1696 - 4 1697 - 2 1698 - 4 1699 n: 3 1700 - !Solution 1701 a: 1702 - 5 1703 - 4 1704 - 2 1705 - 4 1706 n: 3 1707 - !Solution 1708 a: 1709 - 2 1710 - 5 1711 - 2 1712 - 4 1713 n: 3 1714 - !Solution 1715 a: 1716 - 4 1717 - 5 1718 - 2 1719 - 4 1720 n: 3 1721 - !Solution 1722 a: 1723 - 5 1724 - 5 1725 - 2 1726 - 4 1727 n: 3 1728 - !Solution 1729 a: 1730 - 1 1731 - 1 1732 - 3 1733 - 4 1734 n: 3 1735 - !Solution 1736 a: 1737 - 3 1738 - 1 1739 - 3 1740 - 4 1741 n: 3 1742 - !Solution 1743 a: 1744 - 4 1745 - 1 1746 - 3 1747 - 4 1748 n: 3 1749 - !Solution 1750 a: 1751 - 2 1752 - 2 1753 - 3 1754 - 4 1755 n: 3 1756 - !Solution 1757 a: 1758 - 3 1759 - 2 1760 - 3 1761 - 4 1762 n: 3 1763 - !Solution 1764 a: 1765 - 4 1766 - 2 1767 - 3 1768 - 4 1769 n: 3 1770 - !Solution 1771 a: 1772 - 1 1773 - 3 1774 - 3 1775 - 4 1776 n: 3 1777 - !Solution 1778 a: 1779 - 2 1780 - 3 1781 - 3 1782 - 4 1783 n: 3 1784 - !Solution 1785 a: 1786 - 5 1787 - 3 1788 - 3 1789 - 4 1790 n: 3 1791 - !Solution 1792 a: 1793 - 1 1794 - 4 1795 - 3 1796 - 4 1797 n: 3 1798 - !Solution 1799 a: 1800 - 2 1801 - 4 1802 - 3 1803 - 4 1804 n: 3 1805 - !Solution 1806 a: 1807 - 5 1808 - 4 1809 - 3 1810 - 4 1811 n: 3 1812 - !Solution 1813 a: 1814 - 3 1815 - 5 1816 - 3 1817 - 4 1818 n: 3 1819 - !Solution 1820 a: 1821 - 4 1822 - 5 1823 - 3 1824 - 4 1825 n: 3 1826 - !Solution 1827 a: 1828 - 5 1829 - 5 1830 - 3 1831 - 4 1832 n: 3 1833 - !Solution 1834 a: 1835 - 2 1836 - 1 1837 - 4 1838 - 4 1839 n: 3 1840 - !Solution 1841 a: 1842 - 3 1843 - 1 1844 - 4 1845 - 4 1846 n: 3 1847 - !Solution 1848 a: 1849 - 5 1850 - 1 1851 - 4 1852 - 4 1853 n: 3 1854 - !Solution 1855 a: 1856 - 1 1857 - 2 1858 - 4 1859 - 4 1860 n: 3 1861 - !Solution 1862 a: 1863 - 3 1864 - 2 1865 - 4 1866 - 4 1867 n: 3 1868 - !Solution 1869 a: 1870 - 5 1871 - 2 1872 - 4 1873 - 4 1874 n: 3 1875 - !Solution 1876 a: 1877 - 1 1878 - 3 1879 - 4 1880 - 4 1881 n: 3 1882 - !Solution 1883 a: 1884 - 2 1885 - 3 1886 - 4 1887 - 4 1888 n: 3 1889 - !Solution 1890 a: 1891 - 5 1892 - 3 1893 - 4 1894 - 4 1895 n: 3 1896 - !Solution 1897 a: 1898 - 1 1899 - 5 1900 - 4 1901 - 4 1902 n: 3 1903 - !Solution 1904 a: 1905 - 2 1906 - 5 1907 - 4 1908 - 4 1909 n: 3 1910 - !Solution 1911 a: 1912 - 3 1913 - 5 1914 - 4 1915 - 4 1916 n: 3 1917 - !Solution 1918 a: 1919 - 1 1920 - 1 1921 - 5 1922 - 4 1923 n: 3 1924 - !Solution 1925 a: 1926 - 4 1927 - 1 1928 - 5 1929 - 4 1930 n: 3 1931 - !Solution 1932 a: 1933 - 5 1934 - 1 1935 - 5 1936 - 4 1937 n: 3 1938 - !Solution 1939 a: 1940 - 2 1941 - 2 1942 - 5 1943 - 4 1944 n: 3 1945 - !Solution 1946 a: 1947 - 4 1948 - 2 1949 - 5 1950 - 4 1951 n: 3 1952 - !Solution 1953 a: 1954 - 5 1955 - 2 1956 - 5 1957 - 4 1958 n: 3 1959 - !Solution 1960 a: 1961 - 3 1962 - 3 1963 - 5 1964 - 4 1965 n: 3 1966 - !Solution 1967 a: 1968 - 4 1969 - 3 1970 - 5 1971 - 4 1972 n: 3 1973 - !Solution 1974 a: 1975 - 5 1976 - 3 1977 - 5 1978 - 4 1979 n: 3 1980 - !Solution 1981 a: 1982 - 1 1983 - 4 1984 - 5 1985 - 4 1986 n: 3 1987 - !Solution 1988 a: 1989 - 2 1990 - 4 1991 - 5 1992 - 4 1993 n: 3 1994 - !Solution 1995 a: 1996 - 3 1997 - 4 1998 - 5 1999 - 4 2000 n: 3 2001 - !Solution 2002 a: 2003 - 1 2004 - 5 2005 - 5 2006 - 4 2007 n: 3 2008 - !Solution 2009 a: 2010 - 2 2011 - 5 2012 - 5 2013 - 4 2014 n: 3 2015 - !Solution 2016 a: 2017 - 3 2018 - 5 2019 - 5 2020 - 4 2021 n: 3 2022 - !Solution 2023 a: 2024 - 2 2025 - 1 2026 - 1 2027 - 5 2028 n: 3 2029 - !Solution 2030 a: 2031 - 3 2032 - 1 2033 - 1 2034 - 5 2035 n: 3 2036 - !Solution 2037 a: 2038 - 4 2039 - 1 2040 - 1 2041 - 5 2042 n: 3 2043 - !Solution 2044 a: 2045 - 1 2046 - 2 2047 - 1 2048 - 5 2049 n: 3 2050 - !Solution 2051 a: 2052 - 2 2053 - 2 2054 - 1 2055 - 5 2056 n: 3 2057 - !Solution 2058 a: 2059 - 5 2060 - 2 2061 - 1 2062 - 5 2063 n: 3 2064 - !Solution 2065 a: 2066 - 1 2067 - 3 2068 - 1 2069 - 5 2070 n: 3 2071 - !Solution 2072 a: 2073 - 3 2074 - 3 2075 - 1 2076 - 5 2077 n: 3 2078 - !Solution 2079 a: 2080 - 5 2081 - 3 2082 - 1 2083 - 5 2084 n: 3 2085 - !Solution 2086 a: 2087 - 1 2088 - 4 2089 - 1 2090 - 5 2091 n: 3 2092 - !Solution 2093 a: 2094 - 4 2095 - 4 2096 - 1 2097 - 5 2098 n: 3 2099 - !Solution 2100 a: 2101 - 5 2102 - 4 2103 - 1 2104 - 5 2105 n: 3 2106 - !Solution 2107 a: 2108 - 2 2109 - 5 2110 - 1 2111 - 5 2112 n: 3 2113 - !Solution 2114 a: 2115 - 3 2116 - 5 2117 - 1 2118 - 5 2119 n: 3 2120 - !Solution 2121 a: 2122 - 4 2123 - 5 2124 - 1 2125 - 5 2126 n: 3 2127 - !Solution 2128 a: 2129 - 1 2130 - 1 2131 - 2 2132 - 5 2133 n: 3 2134 - !Solution 2135 a: 2136 - 2 2137 - 1 2138 - 2 2139 - 5 2140 n: 3 2141 - !Solution 2142 a: 2143 - 5 2144 - 1 2145 - 2 2146 - 5 2147 n: 3 2148 - !Solution 2149 a: 2150 - 1 2151 - 2 2152 - 2 2153 - 5 2154 n: 3 2155 - !Solution 2156 a: 2157 - 3 2158 - 2 2159 - 2 2160 - 5 2161 n: 3 2162 - !Solution 2163 a: 2164 - 4 2165 - 2 2166 - 2 2167 - 5 2168 n: 3 2169 - !Solution 2170 a: 2171 - 2 2172 - 3 2173 - 2 2174 - 5 2175 n: 3 2176 - !Solution 2177 a: 2178 - 3 2179 - 3 2180 - 2 2181 - 5 2182 n: 3 2183 - !Solution 2184 a: 2185 - 5 2186 - 3 2187 - 2 2188 - 5 2189 n: 3 2190 - !Solution 2191 a: 2192 - 2 2193 - 4 2194 - 2 2195 - 5 2196 n: 3 2197 - !Solution 2198 a: 2199 - 4 2200 - 4 2201 - 2 2202 - 5 2203 n: 3 2204 - !Solution 2205 a: 2206 - 5 2207 - 4 2208 - 2 2209 - 5 2210 n: 3 2211 - !Solution 2212 a: 2213 - 1 2214 - 5 2215 - 2 2216 - 5 2217 n: 3 2218 - !Solution 2219 a: 2220 - 3 2221 - 5 2222 - 2 2223 - 5 2224 n: 3 2225 - !Solution 2226 a: 2227 - 4 2228 - 5 2229 - 2 2230 - 5 2231 n: 3 2232 - !Solution 2233 a: 2234 - 1 2235 - 1 2236 - 3 2237 - 5 2238 n: 3 2239 - !Solution 2240 a: 2241 - 3 2242 - 1 2243 - 3 2244 - 5 2245 n: 3 2246 - !Solution 2247 a: 2248 - 5 2249 - 1 2250 - 3 2251 - 5 2252 n: 3 2253 - !Solution 2254 a: 2255 - 2 2256 - 2 2257 - 3 2258 - 5 2259 n: 3 2260 - !Solution 2261 a: 2262 - 3 2263 - 2 2264 - 3 2265 - 5 2266 n: 3 2267 - !Solution 2268 a: 2269 - 5 2270 - 2 2271 - 3 2272 - 5 2273 n: 3 2274 - !Solution 2275 a: 2276 - 1 2277 - 3 2278 - 3 2279 - 5 2280 n: 3 2281 - !Solution 2282 a: 2283 - 2 2284 - 3 2285 - 3 2286 - 5 2287 n: 3 2288 - !Solution 2289 a: 2290 - 4 2291 - 3 2292 - 3 2293 - 5 2294 n: 3 2295 - !Solution 2296 a: 2297 - 3 2298 - 4 2299 - 3 2300 - 5 2301 n: 3 2302 - !Solution 2303 a: 2304 - 4 2305 - 4 2306 - 3 2307 - 5 2308 n: 3 2309 - !Solution 2310 a: 2311 - 5 2312 - 4 2313 - 3 2314 - 5 2315 n: 3 2316 - !Solution 2317 a: 2318 - 1 2319 - 5 2320 - 3 2321 - 5 2322 n: 3 2323 - !Solution 2324 a: 2325 - 2 2326 - 5 2327 - 3 2328 - 5 2329 n: 3 2330 - !Solution 2331 a: 2332 - 4 2333 - 5 2334 - 3 2335 - 5 2336 n: 3 2337 - !Solution 2338 a: 2339 - 1 2340 - 1 2341 - 4 2342 - 5 2343 n: 3 2344 - !Solution 2345 a: 2346 - 4 2347 - 1 2348 - 4 2349 - 5 2350 n: 3 2351 - !Solution 2352 a: 2353 - 5 2354 - 1 2355 - 4 2356 - 5 2357 n: 3 2358 - !Solution 2359 a: 2360 - 2 2361 - 2 2362 - 4 2363 - 5 2364 n: 3 2365 - !Solution 2366 a: 2367 - 4 2368 - 2 2369 - 4 2370 - 5 2371 n: 3 2372 - !Solution 2373 a: 2374 - 5 2375 - 2 2376 - 4 2377 - 5 2378 n: 3 2379 - !Solution 2380 a: 2381 - 3 2382 - 3 2383 - 4 2384 - 5 2385 n: 3 2386 - !Solution 2387 a: 2388 - 4 2389 - 3 2390 - 4 2391 - 5 2392 n: 3 2393 - !Solution 2394 a: 2395 - 5 2396 - 3 2397 - 4 2398 - 5 2399 n: 3 2400 - !Solution 2401 a: 2402 - 1 2403 - 4 2404 - 4 2405 - 5 2406 n: 3 2407 - !Solution 2408 a: 2409 - 2 2410 - 4 2411 - 4 2412 - 5 2413 n: 3 2414 - !Solution 2415 a: 2416 - 3 2417 - 4 2418 - 4 2419 - 5 2420 n: 3 2421 - !Solution 2422 a: 2423 - 1 2424 - 5 2425 - 4 2426 - 5 2427 n: 3 2428 - !Solution 2429 a: 2430 - 2 2431 - 5 2432 - 4 2433 - 5 2434 n: 3 2435 - !Solution 2436 a: 2437 - 3 2438 - 5 2439 - 4 2440 - 5 2441 n: 3 2442 - !Solution 2443 a: 2444 - 2 2445 - 1 2446 - 5 2447 - 5 2448 n: 3 2449 - !Solution 2450 a: 2451 - 3 2452 - 1 2453 - 5 2454 - 5 2455 n: 3 2456 - !Solution 2457 a: 2458 - 4 2459 - 1 2460 - 5 2461 - 5 2462 n: 3 2463 - !Solution 2464 a: 2465 - 1 2466 - 2 2467 - 5 2468 - 5 2469 n: 3 2470 - !Solution 2471 a: 2472 - 3 2473 - 2 2474 - 5 2475 - 5 2476 n: 3 2477 - !Solution 2478 a: 2479 - 4 2480 - 2 2481 - 5 2482 - 5 2483 n: 3 2484 - !Solution 2485 a: 2486 - 1 2487 - 3 2488 - 5 2489 - 5 2490 n: 3 2491 - !Solution 2492 a: 2493 - 2 2494 - 3 2495 - 5 2496 - 5 2497 n: 3 2498 - !Solution 2499 a: 2500 - 4 2501 - 3 2502 - 5 2503 - 5 2504 n: 3 2505 - !Solution 2506 a: 2507 - 1 2508 - 4 2509 - 5 2510 - 5 2511 n: 3 2512 - !Solution 2513 a: 2514 - 2 2515 - 4 2516 - 5 2517 - 5 2518 n: 3 2519 - !Solution 2520 a: 2521 - 3 2522 - 4 2523 - 5 2524 - 5 2525 n: 3 2526options: 2527 all_solutions: true 2528--- !Test 2529solvers: [cbc] 2530check_against: [gecode] 2531expected: !Result 2532 solution: !Solution {} 2533***/ 2534 2535include "nvalue.mzn"; 2536 2537array[1..4] of var 1..5: a ::add_to_output; 2538var 1..10: n ::add_to_output; 2539 2540constraint nvalue(n, [1, 1, 2, 2, 3, 3]); 2541constraint nvalue(4, [3, 1, 7, 16]); 2542constraint nvalue(3, a); 2543 2544solve satisfy; 2545 2546output [ 2547 "a = array1d(1..4, ", show(a), ");\n", 2548 "n = ", show(n), ";\n" 2549];