********Full reachability result******** 11872 states reachable. 17387 states visited. Number of transitions: 17387 Maximal number of clocks: 2 ********Verification Statistics******** Visited States:0 Total Transitions:0 Time Used:18,1410164s Estimated Memory Used:7679,208KB