0.00/0.08	YES
0.00/0.08	(ignored inputs)COMMENT submitted by: Akihisa Yamada used by COPS #1278
0.00/0.08	Rewrite Rules:
0.00/0.08	   [ f(g(h(?x))) -> g(f(h(g(?x)))),
0.00/0.08	     f(?x) -> ?x,
0.00/0.08	     g(?x) -> ?x,
0.00/0.08	     h(?x) -> ?x ]
0.00/0.08	Apply Direct Methods...
0.00/0.08	Inner CPs:
0.00/0.08	   [ f(h(?x)) = g(f(h(g(?x)))),
0.00/0.08	     f(g(?x_3)) = g(f(h(g(?x_3)))) ]
0.00/0.08	Outer CPs:
0.00/0.08	   [ g(f(h(g(?x)))) = g(h(?x)) ]
0.00/0.08	not Overlay, check Termination...
0.00/0.08	Terminating, WCR
0.00/0.08	Knuth & Bendix
0.00/0.08	Direct Methods: CR
0.00/0.08	
0.00/0.08	Combined result: CR
0.00/0.08	/export/starexec/sandbox/benchmark/theBenchmark.trs: Success(CR)
0.00/0.08	(28 msec.)
0.00/0.08	EOF