0.00/0.16	MAYBE
0.00/0.16	(ignored inputs)COMMENT COPS 424 763 COMMENT submitted by: Kiraku Shintani
0.00/0.16	Rewrite Rules (1):
0.00/0.16	   [ f(f(f(f(?x)))) -> f(f(f(g(?x,f(?x))))),
0.00/0.16	     f(?x) -> g(?x,f(?x)) ]
0.00/0.16	Rewrite Rules (2):
0.00/0.16	   [ f(f(?x)) -> f(g(f(?x),f(?x))) ]
0.00/0.16	both left-linear
0.00/0.16	check commutation with R1 := (1), R2 := (2)
0.00/0.16	check CPs are development closed...
0.00/0.16	...failed
0.00/0.16	check commutation with R1 := (2), R2 := (1)
0.00/0.16	check CPs are development closed...
0.00/0.16	...failed
0.00/0.16	check non-commutation
0.00/0.16	check with R1 := (1), R2 := (2)
0.00/0.16	check counter example from CPs...
0.00/0.16	check candidate: <f(g(f(f(f(?x_1))),f(f(f(?x_1))))), f(f(f(g(?x_1,f(?x_1)))))>
0.00/0.16	check candidate: <f(f(g(f(f(?x_1)),f(f(?x_1))))), f(f(f(g(?x_1,f(?x_1)))))>
0.00/0.16	check candidate: <f(f(f(g(f(?x),f(?x))))), f(f(f(g(?x,f(?x)))))>
0.00/0.16	check candidate: <f(f(f(f(g(f(?x),f(?x)))))), f(f(f(g(f(?x),f(f(?x))))))>
0.00/0.16	check candidate: <f(g(f(?x),f(?x))), g(f(?x),f(f(?x)))>
0.00/0.16	...failed
0.00/0.16	check with R1 := (2), R2 := (1)
0.00/0.16	check counter example from CPs...
0.00/0.16	check candidate: <f(f(f(g(?x,f(?x))))), f(g(f(f(f(?x))),f(f(f(?x)))))>
0.00/0.16	check candidate: <f(f(f(f(g(?x,f(?x)))))), f(g(f(f(f(f(?x)))),f(f(f(f(?x))))))>
0.00/0.16	check candidate: <g(f(?x_1),f(f(?x_1))), f(g(f(?x_1),f(?x_1)))>
0.00/0.16	check candidate: <f(g(?x,f(?x))), f(g(f(?x),f(?x)))>
0.00/0.16	...failed
0.00/0.16	
0.00/0.16	result: Can't judge
0.00/0.16	/export/starexec/sandbox2/benchmark/theBenchmark.trs: Failure(unknown COM)
0.00/0.16	(3 msec.)
0.00/0.17	EOF