About the Execution of ITS-Tools for ShieldRVs-PT-050A
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16234.323 | 3198900.00 | 2883591.00 | 132807.50 | T????????T?????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r235-smll-162106564500146.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is ShieldRVs-PT-050A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-smll-162106564500146
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 692K
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 109K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 111K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 16:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 28 16:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Mar 28 16:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 27 12:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 12:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 18:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 18:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 5 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 320K May 5 16:52 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-00
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-01
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-02
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-03
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-04
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-05
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-06
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-07
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-08
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-09
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-10
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-11
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-12
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-13
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-14
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1621201569967
Running Version 0
[2021-05-16 21:46:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-16 21:46:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-16 21:46:13] [INFO ] Load time of PNML (sax parser for PT used): 260 ms
[2021-05-16 21:46:13] [INFO ] Transformed 703 places.
[2021-05-16 21:46:13] [INFO ] Transformed 953 transitions.
[2021-05-16 21:46:13] [INFO ] Found NUPN structural information;
[2021-05-16 21:46:13] [INFO ] Parsed PT model containing 703 places and 953 transitions in 366 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 39 ms.
Support contains 627 out of 703 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 703/703 places, 953/953 transitions.
Applied a total of 0 rules in 52 ms. Remains 703 /703 variables (removed 0) and now considering 953/953 (removed 0) transitions.
// Phase 1: matrix 953 rows 703 cols
[2021-05-16 21:46:13] [INFO ] Computed 201 place invariants in 36 ms
[2021-05-16 21:46:14] [INFO ] Implicit Places using invariants in 695 ms returned []
// Phase 1: matrix 953 rows 703 cols
[2021-05-16 21:46:14] [INFO ] Computed 201 place invariants in 7 ms
[2021-05-16 21:46:15] [INFO ] Implicit Places using invariants and state equation in 1013 ms returned []
Implicit Place search using SMT with State Equation took 1759 ms to find 0 implicit places.
// Phase 1: matrix 953 rows 703 cols
[2021-05-16 21:46:15] [INFO ] Computed 201 place invariants in 8 ms
[2021-05-16 21:46:16] [INFO ] Dead Transitions using invariants and state equation in 895 ms returned []
Finished structural reductions, in 1 iterations. Remains : 703/703 places, 953/953 transitions.
[2021-05-16 21:46:17] [INFO ] Flatten gal took : 320 ms
[2021-05-16 21:46:17] [INFO ] Flatten gal took : 204 ms
[2021-05-16 21:46:18] [INFO ] Input system was already deterministic with 953 transitions.
Incomplete random walk after 100000 steps, including 149 resets, run finished after 852 ms. (steps per millisecond=117 ) properties (out of 120) seen :119
Running SMT prover for 1 properties.
// Phase 1: matrix 953 rows 703 cols
[2021-05-16 21:46:19] [INFO ] Computed 201 place invariants in 6 ms
[2021-05-16 21:46:19] [INFO ] [Real]Absence check using 201 positive place invariants in 69 ms returned sat
[2021-05-16 21:46:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 21:46:19] [INFO ] [Real]Absence check using state equation in 596 ms returned sat
[2021-05-16 21:46:19] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 21:46:20] [INFO ] [Nat]Absence check using 201 positive place invariants in 71 ms returned sat
[2021-05-16 21:46:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 21:46:20] [INFO ] [Nat]Absence check using state equation in 556 ms returned sat
[2021-05-16 21:46:21] [INFO ] Deduced a trap composed of 7 places in 187 ms of which 7 ms to minimize.
[2021-05-16 21:46:21] [INFO ] Deduced a trap composed of 8 places in 170 ms of which 2 ms to minimize.
[2021-05-16 21:46:21] [INFO ] Deduced a trap composed of 7 places in 125 ms of which 2 ms to minimize.
[2021-05-16 21:46:21] [INFO ] Deduced a trap composed of 11 places in 97 ms of which 3 ms to minimize.
[2021-05-16 21:46:21] [INFO ] Deduced a trap composed of 7 places in 97 ms of which 0 ms to minimize.
[2021-05-16 21:46:21] [INFO ] Deduced a trap composed of 11 places in 53 ms of which 1 ms to minimize.
[2021-05-16 21:46:21] [INFO ] Deduced a trap composed of 12 places in 37 ms of which 0 ms to minimize.
[2021-05-16 21:46:22] [INFO ] Deduced a trap composed of 11 places in 50 ms of which 1 ms to minimize.
[2021-05-16 21:46:22] [INFO ] Trap strengthening (SAT) tested/added 9/8 trap constraints in 1310 ms
[2021-05-16 21:46:22] [INFO ] Computed and/alt/rep : 461/1714/461 causal constraints (skipped 491 transitions) in 87 ms.
[2021-05-16 21:46:28] [INFO ] Added : 336 causal constraints over 68 iterations in 6857 ms. Result :sat
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 702 transition count 952
Applied a total of 2 rules in 304 ms. Remains 702 /703 variables (removed 1) and now considering 952/953 (removed 1) transitions.
[2021-05-16 21:46:29] [INFO ] Flatten gal took : 107 ms
[2021-05-16 21:46:29] [INFO ] Flatten gal took : 113 ms
[2021-05-16 21:46:29] [INFO ] Input system was already deterministic with 952 transitions.
Finished random walk after 56 steps, including 0 resets, run visited all 1 properties in 3 ms. (steps per millisecond=18 )
FORMULA ShieldRVs-PT-050A-CTLFireability-00 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 702 transition count 952
Applied a total of 2 rules in 84 ms. Remains 702 /703 variables (removed 1) and now considering 952/953 (removed 1) transitions.
[2021-05-16 21:46:30] [INFO ] Flatten gal took : 60 ms
[2021-05-16 21:46:30] [INFO ] Flatten gal took : 66 ms
[2021-05-16 21:46:30] [INFO ] Input system was already deterministic with 952 transitions.
[2021-05-16 21:46:30] [INFO ] Flatten gal took : 59 ms
[2021-05-16 21:46:30] [INFO ] Flatten gal took : 66 ms
[2021-05-16 21:46:30] [INFO ] Time to serialize gal into /tmp/CTLFireability3149011977833571450.gal : 33 ms
[2021-05-16 21:46:30] [INFO ] Time to serialize properties into /tmp/CTLFireability3918234599574735051.ctl : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability3149011977833571450.gal, -t, CGAL, -ctl, /tmp/CTLFireability3918234599574735051.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability3149011977833571450.gal -t CGAL -ctl /tmp/CTLFireability3918234599574735051.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 21:47:00] [INFO ] Flatten gal took : 56 ms
[2021-05-16 21:47:00] [INFO ] Applying decomposition
[2021-05-16 21:47:00] [INFO ] Flatten gal took : 52 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph11935821724850040699.txt, -o, /tmp/graph11935821724850040699.bin, -w, /tmp/graph11935821724850040699.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph11935821724850040699.bin, -l, -1, -v, -w, /tmp/graph11935821724850040699.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 21:47:00] [INFO ] Decomposing Gal with order
[2021-05-16 21:47:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 21:47:01] [INFO ] Removed a total of 1047 redundant transitions.
[2021-05-16 21:47:01] [INFO ] Flatten gal took : 179 ms
[2021-05-16 21:47:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 912 labels/synchronizations in 110 ms.
[2021-05-16 21:47:01] [INFO ] Time to serialize gal into /tmp/CTLFireability17789664198484655382.gal : 17 ms
[2021-05-16 21:47:01] [INFO ] Time to serialize properties into /tmp/CTLFireability11657977286973718128.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability17789664198484655382.gal, -t, CGAL, -ctl, /tmp/CTLFireability11657977286973718128.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability17789664198484655382.gal -t CGAL -ctl /tmp/CTLFireability11657977286973718128.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 702 transition count 952
Applied a total of 2 rules in 79 ms. Remains 702 /703 variables (removed 1) and now considering 952/953 (removed 1) transitions.
[2021-05-16 21:47:31] [INFO ] Flatten gal took : 52 ms
[2021-05-16 21:47:31] [INFO ] Flatten gal took : 58 ms
[2021-05-16 21:47:31] [INFO ] Input system was already deterministic with 952 transitions.
[2021-05-16 21:47:31] [INFO ] Flatten gal took : 55 ms
[2021-05-16 21:47:31] [INFO ] Flatten gal took : 54 ms
[2021-05-16 21:47:31] [INFO ] Time to serialize gal into /tmp/CTLFireability5537726566397947471.gal : 9 ms
[2021-05-16 21:47:31] [INFO ] Time to serialize properties into /tmp/CTLFireability216014756280430709.ctl : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability5537726566397947471.gal, -t, CGAL, -ctl, /tmp/CTLFireability216014756280430709.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability5537726566397947471.gal -t CGAL -ctl /tmp/CTLFireability216014756280430709.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 21:48:02] [INFO ] Flatten gal took : 59 ms
[2021-05-16 21:48:02] [INFO ] Applying decomposition
[2021-05-16 21:48:02] [INFO ] Flatten gal took : 69 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph12992883422782396185.txt, -o, /tmp/graph12992883422782396185.bin, -w, /tmp/graph12992883422782396185.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph12992883422782396185.bin, -l, -1, -v, -w, /tmp/graph12992883422782396185.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 21:48:02] [INFO ] Decomposing Gal with order
[2021-05-16 21:48:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 21:48:02] [INFO ] Removed a total of 1047 redundant transitions.
[2021-05-16 21:48:02] [INFO ] Flatten gal took : 172 ms
[2021-05-16 21:48:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 904 labels/synchronizations in 127 ms.
[2021-05-16 21:48:02] [INFO ] Time to serialize gal into /tmp/CTLFireability14600849169087190325.gal : 10 ms
[2021-05-16 21:48:02] [INFO ] Time to serialize properties into /tmp/CTLFireability3760610320083091000.ctl : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability14600849169087190325.gal, -t, CGAL, -ctl, /tmp/CTLFireability3760610320083091000.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability14600849169087190325.gal -t CGAL -ctl /tmp/CTLFireability3760610320083091000.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 702 transition count 952
Applied a total of 2 rules in 74 ms. Remains 702 /703 variables (removed 1) and now considering 952/953 (removed 1) transitions.
[2021-05-16 21:48:33] [INFO ] Flatten gal took : 64 ms
[2021-05-16 21:48:33] [INFO ] Flatten gal took : 49 ms
[2021-05-16 21:48:33] [INFO ] Input system was already deterministic with 952 transitions.
Finished random walk after 111 steps, including 0 resets, run visited all 1 properties in 2 ms. (steps per millisecond=55 )
FORMULA ShieldRVs-PT-050A-CTLFireability-09 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 702 transition count 952
Applied a total of 2 rules in 65 ms. Remains 702 /703 variables (removed 1) and now considering 952/953 (removed 1) transitions.
[2021-05-16 21:48:33] [INFO ] Flatten gal took : 52 ms
[2021-05-16 21:48:33] [INFO ] Flatten gal took : 55 ms
[2021-05-16 21:48:33] [INFO ] Input system was already deterministic with 952 transitions.
[2021-05-16 21:48:33] [INFO ] Flatten gal took : 52 ms
[2021-05-16 21:48:33] [INFO ] Flatten gal took : 51 ms
[2021-05-16 21:48:33] [INFO ] Time to serialize gal into /tmp/CTLFireability11161571004488276018.gal : 9 ms
[2021-05-16 21:48:33] [INFO ] Time to serialize properties into /tmp/CTLFireability15713836555100410623.ctl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability11161571004488276018.gal, -t, CGAL, -ctl, /tmp/CTLFireability15713836555100410623.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability11161571004488276018.gal -t CGAL -ctl /tmp/CTLFireability15713836555100410623.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 21:49:03] [INFO ] Flatten gal took : 45 ms
[2021-05-16 21:49:03] [INFO ] Applying decomposition
[2021-05-16 21:49:03] [INFO ] Flatten gal took : 66 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph14464951881030414383.txt, -o, /tmp/graph14464951881030414383.bin, -w, /tmp/graph14464951881030414383.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph14464951881030414383.bin, -l, -1, -v, -w, /tmp/graph14464951881030414383.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 21:49:03] [INFO ] Decomposing Gal with order
[2021-05-16 21:49:04] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 21:49:04] [INFO ] Removed a total of 1047 redundant transitions.
[2021-05-16 21:49:04] [INFO ] Flatten gal took : 165 ms
[2021-05-16 21:49:04] [INFO ] Fuse similar labels procedure discarded/fused a total of 944 labels/synchronizations in 78 ms.
[2021-05-16 21:49:04] [INFO ] Time to serialize gal into /tmp/CTLFireability2303726518479524795.gal : 16 ms
[2021-05-16 21:49:04] [INFO ] Time to serialize properties into /tmp/CTLFireability6519953416998295589.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability2303726518479524795.gal, -t, CGAL, -ctl, /tmp/CTLFireability6519953416998295589.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability2303726518479524795.gal -t CGAL -ctl /tmp/CTLFireability6519953416998295589.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 702 transition count 952
Applied a total of 2 rules in 57 ms. Remains 702 /703 variables (removed 1) and now considering 952/953 (removed 1) transitions.
[2021-05-16 21:49:34] [INFO ] Flatten gal took : 43 ms
[2021-05-16 21:49:34] [INFO ] Flatten gal took : 62 ms
[2021-05-16 21:49:34] [INFO ] Input system was already deterministic with 952 transitions.
[2021-05-16 21:49:34] [INFO ] Flatten gal took : 52 ms
[2021-05-16 21:49:34] [INFO ] Flatten gal took : 66 ms
[2021-05-16 21:49:34] [INFO ] Time to serialize gal into /tmp/CTLFireability14731389608525332569.gal : 16 ms
[2021-05-16 21:49:34] [INFO ] Time to serialize properties into /tmp/CTLFireability14482047751296738131.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability14731389608525332569.gal, -t, CGAL, -ctl, /tmp/CTLFireability14482047751296738131.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability14731389608525332569.gal -t CGAL -ctl /tmp/CTLFireability14482047751296738131.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 21:50:04] [INFO ] Flatten gal took : 45 ms
[2021-05-16 21:50:04] [INFO ] Applying decomposition
[2021-05-16 21:50:04] [INFO ] Flatten gal took : 44 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph1856872704149675182.txt, -o, /tmp/graph1856872704149675182.bin, -w, /tmp/graph1856872704149675182.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph1856872704149675182.bin, -l, -1, -v, -w, /tmp/graph1856872704149675182.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 21:50:05] [INFO ] Decomposing Gal with order
[2021-05-16 21:50:05] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 21:50:05] [INFO ] Removed a total of 1047 redundant transitions.
[2021-05-16 21:50:05] [INFO ] Flatten gal took : 81 ms
[2021-05-16 21:50:05] [INFO ] Fuse similar labels procedure discarded/fused a total of 872 labels/synchronizations in 75 ms.
[2021-05-16 21:50:05] [INFO ] Time to serialize gal into /tmp/CTLFireability5812341478230754921.gal : 11 ms
[2021-05-16 21:50:05] [INFO ] Time to serialize properties into /tmp/CTLFireability10259821863404923957.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability5812341478230754921.gal, -t, CGAL, -ctl, /tmp/CTLFireability10259821863404923957.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability5812341478230754921.gal -t CGAL -ctl /tmp/CTLFireability10259821863404923957.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 702 transition count 952
Applied a total of 2 rules in 54 ms. Remains 702 /703 variables (removed 1) and now considering 952/953 (removed 1) transitions.
[2021-05-16 21:50:35] [INFO ] Flatten gal took : 47 ms
[2021-05-16 21:50:35] [INFO ] Flatten gal took : 53 ms
[2021-05-16 21:50:35] [INFO ] Input system was already deterministic with 952 transitions.
[2021-05-16 21:50:35] [INFO ] Flatten gal took : 67 ms
[2021-05-16 21:50:35] [INFO ] Flatten gal took : 82 ms
[2021-05-16 21:50:35] [INFO ] Time to serialize gal into /tmp/CTLFireability16350671265157246472.gal : 18 ms
[2021-05-16 21:50:35] [INFO ] Time to serialize properties into /tmp/CTLFireability17210804353995482634.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability16350671265157246472.gal, -t, CGAL, -ctl, /tmp/CTLFireability17210804353995482634.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability16350671265157246472.gal -t CGAL -ctl /tmp/CTLFireability17210804353995482634.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 21:51:06] [INFO ] Flatten gal took : 44 ms
[2021-05-16 21:51:06] [INFO ] Applying decomposition
[2021-05-16 21:51:06] [INFO ] Flatten gal took : 55 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph2991797422320754397.txt, -o, /tmp/graph2991797422320754397.bin, -w, /tmp/graph2991797422320754397.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph2991797422320754397.bin, -l, -1, -v, -w, /tmp/graph2991797422320754397.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 21:51:06] [INFO ] Decomposing Gal with order
[2021-05-16 21:51:06] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 21:51:06] [INFO ] Removed a total of 1047 redundant transitions.
[2021-05-16 21:51:06] [INFO ] Flatten gal took : 163 ms
[2021-05-16 21:51:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 912 labels/synchronizations in 73 ms.
[2021-05-16 21:51:06] [INFO ] Time to serialize gal into /tmp/CTLFireability16497516650775904588.gal : 12 ms
[2021-05-16 21:51:06] [INFO ] Time to serialize properties into /tmp/CTLFireability2838612822698148864.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability16497516650775904588.gal, -t, CGAL, -ctl, /tmp/CTLFireability2838612822698148864.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability16497516650775904588.gal -t CGAL -ctl /tmp/CTLFireability2838612822698148864.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 21:51:36] [INFO ] Flatten gal took : 50 ms
[2021-05-16 21:51:36] [INFO ] Flatten gal took : 49 ms
[2021-05-16 21:51:36] [INFO ] Applying decomposition
[2021-05-16 21:51:36] [INFO ] Flatten gal took : 83 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph16618598471738528485.txt, -o, /tmp/graph16618598471738528485.bin, -w, /tmp/graph16618598471738528485.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph16618598471738528485.bin, -l, -1, -v, -w, /tmp/graph16618598471738528485.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 21:51:37] [INFO ] Decomposing Gal with order
[2021-05-16 21:51:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 21:51:37] [INFO ] Removed a total of 1047 redundant transitions.
[2021-05-16 21:51:37] [INFO ] Flatten gal took : 96 ms
[2021-05-16 21:51:37] [INFO ] Fuse similar labels procedure discarded/fused a total of 864 labels/synchronizations in 45 ms.
[2021-05-16 21:51:37] [INFO ] Time to serialize gal into /tmp/CTLFireability9591784975545490527.gal : 21 ms
[2021-05-16 21:51:37] [INFO ] Time to serialize properties into /tmp/CTLFireability18206944687412614647.ctl : 17 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability9591784975545490527.gal, -t, CGAL, -ctl, /tmp/CTLFireability18206944687412614647.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability9591784975545490527.gal -t CGAL -ctl /tmp/CTLFireability18206944687412614647.ctl
No direction supplied, using forward translation only.
Parsed 14 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 22:13:29] [INFO ] Applying decomposition
[2021-05-16 22:13:30] [INFO ] Flatten gal took : 429 ms
[2021-05-16 22:13:30] [INFO ] Decomposing Gal with order
[2021-05-16 22:13:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 22:13:31] [INFO ] Removed a total of 1047 redundant transitions.
[2021-05-16 22:13:31] [INFO ] Flatten gal took : 344 ms
[2021-05-16 22:13:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 600 labels/synchronizations in 149 ms.
[2021-05-16 22:13:31] [INFO ] Time to serialize gal into /tmp/CTLFireability16588946534338905426.gal : 55 ms
[2021-05-16 22:13:32] [INFO ] Time to serialize properties into /tmp/CTLFireability16990663277623592056.ctl : 23 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability16588946534338905426.gal, -t, CGAL, -ctl, /tmp/CTLFireability16990663277623592056.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability16588946534338905426.gal -t CGAL -ctl /tmp/CTLFireability16990663277623592056.ctl
No direction supplied, using forward translation only.
Parsed 14 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.89893e+99,99.7171,1573180,21177,28,2.74128e+06,793,1275,6.92402e+06,29,784,0
Converting to forward existential form...Done !
original formula: A(!(AX(AX(EG(((((((u194.p677==1)&&(u195.p679==1))&&(u196.p684==1))||(u2.p4==1))||(u69.p239==1))||((u183.p638==1)&&(u185.p643==1))))))) U (((EF((u97.p337==1)) * AX(((((((((u22.p73==1)&&(u26.p88==1))&&(u29.p99==1))||(((u58.p199==1)&&(u62.p216==1))&&(u65.p226==1)))||(u170.p592==1))||(((u66.p227==1)&&(u70.p244==1))&&(u73.p254==1)))||(((u186.p650==1)&&(u187.p651==1))&&(u188.p656==1)))||(u176.p612==1)))) * EX((((((((((u190.p661==1)&&(u194.p676==1))&&(u197.p688==1))||(((u106.p370==1)&&(u107.p371==1))&&(u108.p375==1)))||(((u62.p213==1)&&(u66.p230==1))&&(u69.p240==1)))||(((u192.p668==1)&&(u193.p674==1))&&(u196.p681==1)))||(((u168.p586==1)&&(u169.p588==1))&&(u172.p597==1)))||(((u158.p549==1)&&(u162.p564==1))&&(u165.p575==1))) * EX((u174.p606==1))))) * (((((((((u173.p603==1) + EX((((((((((((u184.p642==1)&&(u185.p644==1))&&(u188.p653==1))||(((u90.p314==1)&&(u91.p315==1))&&(u92.p319==1)))||(u116.p402==1))||(((u38.p129==1)&&(u42.p144==1))&&(u45.p155==1)))||(((u44.p152==1)&&(u45.p156==1))&&(u48.p163==1)))||(((u54.p187==1)&&(u55.p189==1))&&(u56.p194==1)))||(((u100.p348==1)&&(u101.p352==1))&&(u104.p359==1)))||(u201.p701==1))||(((u198.p692==1)&&(u199.p693==1))&&(u200.p698==1))))) + EG(!(EG((((((((((((u42.p143==1)&&(u46.p158==1))&&(u49.p169==1))||(u117.p406==1))||(u42.p145==1))||(((u62.p216==1)&&(u63.p217==1))&&(u64.p221==1)))||(((u156.p542==1)&&(u157.p546==1))&&(u160.p555==1)))||(u34.p116==1))||(((u150.p521==1)&&(u154.p536==1))&&(u157.p547==1)))||(u69.p238==1))||(((u26.p87==1)&&(u30.p104==1))&&(u33.p114==1))))))) + (((u40.p138==1)&&(u41.p140==1))&&(u44.p149==1))) + ((u127.p442==1)&&(u129.p447==1))) + (((u198.p691==1)&&(u199.p693==1))&&(u200.p697==1))) + (((u130.p451==1)&&(u134.p468==1))&&(u137.p477==1))) + (((((((((((u12.p39==0)&&(u8.p24==0))&&(u128.p445==0))&&(u5.p15==0)) * AX(((((((((((u24.p81==1)||(((u140.p486==1)&&(u141.p492==1))&&(u144.p499==1)))||(u25.p85==1))||(((u86.p297==1)&&(u90.p312==1))&&(u93.p323==1)))||(((u130.p453==1)&&(u131.p455==1))&&(u132.p460==1)))||(u152.p528==1))||(((u98.p342==1)&&(u99.p343==1))&&(u100.p348==1)))||(u193.p672==1))||(u58.p200==1))||(((u36.p124==1)&&(u37.p126==1))&&(u40.p135==1))))) * EF((((((u6.p19==1)&&(u7.p21==1))&&(u8.p26==1))||(((u62.p215==1)&&(u63.p217==1))&&(u64.p221==1)))||(u113.p393==1)))) * (((u14.p48==0)||(u15.p49==0))||(u16.p54==0))) * (((u146.p510==0)||(u147.p511==0))||(u148.p516==0))) * (((u198.p692==0)||(u199.p693==0))||(u200.p697==0))) * (((u34.p115==0)||(u38.p130==0))||(u41.p142==0))) * (((u104.p360==0)||(u105.p366==0))||(u108.p373==0)))) + ((((u85.p295==1)||(u181.p631==1))||(((u80.p276==1)&&(u81.p280==1))&&(u84.p289==1))) * ((!(E((((((((((u42.p143==1)&&(u46.p158==1))&&(u49.p170==1))||(((u126.p437==1)&&(u130.p454==1))&&(u133.p464==1)))||(((u32.p108==1)&&(u33.p112==1))&&(u36.p121==1)))||((u79.p274==1)&&(u81.p279==1)))||(u189.p658==1))||(u142.p494==1))||(((u102.p356==1)&&(u103.p357==1))&&(u104.p362==1))) U ((((((((u20.p66==1)&&(u21.p72==1))&&(u24.p79==1))||(((u106.p370==1)&&(u107.p371==1))&&(u108.p376==1)))||(((u100.p346==1)&&(u101.p352==1))&&(u104.p359==1)))||(u78.p270==1))||(((u188.p656==1)&&(u189.p658==1))&&(u192.p667==1)))||(u172.p598==1)))) + !(AG((((((((u20.p68==1)&&(u21.p70==1))&&(u24.p79==1))||(((u64.p220==1)&&(u65.p226==1))&&(u68.p233==1)))||(u150.p523==1))||(((u148.p516==1)&&(u149.p520==1))&&(u152.p527==1)))||(((u112.p388==1)&&(u113.p392==1))&&(u116.p401==1)))))) + !(AF((((((((((((u166.p579==1)&&(u167.p581==1))&&(u168.p586==1))||(((u80.p276==1)&&(u81.p280==1))&&(u84.p289==1)))||(((u114.p398==1)&&(u115.p399==1))&&(u116.p404==1)))||(((u108.p376==1)&&(u109.p378==1))&&(u112.p387==1)))||(((u106.p367==1)&&(u110.p384==1))&&(u113.p393==1)))||(((u122.p426==1)&&(u123.p427==1))&&(u124.p431==1)))||((u27.p92==1)&&(u29.p97==1)))||((u47.p162==1)&&(u49.p167==1)))||(((u54.p185==1)&&(u58.p202==1))&&(u61.p212==1))))))))))
=> equivalent forward existential formula: [((Init * !(EG(!((((E(TRUE U (u97.p337==1)) * !(EX(!(((((((((u22.p73==1)&&(u26.p88==1))&&(u29.p99==1))||(((u58.p199==1)&&(u62.p216==1))&&(u65.p226==1)))||(u170.p592==1))||(((u66.p227==1)&&(u70.p244==1))&&(u73.p254==1)))||(((u186.p650==1)&&(u187.p651==1))&&(u188.p656==1)))||(u176.p612==1)))))) * EX((((((((((u190.p661==1)&&(u194.p676==1))&&(u197.p688==1))||(((u106.p370==1)&&(u107.p371==1))&&(u108.p375==1)))||(((u62.p213==1)&&(u66.p230==1))&&(u69.p240==1)))||(((u192.p668==1)&&(u193.p674==1))&&(u196.p681==1)))||(((u168.p586==1)&&(u169.p588==1))&&(u172.p597==1)))||(((u158.p549==1)&&(u162.p564==1))&&(u165.p575==1))) * EX((u174.p606==1))))) * (((((((((u173.p603==1) + EX((((((((((((u184.p642==1)&&(u185.p644==1))&&(u188.p653==1))||(((u90.p314==1)&&(u91.p315==1))&&(u92.p319==1)))||(u116.p402==1))||(((u38.p129==1)&&(u42.p144==1))&&(u45.p155==1)))||(((u44.p152==1)&&(u45.p156==1))&&(u48.p163==1)))||(((u54.p187==1)&&(u55.p189==1))&&(u56.p194==1)))||(((u100.p348==1)&&(u101.p352==1))&&(u104.p359==1)))||(u201.p701==1))||(((u198.p692==1)&&(u199.p693==1))&&(u200.p698==1))))) + EG(!(EG((((((((((((u42.p143==1)&&(u46.p158==1))&&(u49.p169==1))||(u117.p406==1))||(u42.p145==1))||(((u62.p216==1)&&(u63.p217==1))&&(u64.p221==1)))||(((u156.p542==1)&&(u157.p546==1))&&(u160.p555==1)))||(u34.p116==1))||(((u150.p521==1)&&(u154.p536==1))&&(u157.p547==1)))||(u69.p238==1))||(((u26.p87==1)&&(u30.p104==1))&&(u33.p114==1))))))) + (((u40.p138==1)&&(u41.p140==1))&&(u44.p149==1))) + ((u127.p442==1)&&(u129.p447==1))) + (((u198.p691==1)&&(u199.p693==1))&&(u200.p697==1))) + (((u130.p451==1)&&(u134.p468==1))&&(u137.p477==1))) + (((((((((((u12.p39==0)&&(u8.p24==0))&&(u128.p445==0))&&(u5.p15==0)) * !(EX(!(((((((((((u24.p81==1)||(((u140.p486==1)&&(u141.p492==1))&&(u144.p499==1)))||(u25.p85==1))||(((u86.p297==1)&&(u90.p312==1))&&(u93.p323==1)))||(((u130.p453==1)&&(u131.p455==1))&&(u132.p460==1)))||(u152.p528==1))||(((u98.p342==1)&&(u99.p343==1))&&(u100.p348==1)))||(u193.p672==1))||(u58.p200==1))||(((u36.p124==1)&&(u37.p126==1))&&(u40.p135==1))))))) * E(TRUE U (((((u6.p19==1)&&(u7.p21==1))&&(u8.p26==1))||(((u62.p215==1)&&(u63.p217==1))&&(u64.p221==1)))||(u113.p393==1)))) * (((u14.p48==0)||(u15.p49==0))||(u16.p54==0))) * (((u146.p510==0)||(u147.p511==0))||(u148.p516==0))) * (((u198.p692==0)||(u199.p693==0))||(u200.p697==0))) * (((u34.p115==0)||(u38.p130==0))||(u41.p142==0))) * (((u104.p360==0)||(u105.p366==0))||(u108.p373==0)))) + ((((u85.p295==1)||(u181.p631==1))||(((u80.p276==1)&&(u81.p280==1))&&(u84.p289==1))) * ((!(E((((((((((u42.p143==1)&&(u46.p158==1))&&(u49.p170==1))||(((u126.p437==1)&&(u130.p454==1))&&(u133.p464==1)))||(((u32.p108==1)&&(u33.p112==1))&&(u36.p121==1)))||((u79.p274==1)&&(u81.p279==1)))||(u189.p658==1))||(u142.p494==1))||(((u102.p356==1)&&(u103.p357==1))&&(u104.p362==1))) U ((((((((u20.p66==1)&&(u21.p72==1))&&(u24.p79==1))||(((u106.p370==1)&&(u107.p371==1))&&(u108.p376==1)))||(((u100.p346==1)&&(u101.p352==1))&&(u104.p359==1)))||(u78.p270==1))||(((u188.p656==1)&&(u189.p658==1))&&(u192.p667==1)))||(u172.p598==1)))) + !(!(E(TRUE U !((((((((u20.p68==1)&&(u21.p70==1))&&(u24.p79==1))||(((u64.p220==1)&&(u65.p226==1))&&(u68.p233==1)))||(u150.p523==1))||(((u148.p516==1)&&(u149.p520==1))&&(u152.p527==1)))||(((u112.p388==1)&&(u113.p392==1))&&(u116.p401==1)))))))) + !(!(EG(!((((((((((((u166.p579==1)&&(u167.p581==1))&&(u168.p586==1))||(((u80.p276==1)&&(u81.p280==1))&&(u84.p289==1)))||(((u114.p398==1)&&(u115.p399==1))&&(u116.p404==1)))||(((u108.p376==1)&&(u109.p378==1))&&(u112.p387==1)))||(((u106.p367==1)&&(u110.p384==1))&&(u113.p393==1)))||(((u122.p426==1)&&(u123.p427==1))&&(u124.p431==1)))||((u27.p92==1)&&(u29.p97==1)))||((u47.p162==1)&&(u49.p167==1)))||(((u54.p185==1)&&(u58.p202==1))&&(u61.p212==1))))))))))))))) * !(E(!((((E(TRUE U (u97.p337==1)) * !(EX(!(((((((((u22.p73==1)&&(u26.p88==1))&&(u29.p99==1))||(((u58.p199==1)&&(u62.p216==1))&&(u65.p226==1)))||(u170.p592==1))||(((u66.p227==1)&&(u70.p244==1))&&(u73.p254==1)))||(((u186.p650==1)&&(u187.p651==1))&&(u188.p656==1)))||(u176.p612==1)))))) * EX((((((((((u190.p661==1)&&(u194.p676==1))&&(u197.p688==1))||(((u106.p370==1)&&(u107.p371==1))&&(u108.p375==1)))||(((u62.p213==1)&&(u66.p230==1))&&(u69.p240==1)))||(((u192.p668==1)&&(u193.p674==1))&&(u196.p681==1)))||(((u168.p586==1)&&(u169.p588==1))&&(u172.p597==1)))||(((u158.p549==1)&&(u162.p564==1))&&(u165.p575==1))) * EX((u174.p606==1))))) * (((((((((u173.p603==1) + EX((((((((((((u184.p642==1)&&(u185.p644==1))&&(u188.p653==1))||(((u90.p314==1)&&(u91.p315==1))&&(u92.p319==1)))||(u116.p402==1))||(((u38.p129==1)&&(u42.p144==1))&&(u45.p155==1)))||(((u44.p152==1)&&(u45.p156==1))&&(u48.p163==1)))||(((u54.p187==1)&&(u55.p189==1))&&(u56.p194==1)))||(((u100.p348==1)&&(u101.p352==1))&&(u104.p359==1)))||(u201.p701==1))||(((u198.p692==1)&&(u199.p693==1))&&(u200.p698==1))))) + EG(!(EG((((((((((((u42.p143==1)&&(u46.p158==1))&&(u49.p169==1))||(u117.p406==1))||(u42.p145==1))||(((u62.p216==1)&&(u63.p217==1))&&(u64.p221==1)))||(((u156.p542==1)&&(u157.p546==1))&&(u160.p555==1)))||(u34.p116==1))||(((u150.p521==1)&&(u154.p536==1))&&(u157.p547==1)))||(u69.p238==1))||(((u26.p87==1)&&(u30.p104==1))&&(u33.p114==1))))))) + (((u40.p138==1)&&(u41.p140==1))&&(u44.p149==1))) + ((u127.p442==1)&&(u129.p447==1))) + (((u198.p691==1)&&(u199.p693==1))&&(u200.p697==1))) + (((u130.p451==1)&&(u134.p468==1))&&(u137.p477==1))) + (((((((((((u12.p39==0)&&(u8.p24==0))&&(u128.p445==0))&&(u5.p15==0)) * !(EX(!(((((((((((u24.p81==1)||(((u140.p486==1)&&(u141.p492==1))&&(u144.p499==1)))||(u25.p85==1))||(((u86.p297==1)&&(u90.p312==1))&&(u93.p323==1)))||(((u130.p453==1)&&(u131.p455==1))&&(u132.p460==1)))||(u152.p528==1))||(((u98.p342==1)&&(u99.p343==1))&&(u100.p348==1)))||(u193.p672==1))||(u58.p200==1))||(((u36.p124==1)&&(u37.p126==1))&&(u40.p135==1))))))) * E(TRUE U (((((u6.p19==1)&&(u7.p21==1))&&(u8.p26==1))||(((u62.p215==1)&&(u63.p217==1))&&(u64.p221==1)))||(u113.p393==1)))) * (((u14.p48==0)||(u15.p49==0))||(u16.p54==0))) * (((u146.p510==0)||(u147.p511==0))||(u148.p516==0))) * (((u198.p692==0)||(u199.p693==0))||(u200.p697==0))) * (((u34.p115==0)||(u38.p130==0))||(u41.p142==0))) * (((u104.p360==0)||(u105.p366==0))||(u108.p373==0)))) + ((((u85.p295==1)||(u181.p631==1))||(((u80.p276==1)&&(u81.p280==1))&&(u84.p289==1))) * ((!(E((((((((((u42.p143==1)&&(u46.p158==1))&&(u49.p170==1))||(((u126.p437==1)&&(u130.p454==1))&&(u133.p464==1)))||(((u32.p108==1)&&(u33.p112==1))&&(u36.p121==1)))||((u79.p274==1)&&(u81.p279==1)))||(u189.p658==1))||(u142.p494==1))||(((u102.p356==1)&&(u103.p357==1))&&(u104.p362==1))) U ((((((((u20.p66==1)&&(u21.p72==1))&&(u24.p79==1))||(((u106.p370==1)&&(u107.p371==1))&&(u108.p376==1)))||(((u100.p346==1)&&(u101.p352==1))&&(u104.p359==1)))||(u78.p270==1))||(((u188.p656==1)&&(u189.p658==1))&&(u192.p667==1)))||(u172.p598==1)))) + !(!(E(TRUE U !((((((((u20.p68==1)&&(u21.p70==1))&&(u24.p79==1))||(((u64.p220==1)&&(u65.p226==1))&&(u68.p233==1)))||(u150.p523==1))||(((u148.p516==1)&&(u149.p520==1))&&(u152.p527==1)))||(((u112.p388==1)&&(u113.p392==1))&&(u116.p401==1)))))))) + !(!(EG(!((((((((((((u166.p579==1)&&(u167.p581==1))&&(u168.p586==1))||(((u80.p276==1)&&(u81.p280==1))&&(u84.p289==1)))||(((u114.p398==1)&&(u115.p399==1))&&(u116.p404==1)))||(((u108.p376==1)&&(u109.p378==1))&&(u112.p387==1)))||(((u106.p367==1)&&(u110.p384==1))&&(u113.p393==1)))||(((u122.p426==1)&&(u123.p427==1))&&(u124.p431==1)))||((u27.p92==1)&&(u29.p97==1)))||((u47.p162==1)&&(u49.p167==1)))||(((u54.p185==1)&&(u58.p202==1))&&(u61.p212==1)))))))))))) U (!(!(!(EX(!(!(EX(!(EG(((((((u194.p677==1)&&(u195.p679==1))&&(u196.p684==1))||(u2.p4==1))||(u69.p239==1))||((u183.p638==1)&&(u185.p643==1)))))))))))) * !((((E(TRUE U (u97.p337==1)) * !(EX(!(((((((((u22.p73==1)&&(u26.p88==1))&&(u29.p99==1))||(((u58.p199==1)&&(u62.p216==1))&&(u65.p226==1)))||(u170.p592==1))||(((u66.p227==1)&&(u70.p244==1))&&(u73.p254==1)))||(((u186.p650==1)&&(u187.p651==1))&&(u188.p656==1)))||(u176.p612==1)))))) * EX((((((((((u190.p661==1)&&(u194.p676==1))&&(u197.p688==1))||(((u106.p370==1)&&(u107.p371==1))&&(u108.p375==1)))||(((u62.p213==1)&&(u66.p230==1))&&(u69.p240==1)))||(((u192.p668==1)&&(u193.p674==1))&&(u196.p681==1)))||(((u168.p586==1)&&(u169.p588==1))&&(u172.p597==1)))||(((u158.p549==1)&&(u162.p564==1))&&(u165.p575==1))) * EX((u174.p606==1))))) * (((((((((u173.p603==1) + EX((((((((((((u184.p642==1)&&(u185.p644==1))&&(u188.p653==1))||(((u90.p314==1)&&(u91.p315==1))&&(u92.p319==1)))||(u116.p402==1))||(((u38.p129==1)&&(u42.p144==1))&&(u45.p155==1)))||(((u44.p152==1)&&(u45.p156==1))&&(u48.p163==1)))||(((u54.p187==1)&&(u55.p189==1))&&(u56.p194==1)))||(((u100.p348==1)&&(u101.p352==1))&&(u104.p359==1)))||(u201.p701==1))||(((u198.p692==1)&&(u199.p693==1))&&(u200.p698==1))))) + EG(!(EG((((((((((((u42.p143==1)&&(u46.p158==1))&&(u49.p169==1))||(u117.p406==1))||(u42.p145==1))||(((u62.p216==1)&&(u63.p217==1))&&(u64.p221==1)))||(((u156.p542==1)&&(u157.p546==1))&&(u160.p555==1)))||(u34.p116==1))||(((u150.p521==1)&&(u154.p536==1))&&(u157.p547==1)))||(u69.p238==1))||(((u26.p87==1)&&(u30.p104==1))&&(u33.p114==1))))))) + (((u40.p138==1)&&(u41.p140==1))&&(u44.p149==1))) + ((u127.p442==1)&&(u129.p447==1))) + (((u198.p691==1)&&(u199.p693==1))&&(u200.p697==1))) + (((u130.p451==1)&&(u134.p468==1))&&(u137.p477==1))) + (((((((((((u12.p39==0)&&(u8.p24==0))&&(u128.p445==0))&&(u5.p15==0)) * !(EX(!(((((((((((u24.p81==1)||(((u140.p486==1)&&(u141.p492==1))&&(u144.p499==1)))||(u25.p85==1))||(((u86.p297==1)&&(u90.p312==1))&&(u93.p323==1)))||(((u130.p453==1)&&(u131.p455==1))&&(u132.p460==1)))||(u152.p528==1))||(((u98.p342==1)&&(u99.p343==1))&&(u100.p348==1)))||(u193.p672==1))||(u58.p200==1))||(((u36.p124==1)&&(u37.p126==1))&&(u40.p135==1))))))) * E(TRUE U (((((u6.p19==1)&&(u7.p21==1))&&(u8.p26==1))||(((u62.p215==1)&&(u63.p217==1))&&(u64.p221==1)))||(u113.p393==1)))) * (((u14.p48==0)||(u15.p49==0))||(u16.p54==0))) * (((u146.p510==0)||(u147.p511==0))||(u148.p516==0))) * (((u198.p692==0)||(u199.p693==0))||(u200.p697==0))) * (((u34.p115==0)||(u38.p130==0))||(u41.p142==0))) * (((u104.p360==0)||(u105.p366==0))||(u108.p373==0)))) + ((((u85.p295==1)||(u181.p631==1))||(((u80.p276==1)&&(u81.p280==1))&&(u84.p289==1))) * ((!(E((((((((((u42.p143==1)&&(u46.p158==1))&&(u49.p170==1))||(((u126.p437==1)&&(u130.p454==1))&&(u133.p464==1)))||(((u32.p108==1)&&(u33.p112==1))&&(u36.p121==1)))||((u79.p274==1)&&(u81.p279==1)))||(u189.p658==1))||(u142.p494==1))||(((u102.p356==1)&&(u103.p357==1))&&(u104.p362==1))) U ((((((((u20.p66==1)&&(u21.p72==1))&&(u24.p79==1))||(((u106.p370==1)&&(u107.p371==1))&&(u108.p376==1)))||(((u100.p346==1)&&(u101.p352==1))&&(u104.p359==1)))||(u78.p270==1))||(((u188.p656==1)&&(u189.p658==1))&&(u192.p667==1)))||(u172.p598==1)))) + !(!(E(TRUE U !((((((((u20.p68==1)&&(u21.p70==1))&&(u24.p79==1))||(((u64.p220==1)&&(u65.p226==1))&&(u68.p233==1)))||(u150.p523==1))||(((u148.p516==1)&&(u149.p520==1))&&(u152.p527==1)))||(((u112.p388==1)&&(u113.p392==1))&&(u116.p401==1)))))))) + !(!(EG(!((((((((((((u166.p579==1)&&(u167.p581==1))&&(u168.p586==1))||(((u80.p276==1)&&(u81.p280==1))&&(u84.p289==1)))||(((u114.p398==1)&&(u115.p399==1))&&(u116.p404==1)))||(((u108.p376==1)&&(u109.p378==1))&&(u112.p387==1)))||(((u106.p367==1)&&(u110.p384==1))&&(u113.p393==1)))||(((u122.p426==1)&&(u123.p427==1))&&(u124.p431==1)))||((u27.p92==1)&&(u29.p97==1)))||((u47.p162==1)&&(u49.p167==1)))||(((u54.p185==1)&&(u58.p202==1))&&(u61.p212==1))))))))))))))))] != FALSE
Reverse transition relation is NOT exact ! Due to transitions t304, t307, t310, t317, t320, t324, t326, t331, t336, t339, t344, t348, t350, t356, t361, t365, t369, t371, t376, t378, t385, t389, t391, t397, t400, t402, t407, t413, t415, t418, t423, t426, t432, t435, t439, t443, t446, t450, t455, t459, t463, t467, t470, t476, t478, t484, t487, t492, t496, t501, t503, t507, t513, t518, t519, t524, t528, t533, t535, t539, t545, t548, t552, t556, t560, t563, t569, t574, t578, t580, t584, t587, t591, t595, t600, t603, t609, t613, t618, t621, t624, t627, t634, t636, t642, t646, t649, t654, t656, t660, t665, t670, t671, t677, t679, t685, t688, t693, t697, t701, t703, t711, t716, t718, t726, t728, t735, t740, t745, t748, t756, t760, t765, t769, t776, t779, t784, t790, t793, t799, t805, t810, t813, t821, t826, t831, t833, t838, t846, t848, t856, t858, t866, t870, t874, t878, t883, t888, t893, t901, t905, t910, t916, t918, t926, t928, t936, t941, t945, t949, u2.t0, u2.t1, u4.t2, u4.t3, u5.t4, u5.t5, u6.t6, u6.t7, u8.t8, u8.t9, u9.t10, u9.t11, u10.t12, u10.t13, u12.t14, u12.t15, u13.t16, u13.t17, u14.t18, u14.t19, u16.t20, u16.t21, u17.t22, u17.t23, u18.t24, u18.t25, u20.t26, u20.t27, u21.t28, u21.t29, u22.t30, u22.t31, u24.t32, u24.t33, u25.t34, u25.t35, u26.t36, u26.t37, u28.t38, u28.t39, u29.t40, u29.t41, u30.t42, u30.t43, u32.t44, u32.t45, u33.t46, u33.t47, u34.t48, u34.t49, u36.t50, u36.t51, u37.t52, u37.t53, u38.t54, u38.t55, u40.t56, u40.t57, u41.t58, u41.t59, u42.t60, u42.t61, u44.t62, u44.t63, u45.t64, u45.t65, u46.t66, u46.t67, u48.t68, u48.t69, u49.t70, u49.t71, u50.t72, u50.t73, u52.t74, u52.t75, u53.t76, u53.t77, u54.t78, u54.t79, u56.t80, u56.t81, u57.t82, u57.t83, u58.t84, u58.t85, u60.t86, u60.t87, u61.t88, u61.t89, u62.t90, u62.t91, u64.t92, u64.t93, u65.t94, u65.t95, u66.t96, u66.t97, u68.t98, u68.t99, u69.t100, u69.t101, u70.t102, u70.t103, u72.t104, u72.t105, u73.t106, u73.t107, u74.t108, u74.t109, u76.t110, u76.t111, u77.t112, u77.t113, u78.t114, u78.t115, u80.t116, u80.t117, u81.t118, u81.t119, u82.t120, u82.t121, u84.t122, u84.t123, u85.t124, u85.t125, u86.t126, u86.t127, u88.t128, u88.t129, u89.t130, u89.t131, u90.t132, u90.t133, u92.t134, u92.t135, u93.t136, u93.t137, u94.t138, u94.t139, u96.t140, u96.t141, u97.t142, u97.t143, u98.t144, u98.t145, u100.t146, u100.t147, u101.t148, u101.t149, u102.t150, u102.t151, u104.t152, u104.t153, u105.t154, u105.t155, u106.t156, u106.t157, u108.t158, u108.t159, u109.t160, u109.t161, u110.t162, u110.t163, u112.t164, u112.t165, u113.t166, u113.t167, u114.t168, u114.t169, u116.t170, u116.t171, u117.t172, u117.t173, u118.t174, u118.t175, u120.t176, u120.t177, u121.t178, u121.t179, u122.t180, u122.t181, u124.t182, u124.t183, u125.t184, u125.t185, u126.t186, u126.t187, u128.t188, u128.t189, u129.t190, u129.t191, u130.t192, u130.t193, u132.t194, u132.t195, u133.t196, u133.t197, u134.t198, u134.t199, u136.t200, u136.t201, u137.t202, u137.t203, u138.t204, u138.t205, u140.t206, u140.t207, u141.t208, u141.t209, u142.t210, u142.t211, u144.t212, u144.t213, u145.t214, u145.t215, u146.t216, u146.t217, u148.t218, u148.t219, u149.t220, u149.t221, u150.t222, u150.t223, u152.t224, u152.t225, u153.t226, u153.t227, u154.t228, u154.t229, u156.t230, u156.t231, u157.t232, u157.t233, u158.t234, u158.t235, u160.t236, u160.t237, u161.t238, u161.t239, u162.t240, u162.t241, u164.t242, u164.t243, u165.t244, u165.t245, u166.t246, u166.t247, u168.t248, u168.t249, u169.t250, u169.t251, u170.t252, u170.t253, u172.t254, u172.t255, u173.t256, u173.t257, u174.t258, u174.t259, u176.t260, u176.t261, u177.t262, u177.t263, u178.t264, u178.t265, u180.t266, u180.t267, u181.t268, u181.t269, u182.t270, u182.t271, u184.t272, u184.t273, u185.t274, u185.t275, u186.t276, u186.t277, u188.t278, u188.t279, u189.t280, u189.t281, u190.t282, u190.t283, u192.t284, u192.t285, u193.t286, u193.t287, u194.t288, u194.t289, u196.t290, u196.t291, u197.t292, u197.t293, u198.t294, u198.t295, u198.t301, u200.t296, u200.t297, u201.t298, u201.t299, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/52/451/503
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
ITS-tools command line returned an error code 139
[2021-05-16 22:17:37] [INFO ] Flatten gal took : 186 ms
[2021-05-16 22:17:38] [INFO ] Input system was already deterministic with 953 transitions.
[2021-05-16 22:17:38] [INFO ] Transformed 703 places.
[2021-05-16 22:17:38] [INFO ] Transformed 953 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-16 22:17:39] [INFO ] Time to serialize gal into /tmp/CTLFireability17259701785626815425.gal : 97 ms
[2021-05-16 22:17:39] [INFO ] Time to serialize properties into /tmp/CTLFireability3843398954674230549.ctl : 102 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability17259701785626815425.gal, -t, CGAL, -ctl, /tmp/CTLFireability3843398954674230549.ctl, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability17259701785626815425.gal -t CGAL -ctl /tmp/CTLFireability3843398954674230549.ctl --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
No direction supplied, using forward translation only.
Parsed 14 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.89893e+99,488.721,4159412,2,124134,5,7.44082e+06,6,0,3767,3.76307e+07,0
Converting to forward existential form...Done !
original formula: A(!(AX(AX(EG(((((((p677==1)&&(p679==1))&&(p684==1))||(p4==1))||(p239==1))||((p638==1)&&(p643==1))))))) U (((EF((p337==1)) * AX(((((((((p73==1)&&(p88==1))&&(p99==1))||(((p199==1)&&(p216==1))&&(p226==1)))||(p592==1))||(((p227==1)&&(p244==1))&&(p254==1)))||(((p650==1)&&(p651==1))&&(p656==1)))||(p612==1)))) * EX((((((((((p661==1)&&(p676==1))&&(p688==1))||(((p370==1)&&(p371==1))&&(p375==1)))||(((p213==1)&&(p230==1))&&(p240==1)))||(((p668==1)&&(p674==1))&&(p681==1)))||(((p586==1)&&(p588==1))&&(p597==1)))||(((p549==1)&&(p564==1))&&(p575==1))) * EX((p606==1))))) * (((((((((p603==1) + EX((((((((((((p642==1)&&(p644==1))&&(p653==1))||(((p314==1)&&(p315==1))&&(p319==1)))||(p402==1))||(((p129==1)&&(p144==1))&&(p155==1)))||(((p152==1)&&(p156==1))&&(p163==1)))||(((p187==1)&&(p189==1))&&(p194==1)))||(((p348==1)&&(p352==1))&&(p359==1)))||(p701==1))||(((p692==1)&&(p693==1))&&(p698==1))))) + EG(!(EG((((((((((((p143==1)&&(p158==1))&&(p169==1))||(p406==1))||(p145==1))||(((p216==1)&&(p217==1))&&(p221==1)))||(((p542==1)&&(p546==1))&&(p555==1)))||(p116==1))||(((p521==1)&&(p536==1))&&(p547==1)))||(p238==1))||(((p87==1)&&(p104==1))&&(p114==1))))))) + (((p138==1)&&(p140==1))&&(p149==1))) + ((p442==1)&&(p447==1))) + (((p691==1)&&(p693==1))&&(p697==1))) + (((p451==1)&&(p468==1))&&(p477==1))) + (((((((((((p39==0)&&(p24==0))&&(p445==0))&&(p15==0)) * AX(((((((((((p81==1)||(((p486==1)&&(p492==1))&&(p499==1)))||(p85==1))||(((p297==1)&&(p312==1))&&(p323==1)))||(((p453==1)&&(p455==1))&&(p460==1)))||(p528==1))||(((p342==1)&&(p343==1))&&(p348==1)))||(p672==1))||(p200==1))||(((p124==1)&&(p126==1))&&(p135==1))))) * EF((((((p19==1)&&(p21==1))&&(p26==1))||(((p215==1)&&(p217==1))&&(p221==1)))||(p393==1)))) * (((p48==0)||(p49==0))||(p54==0))) * (((p510==0)||(p511==0))||(p516==0))) * (((p692==0)||(p693==0))||(p697==0))) * (((p115==0)||(p130==0))||(p142==0))) * (((p360==0)||(p366==0))||(p373==0)))) + ((((p295==1)||(p631==1))||(((p276==1)&&(p280==1))&&(p289==1))) * ((!(E((((((((((p143==1)&&(p158==1))&&(p170==1))||(((p437==1)&&(p454==1))&&(p464==1)))||(((p108==1)&&(p112==1))&&(p121==1)))||((p274==1)&&(p279==1)))||(p658==1))||(p494==1))||(((p356==1)&&(p357==1))&&(p362==1))) U ((((((((p66==1)&&(p72==1))&&(p79==1))||(((p370==1)&&(p371==1))&&(p376==1)))||(((p346==1)&&(p352==1))&&(p359==1)))||(p270==1))||(((p656==1)&&(p658==1))&&(p667==1)))||(p598==1)))) + !(AG((((((((p68==1)&&(p70==1))&&(p79==1))||(((p220==1)&&(p226==1))&&(p233==1)))||(p523==1))||(((p516==1)&&(p520==1))&&(p527==1)))||(((p388==1)&&(p392==1))&&(p401==1)))))) + !(AF((((((((((((p579==1)&&(p581==1))&&(p586==1))||(((p276==1)&&(p280==1))&&(p289==1)))||(((p398==1)&&(p399==1))&&(p404==1)))||(((p376==1)&&(p378==1))&&(p387==1)))||(((p367==1)&&(p384==1))&&(p393==1)))||(((p426==1)&&(p427==1))&&(p431==1)))||((p92==1)&&(p97==1)))||((p162==1)&&(p167==1)))||(((p185==1)&&(p202==1))&&(p212==1))))))))))
Detected timeout of ITS tools.
=> equivalent forward existential formula: [((Init * !(EG(!((((E(TRUE U (p337==1)) * !(EX(!(((((((((p73==1)&&(p88==1))&&(p99==1))||(((p199==1)&&(p216==1))&&(p226==1)))||(p592==1))||(((p227==1)&&(p244==1))&&(p254==1)))||(((p650==1)&&(p651==1))&&(p656==1)))||(p612==1)))))) * EX((((((((((p661==1)&&(p676==1))&&(p688==1))||(((p370==1)&&(p371==1))&&(p375==1)))||(((p213==1)&&(p230==1))&&(p240==1)))||(((p668==1)&&(p674==1))&&(p681==1)))||(((p586==1)&&(p588==1))&&(p597==1)))||(((p549==1)&&(p564==1))&&(p575==1))) * EX((p606==1))))) * (((((((((p603==1) + EX((((((((((((p642==1)&&(p644==1))&&(p653==1))||(((p314==1)&&(p315==1))&&(p319==1)))||(p402==1))||(((p129==1)&&(p144==1))&&(p155==1)))||(((p152==1)&&(p156==1))&&(p163==1)))||(((p187==1)&&(p189==1))&&(p194==1)))||(((p348==1)&&(p352==1))&&(p359==1)))||(p701==1))||(((p692==1)&&(p693==1))&&(p698==1))))) + EG(!(EG((((((((((((p143==1)&&(p158==1))&&(p169==1))||(p406==1))||(p145==1))||(((p216==1)&&(p217==1))&&(p221==1)))||(((p542==1)&&(p546==1))&&(p555==1)))||(p116==1))||(((p521==1)&&(p536==1))&&(p547==1)))||(p238==1))||(((p87==1)&&(p104==1))&&(p114==1))))))) + (((p138==1)&&(p140==1))&&(p149==1))) + ((p442==1)&&(p447==1))) + (((p691==1)&&(p693==1))&&(p697==1))) + (((p451==1)&&(p468==1))&&(p477==1))) + (((((((((((p39==0)&&(p24==0))&&(p445==0))&&(p15==0)) * !(EX(!(((((((((((p81==1)||(((p486==1)&&(p492==1))&&(p499==1)))||(p85==1))||(((p297==1)&&(p312==1))&&(p323==1)))||(((p453==1)&&(p455==1))&&(p460==1)))||(p528==1))||(((p342==1)&&(p343==1))&&(p348==1)))||(p672==1))||(p200==1))||(((p124==1)&&(p126==1))&&(p135==1))))))) * E(TRUE U (((((p19==1)&&(p21==1))&&(p26==1))||(((p215==1)&&(p217==1))&&(p221==1)))||(p393==1)))) * (((p48==0)||(p49==0))||(p54==0))) * (((p510==0)||(p511==0))||(p516==0))) * (((p692==0)||(p693==0))||(p697==0))) * (((p115==0)||(p130==0))||(p142==0))) * (((p360==0)||(p366==0))||(p373==0)))) + ((((p295==1)||(p631==1))||(((p276==1)&&(p280==1))&&(p289==1))) * ((!(E((((((((((p143==1)&&(p158==1))&&(p170==1))||(((p437==1)&&(p454==1))&&(p464==1)))||(((p108==1)&&(p112==1))&&(p121==1)))||((p274==1)&&(p279==1)))||(p658==1))||(p494==1))||(((p356==1)&&(p357==1))&&(p362==1))) U ((((((((p66==1)&&(p72==1))&&(p79==1))||(((p370==1)&&(p371==1))&&(p376==1)))||(((p346==1)&&(p352==1))&&(p359==1)))||(p270==1))||(((p656==1)&&(p658==1))&&(p667==1)))||(p598==1)))) + !(!(E(TRUE U !((((((((p68==1)&&(p70==1))&&(p79==1))||(((p220==1)&&(p226==1))&&(p233==1)))||(p523==1))||(((p516==1)&&(p520==1))&&(p527==1)))||(((p388==1)&&(p392==1))&&(p401==1)))))))) + !(!(EG(!((((((((((((p579==1)&&(p581==1))&&(p586==1))||(((p276==1)&&(p280==1))&&(p289==1)))||(((p398==1)&&(p399==1))&&(p404==1)))||(((p376==1)&&(p378==1))&&(p387==1)))||(((p367==1)&&(p384==1))&&(p393==1)))||(((p426==1)&&(p427==1))&&(p431==1)))||((p92==1)&&(p97==1)))||((p162==1)&&(p167==1)))||(((p185==1)&&(p202==1))&&(p212==1))))))))))))))) * !(E(!((((E(TRUE U (p337==1)) * !(EX(!(((((((((p73==1)&&(p88==1))&&(p99==1))||(((p199==1)&&(p216==1))&&(p226==1)))||(p592==1))||(((p227==1)&&(p244==1))&&(p254==1)))||(((p650==1)&&(p651==1))&&(p656==1)))||(p612==1)))))) * EX((((((((((p661==1)&&(p676==1))&&(p688==1))||(((p370==1)&&(p371==1))&&(p375==1)))||(((p213==1)&&(p230==1))&&(p240==1)))||(((p668==1)&&(p674==1))&&(p681==1)))||(((p586==1)&&(p588==1))&&(p597==1)))||(((p549==1)&&(p564==1))&&(p575==1))) * EX((p606==1))))) * (((((((((p603==1) + EX((((((((((((p642==1)&&(p644==1))&&(p653==1))||(((p314==1)&&(p315==1))&&(p319==1)))||(p402==1))||(((p129==1)&&(p144==1))&&(p155==1)))||(((p152==1)&&(p156==1))&&(p163==1)))||(((p187==1)&&(p189==1))&&(p194==1)))||(((p348==1)&&(p352==1))&&(p359==1)))||(p701==1))||(((p692==1)&&(p693==1))&&(p698==1))))) + EG(!(EG((((((((((((p143==1)&&(p158==1))&&(p169==1))||(p406==1))||(p145==1))||(((p216==1)&&(p217==1))&&(p221==1)))||(((p542==1)&&(p546==1))&&(p555==1)))||(p116==1))||(((p521==1)&&(p536==1))&&(p547==1)))||(p238==1))||(((p87==1)&&(p104==1))&&(p114==1))))))) + (((p138==1)&&(p140==1))&&(p149==1))) + ((p442==1)&&(p447==1))) + (((p691==1)&&(p693==1))&&(p697==1))) + (((p451==1)&&(p468==1))&&(p477==1))) + (((((((((((p39==0)&&(p24==0))&&(p445==0))&&(p15==0)) * !(EX(!(((((((((((p81==1)||(((p486==1)&&(p492==1))&&(p499==1)))||(p85==1))||(((p297==1)&&(p312==1))&&(p323==1)))||(((p453==1)&&(p455==1))&&(p460==1)))||(p528==1))||(((p342==1)&&(p343==1))&&(p348==1)))||(p672==1))||(p200==1))||(((p124==1)&&(p126==1))&&(p135==1))))))) * E(TRUE U (((((p19==1)&&(p21==1))&&(p26==1))||(((p215==1)&&(p217==1))&&(p221==1)))||(p393==1)))) * (((p48==0)||(p49==0))||(p54==0))) * (((p510==0)||(p511==0))||(p516==0))) * (((p692==0)||(p693==0))||(p697==0))) * (((p115==0)||(p130==0))||(p142==0))) * (((p360==0)||(p366==0))||(p373==0)))) + ((((p295==1)||(p631==1))||(((p276==1)&&(p280==1))&&(p289==1))) * ((!(E((((((((((p143==1)&&(p158==1))&&(p170==1))||(((p437==1)&&(p454==1))&&(p464==1)))||(((p108==1)&&(p112==1))&&(p121==1)))||((p274==1)&&(p279==1)))||(p658==1))||(p494==1))||(((p356==1)&&(p357==1))&&(p362==1))) U ((((((((p66==1)&&(p72==1))&&(p79==1))||(((p370==1)&&(p371==1))&&(p376==1)))||(((p346==1)&&(p352==1))&&(p359==1)))||(p270==1))||(((p656==1)&&(p658==1))&&(p667==1)))||(p598==1)))) + !(!(E(TRUE U !((((((((p68==1)&&(p70==1))&&(p79==1))||(((p220==1)&&(p226==1))&&(p233==1)))||(p523==1))||(((p516==1)&&(p520==1))&&(p527==1)))||(((p388==1)&&(p392==1))&&(p401==1)))))))) + !(!(EG(!((((((
java.io.IOException: Stream closed
at java.base/java.io.BufferedInputStream.getBufIfOpen(BufferedInputStream.java:176)
at java.base/java.io.BufferedInputStream.read(BufferedInputStream.java:342)
at java.base/sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
at java.base/sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
at java.base/sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
at java.base/java.io.InputStreamReader.read(InputStreamReader.java:185)
at java.base/java.io.BufferedReader.fill(BufferedReader.java:161)
at java.base/java.io.BufferedReader.readLine(BufferedReader.java:326)
at java.base/java.io.BufferedReader.readLine(BufferedReader.java:392)
at fr.lip6.move.gal.application.ITSRunner$ITSInterpreter.run(ITSRunner.java:182)
at java.base/java.lang.Thread.run(Thread.java:834)
BK_STOP 1621204768867
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination CTLFireability -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldRVs-PT-050A"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is ShieldRVs-PT-050A, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r235-smll-162106564500146"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldRVs-PT-050A.tgz
mv ShieldRVs-PT-050A execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;