| Name | csp/hanoi/ normalized-hanoi-6_ext.xml |
| MD5SUM | dd1bdfaf01900d92bf52dbddcbf69711 |
| 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.048992 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 62 |
| Number of constraints | 61 |
| Maximum constraint arity | 2 |
| Maximum domain size | 729 |
| Number of constraints which are defined in extension | 61 |
| 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 |
|---|---|---|---|---|
| Mistral 1.545 (complete) | 2056949 | SAT | 0.048992 | 0.137356 |
| pcs 0.3.2 (complete) | 2056941 | SAT | 0.074988 | 0.075912 |
| pcs-restart 0.3.2 (complete) | 2056942 | SAT | 0.075987 | 0.07565 |
| bpsolver 09 (complete) | 2056950 | SAT | 0.114982 | 0.257424 |
| Conquer 2009-07-10 (complete) | 2056948 | SAT | 0.630903 | 1.04841 |
| Abscon 112v4 ESAC (complete) | 2093004 | SAT | 0.771882 | 0.737619 |
| Abscon 112v4 AC (complete) | 2093003 | SAT | 0.798878 | 0.743157 |
| Concrete 2009-07-14 (complete) | 2056943 | SAT | 2.24266 | 2.2824 |
| Concrete DC 2009-07-14 (complete) | 2056944 | SAT | 2.26765 | 2.17832 |
| Choco2.1.1 2009-06-10 (complete) | 2056945 | SAT | 2.6496 | 3.39778 |
| Choco2.1.1b 2009-07-16 (complete) | 2114413 | SAT | 2.65459 | 2.60418 |
| SAT4J CSP 2.1.1 (complete) | 2056940 | SAT | 3.98639 | 3.01208 |
| Sugar v1.14.6+minisat (complete) | 2056947 | SAT | 16.2115 | 16.2431 |
| Sugar v1.14.6+picosat (complete) | 2056946 | SAT | 16.7355 | 17.1602 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1 7 8 17 15 12 13 67 68 65 63 72 73 79 80 161 159 156 157 139 140 137 135 108 109 115 116 125 123 120 121 607 608 605 603 612 613 619 620 593 591 588 589 571 572 569 567 648 649 655 656 665 663 660 661 715 716 713 711 720 721 727