[]: Open (size=61, cost=0, time=0, max=0, total=1.5974e-05, pending=1)
[0]: Open (size=61, cost=61, time=1.06265, max=0.778977, total=1.11941, pending=1)
[00]: Open (size=61, cost=61, time=1.13068, max=0.778977, total=1.30146, pending=2)
[000]: Open (size=61, cost=61, time=1.61238, max=0.778977, total=1.82448, pending=3)
[0000]: Open (size=61, cost=61, time=2.17795, max=0.778977, total=2.81835, pending=4)
******* COMPLETION *******
dfib(s(s(X0)),Y0) -> dfib(s(X0),dfib(X0,Y0))
fib(s(s(X0))) -> plus(fib(X0),fib(s(X0)))
plus(plus(X0,Y0),Z0) -> plus(X0,plus(Y0,Z0))
plus(s(X0),Y0) -> s(plus(X0,Y0))
dfib(s(zero),Y0) -> s(Y0)
fib(s(zero)) -> s(zero)
plus(zero,X0) -> X0
dfib(zero,Y0) -> Y0
fib(zero) -> zero
**************************
On branch: [0000]
With size, cost: 61, 61
Orientations: 18
Calls to AProVE (all, T, NT, ?): 13, 13, 0, 0
Time (all, branch, AProVE): 2.823, 2.17795, 2.80943
Time/call in AProVE (Avg, Min, Max): 0.21611, 0.778653, 0.0299771
Time/T-call in AProVE (Avg, Min, Max): 0.21611, 0.778653, 0.778977
All conjectures solved.