Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
Integer Transition Systems pair #487525588
details
property
value
status
complete
benchmark
fake-succeed.t2.smt2
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n080.star.cs.uiowa.edu
space
From_T2
run statistics
property
value
solver
irankfinder v1.3.2
configuration
competition
runtime (wallclock)
199.722747087 seconds
cpu usage
199.67978738
max memory
1.32608E8
stage attributes
key
value
output-size
6183
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: t122,t123 +--nodes: l21,l68 Closed walk: 2 -> t122, t123 Reachability checked! - Recurrent Set Found: { y77_0 -y77_post == 0, y6464_0 -y6464_post == 0, y2929_0 -y2929_post == 0, y2323_0 -y2323_post == 0, y1414_0 -y1414_post == 0, x66_0 -x66_post == 0, DeviceObject_0 -x6565_post == 0, x6363_0 -x6363_post == 0, x4646_0 -x4646_post == 0, x2828_0 -x2828_post == 0, x2222_0 -x2222_post == 0, x1313_0 -x1313_post == 0, x1010_0 -x1010_post == 0, status_0 -status_post == 0, length_0 -length_post == 0, keR_post == 0, keA_post == 0, ip1919_0 -ip1919_post == 0, ip1818_0 -ip1818_post == 0, i6262_0 -i6262_post == 0, i5858_0 -i5858_post == 0, i55_0 -i55_post == 0, i5454_0 -i5454_post == 0, i5050_0 -i5050_post == 0, i4545_0 -i4545_post == 0, i4141_0 -i4141_post == 0, i3737_0 -i3737_post == 0, i3333_0 -i3333_post == 0, i2727_0 -i2727_post == 0, i2121_0 -i2121_post == 0, i1212_0 -i1212_post == 0, __rho_9__0 -__rho_9__post == 0, __rho_91__0 -__rho_91__post == 0, __rho_8__0 -__rho_8__post == 0, __rho_7__0 -__rho_7__post == 0, __rho_6__0 -__rho_6__post == 0, __rho_5__0 -__rho_5__post == 0, __rho_4__0 -__rho_4__post == 0, __rho_3__0 -__rho_3__post == 0, __rho_34__0 -__rho_34__post == 0, __rho_33__0 -__rho_33__post == 0, __rho_32__0 -__rho_32__post == 0, __rho_31__0 -__rho_31__post == 0, __rho_30__0 -__rho_30__post == 0, __rho_2__0 -__rho_2__post == 0, __rho_29__0 -__rho_29__post == 0, __rho_28__0 -__rho_28__post == 0, __rho_27__0 -__rho_27__post == 0, __rho_26__0 -__rho_26__post == 0, __rho_25__0 -__rho_25__post == 0, __rho_24__0 -__rho_24__post == 0, __rho_23__0 -__rho_23__post == 0, __rho_22__0 -__rho_22__post == 0, __rho_21__0 -__rho_21__post == 0, __rho_20__0 -__rho_20__post == 0, __rho_1__0 -__rho_1__post == 0, __rho_19__0 -__rho_19__post == 0, __rho_18__0 -__rho_18__post == 0, __rho_17__0 -__rho_17__post == 0, __rho_16__0 -__rho_16__post == 0, __rho_15__0 -__rho_15__post == 0, __rho_14__0 -__rho_14__post == 0, __rho_13__0 -__rho_13__post == 0, __rho_12__0 -__rho_12__post == 0, __rho_11__0 -__rho_11__post == 0, __rho_10__0 -__rho_10__post == 0, __const_8_0 -__const_8_post == 0, __const_7_0 -__const_7_post == 0, __const_6_0 -__const_6_post == 0, __const_63_0 -__const_63_post == 0, __const_5_0 -__const_5_post == 0, __const_41_0 -__const_41_post == 0, __const_37_0 -__const_37_post == 0, __const_36_0 -__const_36_post == 0, __const_35_0 -__const_35_post == 0, __const_34_0 -__const_34_post == 0, __const_33_0 -__const_33_post == 0, __const_32_0 -__const_32_post == 0, __const_31_0 -__const_31_post == 0, __const_30_0 -__const_30_post == 0, __const_29_0 -__const_29_post == 0, __const_28_0 -__const_28_post == 0,
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to Integer Transition Systems