When running a uppaal server on Lisa.cs.aau.dk, the memory does not get flushed when a certain property is satisfied. In my model which currently uses about 25% of the memory to complete a property, will when i check another property start with using 25% memory. However this does not happen if the connection to the server is lost, then it will start from 0% memory.
Without a model, the queries and instructions on how to reproduce the problem, there is not much we can do to resolve the problem... Please attach the missing files.
Created attachment 147 [details] The model
Created attachment 148 [details] The query
Its best to use DFS and shortest in diagnostic trace to reproduce the problem, as it will use a lot of memmory then.
Created attachment 149 [details] The model new version
Do you also see this behavior when the reuse option is turned off?
The problem is not related to checking multiple properties. It is in fact a memory leak in the pruning logic used when optimizing trace length.
Fixed on the 4.0 branch from rev. 2981.