Hypothesis test queries reports "roperty not satisfied" even though the property is satisfied.
1. Create automaton (Process) with two locations and one clock x
2. Set invariant of initial location to x<=10
3. add edge from initial location to second location (A)
Run query "Pr[<=100] (<> Process.A) >= 0.7 "
Uppaal should report "property satisfied", but returns "property not satisfied"
Created attachment 251 [details]
Model for reproducing the behaviour