0.00/0.19	MAYBE
0.00/0.19	(ignored inputs)COMMENT COPS 180 590 COMMENT submitted by: Kiraku Shintani
0.00/0.19	Rewrite Rules (1):
0.00/0.19	   [ +(0,?y) -> ?y,
0.00/0.19	     +(?x,s(?y)) -> s(+(?y,?x)),
0.00/0.19	     +(?x,?y) -> +(?y,?x) ]
0.00/0.19	Rewrite Rules (2):
0.00/0.19	   [ +(0,0) -> 0,
0.00/0.19	     +(s(?x),?y) -> s(+(?x,?y)),
0.00/0.19	     +(?x,s(?y)) -> s(+(?y,?x)),
0.00/0.19	     s(s(?x)) -> ?x ]
0.00/0.19	both left-linear
0.00/0.19	check commutation with R1 := (1), R2 := (2)
0.00/0.19	check CPs are development closed...
0.00/0.19	...failed
0.00/0.19	check commutation with R1 := (2), R2 := (1)
0.00/0.19	check CPs are development closed...
0.00/0.19	...failed
0.00/0.19	check non-commutation
0.00/0.19	check with R1 := (1), R2 := (2)
0.00/0.19	check counter example from CPs...
0.00/0.19	check candidate: <0, 0>
0.00/0.19	check candidate: <0, +(0,0)>
0.00/0.19	check candidate: <s(+(?x,s(?y_1))), s(+(?y_1,s(?x)))>
0.00/0.19	check candidate: <s(+(?x,?y)), +(?y,s(?x))>
0.00/0.19	check candidate: <s(+(?y,0)), s(?y)>
0.00/0.19	check candidate: <s(+(?y,?x)), s(+(?y,?x))>
0.00/0.19	check candidate: <s(+(?y,?x)), +(s(?y),?x)>
0.00/0.19	check candidate: <+(?x_1,?x), s(+(s(?x),?x_1))>
0.00/0.19	...failed
0.00/0.19	check by TCAP-Approximation (failure)
0.00/0.19	check by Ordering(rpo), check by Tree-Automata Approximation (failure)
0.00/0.19	 (failure)
0.00/0.19	check with R1 := (2), R2 := (1)
0.00/0.19	check counter example from CPs...
0.00/0.19	check candidate: <0, 0>
0.00/0.19	check candidate: <s(?y_1), s(+(?y_1,0))>
0.00/0.19	check candidate: <s(+(?y,s(?x_1))), s(+(?x_1,s(?y)))>
0.00/0.19	check candidate: <s(+(?y,?x)), s(+(?y,?x))>
0.00/0.19	check candidate: <+(0,0), 0>
0.00/0.19	check candidate: <+(?y,s(?x_1)), s(+(?x_1,?y))>
0.00/0.19	check candidate: <+(s(?y_1),?x), s(+(?y_1,?x))>
0.00/0.19	...failed
0.00/0.19	check by TCAP-Approximation (failure)
0.00/0.19	check by Ordering(rpo), check by Tree-Automata Approximation (failure)
0.00/0.19	 (failure)
0.00/0.19	
0.00/0.19	result: Can't judge
0.00/0.19	/export/starexec/sandbox/benchmark/theBenchmark.trs: Failure(unknown COM)
0.00/0.19	(108 msec.)
0.00/0.19	EOF