********Inverse Method Result********
    0 <= pDelta
& pDelta < pEpsilon
1987 states reachable.
5793 states visited.
The analysis has been fully deterministic.
Number of transitions: 5781
Maximal number of clocks: 4
Inequalities:
1)     pDelta < pEpsilon
********Verification Statistics********
Visited States:0
Total Transitions:0
Time Used:8,6481508s
Estimated Memory Used:1456,424KB