MAYBE

'epo* (timeout of 60.0 seconds)'
--------------------------------
Answer:           MAYBE
Input Problem:    innermost relative runtime-complexity with respect to
  Strict Rules: {f(s(x), y) -> f(-(s(x), y), y)}
  Weak Rules:
    {  +(0(), y) -> y
     , +(s(x), y) -> s(+(x, y))
     , -(x, 0()) -> x
     , -(0(), y) -> 0()
     , -(s(x), s(y)) -> -(x, y)
     , f(x, y) -> f(x, +(x, y))}

Proof Output:    
  EPO* only applicable for innermost runtime complexity analysis of constructor TRSs