Name | csp/ogdHerald/ normalized-crossword-m1-ogd-23-07.xml |
MD5SUM | 0a686702ca9a26462bbb33f67d4dcac6 |
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 | 2.42563 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 446 |
Number of constraints | 3889 |
Maximum constraint arity | 24 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 174 |
Number of constraints which are defined in intension | 3715 |
Global constraints used (with number of constraints) |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1 0 1 0 0 6 6 11 14 12 0 6 8 13 5 0 6 14 19 0 1 0 19 21 17 0 8 18 0 6 0 2 0 0 17 0 18 4 4 4 1 20 17 13 4 4 13 13 4 8 17 17 8 19 4 17 0 8 4 13 19 18 4 23 14 8 18 4 18 17 0 6 4 0 19 17 0 2 17 4 0 15 0 19 4 12 0 3 17 4 1 0 17 3 12 0 20 11 17 0 15 7 8 0 5 0 8 13 4 17 0 6 0 3 0 8 17 0 0 1 14 8 18 4 17 13 4 0 4 3 4 8 17 0 1 0 3 0 4 11 14 8 18 8 4 13 13 4 2 18 0 17 3 0 18 0 2 4 6 11 4 13 0 15 8 0 5 12 17 1 12 4 21 4 1 0 13 19 14 20 4 18 10 4 17 11 0 25 8 4 13 2 11 0 12 18 0 6 4 0 6 0 2 4 8 14 3 0 5 4 8 17 0 0 17 0 1 11 4 2 0 11 0 4 19 4 18 1 0 17 6 4 18 1 0 2 0 20 1 0 19 0 2 11 0 18 7 0 12 0 13 0 3 0 2 1 17 8 0 13 19 0 8 18 8 18 11 0 12 8 18 0 19 0 8 7 0 8 18 2 7 8 0 0 15 15 0 18 5 4 18 18 8 18 12 0 11 4 15 7 0 13 19 0 18 12 0 8 2 8 11 18 14 8 4 0 11 14 8 6 17 0 12 3 17 0 21 0 0 19 19 0 17 0 6 8 4 0 17 6 0 13 2 17 4 19 0 8 11 0 14 18 0 2 17 0 14 6 7 0 12 5 14 8 13 4 20 23 14 13 2 4 18 0 17 14 3 17 0 2 11 4 19 19 4 18 15 8 17 8 19 20 0 11 8 18 0 0 24 0 19 14 11 11 0 7 18 0 8 2 7 4 17 6 4 11 8 5 7 0 3 0 11 0 11 24 0 13 14 4 18 4 4 21 0 18 0 18 12 0 11 0 18 0 12 20