Name | csp/os-taillard-20/ normalized-os-taillard-20-105-9.xml |
MD5SUM | d07eba8b6417f2f1d02309d4c67c10fc |
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 | 2.51662 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 7600 |
Maximum constraint arity | 2 |
Maximum domain size | 1348 |
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:0 886 715 561 319 98 653 1244 476 740 196 946 447 398 221 783 846 700 882 730 77 525 771 917 388 339 315 127 480 1162 221 0 384 1008 1134 939 718 847 1075 617 586 1239 1134 837 875 152 0 352 260 573 659 407 790 75 211 556 519 382 165 498 1112 1181 0 1148 1011 78 1065 1298 939 1209 863 242 525 613 150 339 435 700 783 67 779 571 1071 573 1200 476 0 822 379 86 590 219 651 127 302 1298 540 549 939 730 1104 771 397 99 197 929 0 435 352 1022 1261 378 584 646 533 214 1200 256 847 319 765 409 481 1022 182 1138 304 219 837 704 851 736 0 541 393 573 152 90 935 1221 931 893 414 921 60 1146 571 609 236 857 77 1318 323 692 170 1051 886 0 782 480 901 579 867 1051 875 0 672 378 153 98 1239 434 983 323 182 750 1160 269 927 211 536 1223 0 801 590 932 388 642 386 476 1027 250 1103 324 863 1070 67 725 991 163 630 715 870 150 519 237 951 393 589 326 1287 927 0 842 1058 1248 92 1138 459 993 929 226 0 270 91 871 315 369 54 736 461 134 352 247 659 1035 901 397 533 852 170 175 991 346 222 737 481 872 564 158 646 99 851 250 908 414 165 405 783 0 1230 588 836 65 672 395 939 1146 801 1064 210 293 0 136 237 516 388 878 446 857 627 343 789 363 962 324 379 1221 549 541 60 640 353 694 158 237 226 459 0 83 269 836 559 188 0 402 384 1255 155 326 932 352 977 908 301 90 1099 737 805 642 871 324 1244 727 409 570 1181 163 924 790 301 170 1008 448 0 293 260 475 83 653 740 680 187 0 255 398 302 1112 991 226 1181 561 99 162 451 531 579 929 533 824 1051 338 1099 1065 1143 175 780 405 932 498 869 694 1011 1162 0 521 617 991 242 78 92 636 153 378 750 901 256 700 842 0 531 170 1261 297 1011 991 1171 584 465 771