MAYBE

'Pop* with parameter subtitution (timeout of 60.0 seconds)'
-----------------------------------------------------------
Answer:           MAYBE
Input Problem:    innermost runtime-complexity with respect to
  Rules:
    {  app(nil(), y) -> y
     , app(add(n, x), y) -> add(n, app(x, y))
     , reverse(nil()) -> nil()
     , reverse(add(n, x)) -> app(reverse(x), add(n, nil()))
     , shuffle(nil()) -> nil()
     , shuffle(add(n, x)) -> add(n, shuffle(reverse(x)))}

Proof Output:    
  The input cannot be shown compatible