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