| Name | csp/QWH-25/ normalized-qwh-25-235-5_ext.xml |
| MD5SUM | 1bdde9be183c86ffbf239f4dbf5cbce7 |
| 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 | 3.02454 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 625 |
| Number of constraints | 9300 |
| Maximum constraint arity | 2 |
| Maximum domain size | 25 |
| Number of constraints which are defined in extension | 9300 |
| 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 |
|---|---|---|---|---|
| Sugar v1.14.6+minisat (complete) | 2058190 | SAT | 3.02454 | 3.11891 |
| Sugar v1.14.6+picosat (complete) | 2058189 | SAT | 8.06477 | 8.22959 |
| SAT4J CSP 2.1.1 (complete) | 2058183 | SAT | 10.7324 | 10.7863 |
| pcs-restart 0.3.2 (complete) | 2058185 | SAT | 23.0285 | 23.0583 |
| pcs 0.3.2 (complete) | 2058184 | SAT | 46.8309 | 47.0784 |
| Choco2.1.1 2009-06-10 (complete) | 2058188 | SAT | 72.7419 | 72.7912 |
| Choco2.1.1b 2009-07-16 (complete) | 2114526 | SAT | 92.7129 | 92.4923 |
| Mistral 1.545 (complete) | 2058192 | ? (TO) | 1800.01 | 1806.31 |
| Concrete 2009-07-14 (complete) | 2058186 | ? (TO) | 1800.04 | 1800.82 |
| Concrete DC 2009-07-14 (complete) | 2058187 | ? (TO) | 1800.08 | 1812.22 |
| Conquer 2009-07-10 (complete) | 2058191 | ? (TO) | 1800.08 | 1817.22 |
| Abscon 112v4 AC (complete) | 2093229 | ? (TO) | 1800.09 | 1800.85 |
| Abscon 112v4 ESAC (complete) | 2093230 | ? (TO) | 1800.09 | 1806.68 |
| bpsolver 09 (complete) | 2058193 | ? (TO) | 1800.11 | 1811.21 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:18 16 1 12 21 2 22 20 4 13 10 24 8 0 7 23 14 17 3 11 6 5 9 15 19 24 1 8 20 13 4 21 17 14 12 23 9 0 19 15 6 16 18 11 10 5 7 22 3 2 2 5 13 4 23 16 11 12 1 9 21 22 14 6 24 15 3 7 17 0 20 19 18 10 8 12 13 7 14 6 20 19 3 23 15 4 10 22 17 9 0 11 24 18 8 21 2 1 5 16 19 0 2 21 4 11 9 14 24 22 5 23 12 1 3 7 13 8 15 20 16 17 10 18 6 13 19 21 18 8 6 1 23 22 16 0 3 4 20 11 2 17 12 7 14 10 9 5 24 15 15 21 23 17 9 7 2 0 20 18 1 4 5 22 12 3 19 14 8 16 11 10 6 13 24 8 18 14 2 19 24 12 22 5 10 11 21 15 7 17 13 4 6 0 1 3 20 16 23 9 6 12 22 8 0 23 18 16 7 5 13 20 17 9 21 19 10 1 24 3 2 14 15 4 11 17 23 0 19 11 9 4 2 15 20 3 6 7 24 14 5 21 16 10 18 13 12 8 22 1 14 10 12 6 3 21 16 4 9 7 15 18 19 11 1 17 8 23 22 5 0 24 20 2 13 21 2 4 23 15 13 10 6 18 24 7 1 11 3 19 9 0 20 14 22 17 16 12 8 5 22 3 5 24 16 14 6 7 2 17 8 11 9 21 18 10 1 19 12 23 15 4 13 20 0 5 11 3 7 24 22 17 15 10 8 16 13 20 12 2 18 9 4 23 6 1 0 21 19 14 23 4 6 1 17 10 15 8 3 0 24 12 13 5 20 11 2 22 16 9 19 18 14 21 7 11 17 19 13 5 3 23 21 16 14 22 0 1 18 8 24 15 10 4 12 7 6 2 9 20 3 9 11 5 12 15 20 13 8 6 14 17 18 10 0 16 7 2 21 4 24 23 19 1 22 20 14 16 10 2 0 8 18 13 11 19 7 23 15 5 22 12 21 1 24 9 3 4 6 17 10 15 18 11 7 1 5 19 17 21 20 8 24 4 6 12 23 9 2 13 14 22 0 16 3 16 22 24 0 10 8 3 1 21 19 2 5 6 23 13 4 20 15 9 17 12 11 7 14 18 4 24 10 15 18 19 14 9 11 2 17 16 21 13 22 8 6 5 20 7 23 1 3 0 12 9 8 20 22 14 12 7 5 0 23 6 19 10 2 16 1 24 3 13 21 18 15 11 17 4 7 20 17 16 22 5 0 11 19 1 9 2 3 14 10 21 18 13 6 15 4 8 24 12 23 0 6 15 9 1 17 24 10 12 3 18 14 2 16 4 20 22 11 5 19 8 13 23 7 21 1 7 9 3 20 18 13 24 6 4 12 15 16 8 23 14 5 0 19 2 22 21 17 11 10