Name | csp/lexHerald/ normalized-crossword-m1-lex-23-05.xml |
MD5SUM | 64975a2ae0dcb245d91af9d13390acc2 |
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 | 9.75252 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 445 |
Number of constraints | 4690 |
Maximum constraint arity | 22 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 180 |
Number of constraints which are defined in intension | 4510 |
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 19 4 0 3 0 15 19 14 18 0 10 0 0 15 0 2 4 15 17 8 0 12 15 0 15 0 22 2 0 11 4 1 1 4 12 0 13 7 24 3 17 14 18 15 7 4 17 4 4 11 4 13 0 4 22 8 13 6 8 2 4 19 8 11 11 0 11 6 0 4 14 1 4 24 6 0 11 3 4 18 15 8 19 4 0 11 5 14 13 18 14 0 13 0 19 14 11 4 7 14 4 12 0 11 19 0 11 19 3 3 13 0 4 11 5 8 13 18 0 17 0 7 12 0 8 4 17 19 17 0 2 10 2 14 14 11 15 7 11 14 23 12 8 3 18 15 0 13 0 11 14 4 11 0 14 15 0 4 0 13 22 0 17 24 11 8 0 17 19 19 24 0 19 19 14 17 13 4 24 2 0 10 4 15 14 18 19 20 11 0 19 4 19 7 4 17 4 8 13 7 0 11 4 3 0 17 4 5 0 17 0 3 3 4 2 1 0 2 10 18 15 0 2 4 0 5 19 18 0 11 4 12 2 17 0 12 7 0 19 4 18 2 8 4 13 2 4 0 12 14 17 15 7 14 20 18 17 8 2 0 15 0 17 0 23 8 0 11 11 20 6 19 0 12 4 3 4 5 19 2 0 1 8 13 14 11 3 0 18 8 0 15 8 6 12 4 13 19 1 0 8 17 3 0 1 11 4 3 4 2 0 11 2 4 0 18 4 12 0 6 13 0 2 11 4 0 17 0 0 0 11 8 4 12 4 11 4 4 15 14 4 12 8 18 18 8 21 4 12 2 13 0 11 11 24 2 14 13 2 0 21 4 0 13 8 18 4 17 5 17 0 3 0 17 2 0 18 19 3 8 18 19 20 13 8 18 0 11 8 0 18 13 14 13 4 19 7 4 11 4 18 18 2 17 0 13 4 18 0 13 19 0 6 14 14 3 4 18 4 15 8 0 7 4 8 13 25 4 23 2 4 11 4 12 1 4 17 19 0 19 19 24