These times are for spinning-platter hard drives. I wonder what the numbers look like on a modern SSD?