********Inverse Method Result******** 0 <= u1 & u1 < u2 3 states reachable. 6 states visited. The analysis has been fully deterministic. Number of transitions: 5 Maximal number of clocks: 2 Inequalities: 1) u1 < u2 ********Verification Statistics******** Visited States:0 Total Transitions:0 Time Used:0,0053832s Estimated Memory Used:42,468KB