NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 45: NL2323_post == 0 and NL3232_post == 0 and NL5050_post == 0 and NL6161_post == 0 and SER4949_post == 1 and SER6060_post == 1 and ___const_256_0 == 0 and ___const_5_0 == 0 and ___const_6_0 == 0 and ___const_7_0 == -1 and ___const_8_0 == 0 and ___const_9_0 == 0 and a3939_post == 1 and a6363_post == 0 and a7373_post == 0 and ap_daemons_limit_post == 0 and ap_daemons_max_free_post == 0 and ap_daemons_min_free_post == 0 and ap_daemons_to_start_post == 0 and ap_listeners_0 == 1 and ap_listeners_post == 1 and ap_lock_fname_0 == 0 and ap_lock_fname___03535_post == 0 and ap_max_mem_free_0 == 0 and ap_max_mem_free___02020_post == 0 and ap_max_requests_per_child_0 == 0 and ap_my_pid_post == 0 and ap_threads_per_child_post == 0 and child_num_arg_post == 1 and die_now_0 == 0 and die_now_post == 0 and do_ACCEPT_1 == 1 and do_ACCEPT_post == 0 and first_server_limit_post == 0 and i_0 == 0 and i_post == 0 and last_poll_idx_post == 0 and lr_0 == 1 and lr_post == 1 and mpm_state_post == 0 and my_child_num_0 == 1 and my_child_num___04646_post == 1 and my_child_num_post == 1 and num_listensocks_0 == 1 and num_listensocks___05252_post == 0 and num_listensocks_post == 1 and pfd___02_post == 0 and pfd_client_data_post == 1 and pfd_desc_s_post == 1 and pfd_desc_type_post == 0 and pfd_reqevents_post == 0 and requests_this_child_post == 0 and ret_accept_mutex_off7272_post == 0 and ret_accept_mutex_on6262_post == 0 and ret_apr_proc_mutex_child_init3838_post == 0 and ret_getpid1616_post == 0 and ret_unixd_setup_child4040_post == 0 and server_limit_post == 0 and status_0 == 0 and status_post == 0 and tmp1515_post == 0 and tmp1_0 == 0 and tmp1_post == 0 and tmp3737_post == 0 and tmp___15_post == 0 and tmp___311_post == 0 and z3333_post == 0 and z4747_post == 0 and z5454_post == 0
Errors: