| Name | csp/dag-half/ normalized-half-n25-d5-e56-r7-1.xml |
| MD5SUM | e314bdf1882217984545160cbeb01d02 |
| 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 | 29.7645 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 25 |
| Number of constraints | 56 |
| Maximum constraint arity | 7 |
| Maximum domain size | 5 |
| Number of constraints which are defined in extension | 56 |
| 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) | 2087133 | SAT | 29.7645 | 29.8309 |
| Choco2.1.1b 2009-07-16 (complete) | 2117157 | SAT | 721.51 | 728.445 |
| Concrete DC 2009-07-14 (complete) | 2087128 | SAT | 959.36 | 960.6 |
| Concrete 2009-07-14 (complete) | 2087127 | SAT | 962.717 | 967.465 |
| Choco2.1.1 2009-06-10 (complete) | 2087129 | SAT | 1187.55 | 1188.07 |
| bpsolver 09 (complete) | 2087134 | ? (problem) | 161.65 | 162.788 |
| Sugar v1.14.6+minisat (complete) | 2087131 | ? (MO) | 13.9788 | 14.5183 |
| Sugar v1.14.6+picosat (complete) | 2087130 | ? (MO) | 14.0188 | 14.6692 |
| pcs-restart 0.3.2 (complete) | 2087126 | ? (TO) | 1800.07 | 1802.33 |
| Abscon 112v4 ESAC (complete) | 2098492 | ? (TO) | 1800.08 | 1816.56 |
| pcs 0.3.2 (complete) | 2087125 | ? (TO) | 1800.08 | 1810.93 |
| Conquer 2009-07-10 (complete) | 2087132 | ? (TO) | 1800.09 | 1807.92 |
| Abscon 112v4 AC (complete) | 2098491 | ? (TO) | 1800.16 | 1814.6 |
| SAT4J CSP 2.1.1 (complete) | 2087124 | ? (TO) | 1800.36 | 1808.92 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:0 3 4 1 1 2 1 1 0 0 0 4 1 2 1 1 0 0 1 4 4 0 1 3 1