Problem Strategy outermost added 08 ExAppendixB AEL03 L

Tool IRC1

Execution TimeUnknown
Answer
MAYBE
InputStrategy outermost added 08 ExAppendixB AEL03 L

stdout:

MAYBE
The following error occured:
 The problem does not contain well-formed TRSs:
                                              
                                                REWRITE relation according to the following TRS
                                                 {  2ndspos(s(N), cons(X)) ->
                                                    2ndspos(s(N), cons2(Z))
                                                  , 2ndspos(s(N), cons2(cons(Y))) ->
                                                    rcons(posrecip(Y), 2ndsneg(N, Z))
                                                  , 2ndsneg(s(N), cons(X)) ->
                                                    2ndsneg(s(N), cons2(Z))
                                                  , 2ndsneg(s(N), cons2(cons(Y))) ->
                                                    rcons(negrecip(Y), 2ndspos(N, Z))
                                                  , from(X) -> cons(X)
                                                  , 2ndspos(0(), Z) -> rnil()
                                                  , 2ndsneg(0(), Z) -> rnil()
                                                  , pi(X) -> 2ndspos(X, from(0()))
                                                  , plus(0(), Y) -> Y
                                                  , plus(s(X), Y) -> s(plus(X, Y))
                                                  , times(0(), Y) -> 0()
                                                  , times(s(X), Y) -> plus(Y, times(X, Y))
                                                  , square(X) -> times(X, X)}


Try --help.

Tool IRC2

Execution TimeUnknown
Answer
MAYBE
InputStrategy outermost added 08 ExAppendixB AEL03 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
    {  2ndspos(s(N), cons(X)) -> 2ndspos(s(N), cons2(Z))
     , 2ndspos(s(N), cons2(cons(Y))) ->
       rcons(posrecip(Y), 2ndsneg(N, Z))
     , 2ndsneg(s(N), cons(X)) -> 2ndsneg(s(N), cons2(Z))
     , 2ndsneg(s(N), cons2(cons(Y))) ->
       rcons(negrecip(Y), 2ndspos(N, Z))
     , from(X) -> cons(X)
     , 2ndspos(0(), Z) -> rnil()
     , 2ndsneg(0(), Z) -> rnil()
     , pi(X) -> 2ndspos(X, from(0()))
     , plus(0(), Y) -> Y
     , plus(s(X), Y) -> s(plus(X, Y))
     , times(0(), Y) -> 0()
     , times(s(X), Y) -> plus(Y, times(X, Y))
     , square(X) -> times(X, X)}

Tool RC1

Execution TimeUnknown
Answer
MAYBE
InputStrategy outermost added 08 ExAppendixB AEL03 L

stdout:

MAYBE
The following error occured:
 The problem does not contain well-formed TRSs:
                                              
                                                REWRITE relation according to the following TRS
                                                 {  2ndspos(s(N), cons(X)) ->
                                                    2ndspos(s(N), cons2(Z))
                                                  , 2ndspos(s(N), cons2(cons(Y))) ->
                                                    rcons(posrecip(Y), 2ndsneg(N, Z))
                                                  , 2ndsneg(s(N), cons(X)) ->
                                                    2ndsneg(s(N), cons2(Z))
                                                  , 2ndsneg(s(N), cons2(cons(Y))) ->
                                                    rcons(negrecip(Y), 2ndspos(N, Z))
                                                  , from(X) -> cons(X)
                                                  , 2ndspos(0(), Z) -> rnil()
                                                  , 2ndsneg(0(), Z) -> rnil()
                                                  , pi(X) -> 2ndspos(X, from(0()))
                                                  , plus(0(), Y) -> Y
                                                  , plus(s(X), Y) -> s(plus(X, Y))
                                                  , times(0(), Y) -> 0()
                                                  , times(s(X), Y) -> plus(Y, times(X, Y))
                                                  , square(X) -> times(X, X)}


Try --help.

Tool RC2

Execution TimeUnknown
Answer
MAYBE
InputStrategy outermost added 08 ExAppendixB AEL03 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
    {  2ndspos(s(N), cons(X)) -> 2ndspos(s(N), cons2(Z))
     , 2ndspos(s(N), cons2(cons(Y))) ->
       rcons(posrecip(Y), 2ndsneg(N, Z))
     , 2ndsneg(s(N), cons(X)) -> 2ndsneg(s(N), cons2(Z))
     , 2ndsneg(s(N), cons2(cons(Y))) ->
       rcons(negrecip(Y), 2ndspos(N, Z))
     , from(X) -> cons(X)
     , 2ndspos(0(), Z) -> rnil()
     , 2ndsneg(0(), Z) -> rnil()
     , pi(X) -> 2ndspos(X, from(0()))
     , plus(0(), Y) -> Y
     , plus(s(X), Y) -> s(plus(X, Y))
     , times(0(), Y) -> 0()
     , times(s(X), Y) -> plus(Y, times(X, Y))
     , square(X) -> times(X, X)}