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