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