********Inverse Method Result******** 0 <= u2 & u2 <= u1 8 states reachable. 14 states visited. The analysis has been fully deterministic. Number of transitions: 14 Maximal number of clocks: 2 Inequalities: ********Verification Statistics******** Visited States:0 Total Transitions:0 Time Used:0,0083843s Estimated Memory Used:52,012KB