Figure 5: Distribution of the analysis times observed for 100 push messages (the blue dotted line shows the average analysis time).