Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
Integer Transition Systems pair #487525489
details
property
value
status
complete
benchmark
apchild-accepted-fail.t2_fixed.smt2
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n148.star.cs.uiowa.edu
space
From_T2
run statistics
property
value
solver
irankfinder v1.3.2
configuration
competition
runtime (wallclock)
273.824923038 seconds
cpu usage
273.720641199
max memory
2.67497472E8
stage attributes
key
value
output-size
6537
starexec-result
NO
output
/export/starexec/sandbox/solver/bin/starexec_run_competition /export/starexec/sandbox/benchmark/theBenchmark.smt2 /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- NO NON-Termination: ---------------- SCC: +--transitions: t24,t25 +--nodes: l21,l22 Closed walk: 2 -> t24, t25 Reachability checked! - Recurrent Set Found: { z5554_post == 0, z4847_post == 0, z3433_post == 0, tmp___412_0 -tmp___412_post == 0, tmp___311_0 -tmp___311_post == 0, tmp___29_0 -tmp___29_post == 0, tmp___15_0 -tmp___15_post == 0, tmp___04_0 -tmp___04_post == 0, tmp8786_0 -tmp8786_post == 0, ret_apr_proc_mutex_child_init3938_0 -tmp3837_post == 0, tmp1_post == 0, ap_my_pid_0 -tmp1615_post == 0, status_0 -status_post == 0, shutdown_pending_0 -shutdown_pending_post == 0, -256 + server_limit_post == 0, ret_unixd_setup_child4140_post == 0, ap_my_pid_0 -ret_getpid1716_post == 0, ret_apr_proc_mutex_child_init3938_0 -ret_apr_proc_mutex_child_init3938_post == 0, ret_apr_pollset_poll6968_0 -ret_apr_pollset_poll6968_post == 0, ret_ap_run_create_connection8281_0 -ret_ap_run_create_connection8281_post == 0, ret_ap_mpm_pod_check8887_0 -ret_ap_mpm_pod_check8887_post == 0, ret_accept_mutex_on6362_0 -ret_accept_mutex_on6362_post == 0, ret_accept_mutex_off7372_0 -ret_accept_mutex_off7372_post == 0, ret_APR_STATUS_IS_EINTR7170_0 -ret_APR_STATUS_IS_EINTR7170_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___06_0 -numdesc___06_post == 0, num_listensocks___05352_0 -num_listensocks___05352_post == 0, num_listensocks_0 -num_listensocks_post == 0, my_child_num___07978_0 -my_child_num___07978_post == 0, child_num_arg_0 -my_child_num___04746_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, i_0 -i_post == 0, first_server_limit_post == 0, do_ACCEPT_post == 0, -1 + die_now_post == 0, current_conn___08584_0 -current_conn___08584_post == 0, current_conn___08382_0 -current_conn___08382_post == 0, current_conn_0 -current_conn_post == 0, child_num_arg_0 -child_num_arg_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___02120_post == 0, ap_max_mem_free_0 -ap_max_mem_free_post == 0, ap_lock_fname_0 -ap_lock_fname___03635_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, a8988_post == 0, a7574_0 -a7574_post == 0, a7473_0 -a7473_post == 0, a7271_0 -a7271_post == 0, a7069_0 -a7069_post == 0, a6665_0 -a6665_post == 0, a6463_0 -a6463_post == 0, a5958_0 -a5958_post == 0, a4241_0 -a4241_post == 0, a4039_0 -a4039_post == 0, SER6160_0 -SER6160_post == 0, -1 + SER5049_post == 0, NL6261_0 -NL6261_post == 0, NL5150_post == 0, NL3332_post == 0, NL2423_post == 0, X76 == 0, X75 == 0, X74 == 0, tmp___412_0 -X73 == 0, tmp___311_0 -X72 == 0,
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to Integer Transition Systems