Name | csp/lexHerald/ normalized-crossword-m1-lex-23-02.xml |
MD5SUM | 819c3e677bbf729895a37d0aded931cf |
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.77473 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 435 |
Number of constraints | 4428 |
Maximum constraint arity | 24 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 182 |
Number of constraints which are defined in intension | 4246 |
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:18 0 17 0 7 7 0 0 6 3 8 17 0 2 1 11 0 17 4 8 17 4 13 4 0 11 0 8 4 13 14 2 7 11 14 1 20 11 4 18 4 12 8 13 0 17 8 0 13 19 20 1 4 17 2 20 11 14 18 8 18 0 13 0 1 17 0 18 18 8 4 17 4 14 15 4 11 19 13 19 11 0 13 6 11 4 24 1 0 17 4 18 12 20 19 0 11 14 4 17 4 3 14 15 4 13 0 19 4 0 10 4 17 18 18 19 4 0 3 19 18 0 17 5 0 3 4 5 20 9 8 19 0 23 8 1 17 0 6 6 8 6 14 17 20 17 0 13 8 20 12 8 17 0 13 11 0 10 4 13 13 4 0 1 13 4 17 18 18 4 17 0 6 9 0 21 0 22 0 6 4 3 0 3 0 21 4 0 11 6 17 0 3 4 2 0 18 4 0 8 3 0 19 0 13 6 14 1 11 4 4 10 4 17 14 2 0 17 8 13 0 12 14 8 18 19 4 13 4 4 17 8 4 18 8 2 10 15 4 13 13 4 11 3 4 17 6 14 0 3 18 0 2 10 0 17 4 0 0 13 3 24 14 21 0 0 13 19 0 12 1 4 17 11 8 4 1 0 19 4 14 15 0 11 13 4 4 3 5 20 11 14 12 0 13 18 0 17 0 13 12 8 18 18 17 0 6 4 0 20 13 19 8 3 14 11 5 0 2 19 14 18 22 4 0 17 0 2 12 0 3 4 13 1 0 7 11 0 12 1 1 0 2 7 15 14 15 4 15 0 13 0 2 4 0 4 11 12 12 0 17 2 18 0 11 19 22 0 19 4 17 0 11 11 15 17 4 15 14 18 19 4 17 14 20 18 8 17 17 0 19 8 14 13 0 11 19 20 19 19 11 4 18 8 3 11 4 18 8 0 11 19 0 18 19 4 18 19 0 11 11 18 15 0 8 13 4 3 6 4 14 5 19 4 13