Version 2.57
Very small nasty "bug" corrected: in the newest versions, UPPAAL
verifyta says "Formula is satisfied" instead of "Property is satisfied",
and that was enough to have the UPPAAL parser skip the whole result! Now
I just look for a line that contains "is satisfied", which should make
it safe to work with both old and new UPPAAL versions.