[]: Open (size=14, cost=0, time=0, max=0, total=8.10623e-06, pending=1)
******* COMPLETION *******
f(X0,Y1) -> X0
g(g(X0)) -> X0
**************************
On branch: []
With size, cost: 8, 8
Orientations: 8
Calls to AProVE (all, T, NT, ?): 4, 4, 0, 0
Time (all, branch, AProVE): 0.746516, 0.745781, 0.745375
Time/call in AProVE (Avg, Min, Max): 0.186344, 0.655026, 0.023937
Time/T-call in AProVE (Avg, Min, Max): 0.186344, 0.655026, 0.655235
All conjectures solved.