Problem Strategy outermost added 08 Ex4 DLMMU04 L

Tool IRC1

Execution Time	Unknown
Answer	MAYBE
Input	Strategy outermost added 08 Ex4 DLMMU04 L

stdout:

MAYBE
The following error occured:
The problem does not contain well-formed TRSs:

                                                REWRITE relation according to the following TRS
                                                 {  uTake2(tt()) -> cons(N)
                                                  , uLength(tt()) -> s(length(L))
                                                  , and(tt(), T) -> T
                                                  , isNatIList() -> isNatList()
                                                  , isNat() -> tt()
                                                  , isNat() -> isNat()
                                                  , isNat() -> isNatList()
                                                  , isNatIList() -> tt()
                                                  , isNatIList() -> and(isNat(), isNatIList())
                                                  , isNatList() -> tt()
                                                  , isNatList() -> and(isNat(), isNatList())
                                                  , isNatList() -> and(isNat(), isNatIList())
                                                  , zeros() -> cons(0())
                                                  , take(0(), IL) -> uTake1(isNatIList())
                                                  , uTake1(tt()) -> nil()
                                                  , take(s(M), cons(N)) ->
                                                    uTake2(and(isNat(), and(isNat(), isNatIList())))
                                                  , length(cons(N)) ->
                                                    uLength(and(isNat(), isNatList()))}

Try --help.

Tool IRC2

Execution Time	Unknown
Answer	MAYBE
Input	Strategy outermost added 08 Ex4 DLMMU04 L

stdout:

MAYBE

The following error(s) occured:

The problem does not contain well-formed TRSs:
   REWRITE relation according to the following TRS and outermost reductions
    {  uTake2(tt()) -> cons(N)
     , uLength(tt()) -> s(length(L))
     , and(tt(), T) -> T
     , isNatIList() -> isNatList()
     , isNat() -> tt()
     , isNat() -> isNat()
     , isNat() -> isNatList()
     , isNatIList() -> tt()
     , isNatIList() -> and(isNat(), isNatIList())
     , isNatList() -> tt()
     , isNatList() -> and(isNat(), isNatList())
     , isNatList() -> and(isNat(), isNatIList())
     , zeros() -> cons(0())
     , take(0(), IL) -> uTake1(isNatIList())
     , uTake1(tt()) -> nil()
     , take(s(M), cons(N)) ->
       uTake2(and(isNat(), and(isNat(), isNatIList())))
     , length(cons(N)) -> uLength(and(isNat(), isNatList()))}

Tool RC1

Execution Time	Unknown
Answer	MAYBE
Input	Strategy outermost added 08 Ex4 DLMMU04 L

stdout:

Tool RC2

Execution Time	Unknown
Answer	MAYBE
Input	Strategy outermost added 08 Ex4 DLMMU04 L