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