60.67/60.05	ERR
60.67/60.05	Input TRS:
60.67/60.05	    1: lt(x,0()) -> false()
60.67/60.05	    2: lt(0(),s(y)) -> true()
60.67/60.05	    3: lt(s(x),s(y)) -> lt(x,y)
60.67/60.05	    4: cons(x,cons(y,ys)) -> cons(y,cons(x,ys)) | lt(x,y) --> true()
60.67/60.05	Infeasibility test:
60.67/60.05	    lt(x,x1) --> true()
60.67/60.05	    lt(x1,x2) --> true()
60.67/60.05	Co-Order(NegReal,≥,Sum) ...Co-QLPOpS ...Co-QWPOpS(PosReal,>,Sum) ...Co-Order(PosReal,≥,Sum-Sum; PosReal,≥,Sum-Sum) ...
60.67/60.05	Unexpected SMT solver response to 'check-sat':
60.67/60.05	<EOF>
60.67/60.05	EOF