NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
len_801_1000 |
5434 |
1 |
|
|
T10 |
3 |
|
T12 |
3 |
|
T13 |
7 |
len_601_800 |
12179 |
1 |
|
|
T10 |
8 |
|
T12 |
4 |
|
T13 |
12 |
len_401_600 |
8259 |
1 |
|
|
T10 |
4 |
|
T13 |
5 |
|
T31 |
11 |
len_201_400 |
4630 |
1 |
|
|
T9 |
1 |
|
T10 |
1 |
|
T12 |
3 |
len_65_200 |
9456 |
1 |
|
|
T1 |
75 |
|
T13 |
2 |
|
T45 |
32 |
len_min_for_xof_require_squeeze |
109 |
1 |
|
|
T50 |
1 |
|
T119 |
1 |
|
T160 |
9 |
len_keccak_block_sizes[72] |
97 |
1 |
|
|
T45 |
1 |
|
T160 |
9 |
|
T161 |
5 |
len_keccak_block_sizes[104] |
96 |
1 |
|
|
T1 |
2 |
|
T45 |
1 |
|
T160 |
9 |
len_keccak_block_sizes[136] |
95 |
1 |
|
|
T1 |
1 |
|
T50 |
1 |
|
T160 |
9 |
len_keccak_block_sizes[144] |
45 |
1 |
|
|
T161 |
5 |
|
T162 |
5 |
|
T70 |
1 |
len_keccak_block_sizes[168] |
52 |
1 |
|
|
T161 |
5 |
|
T24 |
1 |
|
T162 |
5 |
len_datapath_width |
1068 |
1 |
|
|
T1 |
4 |
|
T29 |
3 |
|
T30 |
3 |
len_2_63 |
15108 |
1 |
|
|
T1 |
78 |
|
T2 |
105 |
|
T3 |
137 |
len_1 |
44 |
1 |
|
|
T45 |
1 |
|
T50 |
1 |
|
T163 |
1 |