0.00/0.02	YES
0.00/0.02	(ignored inputs)COMMENT COPS 11 579 COMMENT submitted by: Kiraku Shintani
0.00/0.02	Rewrite Rules (1):
0.00/0.02	   [ +(0,?y) -> ?y,
0.00/0.02	     +(s(?x),?y) -> s(+(?x,?y)),
0.00/0.02	     +(?x,0) -> ?x,
0.00/0.02	     +(?x,s(?y)) -> s(+(?x,?y)) ]
0.00/0.02	Rewrite Rules (2):
0.00/0.02	   [ +(?x,0) -> ?x,
0.00/0.02	     +(?x,s(?y)) -> s(+(?x,?y)),
0.00/0.02	     -(0,?x) -> 0,
0.00/0.02	     -(?x,0) -> ?x,
0.00/0.02	     -(s(?x),s(?y)) -> -(?x,?y) ]
0.00/0.02	both left-linear
0.00/0.02	check commutation with R1 := (1), R2 := (2)
0.00/0.02	check CPs are development closed...
0.00/0.02	...succeeded
0.00/0.02	
0.00/0.02	result: COM
0.00/0.02	/export/starexec/sandbox/benchmark/theBenchmark.trs: Success(COM)
0.00/0.02	(0 msec.)
0.00/0.02	EOF