0.00/0.05	YES
0.00/0.05	(ignored inputs)COMMENT COPS 718 741 COMMENT submitted by: Aart Middeldorp
0.00/0.05	Rewrite Rules (1):
0.00/0.05	   [ h(c,c) -> h(b,f(b)),
0.00/0.05	     f(h(a,h(c,a))) -> c,
0.00/0.05	     h(c,b) -> f(a) ]
0.00/0.05	Rewrite Rules (2):
0.00/0.05	   [ if(true,a,?x) -> a,
0.00/0.05	     if(true,b,?x) -> b,
0.00/0.05	     if(true,g(a),?x) -> g(a),
0.00/0.05	     if(true,g(b),?x) -> g(b),
0.00/0.05	     if(false,?x,a) -> a,
0.00/0.05	     if(false,?x,b) -> b,
0.00/0.05	     if(false,?x,g(a)) -> g(a),
0.00/0.05	     if(false,?x,g(b)) -> g(b),
0.00/0.05	     g(a) -> g(g(a)),
0.00/0.05	     g(b) -> a,
0.00/0.05	     f'(a,b) -> b,
0.00/0.05	     f'(g(g(a)),?x) -> b ]
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	...succeeded
0.00/0.05	
0.00/0.05	result: COM
0.00/0.05	/export/starexec/sandbox/benchmark/theBenchmark.trs: Success(COM)
0.00/0.05	(1 msec.)
0.00/0.05	EOF