0.00/0.17	NO
0.00/0.17	(ignored inputs)COMMENT COPS 648 673 COMMENT submitted by: Kiraku Shintani
0.00/0.17	Rewrite Rules (1):
0.00/0.17	   [ c -> b,
0.00/0.17	     b -> a ]
0.00/0.17	Rewrite Rules (2):
0.00/0.17	   [ b -> c,
0.00/0.17	     h(b,b) -> a,
0.00/0.17	     h(c,c) -> c,
0.00/0.17	     c -> c ]
0.00/0.17	both left-linear
0.00/0.17	check commutation with R1 := (1), R2 := (2)
0.00/0.17	check CPs are development closed...
0.00/0.17	...failed
0.00/0.17	check commutation with R1 := (2), R2 := (1)
0.00/0.17	check CPs are development closed...
0.00/0.17	...failed
0.00/0.17	check non-commutation
0.00/0.17	check with R1 := (1), R2 := (2)
0.00/0.17	check counter example from CPs...
0.00/0.17	check candidate: <c, a>
0.00/0.17	check candidate: <c, b>
0.00/0.17	...failed
0.00/0.17	check with R1 := (2), R2 := (1)
0.00/0.17	check counter example from CPs...
0.00/0.17	check candidate: <h(b,c), c>
0.00/0.17	check candidate: <h(c,b), c>
0.00/0.17	check candidate: <b, c>
0.00/0.17	check candidate: <a, c>
0.00/0.17	check candidate: <h(a,b), a>
0.00/0.17	Counter example: h(a,b) <-R2- h(b,b) -R1-> a
0.00/0.17	
0.00/0.17	result: not COM
0.00/0.17	/export/starexec/sandbox2/benchmark/theBenchmark.trs: Success(not COM)
0.00/0.17	(1 msec.)
0.00/0.17	EOF