[]: Open (size=20, cost=0, time=0, max=0, total=8.10623e-06, pending=1)
******* COMPLETION *******
f(X0,X0) -> one
f(one,Y0) -> Y0
f(X0,times(X0,Y0)) -> Y0
g(X0,one) -> X0
g(Y0,Y0) -> one
g(times(X0,Y0),Y0) -> X0
times(one,Y0) -> Y0
times(X0,one) -> X0
**************************
On branch: []
With size, cost: 36, 36
Orientations: 16
Calls to AProVE (all, T, NT, ?): 8, 8, 0, 0
Time (all, branch, AProVE): 0.922408, 0.92103, 0.920191
Time/call in AProVE (Avg, Min, Max): 0.115024, 0.592934, 0.0225999
Time/T-call in AProVE (Avg, Min, Max): 0.115024, 0.592934, 0.593119
All conjectures solved.