********Full reachability result******** 52 states reachable. 64 states visited. Number of transitions: 64 Maximal number of clocks: 4 ********Verification Statistics******** Visited States:0 Total Transitions:0 Time Used:0,0585846s Estimated Memory Used:286,72KB