MAYBE

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

Proof Output:    
  The input cannot be shown compatible