NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
len_801_1000 |
5624 |
1 |
|
|
T10 |
3 |
|
T26 |
5 |
|
T13 |
4 |
len_601_800 |
12528 |
1 |
|
|
T10 |
5 |
|
T26 |
9 |
|
T13 |
11 |
len_401_600 |
8212 |
1 |
|
|
T10 |
3 |
|
T26 |
6 |
|
T13 |
8 |
len_201_400 |
4426 |
1 |
|
|
T25 |
1 |
|
T26 |
4 |
|
T13 |
2 |
len_65_200 |
8520 |
1 |
|
|
T25 |
1 |
|
T33 |
62 |
|
T10 |
1 |
len_min_for_xof_require_squeeze |
109 |
1 |
|
|
T113 |
1 |
|
T197 |
9 |
|
T194 |
9 |
len_keccak_block_sizes[72] |
81 |
1 |
|
|
T80 |
3 |
|
T197 |
9 |
|
T194 |
9 |
len_keccak_block_sizes[104] |
85 |
1 |
|
|
T58 |
1 |
|
T80 |
1 |
|
T197 |
9 |
len_keccak_block_sizes[136] |
79 |
1 |
|
|
T33 |
2 |
|
T52 |
1 |
|
T197 |
9 |
len_keccak_block_sizes[144] |
46 |
1 |
|
|
T58 |
1 |
|
T130 |
1 |
|
T52 |
2 |
len_keccak_block_sizes[168] |
53 |
1 |
|
|
T33 |
1 |
|
T130 |
1 |
|
T198 |
5 |
len_datapath_width |
1085 |
1 |
|
|
T48 |
3 |
|
T33 |
10 |
|
T47 |
73 |
len_2_63 |
15114 |
1 |
|
|
T11 |
3 |
|
T12 |
3 |
|
T17 |
3 |
len_1 |
48 |
1 |
|
|
T33 |
2 |
|
T199 |
3 |
|
T154 |
1 |