********Inverse Method Result********
    0 <= pDelta
& pDelta < pEpsilon
313 states reachable.
736 states visited.
The analysis has been fully deterministic.
Number of transitions: 730
Maximal number of clocks: 3
Inequalities:
1)     pDelta < pEpsilon
********Verification Statistics********
Visited States:0
Total Transitions:0
Time Used:0,7226964s
Estimated Memory Used:1679,36KB