********Inverse Method Result******** 0 <= Wait11 & 0 <= Wait10 & 0 <= Wait4 & 0 <= Wait1 (TRUE) 1070 states reachable. 1374 states visited. The analysis has been fully deterministic. Number of transitions: 1374 Maximal number of clocks: 4 Inequalities: ********Verification Statistics******** Visited States:0 Total Transitions:0 Time Used:2,3758731s Estimated Memory Used:1775,536KB