[steveklabnik]

> What kind-of time measurements? What kind-of average?

I interpreted the parent to mean a simple average, so I did exactly that: calculated the percentage for each, and averaged them. In the colloquial term, "mean".

[igouy]

typo ? "the colloquial term" is "average", the specific term is "mean".

[The_rationalist]

Geometric mean is the implicit default measurement for benchmarking