0.00/0.06	MAYBE
0.00/0.06	(ignored inputs)COMMENT doi:10.1007/3-540-56393-8_34 [54] p. 435; correction of Cops #288
0.00/0.06	Conditional Rewrite Rules:
0.00/0.06	   [ pin(a) -> pout(b),
0.00/0.06	     pin(b) -> pout(c),
0.00/0.06	     tc(?x) -> ?x,
0.00/0.06	     tc(?x) -> ?y | pin(?x) == pout(?z),tc(?z) == ?y ]
0.00/0.06	Check whether all rules are type 3
0.00/0.06	OK
0.00/0.06	Check whether the input is deterministic
0.00/0.06	OK
0.00/0.06	Result of unraveling:
0.00/0.06	   [ pin(a) -> pout(b),
0.00/0.06	     pin(b) -> pout(c),
0.00/0.06	     tc(?x) -> ?x,
0.00/0.06	     tc(?x) -> U0(pin(?x),?x),
0.00/0.06	     U0(pout(?z),?x) -> U1(tc(?z),?x,?z),
0.00/0.06	     U1(?y,?x,?z) -> ?y ]
0.00/0.06	Check whether U(R) is terminating
0.00/0.06	OK
0.00/0.06	Check whether the input is weakly left-linear
0.00/0.06	OK
0.00/0.06	Check whether U(R) is confluent
0.00/0.06	U(R) is not confluent
0.00/0.06	Conditional critical pairs (CCPs):
0.00/0.06	   [ ?y_1 = ?x_1 | pin(?x_1) == pout(?z_1),tc(?z_1) == ?y_1,
0.00/0.06	     ?x = ?y_1 | pin(?x) == pout(?z_1),tc(?z_1) == ?y_1 ]
0.00/0.06	Check whether the input is almost orthogonale
0.00/0.06	not almost orthogonal
0.00/0.06	OK
0.00/0.06	Check whether the input is absolutely irreducible
0.00/0.06	OK
0.00/0.06	Check whether all CCPs are joinable
0.00/0.06	Some ccp may be feasible but not joinable
0.00/0.06	   [ ?y_1 = ?x_1 | pin(?x_1) == pout(?z_1),tc(?z_1) == ?y_1,
0.00/0.06	     ?x = ?y_1 | pin(?x) == pout(?z_1),tc(?z_1) == ?y_1 ]
0.00/0.06	/export/starexec/sandbox/benchmark/theBenchmark.trs: Failure(unknown CR)
0.00/0.06	(26 msec.)
0.00/0.06	EOF