********Inverse Method Result******** 0 <= d11 & 0 <= d13 & d11+d12 <= d21 & d11+d13 <= d23 & d11+d13 <= d24 & d11 < d23 & d11 < d24 & d12 < d21 & d12 < d22 & d13 < d23 & d13 < d24 & d14 < d21 & d14 < d22 & d21 < d12+d14 & d22 < d12+d14 & d23 < d12 & d23 < d14 & d24 < d12 & d24 < d14 877 states reachable. 1549 states visited. The analysis has been fully deterministic. Number of transitions: 1497 Maximal number of clocks: 2 Inequalities: 1) d13 < d22 2) d11 < d22 3) d13 < d23 4) d12 < d22 5) d11 < d23 6) d13 < d21 7) d14 < d22 8) d22 < d12+d14 9) d23 < d12 10) d11 < d21 11) d13 < d24 12) d23 < d14 13) d12 < d21+d23 14) d12 < d21 15) d11 < d24 16) d14 < d21+d23 17) d14 < d21 18) d21 < d12+d14 19) d24 < d12 20) d24 < d14 ********Verification Statistics******** Visited States:0 Total Transitions:0 Time Used:22,7666725s Estimated Memory Used:1573,204KB