Name | csp/ogdHerald/ normalized-crossword-m1-ogd-21-03.xml |
MD5SUM | 4017db100708ff15ef992f6d96e82e74 |
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 | 1.49477 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 362 |
Number of constraints | 2140 |
Maximum constraint arity | 22 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 144 |
Number of constraints which are defined in intension | 1996 |
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:13 0 8 5 8 12 2 0 5 0 19 18 0 11 4 0 18 0 19 17 4 8 12 0 14 17 0 1 0 19 1 0 12 1 0 1 0 17 13 11 0 2 18 2 7 4 17 0 0 17 0 2 18 0 11 4 18 4 12 0 19 3 4 1 17 4 2 4 13 1 0 2 7 0 0 3 20 11 0 0 4 17 0 0 2 4 4 0 14 19 0 12 8 11 12 8 19 4 8 17 12 17 0 21 8 11 8 12 4 11 4 2 0 18 18 2 17 4 4 4 0 17 0 18 0 13 19 17 0 18 0 3 4 15 14 8 13 19 20 3 0 1 18 5 4 12 18 0 3 14 18 0 1 14 19 0 0 1 11 4 4 17 4 18 8 14 13 8 16 20 4 18 17 4 4 18 14 13 13 0 8 17 4 6 20 11 0 3 4 18 25 14 3 8 0 2 0 11 18 20 0 8 1 8 1 8 0 21 0 11 4 4 4 12 8 0 4 11 4 14 18 0 19 0 6 8 17 4 25 17 4 1 4 2 18 4 13 5 8 2 7 0 1 0 17 1 0 11 0 13 4 17 4 19 18 18 0 11 14 8 17 1 2 6 19 0 2 18 0 17 4 13 0 13 4 12 4 0 20 1 0 8 11 18 0 17 14 3 0 17 15 0 3 11 0 17 6 20 4 17 0 0 1 14 11 8 19 21 0 3 8 0 13 4 18 19 4 17 0 18 4 17 0 15 4 0 20 0 23 8 0 11 18 19 4 12 12 18 4 13 18 2 17 8 1 1 0 18 17 0 0 4 17 0 8 4 18 0 1 0 18 0