SUCCESS
0.78 (total time)

COMPLETED TRS
p(x) -> -(x, s(0))
-(s(x), s(y)) -> -(x, y)
-(x, 0) -> x
dfib(0) -> s(0)
dfib(s(0)) -> s(0)
dfib(s(s(x))) -> +(dfib(s(x)), +(dfib(x), dfib(x)))
+(x, 0) -> x
+(x, s(y)) -> s(+(x, y))
fib(0) -> s(0)
fib(s(0)) -> s(0)
fib(s(s(x))) -> +(fib(s(x)), fib(x))