[]: Open (size=19, cost=0, time=0, max=0, total=2.09808e-05, pending=1)
[1]: Open (size=19, cost=19, time=0.758225, max=0.720429, total=0.802382, pending=1)
******* COMPLETION *******
f(h(X0),Y0) -> j(h(X0))
f(X0,h(Y0)) -> j(X0)
i(X0) -> g(f(X0,X0))
**************************
On branch: [1]
With size, cost: 19, 19
Orientations: 6
Calls to AProVE (all, T, NT, ?): 4, 4, 0, 0
Time (all, branch, AProVE): 0.842227, 0.797361, 0.840265
Time/call in AProVE (Avg, Min, Max): 0.210066, 0.720047, 0.037724
Time/T-call in AProVE (Avg, Min, Max): 0.210066, 0.720047, 0.720429
All conjectures solved.