[]: Open (size=26, cost=0, time=0, max=0, total=1.50204e-05, pending=1)
******* COMPLETION *******
f(g(X0),Y0) -> a
k(a,a) -> a
h(X0) -> a
**************************
On branch: []
With size, cost: 12, 18
Orientations: 8
Calls to AProVE (all, T, NT, ?): 4, 4, 0, 0
Time (all, branch, AProVE): 0.764458, 0.763966, 0.763401
Time/call in AProVE (Avg, Min, Max): 0.19085, 0.657532, 0.021075
Time/T-call in AProVE (Avg, Min, Max): 0.19085, 0.657532, 0.65788
All conjectures solved.