Execution of "se test" started: Tuesday July 1 9:31:11 2025
                    terminated: Tuesday July 1 9:39:24 2025
(493 elapsed seconds in "/home/et/Liberty/test/language/simplify/".)