Would 12:15.52 get rounded up to 12:16 or down to 12:15? I'm new to speed running, so I have no clue.