| NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
| len_801_1000 |
5566 |
1 |
|
|
T1 |
44 |
|
T4 |
14 |
|
T10 |
4 |
| len_601_800 |
12652 |
1 |
|
|
T1 |
130 |
|
T4 |
13 |
|
T10 |
12 |
| len_401_600 |
8452 |
1 |
|
|
T1 |
84 |
|
T4 |
12 |
|
T10 |
8 |
| len_201_400 |
16495 |
1 |
|
|
T1 |
37 |
|
T4 |
7 |
|
T31 |
251 |
| len_65_200 |
74434 |
1 |
|
|
T1 |
67 |
|
T4 |
36 |
|
T30 |
685 |
| len_min_for_xof_require_squeeze |
1014 |
1 |
|
|
T1 |
2 |
|
T30 |
9 |
|
T31 |
10 |
| len_keccak_block_sizes[72] |
759 |
1 |
|
|
T30 |
9 |
|
T31 |
5 |
|
T32 |
5 |
| len_keccak_block_sizes[104] |
766 |
1 |
|
|
T4 |
1 |
|
T30 |
9 |
|
T31 |
5 |
| len_keccak_block_sizes[136] |
749 |
1 |
|
|
T1 |
1 |
|
T30 |
9 |
|
T31 |
5 |
| len_keccak_block_sizes[144] |
279 |
1 |
|
|
T4 |
1 |
|
T31 |
5 |
|
T32 |
5 |
| len_keccak_block_sizes[168] |
297 |
1 |
|
|
T1 |
1 |
|
T31 |
5 |
|
T10 |
1 |
| len_datapath_width |
14180 |
1 |
|
|
T1 |
15 |
|
T4 |
11 |
|
T30 |
9 |
| len_2_63 |
215005 |
1 |
|
|
T1 |
107 |
|
T3 |
310 |
|
T4 |
68 |
| len_1 |
70 |
1 |
|
|
T1 |
1 |
|
T4 |
1 |
|
T69 |
1 |