Execution of "se test" started: Sunday December 28 6:54:3 2025
                    terminated: Sunday December 28 7:2:58 2025
(535 elapsed seconds in "/home/et/Liberty/test/language/simplify/".)