********Full reachability result******** 8 states reachable. 14 states visited. Number of transitions: 14 Maximal number of clocks: 2 ********Verification Statistics******** Visited States:0 Total Transitions:0 Time Used:0,0075639s Estimated Memory Used:40,964KB