Problem Strategy outermost added 08 PALINDROME complete-noand L

Tool CaT

Execution Time	Unknown
Answer	MAYBE
Input	Strategy outermost added 08 PALINDROME complete-noand L

stdout:

MAYBE

Problem:
__(__(X,Y),Z) -> __(X,__(Y,Z))
__(X,nil()) -> X
__(nil(),X) -> X
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()
isList() -> U11(isPalListKind())
isList() -> tt()
isList() -> U21(isPalListKind())
isNeList() -> U31(isPalListKind())
isNeList() -> U41(isPalListKind())
isNeList() -> U51(isPalListKind())
isNePal() -> U61(isPalListKind())
isNePal() -> U71(isQid())
isPal() -> U81(isPalListKind())
isPal() -> tt()
isPalListKind() -> tt()
isPalListKind() -> U91(isPalListKind())
isQid() -> tt()

Proof:
Open

Tool IRC1

Execution Time	Unknown
Answer	MAYBE
Input	Strategy outermost added 08 PALINDROME complete-noand L

stdout:

MAYBE
Warning when parsing problem:

Unsupported strategy 'OUTERMOST'

Tool IRC2

Execution Time	Unknown
Answer	TIMEOUT
Input	Strategy outermost added 08 PALINDROME complete-noand L

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    innermost runtime-complexity with respect to
  Rules:
    {  __(__(X, Y), Z) -> __(X, __(Y, Z))
     , __(X, nil()) -> X
     , __(nil(), X) -> X
     , 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()
     , isList() -> U11(isPalListKind())
     , isList() -> tt()
     , isList() -> U21(isPalListKind())
     , isNeList() -> U31(isPalListKind())
     , isNeList() -> U41(isPalListKind())
     , isNeList() -> U51(isPalListKind())
     , isNePal() -> U61(isPalListKind())
     , isNePal() -> U71(isQid())
     , isPal() -> U81(isPalListKind())
     , isPal() -> tt()
     , isPalListKind() -> tt()
     , isPalListKind() -> U91(isPalListKind())
     , isQid() -> tt()}

Proof Output:
  Computation stopped due to timeout after 60.0 seconds

Tool RC1

Execution Time	Unknown
Answer	MAYBE
Input	Strategy outermost added 08 PALINDROME complete-noand L

stdout:

MAYBE
Warning when parsing problem:

Unsupported strategy 'OUTERMOST'

Tool RC2

Execution Time	Unknown
Answer	TIMEOUT
Input	Strategy outermost added 08 PALINDROME complete-noand L

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    runtime-complexity with respect to
  Rules:
    {  __(__(X, Y), Z) -> __(X, __(Y, Z))
     , __(X, nil()) -> X
     , __(nil(), X) -> X
     , 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()
     , isList() -> U11(isPalListKind())
     , isList() -> tt()
     , isList() -> U21(isPalListKind())
     , isNeList() -> U31(isPalListKind())
     , isNeList() -> U41(isPalListKind())
     , isNeList() -> U51(isPalListKind())
     , isNePal() -> U61(isPalListKind())
     , isNePal() -> U71(isQid())
     , isPal() -> U81(isPalListKind())
     , isPal() -> tt()
     , isPalListKind() -> tt()
     , isPalListKind() -> U91(isPalListKind())
     , isQid() -> tt()}

Proof Output:
  Computation stopped due to timeout after 60.0 seconds