NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 13: ___const_8_0 == 0 and c_post == 1 and curr_serv_0 == 0 and curr_serv_post == 0 and resp_post == 0 and servers_post == 0
Errors: