Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
Integer Transition Systems pair #487526089
details
property
value
status
complete
benchmark
apchild-accepted.t2_fixed.smt2
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n093.star.cs.uiowa.edu
space
From_T2
run statistics
property
value
solver
irankfinder v1.3.2
configuration
competition
runtime (wallclock)
273.698282957 seconds
cpu usage
273.616532663
max memory
2.6748928E8
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: { z5454_post == 0, z4747_post == 0, z3333_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, tmp8686_0 -tmp8686_post == 0, ret_apr_proc_mutex_child_init3838_0 -tmp3737_post == 0, tmp1_post == 0, ap_my_pid_0 -tmp1515_post == 0, status_0 -status_post == 0, shutdown_pending_0 -shutdown_pending_post == 0, -256 + server_limit_post == 0, ret_unixd_setup_child4040_post == 0, ap_my_pid_0 -ret_getpid1616_post == 0, ret_apr_proc_mutex_child_init3838_0 -ret_apr_proc_mutex_child_init3838_post == 0, ret_apr_pollset_poll6868_0 -ret_apr_pollset_poll6868_post == 0, ret_ap_run_create_connection8181_0 -ret_ap_run_create_connection8181_post == 0, ret_ap_mpm_pod_check8787_0 -ret_ap_mpm_pod_check8787_post == 0, ret_accept_mutex_on6262_0 -ret_accept_mutex_on6262_post == 0, ret_accept_mutex_off7272_0 -ret_accept_mutex_off7272_post == 0, ret_APR_STATUS_IS_EINTR7070_0 -ret_APR_STATUS_IS_EINTR7070_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___05252_0 -num_listensocks___05252_post == 0, num_listensocks_0 -num_listensocks_post == 0, my_child_num___07878_0 -my_child_num___07878_post == 0, child_num_arg_0 -my_child_num___04646_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___08484_0 -current_conn___08484_post == 0, current_conn___08282_0 -current_conn___08282_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___02020_post == 0, ap_max_mem_free_0 -ap_max_mem_free_post == 0, ap_lock_fname_0 -ap_lock_fname___03535_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, a8888_post == 0, a7474_0 -a7474_post == 0, a7373_0 -a7373_post == 0, a7171_0 -a7171_post == 0, a6969_0 -a6969_post == 0, a6565_0 -a6565_post == 0, a6363_0 -a6363_post == 0, a5858_0 -a5858_post == 0, a4141_0 -a4141_post == 0, a3939_0 -a3939_post == 0, SER6060_0 -SER6060_post == 0, -1 + SER4949_post == 0, NL6161_0 -NL6161_post == 0, NL5050_post == 0, NL3232_post == 0, NL2323_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