About the Execution of ITS-Tools for ShieldRVs-PT-050A
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16247.936 | 3600000.00 | 3568206.00 | 38994.60 | TT?TT?F??F?FF?F? | 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-162106564500145.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is ShieldRVs-PT-050A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-smll-162106564500145
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 692K
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 109K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 111K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 16:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 28 16:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Mar 28 16:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 27 12:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 12:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 18:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 18:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 5 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 320K May 5 16:52 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-00
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-01
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-02
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-03
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-04
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-05
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-06
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-07
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-08
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-09
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-10
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-11
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-12
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-13
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-14
FORMULA_NAME ShieldRVs-PT-050A-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1621199965589
Running Version 0
[2021-05-16 21:19: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 21:19:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-16 21:19:28] [INFO ] Load time of PNML (sax parser for PT used): 228 ms
[2021-05-16 21:19:28] [INFO ] Transformed 703 places.
[2021-05-16 21:19:28] [INFO ] Transformed 953 transitions.
[2021-05-16 21:19:28] [INFO ] Found NUPN structural information;
[2021-05-16 21:19:28] [INFO ] Parsed PT model containing 703 places and 953 transitions in 320 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 25 ms.
Support contains 484 out of 703 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 703/703 places, 953/953 transitions.
Applied a total of 0 rules in 52 ms. Remains 703 /703 variables (removed 0) and now considering 953/953 (removed 0) transitions.
// Phase 1: matrix 953 rows 703 cols
[2021-05-16 21:19:28] [INFO ] Computed 201 place invariants in 35 ms
[2021-05-16 21:19:29] [INFO ] Implicit Places using invariants in 783 ms returned []
// Phase 1: matrix 953 rows 703 cols
[2021-05-16 21:19:29] [INFO ] Computed 201 place invariants in 8 ms
[2021-05-16 21:19:30] [INFO ] Implicit Places using invariants and state equation in 1083 ms returned []
Implicit Place search using SMT with State Equation took 1906 ms to find 0 implicit places.
// Phase 1: matrix 953 rows 703 cols
[2021-05-16 21:19:30] [INFO ] Computed 201 place invariants in 6 ms
[2021-05-16 21:19:31] [INFO ] Dead Transitions using invariants and state equation in 941 ms returned []
Finished structural reductions, in 1 iterations. Remains : 703/703 places, 953/953 transitions.
[2021-05-16 21:19:32] [INFO ] Flatten gal took : 291 ms
[2021-05-16 21:19:32] [INFO ] Flatten gal took : 182 ms
[2021-05-16 21:19:32] [INFO ] Input system was already deterministic with 953 transitions.
Incomplete random walk after 100000 steps, including 150 resets, run finished after 2859 ms. (steps per millisecond=34 ) properties (out of 71) seen :34
Running SMT prover for 37 properties.
// Phase 1: matrix 953 rows 703 cols
[2021-05-16 21:19:35] [INFO ] Computed 201 place invariants in 5 ms
[2021-05-16 21:19:36] [INFO ] SMT Verify possible in real domain returnedunsat :35 sat :0 real:2
[2021-05-16 21:19:36] [INFO ] [Nat]Absence check using 201 positive place invariants in 80 ms returned sat
[2021-05-16 21:19:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 21:19:37] [INFO ] [Nat]Absence check using state equation in 650 ms returned unsat :1 sat :36
Attempting to minimize the solution found.
Minimization took 77 ms.
[2021-05-16 21:19:37] [INFO ] SMT Verify possible in nat domain returned unsat :1 sat :36
Successfully simplified 36 atomic propositions for a total of 16 simplifications.
[2021-05-16 21:19:37] [INFO ] Initial state test concluded for 7 properties.
FORMULA ShieldRVs-PT-050A-CTLCardinality-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldRVs-PT-050A-CTLCardinality-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldRVs-PT-050A-CTLCardinality-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldRVs-PT-050A-CTLCardinality-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldRVs-PT-050A-CTLCardinality-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldRVs-PT-050A-CTLCardinality-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldRVs-PT-050A-CTLCardinality-14 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 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 702 transition count 952
Applied a total of 2 rules in 233 ms. Remains 702 /703 variables (removed 1) and now considering 952/953 (removed 1) transitions.
[2021-05-16 21:19:37] [INFO ] Flatten gal took : 99 ms
[2021-05-16 21:19:37] [INFO ] Flatten gal took : 78 ms
[2021-05-16 21:19:37] [INFO ] Input system was already deterministic with 952 transitions.
[2021-05-16 21:19:37] [INFO ] Flatten gal took : 61 ms
[2021-05-16 21:19:38] [INFO ] Flatten gal took : 66 ms
[2021-05-16 21:19:38] [INFO ] Time to serialize gal into /tmp/CTLCardinality260895566287829398.gal : 51 ms
[2021-05-16 21:19:38] [INFO ] Time to serialize properties into /tmp/CTLCardinality16156445314175526454.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/CTLCardinality260895566287829398.gal, -t, CGAL, -ctl, /tmp/CTLCardinality16156445314175526454.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/CTLCardinality260895566287829398.gal -t CGAL -ctl /tmp/CTLCardinality16156445314175526454.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 21:20:08] [INFO ] Flatten gal took : 62 ms
[2021-05-16 21:20:08] [INFO ] Applying decomposition
[2021-05-16 21:20:08] [INFO ] Flatten gal took : 60 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/graph18138930694093237446.txt, -o, /tmp/graph18138930694093237446.bin, -w, /tmp/graph18138930694093237446.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/graph18138930694093237446.bin, -l, -1, -v, -w, /tmp/graph18138930694093237446.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 21:20:08] [INFO ] Decomposing Gal with order
[2021-05-16 21:20:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 21:20:08] [INFO ] Removed a total of 1146 redundant transitions.
[2021-05-16 21:20:08] [INFO ] Flatten gal took : 202 ms
[2021-05-16 21:20:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 1336 labels/synchronizations in 205 ms.
[2021-05-16 21:20:09] [INFO ] Time to serialize gal into /tmp/CTLCardinality13594227978390293027.gal : 22 ms
[2021-05-16 21:20:09] [INFO ] Time to serialize properties into /tmp/CTLCardinality4440754851501629295.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/CTLCardinality13594227978390293027.gal, -t, CGAL, -ctl, /tmp/CTLCardinality4440754851501629295.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/CTLCardinality13594227978390293027.gal -t CGAL -ctl /tmp/CTLCardinality4440754851501629295.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 11 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 702 transition count 952
Applied a total of 2 rules in 221 ms. Remains 702 /703 variables (removed 1) and now considering 952/953 (removed 1) transitions.
[2021-05-16 21:20:40] [INFO ] Flatten gal took : 88 ms
[2021-05-16 21:20:40] [INFO ] Flatten gal took : 87 ms
[2021-05-16 21:20:40] [INFO ] Input system was already deterministic with 952 transitions.
[2021-05-16 21:20:40] [INFO ] Flatten gal took : 84 ms
[2021-05-16 21:20:40] [INFO ] Flatten gal took : 83 ms
[2021-05-16 21:20:40] [INFO ] Time to serialize gal into /tmp/CTLCardinality7251278008504450643.gal : 15 ms
[2021-05-16 21:20:40] [INFO ] Time to serialize properties into /tmp/CTLCardinality3920767342347664371.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/CTLCardinality7251278008504450643.gal, -t, CGAL, -ctl, /tmp/CTLCardinality3920767342347664371.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/CTLCardinality7251278008504450643.gal -t CGAL -ctl /tmp/CTLCardinality3920767342347664371.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 21:21:10] [INFO ] Flatten gal took : 60 ms
[2021-05-16 21:21:10] [INFO ] Applying decomposition
[2021-05-16 21:21:10] [INFO ] Flatten gal took : 49 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/graph830790602433253673.txt, -o, /tmp/graph830790602433253673.bin, -w, /tmp/graph830790602433253673.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/graph830790602433253673.bin, -l, -1, -v, -w, /tmp/graph830790602433253673.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 21:21:10] [INFO ] Decomposing Gal with order
[2021-05-16 21:21:10] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 21:21:11] [INFO ] Removed a total of 1079 redundant transitions.
[2021-05-16 21:21:11] [INFO ] Flatten gal took : 120 ms
[2021-05-16 21:21:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 1228 labels/synchronizations in 370 ms.
[2021-05-16 21:21:11] [INFO ] Time to serialize gal into /tmp/CTLCardinality8719845842409972355.gal : 13 ms
[2021-05-16 21:21:11] [INFO ] Time to serialize properties into /tmp/CTLCardinality6354049628651514214.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/CTLCardinality8719845842409972355.gal, -t, CGAL, -ctl, /tmp/CTLCardinality6354049628651514214.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/CTLCardinality8719845842409972355.gal -t CGAL -ctl /tmp/CTLCardinality6354049628651514214.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Applied a total of 0 rules in 62 ms. Remains 703 /703 variables (removed 0) and now considering 953/953 (removed 0) transitions.
[2021-05-16 21:21:42] [INFO ] Flatten gal took : 51 ms
[2021-05-16 21:21:42] [INFO ] Flatten gal took : 72 ms
[2021-05-16 21:21:42] [INFO ] Input system was already deterministic with 953 transitions.
[2021-05-16 21:21:42] [INFO ] Flatten gal took : 57 ms
[2021-05-16 21:21:42] [INFO ] Flatten gal took : 49 ms
[2021-05-16 21:21:42] [INFO ] Time to serialize gal into /tmp/CTLCardinality4264452195028064098.gal : 7 ms
[2021-05-16 21:21:42] [INFO ] Time to serialize properties into /tmp/CTLCardinality9747542348726589521.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/CTLCardinality4264452195028064098.gal, -t, CGAL, -ctl, /tmp/CTLCardinality9747542348726589521.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/CTLCardinality4264452195028064098.gal -t CGAL -ctl /tmp/CTLCardinality9747542348726589521.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 21:22:12] [INFO ] Flatten gal took : 49 ms
[2021-05-16 21:22:12] [INFO ] Applying decomposition
[2021-05-16 21:22:12] [INFO ] Flatten gal took : 55 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph16745816328043297180.txt, -o, /tmp/graph16745816328043297180.bin, -w, /tmp/graph16745816328043297180.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/graph16745816328043297180.bin, -l, -1, -v, -w, /tmp/graph16745816328043297180.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 21:22:12] [INFO ] Decomposing Gal with order
[2021-05-16 21:22:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 21:22:12] [INFO ] Removed a total of 1152 redundant transitions.
[2021-05-16 21:22:12] [INFO ] Flatten gal took : 99 ms
[2021-05-16 21:22:13] [INFO ] Fuse similar labels procedure discarded/fused a total of 1216 labels/synchronizations in 85 ms.
[2021-05-16 21:22:13] [INFO ] Time to serialize gal into /tmp/CTLCardinality14848388365174360223.gal : 11 ms
[2021-05-16 21:22:13] [INFO ] Time to serialize properties into /tmp/CTLCardinality10819060243710526769.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/CTLCardinality14848388365174360223.gal, -t, CGAL, -ctl, /tmp/CTLCardinality10819060243710526769.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/CTLCardinality14848388365174360223.gal -t CGAL -ctl /tmp/CTLCardinality10819060243710526769.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 21:22:43] [INFO ] Flatten gal took : 49 ms
[2021-05-16 21:22:43] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA ShieldRVs-PT-050A-CTLCardinality-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-16 21:22:43] [INFO ] Flatten gal took : 53 ms
[2021-05-16 21:22:43] [INFO ] Applying decomposition
[2021-05-16 21:22:43] [INFO ] Flatten gal took : 51 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/graph6505809217740718047.txt, -o, /tmp/graph6505809217740718047.bin, -w, /tmp/graph6505809217740718047.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/graph6505809217740718047.bin, -l, -1, -v, -w, /tmp/graph6505809217740718047.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 21:22:43] [INFO ] Decomposing Gal with order
[2021-05-16 21:22:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 21:22:43] [INFO ] Removed a total of 1539 redundant transitions.
[2021-05-16 21:22:43] [INFO ] Flatten gal took : 195 ms
[2021-05-16 21:22:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 478 labels/synchronizations in 68 ms.
[2021-05-16 21:22:44] [INFO ] Time to serialize gal into /tmp/CTLCardinality11920678454133785162.gal : 19 ms
[2021-05-16 21:22:44] [INFO ] Time to serialize properties into /tmp/CTLCardinality14916669207558556425.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/CTLCardinality11920678454133785162.gal, -t, CGAL, -ctl, /tmp/CTLCardinality14916669207558556425.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/CTLCardinality11920678454133785162.gal -t CGAL -ctl /tmp/CTLCardinality14916669207558556425.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 8 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.89893e+99,271.106,2785204,2,76160,5,6.48913e+06,6,0,3792,2.32512e+07,0
Converting to forward existential form...Done !
original formula: !(AX((((((((gi7.gi1.gu25.p547+gi7.gi1.gu45.p189)+gu59.p600)+gi7.gi1.gu45.p263)+gi2.gi0.gu77.p271)<=(((gi7.gi1.gu45.p143+gi7.gi0.gu69.p339)+gi7.gi1.gu45.p628)+gi4.gu68.p351)) * AG(((((((((((gu107.p398+gu59.p161)+gu107.p165)+gu107.p233)+gu107.p508)+gu107.p579)+gu107.p515)+gu107.p426)+gu107.p327)+gu107.p12)<=((((((((gu107.p98+gu107.p150)+gu107.p611)+gu107.p652)+gu107.p430)+gu107.p378)+gu107.p515)+gu107.p671)+gu107.p149)))) * ((EG(((((((((gu107.p150+gi12.gu26.p106)+gi12.gu66.p6)+gi12.gu26.p576)+gi12.gu26.p306)+gi13.gi0.gu121.p83)+gi12.gu26.p203)+gi12.gu41.p528)>=4)) + ((gi12.gu66.p6+gi12.gu66.p680)<=(((gi12.gu115.p666+gi12.gu66.p637)+gi12.gu66.p296)+gi12.gu66.p493))) + (((((((gi4.gu68.p301+gi4.gu68.p351)+gi4.gu68.p411)+gi4.gu68.p647)+gi4.gu68.p509)+gi4.gu68.p482)+gi4.gu68.p617)>((((((gi4.gu68.p574+gi4.gu68.p599)+gi4.gu68.p361)+gi4.gu68.p434)+gu107.p378)+gi4.gu68.p460)+gi3.gi0.gu40.p543))))))
=> equivalent forward existential formula: (([(EY(Init) * !((((((gi7.gi1.gu25.p547+gi7.gi1.gu45.p189)+gu59.p600)+gi7.gi1.gu45.p263)+gi2.gi0.gu77.p271)<=(((gi7.gi1.gu45.p143+gi7.gi0.gu69.p339)+gi7.gi1.gu45.p628)+gi4.gu68.p351))))] != FALSE + [(FwdU(EY(Init),TRUE) * !(((((((((((gu107.p398+gu59.p161)+gu107.p165)+gu107.p233)+gu107.p508)+gu107.p579)+gu107.p515)+gu107.p426)+gu107.p327)+gu107.p12)<=((((((((gu107.p98+gu107.p150)+gu107.p611)+gu107.p652)+gu107.p430)+gu107.p378)+gu107.p515)+gu107.p671)+gu107.p149))))] != FALSE) + [(((EY(Init) * !((((((((gi4.gu68.p301+gi4.gu68.p351)+gi4.gu68.p411)+gi4.gu68.p647)+gi4.gu68.p509)+gi4.gu68.p482)+gi4.gu68.p617)>((((((gi4.gu68.p574+gi4.gu68.p599)+gi4.gu68.p361)+gi4.gu68.p434)+gu107.p378)+gi4.gu68.p460)+gi3.gi0.gu40.p543)))) * !(((gi12.gu66.p6+gi12.gu66.p680)<=(((gi12.gu115.p666+gi12.gu66.p637)+gi12.gu66.p296)+gi12.gu66.p493)))) * !(EG(((((((((gu107.p150+gi12.gu26.p106)+gi12.gu66.p6)+gi12.gu26.p576)+gi12.gu26.p306)+gi13.gi0.gu121.p83)+gi12.gu26.p203)+gi12.gu41.p528)>=4))))] != FALSE)
(forward)formula 0,1,474.761,2913612,1,0,12,7.30427e+06,9,3,7392,2.34832e+07,2
FORMULA ShieldRVs-PT-050A-CTLCardinality-01 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is TRUE !
***************************************
original formula: (A(E(((((gi7.gi0.gu76.p366+gi7.gi0.gu76.p417)+gi7.gi0.gu76.p180)+gi7.gi0.gu76.p449)<=(((((gi7.gi0.gu76.p485+gi7.gi1.gu25.p631)+gi7.gi0.gu76.p353)+gi7.gi0.gu69.p364)+gi7.gi0.gu69.p103)+gi7.gi0.gu76.p325)) U (((!(AF((((((((gi3.gi0.gu40.p58+gi3.gi0.gu40.p220)+gi3.gi0.gu40.p543)+gi3.gi0.gu40.p139)+gi3.gi0.gu40.p542)+gi3.gi0.gu40.p284)+gi3.gi0.gu40.p118)<=(((((((gi3.gi0.gu40.p363+gi3.gi0.gu40.p270)+gi3.gi0.gu40.p621)+gi3.gi0.gu40.p490)+gi3.gi0.gu40.p32)+gi3.gi0.gu40.p171)+gi3.gi0.gu40.p175)+gi3.gi0.gu40.p141)))) + ((((((gi10.gu54.p379+gi10.gu54.p558)+gi10.gu54.p321)+gi10.gu54.p236)+gi10.gu54.p538)+gi10.gu54.p675)>28)) + (((((gi11.gi3.gu127.p317+gi11.gi3.gu127.p145)+gi11.gi3.gu127.p424)+gi11.gi3.gu127.p46)+gi11.gi3.gu127.p618)>23)) + (gi5.gi1.gu21.p401<=((gi5.gi1.gu21.p636+gi5.gi1.gu21.p223)+gi5.gi1.gu21.p94)))) U AF((!(AF(((((((((((gi12.gu115.p560+gu59.p71)+gi12.gu115.p246)+gu59.p8)+gi6.gu97.p267)+gi12.gu115.p658)+gi12.gu115.p645)+gi12.gu115.p563)+gi12.gu115.p698)+gu107.p398)<=(((((gi12.gu115.p124+gu107.p150)+gi12.gu115.p666)+gi12.gu115.p521)+gi12.gu115.p392)+gi12.gu115.p549)))) * AG(((((((((gi7.gi0.gu69.p286+gi7.gi0.gu69.p440)+gi7.gi0.gu69.p566)+gi7.gi0.gu69.p339)+gi7.gi0.gu69.p121)+gi7.gi0.gu69.p580)+gi7.gi0.gu69.p103)+gi7.gi0.gu69.p364)<=(((gi7.gi0.gu69.p289+gi7.gi0.gu69.p308)+gi7.gi0.gu69.p184)+gi4.gu68.p434)))))) + AG(EX(EG((((((((((gi13.gi0.gu121.p495+gi13.gi0.gu113.p522)+gi0.gu0.p307)+gi13.gi0.gu113.p188)+gi3.gi0.gu40.p118)+gi13.gi0.gu113.p399)+gi13.gi0.gu113.p555)+gi13.gi0.gu113.p216)+gi13.gi0.gu113.p548)<=(gi12.gu115.p392+gi13.gi0.gu113.p34))))))
=> equivalent forward existential formula: [(FwdU((Init * !(!((E(!(!(EG(!((!(!(EG(!(((((((((((gi12.gu115.p560+gu59.p71)+gi12.gu115.p246)+gu59.p8)+gi6.gu97.p267)+gi12.gu115.p658)+gi12.gu115.p645)+gi12.gu115.p563)+gi12.gu115.p698)+gu107.p398)<=(((((gi12.gu115.p124+gu107.p150)+gi12.gu115.p666)+gi12.gu115.p521)+gi12.gu115.p392)+gi12.gu115.p549)))))) * !(E(TRUE U !(((((((((gi7.gi0.gu69.p286+gi7.gi0.gu69.p440)+gi7.gi0.gu69.p566)+gi7.gi0.gu69.p339)+gi7.gi0.gu69.p121)+gi7.gi0.gu69.p580)+gi7.gi0.gu69.p103)+gi7.gi0.gu69.p364)<=(((gi7.gi0.gu69.p289+gi7.gi0.gu69.p308)+gi7.gi0.gu69.p184)+gi4.gu68.p434)))))))))) U (!(E(((((gi7.gi0.gu76.p366+gi7.gi0.gu76.p417)+gi7.gi0.gu76.p180)+gi7.gi0.gu76.p449)<=(((((gi7.gi0.gu76.p485+gi7.gi1.gu25.p631)+gi7.gi0.gu76.p353)+gi7.gi0.gu69.p364)+gi7.gi0.gu69.p103)+gi7.gi0.gu76.p325)) U (((!(!(EG(!((((((((gi3.gi0.gu40.p58+gi3.gi0.gu40.p220)+gi3.gi0.gu40.p543)+gi3.gi0.gu40.p139)+gi3.gi0.gu40.p542)+gi3.gi0.gu40.p284)+gi3.gi0.gu40.p118)<=(((((((gi3.gi0.gu40.p363+gi3.gi0.gu40.p270)+gi3.gi0.gu40.p621)+gi3.gi0.gu40.p490)+gi3.gi0.gu40.p32)+gi3.gi0.gu40.p171)+gi3.gi0.gu40.p175)+gi3.gi0.gu40.p141)))))) + ((((((gi10.gu54.p379+gi10.gu54.p558)+gi10.gu54.p321)+gi10.gu54.p236)+gi10.gu54.p538)+gi10.gu54.p675)>28)) + (((((gi11.gi3.gu127.p317+gi11.gi3.gu127.p145)+gi11.gi3.gu127.p424)+gi11.gi3.gu127.p46)+gi11.gi3.gu127.p618)>23)) + (gi5.gi1.gu21.p401<=((gi5.gi1.gu21.p636+gi5.gi1.gu21.p223)+gi5.gi1.gu21.p94))))) * !(!(EG(!((!(!(EG(!(((((((((((gi12.gu115.p560+gu59.p71)+gi12.gu115.p246)+gu59.p8)+gi6.gu97.p267)+gi12.gu115.p658)+gi12.gu115.p645)+gi12.gu115.p563)+gi12.gu115.p698)+gu107.p398)<=(((((gi12.gu115.p124+gu107.p150)+gi12.gu115.p666)+gi12.gu115.p521)+gi12.gu115.p392)+gi12.gu115.p549)))))) * !(E(TRUE U !(((((((((gi7.gi0.gu69.p286+gi7.gi0.gu69.p440)+gi7.gi0.gu69.p566)+gi7.gi0.gu69.p339)+gi7.gi0.gu69.p121)+gi7.gi0.gu69.p580)+gi7.gi0.gu69.p103)+gi7.gi0.gu69.p364)<=(((gi7.gi0.gu69.p289+gi7.gi0.gu69.p308)+gi7.gi0.gu69.p184)+gi4.gu68.p434)))))))))))) + EG(!(!(EG(!((!(!(EG(!(((((((((((gi12.gu115.p560+gu59.p71)+gi12.gu115.p246)+gu59.p8)+gi6.gu97.p267)+gi12.gu115.p658)+gi12.gu115.p645)+gi12.gu115.p563)+gi12.gu115.p698)+gu107.p398)<=(((((gi12.gu115.p124+gu107.p150)+gi12.gu115.p666)+gi12.gu115.p521)+gi12.gu115.p392)+gi12.gu115.p549)))))) * !(E(TRUE U !(((((((((gi7.gi0.gu69.p286+gi7.gi0.gu69.p440)+gi7.gi0.gu69.p566)+gi7.gi0.gu69.p339)+gi7.gi0.gu69.p121)+gi7.gi0.gu69.p580)+gi7.gi0.gu69.p103)+gi7.gi0.gu69.p364)<=(((gi7.gi0.gu69.p289+gi7.gi0.gu69.p308)+gi7.gi0.gu69.p184)+gi4.gu68.p434))))))))))))))),TRUE) * !(EX(EG((((((((((gi13.gi0.gu121.p495+gi13.gi0.gu113.p522)+gi0.gu0.p307)+gi13.gi0.gu113.p188)+gi3.gi0.gu40.p118)+gi13.gi0.gu113.p399)+gi13.gi0.gu113.p555)+gi13.gi0.gu113.p216)+gi13.gi0.gu113.p548)<=(gi12.gu115.p392+gi13.gi0.gu113.p34))))))] = FALSE
Reverse transition relation is NOT exact ! Due to transitions gu59.t185, gu59.t227, gu107.t62, gu107.t63, gu107.t69, gu107.t99, gu107.t216, gu107.t260, gu107.t261, gu107.t286, gi0.gu0.t131, gi0.gu0.t163, gi0.gu0.t246, gi0.gu0.t253, gi0.gu28.t1, gi0.gu86.t179, gi0.gu123.t256, gi0.gu123.t257, gi0.t178, gi0.t162, gi2.gi0.gu36.t64, gi2.gi0.gu37.t121, gi2.gi0.gu37.t290, gi2.gi0.gu37.t291, gi2.gi0.gu55.t100, gi2.gi0.gu55.t101, gi2.gi0.gu57.t104, gi2.gi0.gu77.t115, gi2.gi0.gu77.t124, gi2.gi0.gu77.t125, gi2.gi0.gu77.t203, gi2.gi0.t65, gi2.gi0.t105, gi2.gi1.gu56.t102, gi2.gi1.gu56.t103, gi2.gi1.gu58.t106, gi2.gi1.gu58.t107, gi2.gi1.gu60.t108, gi2.gi1.gu60.t109, gi2.gi1.gu62.t110, gi2.gi1.gu63.t112, gi2.gi1.gu65.t118, gi2.gi1.gu65.t119, gi2.gi1.t430, gi2.gi1.t860, gi2.t575, gi2.t429, gi2.t428, gi3.gi0.gu40.t58, gi3.gi0.gu40.t59, gi3.gi0.gu40.t72, gi3.gi0.gu40.t73, gi3.gi0.gu40.t155, gi3.gi0.gu40.t230, gi3.gi0.gu40.t231, gi3.gi0.gu96.t198, gi3.gi0.gu128.t264, gi3.gi0.t265, gi3.gi1.gu8.t96, gi3.gi1.gu8.t196, gi3.gi1.gu9.t17, gi3.gi1.gu38.t66, gi3.gi1.gu39.t70, gi3.gi1.gu39.t71, gi3.gi1.gu90.t186, gi3.gi1.gu92.t188, gi3.gi1.gu92.t189, gi3.gi1.gu93.t192, gi3.gi1.gu93.t193, gi3.gi1.gu95.t195, gi3.gi1.gu98.t200, gi3.gi1.gu98.t201, gi3.gi1.gu100.t209, gi3.gi1.gu101.t204, gi3.gi1.gu101.t205, gi3.gi1.gu120.t251, gi3.gi1.t16, gi3.gi1.t67, gi3.gi1.t250, gi3.t789, gi3.t368, gi3.t366, gi3.t208, gi4.gu68.t277, gi4.gu84.t174, gi4.gu119.t245, gi4.gu122.t254, gi4.gu126.t262, gi4.t263, gi4.t255, gi4.t244, gi4.t175, gi5.gi0.gu17.t30, gi5.gi0.gu19.t37, gi5.gi0.gu22.t39, gi5.gi0.gu23.t41, gi5.gi0.gu24.t42, gi5.gi0.gu27.t44, gi5.gi0.gu27.t45, gi5.gi0.gu29.t47, gi5.gi0.t481, gi5.gi0.t528, gi5.gi0.t919, gi5.gi1.gu21.t94, gi5.gi1.gu21.t95, gi5.gi1.gu21.t170, gi5.gi1.gu21.t171, gi5.gi1.gu48.t84, gi5.gi1.gu51.t90, gi5.gi1.gu51.t91, gi5.gi1.gu78.t156, gi5.gi1.gu80.t164, gi5.gi1.gu80.t165, gi5.gi1.gu81.t167, gi5.gi1.gu82.t168, gi5.gi1.gu82.t169, gi5.gi1.gu83.t172, gi5.gi1.gu83.t173, gi5.gi1.t386, gi5.gi1.t560, gi5.gi2.gu31.t52, gi5.gi2.gu31.t53, gi5.gi2.gu32.t54, gi5.gi2.gu32.t55, gi5.gi2.gu34.t56, gi5.gi2.gu34.t57, gi5.gi2.t904, gi5.gi3.gu42.t74, gi5.gi3.gu42.t75, gi5.gi3.gu43.t76, gi5.gi3.gu44.t78, gi5.gi3.gu44.t79, gi5.gi3.gu46.t80, gi5.gi3.gu46.t81, gi5.gi3.gu47.t82, gi5.gi3.gu47.t83, gi5.gi3.gu49.t86, gi5.gi3.gu50.t88, gi5.gi3.gu50.t89, gi5.gi3.gu52.t93, gi5.gi3.t442, gi5.gi3.t556, gi5.gi3.t566, gi5.gi4.gu130.t270, gi5.gi4.gu130.t271, gi5.gi4.gu131.t272, gi5.gi4.gu131.t273, gi5.gi4.gu132.t274, gi5.gi4.gu133.t278, gi5.gi4.gu133.t279, gi5.gi4.t317, gi5.t921, gi5.t534, gi5.t38, gi6.gu15.t27, gi6.gu97.t20, gi6.gu97.t21, gi6.gu97.t249, gi6.gu97.t266, gi6.gu97.t267, gi6.t26, gi7.gi0.gu69.t2, gi7.gi0.gu69.t3, gi7.gi0.gu69.t32, gi7.gi0.gu69.t33, gi7.gi0.gu69.t50, gi7.gi0.gu69.t51, gi7.gi0.gu69.t122, gi7.gi0.gu69.t144, gi7.gi0.gu69.t145, gi7.gi0.gu76.t150, gi7.gi0.gu76.t151, gi7.gi0.gu76.t177, gi7.gi0.gu76.t191, gi7.gi0.t602, gi7.gi1.gu25.t48, gi7.gi1.gu25.t49, gi7.gi1.gu45.t60, gi7.gi1.gu112.t232, gi7.gi1.gu118.t243, gi7.gi1.t233, gi7.gi1.t242, gi7.t909, gi7.t748, gi7.t138, gi9.gi0.gu75.t148, gi9.gi0.gu79.t128, gi9.gi0.gu79.t129, gi9.gi0.gu79.t146, gi9.gi0.gu79.t147, gi9.gi0.gu79.t268, gi9.gi0.gu103.t212, gi9.gi0.gu136.t294, gi9.gi0.t213, gi9.gi0.t295, gi9.gi0.t603, gi9.gi1.gu104.t214, gi9.gi1.gu104.t215, gi9.gi1.gu106.t218, gi9.gi1.gu108.t220, gi9.gi1.gu108.t221, gi9.gi1.gu109.t225, gi9.gi1.t652, gi9.t357, gi9.t356, gi10.gu54.t136, gi10.gu54.t161, gi10.gu54.t288, gi10.gu54.t289, gi10.gu67.t126, gi10.gu67.t127, gi10.gu110.t228, gi10.gu110.t229, gi10.gu135.t292, gi10.gu135.t293, gi11.gi0.gu1.t4, gi11.gi0.gu1.t5, gi11.gi0.gu2.t6, gi11.gi0.gu2.t7, gi11.gi0.gu4.t8, gi11.gi0.gu4.t9, gi11.gi0.gu5.t10, gi11.gi0.t943, gi11.gi1.gu13.t24, gi11.gi1.gu13.t25, gi11.gi1.gu16.t28, gi11.gi2.gu124.t258, gi11.gi2.gu124.t259, gi11.gi3.gu6.t13, gi11.gi3.gu10.t19, gi11.gi3.gu12.t22, gi11.gi3.gu12.t23, gi11.gi3.gu70.t132, gi11.gi3.gu72.t141, gi11.gi3.gu73.t142, gi11.gi3.gu73.t143, gi11.gi3.gu87.t181, gi11.gi3.gu89.t183, gi11.gi3.gu127.t134, gi11.gi3.gu127.t135, gi11.gi3.t18, gi11.gi3.t180, gi11.gi3.t799, gi11.t487, gi12.gu41.t14, gi12.gu41.t15, gi12.gu41.t282, gi12.gu41.t283, gi12.gu66.t210, gi12.gu115.t223, gi12.gu115.t234, gi12.gu115.t235, gi12.gu116.t239, gi12.gu134.t284, gi12.gu134.t285, gi12.t713, gi12.t238, gi13.gi0.gu113.t236, gi13.gi0.gu113.t237, gi13.gi0.gu121.t34, gi13.gi0.gu121.t35, gi13.gi0.gu121.t116, gi13.gi0.gu121.t117, gi13.gi0.gu121.t281, gi13.gi0.gu121.t298, gi13.gi0.gu121.t299, gi13.gi1.gu138.t296, gi13.gi1.gu138.t297, gi13.t305, t0, t11, t12, t29, t31, t36, t40, t43, t46, t61, t68, t77, t85, t87, t92, t97, t98, t111, t113, t114, t120, t123, t130, t133, t137, t139, t140, t149, t152, t153, t154, t157, t158, t159, t160, t166, t176, t182, t184, t187, t190, t194, t197, t199, t202, t206, t207, t211, t217, t219, t222, t224, t226, t240, t241, t247, t248, t252, t269, t275, t276, t280, t287, t301, t304, t307, t309, t313, t315, t318, t320, t321, t322, t324, t325, t326, t328, t329, t330, t332, t333, t336, t337, t338, t340, t341, t342, t344, t345, t346, t348, t349, t350, t352, t353, t354, t360, t361, t362, t364, t369, t370, t372, t373, t374, t376, t378, t380, t381, t382, t384, t385, t388, t392, t393, t394, t396, t397, t398, t400, t401, t404, t405, t406, t408, t409, t410, t412, t413, t414, t416, t417, t418, t420, t422, t424, t425, t426, t432, t434, t435, t438, t439, t448, t449, t452, t453, t454, t456, t461, t462, t464, t465, t467, t469, t470, t471, t475, t477, t478, t480, t482, t484, t489, t491, t493, t494, t496, t497, t501, t502, t503, t505, t509, t510, t511, t512, t514, t516, t518, t519, t520, t522, t523, t524, t526, t527, t530, t531, t532, t538, t539, t540, t543, t544, t547, t548, t550, t553, t554, t555, t558, t561, t565, t567, t569, t573, t574, t576, t578, t579, t580, t582, t583, t584, t586, t587, t588, t590, t591, t592, t596, t598, t600, t606, t607, t608, t610, t611, t612, t614, t615, t616, t618, t620, t623, t624, t626, t627, t628, t630, t631, t632, t634, t635, t636, t638, t639, t640, t642, t643, t644, t646, t647, t648, t650, t651, t656, t658, t660, t662, t663, t664, t666, t667, t668, t670, t672, t674, t677, t678, t679, t680, t682, t683, t684, t686, t688, t690, t692, t694, t697, t698, t701, t703, t704, t706, t708, t718, t719, t723, t724, t728, t729, t731, t733, t735, t738, t739, t741, t743, t744, t746, t749, t751, t753, t755, t760, t761, t763, t764, t766, t768, t769, t771, t773, t774, t776, t778, t779, t781, t783, t784, t790, t793, t794, t796, t798, t801, t803, t804, t806, t808, t809, t815, t816, t818, t819, t821, t824, t826, t830, t831, t833, t834, t836, t838, t839, t843, t844, t846, t848, t849, t851, t853, t854, t858, t863, t865, t868, t869, t871, t873, t874, t876, t878, t879, t881, t885, t886, t889, t891, t893, t894, t896, t898, t899, t901, t908, t911, t915, t916, t918, t923, t924, t929, t931, t933, t934, t938, t939, t948, t949, t951, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/124/663/787
Detected timeout of ITS tools.
[2021-05-16 21:43:51] [INFO ] Applying decomposition
[2021-05-16 21:43:51] [INFO ] Flatten gal took : 659 ms
[2021-05-16 21:43:52] [INFO ] Decomposing Gal with order
[2021-05-16 21:43:52] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 21:43:53] [INFO ] Removed a total of 1047 redundant transitions.
[2021-05-16 21:43:53] [INFO ] Flatten gal took : 342 ms
[2021-05-16 21:43:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 600 labels/synchronizations in 98 ms.
[2021-05-16 21:43:54] [INFO ] Time to serialize gal into /tmp/CTLCardinality6985246058508534527.gal : 29 ms
[2021-05-16 21:43:54] [INFO ] Time to serialize properties into /tmp/CTLCardinality6175923610968430289.ctl : 7 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/CTLCardinality6985246058508534527.gal, -t, CGAL, -ctl, /tmp/CTLCardinality6175923610968430289.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/CTLCardinality6985246058508534527.gal -t CGAL -ctl /tmp/CTLCardinality6175923610968430289.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 7 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.89893e+99,311.94,2498284,2,76160,5,7.00764e+06,6,0,3917,2.03769e+07,0
Converting to forward existential form...Done !
original formula: (A(E(((((gu105.p366+gu120.p417)+gu52.p180)+gu129.p449)<=(((((gu140.p485+gu181.p631)+gu102.p353)+gu105.p364)+gu30.p103)+gu94.p325)) U (((!(AF((((((((gu17.p58+gu64.p220)+gu156.p543)+gu41.p139)+gu156.p542)+gu82.p284)+gu34.p118)<=(((((((gu105.p363+gu78.p270)+gu178.p621)+gu141.p490)+gu10.p32)+gu50.p171)+gu51.p175)+gu41.p141)))) + ((((((gu109.p379+gu160.p558)+gu93.p321)+gu68.p236)+gu154.p538)+gu194.p675)>28)) + (((((gu92.p317+gu42.p145)+gu122.p424)+gu14.p46)+gu177.p618)>23)) + (gu116.p401<=((gu182.p636+gu65.p223)+gu28.p94)))) U AF((!(AF(((((((((((gu161.p560+gu21.p71)+gu71.p246)+gu3.p8)+gu77.p267)+gu189.p658)+gu185.p645)+gu162.p563)+gu200.p698)+gu114.p398)<=(((((gu36.p124+gu44.p150)+gu191.p666)+gu150.p521)+gu113.p392)+gu158.p549)))) * AG(((((((((gu82.p286+gu126.p440)+gu162.p566)+gu98.p339)+gu36.p121)+gu166.p580)+gu30.p103)+gu105.p364)<=(((gu84.p289+gu89.p308)+gu53.p184)+gu125.p434)))))) + AG(EX(EG((((((((((gu142.p495+gu150.p522)+gu89.p307)+gu54.p188)+gu34.p118)+gu115.p399)+gu160.p555)+gu62.p216)+gu157.p548)<=(gu113.p392+gu10.p34))))))
=> equivalent forward existential formula: [(FwdU((Init * !(!((E(!(!(EG(!((!(!(EG(!(((((((((((gu161.p560+gu21.p71)+gu71.p246)+gu3.p8)+gu77.p267)+gu189.p658)+gu185.p645)+gu162.p563)+gu200.p698)+gu114.p398)<=(((((gu36.p124+gu44.p150)+gu191.p666)+gu150.p521)+gu113.p392)+gu158.p549)))))) * !(E(TRUE U !(((((((((gu82.p286+gu126.p440)+gu162.p566)+gu98.p339)+gu36.p121)+gu166.p580)+gu30.p103)+gu105.p364)<=(((gu84.p289+gu89.p308)+gu53.p184)+gu125.p434)))))))))) U (!(E(((((gu105.p366+gu120.p417)+gu52.p180)+gu129.p449)<=(((((gu140.p485+gu181.p631)+gu102.p353)+gu105.p364)+gu30.p103)+gu94.p325)) U (((!(!(EG(!((((((((gu17.p58+gu64.p220)+gu156.p543)+gu41.p139)+gu156.p542)+gu82.p284)+gu34.p118)<=(((((((gu105.p363+gu78.p270)+gu178.p621)+gu141.p490)+gu10.p32)+gu50.p171)+gu51.p175)+gu41.p141)))))) + ((((((gu109.p379+gu160.p558)+gu93.p321)+gu68.p236)+gu154.p538)+gu194.p675)>28)) + (((((gu92.p317+gu42.p145)+gu122.p424)+gu14.p46)+gu177.p618)>23)) + (gu116.p401<=((gu182.p636+gu65.p223)+gu28.p94))))) * !(!(EG(!((!(!(EG(!(((((((((((gu161.p560+gu21.p71)+gu71.p246)+gu3.p8)+gu77.p267)+gu189.p658)+gu185.p645)+gu162.p563)+gu200.p698)+gu114.p398)<=(((((gu36.p124+gu44.p150)+gu191.p666)+gu150.p521)+gu113.p392)+gu158.p549)))))) * !(E(TRUE U !(((((((((gu82.p286+gu126.p440)+gu162.p566)+gu98.p339)+gu36.p121)+gu166.p580)+gu30.p103)+gu105.p364)<=(((gu84.p289+gu89.p308)+gu53.p184)+gu125.p434)))))))))))) + EG(!(!(EG(!((!(!(EG(!(((((((((((gu161.p560+gu21.p71)+gu71.p246)+gu3.p8)+gu77.p267)+gu189.p658)+gu185.p645)+gu162.p563)+gu200.p698)+gu114.p398)<=(((((gu36.p124+gu44.p150)+gu191.p666)+gu150.p521)+gu113.p392)+gu158.p549)))))) * !(E(TRUE U !(((((((((gu82.p286+gu126.p440)+gu162.p566)+gu98.p339)+gu36.p121)+gu166.p580)+gu30.p103)+gu105.p364)<=(((gu84.p289+gu89.p308)+gu53.p184)+gu125.p434))))))))))))))),TRUE) * !(EX(EG((((((((((gu142.p495+gu150.p522)+gu89.p307)+gu54.p188)+gu34.p118)+gu115.p399)+gu160.p555)+gu62.p216)+gu157.p548)<=(gu113.p392+gu10.p34))))))] = 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, gu80.t116, gu80.t117, gu81.t118, gu81.t119, gu82.t120, gu82.t121, gu84.t122, gu84.t123, gu85.t124, gu85.t125, gu86.t126, gu86.t127, gu88.t128, gu88.t129, gu89.t130, gu89.t131, gu90.t132, gu90.t133, gu92.t134, gu92.t135, gu93.t136, gu93.t137, gu94.t138, gu94.t139, gu96.t140, gu96.t141, gu97.t142, gu97.t143, gu98.t144, gu98.t145, gu100.t146, gu100.t147, gu101.t148, gu101.t149, gu102.t150, gu102.t151, gu104.t152, gu104.t153, gu105.t154, gu105.t155, gu106.t156, gu106.t157, gu108.t158, gu108.t159, gu109.t160, gu109.t161, gu110.t162, gu110.t163, gu112.t164, gu112.t165, gu113.t166, gu113.t167, gu114.t168, gu114.t169, gu116.t170, gu116.t171, gu117.t172, gu117.t173, gu118.t174, gu118.t175, gu120.t176, gu120.t177, gu121.t178, gu121.t179, gu122.t180, gu122.t181, gu124.t182, gu124.t183, gu125.t184, gu125.t185, gu126.t186, gu126.t187, gu128.t188, gu128.t189, gu129.t190, gu129.t191, gu130.t192, gu130.t193, gu132.t194, gu132.t195, gu133.t196, gu133.t197, gu134.t198, gu134.t199, gu136.t200, gu136.t201, gu137.t202, gu137.t203, gu138.t204, gu138.t205, gu140.t206, gu140.t207, gu141.t208, gu141.t209, gu142.t210, gu142.t211, gu144.t212, gu144.t213, gu145.t214, gu145.t215, gu146.t216, gu146.t217, gu148.t218, gu148.t219, gu149.t220, gu149.t221, gu150.t222, gu150.t223, gu152.t224, gu152.t225, gu153.t226, gu153.t227, gu154.t228, gu154.t229, gu156.t230, gu156.t231, gu157.t232, gu157.t233, gu158.t234, gu158.t235, gu160.t236, gu160.t237, gu161.t238, gu161.t239, gu162.t240, gu162.t241, gu164.t242, gu164.t243, gu165.t244, gu165.t245, gu166.t246, gu166.t247, gu168.t248, gu168.t249, gu169.t250, gu169.t251, gu170.t252, gu170.t253, gu172.t254, gu172.t255, gu173.t256, gu173.t257, gu174.t258, gu174.t259, gu176.t260, gu176.t261, gu177.t262, gu177.t263, gu178.t264, gu178.t265, gu180.t266, gu180.t267, gu181.t268, gu181.t269, gu182.t270, gu182.t271, gu184.t272, gu184.t273, gu185.t274, gu185.t275, gu186.t276, gu186.t277, gu188.t278, gu188.t279, gu189.t280, gu189.t281, gu190.t282, gu190.t283, gu192.t284, gu192.t285, gu193.t286, gu193.t287, gu194.t288, gu194.t289, gu196.t290, gu196.t291, gu197.t292, gu197.t293, gu198.t294, gu198.t295, gu198.t301, gu200.t296, gu200.t297, gu201.t298, gu201.t299, t304, t307, t310, t317, t320, t324, t326, t331, t336, t339, t344, t348, t350, t356, t361, t365, t369, t371, t376, t378, t385, t389, t391, t397, t400, t402, t407, t413, t415, t418, t423, t426, t432, t435, t439, t443, t446, t450, t455, t459, t463, t467, t470, t476, t478, t484, t487, t492, t496, t501, t503, t507, t513, t518, t519, t524, t528, t533, t535, t539, t545, t548, t552, t556, t560, t563, t569, t574, t578, t580, t584, t587, t591, t595, t600, t603, t609, t613, t618, t621, t624, t627, t634, t636, t642, t646, t649, t654, t656, t660, t665, t670, t671, t677, t679, t685, t688, t693, t697, t701, t703, t711, t716, t718, t726, t728, t735, t740, t745, t748, t756, t760, t765, t769, t776, t779, t784, t790, t793, t799, t805, t810, t813, t821, t826, t831, t833, t838, t846, t848, t856, t858, t866, t870, t874, t878, t883, t888, t893, t901, t905, t910, t916, t918, t926, t928, t936, t941, t945, t949, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/52/451/503
Detected timeout of ITS tools.
[2021-05-16 22:05:01] [INFO ] Flatten gal took : 1248 ms
[2021-05-16 22:05:04] [INFO ] Input system was already deterministic with 953 transitions.
[2021-05-16 22:05:04] [INFO ] Transformed 703 places.
[2021-05-16 22:05:04] [INFO ] Transformed 953 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-16 22:05:05] [INFO ] Time to serialize gal into /tmp/CTLCardinality5835352628961947759.gal : 11 ms
[2021-05-16 22:05:05] [INFO ] Time to serialize properties into /tmp/CTLCardinality380630119364360326.ctl : 13 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/CTLCardinality5835352628961947759.gal, -t, CGAL, -ctl, /tmp/CTLCardinality380630119364360326.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/CTLCardinality5835352628961947759.gal -t CGAL -ctl /tmp/CTLCardinality380630119364360326.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 7 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.89893e+99,465.25,4160620,2,124134,5,7.44082e+06,6,0,3767,3.76307e+07,0
Converting to forward existential form...Done !
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-050A"
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-050A, 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-162106564500145"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldRVs-PT-050A.tgz
mv ShieldRVs-PT-050A execution
cd execution
if [ "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 ;