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


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


NO

Problem 1: 

(VAR I P X Y Z)
(RULES
__(__(X,Y),Z) -> __(X,__(Y,Z))
__(nil,X) -> X
__(X,nil) -> X
and(tt) -> X
isNePal(__(I,__(P,I))) -> tt
)

Problem 1: 

Extra Variables Processor:
-> Rules:
 __(__(X,Y),Z) -> __(X,__(Y,Z))
 __(nil,X) -> X
 __(X,nil) -> X
 and(tt) -> X
 isNePal(__(I,__(P,I))) -> tt
-> The system has extra variables.

The problem is infinite.