NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 10: 0 <= i5_0 and 0 <= i5_post and 1 <= n_promoted_1_0 and 1 <= n_promoted_1_post and 1 <= tmp_post and i5_post-i5_0 <= 0 and i5_0-i5_post <= 0 and 0 <= i5_post+i5_0 and ___const_1024_0-n_promoted_1_0 <= 0 and 1 <= n_promoted_1_0+i5_0 and 1 <= n_promoted_1_0+i5_post and ___const_1024_0-n_promoted_1_post <= 0 and 1 <= n_promoted_1_post+i5_0 and 1 <= n_promoted_1_post+i5_post and n_promoted_1_post-n_promoted_1_0 <= 0 and n_promoted_1_0-n_promoted_1_post <= 0 and 2 <= n_promoted_1_post+n_promoted_1_0 and n_promoted_1_post-tmp_post <= 0 and tmp_post-n_promoted_1_post <= 0 and 2 <= n_promoted_1_post+tmp_post and ___const_1024_0-tmp_post <= 0 and 1 <= tmp_post+i5_0 and 1 <= tmp_post+i5_post and tmp_post-n_promoted_1_0 <= 0 and n_promoted_1_0-tmp_post <= 0 and 2 <= tmp_post+n_promoted_1_0 and 0 <= 0
Errors: