When verifying a query and requesting a trace, the server crashes when a
"shortest" or "best" trace is requested. The "some" and "fastest" traces do work.
The best trace option is a CORA feature and should not be included in UPPAAL. I will investigate the
problem with generating shortest traces.
A fix has been checked into CVS. Resolving bug.