About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S24C06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16223.695 | 3600000.00 | 2898932.00 | 551056.00 | ???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/mcc2022-input.r132-tall-165271821300738.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-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 MultiCrashLeafsetExtension-PT-S24C06, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r132-tall-165271821300738
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 13M
-rw-r--r-- 1 mcc users 15K Apr 29 16:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K Apr 29 16:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Apr 29 16:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Apr 29 16:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.1K May 9 08:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 32K May 9 08:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K May 9 08:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 9 08:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.5K May 9 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K May 9 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 7 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 13M May 10 09:34 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 MultiCrashLeafsetExtension-PT-S24C06-CTLFireability-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-CTLFireability-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-CTLFireability-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-CTLFireability-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-CTLFireability-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-CTLFireability-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-CTLFireability-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-CTLFireability-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-CTLFireability-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-CTLFireability-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-CTLFireability-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-CTLFireability-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-CTLFireability-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-CTLFireability-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-CTLFireability-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1652846976565
Running Version 202205111006
[2022-05-18 04:09:37] [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]
[2022-05-18 04:09:37] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-18 04:09:38] [INFO ] Load time of PNML (sax parser for PT used): 676 ms
[2022-05-18 04:09:38] [INFO ] Transformed 12464 places.
[2022-05-18 04:09:38] [INFO ] Transformed 18463 transitions.
[2022-05-18 04:09:38] [INFO ] Parsed PT model containing 12464 places and 18463 transitions in 874 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 17 ms.
Support contains 172 out of 12464 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 12464/12464 places, 18463/18463 transitions.
Reduce places removed 40 places and 0 transitions.
Iterating post reduction 0 with 40 rules applied. Total rules applied 40 place count 12424 transition count 18463
Discarding 3567 places :
Symmetric choice reduction at 1 with 3567 rule applications. Total rules 3607 place count 8857 transition count 14896
Iterating global reduction 1 with 3567 rules applied. Total rules applied 7174 place count 8857 transition count 14896
Discarding 3254 places :
Symmetric choice reduction at 1 with 3254 rule applications. Total rules 10428 place count 5603 transition count 11642
Iterating global reduction 1 with 3254 rules applied. Total rules applied 13682 place count 5603 transition count 11642
Discarding 487 places :
Symmetric choice reduction at 1 with 487 rule applications. Total rules 14169 place count 5116 transition count 8720
Iterating global reduction 1 with 487 rules applied. Total rules applied 14656 place count 5116 transition count 8720
Applied a total of 14656 rules in 4348 ms. Remains 5116 /12464 variables (removed 7348) and now considering 8720/18463 (removed 9743) transitions.
[2022-05-18 04:09:43] [INFO ] Flow matrix only has 8120 transitions (discarded 600 similar events)
// Phase 1: matrix 8120 rows 5116 cols
[2022-05-18 04:09:43] [INFO ] Computed 989 place invariants in 552 ms
[2022-05-18 04:09:48] [INFO ] Implicit Places using invariants in 5747 ms returned []
[2022-05-18 04:09:48] [INFO ] Flow matrix only has 8120 transitions (discarded 600 similar events)
// Phase 1: matrix 8120 rows 5116 cols
[2022-05-18 04:09:49] [INFO ] Computed 989 place invariants in 244 ms
[2022-05-18 04:09:53] [INFO ] Implicit Places using invariants and state equation in 4296 ms returned []
Implicit Place search using SMT with State Equation took 10072 ms to find 0 implicit places.
[2022-05-18 04:09:53] [INFO ] Flow matrix only has 8120 transitions (discarded 600 similar events)
// Phase 1: matrix 8120 rows 5116 cols
[2022-05-18 04:09:53] [INFO ] Computed 989 place invariants in 206 ms
[2022-05-18 04:09:59] [INFO ] Dead Transitions using invariants and state equation in 5873 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 5116/12464 places, 8720/18463 transitions.
Finished structural reductions, in 1 iterations. Remains : 5116/12464 places, 8720/18463 transitions.
Support contains 172 out of 5116 places after structural reductions.
[2022-05-18 04:09:59] [INFO ] Flatten gal took : 495 ms
[2022-05-18 04:10:00] [INFO ] Flatten gal took : 348 ms
[2022-05-18 04:10:00] [INFO ] Input system was already deterministic with 8720 transitions.
Support contains 169 out of 5116 places (down from 172) after GAL structural reductions.
Incomplete random walk after 10000 steps, including 161 resets, run finished after 751 ms. (steps per millisecond=13 ) properties (out of 79) seen :15
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 64) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 63) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 62) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 62) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 62) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 62) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 62) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 62) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 62) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 62) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 62) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 62) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 61) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 60) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 60) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 60) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 60) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 60) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 60) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 60) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 60) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 60) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 60) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 60) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 60) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 60) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 60) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 59) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 59) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 59) seen :1
Running SMT prover for 58 properties.
[2022-05-18 04:10:02] [INFO ] Flow matrix only has 8120 transitions (discarded 600 similar events)
// Phase 1: matrix 8120 rows 5116 cols
[2022-05-18 04:10:02] [INFO ] Computed 989 place invariants in 225 ms
[2022-05-18 04:10:07] [INFO ] [Real]Absence check using 47 positive place invariants in 65 ms returned sat
[2022-05-18 04:10:07] [INFO ] [Real]Absence check using 47 positive and 942 generalized place invariants in 296 ms returned sat
[2022-05-18 04:10:14] [INFO ] After 4784ms SMT Verify possible using state equation in real domain returned unsat :1 sat :1 real:56
[2022-05-18 04:10:14] [INFO ] State equation strengthened by 3167 read => feed constraints.
[2022-05-18 04:10:15] [INFO ] After 945ms SMT Verify possible using 3167 Read/Feed constraints in real domain returned unsat :1 sat :0 real:57
[2022-05-18 04:10:15] [INFO ] After 12451ms SMT Verify possible using all constraints in real domain returned unsat :1 sat :0 real:57
[2022-05-18 04:10:19] [INFO ] [Nat]Absence check using 47 positive place invariants in 123 ms returned sat
[2022-05-18 04:10:20] [INFO ] [Nat]Absence check using 47 positive and 942 generalized place invariants in 312 ms returned sat
[2022-05-18 04:10:40] [INFO ] After 15865ms SMT Verify possible using state equation in natural domain returned unsat :4 sat :53
[2022-05-18 04:10:40] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-18 04:10:40] [INFO ] After 25032ms SMT Verify possible using all constraints in natural domain returned unsat :1 sat :0 real:57
Fused 58 Parikh solutions to 34 different solutions.
Parikh walk visited 0 properties in 240 ms.
Support contains 108 out of 5116 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 5116/5116 places, 8720/8720 transitions.
Drop transitions removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 0 with 7 rules applied. Total rules applied 7 place count 5116 transition count 8713
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 1 with 7 rules applied. Total rules applied 14 place count 5109 transition count 8713
Performed 289 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 289 Pre rules applied. Total rules applied 14 place count 5109 transition count 8424
Deduced a syphon composed of 289 places in 6 ms
Reduce places removed 289 places and 0 transitions.
Iterating global reduction 2 with 578 rules applied. Total rules applied 592 place count 4820 transition count 8424
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 612 place count 4800 transition count 8369
Iterating global reduction 2 with 20 rules applied. Total rules applied 632 place count 4800 transition count 8369
Discarding 13 places :
Symmetric choice reduction at 2 with 13 rule applications. Total rules 645 place count 4787 transition count 8291
Iterating global reduction 2 with 13 rules applied. Total rules applied 658 place count 4787 transition count 8291
Performed 29 Post agglomeration using F-continuation condition.Transition count delta: 29
Deduced a syphon composed of 29 places in 6 ms
Reduce places removed 29 places and 0 transitions.
Iterating global reduction 2 with 58 rules applied. Total rules applied 716 place count 4758 transition count 8262
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 722 place count 4752 transition count 8256
Iterating global reduction 2 with 6 rules applied. Total rules applied 728 place count 4752 transition count 8256
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 728 place count 4752 transition count 8254
Deduced a syphon composed of 2 places in 5 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 732 place count 4750 transition count 8254
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 737 place count 4745 transition count 8224
Iterating global reduction 2 with 5 rules applied. Total rules applied 742 place count 4745 transition count 8224
Free-agglomeration rule (complex) applied 276 times.
Iterating global reduction 2 with 276 rules applied. Total rules applied 1018 place count 4745 transition count 10348
Reduce places removed 276 places and 0 transitions.
Iterating post reduction 2 with 276 rules applied. Total rules applied 1294 place count 4469 transition count 10348
Partial Free-agglomeration rule applied 237 times.
Drop transitions removed 237 transitions
Iterating global reduction 3 with 237 rules applied. Total rules applied 1531 place count 4469 transition count 10348
Applied a total of 1531 rules in 4750 ms. Remains 4469 /5116 variables (removed 647) and now considering 10348/8720 (removed -1628) transitions.
Finished structural reductions, in 1 iterations. Remains : 4469/5116 places, 10348/8720 transitions.
Incomplete random walk after 10000 steps, including 262 resets, run finished after 735 ms. (steps per millisecond=13 ) properties (out of 54) seen :6
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 48) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 48) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 48) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 48) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 48) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 48) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 48) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 48) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 48) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 48) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 48) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 48) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 48) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 47) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 47) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 47) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 47) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 47) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 46) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 45) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 45) seen :0
Running SMT prover for 45 properties.
[2022-05-18 04:10:46] [INFO ] Flow matrix only has 9544 transitions (discarded 804 similar events)
// Phase 1: matrix 9544 rows 4469 cols
[2022-05-18 04:10:46] [INFO ] Computed 989 place invariants in 248 ms
[2022-05-18 04:10:50] [INFO ] [Real]Absence check using 49 positive place invariants in 77 ms returned sat
[2022-05-18 04:10:50] [INFO ] [Real]Absence check using 49 positive and 940 generalized place invariants in 257 ms returned sat
[2022-05-18 04:11:02] [INFO ] After 10866ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1 real:44
[2022-05-18 04:11:02] [INFO ] State equation strengthened by 5442 read => feed constraints.
[2022-05-18 04:11:03] [INFO ] After 985ms SMT Verify possible using 5442 Read/Feed constraints in real domain returned unsat :0 sat :0 real:45
[2022-05-18 04:11:03] [INFO ] After 16838ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:45
[2022-05-18 04:11:06] [INFO ] [Nat]Absence check using 49 positive place invariants in 84 ms returned sat
[2022-05-18 04:11:07] [INFO ] [Nat]Absence check using 49 positive and 940 generalized place invariants in 256 ms returned sat
[2022-05-18 04:11:28] [INFO ] After 18490ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :45
[2022-05-18 04:11:28] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-18 04:11:28] [INFO ] After 25028ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:45
Fused 45 Parikh solutions to 39 different solutions.
Parikh walk visited 0 properties in 59 ms.
Support contains 86 out of 4469 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 4469/4469 places, 10348/10348 transitions.
Drop transitions removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 4469 transition count 10344
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 8 place count 4465 transition count 10344
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 3 Pre rules applied. Total rules applied 8 place count 4465 transition count 10341
Deduced a syphon composed of 3 places in 5 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 14 place count 4462 transition count 10341
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 17 place count 4459 transition count 10338
Iterating global reduction 2 with 3 rules applied. Total rules applied 20 place count 4459 transition count 10338
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 20 place count 4459 transition count 10337
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 22 place count 4458 transition count 10337
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 24 place count 4457 transition count 10336
Free-agglomeration rule (complex) applied 24 times.
Iterating global reduction 2 with 24 rules applied. Total rules applied 48 place count 4457 transition count 10367
Reduce places removed 24 places and 0 transitions.
Iterating post reduction 2 with 24 rules applied. Total rules applied 72 place count 4433 transition count 10367
Partial Free-agglomeration rule applied 6 times.
Drop transitions removed 6 transitions
Iterating global reduction 3 with 6 rules applied. Total rules applied 78 place count 4433 transition count 10367
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 82 place count 4429 transition count 10363
Iterating global reduction 3 with 4 rules applied. Total rules applied 86 place count 4429 transition count 10363
Applied a total of 86 rules in 2539 ms. Remains 4429 /4469 variables (removed 40) and now considering 10363/10348 (removed -15) transitions.
Finished structural reductions, in 1 iterations. Remains : 4429/4469 places, 10363/10348 transitions.
Incomplete random walk after 10000 steps, including 263 resets, run finished after 673 ms. (steps per millisecond=14 ) properties (out of 45) seen :8
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 37) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 37) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 36) seen :0
Running SMT prover for 36 properties.
[2022-05-18 04:11:32] [INFO ] Flow matrix only has 9539 transitions (discarded 824 similar events)
// Phase 1: matrix 9539 rows 4429 cols
[2022-05-18 04:11:32] [INFO ] Computed 989 place invariants in 269 ms
[2022-05-18 04:11:35] [INFO ] [Real]Absence check using 47 positive place invariants in 57 ms returned sat
[2022-05-18 04:11:35] [INFO ] [Real]Absence check using 47 positive and 942 generalized place invariants in 265 ms returned sat
[2022-05-18 04:11:51] [INFO ] After 12925ms SMT Verify possible using state equation in real domain returned unsat :0 sat :3 real:33
[2022-05-18 04:11:51] [INFO ] State equation strengthened by 5497 read => feed constraints.
[2022-05-18 04:11:53] [INFO ] After 1568ms SMT Verify possible using 5497 Read/Feed constraints in real domain returned unsat :1 sat :0 real:35
[2022-05-18 04:11:53] [INFO ] After 20349ms SMT Verify possible using all constraints in real domain returned unsat :1 sat :0 real:35
[2022-05-18 04:11:55] [INFO ] [Nat]Absence check using 47 positive place invariants in 65 ms returned sat
[2022-05-18 04:11:55] [INFO ] [Nat]Absence check using 47 positive and 942 generalized place invariants in 274 ms returned sat
[2022-05-18 04:12:16] [INFO ] After 17733ms SMT Verify possible using state equation in natural domain returned unsat :1 sat :35
[2022-05-18 04:12:18] [INFO ] After 2196ms SMT Verify possible using 5497 Read/Feed constraints in natural domain returned unsat :1 sat :34
[2022-05-18 04:12:18] [INFO ] After 2201ms SMT Verify possible using trap constraints in natural domain returned unsat :1 sat :34
Attempting to minimize the solution found.
Minimization took 6 ms.
[2022-05-18 04:12:18] [INFO ] After 25051ms SMT Verify possible using all constraints in natural domain returned unsat :1 sat :34
Fused 36 Parikh solutions to 35 different solutions.
Parikh walk visited 0 properties in 179 ms.
Support contains 68 out of 4429 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 4429/4429 places, 10363/10363 transitions.
Drop transitions removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 4429 transition count 10360
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 1 with 3 rules applied. Total rules applied 6 place count 4426 transition count 10360
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 4 Pre rules applied. Total rules applied 6 place count 4426 transition count 10356
Deduced a syphon composed of 4 places in 5 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 14 place count 4422 transition count 10356
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 18 place count 4418 transition count 10352
Iterating global reduction 2 with 4 rules applied. Total rules applied 22 place count 4418 transition count 10352
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 22 place count 4418 transition count 10351
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 24 place count 4417 transition count 10351
Free-agglomeration rule (complex) applied 5 times.
Iterating global reduction 2 with 5 rules applied. Total rules applied 29 place count 4417 transition count 10346
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 2 with 5 rules applied. Total rules applied 34 place count 4412 transition count 10346
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 36 place count 4410 transition count 10344
Iterating global reduction 3 with 2 rules applied. Total rules applied 38 place count 4410 transition count 10344
Partial Free-agglomeration rule applied 3 times.
Drop transitions removed 3 transitions
Iterating global reduction 3 with 3 rules applied. Total rules applied 41 place count 4410 transition count 10344
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 42 place count 4409 transition count 10343
Iterating global reduction 3 with 1 rules applied. Total rules applied 43 place count 4409 transition count 10343
Applied a total of 43 rules in 2412 ms. Remains 4409 /4429 variables (removed 20) and now considering 10343/10363 (removed 20) transitions.
Finished structural reductions, in 1 iterations. Remains : 4409/4429 places, 10343/10363 transitions.
Successfully simplified 5 atomic propositions for a total of 16 simplifications.
[2022-05-18 04:12:21] [INFO ] Flatten gal took : 277 ms
[2022-05-18 04:12:21] [INFO ] Flatten gal took : 288 ms
[2022-05-18 04:12:21] [INFO ] Input system was already deterministic with 8720 transitions.
Computed a total of 2492 stabilizing places and 3519 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 5116/5116 places, 8720/8720 transitions.
Discarding 61 places :
Symmetric choice reduction at 0 with 61 rule applications. Total rules 61 place count 5055 transition count 8574
Iterating global reduction 0 with 61 rules applied. Total rules applied 122 place count 5055 transition count 8574
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 165 place count 5012 transition count 8411
Iterating global reduction 0 with 43 rules applied. Total rules applied 208 place count 5012 transition count 8411
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 227 place count 4993 transition count 8297
Iterating global reduction 0 with 19 rules applied. Total rules applied 246 place count 4993 transition count 8297
Applied a total of 246 rules in 1460 ms. Remains 4993 /5116 variables (removed 123) and now considering 8297/8720 (removed 423) transitions.
[2022-05-18 04:12:23] [INFO ] Flow matrix only has 7697 transitions (discarded 600 similar events)
// Phase 1: matrix 7697 rows 4993 cols
[2022-05-18 04:12:23] [INFO ] Computed 989 place invariants in 192 ms
[2022-05-18 04:12:27] [INFO ] Implicit Places using invariants in 3788 ms returned []
[2022-05-18 04:12:27] [INFO ] Flow matrix only has 7697 transitions (discarded 600 similar events)
// Phase 1: matrix 7697 rows 4993 cols
[2022-05-18 04:12:27] [INFO ] Computed 989 place invariants in 190 ms
[2022-05-18 04:12:31] [INFO ] Implicit Places using invariants and state equation in 3792 ms returned []
Implicit Place search using SMT with State Equation took 7593 ms to find 0 implicit places.
[2022-05-18 04:12:31] [INFO ] Flow matrix only has 7697 transitions (discarded 600 similar events)
// Phase 1: matrix 7697 rows 4993 cols
[2022-05-18 04:12:31] [INFO ] Computed 989 place invariants in 227 ms
[2022-05-18 04:12:36] [INFO ] Dead Transitions using invariants and state equation in 4948 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 4993/5116 places, 8297/8720 transitions.
Finished structural reductions, in 1 iterations. Remains : 4993/5116 places, 8297/8720 transitions.
[2022-05-18 04:12:36] [INFO ] Flatten gal took : 268 ms
[2022-05-18 04:12:36] [INFO ] Flatten gal took : 266 ms
[2022-05-18 04:12:37] [INFO ] Input system was already deterministic with 8297 transitions.
[2022-05-18 04:12:37] [INFO ] Flatten gal took : 253 ms
[2022-05-18 04:12:37] [INFO ] Flatten gal took : 269 ms
[2022-05-18 04:12:37] [INFO ] Time to serialize gal into /tmp/CTLFireability8147281164005737671.gal : 172 ms
[2022-05-18 04:12:37] [INFO ] Time to serialize properties into /tmp/CTLFireability2382206913779545127.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8147281164005737671.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2382206913779545127.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 04:13:08] [INFO ] Flatten gal took : 347 ms
[2022-05-18 04:13:08] [INFO ] Applying decomposition
[2022-05-18 04:13:08] [INFO ] Flatten gal took : 272 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph7588064284660951550.txt' '-o' '/tmp/graph7588064284660951550.bin' '-w' '/tmp/graph7588064284660951550.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph7588064284660951550.bin' '-l' '-1' '-v' '-w' '/tmp/graph7588064284660951550.weights' '-q' '0' '-e' '0.001'
[2022-05-18 04:13:09] [INFO ] Decomposing Gal with order
[2022-05-18 04:13:09] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 04:13:12] [INFO ] Removed a total of 6103 redundant transitions.
[2022-05-18 04:13:12] [INFO ] Flatten gal took : 1765 ms
[2022-05-18 04:13:13] [INFO ] Fuse similar labels procedure discarded/fused a total of 3434 labels/synchronizations in 543 ms.
[2022-05-18 04:13:13] [INFO ] Time to serialize gal into /tmp/CTLFireability13098067968127239548.gal : 113 ms
[2022-05-18 04:13:13] [INFO ] Time to serialize properties into /tmp/CTLFireability7604691841922943263.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13098067968127239548.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7604691841922943263.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 5116/5116 places, 8720/8720 transitions.
Discarding 64 places :
Symmetric choice reduction at 0 with 64 rule applications. Total rules 64 place count 5052 transition count 8566
Iterating global reduction 0 with 64 rules applied. Total rules applied 128 place count 5052 transition count 8566
Discarding 45 places :
Symmetric choice reduction at 0 with 45 rule applications. Total rules 173 place count 5007 transition count 8401
Iterating global reduction 0 with 45 rules applied. Total rules applied 218 place count 5007 transition count 8401
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 239 place count 4986 transition count 8275
Iterating global reduction 0 with 21 rules applied. Total rules applied 260 place count 4986 transition count 8275
Applied a total of 260 rules in 1630 ms. Remains 4986 /5116 variables (removed 130) and now considering 8275/8720 (removed 445) transitions.
[2022-05-18 04:13:45] [INFO ] Flow matrix only has 7675 transitions (discarded 600 similar events)
// Phase 1: matrix 7675 rows 4986 cols
[2022-05-18 04:13:45] [INFO ] Computed 989 place invariants in 184 ms
[2022-05-18 04:13:49] [INFO ] Implicit Places using invariants in 3739 ms returned []
[2022-05-18 04:13:49] [INFO ] Flow matrix only has 7675 transitions (discarded 600 similar events)
// Phase 1: matrix 7675 rows 4986 cols
[2022-05-18 04:13:49] [INFO ] Computed 989 place invariants in 188 ms
[2022-05-18 04:13:52] [INFO ] Implicit Places using invariants and state equation in 3710 ms returned []
Implicit Place search using SMT with State Equation took 7472 ms to find 0 implicit places.
[2022-05-18 04:13:52] [INFO ] Flow matrix only has 7675 transitions (discarded 600 similar events)
// Phase 1: matrix 7675 rows 4986 cols
[2022-05-18 04:13:53] [INFO ] Computed 989 place invariants in 183 ms
[2022-05-18 04:13:58] [INFO ] Dead Transitions using invariants and state equation in 5406 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 4986/5116 places, 8275/8720 transitions.
Finished structural reductions, in 1 iterations. Remains : 4986/5116 places, 8275/8720 transitions.
[2022-05-18 04:13:58] [INFO ] Flatten gal took : 299 ms
[2022-05-18 04:13:58] [INFO ] Flatten gal took : 270 ms
[2022-05-18 04:13:59] [INFO ] Input system was already deterministic with 8275 transitions.
[2022-05-18 04:13:59] [INFO ] Flatten gal took : 280 ms
[2022-05-18 04:13:59] [INFO ] Flatten gal took : 247 ms
[2022-05-18 04:14:00] [INFO ] Time to serialize gal into /tmp/CTLFireability8783268911657383740.gal : 29 ms
[2022-05-18 04:14:00] [INFO ] Time to serialize properties into /tmp/CTLFireability17698290196516144326.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8783268911657383740.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17698290196516144326.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 04:14:30] [INFO ] Flatten gal took : 253 ms
[2022-05-18 04:14:30] [INFO ] Applying decomposition
[2022-05-18 04:14:30] [INFO ] Flatten gal took : 260 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph14485724854288607723.txt' '-o' '/tmp/graph14485724854288607723.bin' '-w' '/tmp/graph14485724854288607723.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph14485724854288607723.bin' '-l' '-1' '-v' '-w' '/tmp/graph14485724854288607723.weights' '-q' '0' '-e' '0.001'
[2022-05-18 04:14:31] [INFO ] Decomposing Gal with order
[2022-05-18 04:14:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 04:14:32] [INFO ] Removed a total of 6184 redundant transitions.
[2022-05-18 04:14:32] [INFO ] Flatten gal took : 1029 ms
[2022-05-18 04:14:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 3541 labels/synchronizations in 225 ms.
[2022-05-18 04:14:33] [INFO ] Time to serialize gal into /tmp/CTLFireability8019860377577329346.gal : 68 ms
[2022-05-18 04:14:33] [INFO ] Time to serialize properties into /tmp/CTLFireability15182785811194114071.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8019860377577329346.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15182785811194114071.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 5116/5116 places, 8720/8720 transitions.
Discarding 62 places :
Symmetric choice reduction at 0 with 62 rule applications. Total rules 62 place count 5054 transition count 8573
Iterating global reduction 0 with 62 rules applied. Total rules applied 124 place count 5054 transition count 8573
Discarding 44 places :
Symmetric choice reduction at 0 with 44 rule applications. Total rules 168 place count 5010 transition count 8414
Iterating global reduction 0 with 44 rules applied. Total rules applied 212 place count 5010 transition count 8414
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 233 place count 4989 transition count 8288
Iterating global reduction 0 with 21 rules applied. Total rules applied 254 place count 4989 transition count 8288
Applied a total of 254 rules in 1482 ms. Remains 4989 /5116 variables (removed 127) and now considering 8288/8720 (removed 432) transitions.
[2022-05-18 04:15:04] [INFO ] Flow matrix only has 7688 transitions (discarded 600 similar events)
// Phase 1: matrix 7688 rows 4989 cols
[2022-05-18 04:15:05] [INFO ] Computed 989 place invariants in 230 ms
[2022-05-18 04:15:08] [INFO ] Implicit Places using invariants in 3849 ms returned []
[2022-05-18 04:15:08] [INFO ] Flow matrix only has 7688 transitions (discarded 600 similar events)
// Phase 1: matrix 7688 rows 4989 cols
[2022-05-18 04:15:09] [INFO ] Computed 989 place invariants in 193 ms
[2022-05-18 04:15:12] [INFO ] Implicit Places using invariants and state equation in 3861 ms returned []
Implicit Place search using SMT with State Equation took 7714 ms to find 0 implicit places.
[2022-05-18 04:15:12] [INFO ] Flow matrix only has 7688 transitions (discarded 600 similar events)
// Phase 1: matrix 7688 rows 4989 cols
[2022-05-18 04:15:12] [INFO ] Computed 989 place invariants in 177 ms
[2022-05-18 04:15:17] [INFO ] Dead Transitions using invariants and state equation in 5242 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 4989/5116 places, 8288/8720 transitions.
Finished structural reductions, in 1 iterations. Remains : 4989/5116 places, 8288/8720 transitions.
[2022-05-18 04:15:18] [INFO ] Flatten gal took : 258 ms
[2022-05-18 04:15:18] [INFO ] Flatten gal took : 292 ms
[2022-05-18 04:15:19] [INFO ] Input system was already deterministic with 8288 transitions.
[2022-05-18 04:15:19] [INFO ] Flatten gal took : 284 ms
[2022-05-18 04:15:19] [INFO ] Flatten gal took : 306 ms
[2022-05-18 04:15:19] [INFO ] Time to serialize gal into /tmp/CTLFireability18364496422205101318.gal : 33 ms
[2022-05-18 04:15:19] [INFO ] Time to serialize properties into /tmp/CTLFireability1253355712122917888.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability18364496422205101318.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1253355712122917888.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 04:15:50] [INFO ] Flatten gal took : 272 ms
[2022-05-18 04:15:50] [INFO ] Applying decomposition
[2022-05-18 04:15:50] [INFO ] Flatten gal took : 279 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph5268806006603944967.txt' '-o' '/tmp/graph5268806006603944967.bin' '-w' '/tmp/graph5268806006603944967.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph5268806006603944967.bin' '-l' '-1' '-v' '-w' '/tmp/graph5268806006603944967.weights' '-q' '0' '-e' '0.001'
[2022-05-18 04:15:50] [INFO ] Decomposing Gal with order
[2022-05-18 04:15:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 04:15:52] [INFO ] Removed a total of 6109 redundant transitions.
[2022-05-18 04:15:52] [INFO ] Flatten gal took : 926 ms
[2022-05-18 04:15:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 3839 labels/synchronizations in 267 ms.
[2022-05-18 04:15:52] [INFO ] Time to serialize gal into /tmp/CTLFireability11389512568608435381.gal : 57 ms
[2022-05-18 04:15:52] [INFO ] Time to serialize properties into /tmp/CTLFireability18030741593481307183.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11389512568608435381.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18030741593481307183.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...255
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 5116/5116 places, 8720/8720 transitions.
Drop transitions removed 20 transitions
Trivial Post-agglo rules discarded 20 transitions
Performed 20 trivial Post agglomeration. Transition count delta: 20
Iterating post reduction 0 with 20 rules applied. Total rules applied 20 place count 5116 transition count 8700
Reduce places removed 20 places and 0 transitions.
Iterating post reduction 1 with 20 rules applied. Total rules applied 40 place count 5096 transition count 8700
Performed 302 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 302 Pre rules applied. Total rules applied 40 place count 5096 transition count 8398
Deduced a syphon composed of 302 places in 5 ms
Reduce places removed 302 places and 0 transitions.
Iterating global reduction 2 with 604 rules applied. Total rules applied 644 place count 4794 transition count 8398
Discarding 44 places :
Symmetric choice reduction at 2 with 44 rule applications. Total rules 688 place count 4750 transition count 8264
Iterating global reduction 2 with 44 rules applied. Total rules applied 732 place count 4750 transition count 8264
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 732 place count 4750 transition count 8262
Deduced a syphon composed of 2 places in 5 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 736 place count 4748 transition count 8262
Discarding 25 places :
Symmetric choice reduction at 2 with 25 rule applications. Total rules 761 place count 4723 transition count 8112
Iterating global reduction 2 with 25 rules applied. Total rules applied 786 place count 4723 transition count 8112
Performed 35 Post agglomeration using F-continuation condition.Transition count delta: 35
Deduced a syphon composed of 35 places in 6 ms
Reduce places removed 35 places and 0 transitions.
Iterating global reduction 2 with 70 rules applied. Total rules applied 856 place count 4688 transition count 8077
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 875 place count 4669 transition count 8058
Iterating global reduction 2 with 19 rules applied. Total rules applied 894 place count 4669 transition count 8058
Performed 9 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 9 Pre rules applied. Total rules applied 894 place count 4669 transition count 8049
Deduced a syphon composed of 9 places in 5 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 2 with 18 rules applied. Total rules applied 912 place count 4660 transition count 8049
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 931 place count 4641 transition count 7935
Iterating global reduction 2 with 19 rules applied. Total rules applied 950 place count 4641 transition count 7935
Applied a total of 950 rules in 2964 ms. Remains 4641 /5116 variables (removed 475) and now considering 7935/8720 (removed 785) transitions.
[2022-05-18 04:16:25] [INFO ] Flow matrix only has 7335 transitions (discarded 600 similar events)
// Phase 1: matrix 7335 rows 4641 cols
[2022-05-18 04:16:26] [INFO ] Computed 989 place invariants in 240 ms
[2022-05-18 04:16:29] [INFO ] Implicit Places using invariants in 3951 ms returned []
[2022-05-18 04:16:29] [INFO ] Flow matrix only has 7335 transitions (discarded 600 similar events)
// Phase 1: matrix 7335 rows 4641 cols
[2022-05-18 04:16:30] [INFO ] Computed 989 place invariants in 207 ms
[2022-05-18 04:16:33] [INFO ] Implicit Places using invariants and state equation in 3759 ms returned []
Implicit Place search using SMT with State Equation took 7717 ms to find 0 implicit places.
[2022-05-18 04:16:34] [INFO ] Redundant transitions in 876 ms returned []
[2022-05-18 04:16:34] [INFO ] Flow matrix only has 7335 transitions (discarded 600 similar events)
// Phase 1: matrix 7335 rows 4641 cols
[2022-05-18 04:16:34] [INFO ] Computed 989 place invariants in 252 ms
[2022-05-18 04:16:38] [INFO ] Dead Transitions using invariants and state equation in 4346 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 4641/5116 places, 7935/8720 transitions.
Finished structural reductions, in 1 iterations. Remains : 4641/5116 places, 7935/8720 transitions.
[2022-05-18 04:16:39] [INFO ] Flatten gal took : 244 ms
[2022-05-18 04:16:39] [INFO ] Flatten gal took : 283 ms
[2022-05-18 04:16:39] [INFO ] Input system was already deterministic with 7935 transitions.
Finished random walk after 5980 steps, including 134 resets, run visited all 1 properties in 84 ms. (steps per millisecond=71 )
FORMULA MultiCrashLeafsetExtension-PT-S24C06-CTLFireability-03 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Starting structural reductions in LTL mode, iteration 0 : 5116/5116 places, 8720/8720 transitions.
Discarding 63 places :
Symmetric choice reduction at 0 with 63 rule applications. Total rules 63 place count 5053 transition count 8572
Iterating global reduction 0 with 63 rules applied. Total rules applied 126 place count 5053 transition count 8572
Discarding 45 places :
Symmetric choice reduction at 0 with 45 rule applications. Total rules 171 place count 5008 transition count 8407
Iterating global reduction 0 with 45 rules applied. Total rules applied 216 place count 5008 transition count 8407
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 237 place count 4987 transition count 8281
Iterating global reduction 0 with 21 rules applied. Total rules applied 258 place count 4987 transition count 8281
Applied a total of 258 rules in 1522 ms. Remains 4987 /5116 variables (removed 129) and now considering 8281/8720 (removed 439) transitions.
[2022-05-18 04:16:41] [INFO ] Flow matrix only has 7681 transitions (discarded 600 similar events)
// Phase 1: matrix 7681 rows 4987 cols
[2022-05-18 04:16:41] [INFO ] Computed 989 place invariants in 196 ms
[2022-05-18 04:16:45] [INFO ] Implicit Places using invariants in 3868 ms returned []
[2022-05-18 04:16:45] [INFO ] Flow matrix only has 7681 transitions (discarded 600 similar events)
// Phase 1: matrix 7681 rows 4987 cols
[2022-05-18 04:16:45] [INFO ] Computed 989 place invariants in 189 ms
[2022-05-18 04:16:49] [INFO ] Implicit Places using invariants and state equation in 3839 ms returned []
Implicit Place search using SMT with State Equation took 7710 ms to find 0 implicit places.
[2022-05-18 04:16:49] [INFO ] Flow matrix only has 7681 transitions (discarded 600 similar events)
// Phase 1: matrix 7681 rows 4987 cols
[2022-05-18 04:16:49] [INFO ] Computed 989 place invariants in 197 ms
[2022-05-18 04:16:54] [INFO ] Dead Transitions using invariants and state equation in 5157 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 4987/5116 places, 8281/8720 transitions.
Finished structural reductions, in 1 iterations. Remains : 4987/5116 places, 8281/8720 transitions.
[2022-05-18 04:16:54] [INFO ] Flatten gal took : 227 ms
[2022-05-18 04:16:54] [INFO ] Flatten gal took : 325 ms
[2022-05-18 04:16:55] [INFO ] Input system was already deterministic with 8281 transitions.
[2022-05-18 04:16:55] [INFO ] Flatten gal took : 255 ms
[2022-05-18 04:16:56] [INFO ] Flatten gal took : 260 ms
[2022-05-18 04:16:56] [INFO ] Time to serialize gal into /tmp/CTLFireability13295686252259193062.gal : 30 ms
[2022-05-18 04:16:56] [INFO ] Time to serialize properties into /tmp/CTLFireability12195555331151332469.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13295686252259193062.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12195555331151332469.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 04:17:26] [INFO ] Flatten gal took : 318 ms
[2022-05-18 04:17:26] [INFO ] Applying decomposition
[2022-05-18 04:17:26] [INFO ] Flatten gal took : 257 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph8554742673841264101.txt' '-o' '/tmp/graph8554742673841264101.bin' '-w' '/tmp/graph8554742673841264101.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph8554742673841264101.bin' '-l' '-1' '-v' '-w' '/tmp/graph8554742673841264101.weights' '-q' '0' '-e' '0.001'
[2022-05-18 04:17:27] [INFO ] Decomposing Gal with order
[2022-05-18 04:17:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 04:17:28] [INFO ] Removed a total of 6078 redundant transitions.
[2022-05-18 04:17:28] [INFO ] Flatten gal took : 865 ms
[2022-05-18 04:17:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 3818 labels/synchronizations in 273 ms.
[2022-05-18 04:17:29] [INFO ] Time to serialize gal into /tmp/CTLFireability6090807897589699533.gal : 51 ms
[2022-05-18 04:17:29] [INFO ] Time to serialize properties into /tmp/CTLFireability12015538655513004120.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6090807897589699533.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12015538655513004120.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 5116/5116 places, 8720/8720 transitions.
Discarding 53 places :
Symmetric choice reduction at 0 with 53 rule applications. Total rules 53 place count 5063 transition count 8577
Iterating global reduction 0 with 53 rules applied. Total rules applied 106 place count 5063 transition count 8577
Discarding 34 places :
Symmetric choice reduction at 0 with 34 rule applications. Total rules 140 place count 5029 transition count 8458
Iterating global reduction 0 with 34 rules applied. Total rules applied 174 place count 5029 transition count 8458
Discarding 16 places :
Symmetric choice reduction at 0 with 16 rule applications. Total rules 190 place count 5013 transition count 8362
Iterating global reduction 0 with 16 rules applied. Total rules applied 206 place count 5013 transition count 8362
Applied a total of 206 rules in 1576 ms. Remains 5013 /5116 variables (removed 103) and now considering 8362/8720 (removed 358) transitions.
[2022-05-18 04:18:00] [INFO ] Flow matrix only has 7762 transitions (discarded 600 similar events)
// Phase 1: matrix 7762 rows 5013 cols
[2022-05-18 04:18:01] [INFO ] Computed 989 place invariants in 196 ms
[2022-05-18 04:18:04] [INFO ] Implicit Places using invariants in 3840 ms returned []
[2022-05-18 04:18:04] [INFO ] Flow matrix only has 7762 transitions (discarded 600 similar events)
// Phase 1: matrix 7762 rows 5013 cols
[2022-05-18 04:18:04] [INFO ] Computed 989 place invariants in 184 ms
[2022-05-18 04:18:08] [INFO ] Implicit Places using invariants and state equation in 4020 ms returned []
Implicit Place search using SMT with State Equation took 7862 ms to find 0 implicit places.
[2022-05-18 04:18:08] [INFO ] Flow matrix only has 7762 transitions (discarded 600 similar events)
// Phase 1: matrix 7762 rows 5013 cols
[2022-05-18 04:18:08] [INFO ] Computed 989 place invariants in 199 ms
[2022-05-18 04:18:14] [INFO ] Dead Transitions using invariants and state equation in 5407 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 5013/5116 places, 8362/8720 transitions.
Finished structural reductions, in 1 iterations. Remains : 5013/5116 places, 8362/8720 transitions.
[2022-05-18 04:18:14] [INFO ] Flatten gal took : 249 ms
[2022-05-18 04:18:14] [INFO ] Flatten gal took : 290 ms
[2022-05-18 04:18:15] [INFO ] Input system was already deterministic with 8362 transitions.
[2022-05-18 04:18:15] [INFO ] Flatten gal took : 292 ms
[2022-05-18 04:18:15] [INFO ] Flatten gal took : 266 ms
[2022-05-18 04:18:15] [INFO ] Time to serialize gal into /tmp/CTLFireability18430160718784923691.gal : 32 ms
[2022-05-18 04:18:15] [INFO ] Time to serialize properties into /tmp/CTLFireability14580138537398642969.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability18430160718784923691.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14580138537398642969.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 04:18:46] [INFO ] Flatten gal took : 285 ms
[2022-05-18 04:18:46] [INFO ] Applying decomposition
[2022-05-18 04:18:46] [INFO ] Flatten gal took : 306 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph14979701835853987920.txt' '-o' '/tmp/graph14979701835853987920.bin' '-w' '/tmp/graph14979701835853987920.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph14979701835853987920.bin' '-l' '-1' '-v' '-w' '/tmp/graph14979701835853987920.weights' '-q' '0' '-e' '0.001'
[2022-05-18 04:18:47] [INFO ] Decomposing Gal with order
[2022-05-18 04:18:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 04:18:48] [INFO ] Removed a total of 6351 redundant transitions.
[2022-05-18 04:18:48] [INFO ] Flatten gal took : 975 ms
[2022-05-18 04:18:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 3199 labels/synchronizations in 359 ms.
[2022-05-18 04:18:49] [INFO ] Time to serialize gal into /tmp/CTLFireability16040873248280418691.gal : 57 ms
[2022-05-18 04:18:49] [INFO ] Time to serialize properties into /tmp/CTLFireability17068281121444803851.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16040873248280418691.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17068281121444803851.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...255
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 5116/5116 places, 8720/8720 transitions.
Discarding 60 places :
Symmetric choice reduction at 0 with 60 rule applications. Total rules 60 place count 5056 transition count 8580
Iterating global reduction 0 with 60 rules applied. Total rules applied 120 place count 5056 transition count 8580
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 163 place count 5013 transition count 8417
Iterating global reduction 0 with 43 rules applied. Total rules applied 206 place count 5013 transition count 8417
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 225 place count 4994 transition count 8303
Iterating global reduction 0 with 19 rules applied. Total rules applied 244 place count 4994 transition count 8303
Applied a total of 244 rules in 1570 ms. Remains 4994 /5116 variables (removed 122) and now considering 8303/8720 (removed 417) transitions.
[2022-05-18 04:19:20] [INFO ] Flow matrix only has 7703 transitions (discarded 600 similar events)
// Phase 1: matrix 7703 rows 4994 cols
[2022-05-18 04:19:21] [INFO ] Computed 989 place invariants in 260 ms
[2022-05-18 04:19:24] [INFO ] Implicit Places using invariants in 3825 ms returned []
[2022-05-18 04:19:24] [INFO ] Flow matrix only has 7703 transitions (discarded 600 similar events)
// Phase 1: matrix 7703 rows 4994 cols
[2022-05-18 04:19:24] [INFO ] Computed 989 place invariants in 193 ms
[2022-05-18 04:19:28] [INFO ] Implicit Places using invariants and state equation in 3691 ms returned []
Implicit Place search using SMT with State Equation took 7554 ms to find 0 implicit places.
[2022-05-18 04:19:28] [INFO ] Flow matrix only has 7703 transitions (discarded 600 similar events)
// Phase 1: matrix 7703 rows 4994 cols
[2022-05-18 04:19:28] [INFO ] Computed 989 place invariants in 273 ms
[2022-05-18 04:19:33] [INFO ] Dead Transitions using invariants and state equation in 4958 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 4994/5116 places, 8303/8720 transitions.
Finished structural reductions, in 1 iterations. Remains : 4994/5116 places, 8303/8720 transitions.
[2022-05-18 04:19:33] [INFO ] Flatten gal took : 243 ms
[2022-05-18 04:19:33] [INFO ] Flatten gal took : 286 ms
[2022-05-18 04:19:34] [INFO ] Input system was already deterministic with 8303 transitions.
[2022-05-18 04:19:34] [INFO ] Flatten gal took : 279 ms
[2022-05-18 04:19:35] [INFO ] Flatten gal took : 282 ms
[2022-05-18 04:19:35] [INFO ] Time to serialize gal into /tmp/CTLFireability1898061912779619448.gal : 30 ms
[2022-05-18 04:19:35] [INFO ] Time to serialize properties into /tmp/CTLFireability1110316358717439690.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1898061912779619448.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1110316358717439690.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 04:20:05] [INFO ] Flatten gal took : 267 ms
[2022-05-18 04:20:05] [INFO ] Applying decomposition
[2022-05-18 04:20:05] [INFO ] Flatten gal took : 345 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph17283343163635210559.txt' '-o' '/tmp/graph17283343163635210559.bin' '-w' '/tmp/graph17283343163635210559.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph17283343163635210559.bin' '-l' '-1' '-v' '-w' '/tmp/graph17283343163635210559.weights' '-q' '0' '-e' '0.001'
[2022-05-18 04:20:06] [INFO ] Decomposing Gal with order
[2022-05-18 04:20:06] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 04:20:07] [INFO ] Removed a total of 6049 redundant transitions.
[2022-05-18 04:20:08] [INFO ] Flatten gal took : 1113 ms
[2022-05-18 04:20:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 3422 labels/synchronizations in 246 ms.
[2022-05-18 04:20:08] [INFO ] Time to serialize gal into /tmp/CTLFireability16519998610792120758.gal : 73 ms
[2022-05-18 04:20:08] [INFO ] Time to serialize properties into /tmp/CTLFireability16990235152792060474.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16519998610792120758.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16990235152792060474.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...255
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 5116/5116 places, 8720/8720 transitions.
Discarding 60 places :
Symmetric choice reduction at 0 with 60 rule applications. Total rules 60 place count 5056 transition count 8575
Iterating global reduction 0 with 60 rules applied. Total rules applied 120 place count 5056 transition count 8575
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 162 place count 5014 transition count 8418
Iterating global reduction 0 with 42 rules applied. Total rules applied 204 place count 5014 transition count 8418
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 223 place count 4995 transition count 8304
Iterating global reduction 0 with 19 rules applied. Total rules applied 242 place count 4995 transition count 8304
Applied a total of 242 rules in 1618 ms. Remains 4995 /5116 variables (removed 121) and now considering 8304/8720 (removed 416) transitions.
[2022-05-18 04:20:40] [INFO ] Flow matrix only has 7704 transitions (discarded 600 similar events)
// Phase 1: matrix 7704 rows 4995 cols
[2022-05-18 04:20:40] [INFO ] Computed 989 place invariants in 185 ms
[2022-05-18 04:20:48] [INFO ] Implicit Places using invariants in 8635 ms returned [4, 8, 12, 14, 16, 18, 20, 22, 24, 29, 36, 45, 56, 69, 84, 101, 120, 141, 164, 188, 212, 214, 216, 218, 220, 222, 224, 245, 264, 281, 296, 309, 320, 329, 336, 341, 344, 371, 378, 381, 382, 383, 384, 385, 386, 387, 390, 395, 402, 411, 422, 435, 450, 467, 486, 507, 529, 551, 552, 553, 554, 555, 556, 557, 576, 593, 608, 621, 632, 641, 648, 653, 656, 658, 685, 692, 695, 696, 697, 698, 699, 700, 701, 703, 706, 711, 718, 727, 738, 751, 767, 784, 803, 823, 843, 844, 845, 846, 847, 848, 849, 866, 881, 894, 905, 914, 921, 926, 929, 931, 933, 960, 967, 970, 971, 972, 973, 974, 975, 976, 978, 980, 983, 988, 995, 1004, 1015, 1028, 1043, 1060, 1078, 1096, 1097, 1098, 1099, 1100, 1101, 1102, 1117, 1130, 1141, 1150, 1157, 1162, 1165, 1167, 1169, 1171, 1198, 1205, 1208, 1209, 1210, 1211, 1212, 1213, 1214, 1216, 1218, 1220, 1223, 1228, 1235, 1244, 1255, 1268, 1283, 1299, 1315, 1316, 1317, 1318, 1319, 1320, 1321, 1334, 1345, 1354, 1361, 1366, 1369, 1371, 1373, 1375, 1377, 1404, 1411, 1414, 1415, 1416, 1417, 1418, 1419, 1420, 1422, 1424, 1426, 1428, 1431, 1436, 1443, 1452, 1463, 1476, 1490, 1504, 1505, 1506, 1507, 1508, 1509, 1510, 1521, 1530, 1537, 1542, 1545, 1547, 1549, 1551, 1553, 1555, 1582, 1589, 1592, 1593, 1594, 1595, 1596, 1597, 1598, 1600, 1602, 1604, 1606, 1608, 1611, 1616, 1623, 1632, 1643, 1655, 1667, 1668, 1669, 1670, 1671, 1672, 1673, 1682, 1689, 1694, 1697, 1699, 1701, 1703, 1705, 1707, 1709, 1736, 1743, 1746, 1747, 1748, 1749, 1750, 1751, 1752, 1754, 1756, 1758, 1760, 1762, 1764, 1767, 1772, 1779, 1788, 1798, 1808, 1809, 1810, 1811, 1812, 1813, 1814, 1821, 1826, 1829, 1831, 1833, 1835, 1837, 1839, 1841, 1843, 1870, 1877, 1880, 1881, 1882, 1883, 1884, 1885, 1886, 1888, 1890, 1892, 1894, 1896, 1898, 1900, 1903, 1908, 1915, 1923, 1931, 1932, 1933, 1934, 1935, 1936, 1937, 1942, 1945, 1947, 1949, 1951, 1953, 1955, 1957, 1959, 1961, 1988, 1995, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2006, 2008, 2010, 2012, 2014, 2016, 2018, 2020, 2023, 2028, 2034, 2040, 2041, 2042, 2043, 2044, 2045, 2046, 2049, 2051, 2053, 2055, 2057, 2059, 2061, 2063, 2065, 2067, 2094, 2101, 2105, 2106, 2107, 2108, 2109, 2110, 2112, 2114, 2116, 2118, 2120, 2122, 2124, 2126, 2131, 2134, 2138, 2142, 2143, 2144, 2145, 2146, 2147, 2148, 2150, 2152, 2154, 2156, 2158, 2160, 2162, 2164, 2166, 2168, 2195, 2202, 2205, 2206, 2207, 2208, 2209, 2210, 2211, 2213, 2215, 2217, 2219, 2221, 2223, 2225, 2227, 2229, 2231, 2233, 2236, 2237, 2238, 2239, 2240, 2241, 2242, 2244, 2246, 2248, 2250, 2252, 2254, 2256, 2258, 2260, 2262, 2289, 2291, 2295, 2298, 2299, 2300, 2301, 2302, 2303, 2304, 2306, 2308, 2310, 2312, 2314, 2316, 2318, 2320, 2322, 2324, 2326, 2329, 2330, 2331, 2332, 2333, 2334, 2335, 2337, 2339, 2341, 2343, 2345, 2347, 2349, 2351, 2353, 2355, 2382, 2389, 2392, 2393, 2394, 2395, 2396, 2397, 2398, 2400, 2402, 2404, 2406, 2408, 2410, 2412, 2414, 2416, 2418, 2420, 2423, 2424, 2425, 2426, 2427, 2428, 2429, 2431, 2433, 2435, 2437, 2439, 2441, 2443, 2445, 2447, 2449, 2476, 2483, 2486, 2487, 2488, 2489, 2490, 2491, 2492, 2494, 2496, 2498, 2500, 2502, 2504, 2506, 2508, 2510, 2512, 2515, 2520, 2521, 2522, 2523, 2524, 2525, 2526, 2529, 2531, 2533, 2535, 2537, 2539, 2541, 2543, 2545, 2547, 2574, 2581, 2584, 2585, 2586, 2587, 2588, 2589, 2590, 2592, 2594, 2596, 2598, 2600, 2602, 2604, 2606, 2608, 2611, 2616, 2623, 2624, 2625, 2626, 2627, 2628, 2629, 2634, 2637, 2639, 2641, 2643, 2645, 2647, 2649, 2651, 2653, 2680, 2687, 2690, 2691, 2692, 2693, 2694, 2695, 2696, 2698, 2700, 2702, 2704, 2706, 2708, 2710, 2712, 2715, 2720, 2727, 2736, 2737, 2738, 2739, 2740, 2741, 2742, 2749, 2754, 2757, 2759, 2761, 2763, 2765, 2767, 2769, 2771, 2798, 2805, 2808, 2809, 2810, 2811, 2812, 2813, 2814, 2816, 2818, 2820, 2822, 2824, 2826, 2828, 2831, 2836, 2843, 2852, 2863, 2864, 2865, 2866, 2867, 2868, 2869, 2878, 2885, 2890, 2893, 2895, 2897, 2899, 2901, 2903, 2905, 2932, 2939, 2942, 2943, 2944, 2945, 2946, 2947, 2948, 2950, 2952, 2954, 2956, 2958, 2960, 2963, 2968, 2975, 2984, 2995, 3008, 3009, 3010, 3011, 3012, 3013, 3014, 3025, 3034, 3041, 3046, 3049, 3051, 3053, 3055, 3057, 3059, 3086, 3093, 3096, 3097, 3098, 3099, 3100, 3101, 3102, 3104, 3106, 3108, 3110, 3112, 3115, 3120, 3127, 3136, 3147, 3160, 3175, 3176, 3177, 3179, 3180, 3181, 3194, 3208, 3217, 3224, 3229, 3232, 3234, 3236, 3238, 3240, 3267, 3274, 3277, 3278, 3279, 3280, 3281, 3282, 3283, 3285, 3287, 3289, 3291, 3294, 3299, 3306, 3315, 3326, 3339, 3354, 3371, 3372, 3373, 3374, 3375, 3376, 3377, 3392, 3405, 3416, 3425, 3432, 3437, 3440, 3442, 3444, 3446, 3473, 3480, 3483, 3484, 3485, 3486, 3487, 3488, 3489, 3491, 3493, 3495, 3498, 3503, 3510, 3519, 3530, 3543, 3558, 3575, 3594, 3595, 3596, 3597, 3599, 3600, 3617, 3632, 3645, 3658, 3667, 3674, 3679, 3682, 3684, 3686, 3713, 3720, 3723, 3724, 3725, 3726, 3727, 3728, 3729, 3731, 3733, 3736, 3741, 3748, 3757, 3768, 3781, 3796, 3813, 3832, 3853, 3854, 3855, 3856, 3857, 3858, 3859, 3878, 3895, 3910, 3923, 3934, 3943, 3950, 3955, 3958, 3960, 3987, 3994, 3997, 3998, 3999, 4000, 4001, 4002, 4003, 4005, 4008, 4013, 4020, 4029, 4040, 4053, 4068, 4085, 4104, 4125, 4148, 4149, 4150, 4151, 4152, 4153, 4154, 4175, 4194, 4211, 4226, 4239, 4250, 4259, 4266, 4271, 4274, 4301, 4303, 4307, 4310, 4311, 4312, 4313, 4314, 4315, 4316, 4319, 4324, 4331, 4340, 4351, 4364, 4379, 4396, 4415, 4436, 4459, 4484, 4485, 4486, 4487, 4488, 4489, 4490, 4513, 4534, 4553, 4570, 4585, 4598, 4609, 4618, 4625, 4630, 4658]
Discarding 925 places :
Implicit Place search using SMT only with invariants took 8657 ms to find 925 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 4070/5116 places, 8304/8720 transitions.
Discarding 285 places :
Symmetric choice reduction at 0 with 285 rule applications. Total rules 285 place count 3785 transition count 8019
Iterating global reduction 0 with 285 rules applied. Total rules applied 570 place count 3785 transition count 8019
Discarding 285 places :
Symmetric choice reduction at 0 with 285 rule applications. Total rules 855 place count 3500 transition count 7734
Iterating global reduction 0 with 285 rules applied. Total rules applied 1140 place count 3500 transition count 7734
Discarding 285 places :
Symmetric choice reduction at 0 with 285 rule applications. Total rules 1425 place count 3215 transition count 7449
Iterating global reduction 0 with 285 rules applied. Total rules applied 1710 place count 3215 transition count 7449
Discarding 45 places :
Symmetric choice reduction at 0 with 45 rule applications. Total rules 1755 place count 3170 transition count 7179
Iterating global reduction 0 with 45 rules applied. Total rules applied 1800 place count 3170 transition count 7179
Applied a total of 1800 rules in 1495 ms. Remains 3170 /4070 variables (removed 900) and now considering 7179/8304 (removed 1125) transitions.
[2022-05-18 04:20:50] [INFO ] Flow matrix only has 6579 transitions (discarded 600 similar events)
// Phase 1: matrix 6579 rows 3170 cols
[2022-05-18 04:20:50] [INFO ] Computed 64 place invariants in 147 ms
[2022-05-18 04:20:54] [INFO ] Implicit Places using invariants in 4010 ms returned []
[2022-05-18 04:20:54] [INFO ] Flow matrix only has 6579 transitions (discarded 600 similar events)
// Phase 1: matrix 6579 rows 3170 cols
[2022-05-18 04:20:54] [INFO ] Computed 64 place invariants in 142 ms
[2022-05-18 04:20:55] [INFO ] State equation strengthened by 2647 read => feed constraints.
[2022-05-18 04:21:08] [INFO ] Implicit Places using invariants and state equation in 13857 ms returned []
Implicit Place search using SMT with State Equation took 17887 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3170/5116 places, 7179/8720 transitions.
Finished structural reductions, in 2 iterations. Remains : 3170/5116 places, 7179/8720 transitions.
[2022-05-18 04:21:08] [INFO ] Flatten gal took : 186 ms
[2022-05-18 04:21:08] [INFO ] Flatten gal took : 214 ms
[2022-05-18 04:21:09] [INFO ] Input system was already deterministic with 7179 transitions.
[2022-05-18 04:21:09] [INFO ] Flatten gal took : 293 ms
[2022-05-18 04:21:09] [INFO ] Flatten gal took : 205 ms
[2022-05-18 04:21:10] [INFO ] Time to serialize gal into /tmp/CTLFireability9211383183692029809.gal : 667 ms
[2022-05-18 04:21:10] [INFO ] Time to serialize properties into /tmp/CTLFireability13339711176244476242.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9211383183692029809.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13339711176244476242.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 04:21:40] [INFO ] Flatten gal took : 200 ms
[2022-05-18 04:21:40] [INFO ] Applying decomposition
[2022-05-18 04:21:40] [INFO ] Flatten gal took : 206 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph1353911579296579943.txt' '-o' '/tmp/graph1353911579296579943.bin' '-w' '/tmp/graph1353911579296579943.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph1353911579296579943.bin' '-l' '-1' '-v' '-w' '/tmp/graph1353911579296579943.weights' '-q' '0' '-e' '0.001'
[2022-05-18 04:21:41] [INFO ] Decomposing Gal with order
[2022-05-18 04:21:41] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 04:21:41] [INFO ] Removed a total of 5815 redundant transitions.
[2022-05-18 04:21:41] [INFO ] Flatten gal took : 534 ms
[2022-05-18 04:21:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 3544 labels/synchronizations in 202 ms.
[2022-05-18 04:21:42] [INFO ] Time to serialize gal into /tmp/CTLFireability2382209755491960685.gal : 46 ms
[2022-05-18 04:21:42] [INFO ] Time to serialize properties into /tmp/CTLFireability18406324379486366898.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2382209755491960685.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18406324379486366898.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 5116/5116 places, 8720/8720 transitions.
Drop transitions removed 21 transitions
Trivial Post-agglo rules discarded 21 transitions
Performed 21 trivial Post agglomeration. Transition count delta: 21
Iterating post reduction 0 with 21 rules applied. Total rules applied 21 place count 5116 transition count 8699
Reduce places removed 21 places and 0 transitions.
Iterating post reduction 1 with 21 rules applied. Total rules applied 42 place count 5095 transition count 8699
Performed 302 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 302 Pre rules applied. Total rules applied 42 place count 5095 transition count 8397
Deduced a syphon composed of 302 places in 5 ms
Reduce places removed 302 places and 0 transitions.
Iterating global reduction 2 with 604 rules applied. Total rules applied 646 place count 4793 transition count 8397
Discarding 42 places :
Symmetric choice reduction at 2 with 42 rule applications. Total rules 688 place count 4751 transition count 8275
Iterating global reduction 2 with 42 rules applied. Total rules applied 730 place count 4751 transition count 8275
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 730 place count 4751 transition count 8273
Deduced a syphon composed of 2 places in 5 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 734 place count 4749 transition count 8273
Discarding 25 places :
Symmetric choice reduction at 2 with 25 rule applications. Total rules 759 place count 4724 transition count 8123
Iterating global reduction 2 with 25 rules applied. Total rules applied 784 place count 4724 transition count 8123
Performed 35 Post agglomeration using F-continuation condition.Transition count delta: 35
Deduced a syphon composed of 35 places in 5 ms
Reduce places removed 35 places and 0 transitions.
Iterating global reduction 2 with 70 rules applied. Total rules applied 854 place count 4689 transition count 8088
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 874 place count 4669 transition count 8068
Iterating global reduction 2 with 20 rules applied. Total rules applied 894 place count 4669 transition count 8068
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 10 Pre rules applied. Total rules applied 894 place count 4669 transition count 8058
Deduced a syphon composed of 10 places in 4 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 2 with 20 rules applied. Total rules applied 914 place count 4659 transition count 8058
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 934 place count 4639 transition count 7938
Iterating global reduction 2 with 20 rules applied. Total rules applied 954 place count 4639 transition count 7938
Applied a total of 954 rules in 3668 ms. Remains 4639 /5116 variables (removed 477) and now considering 7938/8720 (removed 782) transitions.
[2022-05-18 04:22:16] [INFO ] Flow matrix only has 7338 transitions (discarded 600 similar events)
// Phase 1: matrix 7338 rows 4639 cols
[2022-05-18 04:22:16] [INFO ] Computed 989 place invariants in 189 ms
[2022-05-18 04:22:20] [INFO ] Implicit Places using invariants in 4642 ms returned [3970]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 4653 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 4638/5116 places, 7938/8720 transitions.
Applied a total of 0 rules in 638 ms. Remains 4638 /4638 variables (removed 0) and now considering 7938/7938 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 4638/5116 places, 7938/8720 transitions.
[2022-05-18 04:22:21] [INFO ] Flatten gal took : 227 ms
[2022-05-18 04:22:21] [INFO ] Flatten gal took : 263 ms
[2022-05-18 04:22:22] [INFO ] Input system was already deterministic with 7938 transitions.
[2022-05-18 04:22:22] [INFO ] Flatten gal took : 257 ms
[2022-05-18 04:22:22] [INFO ] Flatten gal took : 262 ms
[2022-05-18 04:22:23] [INFO ] Time to serialize gal into /tmp/CTLFireability14439390476622778607.gal : 28 ms
[2022-05-18 04:22:23] [INFO ] Time to serialize properties into /tmp/CTLFireability14772146242523708887.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14439390476622778607.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14772146242523708887.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 04:22:53] [INFO ] Flatten gal took : 331 ms
[2022-05-18 04:22:53] [INFO ] Applying decomposition
[2022-05-18 04:22:53] [INFO ] Flatten gal took : 251 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph9030217543561657904.txt' '-o' '/tmp/graph9030217543561657904.bin' '-w' '/tmp/graph9030217543561657904.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph9030217543561657904.bin' '-l' '-1' '-v' '-w' '/tmp/graph9030217543561657904.weights' '-q' '0' '-e' '0.001'
[2022-05-18 04:22:54] [INFO ] Decomposing Gal with order
[2022-05-18 04:22:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 04:22:56] [INFO ] Removed a total of 6796 redundant transitions.
[2022-05-18 04:22:56] [INFO ] Flatten gal took : 1611 ms
[2022-05-18 04:22:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 5538 labels/synchronizations in 371 ms.
[2022-05-18 04:22:57] [INFO ] Time to serialize gal into /tmp/CTLFireability2363346451476097161.gal : 711 ms
[2022-05-18 04:22:57] [INFO ] Time to serialize properties into /tmp/CTLFireability13559947585588813723.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2363346451476097161.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13559947585588813723.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 5116/5116 places, 8720/8720 transitions.
Drop transitions removed 21 transitions
Trivial Post-agglo rules discarded 21 transitions
Performed 21 trivial Post agglomeration. Transition count delta: 21
Iterating post reduction 0 with 21 rules applied. Total rules applied 21 place count 5116 transition count 8699
Reduce places removed 21 places and 0 transitions.
Iterating post reduction 1 with 21 rules applied. Total rules applied 42 place count 5095 transition count 8699
Performed 300 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 300 Pre rules applied. Total rules applied 42 place count 5095 transition count 8399
Deduced a syphon composed of 300 places in 5 ms
Reduce places removed 300 places and 0 transitions.
Iterating global reduction 2 with 600 rules applied. Total rules applied 642 place count 4795 transition count 8399
Discarding 41 places :
Symmetric choice reduction at 2 with 41 rule applications. Total rules 683 place count 4754 transition count 8273
Iterating global reduction 2 with 41 rules applied. Total rules applied 724 place count 4754 transition count 8273
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 724 place count 4754 transition count 8272
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 726 place count 4753 transition count 8272
Discarding 23 places :
Symmetric choice reduction at 2 with 23 rule applications. Total rules 749 place count 4730 transition count 8134
Iterating global reduction 2 with 23 rules applied. Total rules applied 772 place count 4730 transition count 8134
Performed 34 Post agglomeration using F-continuation condition.Transition count delta: 34
Deduced a syphon composed of 34 places in 5 ms
Reduce places removed 34 places and 0 transitions.
Iterating global reduction 2 with 68 rules applied. Total rules applied 840 place count 4696 transition count 8100
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 860 place count 4676 transition count 8080
Iterating global reduction 2 with 20 rules applied. Total rules applied 880 place count 4676 transition count 8080
Performed 9 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 9 Pre rules applied. Total rules applied 880 place count 4676 transition count 8071
Deduced a syphon composed of 9 places in 6 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 2 with 18 rules applied. Total rules applied 898 place count 4667 transition count 8071
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 918 place count 4647 transition count 7951
Iterating global reduction 2 with 20 rules applied. Total rules applied 938 place count 4647 transition count 7951
Applied a total of 938 rules in 2859 ms. Remains 4647 /5116 variables (removed 469) and now considering 7951/8720 (removed 769) transitions.
[2022-05-18 04:23:30] [INFO ] Flow matrix only has 7351 transitions (discarded 600 similar events)
// Phase 1: matrix 7351 rows 4647 cols
[2022-05-18 04:23:30] [INFO ] Computed 989 place invariants in 197 ms
[2022-05-18 04:23:36] [INFO ] Implicit Places using invariants in 6602 ms returned []
[2022-05-18 04:23:36] [INFO ] Flow matrix only has 7351 transitions (discarded 600 similar events)
// Phase 1: matrix 7351 rows 4647 cols
[2022-05-18 04:23:37] [INFO ] Computed 989 place invariants in 244 ms
[2022-05-18 04:23:42] [INFO ] Implicit Places using invariants and state equation in 5454 ms returned []
Implicit Place search using SMT with State Equation took 12061 ms to find 0 implicit places.
[2022-05-18 04:23:43] [INFO ] Redundant transitions in 882 ms returned []
[2022-05-18 04:23:43] [INFO ] Flow matrix only has 7351 transitions (discarded 600 similar events)
// Phase 1: matrix 7351 rows 4647 cols
[2022-05-18 04:23:43] [INFO ] Computed 989 place invariants in 191 ms
[2022-05-18 04:23:48] [INFO ] Dead Transitions using invariants and state equation in 4976 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 4647/5116 places, 7951/8720 transitions.
Finished structural reductions, in 1 iterations. Remains : 4647/5116 places, 7951/8720 transitions.
[2022-05-18 04:23:48] [INFO ] Flatten gal took : 255 ms
[2022-05-18 04:23:48] [INFO ] Flatten gal took : 252 ms
[2022-05-18 04:23:49] [INFO ] Input system was already deterministic with 7951 transitions.
[2022-05-18 04:23:49] [INFO ] Flatten gal took : 260 ms
[2022-05-18 04:23:49] [INFO ] Flatten gal took : 343 ms
[2022-05-18 04:23:49] [INFO ] Time to serialize gal into /tmp/CTLFireability17689655839234115994.gal : 26 ms
[2022-05-18 04:23:49] [INFO ] Time to serialize properties into /tmp/CTLFireability13713123046258508416.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17689655839234115994.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13713123046258508416.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 04:24:20] [INFO ] Flatten gal took : 290 ms
[2022-05-18 04:24:20] [INFO ] Applying decomposition
[2022-05-18 04:24:20] [INFO ] Flatten gal took : 300 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph7741093422396074206.txt' '-o' '/tmp/graph7741093422396074206.bin' '-w' '/tmp/graph7741093422396074206.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph7741093422396074206.bin' '-l' '-1' '-v' '-w' '/tmp/graph7741093422396074206.weights' '-q' '0' '-e' '0.001'
[2022-05-18 04:24:21] [INFO ] Decomposing Gal with order
[2022-05-18 04:24:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 04:24:22] [INFO ] Removed a total of 6709 redundant transitions.
[2022-05-18 04:24:22] [INFO ] Flatten gal took : 1480 ms
[2022-05-18 04:24:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 6179 labels/synchronizations in 399 ms.
[2022-05-18 04:24:23] [INFO ] Time to serialize gal into /tmp/CTLFireability11662377375801258481.gal : 386 ms
[2022-05-18 04:24:23] [INFO ] Time to serialize properties into /tmp/CTLFireability15418567180949179814.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11662377375801258481.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15418567180949179814.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...255
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 5116/5116 places, 8720/8720 transitions.
Discarding 58 places :
Symmetric choice reduction at 0 with 58 rule applications. Total rules 58 place count 5058 transition count 8577
Iterating global reduction 0 with 58 rules applied. Total rules applied 116 place count 5058 transition count 8577
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 156 place count 5018 transition count 8432
Iterating global reduction 0 with 40 rules applied. Total rules applied 196 place count 5018 transition count 8432
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 215 place count 4999 transition count 8318
Iterating global reduction 0 with 19 rules applied. Total rules applied 234 place count 4999 transition count 8318
Applied a total of 234 rules in 1457 ms. Remains 4999 /5116 variables (removed 117) and now considering 8318/8720 (removed 402) transitions.
[2022-05-18 04:24:55] [INFO ] Flow matrix only has 7718 transitions (discarded 600 similar events)
// Phase 1: matrix 7718 rows 4999 cols
[2022-05-18 04:24:55] [INFO ] Computed 989 place invariants in 263 ms
[2022-05-18 04:24:59] [INFO ] Implicit Places using invariants in 3782 ms returned []
[2022-05-18 04:24:59] [INFO ] Flow matrix only has 7718 transitions (discarded 600 similar events)
// Phase 1: matrix 7718 rows 4999 cols
[2022-05-18 04:24:59] [INFO ] Computed 989 place invariants in 182 ms
[2022-05-18 04:25:02] [INFO ] Implicit Places using invariants and state equation in 3587 ms returned []
Implicit Place search using SMT with State Equation took 7384 ms to find 0 implicit places.
[2022-05-18 04:25:02] [INFO ] Flow matrix only has 7718 transitions (discarded 600 similar events)
// Phase 1: matrix 7718 rows 4999 cols
[2022-05-18 04:25:03] [INFO ] Computed 989 place invariants in 232 ms
[2022-05-18 04:25:07] [INFO ] Dead Transitions using invariants and state equation in 4908 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 4999/5116 places, 8318/8720 transitions.
Finished structural reductions, in 1 iterations. Remains : 4999/5116 places, 8318/8720 transitions.
[2022-05-18 04:25:08] [INFO ] Flatten gal took : 221 ms
[2022-05-18 04:25:08] [INFO ] Flatten gal took : 257 ms
[2022-05-18 04:25:08] [INFO ] Input system was already deterministic with 8318 transitions.
[2022-05-18 04:25:09] [INFO ] Flatten gal took : 248 ms
[2022-05-18 04:25:09] [INFO ] Flatten gal took : 260 ms
[2022-05-18 04:25:09] [INFO ] Time to serialize gal into /tmp/CTLFireability5612043795603962004.gal : 28 ms
[2022-05-18 04:25:09] [INFO ] Time to serialize properties into /tmp/CTLFireability13296976198758076845.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5612043795603962004.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13296976198758076845.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 04:25:39] [INFO ] Flatten gal took : 247 ms
[2022-05-18 04:25:39] [INFO ] Applying decomposition
[2022-05-18 04:25:39] [INFO ] Flatten gal took : 316 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph18440461803195988380.txt' '-o' '/tmp/graph18440461803195988380.bin' '-w' '/tmp/graph18440461803195988380.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph18440461803195988380.bin' '-l' '-1' '-v' '-w' '/tmp/graph18440461803195988380.weights' '-q' '0' '-e' '0.001'
[2022-05-18 04:25:40] [INFO ] Decomposing Gal with order
[2022-05-18 04:25:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 04:25:41] [INFO ] Removed a total of 6235 redundant transitions.
[2022-05-18 04:25:42] [INFO ] Flatten gal took : 1024 ms
[2022-05-18 04:25:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 3554 labels/synchronizations in 229 ms.
[2022-05-18 04:25:42] [INFO ] Time to serialize gal into /tmp/CTLFireability7226068616524974782.gal : 44 ms
[2022-05-18 04:25:42] [INFO ] Time to serialize properties into /tmp/CTLFireability5924236979270859861.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7226068616524974782.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5924236979270859861.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 5116/5116 places, 8720/8720 transitions.
Drop transitions removed 20 transitions
Trivial Post-agglo rules discarded 20 transitions
Performed 20 trivial Post agglomeration. Transition count delta: 20
Iterating post reduction 0 with 20 rules applied. Total rules applied 20 place count 5116 transition count 8700
Reduce places removed 20 places and 0 transitions.
Iterating post reduction 1 with 20 rules applied. Total rules applied 40 place count 5096 transition count 8700
Performed 302 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 302 Pre rules applied. Total rules applied 40 place count 5096 transition count 8398
Deduced a syphon composed of 302 places in 16 ms
Reduce places removed 302 places and 0 transitions.
Iterating global reduction 2 with 604 rules applied. Total rules applied 644 place count 4794 transition count 8398
Discarding 44 places :
Symmetric choice reduction at 2 with 44 rule applications. Total rules 688 place count 4750 transition count 8264
Iterating global reduction 2 with 44 rules applied. Total rules applied 732 place count 4750 transition count 8264
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 732 place count 4750 transition count 8262
Deduced a syphon composed of 2 places in 5 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 736 place count 4748 transition count 8262
Discarding 25 places :
Symmetric choice reduction at 2 with 25 rule applications. Total rules 761 place count 4723 transition count 8112
Iterating global reduction 2 with 25 rules applied. Total rules applied 786 place count 4723 transition count 8112
Performed 35 Post agglomeration using F-continuation condition.Transition count delta: 35
Deduced a syphon composed of 35 places in 4 ms
Reduce places removed 35 places and 0 transitions.
Iterating global reduction 2 with 70 rules applied. Total rules applied 856 place count 4688 transition count 8077
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 875 place count 4669 transition count 8058
Iterating global reduction 2 with 19 rules applied. Total rules applied 894 place count 4669 transition count 8058
Performed 9 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 9 Pre rules applied. Total rules applied 894 place count 4669 transition count 8049
Deduced a syphon composed of 9 places in 5 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 2 with 18 rules applied. Total rules applied 912 place count 4660 transition count 8049
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 931 place count 4641 transition count 7935
Iterating global reduction 2 with 19 rules applied. Total rules applied 950 place count 4641 transition count 7935
Applied a total of 950 rules in 2661 ms. Remains 4641 /5116 variables (removed 475) and now considering 7935/8720 (removed 785) transitions.
[2022-05-18 04:26:15] [INFO ] Flow matrix only has 7335 transitions (discarded 600 similar events)
// Phase 1: matrix 7335 rows 4641 cols
[2022-05-18 04:26:15] [INFO ] Computed 989 place invariants in 200 ms
[2022-05-18 04:26:19] [INFO ] Implicit Places using invariants in 3941 ms returned []
[2022-05-18 04:26:19] [INFO ] Flow matrix only has 7335 transitions (discarded 600 similar events)
// Phase 1: matrix 7335 rows 4641 cols
[2022-05-18 04:26:19] [INFO ] Computed 989 place invariants in 355 ms
[2022-05-18 04:26:23] [INFO ] Implicit Places using invariants and state equation in 4058 ms returned []
Implicit Place search using SMT with State Equation took 8023 ms to find 0 implicit places.
[2022-05-18 04:26:23] [INFO ] Redundant transitions in 666 ms returned []
[2022-05-18 04:26:23] [INFO ] Flow matrix only has 7335 transitions (discarded 600 similar events)
// Phase 1: matrix 7335 rows 4641 cols
[2022-05-18 04:26:24] [INFO ] Computed 989 place invariants in 198 ms
[2022-05-18 04:26:28] [INFO ] Dead Transitions using invariants and state equation in 4504 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 4641/5116 places, 7935/8720 transitions.
Finished structural reductions, in 1 iterations. Remains : 4641/5116 places, 7935/8720 transitions.
[2022-05-18 04:26:28] [INFO ] Flatten gal took : 257 ms
[2022-05-18 04:26:28] [INFO ] Flatten gal took : 242 ms
[2022-05-18 04:26:29] [INFO ] Input system was already deterministic with 7935 transitions.
[2022-05-18 04:26:29] [INFO ] Flatten gal took : 322 ms
[2022-05-18 04:26:29] [INFO ] Flatten gal took : 242 ms
[2022-05-18 04:26:29] [INFO ] Time to serialize gal into /tmp/CTLFireability12666569497938261128.gal : 27 ms
[2022-05-18 04:26:29] [INFO ] Time to serialize properties into /tmp/CTLFireability14461124711805452064.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12666569497938261128.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14461124711805452064.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 04:27:00] [INFO ] Flatten gal took : 245 ms
[2022-05-18 04:27:00] [INFO ] Applying decomposition
[2022-05-18 04:27:00] [INFO ] Flatten gal took : 246 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph6653553096475775108.txt' '-o' '/tmp/graph6653553096475775108.bin' '-w' '/tmp/graph6653553096475775108.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph6653553096475775108.bin' '-l' '-1' '-v' '-w' '/tmp/graph6653553096475775108.weights' '-q' '0' '-e' '0.001'
[2022-05-18 04:27:01] [INFO ] Decomposing Gal with order
[2022-05-18 04:27:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 04:27:02] [INFO ] Removed a total of 6661 redundant transitions.
[2022-05-18 04:27:02] [INFO ] Flatten gal took : 1600 ms
[2022-05-18 04:27:03] [INFO ] Fuse similar labels procedure discarded/fused a total of 5330 labels/synchronizations in 346 ms.
[2022-05-18 04:27:03] [INFO ] Time to serialize gal into /tmp/CTLFireability1849464853555736320.gal : 40 ms
[2022-05-18 04:27:03] [INFO ] Time to serialize properties into /tmp/CTLFireability14036642156477173715.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1849464853555736320.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14036642156477173715.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 5116/5116 places, 8720/8720 transitions.
Discarding 59 places :
Symmetric choice reduction at 0 with 59 rule applications. Total rules 59 place count 5057 transition count 8586
Iterating global reduction 0 with 59 rules applied. Total rules applied 118 place count 5057 transition count 8586
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 161 place count 5014 transition count 8423
Iterating global reduction 0 with 43 rules applied. Total rules applied 204 place count 5014 transition count 8423
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 223 place count 4995 transition count 8309
Iterating global reduction 0 with 19 rules applied. Total rules applied 242 place count 4995 transition count 8309
Applied a total of 242 rules in 1509 ms. Remains 4995 /5116 variables (removed 121) and now considering 8309/8720 (removed 411) transitions.
[2022-05-18 04:27:35] [INFO ] Flow matrix only has 7709 transitions (discarded 600 similar events)
// Phase 1: matrix 7709 rows 4995 cols
[2022-05-18 04:27:35] [INFO ] Computed 989 place invariants in 183 ms
[2022-05-18 04:27:38] [INFO ] Implicit Places using invariants in 3619 ms returned []
[2022-05-18 04:27:38] [INFO ] Flow matrix only has 7709 transitions (discarded 600 similar events)
// Phase 1: matrix 7709 rows 4995 cols
[2022-05-18 04:27:38] [INFO ] Computed 989 place invariants in 186 ms
[2022-05-18 04:27:42] [INFO ] Implicit Places using invariants and state equation in 3652 ms returned []
Implicit Place search using SMT with State Equation took 7276 ms to find 0 implicit places.
[2022-05-18 04:27:42] [INFO ] Flow matrix only has 7709 transitions (discarded 600 similar events)
// Phase 1: matrix 7709 rows 4995 cols
[2022-05-18 04:27:42] [INFO ] Computed 989 place invariants in 186 ms
[2022-05-18 04:27:47] [INFO ] Dead Transitions using invariants and state equation in 5108 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 4995/5116 places, 8309/8720 transitions.
Finished structural reductions, in 1 iterations. Remains : 4995/5116 places, 8309/8720 transitions.
[2022-05-18 04:27:47] [INFO ] Flatten gal took : 226 ms
[2022-05-18 04:27:48] [INFO ] Flatten gal took : 271 ms
[2022-05-18 04:27:48] [INFO ] Input system was already deterministic with 8309 transitions.
[2022-05-18 04:27:48] [INFO ] Flatten gal took : 272 ms
[2022-05-18 04:27:48] [INFO ] Flatten gal took : 245 ms
[2022-05-18 04:27:49] [INFO ] Time to serialize gal into /tmp/CTLFireability15702918691864927545.gal : 302 ms
[2022-05-18 04:27:49] [INFO ] Time to serialize properties into /tmp/CTLFireability2304470204990355785.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15702918691864927545.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2304470204990355785.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 04:28:19] [INFO ] Flatten gal took : 241 ms
[2022-05-18 04:28:19] [INFO ] Applying decomposition
[2022-05-18 04:28:19] [INFO ] Flatten gal took : 252 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph17568458246965150944.txt' '-o' '/tmp/graph17568458246965150944.bin' '-w' '/tmp/graph17568458246965150944.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph17568458246965150944.bin' '-l' '-1' '-v' '-w' '/tmp/graph17568458246965150944.weights' '-q' '0' '-e' '0.001'
[2022-05-18 04:28:20] [INFO ] Decomposing Gal with order
[2022-05-18 04:28:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 04:28:21] [INFO ] Removed a total of 6188 redundant transitions.
[2022-05-18 04:28:22] [INFO ] Flatten gal took : 1074 ms
[2022-05-18 04:28:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 2883 labels/synchronizations in 222 ms.
[2022-05-18 04:28:22] [INFO ] Time to serialize gal into /tmp/CTLFireability1861921758312193956.gal : 273 ms
[2022-05-18 04:28:22] [INFO ] Time to serialize properties into /tmp/CTLFireability10019588948633705718.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1861921758312193956.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10019588948633705718.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 5116/5116 places, 8720/8720 transitions.
Discarding 62 places :
Symmetric choice reduction at 0 with 62 rule applications. Total rules 62 place count 5054 transition count 8573
Iterating global reduction 0 with 62 rules applied. Total rules applied 124 place count 5054 transition count 8573
Discarding 44 places :
Symmetric choice reduction at 0 with 44 rule applications. Total rules 168 place count 5010 transition count 8414
Iterating global reduction 0 with 44 rules applied. Total rules applied 212 place count 5010 transition count 8414
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 232 place count 4990 transition count 8294
Iterating global reduction 0 with 20 rules applied. Total rules applied 252 place count 4990 transition count 8294
Applied a total of 252 rules in 1396 ms. Remains 4990 /5116 variables (removed 126) and now considering 8294/8720 (removed 426) transitions.
[2022-05-18 04:28:54] [INFO ] Flow matrix only has 7694 transitions (discarded 600 similar events)
// Phase 1: matrix 7694 rows 4990 cols
[2022-05-18 04:28:54] [INFO ] Computed 989 place invariants in 186 ms
[2022-05-18 04:28:57] [INFO ] Implicit Places using invariants in 3666 ms returned []
[2022-05-18 04:28:57] [INFO ] Flow matrix only has 7694 transitions (discarded 600 similar events)
// Phase 1: matrix 7694 rows 4990 cols
[2022-05-18 04:28:58] [INFO ] Computed 989 place invariants in 188 ms
[2022-05-18 04:29:01] [INFO ] Implicit Places using invariants and state equation in 3680 ms returned []
Implicit Place search using SMT with State Equation took 7383 ms to find 0 implicit places.
[2022-05-18 04:29:01] [INFO ] Flow matrix only has 7694 transitions (discarded 600 similar events)
// Phase 1: matrix 7694 rows 4990 cols
[2022-05-18 04:29:01] [INFO ] Computed 989 place invariants in 187 ms
[2022-05-18 04:29:06] [INFO ] Dead Transitions using invariants and state equation in 4898 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 4990/5116 places, 8294/8720 transitions.
Finished structural reductions, in 1 iterations. Remains : 4990/5116 places, 8294/8720 transitions.
[2022-05-18 04:29:06] [INFO ] Flatten gal took : 258 ms
[2022-05-18 04:29:06] [INFO ] Flatten gal took : 274 ms
[2022-05-18 04:29:07] [INFO ] Input system was already deterministic with 8294 transitions.
[2022-05-18 04:29:07] [INFO ] Flatten gal took : 257 ms
[2022-05-18 04:29:08] [INFO ] Flatten gal took : 266 ms
[2022-05-18 04:29:08] [INFO ] Time to serialize gal into /tmp/CTLFireability7747967793679722362.gal : 28 ms
[2022-05-18 04:29:08] [INFO ] Time to serialize properties into /tmp/CTLFireability7769008727698759278.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7747967793679722362.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7769008727698759278.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 04:29:38] [INFO ] Flatten gal took : 254 ms
[2022-05-18 04:29:38] [INFO ] Applying decomposition
[2022-05-18 04:29:38] [INFO ] Flatten gal took : 262 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph5097624245337632653.txt' '-o' '/tmp/graph5097624245337632653.bin' '-w' '/tmp/graph5097624245337632653.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph5097624245337632653.bin' '-l' '-1' '-v' '-w' '/tmp/graph5097624245337632653.weights' '-q' '0' '-e' '0.001'
[2022-05-18 04:29:39] [INFO ] Decomposing Gal with order
[2022-05-18 04:29:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 04:29:40] [INFO ] Removed a total of 6067 redundant transitions.
[2022-05-18 04:29:40] [INFO ] Flatten gal took : 1003 ms
[2022-05-18 04:29:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 4261 labels/synchronizations in 374 ms.
[2022-05-18 04:29:41] [INFO ] Time to serialize gal into /tmp/CTLFireability16315843493700939671.gal : 40 ms
[2022-05-18 04:29:41] [INFO ] Time to serialize properties into /tmp/CTLFireability1155122062639863067.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16315843493700939671.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1155122062639863067.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 5116/5116 places, 8720/8720 transitions.
Drop transitions removed 21 transitions
Trivial Post-agglo rules discarded 21 transitions
Performed 21 trivial Post agglomeration. Transition count delta: 21
Iterating post reduction 0 with 21 rules applied. Total rules applied 21 place count 5116 transition count 8699
Reduce places removed 21 places and 0 transitions.
Iterating post reduction 1 with 21 rules applied. Total rules applied 42 place count 5095 transition count 8699
Performed 302 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 302 Pre rules applied. Total rules applied 42 place count 5095 transition count 8397
Deduced a syphon composed of 302 places in 5 ms
Reduce places removed 302 places and 0 transitions.
Iterating global reduction 2 with 604 rules applied. Total rules applied 646 place count 4793 transition count 8397
Discarding 43 places :
Symmetric choice reduction at 2 with 43 rule applications. Total rules 689 place count 4750 transition count 8269
Iterating global reduction 2 with 43 rules applied. Total rules applied 732 place count 4750 transition count 8269
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 732 place count 4750 transition count 8267
Deduced a syphon composed of 2 places in 5 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 736 place count 4748 transition count 8267
Discarding 25 places :
Symmetric choice reduction at 2 with 25 rule applications. Total rules 761 place count 4723 transition count 8117
Iterating global reduction 2 with 25 rules applied. Total rules applied 786 place count 4723 transition count 8117
Performed 35 Post agglomeration using F-continuation condition.Transition count delta: 35
Deduced a syphon composed of 35 places in 5 ms
Reduce places removed 35 places and 0 transitions.
Iterating global reduction 2 with 70 rules applied. Total rules applied 856 place count 4688 transition count 8082
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 876 place count 4668 transition count 8062
Iterating global reduction 2 with 20 rules applied. Total rules applied 896 place count 4668 transition count 8062
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 10 Pre rules applied. Total rules applied 896 place count 4668 transition count 8052
Deduced a syphon composed of 10 places in 4 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 2 with 20 rules applied. Total rules applied 916 place count 4658 transition count 8052
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 936 place count 4638 transition count 7932
Iterating global reduction 2 with 20 rules applied. Total rules applied 956 place count 4638 transition count 7932
Applied a total of 956 rules in 2588 ms. Remains 4638 /5116 variables (removed 478) and now considering 7932/8720 (removed 788) transitions.
[2022-05-18 04:30:13] [INFO ] Flow matrix only has 7332 transitions (discarded 600 similar events)
// Phase 1: matrix 7332 rows 4638 cols
[2022-05-18 04:30:14] [INFO ] Computed 989 place invariants in 201 ms
[2022-05-18 04:30:19] [INFO ] Implicit Places using invariants in 5620 ms returned []
[2022-05-18 04:30:19] [INFO ] Flow matrix only has 7332 transitions (discarded 600 similar events)
// Phase 1: matrix 7332 rows 4638 cols
[2022-05-18 04:30:19] [INFO ] Computed 989 place invariants in 198 ms
[2022-05-18 04:30:24] [INFO ] Implicit Places using invariants and state equation in 5515 ms returned []
Implicit Place search using SMT with State Equation took 11136 ms to find 0 implicit places.
[2022-05-18 04:30:25] [INFO ] Redundant transitions in 616 ms returned []
[2022-05-18 04:30:25] [INFO ] Flow matrix only has 7332 transitions (discarded 600 similar events)
// Phase 1: matrix 7332 rows 4638 cols
[2022-05-18 04:30:25] [INFO ] Computed 989 place invariants in 201 ms
[2022-05-18 04:30:30] [INFO ] Dead Transitions using invariants and state equation in 4932 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 4638/5116 places, 7932/8720 transitions.
Finished structural reductions, in 1 iterations. Remains : 4638/5116 places, 7932/8720 transitions.
[2022-05-18 04:30:30] [INFO ] Flatten gal took : 250 ms
[2022-05-18 04:30:31] [INFO ] Flatten gal took : 286 ms
[2022-05-18 04:30:31] [INFO ] Input system was already deterministic with 7932 transitions.
[2022-05-18 04:30:31] [INFO ] Flatten gal took : 275 ms
[2022-05-18 04:30:32] [INFO ] Flatten gal took : 279 ms
[2022-05-18 04:30:32] [INFO ] Time to serialize gal into /tmp/CTLFireability11482905614777364264.gal : 32 ms
[2022-05-18 04:30:32] [INFO ] Time to serialize properties into /tmp/CTLFireability18431540088549986205.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11482905614777364264.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18431540088549986205.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 04:31:02] [INFO ] Flatten gal took : 369 ms
[2022-05-18 04:31:02] [INFO ] Applying decomposition
[2022-05-18 04:31:02] [INFO ] Flatten gal took : 254 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph12497610515496957132.txt' '-o' '/tmp/graph12497610515496957132.bin' '-w' '/tmp/graph12497610515496957132.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph12497610515496957132.bin' '-l' '-1' '-v' '-w' '/tmp/graph12497610515496957132.weights' '-q' '0' '-e' '0.001'
[2022-05-18 04:31:03] [INFO ] Decomposing Gal with order
[2022-05-18 04:31:03] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 04:31:05] [INFO ] Removed a total of 6782 redundant transitions.
[2022-05-18 04:31:05] [INFO ] Flatten gal took : 1504 ms
[2022-05-18 04:31:05] [INFO ] Fuse similar labels procedure discarded/fused a total of 5755 labels/synchronizations in 343 ms.
[2022-05-18 04:31:06] [INFO ] Time to serialize gal into /tmp/CTLFireability18090705867366255508.gal : 126 ms
[2022-05-18 04:31:06] [INFO ] Time to serialize properties into /tmp/CTLFireability11686459371384563408.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability18090705867366255508.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11686459371384563408.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...255
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 5116/5116 places, 8720/8720 transitions.
Drop transitions removed 19 transitions
Trivial Post-agglo rules discarded 19 transitions
Performed 19 trivial Post agglomeration. Transition count delta: 19
Iterating post reduction 0 with 19 rules applied. Total rules applied 19 place count 5116 transition count 8701
Reduce places removed 19 places and 0 transitions.
Iterating post reduction 1 with 19 rules applied. Total rules applied 38 place count 5097 transition count 8701
Performed 299 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 299 Pre rules applied. Total rules applied 38 place count 5097 transition count 8402
Deduced a syphon composed of 299 places in 5 ms
Reduce places removed 299 places and 0 transitions.
Iterating global reduction 2 with 598 rules applied. Total rules applied 636 place count 4798 transition count 8402
Discarding 41 places :
Symmetric choice reduction at 2 with 41 rule applications. Total rules 677 place count 4757 transition count 8271
Iterating global reduction 2 with 41 rules applied. Total rules applied 718 place count 4757 transition count 8271
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 718 place count 4757 transition count 8270
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 720 place count 4756 transition count 8270
Discarding 23 places :
Symmetric choice reduction at 2 with 23 rule applications. Total rules 743 place count 4733 transition count 8132
Iterating global reduction 2 with 23 rules applied. Total rules applied 766 place count 4733 transition count 8132
Performed 35 Post agglomeration using F-continuation condition.Transition count delta: 35
Deduced a syphon composed of 35 places in 5 ms
Reduce places removed 35 places and 0 transitions.
Iterating global reduction 2 with 70 rules applied. Total rules applied 836 place count 4698 transition count 8097
Discarding 18 places :
Symmetric choice reduction at 2 with 18 rule applications. Total rules 854 place count 4680 transition count 8079
Iterating global reduction 2 with 18 rules applied. Total rules applied 872 place count 4680 transition count 8079
Performed 6 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 6 Pre rules applied. Total rules applied 872 place count 4680 transition count 8073
Deduced a syphon composed of 6 places in 81 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 2 with 12 rules applied. Total rules applied 884 place count 4674 transition count 8073
Discarding 17 places :
Symmetric choice reduction at 2 with 17 rule applications. Total rules 901 place count 4657 transition count 7971
Iterating global reduction 2 with 17 rules applied. Total rules applied 918 place count 4657 transition count 7971
Applied a total of 918 rules in 2671 ms. Remains 4657 /5116 variables (removed 459) and now considering 7971/8720 (removed 749) transitions.
[2022-05-18 04:31:38] [INFO ] Flow matrix only has 7371 transitions (discarded 600 similar events)
// Phase 1: matrix 7371 rows 4657 cols
[2022-05-18 04:31:38] [INFO ] Computed 989 place invariants in 191 ms
[2022-05-18 04:31:42] [INFO ] Implicit Places using invariants in 3692 ms returned []
[2022-05-18 04:31:42] [INFO ] Flow matrix only has 7371 transitions (discarded 600 similar events)
// Phase 1: matrix 7371 rows 4657 cols
[2022-05-18 04:31:42] [INFO ] Computed 989 place invariants in 189 ms
[2022-05-18 04:31:46] [INFO ] Implicit Places using invariants and state equation in 3829 ms returned []
Implicit Place search using SMT with State Equation took 7550 ms to find 0 implicit places.
[2022-05-18 04:31:46] [INFO ] Redundant transitions in 661 ms returned []
[2022-05-18 04:31:46] [INFO ] Flow matrix only has 7371 transitions (discarded 600 similar events)
// Phase 1: matrix 7371 rows 4657 cols
[2022-05-18 04:31:47] [INFO ] Computed 989 place invariants in 193 ms
[2022-05-18 04:31:51] [INFO ] Dead Transitions using invariants and state equation in 4478 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 4657/5116 places, 7971/8720 transitions.
Finished structural reductions, in 1 iterations. Remains : 4657/5116 places, 7971/8720 transitions.
[2022-05-18 04:31:51] [INFO ] Flatten gal took : 225 ms
[2022-05-18 04:31:51] [INFO ] Flatten gal took : 258 ms
[2022-05-18 04:31:52] [INFO ] Input system was already deterministic with 7971 transitions.
[2022-05-18 04:31:52] [INFO ] Flatten gal took : 254 ms
[2022-05-18 04:31:53] [INFO ] Flatten gal took : 258 ms
[2022-05-18 04:31:53] [INFO ] Time to serialize gal into /tmp/CTLFireability13601851588335833732.gal : 32 ms
[2022-05-18 04:31:53] [INFO ] Time to serialize properties into /tmp/CTLFireability15548259655037166932.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13601851588335833732.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15548259655037166932.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 04:32:23] [INFO ] Flatten gal took : 243 ms
[2022-05-18 04:32:23] [INFO ] Applying decomposition
[2022-05-18 04:32:23] [INFO ] Flatten gal took : 249 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph1709352369450747523.txt' '-o' '/tmp/graph1709352369450747523.bin' '-w' '/tmp/graph1709352369450747523.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph1709352369450747523.bin' '-l' '-1' '-v' '-w' '/tmp/graph1709352369450747523.weights' '-q' '0' '-e' '0.001'
[2022-05-18 04:32:24] [INFO ] Decomposing Gal with order
[2022-05-18 04:32:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 04:32:25] [INFO ] Removed a total of 6648 redundant transitions.
[2022-05-18 04:32:26] [INFO ] Flatten gal took : 1566 ms
[2022-05-18 04:32:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 4566 labels/synchronizations in 335 ms.
[2022-05-18 04:32:26] [INFO ] Time to serialize gal into /tmp/CTLFireability5284410635563396316.gal : 47 ms
[2022-05-18 04:32:26] [INFO ] Time to serialize properties into /tmp/CTLFireability6199373961699204014.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5284410635563396316.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6199373961699204014.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 04:32:57] [INFO ] Flatten gal took : 271 ms
[2022-05-18 04:32:57] [INFO ] Flatten gal took : 275 ms
[2022-05-18 04:32:57] [INFO ] Applying decomposition
[2022-05-18 04:32:57] [INFO ] Flatten gal took : 274 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph1739820110455108164.txt' '-o' '/tmp/graph1739820110455108164.bin' '-w' '/tmp/graph1739820110455108164.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph1739820110455108164.bin' '-l' '-1' '-v' '-w' '/tmp/graph1739820110455108164.weights' '-q' '0' '-e' '0.001'
[2022-05-18 04:32:58] [INFO ] Decomposing Gal with order
[2022-05-18 04:32:58] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 04:32:59] [INFO ] Removed a total of 7150 redundant transitions.
[2022-05-18 04:32:59] [INFO ] Flatten gal took : 923 ms
[2022-05-18 04:33:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 3431 labels/synchronizations in 246 ms.
[2022-05-18 04:33:00] [INFO ] Time to serialize gal into /tmp/CTLFireability3218195027287064382.gal : 51 ms
[2022-05-18 04:33:00] [INFO ] Time to serialize properties into /tmp/CTLFireability7965291678562991434.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3218195027287064382.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7965291678562991434.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 15 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 05:01:04] [INFO ] Flatten gal took : 1165 ms
[2022-05-18 05:01:05] [INFO ] Time to serialize gal into /tmp/CTLFireability17619112176764111866.gal : 96 ms
[2022-05-18 05:01:05] [INFO ] Time to serialize properties into /tmp/CTLFireability10921591329755824824.ctl : 8 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17619112176764111866.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10921591329755824824.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 15 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export LANG=C
+ LANG=C
+ 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
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -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=@none -Xss128m -Xms40m -Xmx8192m
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="MultiCrashLeafsetExtension-PT-S24C06"
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 MultiCrashLeafsetExtension-PT-S24C06, 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 r132-tall-165271821300738"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C06.tgz
mv MultiCrashLeafsetExtension-PT-S24C06 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 ;