A procedure for thinning the schedule of time-out

A procedure for thinning the schedule of time-out