MAYBE

'Pop* (timeout of 60.0 seconds)'
--------------------------------
Answer:           MAYBE
Input Problem:    innermost relative runtime-complexity with respect to
  Strict Rules:
    {  n(s(x1)) -> s(x1)
     , o(s(x1)) -> s(x1)}
  Weak Rules:
    {  t(x1) -> t(c(n(x1)))
     , c(n(x1)) -> n(c(x1))
     , c(o(x1)) -> o(c(x1))
     , c(o(x1)) -> o(x1)}

Proof Output:    
  The input cannot be shown compatible