********Inverse Method Result******** 0 <= pDelta & pDelta < pEpsilon 133363 states reachable. 447493 states visited. The analysis has been fully deterministic. Number of transitions: 447473 Maximal number of clocks: 5 Inequalities: 1) pDelta < pEpsilon ********Verification Statistics******** Visited States:0 Total Transitions:0 Time Used:1175,9811553s Estimated Memory Used:72660,76KB