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