Execution of "se test" started: Wednesday October 23 7:45:15 2024
                    terminated: Wednesday October 23 7:53:28 2024
(493 elapsed seconds in "/home/et/Liberty/test/language/simplify/".)