Intel processors (since Haswell, I think) have lower AVX and AVX512 clock speeds than the published base speed.
E.g. per https://en.wikichip.org/wiki/intel/xeon_silver/4116#Frequencies, the Xeon Silver 4116 has an AVX512 base speed of 1.1GHz (with a max all-core turbo of 1.4GHz), vs the non-AVX base clock speed of 2.1GHz.
However, the article computes the potential SP floating point performance using the non-AVX base clock speed while assuming AVX512 instructions (each core doing 32 FLOPS/cycle).