[]: Open (size=43, cost=0, time=0, max=0, total=1.5974e-05, pending=1)
[0]: Open (size=43, cost=43, time=0.970593, max=0.809475, total=0.998167, pending=1)
[00]: Open (size=43, cost=43, time=1.03266, max=0.809475, total=1.12152, pending=2)
[1]: Open (size=43, cost=51, time=0.955822, max=0.809475, total=1.25369, pending=3)
[01]: Open (size=43, cost=55, time=1.03098, max=0.809475, total=1.32582, pending=4)
[001]: Open (size=43, cost=57, time=1.08036, max=0.809475, total=1.44698, pending=5)
[0010]: Open (size=48, cost=54, time=1.15162, max=0.809475, total=1.54565, pending=6)
******* COMPLETION *******
f(f(Y0,zero),zero) -> Y0
f(g(X0,Y0),zero) -> g(s(X0),Y0)
f(s(X0),Y0) -> s(f(X0,Y0))
s(s(X0)) -> X0
g(zero,Y0) -> Y0
f(zero,Y0) -> Y0
h(zero) -> s(zero)
g(s(zero),Y0) -> f(Y0,zero)
**************************
On branch: [0010]
With size, cost: 46, 46
Orientations: 20
Calls to AProVE (all, T, NT, ?): 16, 16, 0, 0
Time (all, branch, AProVE): 1.65073, 1.25616, 1.64289
Time/call in AProVE (Avg, Min, Max): 0.102681, 0.809109, 0.0252519
Time/T-call in AProVE (Avg, Min, Max): 0.102681, 0.809109, 0.809475
All conjectures solved.