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