MAYBE
(ignored inputs)COMMENT full experiments for [35] submitted by: Takahito Aoto and Yoshihito Toyama
input TRS:
   [ max(?x,0) -> ?x,
     max(0,?y) -> ?y,
     max(s(?x),s(?y)) -> s(max(?x,?y)),
     max(?x,?y) -> max(?y,?x),
     max(?x,?x) -> ?x ]
TRS:
   [ max(?x,0) -> ?x,
     max(0,?y) -> ?y,
     max(s(?x),s(?y)) -> s(max(?x,?y)),
     max(?x,?y) -> max(?y,?x),
     max(?x,?x) -> ?x ]
unknown UNC Completion (Development Closed)
problems/173.trs: Failure(unknown UNC)
(4 msec.)