trajectory analysis forced to be computed in shared memory
global robustness skipped (it takes too much time)
cancel the computation when time is out
added priority to simple offerer and enabled some advanced configuration in validity regions computation #131
bug fixed
increased minimum number of emitted instances
Merge branch 'master' into stlstar