********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,1862688s
Estimated Memory Used:1367,504KB