0.00/0.02	MAYBE
0.00/0.02	(ignored inputs)COMMENT submitted by: Florian Messner used by COPS #1144
0.00/0.02	Conditional Rewrite Rules:
0.00/0.02	   [ f(?y,a) -> g(?x,?x) | h(?z) == ?x,?y == k(?z),?x == b,
0.00/0.02	     f(?y,?z) -> k(?x) | ?z == h(a),?y == k(a),a == ?x,
0.00/0.02	     k(?x) -> h(?x),
0.00/0.02	     k(?x) -> b,
0.00/0.02	     k(?x) -> a,
0.00/0.02	     a -> b,
0.00/0.02	     g(?x,?x) -> a ]
0.00/0.02	Check whether all rules are type 3
0.00/0.02	OK
0.00/0.02	Check whether the input is deterministic
0.00/0.02	No. non-deterministic rule: f(?y,a) -> g(?x,?x) | h(?z) == ?x,?y == k(?z),?x == b
0.00/0.02	Conditional critical pairs (CCPs):
0.00/0.02	   [ k(?x_1) = g(?x,?x) | a == h(a),?y_1 == k(a),a == ?x_1,h(?z) == ?x,?y_1 == k(?z),?x == b,
0.00/0.02	     f(?y,b) = g(?x,?x) | h(?z) == ?x,?y == k(?z),?x == b,
0.00/0.02	     g(?x,?x) = k(?x_1) | h(?z) == ?x,?y == k(?z),?x == b,a == h(a),?y == k(a),a == ?x_1,
0.00/0.02	     b = h(?x_3),
0.00/0.02	     a = h(?x_4),
0.00/0.02	     h(?x_2) = b,
0.00/0.02	     a = b,
0.00/0.02	     h(?x_2) = a,
0.00/0.02	     b = a ]
0.00/0.02	Check whether the input is almost orthogonale
0.00/0.02	not almost orthogonal
0.00/0.02	/export/starexec/sandbox/benchmark/theBenchmark.trs: Failure(unknown CR)
0.00/0.02	(0 msec.)
0.00/0.02	EOF