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