Execution of "se test" started: Monday February 26 19:59:58 2024
                    terminated: Monday February 26 20:8:21 2024
(503 elapsed seconds in "/home/et/Liberty/test/language/simplify/".)