(a) The verification time
(b) The total running time
Figure 2: The simulation results.