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