About the Execution of ITS-Tools for ShieldRVs-PT-020A
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 12088.703 | 3600000.00 | 3634533.00 | 12807.50 | ??FF?TTF???F??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-162106564500097.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-020A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-smll-162106564500097
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 101K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 97K 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.5K Mar 28 16:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 28 16:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Mar 27 12:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 27 12:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 18:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 18:43 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 127K 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-020A-CTLCardinality-00
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-01
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-02
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-03
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-04
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-05
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-06
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-07
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-08
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-09
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-10
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-11
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-12
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-13
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-14
FORMULA_NAME ShieldRVs-PT-020A-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1621143145164
Running Version 0
[2021-05-16 05:32:28] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -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 05:32:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-16 05:32:28] [INFO ] Load time of PNML (sax parser for PT used): 169 ms
[2021-05-16 05:32:28] [INFO ] Transformed 283 places.
[2021-05-16 05:32:28] [INFO ] Transformed 383 transitions.
[2021-05-16 05:32:28] [INFO ] Found NUPN structural information;
[2021-05-16 05:32:28] [INFO ] Parsed PT model containing 283 places and 383 transitions in 259 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 29 ms.
Support contains 255 out of 283 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 283/283 places, 383/383 transitions.
Applied a total of 0 rules in 22 ms. Remains 283 /283 variables (removed 0) and now considering 383/383 (removed 0) transitions.
// Phase 1: matrix 383 rows 283 cols
[2021-05-16 05:32:28] [INFO ] Computed 81 place invariants in 22 ms
[2021-05-16 05:32:29] [INFO ] Implicit Places using invariants in 351 ms returned []
// Phase 1: matrix 383 rows 283 cols
[2021-05-16 05:32:29] [INFO ] Computed 81 place invariants in 14 ms
[2021-05-16 05:32:29] [INFO ] Implicit Places using invariants and state equation in 364 ms returned []
Implicit Place search using SMT with State Equation took 755 ms to find 0 implicit places.
// Phase 1: matrix 383 rows 283 cols
[2021-05-16 05:32:29] [INFO ] Computed 81 place invariants in 20 ms
[2021-05-16 05:32:30] [INFO ] Dead Transitions using invariants and state equation in 496 ms returned []
Finished structural reductions, in 1 iterations. Remains : 283/283 places, 383/383 transitions.
[2021-05-16 05:32:30] [INFO ] Flatten gal took : 147 ms
[2021-05-16 05:32:30] [INFO ] Flatten gal took : 84 ms
[2021-05-16 05:32:30] [INFO ] Input system was already deterministic with 383 transitions.
Incomplete random walk after 100000 steps, including 364 resets, run finished after 2789 ms. (steps per millisecond=35 ) properties (out of 71) seen :25
Running SMT prover for 46 properties.
// Phase 1: matrix 383 rows 283 cols
[2021-05-16 05:32:33] [INFO ] Computed 81 place invariants in 4 ms
[2021-05-16 05:32:34] [INFO ] SMT Verify possible in real domain returnedunsat :37 sat :0 real:9
[2021-05-16 05:32:34] [INFO ] [Nat]Absence check using 81 positive place invariants in 34 ms returned sat
[2021-05-16 05:32:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 05:32:34] [INFO ] [Nat]Absence check using state equation in 293 ms returned unsat :7 sat :39
Attempting to minimize the solution found.
Minimization took 85 ms.
[2021-05-16 05:32:34] [INFO ] SMT Verify possible in nat domain returned unsat :7 sat :39
Successfully simplified 44 atomic propositions for a total of 16 simplifications.
[2021-05-16 05:32:34] [INFO ] Initial state test concluded for 1 properties.
FORMULA ShieldRVs-PT-020A-CTLCardinality-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
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 282 transition count 382
Applied a total of 2 rules in 122 ms. Remains 282 /283 variables (removed 1) and now considering 382/383 (removed 1) transitions.
[2021-05-16 05:32:34] [INFO ] Flatten gal took : 64 ms
[2021-05-16 05:32:35] [INFO ] Flatten gal took : 57 ms
[2021-05-16 05:32:35] [INFO ] Input system was already deterministic with 382 transitions.
[2021-05-16 05:32:35] [INFO ] Flatten gal took : 57 ms
[2021-05-16 05:32:35] [INFO ] Flatten gal took : 45 ms
[2021-05-16 05:32:35] [INFO ] Time to serialize gal into /tmp/CTLCardinality4505300157992726233.gal : 24 ms
[2021-05-16 05:32:35] [INFO ] Time to serialize properties into /tmp/CTLCardinality13831267305020604353.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/CTLCardinality4505300157992726233.gal, -t, CGAL, -ctl, /tmp/CTLCardinality13831267305020604353.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/CTLCardinality4505300157992726233.gal -t CGAL -ctl /tmp/CTLCardinality13831267305020604353.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 05:33:05] [INFO ] Flatten gal took : 26 ms
[2021-05-16 05:33:05] [INFO ] Applying decomposition
[2021-05-16 05:33:05] [INFO ] Flatten gal took : 26 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/graph11165913243382290026.txt, -o, /tmp/graph11165913243382290026.bin, -w, /tmp/graph11165913243382290026.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/graph11165913243382290026.bin, -l, -1, -v, -w, /tmp/graph11165913243382290026.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 05:33:05] [INFO ] Decomposing Gal with order
[2021-05-16 05:33:05] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 05:33:05] [INFO ] Removed a total of 443 redundant transitions.
[2021-05-16 05:33:05] [INFO ] Flatten gal took : 99 ms
[2021-05-16 05:33:05] [INFO ] Fuse similar labels procedure discarded/fused a total of 448 labels/synchronizations in 121 ms.
[2021-05-16 05:33:06] [INFO ] Time to serialize gal into /tmp/CTLCardinality16145466059707433469.gal : 20 ms
[2021-05-16 05:33:06] [INFO ] Time to serialize properties into /tmp/CTLCardinality1011779922656456197.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/CTLCardinality16145466059707433469.gal, -t, CGAL, -ctl, /tmp/CTLCardinality1011779922656456197.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/CTLCardinality16145466059707433469.gal -t CGAL -ctl /tmp/CTLCardinality1011779922656456197.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 05:33:36] [INFO ] Initial state reduction rules for CTL removed 4 formulas.
[2021-05-16 05:33:36] [INFO ] Flatten gal took : 33 ms
[2021-05-16 05:33:36] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
FORMULA ShieldRVs-PT-020A-CTLCardinality-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldRVs-PT-020A-CTLCardinality-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldRVs-PT-020A-CTLCardinality-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldRVs-PT-020A-CTLCardinality-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldRVs-PT-020A-CTLCardinality-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldRVs-PT-020A-CTLCardinality-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-16 05:33:36] [INFO ] Flatten gal took : 39 ms
[2021-05-16 05:33:36] [INFO ] Applying decomposition
[2021-05-16 05:33:36] [INFO ] Flatten gal took : 41 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/graph18323686576973868738.txt, -o, /tmp/graph18323686576973868738.bin, -w, /tmp/graph18323686576973868738.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/graph18323686576973868738.bin, -l, -1, -v, -w, /tmp/graph18323686576973868738.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 05:33:36] [INFO ] Decomposing Gal with order
[2021-05-16 05:33:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 05:33:36] [INFO ] Removed a total of 613 redundant transitions.
[2021-05-16 05:33:36] [INFO ] Flatten gal took : 117 ms
[2021-05-16 05:33:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 214 labels/synchronizations in 44 ms.
[2021-05-16 05:33:36] [INFO ] Time to serialize gal into /tmp/CTLCardinality9792491633290672687.gal : 7 ms
[2021-05-16 05:33:36] [INFO ] Time to serialize properties into /tmp/CTLCardinality16601319793662666638.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/CTLCardinality9792491633290672687.gal, -t, CGAL, -ctl, /tmp/CTLCardinality16601319793662666638.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/CTLCardinality9792491633290672687.gal -t CGAL -ctl /tmp/CTLCardinality16601319793662666638.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 9 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,7.19359e+39,42.8678,841172,2,26900,5,2.04052e+06,6,0,1530,6.86946e+06,0
Converting to forward existential form...Done !
original formula: (EG(EF(AX((gi11.gu11.p112>((((((gi11.gu11.p35+gi11.gu11.p263)+gu34.p272)+gi11.gu11.p238)+gi11.gu11.p199)+gi11.gu11.p90)+gi11.gu11.p58))))) + EG(EF(EX((((((((gu13.p66+gu34.p143)+gi5.gu35.p162)+gi5.gu35.p103)+gi5.gu35.p249)+gi5.gu35.p201)+gi5.gu44.p253)<=gu57.p146)))))
=> equivalent forward existential formula: ([FwdG(Init,E(TRUE U !(EX(!((gi11.gu11.p112>((((((gi11.gu11.p35+gi11.gu11.p263)+gu34.p272)+gi11.gu11.p238)+gi11.gu11.p199)+gi11.gu11.p90)+gi11.gu11.p58)))))))] != FALSE + [FwdG(Init,E(TRUE U EX((((((((gu13.p66+gu34.p143)+gi5.gu35.p162)+gi5.gu35.p103)+gi5.gu35.p249)+gi5.gu35.p201)+gi5.gu44.p253)<=gu57.p146))))] != FALSE)
Reverse transition relation is NOT exact ! Due to transitions gu13.t9, gu34.t60, gu34.t61, gu57.t104, gi0.gi0.gu1.t0, gi0.gi0.gu3.t4, gi0.gi0.gu3.t5, gi0.gi0.t199, gi0.gi1.gu4.t6, gi0.gi1.gu6.t12, gi0.gi1.gu6.t13, gi0.gi1.gu7.t14, gi0.gi1.gu7.t15, gi0.gi2.gu8.t18, gi0.gi2.gu8.t19, gi0.gi2.gu9.t20, gi0.gi2.gu10.t22, gi0.gi2.gu14.t27, gi0.gi2.t184, gi2.gu5.t47, gi2.gu15.t63, gi2.gu18.t10, gi2.gu18.t11, gi2.gu18.t38, gi2.gu19.t32, gi2.gu19.t33, gi3.gu12.t25, gi3.gu16.t48, gi3.gu16.t49, gi3.gu26.t53, gi3.gu63.t29, gi3.gu63.t34, gi3.t52, gi3.t24, gi4.gi0.gu17.t30, gi4.gi0.gu17.t31, gi4.gi0.gu20.t36, gi4.gi0.gu20.t37, gi4.gi0.gu21.t40, gi4.gi0.gu21.t41, gi4.gi0.t180, gi4.gi1.gu22.t42, gi4.gi1.gu24.t44, gi4.gi1.gu24.t45, gi4.gi1.t345, gi5.gu27.t16, gi5.gu27.t17, gi5.gu27.t108, gi5.gu33.t65, gi5.gu44.t107, gi5.t64, gi6.gu28.t54, gi6.gu28.t55, gi6.gu30.t56, gi6.gu30.t57, gi6.gu31.t58, gi6.gu31.t59, gi6.t333, gi8.gi0.gu36.t68, gi8.gi0.gu36.t69, gi8.gi0.gu37.t70, gi8.gi0.gu37.t71, gi8.gi0.gu39.t74, gi8.gi1.gu38.t72, gi8.gi1.gu38.t73, gi8.gi1.gu40.t78, gi8.gi1.gu40.t79, gi8.gi1.gu42.t80, gi8.gi1.gu42.t81, gi8.gi1.gu43.t83, gi8.gi1.gu45.t87, gi8.gi1.gu46.t89, gi8.gi1.t251, gi8.gi1.t314, gi8.gi2.gu48.t92, gi8.gi2.gu48.t93, gi8.gi2.gu49.t94, gi8.gi2.gu49.t95, gi8.gi2.gu53.t99, gi10.gu32.t66, gi10.gu32.t76, gi10.gu32.t77, gi10.gu32.t90, gi10.gu32.t91, gi10.gu50.t96, gi10.gu50.t97, gi10.gu51.t116, gi10.gu51.t117, gi10.gu54.t101, gi10.gu60.t115, gi10.gu62.t118, gi10.t286, gi10.t141, gi10.t140, gi10.t122, gi11.gu11.t84, gi11.gu58.t110, gi11.t111, gi12.gu55.t103, gi12.gu59.t112, gi12.gu59.t113, t1, t2, t3, t7, t8, t21, t23, t26, t28, t35, t39, t43, t46, t50, t51, t62, t67, t75, t82, t85, t86, t88, t98, t100, t102, t105, t106, t109, t114, t119, t121, t125, t126, t128, t129, t132, t133, t134, t138, t143, t145, t146, t148, t149, t150, t151, t156, t158, t159, t162, t164, t165, t167, t169, t171, t173, t174, t176, t177, t178, t181, t182, t185, t186, t188, t189, t190, t191, t196, t202, t203, t204, t207, t208, t211, t213, t218, t220, t222, t223, t224, t226, t227, t228, t230, t231, t232, t234, t236, t239, t240, t242, t243, t244, t247, t248, t250, t254, t255, t256, t262, t263, t264, t266, t267, t268, t270, t271, t272, t274, t275, t276, t278, t279, t280, t285, t288, t289, t291, t293, t294, t296, t298, t299, t301, t304, t308, t309, t311, t319, t321, t323, t324, t326, t328, t329, t331, t336, t339, t341, t346, t348, t349, t351, t354, t356, t358, t360, t363, t365, t370, t373, t374, t376, t378, t379, t381, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/48/258/306
Detected timeout of ITS tools.
[2021-05-16 05:53:59] [INFO ] Applying decomposition
[2021-05-16 05:53:59] [INFO ] Flatten gal took : 26 ms
[2021-05-16 05:53:59] [INFO ] Decomposing Gal with order
[2021-05-16 05:53:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 05:53:59] [INFO ] Removed a total of 417 redundant transitions.
[2021-05-16 05:53:59] [INFO ] Flatten gal took : 46 ms
[2021-05-16 05:53:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 240 labels/synchronizations in 17 ms.
[2021-05-16 05:53:59] [INFO ] Time to serialize gal into /tmp/CTLCardinality1448834563780483769.gal : 5 ms
[2021-05-16 05:53:59] [INFO ] Time to serialize properties into /tmp/CTLCardinality10660571595683669907.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/CTLCardinality1448834563780483769.gal, -t, CGAL, -ctl, /tmp/CTLCardinality10660571595683669907.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/CTLCardinality1448834563780483769.gal -t CGAL -ctl /tmp/CTLCardinality10660571595683669907.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 9 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,7.19359e+39,38.8114,822656,2,26900,5,2.31712e+06,6,0,1577,6.65793e+06,0
Converting to forward existential form...Done !
original formula: (EG(EF(AX((gu33.p112>((((((gu11.p35+gu76.p263)+gu78.p272)+gu69.p238)+gu58.p199)+gu26.p90)+gu17.p58))))) + EG(EF(EX((((((((gu20.p66+gu42.p143)+gu47.p162)+gu30.p103)+gu72.p249)+gu58.p201)+gu73.p253)<=gu42.p146)))))
=> equivalent forward existential formula: ([FwdG(Init,E(TRUE U !(EX(!((gu33.p112>((((((gu11.p35+gu76.p263)+gu78.p272)+gu69.p238)+gu58.p199)+gu26.p90)+gu17.p58)))))))] != FALSE + [FwdG(Init,E(TRUE U EX((((((((gu20.p66+gu42.p143)+gu47.p162)+gu30.p103)+gu72.p249)+gu58.p201)+gu73.p253)<=gu42.p146))))] != FALSE)
Reverse transition relation is NOT exact ! Due to transitions gu2.t0, gu2.t1, gu4.t2, gu4.t3, gu5.t4, gu5.t5, gu6.t6, gu6.t7, gu8.t8, gu8.t9, gu9.t10, gu9.t11, gu10.t12, gu10.t13, gu12.t14, gu12.t15, gu13.t16, gu13.t17, gu14.t18, gu14.t19, gu16.t20, gu16.t21, gu17.t22, gu17.t23, gu18.t24, gu18.t25, gu20.t26, gu20.t27, gu21.t28, gu21.t29, gu22.t30, gu22.t31, gu24.t32, gu24.t33, gu25.t34, gu25.t35, gu26.t36, gu26.t37, gu28.t38, gu28.t39, gu29.t40, gu29.t41, gu30.t42, gu30.t43, gu32.t44, gu32.t45, gu33.t46, gu33.t47, gu34.t48, gu34.t49, gu36.t50, gu36.t51, gu37.t52, gu37.t53, gu38.t54, gu38.t55, gu40.t56, gu40.t57, gu41.t58, gu41.t59, gu42.t60, gu42.t61, gu44.t62, gu44.t63, gu45.t64, gu45.t65, gu46.t66, gu46.t67, gu48.t68, gu48.t69, gu49.t70, gu49.t71, gu50.t72, gu50.t73, gu52.t74, gu52.t75, gu53.t76, gu53.t77, gu54.t78, gu54.t79, gu56.t80, gu56.t81, gu57.t82, gu57.t83, gu58.t84, gu58.t85, gu60.t86, gu60.t87, gu61.t88, gu61.t89, gu62.t90, gu62.t91, gu64.t92, gu64.t93, gu65.t94, gu65.t95, gu66.t96, gu66.t97, gu68.t98, gu68.t99, gu69.t100, gu69.t101, gu70.t102, gu70.t103, gu72.t104, gu72.t105, gu73.t106, gu73.t107, gu74.t108, gu74.t109, gu76.t110, gu76.t111, gu77.t112, gu77.t113, gu78.t114, gu78.t115, gu78.t121, gu80.t116, gu80.t117, gu81.t118, gu81.t119, t122, t129, t131, t135, t139, t145, t146, t153, t156, t159, t163, t168, t173, t177, t179, t183, t187, t191, t195, t202, t203, t209, t213, t217, t220, t224, t227, t233, t235, t239, t245, t248, t252, t256, t259, t263, t268, t272, t276, t280, t285, t289, t293, t301, t305, t308, t316, t318, t325, t331, t336, t339, t346, t350, t356, t361, t365, t368, t373, t380, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/22/181/203
Detected timeout of ITS tools.
[2021-05-16 06:14:21] [INFO ] Flatten gal took : 24 ms
[2021-05-16 06:14:21] [INFO ] Input system was already deterministic with 383 transitions.
[2021-05-16 06:14:21] [INFO ] Transformed 283 places.
[2021-05-16 06:14:21] [INFO ] Transformed 383 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 06:14:21] [INFO ] Time to serialize gal into /tmp/CTLCardinality11428175301441896255.gal : 4 ms
[2021-05-16 06:14:21] [INFO ] Time to serialize properties into /tmp/CTLCardinality5687894182417297654.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/CTLCardinality11428175301441896255.gal, -t, CGAL, -ctl, /tmp/CTLCardinality5687894182417297654.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/CTLCardinality11428175301441896255.gal -t CGAL -ctl /tmp/CTLCardinality5687894182417297654.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 9 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,7.19359e+39,81.2556,1534972,2,46042,5,3.15264e+06,6,0,1517,1.32598e+07,0
Converting to forward existential form...Done !
original formula: (EG(EF(AX((p112>((((((p35+p263)+p272)+p238)+p199)+p90)+p58))))) + EG(EF(EX((((((((p66+p143)+p162)+p103)+p249)+p201)+p253)<=p146)))))
=> equivalent forward existential formula: ([FwdG(Init,E(TRUE U !(EX(!((p112>((((((p35+p263)+p272)+p238)+p199)+p90)+p58)))))))] != FALSE + [FwdG(Init,E(TRUE U EX((((((((p66+p143)+p162)+p103)+p249)+p201)+p253)<=p146))))] != FALSE)
Reverse transition relation is NOT exact ! Due to transitions t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53, t54, t55, t56, t57, t58, t59, t60, t61, t62, t63, t64, t65, t66, t67, t68, t69, t70, t71, t72, t73, t74, t75, t76, t77, t78, t79, t80, t81, t82, t83, t84, t85, t86, t87, t88, t89, t90, t91, t92, t93, t94, t95, t96, t97, t98, t99, t100, t101, t102, t103, t104, t105, t106, t107, t108, t109, t110, t111, t112, t113, t114, t115, t116, t117, t118, t119, t121, t122, t123, t125, t126, t128, t129, t130, t132, t133, t134, t136, t137, t138, t140, t141, t142, t144, t145, t146, t148, t149, t150, t152, t153, t154, t156, t157, t158, t160, t161, t162, t164, t165, t166, t168, t169, t170, t172, t173, t174, t176, t177, t178, t180, t181, t182, t184, t185, t186, t188, t189, t190, t192, t193, t194, t196, t197, t199, t201, t202, t203, t204, t206, t207, t208, t210, t211, t212, t214, t215, t216, t218, t219, t220, t222, t223, t224, t226, t227, t228, t230, t231, t232, t234, t235, t236, t238, t239, t240, t242, t243, t244, t246, t247, t248, t250, t251, t252, t254, t255, t256, t258, t259, t260, t262, t263, t264, t266, t267, t268, t270, t271, t272, t274, t275, t276, t278, t279, t280, t282, t283, t284, t286, t288, t289, t291, t293, t294, t296, t298, t299, t301, t303, t304, t306, t308, t309, t311, t313, t314, t316, t318, t319, t321, t323, t324, t326, t328, t329, t331, t333, t334, t336, t338, t339, t341, t343, t344, t346, t348, t349, t351, t353, t354, t356, t358, t359, t361, t363, t364, t366, t368, t369, t371, t373, t374, t376, t378, t379, t381, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/82/301/383
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -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 CTLCardinality -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-020A"
export BK_EXAMINATION="CTLCardinality"
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-020A, examination is CTLCardinality"
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-162106564500097"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldRVs-PT-020A.tgz
mv ShieldRVs-PT-020A execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;