| Name | csp/js-taillard-15/ normalized-js-taillard-15-100-4.xml |
| MD5SUM | 0f2f3ada50c67a34ccbabc19d4e4fa5d |
| 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 | 24.6083 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 225 |
| Number of constraints | 1785 |
| Maximum constraint arity | 2 |
| Maximum domain size | 1236 |
| 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 |
|---|---|---|---|---|
| Choco2.1.1 2009-06-10 (complete) | 2080331 | SAT | 24.6083 | 24.7512 |
| Sugar v1.14.6+minisat (complete) | 2080333 | SAT | 36.5224 | 36.6743 |
| Sugar v1.14.6+picosat (complete) | 2080332 | SAT | 45.3871 | 45.5054 |
| Choco2.1.1b 2009-07-16 (complete) | 2116539 | SAT | 987.317 | 987.812 |
| Concrete DC 2009-07-14 (complete) | 2080330 | ? | 290.915 | 293.661 |
| SAT4J CSP 2.1.1 (complete) | 2080326 | ? | 386.644 | 388.343 |
| Mistral 1.545 (complete) | 2080335 | ? (TO) | 1800.05 | 1807.51 |
| bpsolver 09 (complete) | 2080336 | ? (TO) | 1800.1 | 1801.21 |
| Concrete 2009-07-14 (complete) | 2080329 | ? (TO) | 1800.1 | 1815.82 |
| Abscon 112v4 ESAC (complete) | 2097256 | ? (TO) | 1800.13 | 1803.48 |
| pcs 0.3.2 (complete) | 2080327 | ? (TO) | 1800.13 | 1808.08 |
| Abscon 112v4 AC (complete) | 2097255 | ? (TO) | 1800.15 | 1802.15 |
| pcs-restart 0.3.2 (complete) | 2080328 | ? (TO) | 1800.15 | 1806.89 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:0 40 136 195 290 366 441 504 630 729 745 816 868 1005 1104 0 210 298 397 449 517 530 568 603 660 701 794 871 939 1047 245 405 451 465 552 588 667 774 865 919 920 1029 1045 1047 1098 0 19 34 76 84 156 171 275 415 541 715 939 1009 1090 1106 0 68 139 142 210 308 345 441 462 551 660 1002 1081 1102 1132 0 14 68 97 172 178 294 397 451 563 565 651 684 717 887 19 40 332 431 501 581 652 769 865 921 1005 1058 1068 1160 1203 0 40 146 235 245 275 313 447 547 563 684 814 921 1045 1160 0 37 97 146 169 170 248 300 351 364 405 440 523 531 603 40 322 431 495 541 551 588 648 732 758 777 851 930 1104 1153 14 36 85 118 120 144 235 624 758 779 840 946 1091 1134 1173 146 248 301 345 368 454 582 663 715 737 787 798 871 948 1161 41 62 142 172 393 601 648 745 837 851 864 932 992 1068 1118 139 298 393 445 568 601 628 701 832 907 919 1002 1005 1098 1208 34 128 169 223 265 335 364 478 528 919 989 1033 1155 1194 1221