| Name | csp/os-taillard-20/ normalized-os-taillard-20-105-3.xml |
| MD5SUM | 6c79e9d2edcd5b15367f47ef6ebcf5f2 |
| 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 | 3.51147 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 400 |
| Number of constraints | 7600 |
| Maximum constraint arity | 2 |
| Maximum domain size | 1375 |
| 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 |
|---|---|---|---|---|
| Mistral 1.545 (complete) | 2076441 | SAT | 3.51147 | 3.62334 |
| pcs-restart 0.3.2 (complete) | 2076434 | SAT | 8.77967 | 8.87137 |
| Abscon 112v4 ESAC (complete) | 2096548 | SAT | 10.0425 | 10.1635 |
| Abscon 112v4 AC (complete) | 2096547 | SAT | 10.1935 | 10.3304 |
| Concrete 2009-07-14 (complete) | 2076435 | SAT | 11.4123 | 11.5747 |
| pcs 0.3.2 (complete) | 2076433 | SAT | 20.2109 | 20.4135 |
| Sugar v1.14.6+minisat (complete) | 2076439 | SAT | 53.8548 | 55.1518 |
| Choco2.1.1 2009-06-10 (complete) | 2076437 | SAT | 59.186 | 59.5375 |
| Choco2.1.1b 2009-07-16 (complete) | 2116185 | SAT | 97.6072 | 98.5975 |
| Sugar v1.14.6+picosat (complete) | 2076438 | SAT | 222.162 | 223.907 |
| bpsolver 09 (complete) | 2076442 | SAT | 907.91 | 915.632 |
| SAT4J CSP 2.1.1 (complete) | 2076432 | ? | 295.612 | 296.71 |
| Concrete DC 2009-07-14 (complete) | 2076436 | ? | 1066.22 | 1071.21 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1226 725 574 239 1030 551 966 418 1101 806 115 1292 1047 175 89 521 648 1126 9 338 1224 674 68 1150 494 940 987 521 357 548 1359 847 185 1149 0 644 263 760 429 368 1064 243 163 1231 972 905 1330 95 0 822 758 1130 303 1234 885 1070 779 566 377 465 767 689 446 1051 975 1045 1186 966 68 808 290 953 1176 633 1284 378 192 134 0 995 990 1056 231 1190 155 904 877 355 658 333 257 348 83 1307 1061 0 394 167 1094 568 1359 502 83 0 609 425 179 1019 995 689 1110 1216 919 255 1276 329 795 1071 842 1356 239 0 1208 1284 1141 470 332 16 51 1029 837 588 686 355 675 296 508 171 937 212 1059 231 378 0 431 1204 566 64 496 751 325 713 162 581 1061 674 1161 907 1292 186 922 465 179 868 318 932 562 379 790 686 104 1178 1307 1213 1292 741 1171 303 212 0 1125 1059 263 848 582 163 752 1009 703 506 939 430 615 115 340 1041 31 1205 1282 290 89 0 1061 1241 336 1123 944 881 377 1207 429 1034 290 1008 855 904 414 1276 252 185 0 1278 881 95 803 418 956 258 134 1124 115 1205 1042 64 815 941 800 805 839 186 939 1213 722 172 355 375 16 1061 111 1048 781 220 1243 612 57 691 1128 448 1311 257 1038 258 988 1288 879 581 895 598 192 431 356 722 1124 609 1215 543 940 0 494 96 212 356 1129 297 164 1035 1289 95 520 642 1249 338 0 1361 449 1059 1101 839 430 1075 686 595 115 260 724 449 904 483 297 65 637 957 1270 425 16 1034 791 175 369 1132 1000 0 854 590 336 920 503 124 1061 251 370 1167 1210 111 763 73 731 1130 389 1298 892 1050 0 1334 709 1298 196 733 83 89 1337 839 297 1219 966 1140 442 241 784 562 164 360 0 614 543 243 449 906 41 1361 704 872 758 957 932 1284 1044 74 1173 1224 287 941 988 808 1373 783 0 274 854 750 269 533 1124 658 1094 1241 1180 357 166 87