(ignored inputs)COMMENT submitted by: Christina Kohl secret problem 2022 category: TRS
Rewrite Rules:
   [ f(?x1,g(?x2)) -> f(?x1,g(?x1)),
     f(g(?y1),?y2) -> f(g(?y1),g(?y1)),
     g(a) -> g(b),
     b -> a ]
Apply Direct Methods...
Inner CPs:
   [ f(?x1,g(b)) = f(?x1,g(?x1)),
     f(g(b),?y2_1) = f(g(a),g(a)) ]
Outer CPs:
   [ f(g(?y1_1),g(g(?y1_1))) = f(g(?y1_1),g(?y1_1)) ]
not Overlay, check Termination...
unknown/not Terminating
unknown Knuth & Bendix
Left-Linear, not Right-Linear
Development Closed
Direct Methods: CR

Combined result: CR
1655.trs: Success(CR)
YES
(0 msec.)