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