********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:91,258684s Estimated Memory Used:26445,248KB