********Full reachability result********
1070 states reachable.
1374 states visited.
Number of transitions: 1374
Maximal number of clocks: 4
********Verification Statistics********
Visited States:0
Total Transitions:0
Time Used:1,7416179s
Estimated Memory Used:4347,936KB