0.00/0.02	YES
0.00/0.02	(ignored inputs)COMMENT doi:10.4230/LIPIcs.FSCD.2016.33 [36] Example 11 submitted by: Takahito Aoto
0.00/0.02	Rewrite Rules:
0.00/0.02	   [ +(0,?y) -> ?y,
0.00/0.02	     +(s(0),?y) -> s(?y),
0.00/0.02	     s(s(?x)) -> ?x ]
0.00/0.02	Apply Direct Methods...
0.00/0.02	Inner CPs:
0.00/0.02	   [ s(?x) = s(?x) ]
0.00/0.02	Outer CPs:
0.00/0.02	   [  ]
0.00/0.02	not Overlay, check Termination...
0.00/0.02	Terminating, WCR
0.00/0.02	Knuth & Bendix
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.02	EOF