0.00/0.02	MAYBE
0.00/0.02	(ignored inputs)COMMENT [68] p. 13 doi:10.1007/3-540-59200-8_56 submitted by: Thomas Sternagel and Aart Middeldorp
0.00/0.02	Conditional Rewrite Rules:
0.00/0.02	   [ filter(?n,?r,nil) -> pair(mo,nil),
0.00/0.02	     filter(?n,?r,cons(?x,?xs)) -> pair(?x,?xs) | eq(div(?x,?n),pair(?q,?r)) == true,
0.00/0.02	     filter(?n,?r,cons(?x,?xs)) -> pair(?y,cons(?x,ys)) | filter(?n,?r,?xs) == pair(?y,ys),eq(div(?x,?n),pair(?q,?r)) == false ]
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: filter(?n,?r,cons(?x,?xs)) -> pair(?x,?xs) | eq(div(?x,?n),pair(?q,?r)) == true
0.00/0.02	Conditional critical pairs (CCPs):
0.00/0.02	   [ pair(?y_2,cons(?x_2,ys)) = pair(?x_2,?xs_2) | filter(?n_2,?r_2,?xs_2) == pair(?y_2,ys),eq(div(?x_2,?n_2),pair(?q_2,?r_2)) == false,eq(div(?x_2,?n_2),pair(?q_1,?r_2)) == true,
0.00/0.02	     pair(?x_1,?xs_1) = pair(?y_2,cons(?x_1,ys)) | eq(div(?x_1,?n_1),pair(?q_1,?r_1)) == true,filter(?n_1,?r_1,?xs_1) == pair(?y_2,ys),eq(div(?x_1,?n_1),pair(?q_2,?r_1)) == false ]
0.00/0.02	Check whether the input is almost orthogonale
0.00/0.03	not almost orthogonal
0.00/0.03	/export/starexec/sandbox/benchmark/theBenchmark.trs: Failure(unknown CR)
0.00/0.03	(0 msec.)
0.00/0.03	EOF