MAYBE
(ignored inputs)COMMENT submitted by: Nao Hirokawa
input TRS:
   [ -(?x,?x) -> 0,
     -(s(?x),s(?y)) -> -(?x,?y),
     +(?x,?y) -> +(?y,?x),
     +(0,?x) -> ?x,
     +(?x,0) -> ?x,
     +(s(?x),?y) -> s(+(?x,?y)),
     +(?x,s(?y)) -> s(+(?y,?x)),
     +(p(?x),?y) -> p(+(?x,?y)),
     +(?x,p(?y)) -> p(+(?y,?x)),
     s(p(?x)) -> ?x,
     p(s(?x)) -> ?x ]
TRS:
   [ -(?x,?x) -> 0,
     -(s(?x),s(?y)) -> -(?x,?y),
     +(?x,?y) -> +(?y,?x),
     +(0,?x) -> ?x,
     +(?x,0) -> ?x,
     +(s(?x),?y) -> s(+(?x,?y)),
     +(?x,s(?y)) -> s(+(?y,?x)),
     +(p(?x),?y) -> p(+(?x,?y)),
     +(?x,p(?y)) -> p(+(?y,?x)),
     s(p(?x)) -> ?x,
     p(s(?x)) -> ?x ]
unknown Parallel Closed Conditional Linearization
unknown Strongly Closed Conditional Linearization
problems/261.trs: Failure(unknown UNC)
(0 msec.)