| Name | csp/wordsHerald/ normalized-crossword-m1-words-19-02.xml |
| MD5SUM | 4a2819ff550e7cc1f6156e6c5b327d2b |
| 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 | 3.83542 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 296 |
| Number of constraints | 1757 |
| Maximum constraint arity | 28 |
| Maximum domain size | 26 |
| Number of constraints which are defined in extension | 118 |
| Number of constraints which are defined in intension | 1639 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral 1.545 (complete) | 2077563 | SAT | 3.83542 | 3.84077 |
| Abscon 112v4 ESAC (complete) | 2096752 | SAT | 4.93125 | 4.97037 |
| Abscon 112v4 AC (complete) | 2096751 | SAT | 5.03123 | 5.1248 |
| pcs 0.3.2 (complete) | 2077555 | SAT | 16.4385 | 16.5136 |
| pcs-restart 0.3.2 (complete) | 2077556 | SAT | 26.018 | 26.2354 |
| bpsolver 09 (complete) | 2077564 | SAT | 52.612 | 52.8339 |
| Choco2.1.1b 2009-07-16 (complete) | 2116287 | SAT | 81.3116 | 82.0779 |
| Choco2.1.1 2009-06-10 (complete) | 2077559 | SAT | 82.9644 | 83.792 |
| Concrete 2009-07-14 (complete) | 2077557 | SAT | 481.917 | 486.524 |
| SAT4J CSP 2.1.1 (complete) | 2077554 | ? | 95.1715 | 94.226 |
| Concrete DC 2009-07-14 (complete) | 2077558 | ? (TO) | 1800.03 | 1815.82 |
| Sugar v1.14.6+picosat (complete) | 2077560 | ? (TO) | 1800.09 | 1849.03 |
| Sugar v1.14.6+minisat (complete) | 2077561 | ? (TO) | 1800.1 | 1865.1 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1 8 1 11 4 1 0 11 18 0 1 0 13 0 11 0 3 0 8 17 3 0 3 0 8 18 19 14 25 14 13 4 24 14 10 13 0 15 0 19 0 22 15 7 0 18 0 13 19 0 18 11 20 6 0 19 14 12 18 15 0 20 11 18 4 13 4 13 19 4 17 18 2 7 8 12 13 4 24 17 4 3 17 4 18 18 1 14 14 13 4 0 13 0 11 4 23 8 18 19 3 8 0 11 14 6 18 2 20 4 3 8 18 1 0 24 14 13 4 19 18 9 14 7 13 18 14 19 19 14 14 22 4 13 18 2 14 20 17 19 18 17 14 3 6 4 17 18 12 4 12 4 13 19 14 15 17 8 25 4 18 18 0 11 14 13 18 13 0 15 11 14 1 4 18 18 15 17 14 2 10 4 19 14 13 4 0 1 20 21 14 11 20 12 4 18 5 0 20 13 0 13 4 19 18 0 12 20 18 4 18 15 14 20 18 4 18 8 2 8 13 4 18 18 4 3 20 0 17 3 18 2 14 17 13 4 3 2 11 0 18 18 8 11 11 18 19 20 13 8 2 0 2 2 17 4 3 8 19 0 19 8 14 13 0 1 0 1 0 24 0 14 20 13 3 4 17 14 18 18 8 1 0 11 4 18 19 14 3 0 24 2 17 4 4 15