Execution of "se test" started: Thursday June 26 9:37:49 2025
                    terminated: Thursday June 26 9:39:31 2025
(102 elapsed seconds in "/home/et/Liberty/test/lib/automaton/".)