0.00/0.05	YES
0.00/0.05	(ignored inputs)COMMENT COPS 660 684 COMMENT submitted by: Kiraku Shintani
0.00/0.05	Rewrite Rules (1):
0.00/0.05	   [ b -> f(b),
0.00/0.05	     f(a) -> f(h(h(h(h(c,b),a),f(c)),c)),
0.00/0.05	     c -> h(f(c),f(h(c,a))),
0.00/0.05	     c -> f(b) ]
0.00/0.05	Rewrite Rules (2):
0.00/0.05	   [ b -> c,
0.00/0.05	     b -> f(c),
0.00/0.05	     c -> 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	...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	(0 msec.)
0.00/0.05	EOF