0.00/0.02	MAYBE
0.00/0.02	(ignored inputs)COMMENT submitted by: Florian Messner used by COPS #1146
0.00/0.02	Conditional Rewrite Rules:
0.00/0.02	   [ f(?y,a) -> g(?x,?x) | h(?z) == ?x,?y == k(?z),
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	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)
0.00/0.02	Conditional critical pairs (CCPs):
0.00/0.02	   [ f(?y,b) = g(?x,?x) | h(?z) == ?x,?y == k(?z),
0.00/0.02	     b = h(?x_2),
0.00/0.02	     a = h(?x_3),
0.00/0.02	     h(?x_1) = b,
0.00/0.02	     a = b,
0.00/0.02	     h(?x_1) = 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