| Name | csp/os-taillard-20/ normalized-os-taillard-20-95-7.xml |
| MD5SUM | 27f4cc462e98447410df1b328f62effd |
| 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 | 17.5233 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 400 |
| Number of constraints | 7600 |
| Maximum constraint arity | 2 |
| Maximum domain size | 1206 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 7600 |
| 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:745 425 884 294 704 54 260 1112 280 0 543 1119 346 302 962 629 809 1030 733 476 942 506 480 138 431 1119 728 795 243 358 865 115 190 96 335 569 14 1021 296 636 425 666 463 672 825 374 904 1115 714 13 920 195 104 636 248 556 964 1021 775 498 139 853 1117 319 230 781 1017 393 470 531 930 54 93 654 0 751 560 259 373 179 401 1035 385 928 569 1181 506 1126 279 315 221 151 861 298 765 698 203 966 617 431 1116 0 338 291 840 222 816 371 1203 90 136 481 467 48 602 1021 744 921 509 675 301 142 808 1110 199 96 1033 922 267 737 643 560 0 43 288 413 839 730 335 470 93 431 840 880 1144 1019 968 1044 1108 636 743 544 260 341 138 214 657 294 25 463 1126 462 1044 374 0 1006 1028 783 556 954 255 105 736 692 876 636 214 157 92 66 1033 506 419 355 1121 937 315 263 531 130 844 240 566 692 457 185 54 747 611 90 853 657 120 57 1041 880 954 558 463 374 805 296 1021 0 212 904 743 172 798 230 0 280 930 96 823 430 372 560 1011 1143 846 734 641 361 463 302 196 57 1092 142 460 1069 58 1122 1107 463 990 654 920 865 361 736 3 700 198 559 285 601 99 0 185 632 1098 262 99 973 882 649 751 1151 341 182 1128 728 816 540 385 455 0 937 92 199 318 678 746 225 279 498 550 252 104 448 1158 0 385 460 298 649 46 775 374 838 744 1076 617 1113 463 191 1017 1041 948 677 552 911 277 0 120 157 820 560 632 937 371 805 279 743 861 534 1052 117 0 601 708 453 884 990 1110 517 198 25 649 1028 1052 798 920 562 463 746 230 151 301 66 375 292 0 1035 1168 1116 853 973 523 434 181 630 13 366 0 678 293 278 937 959 93 811 284 700 601 1119 805 899 815 527 899 1112 765 278 448 698 191 937 844 375 675 643 524 93 1168 795 735 0