| Name | csp/lexPuzzle/ normalized-crossword-m1-lex-puzzle13.xml |
| MD5SUM | bef99d4e2d34b4d850a3ebffdb234870 |
| 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.05899 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 65 |
| Number of constraints | 259 |
| Maximum constraint arity | 18 |
| Maximum domain size | 26 |
| Number of constraints which are defined in extension | 34 |
| Number of constraints which are defined in intension | 225 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral 1.545 (complete) | 2076331 | SAT | 0.05899 | 0.0606389 |
| pcs-restart 0.3.2 (complete) | 2076324 | SAT | 0.122981 | 0.129493 |
| pcs 0.3.2 (complete) | 2076323 | SAT | 0.252961 | 0.260809 |
| bpsolver 09 (complete) | 2076332 | SAT | 0.654899 | 0.662551 |
| Abscon 112v4 AC (complete) | 2096527 | SAT | 1.3028 | 1.30608 |
| Abscon 112v4 ESAC (complete) | 2096528 | SAT | 1.3128 | 1.35917 |
| Choco2.1.1b 2009-07-16 (complete) | 2116175 | SAT | 3.08653 | 3.13216 |
| Choco2.1.1 2009-06-10 (complete) | 2076327 | SAT | 3.2775 | 3.34649 |
| Sugar v1.14.6+minisat (complete) | 2076329 | SAT | 15.7696 | 16.4854 |
| Sugar v1.14.6+picosat (complete) | 2076328 | SAT | 20.3659 | 20.681 |
| Concrete 2009-07-14 (complete) | 2076325 | SAT | 57.0313 | 57.3432 |
| Concrete DC 2009-07-14 (complete) | 2076326 | SAT | 111.303 | 111.79 |
| SAT4J CSP 2.1.1 (complete) | 2076322 | ? | 117.827 | 116.695 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:18 15 8 19 2 7 0 19 22 24 13 13 1 14 23 24 0 17 2 0 11 15 15 4 0 2 7 19 17 4 4 14 20 19 4 15 8 15 7 24 18 8 18 11 0 14 19 13 19 18 8 19 20 9 20 3 24 4 11 0 13 14 13 24 23