Great write-up, thanks a lot! If I may come with a suggestion, please round all the running times to significant digits. Reading 100s of numbers of the form 8

Great write-up, thanks a lot! If I may come with a suggestion, please round all the running times to significant digits. Reading 100s of numbers of the form 8.327305 becomes hard in the end, and I'd wager it's actually not more accurate than saying 8.3, or even 8. The only place where you seem to need 2 digits is when comparing the hashes, 0.07 vs 0.01. Please always round to a meaningful number of significant digits.