MAYBE

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

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