MAYBE
(ignored inputs)COMMENT experiments for [36] submitted by: Takahito Aoto
Rewrite Rules:
   [ 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))) ]
Apply Direct Methods...
Inner CPs:
   [  ]
Outer CPs:
   [ br(?x_3,?y_3,+(p(?x_3),s(?y_3))) = br(?y_3,?x_3,+(s(?x_3),p(?y_3))) ]
Left-Linear, not Right-Linear
(inner) Parallel CPs: (not computed)
unknown Toyama (Parallel CPs)
Direct Methods: Can't judge

Combined result: Can't judge
584.trs: Failure(unknown CR)
(0 msec.)