[]: Open (size=9, cost=0, time=0, max=0, total=8.10623e-06, pending=1) [0]: Open (size=10, cost=14, time=0.824121, max=0.791133, total=0.885121, pending=1) ******* COMPLETION ******* g(g(g(X0))) -> X0 f(X0) -> g(g(X0)) ************************** On branch: [0] With size, cost: 10, 14 Orientations: 6 Calls to AProVE (all, T, NT, ?): 4, 4, 0, 0 Time (all, branch, AProVE): 0.989933, 0.928624, 0.98902 Time/call in AProVE (Avg, Min, Max): 0.247255, 0.790945, 0.0329461 Time/T-call in AProVE (Avg, Min, Max): 0.247255, 0.790945, 0.791133 All conjectures solved.