********Inverse Method Result******** 0 <= Wait11 & 0 <= Wait10 & 0 <= Wait4 & 0 <= Wait1 (TRUE) 5567 states reachable. 7172 states visited. The analysis has been fully deterministic. Number of transitions: 7172 Maximal number of clocks: 4 Inequalities: ********Verification Statistics******** Visited States:0 Total Transitions:0 Time Used:7,8256351s Estimated Memory Used:6826,88KB