[]: Open (size=12, cost=0, time=0, max=0, total=7.86781e-06, pending=1) ******* COMPLETION ******* f(X0) -> X0 g(g(X0)) -> X0 g(a) -> a ************************** On branch: [] With size, cost: 10, 10 Orientations: 10 Calls to AProVE (all, T, NT, ?): 5, 5, 0, 0 Time (all, branch, AProVE): 0.918642, 0.918129, 0.917709 Time/call in AProVE (Avg, Min, Max): 0.183542, 0.757124, 0.028991 Time/T-call in AProVE (Avg, Min, Max): 0.183542, 0.757124, 0.7573 All conjectures solved.