Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
Integer Transition Systems pair #487526047
details
property
value
status
complete
benchmark
e-1394complete-fail.t2.smt2
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n078.star.cs.uiowa.edu
space
From_T2
run statistics
property
value
solver
irankfinder v1.3.2
configuration
competition
runtime (wallclock)
76.3279550076 seconds
cpu usage
76.279250731
max memory
8.022016E7
stage attributes
key
value
output-size
4499
starexec-result
NO
output
/export/starexec/sandbox2/solver/bin/starexec_run_competition /export/starexec/sandbox2/benchmark/theBenchmark.smt2 /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- NO NON-Termination: ---------------- SCC: +--transitions: t35,t36 +--nodes: l25,l27 Closed walk: 2 -> t35, t36 Reachability checked! - Recurrent Set Found: { ret_t1394_SubmitIrpSynch3636_0 -ret_t1394_SubmitIrpSynch3636_post == 0, ret_t1394Diag_PnpStopDevice33_0 -ret_t1394Diag_PnpStopDevice33_post == 0, ret_IoSetDeviceInterfaceState44_post == 0, ret_IoAllocateIrp2727_0 -ret_IoAllocateIrp2727_post == 0, ret_ExAllocatePool3030_0 -ret_ExAllocatePool3030_post == 0, phi_nSUC_ret_post == 0, phi_io_compl_0 -phi_io_compl_post == 0, pIrb_0 -pIrb_post == 0, ntStatus_post == 0, keR_post == 0, keA_post == 0, k5_0 -k5_post == 0, __rho_11__0 -k4_post == 0, k3_0 -k3_post == 0, k2_0 -k2_post == 0, k1_0 -k1_post == 0, ioR_post == 0, ioA_post == 0, Irql_0 -i___099_post == 0, Irql_0 -i___04646_post == 0, Irql_0 -i___04040_post == 0, i___02424_0 -i___02424_post == 0, Irql_0 -i___02020_post == 0, i___01717_0 -i___01717_post == 0, Irql_0 -i___01313_post == 0, b3535_0 -b3535_post == 0, b3333_0 -b3333_post == 0, b2929_0 -b2929_post == 0, b2626_0 -b2626_post == 0, b22_0 -b22_post == 0, a77_0 -a77_post == 0, a4444_0 -a4444_post == 0, a4343_0 -a4343_post == 0, a3838_0 -a3838_post == 0, a3737_0 -a3737_post == 0, a3434_0 -a3434_post == 0, a3232_0 -a3232_post == 0, a3131_0 -a3131_post == 0, a2828_0 -a2828_post == 0, a2525_0 -a2525_post == 0, a1818_0 -a1818_post == 0, a11_0 -a11_post == 0, __rho_9__0 -__rho_9__post == 0, __rho_8__0 -__rho_8__post == 0, __rho_7__0 -__rho_7__post == 0, __rho_5__0 -__rho_5__post == 0, __rho_4__0 -__rho_4__post == 0, __rho_3__0 -__rho_3__post == 0, __rho_2__0 -__rho_2__post == 0, __rho_1__0 -__rho_1__post == 0, __rho_12__0 -__rho_12__post == 0, __rho_11__0 -__rho_11__post == 0, __rho_10__0 -__rho_10__post == 0, ResourceIrp_0 -ResourceIrp_post == 0, IsochResourceData_0 -IsochResourceData_post == 0, IsochDetachData_0 -IsochDetachData_post == 0, Irql_0 -Irql_post == 0, Irp_0 -Irp_post == 0, CromData_0 -CromData_post == 0, AsyncAddressData_0 -AsyncAddressData_post == 0, ret_t1394_SubmitIrpSynch3636_0 -X59 == 0, ret_t1394Diag_PnpStopDevice33_0 -X58 == 0, X57 == 0, ret_IoAllocateIrp2727_0 -X56 == 0, ret_ExAllocatePool3030_0 -X55 == 0, X54 == 0, phi_io_compl_0 -X53 == 0, pIrb_0 -X52 == 0, X51 == 0, X50 == 0, X49 == 0, k5_0 -X48 == 0, __rho_11__0 -X47 == 0, k3_0 -X46 == 0, k2_0 -X45 == 0, k1_0 -X44 == 0, X43 == 0, X42 == 0, Irql_0 -X41 == 0, Irql_0 -X40 == 0, Irql_0 -X39 == 0, i___02424_0 -X38 == 0,
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to Integer Transition Systems