Execution of "se test" started: Tuesday February 27 1:53:49 2024 terminated: Tuesday February 27 1:55:31 2024 (102 elapsed seconds in "/home/et/Liberty/test/lib/automaton/".)