NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
len_801_1000 |
5715 |
1 |
|
|
T1 |
13 |
|
T3 |
14 |
|
T15 |
17 |
len_601_800 |
12978 |
1 |
|
|
T1 |
36 |
|
T3 |
20 |
|
T15 |
37 |
len_401_600 |
8561 |
1 |
|
|
T1 |
23 |
|
T3 |
12 |
|
T15 |
22 |
len_201_400 |
16646 |
1 |
|
|
T1 |
10 |
|
T3 |
11 |
|
T14 |
251 |
len_65_200 |
74114 |
1 |
|
|
T1 |
3 |
|
T3 |
2 |
|
T14 |
680 |
len_min_for_xof_require_squeeze |
1003 |
1 |
|
|
T14 |
10 |
|
T18 |
1 |
|
T84 |
9 |
len_keccak_block_sizes[72] |
764 |
1 |
|
|
T14 |
5 |
|
T23 |
1 |
|
T84 |
9 |
len_keccak_block_sizes[104] |
763 |
1 |
|
|
T14 |
5 |
|
T18 |
1 |
|
T84 |
9 |
len_keccak_block_sizes[136] |
756 |
1 |
|
|
T14 |
5 |
|
T84 |
9 |
|
T169 |
9 |
len_keccak_block_sizes[144] |
283 |
1 |
|
|
T14 |
5 |
|
T65 |
5 |
|
T170 |
2 |
len_keccak_block_sizes[168] |
274 |
1 |
|
|
T14 |
5 |
|
T61 |
1 |
|
T65 |
5 |
len_datapath_width |
14281 |
1 |
|
|
T13 |
3 |
|
T14 |
5 |
|
T15 |
1 |
len_2_63 |
216165 |
1 |
|
|
T1 |
37 |
|
T2 |
374 |
|
T3 |
5 |
len_1 |
51 |
1 |
|
|
T19 |
2 |
|
T170 |
2 |
|
T171 |
3 |