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