| 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 | 1.51377 |
| 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) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral 1.545 (complete) | 2076474 | SAT | 1.51377 | 1.51745 |
| bpsolver 09 (complete) | 2076475 | SAT | 2.16567 | 2.17507 |
| pcs-restart 0.3.2 (complete) | 2076467 | SAT | 4.73228 | 4.78355 |
| Abscon 112v4 AC (complete) | 2096553 | SAT | 7.83081 | 7.99033 |
| Abscon 112v4 ESAC (complete) | 2096554 | SAT | 8.21475 | 8.34798 |
| Concrete 2009-07-14 (complete) | 2076468 | SAT | 10.9763 | 11.1239 |
| pcs 0.3.2 (complete) | 2076466 | SAT | 11.4263 | 11.5376 |
| Sugar v1.14.6+minisat (complete) | 2076472 | SAT | 61.5206 | 62.6894 |
| Choco2.1.1b 2009-07-16 (complete) | 2116188 | SAT | 83.8343 | 84.7614 |
| Choco2.1.1 2009-06-10 (complete) | 2076470 | SAT | 95.3085 | 96.4798 |
| Sugar v1.14.6+picosat (complete) | 2076471 | SAT | 218.195 | 220.771 |
| SAT4J CSP 2.1.1 (complete) | 2076465 | ? | 316.285 | 317.727 |
| Concrete DC 2009-07-14 (complete) | 2076469 | ? | 815.395 | 823.19 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:931 218 170 78 0 1029 1301 1128 846 185 320 194 267 761 1177 466 841 594 1297 295 865 940 1272 520 139 0 915 45 542 810 1032 1126 535 322 837 1203 583 391 461 231 338 274 1150 72 1322 172 97 225 745 1190 489 1027 1221 638 712 1177 948 1347 550 617 566 391 119 358 1206 0 72 532 602 542 1127 1030 1260 757 186 934 844 674 278 523 173 1273 985 165 0 862 183 1275 1175 444 485 269 938 352 1049 1126 156 531 98 930 246 1164 1037 1259 1147 381 945 824 728 45 747 127 607 1064 926 714 1198 342 172 581 1027 315 865 1106 54 523 94 942 1206 910 0 833 183 1220 1274 1275 408 438 606 697 99 1309 0 331 341 349 1142 873 757 1064 956 1086 1169 188 844 710 1329 278 426 579 503 715 636 769 686 936 186 827 1322 1267 529 97 1127 1156 381 0 424 287 1211 1117 850 716 0 938 86 246 374 519 848 1017 602 748 65 1069 1107 305 1252 1176 663 156 1252 261 1106 141 664 1017 415 550 96 965 444 876 0 500 769 376 607 1160 712 900 1054 338 773 351 675 738 295 420 1310 215 92 0 954 1282 1182 1118 926 164 634 1333 98 668 40 0 1294 853 387 503 947 273 539 159 138 757 298 910 218 132 462 1029 1256 677 72 1104 769 254 342 0 566 947 650 485 1039 1175 221 854 137 260 88 926 627 684 835 528 139 1249 1268 1104 1176 1021 1072 761 1094 398 919 228 387 539 72 0 1120 1236 888 206 98 1322 751 426 1229 305 1062 981 539 1203 92 645 331 0 696 769 1183 765 967 278 385 692 0 352 850 1032 173 543 1319 432 1236 185 231 63 460 633 663 96 712 820 1118 367 0 594 1193 1010 158 349 919 420 269 1191 522 505 228 1273 748 148 234 97 131 877 374 1084 535 853 463 1262 708 1216 1006 594 761 1193 278 0 905 1233 1041 119 463 804 322 638 778 206 663 0 716 86 1053 367 1141 389 987 1277