| Name | csp/js-taillard-15/ normalized-js-taillard-15-105-0.xml |
| MD5SUM | 22ee4482a24f72465784a1f83384b9c5 |
| 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 | 9.41057 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 225 |
| Number of constraints | 1785 |
| Maximum constraint arity | 2 |
| Maximum domain size | 1309 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 1785 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Sugar v1.14.6+minisat (complete) | 2080344 | SAT | 9.41057 | 12.6548 |
| Mistral 1.545 (complete) | 2080346 | SAT | 12.3241 | 12.4454 |
| Sugar v1.14.6+picosat (complete) | 2080343 | SAT | 14.1808 | 14.3794 |
| Choco2.1.1 2009-06-10 (complete) | 2080342 | SAT | 14.7348 | 14.9367 |
| Choco2.1.1b 2009-07-16 (complete) | 2116540 | SAT | 23.7154 | 23.8749 |
| pcs-restart 0.3.2 (complete) | 2080339 | SAT | 293.254 | 295.038 |
| pcs 0.3.2 (complete) | 2080338 | SAT | 763.546 | 767.086 |
| Concrete DC 2009-07-14 (complete) | 2080341 | ? | 265.112 | 266.727 |
| SAT4J CSP 2.1.1 (complete) | 2080337 | ? (exit code) | 336.304 | 337.707 |
| Abscon 112v4 ESAC (complete) | 2097258 | ? (TO) | 1800.06 | 1809.04 |
| Concrete 2009-07-14 (complete) | 2080340 | ? (TO) | 1800.08 | 1805.13 |
| bpsolver 09 (complete) | 2080347 | ? (TO) | 1800.08 | 1802.91 |
| Abscon 112v4 AC (complete) | 2097257 | ? (TO) | 1800.11 | 1814.74 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:9 281 347 357 433 459 474 539 621 631 658 751 853 949 1019 118 192 223 311 373 430 508 516 523 614 693 711 795 813 1009 249 253 335 375 473 634 688 715 753 810 878 960 996 1035 1197 110 183 206 236 328 383 477 735 846 914 1005 1035 1181 1208 1300 2 80 103 142 202 238 267 362 461 540 616 709 755 807 849 11 67 136 302 428 444 475 554 661 739 980 1030 1117 1231 1279 110 128 203 536 540 652 720 830 884 969 1042 1090 1119 1156 1243 269 301 353 410 576 653 783 957 1085 1091 1153 1160 1240 1245 1302 0 94 124 220 362 378 550 632 717 828 909 994 1002 1068 1285 4 18 77 107 167 209 226 292 381 459 547 1070 1115 1216 1296 240 330 372 375 449 637 744 833 882 917 945 1102 1195 1201 1236 60 177 278 367 389 611 637 721 755 783 843 912 1070 1137 1222 40 105 231 382 402 440 483 526 603 655 765 905 995 1169 1265 18 46 67 151 283 300 424 491 932 1079 1097 1114 1144 1229 1274 85 208 224 266 407 465 535 664 737 742 750 762 1096 1179 1199