MAYBE 'Pop* (timeout of 60.0 seconds)' -------------------------------- Answer: MAYBE Input Problem: innermost runtime-complexity with respect to Rules: { g(X) -> u(h(X), h(X), X) , u(d(), c(Y), X) -> k(Y) , h(d()) -> c(a()) , h(d()) -> c(b()) , f(k(a()), k(b()), X) -> f(X, X, X)} Proof Output: The input cannot be shown compatible The following warning(s) occured: Warning when parsing problem: Unsupported strategy 'OUTERMOST'