MAYBE
(ignored inputs)COMMENT submitted by: Miguel Vitores and Salvador Lucas secret problem 2022 category: TRS
Rewrite Rules:
   [ g(g(g(c,d),g(b,e)),b) -> a,
     g(a,?y) -> g(b,b),
     g(?x,?y) -> g(?y,?x) ]
Apply Direct Methods...
Inner CPs:
   [ g(g(g(b,e),g(c,d)),b) = a,
     g(g(g(d,c),g(b,e)),b) = a,
     g(g(g(c,d),g(e,b)),b) = a ]
Outer CPs:
   [ a = g(b,g(g(c,d),g(b,e))),
     g(b,b) = g(?y,a) ]
Linear
(inner) Parallel CPs: (not computed)
unknown Toyama (Parallel CPs)
Direct Methods: Can't judge

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