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 Parallel Closed Conditional Linearization
unknown Strongly Closed Conditional Linearization
problems/173.trs: Failure(unknown UNC)
(0 msec.)