0.00/0.03	YES
0.00/0.03	/export/starexec/sandbox/benchmark/theBenchmark.trs
0.00/0.03	Input rules:
0.00/0.03	   [ f(f(?x:o)) -> f(g(f(?x:o))),
0.00/0.03	     f(?x:o) -> ?x:o ]
0.00/0.03	Sorts having no ground terms: o
0.00/0.03	Rules applicable to ground terms:
0.00/0.03	   [ ]
0.00/0.03	no applicable rules
0.00/0.03	: Success(GCR)
0.00/0.03	(0 msec.)
0.00/0.03	
0.00/0.03	=============================
0.00/0.03	Total: 1 Success, 0 Failure: 0 millisec.
0.00/0.03	EOF