| Name | csp/ukHerald/ normalized-crossword-m1-uk-15-09.xml |
| MD5SUM | 37fc4856568d841902d46b632fbbf16a |
| Bench Category | N-ARY-INT (n-ary constraints in intension) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.510921 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 187 |
| Number of constraints | 907 |
| Maximum constraint arity | 14 |
| Maximum domain size | 26 |
| Number of constraints which are defined in extension | 82 |
| Number of constraints which are defined in intension | 825 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral 1.545 (complete) | 2068609 | SAT | 0.510921 | 0.527152 |
| pcs 0.3.2 (complete) | 2068601 | SAT | 0.834872 | 0.844709 |
| Abscon 112v4 AC (complete) | 2095123 | SAT | 2.5946 | 2.62634 |
| pcs-restart 0.3.2 (complete) | 2068602 | SAT | 2.94855 | 2.97929 |
| Abscon 112v4 ESAC (complete) | 2095124 | SAT | 3.12252 | 3.1904 |
| bpsolver 09 (complete) | 2068610 | SAT | 5.76012 | 5.82137 |
| Choco2.1.1b 2009-07-16 (complete) | 2115473 | SAT | 14.4018 | 14.5092 |
| Choco2.1.1 2009-06-10 (complete) | 2068605 | SAT | 14.5768 | 14.7628 |
| Concrete 2009-07-14 (complete) | 2068603 | SAT | 66.7349 | 67.4094 |
| Sugar v1.14.6+minisat (complete) | 2068607 | SAT | 1351.8 | 1356.17 |
| Concrete DC 2009-07-14 (complete) | 2068604 | SAT | 1568.07 | 1583.28 |
| SAT4J CSP 2.1.1 (complete) | 2068600 | ? | 72.653 | 71.3874 |
| Sugar v1.14.6+picosat (complete) | 2068606 | ? (TO) | 1800.09 | 1814.84 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:0 6 20 4 17 24 10 4 3 15 4 0 18 25 0 19 8 14 20 17 8 4 0 20 17 0 0 15 4 3 6 17 20 5 5 11 14 11 0 13 14 18 4 14 20 19 5 14 0 12 8 4 17 19 17 24 3 4 4 3 24 0 3 11 8 1 21 0 11 0 17 4 19 19 22 0 0 2 12 0 24 8 6 0 15 14 18 14 13 18 6 17 20 13 19 11 4 4 12 20 10 13 4 11 11 18 0 8 11 1 4 4 1 4 24 17 8 4 4 12 4 12 0 18 18 0 12 0 13 18 4 22 24 13 10 14 11 0 13 20 19 12 24 0 13 12 0 17 0 1 0 2 12 4 3 4 0 8 0 6 14 12 0 13 14 1 4 18 14 19 13 24 4 19 0 13 0 13 18 12 14 22 19 6 14 18 18