0.00/0.02	YES
0.00/0.02	(ignored inputs)COMMENT COPS 111 761 COMMENT submitted by: Kiraku Shintani
0.00/0.02	Rewrite Rules (1):
0.00/0.02	   [ a -> b,
0.00/0.02	     a -> c,
0.00/0.02	     a -> e,
0.00/0.02	     b -> d,
0.00/0.02	     c -> a,
0.00/0.02	     d -> a,
0.00/0.02	     d -> e,
0.00/0.02	     g(?x) -> h(a),
0.00/0.02	     h(?x) -> e ]
0.00/0.02	Rewrite Rules (2):
0.00/0.02	   [ a -> b,
0.00/0.02	     a -> d,
0.00/0.02	     b -> a,
0.00/0.02	     c -> a,
0.00/0.02	     c -> 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	...succeeded
0.00/0.02	
0.00/0.02	result: COM
0.00/0.02	/export/starexec/sandbox/benchmark/theBenchmark.trs: Success(COM)
0.00/0.02	(0 msec.)
0.00/0.03	EOF