The bug happens only on windows 64.
The UPPAAL verification dose not work very well. I have got wrong result.
I tried to verify the queries of the model '2doors.xml'. But I got wrong result. The Uppaal system is broken when I tried to verify another query.
I am taking over this experimental version :-)