0.00/0.03	YES
0.00/0.03	(ignored inputs)COMMENT submitted by: Christina Kohl secret problem 2022 category: TRS
0.00/0.03	Rewrite Rules:
0.00/0.03	   [ f(?x1,g(?x2)) -> f(?x1,g(?x1)),
0.00/0.03	     f(g(?y1),?y2) -> f(g(?y1),g(?y1)),
0.00/0.03	     g(a) -> g(b),
0.00/0.03	     b -> a ]
0.00/0.03	Apply Direct Methods...
0.00/0.03	Inner CPs:
0.00/0.03	   [ f(?x1,g(b)) = f(?x1,g(?x1)),
0.00/0.03	     f(g(b),?y2_1) = f(g(a),g(a)) ]
0.00/0.03	Outer CPs:
0.00/0.03	   [ f(g(?y1_1),g(g(?y1_1))) = f(g(?y1_1),g(?y1_1)) ]
0.00/0.03	not Overlay, check Termination...
0.00/0.03	unknown/not Terminating
0.00/0.03	unknown Knuth & Bendix
0.00/0.03	Left-Linear, not Right-Linear
0.00/0.03	Development Closed
0.00/0.03	Direct Methods: CR
0.00/0.03	
0.00/0.03	Combined result: CR
0.00/0.03	/export/starexec/sandbox/benchmark/theBenchmark.trs: Success(CR)
0.00/0.03	(0 msec.)
0.00/0.03	EOF