MAYBE

'epo* (timeout of 60.0 seconds)'
--------------------------------
Answer:           MAYBE
Input Problem:    innermost relative runtime-complexity with respect to
  Strict Rules:
    {  a(b(x1)) -> a(x1)
     , d(b(x1)) -> b(x1)
     , d(c(x1)) -> c(x1)}
  Weak Rules:
    {  a(x1) -> d(a(x1))
     , c(x1) -> c(b(x1))}

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