Execution of "se test" started: Sunday December 28 13:17:44 2025
                    terminated: Sunday December 28 13:19:25 2025
(101 elapsed seconds in "/home/et/Liberty/test/lib/automaton/".)