Source : WordNet®

extra time
     n : playing time beyond regulation, to break a tie [syn: {overtime}]
         [ant: {regulation time}]