********Full reachability result******** 233 states reachable. 296 states visited. Number of transitions: 296 Maximal number of clocks: 4 ********Verification Statistics******** Visited States:0 Total Transitions:0 Time Used:0,3000894s Estimated Memory Used:1515,52KB