NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 50: APe4242_post == 1 and APm4141_post == 3 and NL2525_post == 0 and NL3434_post == 0 and NL5959_post == 0 and NL7070_post == 0 and SER5858_post == 1 and SER6969_post == 1 and a4848_post == 1 and a7272_post == 0 and a8787_post == 0 and ap_accept_lock_mech_0 == 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___03737_post == 0 and ap_max_mem_free_0 == 0 and ap_max_mem_free___02222_post == 0 and ap_max_requests_per_child_0 == 0 and ap_my_pid_post == 0 and ap_threads_per_child_post == 0 and b4646_post == 0 and c4747_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 == -1 and i_post == -1 and last_poll_idx_post == 0 and lr_0 == 1 and lr_post == 1 and mpm_state_post == 8 and my_child_num_0 == 1 and my_child_num___05555_post == 1 and my_child_num_post == 1 and num_listensocks_0 == 1 and num_listensocks___06161_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 == 6 and pfd_reqevents_post == 5 and requests_this_child_post == 0 and ret_accept_mutex_off8686_post == 0 and ret_accept_mutex_on7171_post == 0 and ret_apr_proc_mutex_child_init4040_post == 8 and ret_getpid1818_post == 0 and ret_unixd_setup_child4949_post == 0 and server_limit_post == 256 and status_0 == 8 and status___04343_post == 8 and status_post == 8 and tmp1717_post == 0 and tmp1_0 == 0 and tmp1_post == 0 and tmp3939_post == 8 and tmp___03_0 == 0 and tmp___03_post == 0 and tmp___26_post == 0 and tmp___412_post == 0 and z3535_post == 0 and z5656_post == 0 and z6363_post == 0
Errors: