Execution of "se test" started: Sunday August 24 23:33:52 2025
                    terminated: Sunday August 24 23:42:11 2025
(499 elapsed seconds in "/home/et/Liberty/test/language/simplify/".)