[]: Open (size=11, cost=0, time=0, max=0, total=7.86781e-06, pending=1) [1]: Open (size=11, cost=11, time=0.014894, max=0.014894, total=0.953091, pending=1) ******* COMPLETION ******* g(X0) -> f(f(X0)) ************************** On branch: [1] With size, cost: 5, 5 Orientations: 2 Calls to AProVE (all, T, NT, ?): 2, 2, 0, 0 Time (all, branch, AProVE): 0.953193, 0.014894, 0.952663 Time/call in AProVE (Avg, Min, Max): 0.476332, 0.937802, 0.0148611 Time/T-call in AProVE (Avg, Min, Max): 0.476332, 0.937802, 0.014894 All conjectures solved.