Additionally, the excel file Download excel file Download excel filecontains the JetBlue flights and deicing schedule:
Column B contains the departure times as in exhibit 5 of the case, from the earliest to the latest.
Column C has the start time of the deicing. For every flight k, this would correspond to the maximum between the departure time of the current flight k and the end time of deicing for the flight k-4.
Column D has the end time of deicing, which corresponds to the start time of deicing plus 1 hour.
Columns J, K, and L enable building the queue at the gate. Each time a plane departs, it will enter the queue, and each time the de-icing of a plane ends, it will exit the queue.
Columns N and O extend columns I and L to get the queue length at any time of the day.