Execution of "se test" started: Sunday November 10 19:59:58 2024
                    terminated: Sunday November 10 20:5:20 2024
(322 elapsed seconds in "/home/et/Liberty/test/language/simplify/inlining/".)