| Name | csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-13_ext.xml |
| MD5SUM | 08bc20cb4b4f6b35bbc57e84fe4cb0e6 |
| Bench Category | N-ARY-EXT (n-ary constraints in extension) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 5.03023 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 20 |
| Number of constraints | 58 |
| Maximum constraint arity | 3 |
| Maximum domain size | 20 |
| Number of constraints which are defined in extension | 58 |
| 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 |
|---|---|---|---|---|
| Concrete 2009-07-14 (complete) | 2079735 | SAT | 5.03023 | 5.13105 |
| Mistral 1.545 (complete) | 2079741 | SAT | 13.111 | 13.2151 |
| Choco2.1.1b 2009-07-16 (complete) | 2116485 | SAT | 14.8327 | 15.029 |
| SAT4J CSP 2.1.1 (complete) | 2079732 | SAT | 57.4873 | 58.0886 |
| Conquer 2009-07-10 (complete) | 2079740 | SAT | 62.2315 | 63.0215 |
| Concrete DC 2009-07-14 (complete) | 2079736 | SAT | 70.1163 | 70.8364 |
| Choco2.1.1 2009-06-10 (complete) | 2079737 | SAT | 88.5745 | 89.4234 |
| Abscon 112v4 ESAC (complete) | 2097148 | SAT | 186.873 | 188.658 |
| Abscon 112v4 AC (complete) | 2097147 | SAT | 189.085 | 190.912 |
| Sugar v1.14.6+minisat (complete) | 2079739 | SAT | 387.947 | 390.083 |
| pcs-restart 0.3.2 (complete) | 2079734 | SAT | 399.32 | 402.754 |
| Sugar v1.14.6+picosat (complete) | 2079738 | SAT | 540.436 | 545.63 |
| pcs 0.3.2 (complete) | 2079733 | SAT | 713.658 | 716.783 |
| bpsolver 09 (complete) | 2079742 | SAT | 1221.33 | 1227.14 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:8 1 12 5 3 16 4 4 0 0 4 7 19 11 15 0 14 17 15 18