Name | csp/wordsHerald/ normalized-crossword-m1-words-23-03.xml |
MD5SUM | fc37dfa444febe2e6079955929ce69f4 |
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 | 22.0686 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 440 |
Number of constraints | 3345 |
Maximum constraint arity | 26 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 174 |
Number of constraints which are defined in intension | 3171 |
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:0 1 0 18 4 3 0 11 14 13 6 0 1 1 0 14 2 2 0 12 1 4 18 8 3 4 13 20 1 8 0 3 4 0 11 22 14 17 18 4 17 4 15 11 8 2 0 19 8 14 13 18 18 7 17 8 11 11 13 4 18 18 0 1 4 19 19 4 3 18 4 4 10 18 0 17 6 14 5 14 4 18 12 4 13 11 0 3 4 11 4 21 4 13 18 4 11 18 4 2 7 4 12 8 18 19 19 20 17 8 13 3 17 4 18 18 17 4 15 0 8 17 21 0 8 11 17 8 14 14 13 4 18 0 11 24 18 18 0 0 11 3 4 13 2 17 0 13 4 18 17 0 15 1 20 19 19 19 0 13 25 0 13 8 0 8 19 2 7 13 4 21 0 0 3 7 4 17 4 17 11 0 13 2 0 18 19 4 17 0 15 4 3 19 4 0 4 3 8 2 19 0 13 8 19 0 20 19 19 4 17 18 6 0 3 3 4 4 15 18 4 17 8 2 7 17 14 13 4 11 14 8 18 4 18 12 0 11 11 2 7 8 3 4 19 14 14 11 0 17 3 3 8 18 15 11 0 24 4 17 3 8 4 7 0 17 3 1 17 0 4 6 14 13 4 1 17 4 0 19 7 4 18 8 13 3 14 0 18 18 17 4 19 0 17 3 0 11 15 7 0 2 0 13 2 4 17 3 0 3 0 0 8 12 18 4 0 12 14 19 19 4 17 18 18 0 17 0 13 0 12 14 20 17 3 22 0 17 21 4 18 0 12 4 18 17 4 21 4 13 6 4 11 4 4 0 17 2 13 14 0 7 14 17 8 13 18 2 0 11 0 0 17 18 4 13 0 11 3 4 18 8 3 4 17 0 19 0 4 2 14 13 14 12 4 19 17 8 2 0 4 1 14 13 24 14 17 0 11 18 19 4 0 3 17 0 8 18 4 18 17 0 13 6 4 11 24 11 4 18 0 1 11 4 18 13 4 4 17 18