MAYBE 'Pop* with parameter subtitution (timeout of 60.0 seconds)' ----------------------------------------------------------- Answer: MAYBE Input Problem: innermost runtime-complexity with respect to Rules: { f(s(x1)) -> s(s(f(p(s(x1))))) , f(0(x1)) -> 0(x1) , p(s(x1)) -> x1} Proof Output: The input cannot be shown compatible