NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 45: NL2423_post == 0 and NL3332_post == 0 and NL5150_post == 0 and NL6261_post == 0 and SER5049_post == 1 and SER6160_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 a4039_post == 1 and a6463_post == 0 and a7473_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___03635_post == 0 and ap_max_mem_free_0 == 0 and ap_max_mem_free___02120_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___04746_post == 1 and my_child_num_post == 1 and num_listensocks_0 == 1 and num_listensocks___05352_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_off7372_post == 0 and ret_accept_mutex_on6362_post == 0 and ret_apr_proc_mutex_child_init3938_post == 0 and ret_getpid1716_post == 0 and ret_unixd_setup_child4140_post == 0 and server_limit_post == 0 and status_0 == 0 and status_post == 0 and tmp1615_post == 0 and tmp1_0 == 0 and tmp1_post == 0 and tmp3837_post == 0 and tmp___15_post == 0 and tmp___311_post == 0 and z3433_post == 0 and z4847_post == 0 and z5554_post == 0
Errors: