Statistics for A Study on the Acceleration of Arrival Curve Construction and Regular Specification Mining using GPUs