0.00/0.12	MAYBE
0.00/0.12	(ignored inputs)COMMENT COPS 647 674 COMMENT submitted by: Kiraku Shintani
0.00/0.12	Rewrite Rules (1):
0.00/0.12	   [ f(b) -> b,
0.00/0.12	     b -> h(h(c,f(b)),a) ]
0.00/0.12	Rewrite Rules (2):
0.00/0.12	   [ b -> f(f(b)),
0.00/0.12	     c -> b,
0.00/0.12	     f(f(c)) -> a ]
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	...failed
0.00/0.12	check commutation with R1 := (2), R2 := (1)
0.00/0.12	check CPs are development closed...
0.00/0.12	...failed
0.00/0.12	check non-commutation
0.00/0.12	check with R1 := (1), R2 := (2)
0.00/0.12	check counter example from CPs...
0.00/0.12	check candidate: <f(f(f(b))), b>
0.00/0.12	check candidate: <f(f(b)), h(h(c,f(b)),a)>
0.00/0.12	...failed
0.00/0.12	check with R1 := (2), R2 := (1)
0.00/0.12	check counter example from CPs...
0.00/0.12	check candidate: <h(h(c,f(b)),a), f(f(b))>
0.00/0.12	...failed
0.00/0.12	
0.00/0.12	result: Can't judge
0.00/0.12	/export/starexec/sandbox/benchmark/theBenchmark.trs: Failure(unknown COM)
0.00/0.12	(2 msec.)
0.00/0.12	EOF