[]: Open (size=19, cost=0, time=0, max=0, total=2.19345e-05, pending=1)
[0]: Open (size=19, cost=33, time=0.718118, max=0.600657, total=0.741366, pending=1)
[1]: Open (size=19, cost=89, time=0.711937, max=0.600657, total=0.789614, pending=1)
[0]: Open (size=50, cost=96, time=0.765319, max=0.600657, total=0.876986, pending=1)
[1]: Open (size=78, cost=163, time=0.796941, max=0.600657, total=1.09687, pending=1)
[0]: Open (size=65, cost=332, time=0.979544, max=0.600657, total=1.32363, pending=1)
[1]: Open (size=133, cost=649, time=0.999214, max=0.600657, total=1.71702, pending=1)
[0]: Open (size=191, cost=724, time=1.32847, max=0.600657, total=1.77512, pending=1)
[1]: Open (size=94, cost=1019, time=1.02869, max=0.600657, total=1.86742, pending=1)
[0]: Open (size=144, cost=1098, time=1.38383, max=0.600657, total=1.98065, pending=1)
[00]: Open (size=183, cost=263, time=1.48934, max=0.600657, total=2.22494, pending=2)
******* COMPLETION *******
i(f(Y0,Z0)) -> f(i(Z0),i(Y0))
f(i(X2),X2) -> e
i(i(X2)) -> X2
f(e,X0) -> X0
f(X0,f(Y0,Z0)) -> f(f(X0,Y0),Z0)
f(X0,i(X0)) -> e
f(X0,e) -> X0
f(f(X1,X0),i(X0)) -> X1
i(e) -> e
f(f(X1,i(X2)),X2) -> X1
**************************
On branch: [00]
With size, cost: 58, 138
Orientations: 56
Calls to AProVE (all, T, NT, ?): 30, 30, 0, 0
Time (all, branch, AProVE): 2.22687, 1.48934, 1.94682
Time/call in AProVE (Avg, Min, Max): 0.064894, 0.600286, 0.0218771
Time/T-call in AProVE (Avg, Min, Max): 0.064894, 0.600286, 0.600657
All conjectures solved.