MAYBE 0.00/0.01 The problem does not contain well-formed TRSs: 0.00/0.01 Strict Trs: 0.00/0.01 { and(tt()) -> X 0.00/0.01 , __(X, nil()) -> X 0.00/0.01 , __(__(X, Y), Z) -> __(X, __(Y, Z)) 0.00/0.01 , __(nil(), X) -> X 0.00/0.01 , isNePal(__(I, __(P, I))) -> tt() } 0.00/0.01 StartTerms: basic terms 0.00/0.01 Strategy: none 0.00/0.01 EOF