Execution of "se test" started: Monday June 27 14:6:29 2022
                    terminated: Monday June 27 14:8:10 2022
(101 elapsed seconds in "/home/et/Liberty/test/lib/automaton/".)