Execution of "se test" started: Monday May 13 22:53:28 2024
                    terminated: Monday May 13 23:1:50 2024
(502 elapsed seconds in "/home/et/Liberty/test/language/simplify/".)