[]: Open (size=30, cost=0, time=0, max=0, total=7.86781e-06, pending=1)
[1]: Open (size=54, cost=96, time=0.909058, max=0.663958, total=0.967225, pending=1)
[0]: Open (size=54, cost=108, time=0.922583, max=0.663958, total=1.00487, pending=1)
[00]: Open (size=54, cost=90, time=1.06572, max=0.663958, total=1.18102, pending=2)
******* COMPLETION *******
backslash(X0,Y0) -> times(Y0,X0)
slash(X0,Y0) -> times(Y0,X0)
times(X0,times(Y0,X0)) -> Y0
times(times(Y0,X0),Y0) -> X0
**************************
On branch: [00]
With size, cost: 24, 60
Orientations: 22
Calls to AProVE (all, T, NT, ?): 13, 13, 0, 0
Time (all, branch, AProVE): 1.18124, 1.06572, 1.17496
Time/call in AProVE (Avg, Min, Max): 0.0903816, 0.663763, 0.02422
Time/T-call in AProVE (Avg, Min, Max): 0.0903816, 0.663763, 0.663958
All conjectures solved.