********Full reachability result******** 7216 states reachable. 13361 states visited. Number of transitions: 13361 Maximal number of clocks: 6 ********Verification Statistics******** Visited States:0 Total Transitions:0 Time Used:14,2254284s Estimated Memory Used:5066,944KB