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 Non-Omega-Overlapping
unknown Parallel Closed Conditional Linearization
unknown Strongly Closed Conditional Linearization
unknown Weight-Decreasing Joinable
unknown Right-Reducible
Check distinct normal forms in critical pair closure...failed
Obtained TRSs:
   [ 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 (General)
Check distinct normal forms in critical pair closure...failed
problems/173.trs: Failure(unknown UNC)
(16 msec.)