Execution of "se test" started: Sunday December 8 2:9:3 2024
                    terminated: Sunday December 8 2:17:19 2024
(496 elapsed seconds in "/home/et/Liberty/test/language/simplify/".)