Note: The size is the sum of the numbers of states and transitions.
#T.O.: the number of NBA which are not successfully determinized within 10 mins.
To < Tp: the percentage of NBA for which the constructions in our approach consumes less time than Piterman's.
T.O.: fail to accomplish the transformation within 20 mins.