[]: Open (size=23, cost=0, time=0, max=0, total=7.86781e-06, pending=1)
[1]: Open (size=23, cost=23, time=0.808634, max=0.779434, total=0.888989, pending=1)
[10]: Open (size=23, cost=23, time=0.850889, max=0.779434, total=0.974051, pending=2)
******* COMPLETION *******
plus(plus(X0,Y0),Z0) -> plus(X0,plus(Y0,Z0))
f(plus(X0,Y0)) -> plus(f(X0),f(Y0))
f(f(X0)) -> X0
**************************
On branch: [10]
With size, cost: 23, 23
Orientations: 6
Calls to AProVE (all, T, NT, ?): 5, 5, 0, 0
Time (all, branch, AProVE): 0.974813, 0.850889, 0.97216
Time/call in AProVE (Avg, Min, Max): 0.194432, 0.77925, 0.02915
Time/T-call in AProVE (Avg, Min, Max): 0.194432, 0.77925, 0.779434
All conjectures solved.