MAYBE
(ignored inputs)COMMENT experiments for [36] submitted by: Takahito Aoto
Rewrite Rules:
   [ +(0,?y) -> ?y,
     +(s(0),?y) -> s(?y),
     +(s(s(?x)),?y) -> s(s(+(?y,?x))),
     +(?x,+(?y,?z)) -> +(+(?z,?y),?x) ]
Apply Direct Methods...
Inner CPs:
   [ +(?x_3,?y) = +(+(?y,0),?x_3),
     +(?x_3,s(?y_1)) = +(+(?y_1,s(0)),?x_3),
     +(?x_3,s(s(+(?y_2,?x_2)))) = +(+(?y_2,s(s(?x_2))),?x_3),
     +(?x_1,+(+(?z,?y),?x)) = +(+(+(?y,?z),?x),?x_1) ]
Outer CPs:
   [ +(?y_3,?z_3) = +(+(?z_3,?y_3),0),
     s(+(?y_3,?z_3)) = +(+(?z_3,?y_3),s(0)),
     s(s(+(+(?y_3,?z_3),?x_2))) = +(+(?z_3,?y_3),s(s(?x_2))) ]
Linear
(inner) Parallel CPs: (not computed)
unknown Toyama (Parallel CPs)
Direct Methods: Can't judge

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