Execution of "se test" started: Monday August 25 5:34:44 2025
                    terminated: Monday August 25 5:36:27 2025
(103 elapsed seconds in "/home/et/Liberty/test/lib/automaton/".)