NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 6: 0 <= 0 and -x_5_0 <= 0
Errors: