0.00/0.02	YES
0.00/0.02	(ignored inputs)COMMENT doi:10.1109/LICS.2002.1029852 [25] Example 3 submitted by: Takahito Aoto , Junichi Yoshida , and Yoshihito Toyama
0.00/0.02	Rewrite Rules:
0.00/0.02	   [ f(a) -> f(f(a)),
0.00/0.02	     f(?x) -> f(a) ]
0.00/0.02	Apply Direct Methods...
0.00/0.02	Inner CPs:
0.00/0.02	   [  ]
0.00/0.02	Outer CPs:
0.00/0.02	   [ f(f(a)) = f(a) ]
0.00/0.02	Overlay, check Innermost Termination...
0.00/0.02	unknown Innermost Terminating
0.00/0.02	unknown Knuth & Bendix
0.00/0.02	Linear
0.00/0.02	Development Closed
0.00/0.02	Direct Methods: CR
0.00/0.02	
0.00/0.02	Combined result: CR
0.00/0.02	/export/starexec/sandbox/benchmark/theBenchmark.trs: Success(CR)
0.00/0.02	(0 msec.)
0.00/0.03	EOF