NO NON-Termination: ---------------- SCC: +--transitions: t35,t36 +--nodes: l27,l28 Closed walk: 2 -> t35, t36 Reachability checked! - Recurrent Set Found: { z6363_post == 0, z5656_post == 0, z3535_post == 0, tmp___614_0 -tmp___614_post == 0, tmp___513_0 -tmp___513_post == 0, tmp___412_0 -tmp___412_post == 0, tmp___310_0 -tmp___310_post == 0, tmp___26_0 -tmp___26_post == 0, tmp___15_0 -tmp___15_post == 0, tmp___03_post == 0, ret_apr_proc_mutex_child_init4040_0 -tmp3939_post == 0, tmp1_post == 0, ap_my_pid_0 -tmp1717_post == 0, tmp100100_0 -tmp100100_post == 0, status___08282_0 -status___08282_post == 0, status___04343_0 -status___04343_post == 0, status_0 -status_post == 0, shutdown_pending_0 -shutdown_pending_post == 0, -256 + server_limit_post == 0, ret_unixd_setup_child4949_post == 0, ap_my_pid_0 -ret_getpid1818_post == 0, ret_apr_proc_mutex_child_init4040_0 -ret_apr_proc_mutex_child_init4040_post == 0, ret_apr_pollset_poll7777_0 -ret_apr_pollset_poll7777_post == 0, ret_ap_run_create_connection9595_0 -ret_ap_run_create_connection9595_post == 0, ret_ap_mpm_pod_check101101_0 -ret_ap_mpm_pod_check101101_post == 0, ret_accept_mutex_on7171_0 -ret_accept_mutex_on7171_post == 0, ret_accept_mutex_off8686_0 -ret_accept_mutex_off8686_post == 0, ret_APR_STATUS_IS_EINTR7979_0 -ret_APR_STATUS_IS_EINTR7979_post == 0, requests_this_child_0 -requests_this_child_post == 0, pfd_reqevents_0 -pfd_reqevents_post == 0, pfd_desc_type_0 -pfd_desc_type_post == 0, pfd_desc_s_0 -pfd_desc_s_post == 0, pfd_client_data_0 -pfd_client_data_post == 0, pfd___02_0 -pfd___02_post == 0, one_process_0 -one_process_post == 0, numdesc___07_0 -numdesc___07_post == 0, num_listensocks___06161_0 -num_listensocks___06161_post == 0, num_listensocks_0 -num_listensocks_post == 0, my_child_num___09292_0 -my_child_num___09292_post == 0, child_num_arg_0 -my_child_num___05555_post == 0, child_num_arg_0 -my_child_num_post == 0, -8 + mpm_state_post == 0, lr_0 -lr_post == 0, last_poll_idx_post == 0, 1 + i_post == 0, first_server_limit_post == 0, do_ACCEPT_post == 0, -1 + die_now_post == 0, current_conn___09898_0 -current_conn___09898_post == 0, current_conn___09696_0 -current_conn___09696_post == 0, current_conn_0 -current_conn_post == 0, child_num_arg_0 -child_num_arg_post == 0, c4747_0 -c4747_post == 0, b4646_0 -b4646_post == 0, ap_threads_per_child_post == 0, ap_my_pid_0 -ap_my_pid_post == 0, ap_my_generation_0 -ap_my_generation_post == 0, ap_max_requests_per_child_0 -ap_max_requests_per_child_post == 0, ap_max_mem_free_0 -ap_max_mem_free___02222_post == 0, ap_max_mem_free_0 -ap_max_mem_free_post == 0, ap_lock_fname_0 -ap_lock_fname___03737_post == 0, ap_lock_fname_0 -ap_lock_fname_post == 0, ap_listeners_0 -ap_listeners_post == 0, ap_daemons_to_start_post == 0, ap_daemons_min_free_post == 0, ap_daemons_max_free_post == 0, ap_daemons_limit_post == 0, ap_accept_lock_mech_0 -ap_accept_lock_mech_post == 0, a8888_0 -a8888_post == 0, a8787_0 -a8787_post == 0, a8585_0 -a8585_post == 0, a7878_0 -a7878_post == 0, a7474_0 -a7474_post == 0, a7272_0 -a7272_post == 0, a6767_0 -a6767_post == 0, a5050_0 -a5050_post == 0, a4848_0 -a4848_post == 0, a102102_post == 0, SER6969_0 -SER6969_post == 0, -1 + SER5858_post == 0, NL7070_0 -NL7070_post == 0, NL5959_post == 0, NL3434_post == 0, NL2525_post == 0, APm8080_0 -APm8080_post == 0, APm4141_0 -APm4141_post == 0, APe8181_0 -APe8181_post == 0, APe4242_0 -APe4242_post == 0, X87 == 0, X86 == 0, X85 == 0, tmp___614_0 -X84 == 0, tmp___513_0 -X83 == 0, tmp___412_0 -X82 == 0, tmp___310_0 -X81 == 0, tmp___26_0 -X80 == 0, tmp___15_0 -X79 == 0, X78 == 0, ret_apr_proc_mutex_child_init4040_0 -X77 == 0, X76 == 0, ap_my_pid_0 -X75 == 0, tmp100100_0 -X74 == 0, status___08282_0 -X73 == 0, status___04343_0 -X72 == 0, status_0 -X71 == 0, shutdown_pending_0 -X70 == 0, -256 + X69 == 0, X68 == 0, ap_my_pid_0 -X67 == 0, ret_apr_proc_mutex_child_init4040_0 -X66 == 0, ret_apr_pollset_poll7777_0 -X65 == 0, ret_ap_run_create_connection9595_0 -X64 == 0, ret_ap_mpm_pod_check101101_0 -X63 == 0, ret_accept_mutex_on7171_0 -X62 == 0, ret_accept_mutex_off8686_0 -X61 == 0, ret_APR_STATUS_IS_EINTR7979_0 -X60 == 0, requests_this_child_0 -X59 == 0, pfd_reqevents_0 -X58 == 0, pfd_desc_type_0 -X57 == 0, pfd_desc_s_0 -X56 == 0, pfd_client_data_0 -X55 == 0, pfd___02_0 -X54 == 0, one_process_0 -X53 == 0, numdesc___07_0 -X52 == 0, num_listensocks___06161_0 -X51 == 0, num_listensocks_0 -X50 == 0, my_child_num___09292_0 -X49 == 0, child_num_arg_0 -X48 == 0, child_num_arg_0 -X47 == 0, -8 + X46 == 0, lr_0 -X45 == 0, X44 == 0, 1 + X43 == 0, X42 == 0, X41 == 0, -1 + X40 == 0, current_conn___09898_0 -X39 == 0, current_conn___09696_0 -X38 == 0, current_conn_0 -X37 == 0, child_num_arg_0 -X36 == 0, c4747_0 -X35 == 0, b4646_0 -X34 == 0, X33 == 0, ap_my_pid_0 -X32 == 0, ap_my_generation_0 -X31 == 0, ap_max_requests_per_child_0 -X30 == 0, ap_max_mem_free_0 -X29 == 0, ap_max_mem_free_0 -X28 == 0, ap_lock_fname_0 -X27 == 0, ap_lock_fname_0 -X26 == 0, ap_listeners_0 -X25 == 0, X24 == 0, X23 == 0, X22 == 0, X21 == 0, ap_accept_lock_mech_0 -X20 == 0, a8888_0 -X19 == 0, a8787_0 -X18 == 0, a8585_0 -X17 == 0, a7878_0 -X16 == 0, a7474_0 -X15 == 0, a7272_0 -X14 == 0, a6767_0 -X13 == 0, a5050_0 -X12 == 0, a4848_0 -X11 == 0, X10 == 0, SER6969_0 -X9 == 0, -1 + X8 == 0, NL7070_0 -X7 == 0, X6 == 0, X5 == 0, X4 == 0, APm8080_0 -X3 == 0, APm4141_0 -X2 == 0, APe8181_0 -X1 == 0, APe4242_0 -X0 == 0, z6363_0 == 0, z5656_0 == 0, z3535_0 == 0, tmp___03_0 == 0, ret_apr_proc_mutex_child_init4040_0 -tmp3939_0 == 0, tmp1_0 == 0, ap_my_pid_0 -tmp1717_0 == 0, -256 + server_limit_0 == 0, ret_unixd_setup_child4949_0 == 0, ap_my_pid_0 -ret_getpid1818_0 == 0, child_num_arg_0 -my_child_num___05555_0 == 0, child_num_arg_0 -my_child_num_0 == 0, -8 + mpm_state_0 == 0, last_poll_idx_0 == 0, 1 + i_0 == 0, first_server_limit_0 == 0, do_ACCEPT_0 == 0, -1 + die_now_0 == 0, ap_threads_per_child_0 == 0, ap_max_mem_free_0 -ap_max_mem_free___02222_0 == 0, ap_lock_fname_0 -ap_lock_fname___03737_0 == 0, ap_daemons_to_start_0 == 0, ap_daemons_min_free_0 == 0, ap_daemons_max_free_0 == 0, ap_daemons_limit_0 == 0, a102102_0 == 0, -1 + SER5858_0 == 0, NL5959_0 == 0, NL3434_0 == 0, NL2525_0 == 0, ap_listeners_0 -lr_0 >= 0, -1 + child_num_arg_0 >= 0, -1 + lr_0 >= 0, requests_this_child_0 >= 0 } Connected Subgraphs where we couldn't prove Termination: -------------------------------------------------------- SCC: +--transitions: t10,t71,t73,t74 +--nodes: l1,l44,l7 SCC: +--transitions: t11,t12,t16,t17,t18,t19,t20,t21,t22,t23,t24,t25,t27,t30,t31,t32,t33,t34,t37,t38,t39,t40,t41,t42,t51,t54,t57,t58,t59,t60,t61,t62,t63,t64,t65,t66,t70 +--nodes: l10,l11,l16,l17,l18,l19,l20,l21,l23,l24,l25,l26,l29,l30,l31,l32,l37,l38,l39,l40,l41,l42,l8,l9 method 1