0.00/0.12	YES
0.00/0.12	(ignored inputs)COMMENT COPS 660 684 COMMENT submitted by: Kiraku Shintani
0.00/0.12	Rewrite Rules (1):
0.00/0.12	   [ b -> f(b),
0.00/0.12	     f(a) -> f(h(h(h(h(c,b),a),f(c)),c)),
0.00/0.12	     c -> h(f(c),f(h(c,a))),
0.00/0.12	     c -> f(b) ]
0.00/0.12	Rewrite Rules (2):
0.00/0.12	   [ b -> c,
0.00/0.12	     b -> f(c),
0.00/0.12	     c -> c ]
0.00/0.12	both left-linear
0.00/0.12	check commutation with R1 := (1), R2 := (2)
0.00/0.12	check CPs are development closed...
0.00/0.12	...succeeded
0.00/0.12	
0.00/0.12	result: COM
0.00/0.12	/export/starexec/sandbox/benchmark/theBenchmark.trs: Success(COM)
0.00/0.12	(0 msec.)
0.00/0.12	EOF