0.00/0.02	NO
0.00/0.02	(ignored inputs)COMMENT COPS 82 84 COMMENT submitted by: Aart Middeldorp
0.00/0.02	Rewrite Rules (1):
0.00/0.02	   [ f(a) -> f(f(a)),
0.00/0.02	     f(?x) -> f(a) ]
0.00/0.02	Rewrite Rules (2):
0.00/0.02	   [ a -> b,
0.00/0.02	     f(a) -> g(a),
0.00/0.02	     f(b) -> g(b) ]
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	...failed
0.00/0.02	check commutation with R1 := (2), R2 := (1)
0.00/0.02	check CPs are development closed...
0.00/0.02	...failed
0.00/0.02	check non-commutation
0.00/0.02	check with R1 := (1), R2 := (2)
0.00/0.02	check counter example from CPs...
0.00/0.02	check candidate: <f(b), f(f(a))>
0.00/0.02	check candidate: <g(a), f(f(a))>
0.00/0.02	Counter example: g(a) <-R2- f(a) -R1-> f(f(a))
0.00/0.02	
0.00/0.02	result: not COM
0.00/0.02	/export/starexec/sandbox2/benchmark/theBenchmark.trs: Success(not COM)
0.00/0.02	(1 msec.)
0.00/0.02	EOF