0.00/0.05	NO
0.00/0.05	(ignored inputs)COMMENT COPS 40 225 COMMENT submitted by: Kiraku Shintani
0.00/0.05	Rewrite Rules (1):
0.00/0.05	   [ f(a) -> b,
0.00/0.05	     f(a) -> f(c),
0.00/0.05	     a -> d,
0.00/0.05	     f(d) -> b,
0.00/0.05	     f(c) -> b,
0.00/0.05	     d -> c ]
0.00/0.05	Rewrite Rules (2):
0.00/0.05	   [ f(a) -> b,
0.00/0.05	     a -> a',
0.00/0.05	     f(b) -> c ]
0.00/0.05	both left-linear
0.00/0.05	check commutation with R1 := (1), R2 := (2)
0.00/0.05	check CPs are development closed...
0.00/0.05	...failed
0.00/0.05	check commutation with R1 := (2), R2 := (1)
0.00/0.05	check CPs are development closed...
0.00/0.05	...failed
0.00/0.05	check non-commutation
0.00/0.05	check with R1 := (1), R2 := (2)
0.00/0.05	check counter example from CPs...
0.00/0.05	check candidate: <b, b>
0.00/0.05	check candidate: <b, f(c)>
0.00/0.05	Counter example: b <-R2- f(a) -R1-> f(c)
0.00/0.05	
0.00/0.05	result: not COM
0.00/0.05	/export/starexec/sandbox/benchmark/theBenchmark.trs: Success(not COM)
0.00/0.05	(0 msec.)
0.00/0.05	EOF