[]: Open (size=32, cost=0, time=0, max=0, total=9.05991e-06, pending=1)
[1]: Open (size=32, cost=68, time=0.765118, max=0.60642, total=0.793634, pending=1)
[0]: Open (size=32, cost=108, time=0.7532, max=0.60642, total=0.920184, pending=2)
[10]: Open (size=32, cost=108, time=0.832757, max=0.60642, total=1.05062, pending=3)
[00]: Open (size=32, cost=122, time=0.814031, max=0.60642, total=1.14316, pending=3)
[10]: Open (size=71, cost=134, time=0.920841, max=0.60642, total=1.27377, pending=3)
[11]: Open (size=32, cost=144, time=0.822522, max=0.60642, total=1.31528, pending=3)
[10]: Open (size=80, cost=156, time=0.960237, max=0.60642, total=1.58736, pending=3)
[11]: Open (size=111, cost=156, time=1.08794, max=0.60642, total=1.63766, pending=3)
[01]: Open (size=32, cost=162, time=0.821002, max=0.60642, total=1.67028, pending=3)
[10]: Open (size=111, cost=175, time=1.00863, max=0.60642, total=1.8224, pending=3)
[00]: Open (size=52, cost=189, time=0.937001, max=0.60642, total=1.8993, pending=3)
[11]: Open (size=111, cost=235, time=1.11795, max=0.60642, total=1.99012, pending=3)
[10]: Open (size=111, cost=254, time=1.08283, max=0.60642, total=2.02378, pending=3)
[01]: Open (size=52, cost=254, time=0.965609, max=0.60642, total=2.04995, pending=3)
[00]: Open (size=78, cost=294, time=1.0195, max=0.60642, total=2.10506, pending=3)
******* COMPLETION *******
f(f(X2,i(X0)),X0) -> X2
f(i(X0),X0) -> e
i(i(X0)) -> X0
i(f(Y0,X0)) -> f(i(X0),i(Y0))
i(e) -> e
f(e,X0) -> X0
f(X0,e) -> X0
f(X0,i(X0)) -> e
f(X0,f(Y0,Z0)) -> f(f(X0,Y0),Z0)
f(f(X1,X0),i(X0)) -> X1
**************************
On branch: [00]
With size, cost: 58, 82
Orientations: 62
Calls to AProVE (all, T, NT, ?): 34, 34, 0, 0
Time (all, branch, AProVE): 2.49584, 1.39872, 2.41384
Time/call in AProVE (Avg, Min, Max): 0.0709952, 0.606227, 0.0216601
Time/T-call in AProVE (Avg, Min, Max): 0.0709952, 0.606227, 0.60642
All conjectures solved.