Name | csp/ukHerald/ normalized-crossword-m1-uk-15-10.xml |
MD5SUM | 9bf0ebb26d908e54ae16e8d2bd4f0b7c |
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.911861 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 190 |
Number of constraints | 964 |
Maximum constraint arity | 20 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 72 |
Number of constraints which are defined in intension | 892 |
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 17 0 1 3 14 6 6 14 18 8 0 12 1 0 1 0 20 15 17 0 13 4 3 6 4 0 2 0 13 0 2 4 14 20 18 12 4 0 11 18 0 2 2 7 0 17 8 3 4 8 0 12 1 0 11 0 13 19 7 20 11 8 0 9 4 11 0 1 4 0 19 4 13 0 11 0 17 2 0 3 3 8 4 2 0 17 18 12 8 13 8 2 0 1 0 13 3 8 17 14 13 1 0 19 19 4 13 1 4 17 6 0 13 14 0 7 0 3 0 11 2 11 14 12 1 18 11 8 12 18 24 20 17 18 0 2 0 17 4 19 0 18 4 14 12 4 19 4 17 0 1 4 19 20 17 8 13 14 18 2 14 15 24 15 4 13 8 5 0 21 4 11 7 0 7 0 0 11 4 2 19 17 4 22 18 14 3 0 11