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


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


NO

Problem 1: 

(VAR X Y)
(RULES
add(0) -> X
add(s) -> s
and(false) -> false
and(true) -> X
first(0,X) -> nil
first(s,cons) -> cons
from -> cons
if(false) -> Y
if(true) -> X
)

Problem 1: 

Extra Variables Processor:
-> Rules:
 add(0) -> X
 add(s) -> s
 and(false) -> false
 and(true) -> X
 first(0,X) -> nil
 first(s,cons) -> cons
 from -> cons
 if(false) -> Y
 if(true) -> X
-> The system has extra variables.

The problem is infinite.