/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 Z)
(RULES
__(__(X,Y),Z) -> __(X,__(Y,Z))
__(nil,X) -> X
__(X,nil) -> X
and(tt) -> X
isList -> and(isList)
isList -> isNeList
isList -> tt
isNeList -> and(isList)
isNeList -> and(isNeList)
isNeList -> isQid
isNePal -> and(isQid)
isNePal -> isQid
isPal -> isNePal
isPal -> tt
isQid -> tt
)

Problem 1: 

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

The problem is infinite.