I’ve looked at a lot of the benchmarks and the difference was in the ballpark of 1-5%, which isn’t dominating from my perspective... did I miss a few?
The main difference is on Intel you get that magical sounding 5ghz number by overclocking, but it's not actually much higher than stock (4.7ghz on the 9900k is the "all-core turbo")