MAYBE
(ignored inputs)COMMENT experiments for [36] submitted by: Takahito Aoto
input TRS:
   [ br(0,?y,?z) -> ?y,
     br(s(?x),?y,?z) -> ?z,
     p(0) -> 0,
     p(s(?x)) -> ?x,
     +(?x,?y) -> br(?x,?y,+(p(?x),s(?y))),
     +(?x,?y) -> br(?y,?x,+(s(?x),p(?y))) ]
TRS:
   [ br(0,?y,?z) -> ?y,
     br(s(?x),?y,?z) -> ?z,
     p(0) -> 0,
     p(s(?x)) -> ?x,
     +(?x,?y) -> br(?x,?y,+(p(?x),s(?y))),
     +(?x,?y) -> br(?y,?x,+(s(?x),p(?y))) ]
New rules by rule reversing:
   [ br(0,?y,?z) -> ?y,
     br(s(?x),?y,?z) -> ?z,
     p(0) -> 0,
     p(s(?x)) -> ?x,
     +(?x,?y) -> +(?x,?y),
     br(?x,?y,+(p(?x),s(?y))) -> +(?x,?y),
     +(?x,?y) -> +(?x,?y),
     br(?y,?x,+(s(?x),p(?y))) -> +(?x,?y) ]
unknown UNC Completion (Development Closed)
problems/584.trs: Failure(unknown UNC)
(4 msec.)