4 ms·

True. I think they're counting duplicated code though. I don't see any mention of de-duplication in their paper.