| Name | csp/os-taillard-20/ normalized-os-taillard-20-100-9.xml |
| MD5SUM | fc7340650ecf26f83251f4e28365151f |
| 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 | 10.8523 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 400 |
| Number of constraints | 7600 |
| Maximum constraint arity | 2 |
| Maximum domain size | 1284 |
| 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) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Abscon 112v4 ESAC (complete) | 2096552 | SAT | 10.8523 | 10.9966 |
| Abscon 112v4 AC (complete) | 2096551 | SAT | 11.2103 | 11.3779 |
| Concrete 2009-07-14 (complete) | 2076457 | SAT | 11.3443 | 11.481 |
| Mistral 1.545 (complete) | 2076463 | SAT | 15.4766 | 15.5485 |
| pcs-restart 0.3.2 (complete) | 2076456 | SAT | 22.9385 | 23.1686 |
| Sugar v1.14.6+minisat (complete) | 2076461 | SAT | 60.6398 | 88.1331 |
| Choco2.1.1b 2009-07-16 (complete) | 2116187 | SAT | 78.923 | 79.3691 |
| Choco2.1.1 2009-06-10 (complete) | 2076459 | SAT | 131.35 | 132.649 |
| Sugar v1.14.6+picosat (complete) | 2076460 | SAT | 193.86 | 207.736 |
| SAT4J CSP 2.1.1 (complete) | 2076454 | ? | 495.39 | 497.62 |
| Concrete DC 2009-07-14 (complete) | 2076458 | ? | 804.908 | 810.145 |
| bpsolver 09 (complete) | 2076464 | ? (TO) | 1800.08 | 1806.61 |
| pcs 0.3.2 (complete) | 2076455 | ? (TO) | 1800.11 | 1802.79 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:520 794 890 702 401 61 843 932 1016 174 0 681 988 192 283 1170 169 1125 183 159 1081 0 843 1137 317 953 919 92 1152 1001 521 409 486 685 492 248 1028 615 186 752 588 175 804 387 242 691 463 915 63 1028 0 316 974 404 661 538 276 385 1126 702 88 1203 743 1170 810 659 1040 731 124 1231 487 283 0 196 380 563 944 1087 864 472 114 1015 638 1007 221 702 319 565 124 966 920 405 873 0 488 824 1017 92 766 1026 71 622 656 167 1239 1084 256 1148 46 479 343 420 949 1007 794 706 561 852 720 0 1116 412 1032 248 33 574 159 947 57 1211 873 1087 484 915 1069 327 72 744 657 806 736 723 263 998 314 802 926 319 0 492 588 980 88 402 953 879 310 681 513 179 998 394 731 196 1024 1173 254 1080 766 801 96 657 528 332 448 563 0 881 472 92 1159 1058 864 1213 800 919 96 343 186 697 281 490 771 745 1090 426 0 564 661 194 1126 174 723 87 57 557 1204 892 271 829 646 804 397 988 477 949 771 1034 0 332 810 245 920 209 638 123 114 155 792 699 0 312 232 1144 436 1016 72 527 281 258 404 661 745 974 1119 615 187 874 409 247 96 1037 1096 0 491 1148 708 385 828 256 155 659 763 490 317 1068 806 561 744 405 1150 74 247 0 1035 902 633 974 394 1116 352 209 570 167 381 701 720 958 312 158 187 1156 174 802 1204 0 221 488 92 1053 132 1131 926 355 564 1016 114 737 1241 1101 1196 323 0 1042 463 655 491 800 861 233 920 327 33 170 998 1196 766 241 521 574 420 655 1090 1037 87 559 0 426 248 869 263 1081 1211 380 887 192 96 0 574 929 737 538 824 69 657 312 981 1053 479 1136 879 239 114 1233 158 920 570 745 981 306 179 659 74 0 490 402 324 46 1040 1136 661 568 944 71 980 158 906 838 404 1058 1005 318 219 929 439 794 701 612 863 0