********Full reachability result********
33716 states reachable.
43472 states visited.
Number of transitions: 43472
Maximal number of clocks: 4
********Verification Statistics********
Visited States:0
Total Transitions:0
Time Used:54,4698712s
Estimated Memory Used:29917,48KB