Created attachment 264 [details]
When I try to run query "E<> (counter_MP3==20&counter_SRC==48&counter_DAC==15360)" for attached model and use "Fastest Trace", server crashes. Can you please look into this as soon as possible?
I am using uppaal 4.0.13 on Windows 7.
Thank you very much in anticipation.
University of Twente