Uppaal sent the message 'Run exceeds 100000 steps: probably Zeno behavior' when I tried to verify the first query 'Pr[rt<=runTime](<> gclock>=runTime)' of the model 'spor-test-0041-Discrete-unsched.xml'. Server sent some wrong data to the GUI.
Please attach the model.
Also, could you be specific about "some wrong data" and what was the expected data?
Created attachment 273 [details]
Verification the query of the model got error message
Created attachment 275 [details]
Model has error