In the attached model, the property 'E<> deadlock and x < 2' is not satisfied. However, UPPAAL claims it is. Upon generating a witnessing trace, UPPAAL crashes.
Created attachment 99 [details]
Test case in XTA format
Created attachment 100 [details]
Query file for test case
This is also a bug in 3.4.11.
Fixed on the trunk from rev. 1795.