********Inverse Method Result********
    0 <= pDelta
& pDelta < pEpsilon
11081 states reachable.
31464 states visited.
The analysis has been fully deterministic.
Number of transitions: 31452
Maximal number of clocks: 4
Inequalities:
1)     pDelta < pEpsilon
********Verification Statistics********
Visited States:0
Total Transitions:0
Time Used:41,9064718s
Estimated Memory Used:9097,372KB