********Full reachability result******** 5567 states reachable. 7172 states visited. Number of transitions: 7172 Maximal number of clocks: 4 ********Verification Statistics******** Visited States:0 Total Transitions:0 Time Used:9,5439497s Estimated Memory Used:-2581,992KB