MAYBE 0.00/0.01 The problem does not contain well-formed TRSs: 0.00/0.01 Strict Trs: 0.00/0.01 { tail(cons(X)) -> Y 0.00/0.02 , if(true()) -> X 0.00/0.02 , if(false()) -> Y 0.00/0.02 , primes() -> sieve(from(s(s(0())))) 0.00/0.02 , sieve(cons(X)) -> cons(X) 0.00/0.02 , from(X) -> cons(X) 0.00/0.02 , head(cons(X)) -> X 0.00/0.02 , filter(s(s(X)), cons(Y)) -> if(divides(s(s(X)), Y)) } 0.00/0.02 StartTerms: all 0.00/0.02 Strategy: none 0.00/0.02 EOF