********Inverse Method Result********
    0 <= Wait11
& 0 <= Wait10
& 0 <= Wait4
& 0 <= Wait1
 (TRUE)
33716 states reachable.
43472 states visited.
The analysis has been fully deterministic.
Number of transitions: 43472
Maximal number of clocks: 4
Inequalities:
********Verification Statistics********
Visited States:0
Total Transitions:0
Time Used:60,350593s
Estimated Memory Used:26943,636KB