********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:10,517236s
Estimated Memory Used:9528,348KB