Just a side note on benchmark comparisons, the mean time a benchmark takes is often a much more noisy and much less helpful metric than the median or minimum time, because the mean is going to be the most affected by random system noise and outliers, which will basically always bias your statistics in only one direction.
6 Likes