I would be nice if we could provide statistics about runtime, memory usage, etc.
This should be provided in both the GUI and in verifyta.
Some basic statistics can now be extracted from verifyta by using the -u option.
More options will be added over time.
Clarification: This bug is about showing statistics both at runtime (during verification) and after
verification has completed.
I made a small program in Java to provide functionality similar to memtime:
It works in Windows and Linux. Others (Solaris, Mac?) need system manual and a bit more work.
So the plan is to eventually integrate it into progress dialog of Uppaal GUI.
I've got some runtime statistics:
Could you be more specific what information is interesting?
I see only pwlist statistics available as "load" :-/
For verification completion I guess we need:
times: total wall-clock time, user time, kernel/system time;
and memory peaks: virtual, resident.
However, I am not sure how display it in case several properties are verified.
this is fixed on trunk some time ago,
unless there is something more you want to be displayed :-)
The memory usage statistics is implemented in server but not reported in verifyta.
I could find some time to nail this since I did the server part.
(feel free to assign this bug to me)