NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 18: 0 <= arg1 and 0 <= arg1P and 0 <= arg2 and arg2 <= 0 and 0 <= arg2P and arg2P <= 0 and 0 <= arg3 and arg3 <= 0 and 0 <= x16 and x16 <= 0 and arg2-arg1 <= 0 and 0 <= arg1+arg2 and x16-arg1 <= 0 and 0 <= arg1+x16 and arg1P-arg1 <= 0 and arg1-arg1P <= 0 and 0 <= arg1P+arg1 and arg2-arg1P <= 0 and 0 <= arg1P+arg2 and x16-arg1P <= 0 and 0 <= arg1P+x16 and arg2-x16 <= 0 and x16-arg2 <= 0 and arg2+x16 <= 0 and 0 <= arg2+x16 and arg2P-arg1 <= 0 and 0 <= arg2P+arg1 and arg2P-arg1P <= 0 and 0 <= arg2P+arg1P and arg2P-arg2 <= 0 and arg2-arg2P <= 0 and arg2P+arg2 <= 0 and 0 <= arg2P+arg2 and arg2P-x16 <= 0 and x16-arg2P <= 0 and arg2P+x16 <= 0 and 0 <= arg2P+x16 and arg3-arg1 <= 0 and 0 <= arg3+arg1 and arg3-arg1P <= 0 and 0 <= arg3+arg1P and arg3-arg2 <= 0 and arg2-arg3 <= 0 and arg3+arg2 <= 0 and 0 <= arg3+arg2 and arg3-arg2P <= 0 and arg2P-arg3 <= 0 and arg3+arg2P <= 0 and 0 <= arg3+arg2P and arg3-x16 <= 0 and x16-arg3 <= 0 and arg3+x16 <= 0 and 0 <= arg3+x16 and 0 <= 0
Errors: