0.00/0.03	YES
0.00/0.03	(ignored inputs)COMMENT [74] Example 2.2 http://www.iaeng.org/IJCS/issues_v40/issue_2/IJCS_40_2_08.pdf submitted by: Thomas Sternagel and Aart Middeldorp
0.00/0.03	Conditional Rewrite Rules:
0.00/0.03	   [ even(0) -> true,
0.00/0.03	     even(s(?x)) -> true | odd(?x) == true,
0.00/0.03	     odd(s(?x)) -> true | even(?x) == true ]
0.00/0.03	Check whether all rules are type 3
0.00/0.03	OK
0.00/0.03	Check whether the input is deterministic
0.00/0.03	OK
0.00/0.03	Result of unraveling:
0.00/0.03	   [ even(0) -> true,
0.00/0.03	     even(s(?x)) -> U0(odd(?x),?x),
0.00/0.03	     U0(true,?x) -> true,
0.00/0.03	     odd(s(?x)) -> U1(even(?x),?x),
0.00/0.03	     U1(true,?x) -> true ]
0.00/0.03	Check whether U(R) is terminating
0.00/0.03	OK
0.00/0.03	Check whether the input is weakly left-linear
0.00/0.03	OK
0.00/0.03	Check whether U(R) is confluent
0.00/0.03	OK
0.00/0.03	R is deterministic, weakly left-linear and U(R) is confluent
0.00/0.03	/export/starexec/sandbox/benchmark/theBenchmark.trs: Success(CR)
0.00/0.03	(4 msec.)
0.00/0.03	EOF