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	unknown Strongly Non-Overlapping
0.00/0.04	unknown Right-Reducible
0.00/0.04	Check distinct normal forms in critical pair closure
0.00/0.04	distinct normal forms of a term: h(?x_2) = h(h(?x_2))
0.00/0.04	/export/starexec/sandbox/benchmark/theBenchmark.trs: Success(not UNR)
0.00/0.04	(2 msec.)
0.00/0.04	EOF