MAYBE
Time: 0.008680
TRS:
 {   __(X, nil()) -> X,
  __(__(X, Y), Z) -> __(X, __(Y, Z)),
     __(nil(), X) -> X,
         U11 tt() -> tt(),
         U22 tt() -> tt(),
         isList() -> tt(),
         isList() -> U11 isNeList(),
         isList() -> U21 isList(),
         U21 tt() -> U22 isList(),
         U31 tt() -> tt(),
         U42 tt() -> tt(),
       isNeList() -> U31 isQid(),
       isNeList() -> U41 isList(),
       isNeList() -> U51 isNeList(),
         U41 tt() -> U42 isNeList(),
         U52 tt() -> tt(),
         U51 tt() -> U52 isList(),
         U61 tt() -> tt(),
         U72 tt() -> tt(),
          isPal() -> tt(),
          isPal() -> U81 isNePal(),
         U71 tt() -> U72 isPal(),
         U81 tt() -> tt(),
          isQid() -> tt(),
        isNePal() -> U61 isQid(),
        isNePal() -> U71 isQid()}
 DP:
  DP:
   {__#(__(X, Y), Z) -> __#(X, __(Y, Z)),
    __#(__(X, Y), Z) -> __#(Y, Z),
           isList#() -> U11# isNeList(),
           isList#() -> isList#(),
           isList#() -> U21# isList(),
           isList#() -> isNeList#(),
           U21# tt() -> U22# isList(),
           U21# tt() -> isList#(),
         isNeList#() -> isList#(),
         isNeList#() -> U31# isQid(),
         isNeList#() -> isNeList#(),
         isNeList#() -> U41# isList(),
         isNeList#() -> U51# isNeList(),
         isNeList#() -> isQid#(),
           U41# tt() -> U42# isNeList(),
           U41# tt() -> isNeList#(),
           U51# tt() -> isList#(),
           U51# tt() -> U52# isList(),
            isPal#() -> U81# isNePal(),
            isPal#() -> isNePal#(),
           U71# tt() -> U72# isPal(),
           U71# tt() -> isPal#(),
          isNePal#() -> U61# isQid(),
          isNePal#() -> U71# isQid(),
          isNePal#() -> isQid#()}
  TRS:
  {   __(X, nil()) -> X,
   __(__(X, Y), Z) -> __(X, __(Y, Z)),
      __(nil(), X) -> X,
          U11 tt() -> tt(),
          U22 tt() -> tt(),
          isList() -> tt(),
          isList() -> U11 isNeList(),
          isList() -> U21 isList(),
          U21 tt() -> U22 isList(),
          U31 tt() -> tt(),
          U42 tt() -> tt(),
        isNeList() -> U31 isQid(),
        isNeList() -> U41 isList(),
        isNeList() -> U51 isNeList(),
          U41 tt() -> U42 isNeList(),
          U52 tt() -> tt(),
          U51 tt() -> U52 isList(),
          U61 tt() -> tt(),
          U72 tt() -> tt(),
           isPal() -> tt(),
           isPal() -> U81 isNePal(),
          U71 tt() -> U72 isPal(),
          U81 tt() -> tt(),
           isQid() -> tt(),
         isNePal() -> U61 isQid(),
         isNePal() -> U71 isQid()}
  UR:
   {   __(X, nil()) -> X,
    __(__(X, Y), Z) -> __(X, __(Y, Z)),
       __(nil(), X) -> X,
           U11 tt() -> tt(),
           U22 tt() -> tt(),
           isList() -> tt(),
           isList() -> U11 isNeList(),
           isList() -> U21 isList(),
           U21 tt() -> U22 isList(),
           U31 tt() -> tt(),
           U42 tt() -> tt(),
         isNeList() -> U31 isQid(),
         isNeList() -> U41 isList(),
         isNeList() -> U51 isNeList(),
           U41 tt() -> U42 isNeList(),
           U52 tt() -> tt(),
           U51 tt() -> U52 isList(),
           U61 tt() -> tt(),
           U72 tt() -> tt(),
            isPal() -> tt(),
            isPal() -> U81 isNePal(),
           U71 tt() -> U72 isPal(),
           U81 tt() -> tt(),
            isQid() -> tt(),
          isNePal() -> U61 isQid(),
          isNePal() -> U71 isQid()}
   EDG:
    {(isList#() -> U21# isList(), U21# tt() -> isList#())
     (isList#() -> U21# isList(), U21# tt() -> U22# isList())
     (isNeList#() -> U51# isNeList(), U51# tt() -> U52# isList())
     (isNeList#() -> U51# isNeList(), U51# tt() -> isList#())
     (isNePal#() -> U71# isQid(), U71# tt() -> isPal#())
     (isNePal#() -> U71# isQid(), U71# tt() -> U72# isPal())
     (__#(__(X, Y), Z) -> __#(X, __(Y, Z)), __#(__(X, Y), Z) -> __#(Y, Z))
     (__#(__(X, Y), Z) -> __#(X, __(Y, Z)), __#(__(X, Y), Z) -> __#(X, __(Y, Z)))
     (isList#() -> isNeList#(), isNeList#() -> isQid#())
     (isList#() -> isNeList#(), isNeList#() -> U51# isNeList())
     (isList#() -> isNeList#(), isNeList#() -> U41# isList())
     (isList#() -> isNeList#(), isNeList#() -> isNeList#())
     (isList#() -> isNeList#(), isNeList#() -> U31# isQid())
     (isList#() -> isNeList#(), isNeList#() -> isList#())
     (isNeList#() -> isList#(), isList#() -> isNeList#())
     (isNeList#() -> isList#(), isList#() -> U21# isList())
     (isNeList#() -> isList#(), isList#() -> isList#())
     (isNeList#() -> isList#(), isList#() -> U11# isNeList())
     (U51# tt() -> isList#(), isList#() -> isNeList#())
     (U51# tt() -> isList#(), isList#() -> U21# isList())
     (U51# tt() -> isList#(), isList#() -> isList#())
     (U51# tt() -> isList#(), isList#() -> U11# isNeList())
     (U71# tt() -> isPal#(), isPal#() -> isNePal#())
     (U71# tt() -> isPal#(), isPal#() -> U81# isNePal())
     (isPal#() -> isNePal#(), isNePal#() -> U61# isQid())
     (isPal#() -> isNePal#(), isNePal#() -> U71# isQid())
     (isPal#() -> isNePal#(), isNePal#() -> isQid#())
     (U41# tt() -> isNeList#(), isNeList#() -> isList#())
     (U41# tt() -> isNeList#(), isNeList#() -> U31# isQid())
     (U41# tt() -> isNeList#(), isNeList#() -> isNeList#())
     (U41# tt() -> isNeList#(), isNeList#() -> U41# isList())
     (U41# tt() -> isNeList#(), isNeList#() -> U51# isNeList())
     (U41# tt() -> isNeList#(), isNeList#() -> isQid#())
     (isNeList#() -> isNeList#(), isNeList#() -> isList#())
     (isNeList#() -> isNeList#(), isNeList#() -> U31# isQid())
     (isNeList#() -> isNeList#(), isNeList#() -> isNeList#())
     (isNeList#() -> isNeList#(), isNeList#() -> U41# isList())
     (isNeList#() -> isNeList#(), isNeList#() -> U51# isNeList())
     (isNeList#() -> isNeList#(), isNeList#() -> isQid#())
     (U21# tt() -> isList#(), isList#() -> U11# isNeList())
     (U21# tt() -> isList#(), isList#() -> isList#())
     (U21# tt() -> isList#(), isList#() -> U21# isList())
     (U21# tt() -> isList#(), isList#() -> isNeList#())
     (isList#() -> isList#(), isList#() -> U11# isNeList())
     (isList#() -> isList#(), isList#() -> isList#())
     (isList#() -> isList#(), isList#() -> U21# isList())
     (isList#() -> isList#(), isList#() -> isNeList#())
     (__#(__(X, Y), Z) -> __#(Y, Z), __#(__(X, Y), Z) -> __#(X, __(Y, Z)))
     (__#(__(X, Y), Z) -> __#(Y, Z), __#(__(X, Y), Z) -> __#(Y, Z))
     (isNeList#() -> U41# isList(), U41# tt() -> U42# isNeList())
     (isNeList#() -> U41# isList(), U41# tt() -> isNeList#())}
    STATUS:
     arrows: 0.918400
     SCCS (3):
      Scc:
       {__#(__(X, Y), Z) -> __#(X, __(Y, Z)),
        __#(__(X, Y), Z) -> __#(Y, Z)}
      Scc:
       {  isPal#() -> isNePal#(),
         U71# tt() -> isPal#(),
        isNePal#() -> U71# isQid()}
      Scc:
       {  isList#() -> isList#(),
          isList#() -> U21# isList(),
          isList#() -> isNeList#(),
          U21# tt() -> isList#(),
        isNeList#() -> isList#(),
        isNeList#() -> isNeList#(),
        isNeList#() -> U41# isList(),
        isNeList#() -> U51# isNeList(),
          U41# tt() -> isNeList#(),
          U51# tt() -> isList#()}
      
      SCC (2):
       Strict:
        {__#(__(X, Y), Z) -> __#(X, __(Y, Z)),
         __#(__(X, Y), Z) -> __#(Y, Z)}
       Weak:
       {   __(X, nil()) -> X,
        __(__(X, Y), Z) -> __(X, __(Y, Z)),
           __(nil(), X) -> X,
               U11 tt() -> tt(),
               U22 tt() -> tt(),
               isList() -> tt(),
               isList() -> U11 isNeList(),
               isList() -> U21 isList(),
               U21 tt() -> U22 isList(),
               U31 tt() -> tt(),
               U42 tt() -> tt(),
             isNeList() -> U31 isQid(),
             isNeList() -> U41 isList(),
             isNeList() -> U51 isNeList(),
               U41 tt() -> U42 isNeList(),
               U52 tt() -> tt(),
               U51 tt() -> U52 isList(),
               U61 tt() -> tt(),
               U72 tt() -> tt(),
                isPal() -> tt(),
                isPal() -> U81 isNePal(),
               U71 tt() -> U72 isPal(),
               U81 tt() -> tt(),
                isQid() -> tt(),
              isNePal() -> U61 isQid(),
              isNePal() -> U71 isQid()}
       Open
      SCC (3):
       Strict:
        {  isPal#() -> isNePal#(),
          U71# tt() -> isPal#(),
         isNePal#() -> U71# isQid()}
       Weak:
       {   __(X, nil()) -> X,
        __(__(X, Y), Z) -> __(X, __(Y, Z)),
           __(nil(), X) -> X,
               U11 tt() -> tt(),
               U22 tt() -> tt(),
               isList() -> tt(),
               isList() -> U11 isNeList(),
               isList() -> U21 isList(),
               U21 tt() -> U22 isList(),
               U31 tt() -> tt(),
               U42 tt() -> tt(),
             isNeList() -> U31 isQid(),
             isNeList() -> U41 isList(),
             isNeList() -> U51 isNeList(),
               U41 tt() -> U42 isNeList(),
               U52 tt() -> tt(),
               U51 tt() -> U52 isList(),
               U61 tt() -> tt(),
               U72 tt() -> tt(),
                isPal() -> tt(),
                isPal() -> U81 isNePal(),
               U71 tt() -> U72 isPal(),
               U81 tt() -> tt(),
                isQid() -> tt(),
              isNePal() -> U61 isQid(),
              isNePal() -> U71 isQid()}
       Open
      
      
      
      
      SCC (10):
       Strict:
        {  isList#() -> isList#(),
           isList#() -> U21# isList(),
           isList#() -> isNeList#(),
           U21# tt() -> isList#(),
         isNeList#() -> isList#(),
         isNeList#() -> isNeList#(),
         isNeList#() -> U41# isList(),
         isNeList#() -> U51# isNeList(),
           U41# tt() -> isNeList#(),
           U51# tt() -> isList#()}
       Weak:
       {   __(X, nil()) -> X,
        __(__(X, Y), Z) -> __(X, __(Y, Z)),
           __(nil(), X) -> X,
               U11 tt() -> tt(),
               U22 tt() -> tt(),
               isList() -> tt(),
               isList() -> U11 isNeList(),
               isList() -> U21 isList(),
               U21 tt() -> U22 isList(),
               U31 tt() -> tt(),
               U42 tt() -> tt(),
             isNeList() -> U31 isQid(),
             isNeList() -> U41 isList(),
             isNeList() -> U51 isNeList(),
               U41 tt() -> U42 isNeList(),
               U52 tt() -> tt(),
               U51 tt() -> U52 isList(),
               U61 tt() -> tt(),
               U72 tt() -> tt(),
                isPal() -> tt(),
                isPal() -> U81 isNePal(),
               U71 tt() -> U72 isPal(),
               U81 tt() -> tt(),
                isQid() -> tt(),
              isNePal() -> U61 isQid(),
              isNePal() -> U71 isQid()}
       Open