MAYBE 'Pop* (timeout of 60.0 seconds)' -------------------------------- Answer: MAYBE Input Problem: innermost runtime-complexity with respect to Rules: { primes() -> sieve(from(s(s(0())))) , from(X) -> cons(X, from(s(X))) , head(cons(X, Y)) -> X , tail(cons(X, Y)) -> Y , if(true(), X, Y) -> X , if(false(), X, Y) -> Y , filter(s(s(X)), cons(Y, Z)) -> if(divides(s(s(X)), Y), filter(s(s(X)), Z), cons(Y, filter(X, sieve(Y)))) , sieve(cons(X, Y)) -> cons(X, filter(X, sieve(Y)))} Proof Output: The input cannot be shown compatible