In the attached system, the property E<> not deadlock is satisfied (the initial state is not deadlocked). However, UPPAAL states that this property is not satisfied. The normal case of E<> deadlock or A not deadlock is not affected.
Normally, I clasify wrong verification results as critical, however the practical use of such a property is limitted.
BTW: This also affects 3.4.11.
Created attachment 97 [details]
Test case in XTA format
Created attachment 98 [details]
Query file for test case
Fixed on the trunk from rev. 1790.