About the Execution of ITS-Tools for ShieldRVt-PT-050B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15101.355 | 3600000.00 | 3668428.00 | 10948.60 | ??????F???T???T? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r235-smll-162106564800330.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 ShieldRVt-PT-050B, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-smll-162106564800330
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1008K
-rw-r--r-- 1 mcc users 15K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 139K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.8K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 87K 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.6K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 16:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 16:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Mar 28 16:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Mar 27 13:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 27 13:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 19:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 19:16 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 614K 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 ShieldRVt-PT-050B-CTLFireability-00
FORMULA_NAME ShieldRVt-PT-050B-CTLFireability-01
FORMULA_NAME ShieldRVt-PT-050B-CTLFireability-02
FORMULA_NAME ShieldRVt-PT-050B-CTLFireability-03
FORMULA_NAME ShieldRVt-PT-050B-CTLFireability-04
FORMULA_NAME ShieldRVt-PT-050B-CTLFireability-05
FORMULA_NAME ShieldRVt-PT-050B-CTLFireability-06
FORMULA_NAME ShieldRVt-PT-050B-CTLFireability-07
FORMULA_NAME ShieldRVt-PT-050B-CTLFireability-08
FORMULA_NAME ShieldRVt-PT-050B-CTLFireability-09
FORMULA_NAME ShieldRVt-PT-050B-CTLFireability-10
FORMULA_NAME ShieldRVt-PT-050B-CTLFireability-11
FORMULA_NAME ShieldRVt-PT-050B-CTLFireability-12
FORMULA_NAME ShieldRVt-PT-050B-CTLFireability-13
FORMULA_NAME ShieldRVt-PT-050B-CTLFireability-14
FORMULA_NAME ShieldRVt-PT-050B-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1621285649552
Running Version 0
[2021-05-17 21:07:32] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-17 21:07:32] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-17 21:07:33] [INFO ] Load time of PNML (sax parser for PT used): 414 ms
[2021-05-17 21:07:33] [INFO ] Transformed 2503 places.
[2021-05-17 21:07:33] [INFO ] Transformed 2503 transitions.
[2021-05-17 21:07:33] [INFO ] Found NUPN structural information;
[2021-05-17 21:07:33] [INFO ] Parsed PT model containing 2503 places and 2503 transitions in 629 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 32 ms.
Support contains 587 out of 2503 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2503/2503 places, 2503/2503 transitions.
Discarding 376 places :
Symmetric choice reduction at 0 with 376 rule applications. Total rules 376 place count 2127 transition count 2127
Iterating global reduction 0 with 376 rules applied. Total rules applied 752 place count 2127 transition count 2127
Applied a total of 752 rules in 877 ms. Remains 2127 /2503 variables (removed 376) and now considering 2127/2503 (removed 376) transitions.
// Phase 1: matrix 2127 rows 2127 cols
[2021-05-17 21:07:34] [INFO ] Computed 201 place invariants in 54 ms
[2021-05-17 21:07:36] [INFO ] Implicit Places using invariants in 1256 ms returned []
// Phase 1: matrix 2127 rows 2127 cols
[2021-05-17 21:07:36] [INFO ] Computed 201 place invariants in 23 ms
[2021-05-17 21:07:37] [INFO ] Implicit Places using invariants and state equation in 1104 ms returned []
Implicit Place search using SMT with State Equation took 2405 ms to find 0 implicit places.
// Phase 1: matrix 2127 rows 2127 cols
[2021-05-17 21:07:37] [INFO ] Computed 201 place invariants in 21 ms
[2021-05-17 21:07:39] [INFO ] Dead Transitions using invariants and state equation in 2571 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2127/2503 places, 2127/2503 transitions.
[2021-05-17 21:07:40] [INFO ] Flatten gal took : 339 ms
[2021-05-17 21:07:40] [INFO ] Flatten gal took : 202 ms
[2021-05-17 21:07:41] [INFO ] Input system was already deterministic with 2127 transitions.
Incomplete random walk after 100000 steps, including 2 resets, run finished after 1545 ms. (steps per millisecond=64 ) properties (out of 95) seen :83
Running SMT prover for 12 properties.
// Phase 1: matrix 2127 rows 2127 cols
[2021-05-17 21:07:42] [INFO ] Computed 201 place invariants in 16 ms
[2021-05-17 21:07:43] [INFO ] [Real]Absence check using 201 positive place invariants in 173 ms returned sat
[2021-05-17 21:07:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 21:07:45] [INFO ] [Real]Absence check using state equation in 1972 ms returned sat
[2021-05-17 21:07:46] [INFO ] Deduced a trap composed of 32 places in 1063 ms of which 7 ms to minimize.
[2021-05-17 21:07:48] [INFO ] Deduced a trap composed of 22 places in 1515 ms of which 3 ms to minimize.
[2021-05-17 21:07:49] [INFO ] Deduced a trap composed of 21 places in 847 ms of which 2 ms to minimize.
[2021-05-17 21:07:50] [INFO ] Deduced a trap composed of 27 places in 1224 ms of which 14 ms to minimize.
[2021-05-17 21:07:52] [INFO ] Deduced a trap composed of 26 places in 1145 ms of which 3 ms to minimize.
[2021-05-17 21:07:53] [INFO ] Deduced a trap composed of 36 places in 960 ms of which 2 ms to minimize.
[2021-05-17 21:07:54] [INFO ] Deduced a trap composed of 44 places in 1100 ms of which 2 ms to minimize.
[2021-05-17 21:07:55] [INFO ] Deduced a trap composed of 38 places in 1029 ms of which 1 ms to minimize.
[2021-05-17 21:07:56] [INFO ] Deduced a trap composed of 31 places in 1008 ms of which 1 ms to minimize.
[2021-05-17 21:07:58] [INFO ] Deduced a trap composed of 32 places in 1022 ms of which 2 ms to minimize.
[2021-05-17 21:07:59] [INFO ] Deduced a trap composed of 47 places in 1135 ms of which 2 ms to minimize.
[2021-05-17 21:08:00] [INFO ] Deduced a trap composed of 43 places in 1127 ms of which 2 ms to minimize.
[2021-05-17 21:08:01] [INFO ] Deduced a trap composed of 49 places in 945 ms of which 1 ms to minimize.
[2021-05-17 21:08:02] [INFO ] Deduced a trap composed of 37 places in 914 ms of which 1 ms to minimize.
[2021-05-17 21:08:05] [INFO ] Deduced a trap composed of 24 places in 2513 ms of which 10 ms to minimize.
[2021-05-17 21:08:05] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 0
[2021-05-17 21:08:06] [INFO ] [Real]Absence check using 201 positive place invariants in 195 ms returned sat
[2021-05-17 21:08:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 21:08:07] [INFO ] [Real]Absence check using state equation in 1921 ms returned sat
[2021-05-17 21:08:09] [INFO ] Deduced a trap composed of 30 places in 1290 ms of which 3 ms to minimize.
[2021-05-17 21:08:10] [INFO ] Deduced a trap composed of 42 places in 913 ms of which 1 ms to minimize.
[2021-05-17 21:08:11] [INFO ] Deduced a trap composed of 31 places in 828 ms of which 1 ms to minimize.
[2021-05-17 21:08:12] [INFO ] Deduced a trap composed of 37 places in 880 ms of which 1 ms to minimize.
[2021-05-17 21:08:13] [INFO ] Deduced a trap composed of 31 places in 1103 ms of which 1 ms to minimize.
[2021-05-17 21:08:14] [INFO ] Deduced a trap composed of 26 places in 1023 ms of which 1 ms to minimize.
[2021-05-17 21:08:15] [INFO ] Deduced a trap composed of 22 places in 922 ms of which 2 ms to minimize.
[2021-05-17 21:08:17] [INFO ] Deduced a trap composed of 28 places in 1105 ms of which 1 ms to minimize.
[2021-05-17 21:08:18] [INFO ] Deduced a trap composed of 26 places in 1055 ms of which 2 ms to minimize.
[2021-05-17 21:08:19] [INFO ] Deduced a trap composed of 23 places in 1046 ms of which 1 ms to minimize.
[2021-05-17 21:08:20] [INFO ] Deduced a trap composed of 66 places in 980 ms of which 2 ms to minimize.
[2021-05-17 21:08:21] [INFO ] Deduced a trap composed of 26 places in 1053 ms of which 3 ms to minimize.
[2021-05-17 21:08:23] [INFO ] Deduced a trap composed of 36 places in 1079 ms of which 3 ms to minimize.
[2021-05-17 21:08:24] [INFO ] Deduced a trap composed of 40 places in 1162 ms of which 4 ms to minimize.
[2021-05-17 21:08:25] [INFO ] Deduced a trap composed of 43 places in 1132 ms of which 2 ms to minimize.
[2021-05-17 21:08:25] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 1
[2021-05-17 21:08:26] [INFO ] [Real]Absence check using 201 positive place invariants in 188 ms returned sat
[2021-05-17 21:08:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 21:08:27] [INFO ] [Real]Absence check using state equation in 1477 ms returned sat
[2021-05-17 21:08:27] [INFO ] Solution in real domain found non-integer solution.
[2021-05-17 21:08:28] [INFO ] [Nat]Absence check using 201 positive place invariants in 162 ms returned sat
[2021-05-17 21:08:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-17 21:08:30] [INFO ] [Nat]Absence check using state equation in 1738 ms returned sat
[2021-05-17 21:08:31] [INFO ] Deduced a trap composed of 21 places in 1076 ms of which 3 ms to minimize.
[2021-05-17 21:08:32] [INFO ] Deduced a trap composed of 28 places in 1297 ms of which 2 ms to minimize.
[2021-05-17 21:08:34] [INFO ] Deduced a trap composed of 44 places in 1315 ms of which 2 ms to minimize.
[2021-05-17 21:08:35] [INFO ] Deduced a trap composed of 23 places in 1305 ms of which 12 ms to minimize.
[2021-05-17 21:08:37] [INFO ] Deduced a trap composed of 24 places in 1194 ms of which 2 ms to minimize.
[2021-05-17 21:08:38] [INFO ] Deduced a trap composed of 61 places in 1078 ms of which 2 ms to minimize.
[2021-05-17 21:08:39] [INFO ] Deduced a trap composed of 31 places in 1049 ms of which 2 ms to minimize.
[2021-05-17 21:08:40] [INFO ] Deduced a trap composed of 38 places in 1084 ms of which 2 ms to minimize.
[2021-05-17 21:08:41] [INFO ] Deduced a trap composed of 50 places in 1076 ms of which 2 ms to minimize.
[2021-05-17 21:08:43] [INFO ] Deduced a trap composed of 55 places in 1072 ms of which 3 ms to minimize.
[2021-05-17 21:08:44] [INFO ] Deduced a trap composed of 27 places in 932 ms of which 1 ms to minimize.
[2021-05-17 21:08:45] [INFO ] Deduced a trap composed of 53 places in 1065 ms of which 2 ms to minimize.
[2021-05-17 21:08:46] [INFO ] Deduced a trap composed of 42 places in 873 ms of which 2 ms to minimize.
[2021-05-17 21:08:47] [INFO ] Deduced a trap composed of 41 places in 718 ms of which 1 ms to minimize.
[2021-05-17 21:08:48] [INFO ] Deduced a trap composed of 43 places in 828 ms of which 2 ms to minimize.
[2021-05-17 21:08:48] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 2
[2021-05-17 21:08:48] [INFO ] [Real]Absence check using 201 positive place invariants in 192 ms returned sat
[2021-05-17 21:08:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 21:08:50] [INFO ] [Real]Absence check using state equation in 1547 ms returned sat
[2021-05-17 21:08:51] [INFO ] Deduced a trap composed of 21 places in 1347 ms of which 3 ms to minimize.
[2021-05-17 21:08:53] [INFO ] Deduced a trap composed of 21 places in 1265 ms of which 2 ms to minimize.
[2021-05-17 21:08:54] [INFO ] Deduced a trap composed of 22 places in 1252 ms of which 1 ms to minimize.
[2021-05-17 21:08:55] [INFO ] Deduced a trap composed of 24 places in 1054 ms of which 1 ms to minimize.
[2021-05-17 21:08:57] [INFO ] Deduced a trap composed of 22 places in 1226 ms of which 2 ms to minimize.
[2021-05-17 21:08:58] [INFO ] Deduced a trap composed of 49 places in 1293 ms of which 2 ms to minimize.
[2021-05-17 21:08:59] [INFO ] Deduced a trap composed of 25 places in 1255 ms of which 2 ms to minimize.
[2021-05-17 21:09:01] [INFO ] Deduced a trap composed of 22 places in 1319 ms of which 3 ms to minimize.
[2021-05-17 21:09:02] [INFO ] Deduced a trap composed of 43 places in 1232 ms of which 3 ms to minimize.
[2021-05-17 21:09:04] [INFO ] Deduced a trap composed of 31 places in 1195 ms of which 3 ms to minimize.
[2021-05-17 21:09:05] [INFO ] Deduced a trap composed of 25 places in 1214 ms of which 19 ms to minimize.
[2021-05-17 21:09:06] [INFO ] Deduced a trap composed of 28 places in 1225 ms of which 3 ms to minimize.
[2021-05-17 21:09:08] [INFO ] Deduced a trap composed of 39 places in 1106 ms of which 2 ms to minimize.
[2021-05-17 21:09:08] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 3
[2021-05-17 21:09:08] [INFO ] [Real]Absence check using 201 positive place invariants in 198 ms returned sat
[2021-05-17 21:09:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 21:09:10] [INFO ] [Real]Absence check using state equation in 1834 ms returned sat
[2021-05-17 21:09:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-17 21:09:11] [INFO ] [Nat]Absence check using 201 positive place invariants in 204 ms returned sat
[2021-05-17 21:09:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-17 21:09:13] [INFO ] [Nat]Absence check using state equation in 1852 ms returned sat
[2021-05-17 21:09:14] [INFO ] Deduced a trap composed of 22 places in 1197 ms of which 2 ms to minimize.
[2021-05-17 21:09:15] [INFO ] Deduced a trap composed of 25 places in 1356 ms of which 3 ms to minimize.
[2021-05-17 21:09:17] [INFO ] Deduced a trap composed of 34 places in 1404 ms of which 2 ms to minimize.
[2021-05-17 21:09:19] [INFO ] Deduced a trap composed of 29 places in 1406 ms of which 2 ms to minimize.
[2021-05-17 21:09:20] [INFO ] Deduced a trap composed of 31 places in 1164 ms of which 2 ms to minimize.
[2021-05-17 21:09:21] [INFO ] Deduced a trap composed of 23 places in 1208 ms of which 3 ms to minimize.
[2021-05-17 21:09:22] [INFO ] Deduced a trap composed of 43 places in 1058 ms of which 2 ms to minimize.
[2021-05-17 21:09:24] [INFO ] Deduced a trap composed of 31 places in 1275 ms of which 6 ms to minimize.
[2021-05-17 21:09:25] [INFO ] Deduced a trap composed of 26 places in 1350 ms of which 5 ms to minimize.
[2021-05-17 21:09:27] [INFO ] Deduced a trap composed of 33 places in 1240 ms of which 13 ms to minimize.
[2021-05-17 21:09:28] [INFO ] Deduced a trap composed of 57 places in 1147 ms of which 2 ms to minimize.
[2021-05-17 21:09:29] [INFO ] Deduced a trap composed of 42 places in 1114 ms of which 2 ms to minimize.
[2021-05-17 21:09:31] [INFO ] Deduced a trap composed of 51 places in 1221 ms of which 2 ms to minimize.
[2021-05-17 21:09:31] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 4
[2021-05-17 21:09:31] [INFO ] [Real]Absence check using 201 positive place invariants in 199 ms returned sat
[2021-05-17 21:09:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 21:09:34] [INFO ] [Real]Absence check using state equation in 2548 ms returned sat
[2021-05-17 21:09:36] [INFO ] Deduced a trap composed of 27 places in 1587 ms of which 3 ms to minimize.
[2021-05-17 21:09:37] [INFO ] Deduced a trap composed of 25 places in 1595 ms of which 3 ms to minimize.
[2021-05-17 21:09:39] [INFO ] Deduced a trap composed of 21 places in 1622 ms of which 3 ms to minimize.
[2021-05-17 21:09:41] [INFO ] Deduced a trap composed of 23 places in 1509 ms of which 2 ms to minimize.
[2021-05-17 21:09:42] [INFO ] Deduced a trap composed of 46 places in 1223 ms of which 1 ms to minimize.
[2021-05-17 21:09:44] [INFO ] Deduced a trap composed of 51 places in 1312 ms of which 3 ms to minimize.
[2021-05-17 21:09:45] [INFO ] Deduced a trap composed of 22 places in 1261 ms of which 1 ms to minimize.
[2021-05-17 21:09:46] [INFO ] Deduced a trap composed of 43 places in 949 ms of which 1 ms to minimize.
[2021-05-17 21:09:47] [INFO ] Deduced a trap composed of 30 places in 996 ms of which 2 ms to minimize.
[2021-05-17 21:09:48] [INFO ] Deduced a trap composed of 39 places in 796 ms of which 2 ms to minimize.
[2021-05-17 21:09:49] [INFO ] Deduced a trap composed of 39 places in 796 ms of which 1 ms to minimize.
[2021-05-17 21:09:50] [INFO ] Deduced a trap composed of 42 places in 1026 ms of which 5 ms to minimize.
[2021-05-17 21:09:51] [INFO ] Deduced a trap composed of 38 places in 949 ms of which 2 ms to minimize.
[2021-05-17 21:09:51] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 5
[2021-05-17 21:09:52] [INFO ] [Real]Absence check using 201 positive place invariants in 139 ms returned sat
[2021-05-17 21:09:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 21:09:54] [INFO ] [Real]Absence check using state equation in 1899 ms returned sat
[2021-05-17 21:09:54] [INFO ] Solution in real domain found non-integer solution.
[2021-05-17 21:09:54] [INFO ] [Nat]Absence check using 201 positive place invariants in 141 ms returned sat
[2021-05-17 21:09:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-17 21:09:56] [INFO ] [Nat]Absence check using state equation in 1921 ms returned sat
[2021-05-17 21:09:57] [INFO ] Deduced a trap composed of 38 places in 938 ms of which 2 ms to minimize.
[2021-05-17 21:09:58] [INFO ] Deduced a trap composed of 22 places in 966 ms of which 1 ms to minimize.
[2021-05-17 21:10:00] [INFO ] Deduced a trap composed of 29 places in 1115 ms of which 2 ms to minimize.
[2021-05-17 21:10:00] [INFO ] Deduced a trap composed of 51 places in 826 ms of which 1 ms to minimize.
[2021-05-17 21:10:01] [INFO ] Deduced a trap composed of 32 places in 870 ms of which 2 ms to minimize.
[2021-05-17 21:10:03] [INFO ] Deduced a trap composed of 32 places in 1076 ms of which 2 ms to minimize.
[2021-05-17 21:10:04] [INFO ] Deduced a trap composed of 41 places in 894 ms of which 2 ms to minimize.
[2021-05-17 21:10:05] [INFO ] Deduced a trap composed of 41 places in 890 ms of which 2 ms to minimize.
[2021-05-17 21:10:06] [INFO ] Deduced a trap composed of 33 places in 1150 ms of which 2 ms to minimize.
[2021-05-17 21:10:07] [INFO ] Deduced a trap composed of 37 places in 854 ms of which 1 ms to minimize.
[2021-05-17 21:10:08] [INFO ] Deduced a trap composed of 51 places in 854 ms of which 2 ms to minimize.
[2021-05-17 21:10:09] [INFO ] Deduced a trap composed of 50 places in 748 ms of which 1 ms to minimize.
[2021-05-17 21:10:10] [INFO ] Deduced a trap composed of 53 places in 983 ms of which 2 ms to minimize.
[2021-05-17 21:10:11] [INFO ] Deduced a trap composed of 40 places in 948 ms of which 2 ms to minimize.
[2021-05-17 21:10:12] [INFO ] Deduced a trap composed of 42 places in 1000 ms of which 2 ms to minimize.
[2021-05-17 21:10:13] [INFO ] Deduced a trap composed of 29 places in 900 ms of which 2 ms to minimize.
[2021-05-17 21:10:14] [INFO ] Deduced a trap composed of 25 places in 1062 ms of which 2 ms to minimize.
[2021-05-17 21:10:14] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 6
[2021-05-17 21:10:15] [INFO ] [Real]Absence check using 201 positive place invariants in 192 ms returned sat
[2021-05-17 21:10:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 21:10:16] [INFO ] [Real]Absence check using state equation in 1549 ms returned sat
[2021-05-17 21:10:16] [INFO ] Solution in real domain found non-integer solution.
[2021-05-17 21:10:17] [INFO ] [Nat]Absence check using 201 positive place invariants in 131 ms returned sat
[2021-05-17 21:10:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-17 21:10:18] [INFO ] [Nat]Absence check using state equation in 1397 ms returned sat
[2021-05-17 21:10:19] [INFO ] Deduced a trap composed of 26 places in 1216 ms of which 2 ms to minimize.
[2021-05-17 21:10:21] [INFO ] Deduced a trap composed of 29 places in 1060 ms of which 3 ms to minimize.
[2021-05-17 21:10:22] [INFO ] Deduced a trap composed of 29 places in 1204 ms of which 2 ms to minimize.
[2021-05-17 21:10:23] [INFO ] Deduced a trap composed of 36 places in 1072 ms of which 2 ms to minimize.
[2021-05-17 21:10:24] [INFO ] Deduced a trap composed of 50 places in 978 ms of which 1 ms to minimize.
[2021-05-17 21:10:25] [INFO ] Deduced a trap composed of 22 places in 944 ms of which 2 ms to minimize.
[2021-05-17 21:10:26] [INFO ] Deduced a trap composed of 28 places in 850 ms of which 1 ms to minimize.
[2021-05-17 21:10:27] [INFO ] Deduced a trap composed of 27 places in 976 ms of which 2 ms to minimize.
[2021-05-17 21:10:28] [INFO ] Deduced a trap composed of 30 places in 973 ms of which 1 ms to minimize.
[2021-05-17 21:10:29] [INFO ] Deduced a trap composed of 40 places in 928 ms of which 1 ms to minimize.
[2021-05-17 21:10:30] [INFO ] Deduced a trap composed of 31 places in 814 ms of which 2 ms to minimize.
[2021-05-17 21:10:31] [INFO ] Deduced a trap composed of 52 places in 865 ms of which 2 ms to minimize.
[2021-05-17 21:10:32] [INFO ] Deduced a trap composed of 74 places in 956 ms of which 1 ms to minimize.
[2021-05-17 21:10:33] [INFO ] Deduced a trap composed of 74 places in 787 ms of which 2 ms to minimize.
[2021-05-17 21:10:34] [INFO ] Deduced a trap composed of 62 places in 814 ms of which 1 ms to minimize.
[2021-05-17 21:10:35] [INFO ] Deduced a trap composed of 38 places in 1057 ms of which 2 ms to minimize.
[2021-05-17 21:10:36] [INFO ] Deduced a trap composed of 57 places in 903 ms of which 1 ms to minimize.
[2021-05-17 21:10:37] [INFO ] Deduced a trap composed of 42 places in 883 ms of which 2 ms to minimize.
[2021-05-17 21:10:37] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 7
[2021-05-17 21:10:38] [INFO ] [Real]Absence check using 201 positive place invariants in 143 ms returned sat
[2021-05-17 21:10:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 21:10:41] [INFO ] [Real]Absence check using state equation in 3005 ms returned sat
[2021-05-17 21:10:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-17 21:10:41] [INFO ] [Nat]Absence check using 201 positive place invariants in 148 ms returned sat
[2021-05-17 21:10:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-17 21:10:43] [INFO ] [Nat]Absence check using state equation in 1832 ms returned sat
[2021-05-17 21:10:44] [INFO ] Deduced a trap composed of 27 places in 1284 ms of which 2 ms to minimize.
[2021-05-17 21:10:46] [INFO ] Deduced a trap composed of 23 places in 1252 ms of which 2 ms to minimize.
[2021-05-17 21:10:47] [INFO ] Deduced a trap composed of 27 places in 1098 ms of which 3 ms to minimize.
[2021-05-17 21:10:48] [INFO ] Deduced a trap composed of 22 places in 980 ms of which 1 ms to minimize.
[2021-05-17 21:10:49] [INFO ] Deduced a trap composed of 31 places in 1094 ms of which 2 ms to minimize.
[2021-05-17 21:10:50] [INFO ] Deduced a trap composed of 35 places in 984 ms of which 1 ms to minimize.
[2021-05-17 21:10:51] [INFO ] Deduced a trap composed of 23 places in 933 ms of which 1 ms to minimize.
[2021-05-17 21:10:53] [INFO ] Deduced a trap composed of 33 places in 1130 ms of which 1 ms to minimize.
[2021-05-17 21:10:53] [INFO ] Deduced a trap composed of 29 places in 816 ms of which 1 ms to minimize.
[2021-05-17 21:10:54] [INFO ] Deduced a trap composed of 44 places in 835 ms of which 2 ms to minimize.
[2021-05-17 21:10:56] [INFO ] Deduced a trap composed of 57 places in 1059 ms of which 2 ms to minimize.
[2021-05-17 21:10:56] [INFO ] Deduced a trap composed of 48 places in 781 ms of which 2 ms to minimize.
[2021-05-17 21:10:57] [INFO ] Deduced a trap composed of 49 places in 834 ms of which 1 ms to minimize.
[2021-05-17 21:10:58] [INFO ] Deduced a trap composed of 46 places in 767 ms of which 2 ms to minimize.
[2021-05-17 21:10:59] [INFO ] Deduced a trap composed of 35 places in 771 ms of which 4 ms to minimize.
[2021-05-17 21:11:00] [INFO ] Deduced a trap composed of 38 places in 779 ms of which 2 ms to minimize.
[2021-05-17 21:11:01] [INFO ] Deduced a trap composed of 42 places in 677 ms of which 2 ms to minimize.
[2021-05-17 21:11:01] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 8
[2021-05-17 21:11:02] [INFO ] [Real]Absence check using 201 positive place invariants in 192 ms returned sat
[2021-05-17 21:11:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 21:11:03] [INFO ] [Real]Absence check using state equation in 1801 ms returned sat
[2021-05-17 21:11:04] [INFO ] Deduced a trap composed of 34 places in 915 ms of which 1 ms to minimize.
[2021-05-17 21:11:05] [INFO ] Deduced a trap composed of 22 places in 802 ms of which 1 ms to minimize.
[2021-05-17 21:11:06] [INFO ] Deduced a trap composed of 48 places in 804 ms of which 1 ms to minimize.
[2021-05-17 21:11:07] [INFO ] Deduced a trap composed of 37 places in 796 ms of which 1 ms to minimize.
[2021-05-17 21:11:08] [INFO ] Deduced a trap composed of 40 places in 928 ms of which 2 ms to minimize.
[2021-05-17 21:11:09] [INFO ] Deduced a trap composed of 21 places in 1030 ms of which 1 ms to minimize.
[2021-05-17 21:11:10] [INFO ] Deduced a trap composed of 50 places in 755 ms of which 2 ms to minimize.
[2021-05-17 21:11:11] [INFO ] Deduced a trap composed of 28 places in 736 ms of which 2 ms to minimize.
[2021-05-17 21:11:12] [INFO ] Deduced a trap composed of 39 places in 902 ms of which 1 ms to minimize.
[2021-05-17 21:11:13] [INFO ] Deduced a trap composed of 57 places in 688 ms of which 1 ms to minimize.
[2021-05-17 21:11:14] [INFO ] Deduced a trap composed of 42 places in 903 ms of which 1 ms to minimize.
[2021-05-17 21:11:15] [INFO ] Deduced a trap composed of 33 places in 745 ms of which 2 ms to minimize.
[2021-05-17 21:11:16] [INFO ] Deduced a trap composed of 52 places in 774 ms of which 2 ms to minimize.
[2021-05-17 21:11:17] [INFO ] Deduced a trap composed of 31 places in 845 ms of which 1 ms to minimize.
[2021-05-17 21:11:18] [INFO ] Deduced a trap composed of 50 places in 847 ms of which 1 ms to minimize.
[2021-05-17 21:11:18] [INFO ] Deduced a trap composed of 26 places in 649 ms of which 1 ms to minimize.
[2021-05-17 21:11:19] [INFO ] Deduced a trap composed of 29 places in 648 ms of which 2 ms to minimize.
[2021-05-17 21:11:20] [INFO ] Deduced a trap composed of 27 places in 703 ms of which 1 ms to minimize.
[2021-05-17 21:11:21] [INFO ] Deduced a trap composed of 27 places in 881 ms of which 1 ms to minimize.
[2021-05-17 21:11:21] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 9
[2021-05-17 21:11:21] [INFO ] [Real]Absence check using 201 positive place invariants in 150 ms returned sat
[2021-05-17 21:11:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 21:11:23] [INFO ] [Real]Absence check using state equation in 1598 ms returned sat
[2021-05-17 21:11:24] [INFO ] Deduced a trap composed of 24 places in 842 ms of which 1 ms to minimize.
[2021-05-17 21:11:25] [INFO ] Deduced a trap composed of 27 places in 836 ms of which 2 ms to minimize.
[2021-05-17 21:11:26] [INFO ] Deduced a trap composed of 25 places in 1045 ms of which 1 ms to minimize.
[2021-05-17 21:11:27] [INFO ] Deduced a trap composed of 25 places in 983 ms of which 2 ms to minimize.
[2021-05-17 21:11:28] [INFO ] Deduced a trap composed of 24 places in 888 ms of which 2 ms to minimize.
[2021-05-17 21:11:29] [INFO ] Deduced a trap composed of 36 places in 856 ms of which 1 ms to minimize.
[2021-05-17 21:11:30] [INFO ] Deduced a trap composed of 45 places in 981 ms of which 1 ms to minimize.
[2021-05-17 21:11:31] [INFO ] Deduced a trap composed of 39 places in 806 ms of which 1 ms to minimize.
[2021-05-17 21:11:32] [INFO ] Deduced a trap composed of 26 places in 917 ms of which 2 ms to minimize.
[2021-05-17 21:11:33] [INFO ] Deduced a trap composed of 22 places in 842 ms of which 2 ms to minimize.
[2021-05-17 21:11:34] [INFO ] Deduced a trap composed of 51 places in 915 ms of which 2 ms to minimize.
[2021-05-17 21:11:35] [INFO ] Deduced a trap composed of 29 places in 906 ms of which 1 ms to minimize.
[2021-05-17 21:11:36] [INFO ] Deduced a trap composed of 21 places in 904 ms of which 1 ms to minimize.
[2021-05-17 21:11:37] [INFO ] Deduced a trap composed of 23 places in 910 ms of which 1 ms to minimize.
[2021-05-17 21:11:38] [INFO ] Deduced a trap composed of 38 places in 796 ms of which 2 ms to minimize.
[2021-05-17 21:11:39] [INFO ] Deduced a trap composed of 31 places in 789 ms of which 2 ms to minimize.
[2021-05-17 21:11:40] [INFO ] Deduced a trap composed of 32 places in 874 ms of which 1 ms to minimize.
[2021-05-17 21:11:41] [INFO ] Deduced a trap composed of 39 places in 622 ms of which 2 ms to minimize.
[2021-05-17 21:11:42] [INFO ] Deduced a trap composed of 32 places in 724 ms of which 2 ms to minimize.
[2021-05-17 21:11:42] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 10
[2021-05-17 21:11:42] [INFO ] [Real]Absence check using 201 positive place invariants in 180 ms returned sat
[2021-05-17 21:11:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-17 21:11:44] [INFO ] [Real]Absence check using state equation in 1598 ms returned sat
[2021-05-17 21:11:44] [INFO ] Solution in real domain found non-integer solution.
[2021-05-17 21:11:44] [INFO ] [Nat]Absence check using 201 positive place invariants in 162 ms returned sat
[2021-05-17 21:11:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-17 21:11:46] [INFO ] [Nat]Absence check using state equation in 1619 ms returned sat
[2021-05-17 21:11:47] [INFO ] Deduced a trap composed of 32 places in 1355 ms of which 3 ms to minimize.
[2021-05-17 21:11:49] [INFO ] Deduced a trap composed of 29 places in 1299 ms of which 2 ms to minimize.
[2021-05-17 21:11:50] [INFO ] Deduced a trap composed of 41 places in 1179 ms of which 3 ms to minimize.
[2021-05-17 21:11:51] [INFO ] Deduced a trap composed of 25 places in 1256 ms of which 2 ms to minimize.
[2021-05-17 21:11:53] [INFO ] Deduced a trap composed of 26 places in 1123 ms of which 1 ms to minimize.
[2021-05-17 21:11:54] [INFO ] Deduced a trap composed of 28 places in 1177 ms of which 2 ms to minimize.
[2021-05-17 21:11:55] [INFO ] Deduced a trap composed of 35 places in 1061 ms of which 2 ms to minimize.
[2021-05-17 21:11:56] [INFO ] Deduced a trap composed of 43 places in 845 ms of which 1 ms to minimize.
[2021-05-17 21:11:57] [INFO ] Deduced a trap composed of 27 places in 954 ms of which 2 ms to minimize.
[2021-05-17 21:11:58] [INFO ] Deduced a trap composed of 42 places in 904 ms of which 1 ms to minimize.
[2021-05-17 21:11:59] [INFO ] Deduced a trap composed of 47 places in 889 ms of which 2 ms to minimize.
[2021-05-17 21:12:00] [INFO ] Deduced a trap composed of 54 places in 942 ms of which 2 ms to minimize.
[2021-05-17 21:12:01] [INFO ] Deduced a trap composed of 30 places in 720 ms of which 1 ms to minimize.
[2021-05-17 21:12:02] [INFO ] Deduced a trap composed of 34 places in 1052 ms of which 2 ms to minimize.
[2021-05-17 21:12:03] [INFO ] Deduced a trap composed of 47 places in 784 ms of which 1 ms to minimize.
[2021-05-17 21:12:04] [INFO ] Deduced a trap composed of 42 places in 835 ms of which 2 ms to minimize.
[2021-05-17 21:12:04] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 11
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 573 transitions
Trivial Post-agglo rules discarded 573 transitions
Performed 573 trivial Post agglomeration. Transition count delta: 573
Iterating post reduction 0 with 573 rules applied. Total rules applied 573 place count 2126 transition count 1553
Reduce places removed 573 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 1 with 575 rules applied. Total rules applied 1148 place count 1553 transition count 1551
Reduce places removed 1 places and 0 transitions.
Performed 15 Post agglomeration using F-continuation condition.Transition count delta: 15
Iterating post reduction 2 with 16 rules applied. Total rules applied 1164 place count 1552 transition count 1536
Reduce places removed 15 places and 0 transitions.
Iterating post reduction 3 with 15 rules applied. Total rules applied 1179 place count 1537 transition count 1536
Performed 303 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 303 Pre rules applied. Total rules applied 1179 place count 1537 transition count 1233
Deduced a syphon composed of 303 places in 14 ms
Reduce places removed 303 places and 0 transitions.
Iterating global reduction 4 with 606 rules applied. Total rules applied 1785 place count 1234 transition count 1233
Discarding 116 places :
Symmetric choice reduction at 4 with 116 rule applications. Total rules 1901 place count 1118 transition count 1117
Iterating global reduction 4 with 116 rules applied. Total rules applied 2017 place count 1118 transition count 1117
Performed 71 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 71 Pre rules applied. Total rules applied 2017 place count 1118 transition count 1046
Deduced a syphon composed of 71 places in 4 ms
Reduce places removed 71 places and 0 transitions.
Iterating global reduction 4 with 142 rules applied. Total rules applied 2159 place count 1047 transition count 1046
Performed 429 Post agglomeration using F-continuation condition.Transition count delta: 429
Deduced a syphon composed of 429 places in 5 ms
Reduce places removed 429 places and 0 transitions.
Iterating global reduction 4 with 858 rules applied. Total rules applied 3017 place count 618 transition count 617
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: -89
Deduced a syphon composed of 101 places in 1 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 4 with 202 rules applied. Total rules applied 3219 place count 517 transition count 706
Performed 29 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 29 places in 1 ms
Reduce places removed 29 places and 0 transitions.
Iterating global reduction 4 with 58 rules applied. Total rules applied 3277 place count 488 transition count 728
Partial Post-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 4 with 2 rules applied. Total rules applied 3279 place count 488 transition count 728
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 4 with 1 rules applied. Total rules applied 3280 place count 487 transition count 727
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 3281 place count 486 transition count 727
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 1 rules applied. Total rules applied 3282 place count 485 transition count 726
Applied a total of 3282 rules in 1366 ms. Remains 485 /2127 variables (removed 1642) and now considering 726/2127 (removed 1401) transitions.
[2021-05-17 21:12:05] [INFO ] Flatten gal took : 56 ms
[2021-05-17 21:12:06] [INFO ] Flatten gal took : 53 ms
[2021-05-17 21:12:06] [INFO ] Input system was already deterministic with 726 transitions.
[2021-05-17 21:12:06] [INFO ] Flatten gal took : 44 ms
[2021-05-17 21:12:06] [INFO ] Flatten gal took : 39 ms
[2021-05-17 21:12:06] [INFO ] Time to serialize gal into /tmp/CTLFireability8992911165152590689.gal : 34 ms
[2021-05-17 21:12:06] [INFO ] Time to serialize properties into /tmp/CTLFireability15472076746527345419.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/CTLFireability8992911165152590689.gal, -t, CGAL, -ctl, /tmp/CTLFireability15472076746527345419.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/CTLFireability8992911165152590689.gal -t CGAL -ctl /tmp/CTLFireability15472076746527345419.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 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,3.7405e+70,1.0054,22784,2,1974,5,74581,6,0,2666,86296,0
Converting to forward existential form...Done !
original formula: A(EF((((p16==1) * (((((((((p1163==0)&&(p642==0))&&(p645==0))&&(p2335==0))&&(p124==0))&&((p50==0)||(p83==0)))&&(((p605==0)||(p611==0))||(p627==0)))||((((((((p1996==0)&&(p572==0))&&(p938==0))&&(p214==0))&&(p1469==0))&&(p1115==0))&&(p169==0))&&(p1861==0))) + (EF((((p826==1)||(p202==1))||(p2002==1))) * EF((((p2123==1)||(p119==1))||(p929==1)))))) * (((E((((((((p255==1)||(p2366==1))||(p2396==1))||(p130==1))||(p820==1))||(p1877==1))||(p1560==1)) U ((((p2028==1)||(p1649==1))||(p964==1))&&(((p2095==1)||(p2133==1))||(p1959==1)))) + (p586==1)) + (p1163==1)) + (p251==1)))) U (((((((p715==1)||(p1827==1))||(p759==1))||(p238==1))||(p330==1))||(((p654==1)&&(p660==1))&&(p676==1)))||(((p1188==1)&&(p1242==1))&&(p1276==1))))
=> equivalent forward existential formula: [((Init * !(EG(!((((((((p715==1)||(p1827==1))||(p759==1))||(p238==1))||(p330==1))||(((p654==1)&&(p660==1))&&(p676==1)))||(((p1188==1)&&(p1242==1))&&(p1276==1))))))) * !(E(!((((((((p715==1)||(p1827==1))||(p759==1))||(p238==1))||(p330==1))||(((p654==1)&&(p660==1))&&(p676==1)))||(((p1188==1)&&(p1242==1))&&(p1276==1)))) U (!(E(TRUE U (((p16==1) * (((((((((p1163==0)&&(p642==0))&&(p645==0))&&(p2335==0))&&(p124==0))&&((p50==0)||(p83==0)))&&(((p605==0)||(p611==0))||(p627==0)))||((((((((p1996==0)&&(p572==0))&&(p938==0))&&(p214==0))&&(p1469==0))&&(p1115==0))&&(p169==0))&&(p1861==0))) + (E(TRUE U (((p826==1)||(p202==1))||(p2002==1))) * E(TRUE U (((p2123==1)||(p119==1))||(p929==1)))))) * (((E((((((((p255==1)||(p2366==1))||(p2396==1))||(p130==1))||(p820==1))||(p1877==1))||(p1560==1)) U ((((p2028==1)||(p1649==1))||(p964==1))&&(((p2095==1)||(p2133==1))||(p1959==1)))) + (p586==1)) + (p1163==1)) + (p251==1))))) * !((((((((p715==1)||(p1827==1))||(p759==1))||(p238==1))||(p330==1))||(((p654==1)&&(p660==1))&&(p676==1)))||(((p1188==1)&&(p1242==1))&&(p1276==1))))))))] != FALSE
Reverse transition relation is NOT exact ! Due to transitions t4, t5, t6, t8, t9, t10, t16, t18, t19, t29, t30, t32, t33, t36, t38, t42, t44, t45, t47, t49, t69, t81, t86, t91, t92, t93, t95, t96, t98, t101, t103, t105, t107, t109, t111, t113, t115, t117, t119, t121, t123, t126, t129, t130, t132, t134, t136, t138, t139, t142, t144, t146, t148, t150, t151, t154, t156, t157, t159, t161, t164, t166, t169, t171, t173, t175, t177, t207, t214, t223, t231, t235, t239, t243, t247, t250, t251, t255, t263, t266, t271, t273, t279, t282, t286, t291, t295, t299, t301, t305, t319, t323, t327, t331, t335, t339, t343, t345, t349, t355, t359, t360, t361, t362, t363, t367, t375, t379, t380, t381, t382, t383, t387, t395, t399, t403, t407, t411, t415, t419, t423, t427, t431, t437, t447, t451, t455, t459, t463, t467, t471, t473, t477, t483, t487, t491, t495, t499, t503, t507, t515, t519, t523, t527, t531, t535, t539, t542, t544, t545, t546, t547, t549, t557, t563, t567, t571, t575, t579, t583, t587, t591, t595, t607, t615, t628, t629, t630, t631, t725, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/556/170/726
Detected timeout of ITS tools.
[2021-05-17 21:12:36] [INFO ] Flatten gal took : 65 ms
[2021-05-17 21:12:36] [INFO ] Applying decomposition
[2021-05-17 21:12:36] [INFO ] Flatten gal took : 56 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/graph7802397011297988193.txt, -o, /tmp/graph7802397011297988193.bin, -w, /tmp/graph7802397011297988193.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/graph7802397011297988193.bin, -l, -1, -v, -w, /tmp/graph7802397011297988193.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-17 21:12:36] [INFO ] Decomposing Gal with order
[2021-05-17 21:12:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-17 21:12:37] [INFO ] Removed a total of 1126 redundant transitions.
[2021-05-17 21:12:37] [INFO ] Flatten gal took : 210 ms
[2021-05-17 21:12:37] [INFO ] Fuse similar labels procedure discarded/fused a total of 570 labels/synchronizations in 99 ms.
[2021-05-17 21:12:37] [INFO ] Time to serialize gal into /tmp/CTLFireability9863308854423967216.gal : 18 ms
[2021-05-17 21:12:37] [INFO ] Time to serialize properties into /tmp/CTLFireability13775379254186822317.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/CTLFireability9863308854423967216.gal, -t, CGAL, -ctl, /tmp/CTLFireability13775379254186822317.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability9863308854423967216.gal -t CGAL -ctl /tmp/CTLFireability13775379254186822317.ctl
No direction supplied, using forward translation only.
Parsed 1 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,3.7405e+70,0.8579,27152,525,64,45795,625,1030,97624,143,2750,0
Converting to forward existential form...Done !
original formula: A(EF((((i9.i0.u0.p16==1) * (((((((((i6.i0.u94.p1163==0)&&(i3.i1.u51.p642==0))&&(i3.i1.u52.p645==0))&&(i12.i2.u180.p2335==0))&&(i0.i1.u8.p124==0))&&((i0.i0.u1.p50==0)||(i0.i0.u4.p83==0)))&&(((i3.i0.u47.p605==0)||(i3.i0.u48.p611==0))||(i3.i0.u49.p627==0)))||((((((((i10.i2.u157.p1996==0)&&(i2.i1.u44.p572==0))&&(i5.i0.u77.p938==0))&&(i0.i2.u15.p214==0))&&(i7.i2.u119.p1469==0))&&(i5.i2.u91.p1115==0))&&(i0.i2.u11.p169==0))&&(i9.i1.u149.p1861==0))) + (EF((((i4.i1.u67.p826==1)||(i0.i2.u14.p202==1))||(i10.i2.u158.p2002==1))) * EF((((i12.i0.u166.p2123==1)||(i0.i1.u7.p119==1))||(i4.i3.u76.p929==1)))))) * (((E((((((((i1.u20.p255==1)||(i13.u182.p2366==1))||(i13.u183.p2396==1))||(i0.i0.u9.p130==1))||(i4.i0.u66.p820==1))||(i10.i1.u150.p1877==1))||(i8.i1.u127.p1560==1)) U ((((i11.u159.p2028==1)||(i8.i2.u134.p1649==1))||(i5.i0.u80.p964==1))&&(((i11.u164.p2095==1)||(i12.i0.u167.p2133==1))||(i10.i0.u155.p1959==1)))) + (i2.i2.u46.p586==1)) + (i6.i0.u94.p1163==1)) + (i1.u19.p251==1)))) U (((((((i3.i2.u58.p715==1)||(i9.i1.u147.p1827==1))||(i4.i0.u62.p759==1))||(i0.i2.u18.p238==1))||(i1.u24.p330==1))||(((i3.i1.u52.p654==1)&&(i3.i1.u53.p660==1))&&(i3.i1.u54.p676==1)))||(((i6.i0.u96.p1188==1)&&(i6.i1.u100.p1242==1))&&(i6.i1.u103.p1276==1))))
=> equivalent forward existential formula: [((Init * !(EG(!((((((((i3.i2.u58.p715==1)||(i9.i1.u147.p1827==1))||(i4.i0.u62.p759==1))||(i0.i2.u18.p238==1))||(i1.u24.p330==1))||(((i3.i1.u52.p654==1)&&(i3.i1.u53.p660==1))&&(i3.i1.u54.p676==1)))||(((i6.i0.u96.p1188==1)&&(i6.i1.u100.p1242==1))&&(i6.i1.u103.p1276==1))))))) * !(E(!((((((((i3.i2.u58.p715==1)||(i9.i1.u147.p1827==1))||(i4.i0.u62.p759==1))||(i0.i2.u18.p238==1))||(i1.u24.p330==1))||(((i3.i1.u52.p654==1)&&(i3.i1.u53.p660==1))&&(i3.i1.u54.p676==1)))||(((i6.i0.u96.p1188==1)&&(i6.i1.u100.p1242==1))&&(i6.i1.u103.p1276==1)))) U (!(E(TRUE U (((i9.i0.u0.p16==1) * (((((((((i6.i0.u94.p1163==0)&&(i3.i1.u51.p642==0))&&(i3.i1.u52.p645==0))&&(i12.i2.u180.p2335==0))&&(i0.i1.u8.p124==0))&&((i0.i0.u1.p50==0)||(i0.i0.u4.p83==0)))&&(((i3.i0.u47.p605==0)||(i3.i0.u48.p611==0))||(i3.i0.u49.p627==0)))||((((((((i10.i2.u157.p1996==0)&&(i2.i1.u44.p572==0))&&(i5.i0.u77.p938==0))&&(i0.i2.u15.p214==0))&&(i7.i2.u119.p1469==0))&&(i5.i2.u91.p1115==0))&&(i0.i2.u11.p169==0))&&(i9.i1.u149.p1861==0))) + (E(TRUE U (((i4.i1.u67.p826==1)||(i0.i2.u14.p202==1))||(i10.i2.u158.p2002==1))) * E(TRUE U (((i12.i0.u166.p2123==1)||(i0.i1.u7.p119==1))||(i4.i3.u76.p929==1)))))) * (((E((((((((i1.u20.p255==1)||(i13.u182.p2366==1))||(i13.u183.p2396==1))||(i0.i0.u9.p130==1))||(i4.i0.u66.p820==1))||(i10.i1.u150.p1877==1))||(i8.i1.u127.p1560==1)) U ((((i11.u159.p2028==1)||(i8.i2.u134.p1649==1))||(i5.i0.u80.p964==1))&&(((i11.u164.p2095==1)||(i12.i0.u167.p2133==1))||(i10.i0.u155.p1959==1)))) + (i2.i2.u46.p586==1)) + (i6.i0.u94.p1163==1)) + (i1.u19.p251==1))))) * !((((((((i3.i2.u58.p715==1)||(i9.i1.u147.p1827==1))||(i4.i0.u62.p759==1))||(i0.i2.u18.p238==1))||(i1.u24.p330==1))||(((i3.i1.u52.p654==1)&&(i3.i1.u53.p660==1))&&(i3.i1.u54.p676==1)))||(((i6.i0.u96.p1188==1)&&(i6.i1.u100.p1242==1))&&(i6.i1.u103.p1276==1))))))))] != FALSE
Reverse transition relation is NOT exact ! Due to transitions t245, t251, t274, t281, t316, t353, t360, t393, t444, t469, t479, t514, t565, t630, i0.t223, i0.i0.t86, i0.i0.t205, i0.i0.t215, i0.i0.u1.t38, i0.i0.u9.t33, i0.i1.u7.t36, i0.i2.t91, i0.i2.t92, i0.i2.t95, i0.i2.t229, i0.i2.t233, i0.i2.t239, i0.i2.t243, i0.i2.u11.t32, i0.i2.u18.t93, i1.t269, i1.t264, i1.t261, i1.t253, i1.t102, i1.t96, i1.u20.t30, i1.u22.t98, i1.u24.t42, i1.u25.t101, i2.t304, i2.t297, i2.i0.t104, i2.i0.t107, i2.i0.t276, i2.i0.t284, i2.i0.t288, i2.i0.t293, i2.i1.t109, i2.i1.t303, i2.i1.u44.t29, i2.i2.t110, i2.i2.u45.t81, i3.t348, i3.t343, i3.t339, i3.t330, i3.i0.t323, i3.i0.t326, i3.i0.u50.t113, i3.i1.t115, i3.i1.t333, i3.i1.u52.t44, i3.i1.u55.t117, i3.i2.t45, i3.i2.t119, i3.i2.t345, i4.t381, i4.t357, i4.i0.t66, i4.i0.t365, i4.i0.u66.t19, i4.i1.t372, i4.i1.u67.t18, i4.i1.u67.t121, i4.i2.t124, i4.i2.t378, i4.i2.t385, i4.i3.t125, i4.i3.u75.t69, i5.t424, i5.t417, i5.t413, i5.t406, i5.i0.t128, i5.i0.t130, i5.i0.t396, i5.i0.t401, i5.i0.u80.t16, i5.i1.t132, i5.i1.t408, i5.i2.t134, i5.i2.t420, i5.i2.t428, i5.i2.t438, i5.i2.u91.t138, i5.i2.u92.t136, i6.t464, i6.t456, i6.i0.t141, i6.i0.t449, i6.i0.t452, i6.i0.u94.t47, i6.i0.u95.t139, i6.i1.t144, i6.i1.t461, i7.t502, i7.t493, i7.i0.t145, i7.i0.t147, i7.i0.t473, i7.i0.t483, i7.i0.t486, i7.i0.t490, i7.i1.t149, i7.i1.t499, i7.i1.t507, i7.i2.t151, i7.i2.u119.t49, i8.t544, i8.t538, i8.t532, i8.t524, i8.i0.t154, i8.i0.t519, i8.i0.t522, i8.i1.t155, i8.i1.t157, i8.i1.t529, i8.i2.t158, i8.i2.t540, i8.i2.t548, i8.i2.t558, i8.i2.u134.t10, i8.i2.u135.t161, i9.t591, i9.t581, i9.i0.t163, i9.i0.t166, i9.i0.t561, i9.i0.t570, i9.i0.t572, i9.i0.t576, i9.i1.t169, i9.i1.t584, i9.i1.t593, i9.i1.u147.t9, i9.i1.u149.t8, i9.i1.u149.t171, i10.t613, i10.i0.t177, i10.i0.u155.t6, i10.i1.t605, i10.i1.u150.t173, i10.i1.u151.t175, i10.i2.u157.t5, i10.i2.u158.t4, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/170/157/327
Detected timeout of ITS tools.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 617 transitions
Trivial Post-agglo rules discarded 617 transitions
Performed 617 trivial Post agglomeration. Transition count delta: 617
Iterating post reduction 0 with 617 rules applied. Total rules applied 617 place count 2126 transition count 1509
Reduce places removed 617 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 1 with 619 rules applied. Total rules applied 1236 place count 1509 transition count 1507
Reduce places removed 1 places and 0 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 2 with 5 rules applied. Total rules applied 1241 place count 1508 transition count 1503
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 3 with 4 rules applied. Total rules applied 1245 place count 1504 transition count 1503
Performed 308 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 308 Pre rules applied. Total rules applied 1245 place count 1504 transition count 1195
Deduced a syphon composed of 308 places in 4 ms
Reduce places removed 308 places and 0 transitions.
Iterating global reduction 4 with 616 rules applied. Total rules applied 1861 place count 1196 transition count 1195
Discarding 121 places :
Symmetric choice reduction at 4 with 121 rule applications. Total rules 1982 place count 1075 transition count 1074
Iterating global reduction 4 with 121 rules applied. Total rules applied 2103 place count 1075 transition count 1074
Performed 78 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 78 Pre rules applied. Total rules applied 2103 place count 1075 transition count 996
Deduced a syphon composed of 78 places in 3 ms
Reduce places removed 78 places and 0 transitions.
Iterating global reduction 4 with 156 rules applied. Total rules applied 2259 place count 997 transition count 996
Performed 437 Post agglomeration using F-continuation condition.Transition count delta: 437
Deduced a syphon composed of 437 places in 1 ms
Reduce places removed 437 places and 0 transitions.
Iterating global reduction 4 with 874 rules applied. Total rules applied 3133 place count 560 transition count 559
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: -100
Deduced a syphon composed of 101 places in 0 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 4 with 202 rules applied. Total rules applied 3335 place count 459 transition count 659
Performed 46 Post agglomeration using F-continuation condition.Transition count delta: -44
Deduced a syphon composed of 46 places in 0 ms
Reduce places removed 46 places and 0 transitions.
Iterating global reduction 4 with 92 rules applied. Total rules applied 3427 place count 413 transition count 703
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 4 with 1 rules applied. Total rules applied 3428 place count 412 transition count 702
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 3429 place count 411 transition count 702
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 1 rules applied. Total rules applied 3430 place count 410 transition count 701
Applied a total of 3430 rules in 1050 ms. Remains 410 /2127 variables (removed 1717) and now considering 701/2127 (removed 1426) transitions.
[2021-05-17 21:13:08] [INFO ] Flatten gal took : 34 ms
[2021-05-17 21:13:08] [INFO ] Flatten gal took : 39 ms
[2021-05-17 21:13:08] [INFO ] Input system was already deterministic with 701 transitions.
[2021-05-17 21:13:08] [INFO ] Flatten gal took : 38 ms
[2021-05-17 21:13:09] [INFO ] Flatten gal took : 38 ms
[2021-05-17 21:13:09] [INFO ] Time to serialize gal into /tmp/CTLFireability1292205718460653217.gal : 5 ms
[2021-05-17 21:13:09] [INFO ] Time to serialize properties into /tmp/CTLFireability13882756951581225505.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/CTLFireability1292205718460653217.gal, -t, CGAL, -ctl, /tmp/CTLFireability13882756951581225505.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/CTLFireability1292205718460653217.gal -t CGAL -ctl /tmp/CTLFireability13882756951581225505.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 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.9685e+61,0.623785,14804,2,787,5,41086,6,0,2342,43346,0
Converting to forward existential form...Done !
original formula: EF(AG((((((p2176==1)||(p390==1))||(p41==1))||(p155==1))||(p2366==1))))
=> equivalent forward existential formula: [(FwdU(Init,TRUE) * !(E(TRUE U !((((((p2176==1)||(p390==1))||(p41==1))||(p155==1))||(p2366==1))))))] != FALSE
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
(forward)formula 0,0,1.45185,26740,1,0,7,136952,15,1,13751,43346,5
FORMULA ShieldRVt-PT-050B-CTLFireability-06 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 602 transitions
Trivial Post-agglo rules discarded 602 transitions
Performed 602 trivial Post agglomeration. Transition count delta: 602
Iterating post reduction 0 with 602 rules applied. Total rules applied 602 place count 2126 transition count 1524
Reduce places removed 602 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 1 with 604 rules applied. Total rules applied 1206 place count 1524 transition count 1522
Reduce places removed 1 places and 0 transitions.
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Iterating post reduction 2 with 8 rules applied. Total rules applied 1214 place count 1523 transition count 1515
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 3 with 7 rules applied. Total rules applied 1221 place count 1516 transition count 1515
Performed 302 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 302 Pre rules applied. Total rules applied 1221 place count 1516 transition count 1213
Deduced a syphon composed of 302 places in 2 ms
Reduce places removed 302 places and 0 transitions.
Iterating global reduction 4 with 604 rules applied. Total rules applied 1825 place count 1214 transition count 1213
Discarding 118 places :
Symmetric choice reduction at 4 with 118 rule applications. Total rules 1943 place count 1096 transition count 1095
Iterating global reduction 4 with 118 rules applied. Total rules applied 2061 place count 1096 transition count 1095
Performed 73 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 73 Pre rules applied. Total rules applied 2061 place count 1096 transition count 1022
Deduced a syphon composed of 73 places in 2 ms
Reduce places removed 73 places and 0 transitions.
Iterating global reduction 4 with 146 rules applied. Total rules applied 2207 place count 1023 transition count 1022
Performed 439 Post agglomeration using F-continuation condition.Transition count delta: 439
Deduced a syphon composed of 439 places in 1 ms
Reduce places removed 439 places and 0 transitions.
Iterating global reduction 4 with 878 rules applied. Total rules applied 3085 place count 584 transition count 583
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: -97
Deduced a syphon composed of 101 places in 1 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 4 with 202 rules applied. Total rules applied 3287 place count 483 transition count 680
Performed 42 Post agglomeration using F-continuation condition.Transition count delta: -38
Deduced a syphon composed of 42 places in 0 ms
Reduce places removed 42 places and 0 transitions.
Iterating global reduction 4 with 84 rules applied. Total rules applied 3371 place count 441 transition count 718
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 4 with 1 rules applied. Total rules applied 3372 place count 441 transition count 718
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 4 with 1 rules applied. Total rules applied 3373 place count 440 transition count 717
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 3374 place count 439 transition count 717
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 1 rules applied. Total rules applied 3375 place count 438 transition count 716
Applied a total of 3375 rules in 486 ms. Remains 438 /2127 variables (removed 1689) and now considering 716/2127 (removed 1411) transitions.
[2021-05-17 21:13:11] [INFO ] Flatten gal took : 52 ms
[2021-05-17 21:13:11] [INFO ] Flatten gal took : 58 ms
[2021-05-17 21:13:11] [INFO ] Input system was already deterministic with 716 transitions.
[2021-05-17 21:13:11] [INFO ] Flatten gal took : 55 ms
[2021-05-17 21:13:11] [INFO ] Flatten gal took : 56 ms
[2021-05-17 21:13:11] [INFO ] Time to serialize gal into /tmp/CTLFireability13147117214540374556.gal : 7 ms
[2021-05-17 21:13:11] [INFO ] Time to serialize properties into /tmp/CTLFireability7889817449369706829.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/CTLFireability13147117214540374556.gal, -t, CGAL, -ctl, /tmp/CTLFireability7889817449369706829.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/CTLFireability13147117214540374556.gal -t CGAL -ctl /tmp/CTLFireability7889817449369706829.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 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.02503e+65,0.80468,12644,2,1087,5,29880,6,0,2464,31408,0
Converting to forward existential form...Done !
original formula: EF((((((((((((((p1365==1)||(p2077==1))||(p1067==1)) + !(EF(!(AF((((((((p2371==1)||(((p2369==1)&&(p2375==1))&&(p2391==1)))||(p1752==1))||(p1490==1))||(p912==1))||(p1687==1))||(p1828==1))))))) + (p195==1)) + (p2094==1)) + (p862==1)) + (p1225==1)) + (p2155==1)) + (p2034==1)) + (p1069==1)) + (p2096==1)) + (((p894==1)&&(p948==1))&&(p982==1))))
=> equivalent forward existential formula: (((((((((([(FwdU(Init,TRUE) * (((p1365==1)||(p2077==1))||(p1067==1)))] != FALSE + [(FwdU(Init,TRUE) * !(E(TRUE U !(!(EG(!((((((((p2371==1)||(((p2369==1)&&(p2375==1))&&(p2391==1)))||(p1752==1))||(p1490==1))||(p912==1))||(p1687==1))||(p1828==1)))))))))] != FALSE) + [(FwdU(Init,TRUE) * (p195==1))] != FALSE) + [(FwdU(Init,TRUE) * (p2094==1))] != FALSE) + [(FwdU(Init,TRUE) * (p862==1))] != FALSE) + [(FwdU(Init,TRUE) * (p1225==1))] != FALSE) + [(FwdU(Init,TRUE) * (p2155==1))] != FALSE) + [(FwdU(Init,TRUE) * (p2034==1))] != FALSE) + [(FwdU(Init,TRUE) * (p1069==1))] != FALSE) + [(FwdU(Init,TRUE) * (p2096==1))] != FALSE) + [(FwdU(Init,TRUE) * (((p894==1)&&(p948==1))&&(p982==1)))] != FALSE)
(forward)formula 0,1,0.810162,13088,1,0,7,29880,8,1,2473,31408,1
FORMULA ShieldRVt-PT-050B-CTLFireability-10 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is TRUE !
***************************************
ITS tools runner thread asked to quit. Dying gracefully.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 580 transitions
Trivial Post-agglo rules discarded 580 transitions
Performed 580 trivial Post agglomeration. Transition count delta: 580
Iterating post reduction 0 with 580 rules applied. Total rules applied 580 place count 2126 transition count 1546
Reduce places removed 580 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 1 with 582 rules applied. Total rules applied 1162 place count 1546 transition count 1544
Reduce places removed 1 places and 0 transitions.
Performed 11 Post agglomeration using F-continuation condition.Transition count delta: 11
Iterating post reduction 2 with 12 rules applied. Total rules applied 1174 place count 1545 transition count 1533
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 3 with 11 rules applied. Total rules applied 1185 place count 1534 transition count 1533
Performed 300 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 300 Pre rules applied. Total rules applied 1185 place count 1534 transition count 1233
Deduced a syphon composed of 300 places in 3 ms
Reduce places removed 300 places and 0 transitions.
Iterating global reduction 4 with 600 rules applied. Total rules applied 1785 place count 1234 transition count 1233
Discarding 107 places :
Symmetric choice reduction at 4 with 107 rule applications. Total rules 1892 place count 1127 transition count 1126
Iterating global reduction 4 with 107 rules applied. Total rules applied 1999 place count 1127 transition count 1126
Performed 64 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 64 Pre rules applied. Total rules applied 1999 place count 1127 transition count 1062
Deduced a syphon composed of 64 places in 2 ms
Reduce places removed 64 places and 0 transitions.
Iterating global reduction 4 with 128 rules applied. Total rules applied 2127 place count 1063 transition count 1062
Performed 432 Post agglomeration using F-continuation condition.Transition count delta: 432
Deduced a syphon composed of 432 places in 1 ms
Reduce places removed 432 places and 0 transitions.
Iterating global reduction 4 with 864 rules applied. Total rules applied 2991 place count 631 transition count 630
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: -83
Deduced a syphon composed of 101 places in 0 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 4 with 202 rules applied. Total rules applied 3193 place count 530 transition count 713
Performed 35 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 35 places in 0 ms
Reduce places removed 35 places and 0 transitions.
Iterating global reduction 4 with 70 rules applied. Total rules applied 3263 place count 495 transition count 746
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 4 with 1 rules applied. Total rules applied 3264 place count 495 transition count 746
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 4 with 1 rules applied. Total rules applied 3265 place count 494 transition count 745
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 4 with 1 rules applied. Total rules applied 3266 place count 493 transition count 744
Applied a total of 3266 rules in 428 ms. Remains 493 /2127 variables (removed 1634) and now considering 744/2127 (removed 1383) transitions.
[2021-05-17 21:13:12] [INFO ] Flatten gal took : 33 ms
[2021-05-17 21:13:12] [INFO ] Flatten gal took : 37 ms
[2021-05-17 21:13:12] [INFO ] Input system was already deterministic with 744 transitions.
[2021-05-17 21:13:12] [INFO ] Flatten gal took : 56 ms
[2021-05-17 21:13:12] [INFO ] Flatten gal took : 59 ms
[2021-05-17 21:13:12] [INFO ] Time to serialize gal into /tmp/CTLFireability14308994127185616641.gal : 7 ms
[2021-05-17 21:13:12] [INFO ] Time to serialize properties into /tmp/CTLFireability17879745270488899964.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/CTLFireability14308994127185616641.gal, -t, CGAL, -ctl, /tmp/CTLFireability17879745270488899964.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/CTLFireability14308994127185616641.gal -t CGAL -ctl /tmp/CTLFireability17879745270488899964.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 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,2.74395e+71,1.05244,22128,2,2574,5,71152,6,0,2712,82840,0
Converting to forward existential form...Done !
original formula: EF(AG(((((((((EG((((p1153==1)||(p2142==1))||(p2073==1))) * (p2163==0)) * (p1430==0)) * (p1728==0)) * E(((((((((p260==1)||(p1092==1))||(p749==1))||(p367==1))||(p1368==1))||(p1230==1))||(p2441==1))||(p283==1)) U (((p435==1)||(p91==1))||(p1517==1)))) * (((p2266==0)||(p2320==0))||(p2354==0))) * ((((p1153==1)||(p617==1))||(p2201==1))||(p871==1))) * ((!(E(((((((((((p1005==1)||(p67==1))||(((p948==1)&&(p954==1))&&(p970==1)))||(p1018==1))||(p417==1))||(p155==1))||(p233==1))||(p1391==1))||(p2457==1))||(p298==1)) U ((((((p423==1)||(p337==1))||(p687==1))||(p684==1))||(p663==1))||(p519==1)))) + ((((((p2031==0)&&(p895==0))&&(p1126==0))&&(p2038==0))&&(p1228==0))&&(((p110==0)||(p164==0))||(p198==0)))) + ((p799==0)&&(p610==0)))) * (((((((p765==1)||(p515==1))||(p17==1))||(p1138==1))||(p36==1))||(p711==1))||(p473==1)))))
=> equivalent forward existential formula: [(FwdU(Init,TRUE) * !(E(TRUE U !(((((((((EG((((p1153==1)||(p2142==1))||(p2073==1))) * (p2163==0)) * (p1430==0)) * (p1728==0)) * E(((((((((p260==1)||(p1092==1))||(p749==1))||(p367==1))||(p1368==1))||(p1230==1))||(p2441==1))||(p283==1)) U (((p435==1)||(p91==1))||(p1517==1)))) * (((p2266==0)||(p2320==0))||(p2354==0))) * ((((p1153==1)||(p617==1))||(p2201==1))||(p871==1))) * ((!(E(((((((((((p1005==1)||(p67==1))||(((p948==1)&&(p954==1))&&(p970==1)))||(p1018==1))||(p417==1))||(p155==1))||(p233==1))||(p1391==1))||(p2457==1))||(p298==1)) U ((((((p423==1)||(p337==1))||(p687==1))||(p684==1))||(p663==1))||(p519==1)))) + ((((((p2031==0)&&(p895==0))&&(p1126==0))&&(p2038==0))&&(p1228==0))&&(((p110==0)||(p164==0))||(p198==0)))) + ((p799==0)&&(p610==0)))) * (((((((p765==1)||(p515==1))||(p17==1))||(p1138==1))||(p36==1))||(p711==1))||(p473==1)))))))] != FALSE
Reverse transition relation is NOT exact ! Due to transitions t0, t3, t7, t12, t15, t16, t17, t18, t20, t26, t28, t32, t36, t37, t39, t45, t46, t47, t53, t64, t72, t75, t77, t81, t84, t88, t91, t93, t95, t97, t99, t102, t103, t105, t108, t110, t112, t118, t120, t122, t124, t126, t128, t130, t132, t134, t136, t138, t139, t141, t145, t147, t149, t151, t153, t155, t159, t161, t163, t165, t166, t169, t171, t174, t176, t178, t180, t181, t184, t186, t188, t190, t192, t194, t196, t202, t206, t210, t214, t215, t216, t217, t218, t222, t225, t230, t232, t241, t243, t244, t255, t257, t258, t260, t265, t270, t272, t279, t280, t281, t282, t286, t294, t296, t300, t306, t310, t314, t318, t326, t330, t338, t342, t346, t350, t358, t361, t362, t366, t368, t372, t378, t386, t390, t394, t398, t400, t404, t410, t414, t418, t422, t430, t434, t438, t442, t450, t454, t455, t456, t457, t458, t462, t466, t470, t474, t478, t482, t486, t490, t494, t498, t500, t506, t510, t518, t522, t526, t530, t534, t538, t542, t546, t550, t554, t557, t562, t564, t574, t578, t582, t586, t590, t594, t598, t602, t606, t610, t614, t617, t621, t626, t630, t634, t642, t646, t654, t662, t666, t670, t674, t678, t682, t686, t688, t692, t698, t702, t706, t710, t714, t718, t722, t726, t730, t737, t738, t743, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/536/208/744
Detected timeout of ITS tools.
[2021-05-17 21:13:43] [INFO ] Flatten gal took : 37 ms
[2021-05-17 21:13:43] [INFO ] Applying decomposition
[2021-05-17 21:13:43] [INFO ] Flatten gal took : 36 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/graph741686851831793087.txt, -o, /tmp/graph741686851831793087.bin, -w, /tmp/graph741686851831793087.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/graph741686851831793087.bin, -l, -1, -v, -w, /tmp/graph741686851831793087.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-17 21:13:43] [INFO ] Decomposing Gal with order
[2021-05-17 21:13:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-17 21:13:43] [INFO ] Removed a total of 1155 redundant transitions.
[2021-05-17 21:13:43] [INFO ] Flatten gal took : 119 ms
[2021-05-17 21:13:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 478 labels/synchronizations in 39 ms.
[2021-05-17 21:13:43] [INFO ] Time to serialize gal into /tmp/CTLFireability32483302328949414.gal : 9 ms
[2021-05-17 21:13:43] [INFO ] Time to serialize properties into /tmp/CTLFireability13321698225320222356.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/CTLFireability32483302328949414.gal, -t, CGAL, -ctl, /tmp/CTLFireability13321698225320222356.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability32483302328949414.gal -t CGAL -ctl /tmp/CTLFireability13321698225320222356.ctl
No direction supplied, using forward translation only.
Parsed 1 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,2.74395e+71,1.31932,39676,829,103,78290,1415,963,147836,142,5702,0
Converting to forward existential form...Done !
original formula: EF(AG(((((((((EG((((i5.u82.p1153==1)||(i10.i1.i1.u166.p2142==1))||(i11.u161.p2073==1))) * (i11.u168.p2163==0)) * (i7.u108.p1430==0)) * (i9.u132.p1728==0)) * E(((((((((i0.i1.i1.u18.p260==1)||(i5.u78.p1092==1))||(i3.u56.p749==1))||(i1.u24.p367==1))||(i6.u102.p1368==1))||(i6.u90.p1230==1))||(i12.u192.p2441==1))||(i0.i1.i1.u19.p283==1)) U (((i1.u30.p435==1)||(i0.i0.i0.u7.p91==1))||(i7.u115.p1517==1)))) * (((i11.u177.p2266==0)||(i12.u181.p2320==0))||(i12.u184.p2354==0))) * ((((i5.u82.p1153==1)||(i2.u44.p617==1))||(i11.u172.p2201==1))||(i3.u64.p871==1))) * ((!(E(((((((((((i4.u74.p1005==1)||(i0.i0.i0.u3.p67==1))||(((i4.u69.p948==1)&&(i4.u70.p954==1))&&(i4.u71.p970==1)))||(i4.u75.p1018==1))||(i1.u28.p417==1))||(i0.i1.i0.u12.p155==1))||(i0.i1.i0.u16.p233==1))||(i7.u103.p1391==1))||(i12.u194.p2457==1))||(i1.u21.p298==1)) U ((((((i1.u29.p423==1)||(i1.u22.p337==1))||(i2.u51.p687==1))||(i2.u50.p684==1))||(i2.u48.p663==1))||(i2.u35.p519==1)))) + ((((((i10.i1.i0.u157.p2031==0)&&(i4.u67.p895==0))&&(i5.u80.p1126==0))&&(i10.i1.i0.u158.p2038==0))&&(i5.u88.p1228==0))&&(((i0.i0.i1.u8.p110==0)||(i0.i1.i0.u12.p164==0))||(i0.i1.i0.u15.p198==0)))) + ((i3.u59.p799==0)&&(i2.u44.p610==0)))) * (((((((i3.u57.p765==1)||(i2.u36.p515==1))||(i8.u0.p17==1))||(i5.u81.p1138==1))||(i3.u1.p36==1))||(i3.u53.p711==1))||(i1.u32.p473==1)))))
=> equivalent forward existential formula: [(FwdU(Init,TRUE) * !(E(TRUE U !(((((((((EG((((i5.u82.p1153==1)||(i10.i1.i1.u166.p2142==1))||(i11.u161.p2073==1))) * (i11.u168.p2163==0)) * (i7.u108.p1430==0)) * (i9.u132.p1728==0)) * E(((((((((i0.i1.i1.u18.p260==1)||(i5.u78.p1092==1))||(i3.u56.p749==1))||(i1.u24.p367==1))||(i6.u102.p1368==1))||(i6.u90.p1230==1))||(i12.u192.p2441==1))||(i0.i1.i1.u19.p283==1)) U (((i1.u30.p435==1)||(i0.i0.i0.u7.p91==1))||(i7.u115.p1517==1)))) * (((i11.u177.p2266==0)||(i12.u181.p2320==0))||(i12.u184.p2354==0))) * ((((i5.u82.p1153==1)||(i2.u44.p617==1))||(i11.u172.p2201==1))||(i3.u64.p871==1))) * ((!(E(((((((((((i4.u74.p1005==1)||(i0.i0.i0.u3.p67==1))||(((i4.u69.p948==1)&&(i4.u70.p954==1))&&(i4.u71.p970==1)))||(i4.u75.p1018==1))||(i1.u28.p417==1))||(i0.i1.i0.u12.p155==1))||(i0.i1.i0.u16.p233==1))||(i7.u103.p1391==1))||(i12.u194.p2457==1))||(i1.u21.p298==1)) U ((((((i1.u29.p423==1)||(i1.u22.p337==1))||(i2.u51.p687==1))||(i2.u50.p684==1))||(i2.u48.p663==1))||(i2.u35.p519==1)))) + ((((((i10.i1.i0.u157.p2031==0)&&(i4.u67.p895==0))&&(i5.u80.p1126==0))&&(i10.i1.i0.u158.p2038==0))&&(i5.u88.p1228==0))&&(((i0.i0.i1.u8.p110==0)||(i0.i1.i0.u12.p164==0))||(i0.i1.i0.u15.p198==0)))) + ((i3.u59.p799==0)&&(i2.u44.p610==0)))) * (((((((i3.u57.p765==1)||(i2.u36.p515==1))||(i8.u0.p17==1))||(i5.u81.p1138==1))||(i3.u1.p36==1))||(i3.u53.p711==1))||(i1.u32.p473==1)))))))] != FALSE
Reverse transition relation is NOT exact ! Due to transitions t299, t335, t450, t455, t485, t494, t517, t565, t597, t603, t697, t703, i0.t230, i0.t219, i0.i0.t210, i0.i0.t217, i0.i0.i0.t205, i0.i0.i0.t201, i0.i0.i0.t83, i0.i0.i0.t46, i0.i0.i0.u7.t45, i0.i0.i1.t214, i0.i0.i1.t87, i0.i1.i0.t240, i0.i1.i0.t232, i0.i1.i0.t225, i0.i1.i0.t91, i0.i1.i0.u12.t47, i0.i1.i0.u16.t93, i0.i1.i0.u17.t95, i0.i1.i1.u18.t97, i0.i1.i1.u19.t243, i0.i1.i1.u19.t244, i0.i1.i1.u20.t99, i1.t743, i1.t292, i1.t283, i1.t273, i1.t269, i1.t266, i1.t260, i1.t103, i1.t101, i1.u21.t255, i1.u22.t257, i1.u22.t258, i1.u28.t39, i1.u29.t279, i1.u29.t280, i1.u30.t281, i1.u30.t282, i1.u32.t37, i1.u33.t105, i2.t327, i2.t323, i2.t316, i2.t312, i2.t307, i2.t303, i2.t295, i2.t110, i2.t108, i2.u36.t36, i2.u44.t32, i2.u48.t112, i2.u51.t64, i3.t375, i3.t370, i3.t364, i3.t362, i3.t355, i3.t347, i3.t343, i3.t339, i3.t123, i3.u53.t28, i3.u57.t53, i3.u56.t26, i3.u58.t118, i3.u59.t120, i3.u61.t122, i3.u64.t368, i4.t419, i4.t417, i4.t410, i4.t403, i4.t397, i4.t393, i4.t390, i4.t386, i4.t130, i4.u66.t81, i4.u68.t126, i4.u72.t128, i4.u74.t20, i4.u75.t400, i4.u76.t414, i5.t440, i5.t435, i5.t431, i5.t427, i5.t136, i5.t15, i5.u78.t18, i5.u80.t17, i5.u80.t132, i5.u81.t16, i5.u82.t134, i6.t482, i6.t478, i6.t471, i6.t467, i6.t463, i6.t459, i6.t453, i6.t140, i6.t139, i6.t137, i6.u102.t12, i7.t510, i7.t504, i7.t497, i7.t488, i7.t149, i7.t145, i7.u108.t500, i7.u110.t147, i7.u114.t72, i8.t559, i8.t555, i8.t553, i8.t547, i8.t544, i8.t541, i8.t537, i8.t534, i8.t530, i8.t524, i8.t520, i8.t158, i8.t155, i8.t153, i8.t151, i9.t594, i9.t589, i9.t586, i9.t582, i9.t578, i9.t574, i9.t165, i9.t162, i9.u133.t75, i9.u135.t161, i10.t641, i10.t634, i10.i0.t607, i10.i0.t618, i10.i0.i0.t602, i10.i0.i0.t166, i10.i0.i1.t629, i10.i0.i1.t625, i10.i0.i1.t620, i10.i0.i1.t611, i10.i0.i1.t171, i10.i0.i1.t168, i10.i1.t653, i10.i1.i0.t644, i10.i1.i0.t174, i10.i1.i0.u157.t7, i10.i1.i0.u163.t178, i10.i1.i1.u165.t77, i11.t694, i11.t689, i11.t686, i11.t682, i11.t678, i11.t672, i11.t670, i11.t665, i11.t659, i11.t187, i11.t186, i11.t184, i11.t181, i11.u161.t176, i11.u167.t180, i11.u172.t3, i12.t737, i12.t729, i12.t725, i12.t722, i12.t718, i12.t714, i12.t710, i12.t700, i12.t196, i12.t194, i12.t191, i12.t190, i12.t0, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/137/200/337
Detected timeout of ITS tools.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 619 transitions
Trivial Post-agglo rules discarded 619 transitions
Performed 619 trivial Post agglomeration. Transition count delta: 619
Iterating post reduction 0 with 619 rules applied. Total rules applied 619 place count 2126 transition count 1507
Reduce places removed 619 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 1 with 621 rules applied. Total rules applied 1240 place count 1507 transition count 1505
Reduce places removed 1 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 2 with 3 rules applied. Total rules applied 1243 place count 1506 transition count 1503
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 1245 place count 1504 transition count 1503
Performed 303 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 303 Pre rules applied. Total rules applied 1245 place count 1504 transition count 1200
Deduced a syphon composed of 303 places in 2 ms
Reduce places removed 303 places and 0 transitions.
Iterating global reduction 4 with 606 rules applied. Total rules applied 1851 place count 1201 transition count 1200
Discarding 120 places :
Symmetric choice reduction at 4 with 120 rule applications. Total rules 1971 place count 1081 transition count 1080
Iterating global reduction 4 with 120 rules applied. Total rules applied 2091 place count 1081 transition count 1080
Performed 78 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 78 Pre rules applied. Total rules applied 2091 place count 1081 transition count 1002
Deduced a syphon composed of 78 places in 2 ms
Reduce places removed 78 places and 0 transitions.
Iterating global reduction 4 with 156 rules applied. Total rules applied 2247 place count 1003 transition count 1002
Performed 442 Post agglomeration using F-continuation condition.Transition count delta: 442
Deduced a syphon composed of 442 places in 1 ms
Reduce places removed 442 places and 0 transitions.
Iterating global reduction 4 with 884 rules applied. Total rules applied 3131 place count 561 transition count 560
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: -100
Deduced a syphon composed of 101 places in 0 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 4 with 202 rules applied. Total rules applied 3333 place count 460 transition count 660
Performed 47 Post agglomeration using F-continuation condition.Transition count delta: -46
Deduced a syphon composed of 47 places in 0 ms
Reduce places removed 47 places and 0 transitions.
Iterating global reduction 4 with 94 rules applied. Total rules applied 3427 place count 413 transition count 706
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 4 with 1 rules applied. Total rules applied 3428 place count 412 transition count 705
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 3429 place count 411 transition count 705
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 1 rules applied. Total rules applied 3430 place count 410 transition count 704
Applied a total of 3430 rules in 492 ms. Remains 410 /2127 variables (removed 1717) and now considering 704/2127 (removed 1423) transitions.
[2021-05-17 21:14:14] [INFO ] Flatten gal took : 29 ms
[2021-05-17 21:14:14] [INFO ] Flatten gal took : 33 ms
[2021-05-17 21:14:14] [INFO ] Input system was already deterministic with 704 transitions.
[2021-05-17 21:14:14] [INFO ] Flatten gal took : 32 ms
[2021-05-17 21:14:14] [INFO ] Flatten gal took : 32 ms
[2021-05-17 21:14:14] [INFO ] Time to serialize gal into /tmp/CTLFireability18070921992345931952.gal : 5 ms
[2021-05-17 21:14:14] [INFO ] Time to serialize properties into /tmp/CTLFireability17807795492322948795.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/CTLFireability18070921992345931952.gal, -t, CGAL, -ctl, /tmp/CTLFireability17807795492322948795.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/CTLFireability18070921992345931952.gal -t CGAL -ctl /tmp/CTLFireability17807795492322948795.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 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,6.5081e+61,0.399147,12024,2,659,5,19196,6,0,2347,18263,0
Converting to forward existential form...Done !
original formula: EG((((((p466==0)&&(p229==0))&&(p1936==0))&&(p1764==0))&&(((p894==0)||(p948==0))||(p982==0))))
=> equivalent forward existential formula: [FwdG(Init,(((((p466==0)&&(p229==0))&&(p1936==0))&&(p1764==0))&&(((p894==0)||(p948==0))||(p982==0))))] != FALSE
Hit Full ! (commute/partial/dont) 675/116/29
(forward)formula 0,1,1.53043,30948,1,0,10,168069,19,4,15183,42828,8
FORMULA ShieldRVt-PT-050B-CTLFireability-14 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is TRUE !
***************************************
[2021-05-17 21:14:15] [INFO ] Flatten gal took : 78 ms
[2021-05-17 21:14:16] [INFO ] Flatten gal took : 76 ms
[2021-05-17 21:14:16] [INFO ] Applying decomposition
[2021-05-17 21:14:16] [INFO ] Flatten gal took : 57 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/graph13570885556788151026.txt, -o, /tmp/graph13570885556788151026.bin, -w, /tmp/graph13570885556788151026.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/graph13570885556788151026.bin, -l, -1, -v, -w, /tmp/graph13570885556788151026.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-17 21:14:16] [INFO ] Decomposing Gal with order
[2021-05-17 21:14:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-17 21:14:16] [INFO ] Removed a total of 388 redundant transitions.
[2021-05-17 21:14:17] [INFO ] Flatten gal took : 154 ms
[2021-05-17 21:14:17] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 7 ms.
[2021-05-17 21:14:17] [INFO ] Time to serialize gal into /tmp/CTLFireability8065194663976655489.gal : 20 ms
[2021-05-17 21:14:17] [INFO ] Time to serialize properties into /tmp/CTLFireability8080114578948444821.ctl : 5 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/CTLFireability8065194663976655489.gal, -t, CGAL, -ctl, /tmp/CTLFireability8080114578948444821.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability8065194663976655489.gal -t CGAL -ctl /tmp/CTLFireability8080114578948444821.ctl
No direction supplied, using forward translation only.
Parsed 13 CTL formulae.
Detected timeout of ITS tools.
[2021-05-17 21:36:32] [INFO ] Applying decomposition
[2021-05-17 21:36:32] [INFO ] Flatten gal took : 55 ms
[2021-05-17 21:36:32] [INFO ] Decomposing Gal with order
[2021-05-17 21:36:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-17 21:36:32] [INFO ] Removed a total of 110 redundant transitions.
[2021-05-17 21:36:32] [INFO ] Flatten gal took : 101 ms
[2021-05-17 21:36:34] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 3 ms.
[2021-05-17 21:36:34] [INFO ] Time to serialize gal into /tmp/CTLFireability17295669131401743488.gal : 12 ms
[2021-05-17 21:36:34] [INFO ] Time to serialize properties into /tmp/CTLFireability13139731680453680669.ctl : 11 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/CTLFireability17295669131401743488.gal, -t, CGAL, -ctl, /tmp/CTLFireability13139731680453680669.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability17295669131401743488.gal -t CGAL -ctl /tmp/CTLFireability13139731680453680669.ctl
No direction supplied, using forward translation only.
Parsed 13 CTL formulae.
Detected timeout of ITS tools.
[2021-05-17 21:58:48] [INFO ] Flatten gal took : 54 ms
[2021-05-17 21:58:49] [INFO ] Input system was already deterministic with 2127 transitions.
[2021-05-17 21:58:49] [INFO ] Transformed 2127 places.
[2021-05-17 21:58:49] [INFO ] Transformed 2127 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-17 21:58:49] [INFO ] Time to serialize gal into /tmp/CTLFireability1100481551835240132.gal : 7 ms
[2021-05-17 21:58:49] [INFO ] Time to serialize properties into /tmp/CTLFireability2802511087264804174.ctl : 3 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/CTLFireability1100481551835240132.gal, -t, CGAL, -ctl, /tmp/CTLFireability2802511087264804174.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/CTLFireability1100481551835240132.gal -t CGAL -ctl /tmp/CTLFireability2802511087264804174.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 13 CTL formulae.
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
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination CTLFireability -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldRVt-PT-050B"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is ShieldRVt-PT-050B, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r235-smll-162106564800330"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldRVt-PT-050B.tgz
mv ShieldRVt-PT-050B execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;