Name | csp/os-taillard-20/ normalized-os-taillard-20-95-1.xml |
MD5SUM | 1badaae3ade26737a7c9af09708047c4 |
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 | 55.6205 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 7600 |
Maximum constraint arity | 2 |
Maximum domain size | 1265 |
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:1159 263 835 611 559 8 465 974 41 699 897 802 1249 214 1100 755 382 762 317 148 430 840 911 128 2 1250 677 361 759 1215 526 984 1124 201 648 738 69 266 1063 60 549 570 397 1220 432 814 779 391 356 686 176 446 452 1036 84 259 374 1 928 533 574 769 1058 3 1069 1160 345 490 971 247 54 159 888 421 24 681 848 68 119 6 796 315 597 297 406 250 151 91 1264 2 951 1033 982 1200 162 1232 911 1206 1240 450 1030 1134 914 404 49 200 1 1206 1211 582 931 701 253 314 834 1088 599 840 495 121 404 1159 1259 250 86 938 521 1096 707 366 611 4 1250 446 344 766 1028 675 41 862 1148 140 1234 1254 755 693 368 886 934 241 606 1086 514 51 49 1082 496 825 982 397 1249 148 30 1179 1032 892 685 1107 952 1253 323 1217 233 479 589 822 562 380 741 379 1183 975 911 928 217 602 1121 350 783 90 424 1051 1074 505 301 581 858 704 1005 529 442 623 404 1115 1233 954 1182 165 1004 541 329 0 1197 1176 852 78 701 171 1082 269 898 244 1051 641 692 379 0 137 979 531 299 556 82 1196 829 171 788 1137 430 214 1027 1099 1012 16 1254 680 895 1211 1059 215 859 950 111 1188 346 273 490 731 923 1240 818 927 245 911 459 363 314 1174 902 747 2 92 13 1076 31 157 981 43 530 606 1003 1095 438 665 838 710 1208 431 401 615 6 180 121 157 336 239 743 9 228 910 1205 393 274 676 781 951 658 1159 43 1056 1043 530 505 848 982 662 358 699 622 880 1227 843 599 14 899 685 536 162 221 746 1135 903 648 967 501 404 1064 345 84 251 435 170 78 1195 1057 563 870 683 578 1257 616 261 1140 343 784 967 1130 42 974 755 979 92 1186 817 18 1053 177 1107 690 290 757 528 827 485 457 611 884 53 665 1198 187 119 514 1061 764 921 452 1141 1180 468 908 837 385 402 1018 1210 689 271 675 630