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