MAYBE 'Pop* with parameter subtitution (timeout of 60.0 seconds)' ----------------------------------------------------------- Answer: MAYBE Input Problem: innermost relative runtime-complexity with respect to Strict Rules: { top(old(x)) -> top(check(x)) , top(new(x)) -> top(check(x))} Weak Rules: { bot() -> new(bot()) , check(new(x)) -> new(check(x)) , check(old(x)) -> old(check(x)) , check(old(x)) -> old(x)} Proof Output: The input cannot be shown compatible