Execution of "se test" started: Tuesday February 27 6:56:16 2024
                    terminated: Tuesday February 27 7:20:56 2024
(1480 elapsed seconds in "/home/et/Liberty/test/lib/numeric/real/".)