The serve clock reduced rule violations, but did not speed up the game: A closer look at the inter-point time at the 2018 US Open