Name | csp/wordsHerald/ normalized-crossword-m1-words-19-01.xml |
MD5SUM | 9f01dc7a4ec49ede22f1d95a14de7260 |
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.592909 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 301 |
Number of constraints | 2940 |
Maximum constraint arity | 18 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 128 |
Number of constraints which are defined in intension | 2812 |
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:11 8 18 4 0 1 4 11 0 3 0 12 7 0 0 6 0 17 12 18 11 0 21 0 15 8 18 0 0 1 1 0 12 14 20 18 4 19 17 0 15 18 4 15 19 4 12 1 4 17 4 13 19 4 17 4 3 11 0 8 3 17 4 12 4 3 24 13 14 17 12 0 13 18 4 8 17 4 4 15 8 2 18 5 0 2 19 4 13 2 8 17 2 11 4 17 0 2 4 2 0 12 4 12 2 6 4 4 11 0 23 0 15 4 3 0 19 0 19 14 14 11 18 3 0 13 0 18 0 11 21 0 6 4 15 4 17 11 4 7 8 17 0 12 0 8 3 4 2 4 0 18 4 5 0 2 4 1 0 13 3 18 1 11 0 18 4 1 0 19 4 12 0 13 0 8 3 0 4 17 0 18 4 1 0 3 4 14 13 4 18 17 8 18 15 8 13 4 1 0 1 4 0 13 13 0 4 18 2 0 15 8 13 6 11 0 2 24 1 4 19 4 11 3 20 19 24 1 0 19 7 9 0 17 15 17 0 21 3 0 24 0 6 8 17 4 11 0 15 18 4 17 4 3 8 18 15 11 0 24 18 15 8 17 8 19 20 0 11 14 3 3 18 7 0 17 3 19 0 2 10 4 12 8 11 3 14 18 4 18 14 3 0 0 11 0 18 3 0 3 0