NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 18: 0 <= 0 and w_5_0+-2 <= 0 and -x_6_0+2 <= 0
Errors: