/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 Z)
(RULES
U11(tt) -> U12(isPalListKind)
U12(tt) -> U13(isNeList)
U13(tt) -> tt
U21(tt) -> U22(isPalListKind)
U22(tt) -> U23(isPalListKind)
U23(tt) -> U24(isPalListKind)
U24(tt) -> U25(isList)
U25(tt) -> U26(isList)
U26(tt) -> tt
U31(tt) -> U32(isPalListKind)
U32(tt) -> U33(isQid)
U33(tt) -> tt
U41(tt) -> U42(isPalListKind)
U42(tt) -> U43(isPalListKind)
U43(tt) -> U44(isPalListKind)
U44(tt) -> U45(isList)
U45(tt) -> U46(isNeList)
U46(tt) -> tt
U51(tt) -> U52(isPalListKind)
U52(tt) -> U53(isPalListKind)
U53(tt) -> U54(isPalListKind)
U54(tt) -> U55(isNeList)
U55(tt) -> U56(isList)
U56(tt) -> tt
U61(tt) -> U62(isPalListKind)
U62(tt) -> U63(isQid)
U63(tt) -> tt
U71(tt) -> U72(isPalListKind)
U72(tt) -> U73(isPal)
U73(tt) -> U74(isPalListKind)
U74(tt) -> tt
U81(tt) -> U82(isPalListKind)
U82(tt) -> U83(isNePal)
U83(tt) -> tt
U91(tt) -> U92(isPalListKind)
U92(tt) -> tt
__(__(X,Y),Z) -> __(X,__(Y,Z))
__(nil,X) -> X
__(X,nil) -> X
isList -> U11(isPalListKind)
isList -> U21(isPalListKind)
isList -> tt
isNeList -> U31(isPalListKind)
isNeList -> U41(isPalListKind)
isNeList -> U51(isPalListKind)
isNePal -> U61(isPalListKind)
isNePal -> U71(isQid)
isPal -> U81(isPalListKind)
isPal -> tt
isPalListKind -> U91(isPalListKind)
isPalListKind -> tt
isQid -> tt
)

Problem 1: 

Dependency Pairs Processor:
-> Pairs:
 U11#(tt) -> U12#(isPalListKind)
 U11#(tt) -> ISPALLISTKIND
 U12#(tt) -> U13#(isNeList)
 U12#(tt) -> ISNELIST
 U21#(tt) -> U22#(isPalListKind)
 U21#(tt) -> ISPALLISTKIND
 U22#(tt) -> U23#(isPalListKind)
 U22#(tt) -> ISPALLISTKIND
 U23#(tt) -> U24#(isPalListKind)
 U23#(tt) -> ISPALLISTKIND
 U24#(tt) -> U25#(isList)
 U24#(tt) -> ISLIST
 U25#(tt) -> U26#(isList)
 U25#(tt) -> ISLIST
 U31#(tt) -> U32#(isPalListKind)
 U31#(tt) -> ISPALLISTKIND
 U32#(tt) -> U33#(isQid)
 U32#(tt) -> ISQID
 U41#(tt) -> U42#(isPalListKind)
 U41#(tt) -> ISPALLISTKIND
 U42#(tt) -> U43#(isPalListKind)
 U42#(tt) -> ISPALLISTKIND
 U43#(tt) -> U44#(isPalListKind)
 U43#(tt) -> ISPALLISTKIND
 U44#(tt) -> U45#(isList)
 U44#(tt) -> ISLIST
 U45#(tt) -> U46#(isNeList)
 U45#(tt) -> ISNELIST
 U51#(tt) -> U52#(isPalListKind)
 U51#(tt) -> ISPALLISTKIND
 U52#(tt) -> U53#(isPalListKind)
 U52#(tt) -> ISPALLISTKIND
 U53#(tt) -> U54#(isPalListKind)
 U53#(tt) -> ISPALLISTKIND
 U54#(tt) -> U55#(isNeList)
 U54#(tt) -> ISNELIST
 U55#(tt) -> U56#(isList)
 U55#(tt) -> ISLIST
 U61#(tt) -> U62#(isPalListKind)
 U61#(tt) -> ISPALLISTKIND
 U62#(tt) -> U63#(isQid)
 U62#(tt) -> ISQID
 U71#(tt) -> U72#(isPalListKind)
 U71#(tt) -> ISPALLISTKIND
 U72#(tt) -> U73#(isPal)
 U72#(tt) -> ISPAL
 U73#(tt) -> U74#(isPalListKind)
 U73#(tt) -> ISPALLISTKIND
 U81#(tt) -> U82#(isPalListKind)
 U81#(tt) -> ISPALLISTKIND
 U82#(tt) -> U83#(isNePal)
 U82#(tt) -> ISNEPAL
 U91#(tt) -> U92#(isPalListKind)
 U91#(tt) -> ISPALLISTKIND
 __#(__(X,Y),Z) -> __#(X,__(Y,Z))
 __#(__(X,Y),Z) -> __#(Y,Z)
 ISLIST -> U11#(isPalListKind)
 ISLIST -> U21#(isPalListKind)
 ISLIST -> ISPALLISTKIND
 ISNELIST -> U31#(isPalListKind)
 ISNELIST -> U41#(isPalListKind)
 ISNELIST -> U51#(isPalListKind)
 ISNELIST -> ISPALLISTKIND
 ISNEPAL -> U61#(isPalListKind)
 ISNEPAL -> U71#(isQid)
 ISNEPAL -> ISPALLISTKIND
 ISNEPAL -> ISQID
 ISPAL -> U81#(isPalListKind)
 ISPAL -> ISPALLISTKIND
 ISPALLISTKIND -> U91#(isPalListKind)
 ISPALLISTKIND -> ISPALLISTKIND
-> Rules:
 U11(tt) -> U12(isPalListKind)
 U12(tt) -> U13(isNeList)
 U13(tt) -> tt
 U21(tt) -> U22(isPalListKind)
 U22(tt) -> U23(isPalListKind)
 U23(tt) -> U24(isPalListKind)
 U24(tt) -> U25(isList)
 U25(tt) -> U26(isList)
 U26(tt) -> tt
 U31(tt) -> U32(isPalListKind)
 U32(tt) -> U33(isQid)
 U33(tt) -> tt
 U41(tt) -> U42(isPalListKind)
 U42(tt) -> U43(isPalListKind)
 U43(tt) -> U44(isPalListKind)
 U44(tt) -> U45(isList)
 U45(tt) -> U46(isNeList)
 U46(tt) -> tt
 U51(tt) -> U52(isPalListKind)
 U52(tt) -> U53(isPalListKind)
 U53(tt) -> U54(isPalListKind)
 U54(tt) -> U55(isNeList)
 U55(tt) -> U56(isList)
 U56(tt) -> tt
 U61(tt) -> U62(isPalListKind)
 U62(tt) -> U63(isQid)
 U63(tt) -> tt
 U71(tt) -> U72(isPalListKind)
 U72(tt) -> U73(isPal)
 U73(tt) -> U74(isPalListKind)
 U74(tt) -> tt
 U81(tt) -> U82(isPalListKind)
 U82(tt) -> U83(isNePal)
 U83(tt) -> tt
 U91(tt) -> U92(isPalListKind)
 U92(tt) -> tt
 __(__(X,Y),Z) -> __(X,__(Y,Z))
 __(nil,X) -> X
 __(X,nil) -> X
 isList -> U11(isPalListKind)
 isList -> U21(isPalListKind)
 isList -> tt
 isNeList -> U31(isPalListKind)
 isNeList -> U41(isPalListKind)
 isNeList -> U51(isPalListKind)
 isNePal -> U61(isPalListKind)
 isNePal -> U71(isQid)
 isPal -> U81(isPalListKind)
 isPal -> tt
 isPalListKind -> U91(isPalListKind)
 isPalListKind -> tt
 isQid -> tt

Problem 1: 

Infinite Processor:
-> Pairs:
 U11#(tt) -> U12#(isPalListKind)
 U11#(tt) -> ISPALLISTKIND
 U12#(tt) -> U13#(isNeList)
 U12#(tt) -> ISNELIST
 U21#(tt) -> U22#(isPalListKind)
 U21#(tt) -> ISPALLISTKIND
 U22#(tt) -> U23#(isPalListKind)
 U22#(tt) -> ISPALLISTKIND
 U23#(tt) -> U24#(isPalListKind)
 U23#(tt) -> ISPALLISTKIND
 U24#(tt) -> U25#(isList)
 U24#(tt) -> ISLIST
 U25#(tt) -> U26#(isList)
 U25#(tt) -> ISLIST
 U31#(tt) -> U32#(isPalListKind)
 U31#(tt) -> ISPALLISTKIND
 U32#(tt) -> U33#(isQid)
 U32#(tt) -> ISQID
 U41#(tt) -> U42#(isPalListKind)
 U41#(tt) -> ISPALLISTKIND
 U42#(tt) -> U43#(isPalListKind)
 U42#(tt) -> ISPALLISTKIND
 U43#(tt) -> U44#(isPalListKind)
 U43#(tt) -> ISPALLISTKIND
 U44#(tt) -> U45#(isList)
 U44#(tt) -> ISLIST
 U45#(tt) -> U46#(isNeList)
 U45#(tt) -> ISNELIST
 U51#(tt) -> U52#(isPalListKind)
 U51#(tt) -> ISPALLISTKIND
 U52#(tt) -> U53#(isPalListKind)
 U52#(tt) -> ISPALLISTKIND
 U53#(tt) -> U54#(isPalListKind)
 U53#(tt) -> ISPALLISTKIND
 U54#(tt) -> U55#(isNeList)
 U54#(tt) -> ISNELIST
 U55#(tt) -> U56#(isList)
 U55#(tt) -> ISLIST
 U61#(tt) -> U62#(isPalListKind)
 U61#(tt) -> ISPALLISTKIND
 U62#(tt) -> U63#(isQid)
 U62#(tt) -> ISQID
 U71#(tt) -> U72#(isPalListKind)
 U71#(tt) -> ISPALLISTKIND
 U72#(tt) -> U73#(isPal)
 U72#(tt) -> ISPAL
 U73#(tt) -> U74#(isPalListKind)
 U73#(tt) -> ISPALLISTKIND
 U81#(tt) -> U82#(isPalListKind)
 U81#(tt) -> ISPALLISTKIND
 U82#(tt) -> U83#(isNePal)
 U82#(tt) -> ISNEPAL
 U91#(tt) -> U92#(isPalListKind)
 U91#(tt) -> ISPALLISTKIND
 __#(__(X,Y),Z) -> __#(X,__(Y,Z))
 __#(__(X,Y),Z) -> __#(Y,Z)
 ISLIST -> U11#(isPalListKind)
 ISLIST -> U21#(isPalListKind)
 ISLIST -> ISPALLISTKIND
 ISNELIST -> U31#(isPalListKind)
 ISNELIST -> U41#(isPalListKind)
 ISNELIST -> U51#(isPalListKind)
 ISNELIST -> ISPALLISTKIND
 ISNEPAL -> U61#(isPalListKind)
 ISNEPAL -> U71#(isQid)
 ISNEPAL -> ISPALLISTKIND
 ISNEPAL -> ISQID
 ISPAL -> U81#(isPalListKind)
 ISPAL -> ISPALLISTKIND
 ISPALLISTKIND -> U91#(isPalListKind)
 ISPALLISTKIND -> ISPALLISTKIND
-> Rules:
 U11(tt) -> U12(isPalListKind)
 U12(tt) -> U13(isNeList)
 U13(tt) -> tt
 U21(tt) -> U22(isPalListKind)
 U22(tt) -> U23(isPalListKind)
 U23(tt) -> U24(isPalListKind)
 U24(tt) -> U25(isList)
 U25(tt) -> U26(isList)
 U26(tt) -> tt
 U31(tt) -> U32(isPalListKind)
 U32(tt) -> U33(isQid)
 U33(tt) -> tt
 U41(tt) -> U42(isPalListKind)
 U42(tt) -> U43(isPalListKind)
 U43(tt) -> U44(isPalListKind)
 U44(tt) -> U45(isList)
 U45(tt) -> U46(isNeList)
 U46(tt) -> tt
 U51(tt) -> U52(isPalListKind)
 U52(tt) -> U53(isPalListKind)
 U53(tt) -> U54(isPalListKind)
 U54(tt) -> U55(isNeList)
 U55(tt) -> U56(isList)
 U56(tt) -> tt
 U61(tt) -> U62(isPalListKind)
 U62(tt) -> U63(isQid)
 U63(tt) -> tt
 U71(tt) -> U72(isPalListKind)
 U72(tt) -> U73(isPal)
 U73(tt) -> U74(isPalListKind)
 U74(tt) -> tt
 U81(tt) -> U82(isPalListKind)
 U82(tt) -> U83(isNePal)
 U83(tt) -> tt
 U91(tt) -> U92(isPalListKind)
 U92(tt) -> tt
 __(__(X,Y),Z) -> __(X,__(Y,Z))
 __(nil,X) -> X
 __(X,nil) -> X
 isList -> U11(isPalListKind)
 isList -> U21(isPalListKind)
 isList -> tt
 isNeList -> U31(isPalListKind)
 isNeList -> U41(isPalListKind)
 isNeList -> U51(isPalListKind)
 isNePal -> U61(isPalListKind)
 isNePal -> U71(isQid)
 isPal -> U81(isPalListKind)
 isPal -> tt
 isPalListKind -> U91(isPalListKind)
 isPalListKind -> tt
 isQid -> tt
-> Pairs in cycle:
 ISPALLISTKIND -> ISPALLISTKIND

The problem is infinite.