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


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


NO

Problem 1: 

(VAR X Y)
(RULES
filter(s(s(X)),cons(Y)) -> if(divides(s(s(X)),Y))
from(X) -> cons(X)
head(cons(X)) -> X
if(false) -> Y
if(true) -> X
primes -> sieve(from(s(s(0))))
sieve(cons(X)) -> cons(X)
tail(cons(X)) -> Y
)

Problem 1: 

Extra Variables Processor:
-> Rules:
 filter(s(s(X)),cons(Y)) -> if(divides(s(s(X)),Y))
 from(X) -> cons(X)
 head(cons(X)) -> X
 if(false) -> Y
 if(true) -> X
 primes -> sieve(from(s(s(0))))
 sieve(cons(X)) -> cons(X)
 tail(cons(X)) -> Y
-> The system has extra variables.

The problem is infinite.