60.68/60.01	ERR
60.68/60.02	Input TRS:
60.68/60.02	    1: e(0()) -> true()
60.68/60.02	    2: e(s(x)) -> true() | o(x) --> true()
60.68/60.02	    3: e(s(x)) -> false() | e(x) --> true()
60.68/60.02	    4: o(0()) -> false()
60.68/60.02	    5: o(s(x)) -> true() | e(x) --> true()
60.68/60.02	    6: o(s(x)) -> false() | o(x) --> true()
60.68/60.02	Infeasibility test:
60.68/60.02	    e(x1) --> true()
60.68/60.02	    o(x1) --> true()
60.68/60.02	Co-Order(NegReal,≥,Sum) ...Co-QLPOpS ...Co-QWPOpS(PosReal,>,Sum) ...Co-Order(PosReal,≥,Sum-Sum; PosReal,≥,Sum-Sum) ...
60.68/60.02	Unexpected SMT solver response to 'check-sat':
60.68/60.02	<EOF>
60.68/60.02	EOF