********Full reachability result******** 13578 states reachable. 20262 states visited. Number of transitions: 20262 Maximal number of clocks: 2 ********Verification Statistics******** Visited States:0 Total Transitions:0 Time Used:21,0013232s Estimated Memory Used:9185,172KB