0.00/0.04	NO
0.00/0.04	(ignored inputs)COMMENT submitted by: Akihisa Yamada used by COPS #1275
0.00/0.04	input TRS:
0.00/0.04	   [ f(g(?x)) -> g(f(f(?x))),
0.00/0.04	     f(h(?x)) -> h(h(f(?x))),
0.00/0.04	     f(?x) -> ?x,
0.00/0.04	     g(?x) -> ?x ]
0.00/0.04	Try persistent and layer-preserving decomposition...
0.00/0.04	Sort Assignment:
0.00/0.04	 f : 11=>11
0.00/0.04	 g : 11=>11
0.00/0.04	 h : 11=>11
0.00/0.04	maximal types: {11}
0.00/0.04	...decomposition failed.
0.00/0.04	TRS:
0.00/0.04	   [ f(g(?x)) -> g(f(f(?x))),
0.00/0.04	     f(h(?x)) -> h(h(f(?x))),
0.00/0.04	     f(?x) -> ?x,
0.00/0.04	     g(?x) -> ?x ]
0.00/0.04	unknown Non-Omega-Overlapping
0.00/0.04	unknown Right-Reducible
0.00/0.04	Check distinct normal forms in critical pair closure
0.00/0.04	convertible distinct normal forms: h(h(?x)) = h(?x)
0.00/0.04	/export/starexec/sandbox/benchmark/theBenchmark.trs: Success(not UNC)
0.00/0.04	(0 msec.)
0.00/0.04	EOF