5 ms·

Fair enough, that calculation is still a bit off if they used 128 cores (16x instead of 8x). Not that it really matters...