0.00/0.04	MAYBE
0.00/0.04	(ignored inputs)COMMENT COPS 82 84 COMMENT submitted by: Aart Middeldorp
0.00/0.04	Rewrite Rules (1):
0.00/0.04	   [ f(a) -> f(f(a)),
0.00/0.04	     f(?x) -> f(a) ]
0.00/0.04	Rewrite Rules (2):
0.00/0.04	   [ a -> b,
0.00/0.04	     f(a) -> g(a),
0.00/0.04	     f(b) -> g(b) ]
0.00/0.04	both left-linear
0.00/0.04	check commutation with R1 := (1), R2 := (2)
0.00/0.04	check CPs are development closed...
0.00/0.04	...failed
0.00/0.04	check commutation with R1 := (2), R2 := (1)
0.00/0.04	check CPs are development closed...
0.00/0.04	...failed
0.00/0.04	check non-commutation
0.00/0.04	check with R1 := (1), R2 := (2)
0.00/0.04	check counter example from CPs...
0.00/0.04	check candidate: <f(b), f(f(a))>
0.00/0.04	check candidate: <g(a), f(f(a))>
0.00/0.04	check candidate: <g(a), f(a)>
0.00/0.04	check candidate: <g(b), f(a)>
0.00/0.04	...failed
0.00/0.04	check with R1 := (2), R2 := (1)
0.00/0.04	check counter example from CPs...
0.00/0.04	check candidate: <f(f(a)), g(a)>
0.00/0.04	check candidate: <f(a), g(a)>
0.00/0.04	check candidate: <f(a), g(b)>
0.00/0.04	...failed
0.00/0.04	
0.00/0.04	result: Can't judge
0.00/0.04	/export/starexec/sandbox/benchmark/theBenchmark.trs: Failure(unknown COM)
0.00/0.04	(15 msec.)
0.00/0.04	EOF