Execution of "se test" started: Monday February 26 20:11:52 2024
                    terminated: Monday February 26 20:28:52 2024
(1020 elapsed seconds in "/home/et/Liberty/test/language/unclassified/alg/".)