/export/starexec/sandbox2/solver/bin/starexec_run_Default /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files


--------------------------------------------------------------------------------


NO
Input TRS:
    1: tail(cons(X)) -> Y
    2: if(true()) -> X
    3: if(false()) -> Y
    4: primes() -> sieve(from(s(s(0()))))
    5: from(X) -> cons(X)
    6: head(cons(X)) -> X
    7: filter(s(s(X)),cons(Y)) -> if(divides(s(s(X)),Y))
    8: sieve(cons(X)) -> cons(X)
Extra variable in rule 2.