| Name | csp/QWH-25/ normalized-qwh-25-235-0_ext.xml |
| MD5SUM | 31554748f07a2fd0846470dec9671185 |
| 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 | 18.8781 |
| 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 |
|---|---|---|---|---|
| SAT4J CSP 2.1.1 (complete) | 2058172 | SAT | 18.8781 | 19.13 |
| Sugar v1.14.6+picosat (complete) | 2058178 | SAT | 22.6306 | 22.9976 |
| Sugar v1.14.6+minisat (complete) | 2058179 | SAT | 91.6021 | 92.6496 |
| pcs-restart 0.3.2 (complete) | 2058174 | SAT | 268.521 | 268.606 |
| pcs 0.3.2 (complete) | 2058173 | SAT | 276.2 | 276.304 |
| Choco2.1.1b 2009-07-16 (complete) | 2114525 | SAT | 508.584 | 511.957 |
| Choco2.1.1 2009-06-10 (complete) | 2058177 | SAT | 1011.76 | 1021.48 |
| Concrete 2009-07-14 (complete) | 2058175 | ? (TO) | 1800 | 1809.12 |
| Conquer 2009-07-10 (complete) | 2058180 | ? (TO) | 1800.02 | 1809.12 |
| Mistral 1.545 (complete) | 2058181 | ? (TO) | 1800.02 | 1813.61 |
| bpsolver 09 (complete) | 2058182 | ? (TO) | 1800.08 | 1808.61 |
| Abscon 112v4 ESAC (complete) | 2093228 | ? (TO) | 1800.09 | 1800.47 |
| Concrete DC 2009-07-14 (complete) | 2058176 | ? (TO) | 1800.1 | 1809.12 |
| Abscon 112v4 AC (complete) | 2093227 | ? (TO) | 1800.14 | 1816.66 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:0 10 23 15 4 19 16 17 7 21 24 1 18 22 6 8 13 20 3 5 14 12 9 11 2 18 12 1 6 19 13 0 8 15 23 14 3 9 17 7 22 21 10 4 11 2 20 5 24 16 10 6 8 12 1 22 23 19 0 14 21 11 20 24 2 3 16 18 5 13 7 15 4 17 9 16 24 22 20 9 10 17 14 4 13 2 19 12 8 15 5 7 21 23 3 11 1 6 0 18 24 5 2 14 15 20 10 0 23 6 3 18 1 13 8 9 4 17 16 22 21 7 11 19 12 7 3 4 21 17 23 1 6 9 2 8 12 22 15 0 24 11 14 20 16 10 5 18 13 19 20 4 10 9 0 1 14 2 11 22 13 7 17 6 23 12 19 5 24 18 8 16 3 21 15 8 9 0 18 13 24 7 21 10 17 22 23 16 5 4 14 1 11 15 2 12 19 20 6 3 6 22 18 13 14 12 15 7 3 19 5 4 8 9 20 16 0 2 17 10 1 24 21 23 11 15 13 9 5 18 7 6 16 2 12 10 22 21 4 24 17 8 23 1 19 3 11 0 14 20 3 0 21 10 11 15 18 4 19 16 6 20 5 12 17 13 23 9 14 7 22 2 24 1 8 12 8 24 4 22 2 21 15 18 1 17 6 11 20 3 19 10 13 0 14 16 23 7 9 5 23 2 11 3 8 17 20 9 14 7 4 0 15 10 22 6 5 16 19 12 24 21 1 18 13 17 15 20 11 6 5 8 24 12 4 0 9 23 2 10 18 3 22 7 21 19 13 14 16 1 4 14 17 7 20 11 2 3 16 8 15 21 13 1 9 23 12 19 6 24 18 10 22 5 0 21 11 6 2 16 0 3 23 13 9 7 17 24 19 5 20 14 1 12 4 15 18 10 8 22 9 17 16 23 5 14 22 11 1 24 19 2 6 7 18 21 20 15 13 8 4 0 12 3 10 2 21 5 0 23 18 24 22 6 11 16 15 14 3 19 4 17 12 8 1 20 9 13 10 7 1 16 15 8 12 9 4 5 21 3 18 13 7 23 14 10 2 24 11 6 0 22 19 20 17 19 18 13 1 2 8 11 12 22 20 9 16 3 0 21 7 15 6 10 23 5 14 17 4 24 5 20 19 16 24 21 12 13 17 0 11 10 2 14 1 15 22 3 18 9 6 4 8 7 23 14 19 7 22 10 3 13 1 24 5 23 8 4 11 12 2 18 0 9 20 17 6 16 15 21 13 7 12 19 3 6 9 10 20 15 1 5 0 18 16 11 24 4 21 17 23 8 2 22 14 11 1 14 17 7 16 19 20 5 18 12 24 10 21 13 0 6 8 22 15 9 3 23 2 4 22 23 3 24 21 4 5 18 8 10 20 14 19 16 11 1 9 7 2 0 13 17 15 12 6