60.76/60.08	/export/starexec/sandbox/solver/bin/starexec_run_coco: line 4: 32689 Done                    java -jar "$DIR/txtr-0.jar" "$DIR/trs.xml.txtr" "$1"
60.76/60.08	     32690 Alarm clock             | NaTT.exe 2> "$2/stderr.txt"
60.76/60.08	Input TRS:
60.76/60.08	    1: lte(0(),n) -> true()
60.76/60.08	    2: lte(s(m),0()) -> false()
60.76/60.08	    3: lte(s(m),s(n)) -> lte(m,n)
60.76/60.08	    4: insert(nil(),m) -> cons(m,nil())
60.76/60.08	    5: insert(cons(n,l),m) -> cons(m,cons(n,l)) | lte(m,n) --> true()
60.76/60.08	    6: insert(cons(n,l),m) -> cons(n,insert(l,m)) | lte(m,n) --> false()
60.76/60.08	    7: ordered(nil()) -> true()
60.76/60.08	    8: ordered(cons(m,nil())) -> true()
60.76/60.08	    9: ordered(cons(m,cons(n,l))) -> ordered(cons(n,l)) | lte(m,n) --> true()
60.76/60.08	    10: ordered(cons(m,cons(n,l))) -> false() | lte(m,n) --> false()
60.76/60.08	Infeasibility test:
60.76/60.08	    lte(x3,x1) --> true()
60.76/60.08	    lte(x3,x1) --> false()
60.76/60.08	Co-Order(NegReal,≥,Sum) ...Co-QLPOpS ...Co-QWPOpS(PosReal,>,Sum) ...Co-Order(PosReal,≥,Sum-Sum; PosReal,≥,Sum-Sum) ...
60.76/60.08	EOF