Execution of "se test" started: Monday May 13 17:40:55 2024
                    terminated: Monday May 13 18:11:59 2024
(1864 elapsed seconds in "/home/et/Liberty/test/language/assertion/".)