Verification time in GUI

32 views

Skip to first unread message

mh z

unread,

Aug 20, 2020, 8:15:47 AM8/20/20

to UPPAAL

Dear sir,

When we verified the same property multiple times in GUI, the verification times are different from each other. Sometimes the time is too long, and some times it becomes to 0ms.

Do you have any idea why this happens?

Thank you so much!

Best wishes,

Kenneth Yrke Joergensen

unread,

Aug 21, 2020, 8:13:35 AM8/21/20

to UPPAAL

UPPAAL will try to reuse the calculated state-space if possible.

To disable this behavior you need to disable "state space reuse" by deselecting reuse in the menu (options - reuse).

Hope this helps, if it does not, please share your model so that we can have a closer look

Regards, Kenneth

Marius Mikučionis

unread,

Aug 21, 2020, 11:15:54 AM8/21/20

to UPPAAL

Hi,

It can also be a symptom of incorrect use of 'meta' specifier (please disregard my message if meta is not used).