0.00/0.02	MAYBE
0.00/0.02	(ignored inputs)COMMENT doi:10.1007/978-1-4757-3661-8 [18] Example 7.4.9 with typo; corrected as Cops #493 submitted by: Thomas Sternagel and Aart Middeldorp
0.00/0.02	Conditional Rewrite Rules:
0.00/0.02	   [ eq(0,0) -> true,
0.00/0.02	     eq(s(?x),0) -> false,
0.00/0.02	     eq(0,s(?y)) -> false,
0.00/0.02	     eq(s(?x),s(?y)) -> eq(?x,?y),
0.00/0.02	     lte(0,?y) -> true,
0.00/0.02	     lte(s(?x),0) -> false,
0.00/0.02	     lte(s(?x),s(?y)) -> lte(?x,?y),
0.00/0.02	     m(0,s(?y)) -> 0,
0.00/0.02	     m(?x,0) -> ?x,
0.00/0.02	     m(s(?x),s(?y)) -> m(?x,?y),
0.00/0.02	     mod(0,?y) -> 0,
0.00/0.02	     mod(s(?x),0) -> 0,
0.00/0.02	     mod(s(?x),s(?y)) -> mod(m(?x,?y),s(?y)) | lte(?y,?x) == true,
0.00/0.02	     mod(s(?x),s(?y)) -> s(?x) | lte(?y,?x) == false,
0.00/0.02	     filter(?n,?r,nil) -> nil,
0.00/0.02	     filter(?n,?r,cons(?x,?xs)) -> cons(?x,filter(?n,?r,?xs)) | mod(?x,?n) == ?r',eq(?r,?r') == true,
0.00/0.02	     filter(?n,?r,cons(?x,?xs)) -> filter(?n,?r,?xs) | mod(?x,?n) == ?n',eq(?r,?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)) -> filter(?n,?r,?xs) | mod(?x,?n) == ?n',eq(?r,?r') == false
0.00/0.02	Conditional critical pairs (CCPs):
0.00/0.02	   [ s(?x_12) = mod(m(?x_12,?y_12),s(?y_12)) | lte(?y_12,?x_12) == false,lte(?y_12,?x_12) == true,
0.00/0.02	     mod(m(?x_11,?y_11),s(?y_11)) = s(?x_11) | lte(?y_11,?x_11) == true,lte(?y_11,?x_11) == false,
0.00/0.02	     filter(?n_15,?r_15,?xs_15) = cons(?x_15,filter(?n_15,?r_15,?xs_15)) | mod(?x_15,?n_15) == ?n'_15,eq(?r_15,?r'_15) == false,mod(?x_15,?n_15) == ?r'_14,eq(?r_15,?r'_14) == true,
0.00/0.02	     cons(?x_14,filter(?n_14,?r_14,?xs_14)) = filter(?n_14,?r_14,?xs_14) | mod(?x_14,?n_14) == ?r'_14,eq(?r_14,?r'_14) == true,mod(?x_14,?n_14) == ?n'_15,eq(?r_14,?r'_15) == false ]
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	(1 msec.)
0.00/0.02	EOF