| Name | csp/hanoi/ normalized-hanoi-7_ext.xml |
| MD5SUM | eb96c548468c2556d48ce74fccf574fa |
| Bench Category | 2-ARY-EXT (binary constraints in extension) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.326949 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 126 |
| Number of constraints | 125 |
| Maximum constraint arity | 2 |
| Maximum domain size | 2187 |
| Number of constraints which are defined in extension | 125 |
| Number of constraints which are defined in intension | 0 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| bpsolver 09 (complete) | 2056961 | SAT | 0.326949 | 0.326783 |
| Mistral 1.545 (complete) | 2056960 | SAT | 0.344946 | 0.407966 |
| pcs 0.3.2 (complete) | 2056952 | SAT | 0.376941 | 0.378782 |
| pcs-restart 0.3.2 (complete) | 2056953 | SAT | 0.380941 | 0.407975 |
| Conquer 2009-07-10 (complete) | 2056959 | SAT | 0.803877 | 1.27289 |
| Abscon 112v4 AC (complete) | 2093005 | SAT | 1.07883 | 0.998098 |
| Abscon 112v4 ESAC (complete) | 2093006 | SAT | 1.08383 | 0.945924 |
| Concrete 2009-07-14 (complete) | 2056954 | SAT | 24.0983 | 24.1323 |
| Concrete DC 2009-07-14 (complete) | 2056955 | SAT | 24.2073 | 24.348 |
| SAT4J CSP 2.1.1 (complete) | 2056951 | SAT | 26.203 | 24.5778 |
| Choco2.1.1b 2009-07-16 (complete) | 2114414 | SAT | 38.5441 | 38.5658 |
| Choco2.1.1 2009-06-10 (complete) | 2056956 | SAT | 48.2427 | 48.5848 |
| Sugar v1.14.6+picosat (complete) | 2056957 | SAT | 368.494 | 370.197 |
| Sugar v1.14.6+minisat (complete) | 2056958 | SAT | 494.181 | 495.438 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2 5 4 22 21 24 26 53 52 46 45 36 38 41 40 202 201 204 206 197 196 190 189 216 218 221 220 238 237 240 242 485 484 478 477 468 470 473 472 418 417 420 422 413 412 406 405 324 326 329 328 346 345 348 350 377 376 370 369 360 362 365 364 1822 1821 1824 1826 1817 1816 1810 1809 1836 1838 1841 1840 1858 1857 1860 1862 1781 1780 1774 1773 1764 1766 1769 1768 1714 1713 1716 1718 1709 1708 1702 1701 1944 1946 1949 1948 1966 1965 1968 1970 1997 1996 1990 1989 1980 1982 1985 1984 2146 2145 2148 2150 2141 2140 2134 2133 2160 2162 2165 2164 2182 2181 2184