About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S24C11
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16217.924 | 3600000.00 | 3633913.00 | 89233.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-165271821300778.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-S24C11, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r132-tall-165271821300778
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 19M
-rw-r--r-- 1 mcc users 13K Apr 29 16:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Apr 29 16:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Apr 29 16:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Apr 29 16:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.7K May 9 08:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 9 08:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K May 9 08:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 9 08:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.4K 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 19M 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-S24C11-CTLFireability-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLFireability-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLFireability-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLFireability-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLFireability-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLFireability-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLFireability-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLFireability-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLFireability-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLFireability-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLFireability-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLFireability-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLFireability-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLFireability-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLFireability-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C11-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1652862703233
Running Version 202205111006
[2022-05-18 08:31:44] [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 08:31:44] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-18 08:31:45] [INFO ] Load time of PNML (sax parser for PT used): 828 ms
[2022-05-18 08:31:45] [INFO ] Transformed 19254 places.
[2022-05-18 08:31:45] [INFO ] Transformed 27973 transitions.
[2022-05-18 08:31:45] [INFO ] Parsed PT model containing 19254 places and 27973 transitions in 1049 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 25 ms.
Support contains 164 out of 19254 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 19254/19254 places, 27973/27973 transitions.
Reduce places removed 50 places and 0 transitions.
Iterating post reduction 0 with 50 rules applied. Total rules applied 50 place count 19204 transition count 27973
Applied a total of 50 rules in 960 ms. Remains 19204 /19254 variables (removed 50) and now considering 27973/27973 (removed 0) transitions.
[2022-05-18 08:31:46] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:31:49] [INFO ] Computed 1249 place invariants in 2802 ms
[2022-05-18 08:31:52] [INFO ] Implicit Places using invariants in 5540 ms returned []
Implicit Place search using SMT only with invariants took 5591 ms to find 0 implicit places.
[2022-05-18 08:31:52] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:31:54] [INFO ] Computed 1249 place invariants in 2553 ms
[2022-05-18 08:31:56] [INFO ] Dead Transitions using invariants and state equation in 4276 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 19204/19254 places, 27973/27973 transitions.
Finished structural reductions, in 1 iterations. Remains : 19204/19254 places, 27973/27973 transitions.
Support contains 164 out of 19204 places after structural reductions.
[2022-05-18 08:31:58] [INFO ] Flatten gal took : 1225 ms
[2022-05-18 08:31:59] [INFO ] Flatten gal took : 951 ms
[2022-05-18 08:32:01] [INFO ] Input system was already deterministic with 27973 transitions.
Support contains 163 out of 19204 places (down from 164) after GAL structural reductions.
Incomplete random walk after 10000 steps, including 89 resets, run finished after 998 ms. (steps per millisecond=10 ) properties (out of 79) seen :11
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 68) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 68) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 68) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 68) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 67) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 66) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 66) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=50 ) properties (out of 66) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 66) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 66) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 66) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 66) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 66) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 66) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 65) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 64) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 64) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 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 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 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 2 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 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 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 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 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 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 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 2 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 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 63) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 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 2 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 61) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 60) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 60) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 60) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 60) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 59) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=50 ) properties (out of 59) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 59) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 59) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 59) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 59) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 59) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 59) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 59) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 59) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 59) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 59) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 59) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 58) seen :0
Running SMT prover for 58 properties.
[2022-05-18 08:32:03] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:32:05] [INFO ] Computed 1249 place invariants in 2462 ms
[2022-05-18 08:32:23] [INFO ] [Real]Absence check using 47 positive place invariants in 247 ms returned sat
[2022-05-18 08:32:24] [INFO ] [Real]Absence check using 47 positive and 1202 generalized place invariants in 712 ms returned sat
[2022-05-18 08:32:30] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-18 08:32:30] [INFO ] After 25097ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 58 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 115 out of 19204 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 19204/19204 places, 27973/27973 transitions.
Drop transitions removed 6380 transitions
Trivial Post-agglo rules discarded 6380 transitions
Performed 6380 trivial Post agglomeration. Transition count delta: 6380
Iterating post reduction 0 with 6380 rules applied. Total rules applied 6380 place count 19204 transition count 21593
Reduce places removed 6380 places and 0 transitions.
Performed 204 Post agglomeration using F-continuation condition.Transition count delta: 204
Iterating post reduction 1 with 6584 rules applied. Total rules applied 12964 place count 12824 transition count 21389
Reduce places removed 204 places and 0 transitions.
Iterating post reduction 2 with 204 rules applied. Total rules applied 13168 place count 12620 transition count 21389
Performed 530 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 530 Pre rules applied. Total rules applied 13168 place count 12620 transition count 20859
Deduced a syphon composed of 530 places in 19 ms
Reduce places removed 530 places and 0 transitions.
Iterating global reduction 3 with 1060 rules applied. Total rules applied 14228 place count 12090 transition count 20859
Discarding 6017 places :
Symmetric choice reduction at 3 with 6017 rule applications. Total rules 20245 place count 6073 transition count 14842
Iterating global reduction 3 with 6017 rules applied. Total rules applied 26262 place count 6073 transition count 14842
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 5 Pre rules applied. Total rules applied 26262 place count 6073 transition count 14837
Deduced a syphon composed of 5 places in 15 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 3 with 10 rules applied. Total rules applied 26272 place count 6068 transition count 14837
Discarding 503 places :
Symmetric choice reduction at 3 with 503 rule applications. Total rules 26775 place count 5565 transition count 9304
Iterating global reduction 3 with 503 rules applied. Total rules applied 27278 place count 5565 transition count 9304
Performed 23 Post agglomeration using F-continuation condition.Transition count delta: 23
Deduced a syphon composed of 23 places in 6 ms
Reduce places removed 23 places and 0 transitions.
Iterating global reduction 3 with 46 rules applied. Total rules applied 27324 place count 5542 transition count 9281
Free-agglomeration rule (complex) applied 254 times.
Iterating global reduction 3 with 254 rules applied. Total rules applied 27578 place count 5542 transition count 9027
Reduce places removed 254 places and 0 transitions.
Iterating post reduction 3 with 254 rules applied. Total rules applied 27832 place count 5288 transition count 9027
Partial Free-agglomeration rule applied 408 times.
Drop transitions removed 408 transitions
Iterating global reduction 4 with 408 rules applied. Total rules applied 28240 place count 5288 transition count 9027
Applied a total of 28240 rules in 5641 ms. Remains 5288 /19204 variables (removed 13916) and now considering 9027/27973 (removed 18946) transitions.
Finished structural reductions, in 1 iterations. Remains : 5288/19204 places, 9027/27973 transitions.
Incomplete random walk after 10000 steps, including 126 resets, run finished after 456 ms. (steps per millisecond=21 ) properties (out of 54) seen :8
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 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 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 46) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 46) seen :0
Running SMT prover for 46 properties.
[2022-05-18 08:32:37] [INFO ] Flow matrix only has 8173 transitions (discarded 854 similar events)
// Phase 1: matrix 8173 rows 5288 cols
[2022-05-18 08:32:37] [INFO ] Computed 1249 place invariants in 230 ms
[2022-05-18 08:32:41] [INFO ] [Real]Absence check using 49 positive place invariants in 107 ms returned sat
[2022-05-18 08:32:42] [INFO ] [Real]Absence check using 49 positive and 1200 generalized place invariants in 355 ms returned sat
[2022-05-18 08:32:54] [INFO ] After 8436ms SMT Verify possible using state equation in real domain returned unsat :4 sat :5 real:37
[2022-05-18 08:32:54] [INFO ] State equation strengthened by 3572 read => feed constraints.
[2022-05-18 08:32:59] [INFO ] After 4627ms SMT Verify possible using 3572 Read/Feed constraints in real domain returned unsat :4 sat :0 real:42
[2022-05-18 08:32:59] [INFO ] After 21154ms SMT Verify possible using all constraints in real domain returned unsat :4 sat :0 real:42
[2022-05-18 08:33:02] [INFO ] [Nat]Absence check using 49 positive place invariants in 103 ms returned sat
[2022-05-18 08:33:02] [INFO ] [Nat]Absence check using 49 positive and 1200 generalized place invariants in 340 ms returned sat
[2022-05-18 08:33:24] [INFO ] After 17753ms SMT Verify possible using state equation in natural domain returned unsat :4 sat :42
[2022-05-18 08:33:24] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-18 08:33:24] [INFO ] After 25078ms SMT Verify possible using all constraints in natural domain returned unsat :4 sat :0 real:42
Fused 46 Parikh solutions to 35 different solutions.
Parikh walk visited 0 properties in 434 ms.
Support contains 81 out of 5288 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 5288/5288 places, 9027/9027 transitions.
Drop transitions removed 8 transitions
Trivial Post-agglo rules discarded 8 transitions
Performed 8 trivial Post agglomeration. Transition count delta: 8
Iterating post reduction 0 with 8 rules applied. Total rules applied 8 place count 5288 transition count 9019
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 1 with 8 rules applied. Total rules applied 16 place count 5280 transition count 9019
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 4 Pre rules applied. Total rules applied 16 place count 5280 transition count 9015
Deduced a syphon composed of 4 places in 4 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 24 place count 5276 transition count 9015
Discarding 9 places :
Symmetric choice reduction at 2 with 9 rule applications. Total rules 33 place count 5267 transition count 8956
Iterating global reduction 2 with 9 rules applied. Total rules applied 42 place count 5267 transition count 8956
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 42 place count 5267 transition count 8954
Deduced a syphon composed of 2 places in 4 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 46 place count 5265 transition count 8954
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 49 place count 5262 transition count 8921
Iterating global reduction 2 with 3 rules applied. Total rules applied 52 place count 5262 transition count 8921
Free-agglomeration rule (complex) applied 82 times.
Iterating global reduction 2 with 82 rules applied. Total rules applied 134 place count 5262 transition count 13949
Reduce places removed 82 places and 0 transitions.
Iterating post reduction 2 with 82 rules applied. Total rules applied 216 place count 5180 transition count 13949
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 218 place count 5178 transition count 13947
Iterating global reduction 3 with 2 rules applied. Total rules applied 220 place count 5178 transition count 13947
Partial Free-agglomeration rule applied 6 times.
Drop transitions removed 6 transitions
Iterating global reduction 3 with 6 rules applied. Total rules applied 226 place count 5178 transition count 13947
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 232 place count 5172 transition count 13941
Iterating global reduction 3 with 6 rules applied. Total rules applied 238 place count 5172 transition count 13941
Applied a total of 238 rules in 3531 ms. Remains 5172 /5288 variables (removed 116) and now considering 13941/9027 (removed -4914) transitions.
Finished structural reductions, in 1 iterations. Remains : 5172/5288 places, 13941/9027 transitions.
Incomplete random walk after 10000 steps, including 146 resets, run finished after 958 ms. (steps per millisecond=10 ) properties (out of 42) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 38) seen :0
Running SMT prover for 38 properties.
[2022-05-18 08:33:29] [INFO ] Flow matrix only has 13086 transitions (discarded 855 similar events)
// Phase 1: matrix 13086 rows 5172 cols
[2022-05-18 08:33:29] [INFO ] Computed 1249 place invariants in 381 ms
[2022-05-18 08:33:33] [INFO ] [Real]Absence check using 49 positive place invariants in 86 ms returned sat
[2022-05-18 08:33:33] [INFO ] [Real]Absence check using 49 positive and 1200 generalized place invariants in 344 ms returned sat
[2022-05-18 08:33:55] [INFO ] After 18307ms SMT Verify possible using state equation in real domain returned unsat :0 sat :28 real:10
[2022-05-18 08:33:55] [INFO ] State equation strengthened by 8602 read => feed constraints.
[2022-05-18 08:33:55] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-18 08:33:55] [INFO ] After 25167ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 38 Parikh solutions to 5 different solutions.
Parikh walk visited 0 properties in 30 ms.
Support contains 75 out of 5172 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 5172/5172 places, 13941/13941 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 5172 transition count 13939
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 5170 transition count 13939
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 2 with 4 rules applied. Total rules applied 8 place count 5170 transition count 13935
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 12 place count 5166 transition count 13935
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 14 place count 5164 transition count 13933
Iterating global reduction 3 with 2 rules applied. Total rules applied 16 place count 5164 transition count 13933
Applied a total of 16 rules in 2078 ms. Remains 5164 /5172 variables (removed 8) and now considering 13933/13941 (removed 8) transitions.
Finished structural reductions, in 1 iterations. Remains : 5164/5172 places, 13933/13941 transitions.
Successfully simplified 8 atomic propositions for a total of 16 simplifications.
[2022-05-18 08:33:58] [INFO ] Flatten gal took : 760 ms
[2022-05-18 08:33:59] [INFO ] Flatten gal took : 873 ms
[2022-05-18 08:34:00] [INFO ] Input system was already deterministic with 27973 transitions.
Computed a total of 16580 stabilizing places and 22772 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 19204/19204 places, 27973/27973 transitions.
Applied a total of 0 rules in 428 ms. Remains 19204 /19204 variables (removed 0) and now considering 27973/27973 (removed 0) transitions.
[2022-05-18 08:34:01] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:34:03] [INFO ] Computed 1249 place invariants in 2449 ms
[2022-05-18 08:34:05] [INFO ] Implicit Places using invariants in 4298 ms returned []
Implicit Place search using SMT only with invariants took 4300 ms to find 0 implicit places.
[2022-05-18 08:34:05] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:34:07] [INFO ] Computed 1249 place invariants in 2435 ms
[2022-05-18 08:34:09] [INFO ] Dead Transitions using invariants and state equation in 4258 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 19204/19204 places, 27973/27973 transitions.
[2022-05-18 08:34:10] [INFO ] Flatten gal took : 804 ms
[2022-05-18 08:34:11] [INFO ] Flatten gal took : 818 ms
[2022-05-18 08:34:13] [INFO ] Input system was already deterministic with 27973 transitions.
[2022-05-18 08:34:14] [INFO ] Flatten gal took : 876 ms
[2022-05-18 08:34:14] [INFO ] Flatten gal took : 907 ms
[2022-05-18 08:34:15] [INFO ] Time to serialize gal into /tmp/CTLFireability13577224842209987125.gal : 221 ms
[2022-05-18 08:34:15] [INFO ] Time to serialize properties into /tmp/CTLFireability4090569245769898733.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/CTLFireability13577224842209987125.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4090569245769898733.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 08:34:46] [INFO ] Flatten gal took : 831 ms
[2022-05-18 08:34:46] [INFO ] Applying decomposition
[2022-05-18 08:34:46] [INFO ] Flatten gal took : 824 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/graph7303408903344170551.txt' '-o' '/tmp/graph7303408903344170551.bin' '-w' '/tmp/graph7303408903344170551.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph7303408903344170551.bin' '-l' '-1' '-v' '-w' '/tmp/graph7303408903344170551.weights' '-q' '0' '-e' '0.001'
[2022-05-18 08:34:49] [INFO ] Decomposing Gal with order
[2022-05-18 08:34:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 08:34:57] [INFO ] Removed a total of 17861 redundant transitions.
[2022-05-18 08:34:57] [INFO ] Flatten gal took : 4228 ms
[2022-05-18 08:34:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 1403 labels/synchronizations in 591 ms.
[2022-05-18 08:34:59] [INFO ] Time to serialize gal into /tmp/CTLFireability2594634645036094809.gal : 164 ms
[2022-05-18 08:34:59] [INFO ] Time to serialize properties into /tmp/CTLFireability10739137216270511963.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/CTLFireability2594634645036094809.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10739137216270511963.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 : 19204/19204 places, 27973/27973 transitions.
Applied a total of 0 rules in 523 ms. Remains 19204 /19204 variables (removed 0) and now considering 27973/27973 (removed 0) transitions.
[2022-05-18 08:35:29] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:35:32] [INFO ] Computed 1249 place invariants in 2408 ms
[2022-05-18 08:35:33] [INFO ] Implicit Places using invariants in 4126 ms returned []
Implicit Place search using SMT only with invariants took 4128 ms to find 0 implicit places.
[2022-05-18 08:35:33] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:35:36] [INFO ] Computed 1249 place invariants in 2438 ms
[2022-05-18 08:35:37] [INFO ] Dead Transitions using invariants and state equation in 4147 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 19204/19204 places, 27973/27973 transitions.
[2022-05-18 08:35:38] [INFO ] Flatten gal took : 715 ms
[2022-05-18 08:35:39] [INFO ] Flatten gal took : 871 ms
[2022-05-18 08:35:40] [INFO ] Input system was already deterministic with 27973 transitions.
[2022-05-18 08:35:41] [INFO ] Flatten gal took : 787 ms
[2022-05-18 08:35:42] [INFO ] Flatten gal took : 862 ms
[2022-05-18 08:35:42] [INFO ] Time to serialize gal into /tmp/CTLFireability517352806659999513.gal : 87 ms
[2022-05-18 08:35:42] [INFO ] Time to serialize properties into /tmp/CTLFireability3162032053589111899.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/CTLFireability517352806659999513.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3162032053589111899.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...273
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 08:36:13] [INFO ] Flatten gal took : 779 ms
[2022-05-18 08:36:13] [INFO ] Applying decomposition
[2022-05-18 08:36:14] [INFO ] Flatten gal took : 788 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/graph2637893738779388186.txt' '-o' '/tmp/graph2637893738779388186.bin' '-w' '/tmp/graph2637893738779388186.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph2637893738779388186.bin' '-l' '-1' '-v' '-w' '/tmp/graph2637893738779388186.weights' '-q' '0' '-e' '0.001'
[2022-05-18 08:36:16] [INFO ] Decomposing Gal with order
[2022-05-18 08:36:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 08:36:23] [INFO ] Removed a total of 17768 redundant transitions.
[2022-05-18 08:36:23] [INFO ] Flatten gal took : 3191 ms
[2022-05-18 08:36:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 1735 labels/synchronizations in 376 ms.
[2022-05-18 08:36:24] [INFO ] Time to serialize gal into /tmp/CTLFireability11602754154851271239.gal : 110 ms
[2022-05-18 08:36:24] [INFO ] Time to serialize properties into /tmp/CTLFireability17654929409266740480.ctl : 12 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/CTLFireability11602754154851271239.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17654929409266740480.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 : 19204/19204 places, 27973/27973 transitions.
Applied a total of 0 rules in 412 ms. Remains 19204 /19204 variables (removed 0) and now considering 27973/27973 (removed 0) transitions.
[2022-05-18 08:36:54] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:36:57] [INFO ] Computed 1249 place invariants in 2415 ms
[2022-05-18 08:36:58] [INFO ] Implicit Places using invariants in 4012 ms returned []
Implicit Place search using SMT only with invariants took 4032 ms to find 0 implicit places.
[2022-05-18 08:36:58] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:37:01] [INFO ] Computed 1249 place invariants in 2395 ms
[2022-05-18 08:37:02] [INFO ] Dead Transitions using invariants and state equation in 4055 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 19204/19204 places, 27973/27973 transitions.
[2022-05-18 08:37:03] [INFO ] Flatten gal took : 704 ms
[2022-05-18 08:37:04] [INFO ] Flatten gal took : 766 ms
[2022-05-18 08:37:05] [INFO ] Input system was already deterministic with 27973 transitions.
[2022-05-18 08:37:06] [INFO ] Flatten gal took : 763 ms
[2022-05-18 08:37:07] [INFO ] Flatten gal took : 829 ms
[2022-05-18 08:37:07] [INFO ] Time to serialize gal into /tmp/CTLFireability1198111241164860880.gal : 83 ms
[2022-05-18 08:37:07] [INFO ] Time to serialize properties into /tmp/CTLFireability14371108087541555683.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/CTLFireability1198111241164860880.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14371108087541555683.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 08:37:38] [INFO ] Flatten gal took : 774 ms
[2022-05-18 08:37:38] [INFO ] Applying decomposition
[2022-05-18 08:37:39] [INFO ] Flatten gal took : 780 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/graph1815091578916637781.txt' '-o' '/tmp/graph1815091578916637781.bin' '-w' '/tmp/graph1815091578916637781.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph1815091578916637781.bin' '-l' '-1' '-v' '-w' '/tmp/graph1815091578916637781.weights' '-q' '0' '-e' '0.001'
[2022-05-18 08:37:40] [INFO ] Decomposing Gal with order
[2022-05-18 08:37:41] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 08:37:47] [INFO ] Removed a total of 17815 redundant transitions.
[2022-05-18 08:37:47] [INFO ] Flatten gal took : 3115 ms
[2022-05-18 08:37:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 1476 labels/synchronizations in 451 ms.
[2022-05-18 08:37:48] [INFO ] Time to serialize gal into /tmp/CTLFireability2676778971158758881.gal : 117 ms
[2022-05-18 08:37:48] [INFO ] Time to serialize properties into /tmp/CTLFireability2449208720906255027.ctl : 3 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/CTLFireability2676778971158758881.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2449208720906255027.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 : 19204/19204 places, 27973/27973 transitions.
Drop transitions removed 6573 transitions
Trivial Post-agglo rules discarded 6573 transitions
Performed 6573 trivial Post agglomeration. Transition count delta: 6573
Iterating post reduction 0 with 6573 rules applied. Total rules applied 6573 place count 19204 transition count 21400
Reduce places removed 6573 places and 0 transitions.
Performed 24 Post agglomeration using F-continuation condition.Transition count delta: 24
Iterating post reduction 1 with 6597 rules applied. Total rules applied 13170 place count 12631 transition count 21376
Reduce places removed 24 places and 0 transitions.
Iterating post reduction 2 with 24 rules applied. Total rules applied 13194 place count 12607 transition count 21376
Performed 548 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 548 Pre rules applied. Total rules applied 13194 place count 12607 transition count 20828
Deduced a syphon composed of 548 places in 17 ms
Reduce places removed 548 places and 0 transitions.
Iterating global reduction 3 with 1096 rules applied. Total rules applied 14290 place count 12059 transition count 20828
Discarding 6045 places :
Symmetric choice reduction at 3 with 6045 rule applications. Total rules 20335 place count 6014 transition count 14783
Iterating global reduction 3 with 6045 rules applied. Total rules applied 26380 place count 6014 transition count 14783
Performed 18 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 18 Pre rules applied. Total rules applied 26380 place count 6014 transition count 14765
Deduced a syphon composed of 18 places in 9 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 3 with 36 rules applied. Total rules applied 26416 place count 5996 transition count 14765
Discarding 543 places :
Symmetric choice reduction at 3 with 543 rule applications. Total rules 26959 place count 5453 transition count 8792
Iterating global reduction 3 with 543 rules applied. Total rules applied 27502 place count 5453 transition count 8792
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 6 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 3 with 50 rules applied. Total rules applied 27552 place count 5428 transition count 8767
Applied a total of 27552 rules in 4083 ms. Remains 5428 /19204 variables (removed 13776) and now considering 8767/27973 (removed 19206) transitions.
[2022-05-18 08:38:22] [INFO ] Flow matrix only has 8167 transitions (discarded 600 similar events)
// Phase 1: matrix 8167 rows 5428 cols
[2022-05-18 08:38:23] [INFO ] Computed 1249 place invariants in 295 ms
[2022-05-18 08:38:28] [INFO ] Implicit Places using invariants in 5491 ms returned []
[2022-05-18 08:38:28] [INFO ] Flow matrix only has 8167 transitions (discarded 600 similar events)
// Phase 1: matrix 8167 rows 5428 cols
[2022-05-18 08:38:28] [INFO ] Computed 1249 place invariants in 257 ms
[2022-05-18 08:38:34] [INFO ] Implicit Places using invariants and state equation in 6222 ms returned []
Implicit Place search using SMT with State Equation took 11717 ms to find 0 implicit places.
[2022-05-18 08:38:35] [INFO ] Redundant transitions in 1105 ms returned []
[2022-05-18 08:38:35] [INFO ] Flow matrix only has 8167 transitions (discarded 600 similar events)
// Phase 1: matrix 8167 rows 5428 cols
[2022-05-18 08:38:35] [INFO ] Computed 1249 place invariants in 279 ms
[2022-05-18 08:38:41] [INFO ] Dead Transitions using invariants and state equation in 6239 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 5428/19204 places, 8767/27973 transitions.
Finished structural reductions, in 1 iterations. Remains : 5428/19204 places, 8767/27973 transitions.
[2022-05-18 08:38:42] [INFO ] Flatten gal took : 252 ms
[2022-05-18 08:38:42] [INFO ] Flatten gal took : 299 ms
[2022-05-18 08:38:43] [INFO ] Input system was already deterministic with 8767 transitions.
[2022-05-18 08:38:43] [INFO ] Flatten gal took : 278 ms
[2022-05-18 08:38:43] [INFO ] Flatten gal took : 293 ms
[2022-05-18 08:38:43] [INFO ] Time to serialize gal into /tmp/CTLFireability10152842636171937240.gal : 39 ms
[2022-05-18 08:38:43] [INFO ] Time to serialize properties into /tmp/CTLFireability635581158555041561.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/CTLFireability10152842636171937240.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability635581158555041561.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 08:39:14] [INFO ] Flatten gal took : 243 ms
[2022-05-18 08:39:14] [INFO ] Applying decomposition
[2022-05-18 08:39:14] [INFO ] Flatten gal took : 255 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/graph685417085691997321.txt' '-o' '/tmp/graph685417085691997321.bin' '-w' '/tmp/graph685417085691997321.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph685417085691997321.bin' '-l' '-1' '-v' '-w' '/tmp/graph685417085691997321.weights' '-q' '0' '-e' '0.001'
[2022-05-18 08:39:14] [INFO ] Decomposing Gal with order
[2022-05-18 08:39:15] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 08:39:16] [INFO ] Removed a total of 7433 redundant transitions.
[2022-05-18 08:39:16] [INFO ] Flatten gal took : 1506 ms
[2022-05-18 08:39:17] [INFO ] Fuse similar labels procedure discarded/fused a total of 4974 labels/synchronizations in 464 ms.
[2022-05-18 08:39:17] [INFO ] Time to serialize gal into /tmp/CTLFireability17603333616821829336.gal : 48 ms
[2022-05-18 08:39:17] [INFO ] Time to serialize properties into /tmp/CTLFireability827188098369618091.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/CTLFireability17603333616821829336.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability827188098369618091.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 LTL mode, iteration 0 : 19204/19204 places, 27973/27973 transitions.
Applied a total of 0 rules in 398 ms. Remains 19204 /19204 variables (removed 0) and now considering 27973/27973 (removed 0) transitions.
[2022-05-18 08:39:48] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:39:50] [INFO ] Computed 1249 place invariants in 2404 ms
[2022-05-18 08:39:52] [INFO ] Implicit Places using invariants in 4271 ms returned []
Implicit Place search using SMT only with invariants took 4281 ms to find 0 implicit places.
[2022-05-18 08:39:52] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:39:54] [INFO ] Computed 1249 place invariants in 2374 ms
[2022-05-18 08:39:56] [INFO ] Dead Transitions using invariants and state equation in 4022 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 19204/19204 places, 27973/27973 transitions.
[2022-05-18 08:39:57] [INFO ] Flatten gal took : 888 ms
[2022-05-18 08:39:58] [INFO ] Flatten gal took : 797 ms
[2022-05-18 08:39:59] [INFO ] Input system was already deterministic with 27973 transitions.
[2022-05-18 08:40:00] [INFO ] Flatten gal took : 771 ms
[2022-05-18 08:40:01] [INFO ] Flatten gal took : 798 ms
[2022-05-18 08:40:01] [INFO ] Time to serialize gal into /tmp/CTLFireability8501841012162842968.gal : 95 ms
[2022-05-18 08:40:01] [INFO ] Time to serialize properties into /tmp/CTLFireability7974989522479460930.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/CTLFireability8501841012162842968.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7974989522479460930.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 08:40:32] [INFO ] Flatten gal took : 792 ms
[2022-05-18 08:40:32] [INFO ] Applying decomposition
[2022-05-18 08:40:33] [INFO ] Flatten gal took : 818 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/graph2844963411721450903.txt' '-o' '/tmp/graph2844963411721450903.bin' '-w' '/tmp/graph2844963411721450903.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph2844963411721450903.bin' '-l' '-1' '-v' '-w' '/tmp/graph2844963411721450903.weights' '-q' '0' '-e' '0.001'
[2022-05-18 08:40:34] [INFO ] Decomposing Gal with order
[2022-05-18 08:40:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 08:40:41] [INFO ] Removed a total of 17733 redundant transitions.
[2022-05-18 08:40:42] [INFO ] Flatten gal took : 3382 ms
[2022-05-18 08:40:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 2639 labels/synchronizations in 446 ms.
[2022-05-18 08:40:43] [INFO ] Time to serialize gal into /tmp/CTLFireability4113457300223229950.gal : 108 ms
[2022-05-18 08:40:43] [INFO ] Time to serialize properties into /tmp/CTLFireability16790121884686592646.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/CTLFireability4113457300223229950.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16790121884686592646.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 : 19204/19204 places, 27973/27973 transitions.
Drop transitions removed 6588 transitions
Trivial Post-agglo rules discarded 6588 transitions
Performed 6588 trivial Post agglomeration. Transition count delta: 6588
Iterating post reduction 0 with 6588 rules applied. Total rules applied 6588 place count 19204 transition count 21385
Reduce places removed 6588 places and 0 transitions.
Performed 12 Post agglomeration using F-continuation condition.Transition count delta: 12
Iterating post reduction 1 with 6600 rules applied. Total rules applied 13188 place count 12616 transition count 21373
Reduce places removed 12 places and 0 transitions.
Iterating post reduction 2 with 12 rules applied. Total rules applied 13200 place count 12604 transition count 21373
Performed 549 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 549 Pre rules applied. Total rules applied 13200 place count 12604 transition count 20824
Deduced a syphon composed of 549 places in 20 ms
Reduce places removed 549 places and 0 transitions.
Iterating global reduction 3 with 1098 rules applied. Total rules applied 14298 place count 12055 transition count 20824
Discarding 6049 places :
Symmetric choice reduction at 3 with 6049 rule applications. Total rules 20347 place count 6006 transition count 14775
Iterating global reduction 3 with 6049 rules applied. Total rules applied 26396 place count 6006 transition count 14775
Performed 21 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 21 Pre rules applied. Total rules applied 26396 place count 6006 transition count 14754
Deduced a syphon composed of 21 places in 10 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 3 with 42 rules applied. Total rules applied 26438 place count 5985 transition count 14754
Discarding 549 places :
Symmetric choice reduction at 3 with 549 rule applications. Total rules 26987 place count 5436 transition count 8715
Iterating global reduction 3 with 549 rules applied. Total rules applied 27536 place count 5436 transition count 8715
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 5 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 3 with 50 rules applied. Total rules applied 27586 place count 5411 transition count 8690
Applied a total of 27586 rules in 3088 ms. Remains 5411 /19204 variables (removed 13793) and now considering 8690/27973 (removed 19283) transitions.
[2022-05-18 08:41:16] [INFO ] Flow matrix only has 8090 transitions (discarded 600 similar events)
// Phase 1: matrix 8090 rows 5411 cols
[2022-05-18 08:41:16] [INFO ] Computed 1249 place invariants in 240 ms
[2022-05-18 08:41:20] [INFO ] Implicit Places using invariants in 4296 ms returned []
[2022-05-18 08:41:20] [INFO ] Flow matrix only has 8090 transitions (discarded 600 similar events)
// Phase 1: matrix 8090 rows 5411 cols
[2022-05-18 08:41:20] [INFO ] Computed 1249 place invariants in 266 ms
[2022-05-18 08:41:24] [INFO ] Implicit Places using invariants and state equation in 4550 ms returned []
Implicit Place search using SMT with State Equation took 8881 ms to find 0 implicit places.
[2022-05-18 08:41:26] [INFO ] Redundant transitions in 1033 ms returned []
[2022-05-18 08:41:26] [INFO ] Flow matrix only has 8090 transitions (discarded 600 similar events)
// Phase 1: matrix 8090 rows 5411 cols
[2022-05-18 08:41:26] [INFO ] Computed 1249 place invariants in 246 ms
[2022-05-18 08:41:32] [INFO ] Dead Transitions using invariants and state equation in 5969 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 5411/19204 places, 8690/27973 transitions.
Finished structural reductions, in 1 iterations. Remains : 5411/19204 places, 8690/27973 transitions.
[2022-05-18 08:41:32] [INFO ] Flatten gal took : 213 ms
[2022-05-18 08:41:32] [INFO ] Flatten gal took : 253 ms
[2022-05-18 08:41:33] [INFO ] Input system was already deterministic with 8690 transitions.
[2022-05-18 08:41:33] [INFO ] Flatten gal took : 241 ms
[2022-05-18 08:41:33] [INFO ] Flatten gal took : 250 ms
[2022-05-18 08:41:33] [INFO ] Time to serialize gal into /tmp/CTLFireability4568937807278553119.gal : 135 ms
[2022-05-18 08:41:33] [INFO ] Time to serialize properties into /tmp/CTLFireability8178832130297339778.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/CTLFireability4568937807278553119.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8178832130297339778.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 08:42:03] [INFO ] Flatten gal took : 249 ms
[2022-05-18 08:42:03] [INFO ] Applying decomposition
[2022-05-18 08:42:04] [INFO ] Flatten gal took : 255 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/graph3168529796960145310.txt' '-o' '/tmp/graph3168529796960145310.bin' '-w' '/tmp/graph3168529796960145310.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph3168529796960145310.bin' '-l' '-1' '-v' '-w' '/tmp/graph3168529796960145310.weights' '-q' '0' '-e' '0.001'
[2022-05-18 08:42:04] [INFO ] Decomposing Gal with order
[2022-05-18 08:42:04] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 08:42:06] [INFO ] Removed a total of 7244 redundant transitions.
[2022-05-18 08:42:06] [INFO ] Flatten gal took : 1439 ms
[2022-05-18 08:42:07] [INFO ] Fuse similar labels procedure discarded/fused a total of 5552 labels/synchronizations in 412 ms.
[2022-05-18 08:42:07] [INFO ] Time to serialize gal into /tmp/CTLFireability15452006630667039401.gal : 42 ms
[2022-05-18 08:42:07] [INFO ] Time to serialize properties into /tmp/CTLFireability10006609148718506529.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/CTLFireability15452006630667039401.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10006609148718506529.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 : 19204/19204 places, 27973/27973 transitions.
Drop transitions removed 6600 transitions
Trivial Post-agglo rules discarded 6600 transitions
Performed 6600 trivial Post agglomeration. Transition count delta: 6600
Iterating post reduction 0 with 6600 rules applied. Total rules applied 6600 place count 19204 transition count 21373
Reduce places removed 6600 places and 0 transitions.
Iterating post reduction 1 with 6600 rules applied. Total rules applied 13200 place count 12604 transition count 21373
Performed 550 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 550 Pre rules applied. Total rules applied 13200 place count 12604 transition count 20823
Deduced a syphon composed of 550 places in 19 ms
Reduce places removed 550 places and 0 transitions.
Iterating global reduction 2 with 1100 rules applied. Total rules applied 14300 place count 12054 transition count 20823
Discarding 6050 places :
Symmetric choice reduction at 2 with 6050 rule applications. Total rules 20350 place count 6004 transition count 14773
Iterating global reduction 2 with 6050 rules applied. Total rules applied 26400 place count 6004 transition count 14773
Performed 22 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 22 Pre rules applied. Total rules applied 26400 place count 6004 transition count 14751
Deduced a syphon composed of 22 places in 9 ms
Reduce places removed 22 places and 0 transitions.
Iterating global reduction 2 with 44 rules applied. Total rules applied 26444 place count 5982 transition count 14751
Discarding 550 places :
Symmetric choice reduction at 2 with 550 rule applications. Total rules 26994 place count 5432 transition count 8701
Iterating global reduction 2 with 550 rules applied. Total rules applied 27544 place count 5432 transition count 8701
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 6 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 2 with 50 rules applied. Total rules applied 27594 place count 5407 transition count 8676
Applied a total of 27594 rules in 3262 ms. Remains 5407 /19204 variables (removed 13797) and now considering 8676/27973 (removed 19297) transitions.
[2022-05-18 08:42:40] [INFO ] Flow matrix only has 8076 transitions (discarded 600 similar events)
// Phase 1: matrix 8076 rows 5407 cols
[2022-05-18 08:42:40] [INFO ] Computed 1249 place invariants in 237 ms
[2022-05-18 08:42:47] [INFO ] Implicit Places using invariants in 6722 ms returned []
[2022-05-18 08:42:47] [INFO ] Flow matrix only has 8076 transitions (discarded 600 similar events)
// Phase 1: matrix 8076 rows 5407 cols
[2022-05-18 08:42:47] [INFO ] Computed 1249 place invariants in 239 ms
[2022-05-18 08:42:54] [INFO ] Implicit Places using invariants and state equation in 6772 ms returned []
Implicit Place search using SMT with State Equation took 13497 ms to find 0 implicit places.
[2022-05-18 08:42:54] [INFO ] Redundant transitions in 812 ms returned []
[2022-05-18 08:42:54] [INFO ] Flow matrix only has 8076 transitions (discarded 600 similar events)
// Phase 1: matrix 8076 rows 5407 cols
[2022-05-18 08:42:55] [INFO ] Computed 1249 place invariants in 242 ms
[2022-05-18 08:43:00] [INFO ] Dead Transitions using invariants and state equation in 5880 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 5407/19204 places, 8676/27973 transitions.
Finished structural reductions, in 1 iterations. Remains : 5407/19204 places, 8676/27973 transitions.
[2022-05-18 08:43:01] [INFO ] Flatten gal took : 244 ms
[2022-05-18 08:43:01] [INFO ] Flatten gal took : 293 ms
[2022-05-18 08:43:02] [INFO ] Input system was already deterministic with 8676 transitions.
Incomplete random walk after 10000 steps, including 125 resets, run finished after 154 ms. (steps per millisecond=64 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 19 resets, run finished after 36 ms. (steps per millisecond=277 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 21806 steps, run timeout after 3001 ms. (steps per millisecond=7 ) properties seen :{}
Probabilistic random walk after 21806 steps, saw 10395 distinct states, run finished after 3003 ms. (steps per millisecond=7 ) properties seen :0
Running SMT prover for 1 properties.
[2022-05-18 08:43:05] [INFO ] Flow matrix only has 8076 transitions (discarded 600 similar events)
// Phase 1: matrix 8076 rows 5407 cols
[2022-05-18 08:43:05] [INFO ] Computed 1249 place invariants in 306 ms
[2022-05-18 08:43:06] [INFO ] [Real]Absence check using 49 positive place invariants in 82 ms returned sat
[2022-05-18 08:43:06] [INFO ] [Real]Absence check using 49 positive and 1200 generalized place invariants in 365 ms returned sat
[2022-05-18 08:43:11] [INFO ] After 6260ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-05-18 08:43:12] [INFO ] [Nat]Absence check using 49 positive place invariants in 82 ms returned sat
[2022-05-18 08:43:12] [INFO ] [Nat]Absence check using 49 positive and 1200 generalized place invariants in 341 ms returned sat
[2022-05-18 08:43:19] [INFO ] After 6424ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-05-18 08:43:19] [INFO ] State equation strengthened by 3102 read => feed constraints.
[2022-05-18 08:43:20] [INFO ] After 1117ms SMT Verify possible using 3102 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-05-18 08:43:26] [INFO ] Deduced a trap composed of 604 places in 6146 ms of which 8 ms to minimize.
[2022-05-18 08:43:27] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 6722 ms
[2022-05-18 08:43:27] [INFO ] After 8019ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 324 ms.
[2022-05-18 08:43:27] [INFO ] After 15870ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 1 ms.
Support contains 2 out of 5407 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 5407/5407 places, 8676/8676 transitions.
Free-agglomeration rule (complex) applied 336 times.
Iterating global reduction 0 with 336 rules applied. Total rules applied 336 place count 5407 transition count 13840
Reduce places removed 336 places and 0 transitions.
Iterating post reduction 0 with 336 rules applied. Total rules applied 672 place count 5071 transition count 13840
Applied a total of 672 rules in 1513 ms. Remains 5071 /5407 variables (removed 336) and now considering 13840/8676 (removed -5164) transitions.
Finished structural reductions, in 1 iterations. Remains : 5071/5407 places, 13840/8676 transitions.
Finished random walk after 84729 steps, including 1250 resets, run visited all 1 properties in 4958 ms. (steps per millisecond=17 )
FORMULA MultiCrashLeafsetExtension-PT-S24C11-CTLFireability-06 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Starting structural reductions in LTL mode, iteration 0 : 19204/19204 places, 27973/27973 transitions.
Applied a total of 0 rules in 439 ms. Remains 19204 /19204 variables (removed 0) and now considering 27973/27973 (removed 0) transitions.
[2022-05-18 08:43:34] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:43:37] [INFO ] Computed 1249 place invariants in 2535 ms
[2022-05-18 08:43:39] [INFO ] Implicit Places using invariants in 4348 ms returned []
Implicit Place search using SMT only with invariants took 4350 ms to find 0 implicit places.
[2022-05-18 08:43:39] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:43:41] [INFO ] Computed 1249 place invariants in 2634 ms
[2022-05-18 08:43:43] [INFO ] Dead Transitions using invariants and state equation in 4377 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 19204/19204 places, 27973/27973 transitions.
[2022-05-18 08:43:44] [INFO ] Flatten gal took : 792 ms
[2022-05-18 08:43:45] [INFO ] Flatten gal took : 789 ms
[2022-05-18 08:43:46] [INFO ] Input system was already deterministic with 27973 transitions.
[2022-05-18 08:43:47] [INFO ] Flatten gal took : 770 ms
[2022-05-18 08:43:48] [INFO ] Flatten gal took : 842 ms
[2022-05-18 08:43:48] [INFO ] Time to serialize gal into /tmp/CTLFireability15267838843462256809.gal : 82 ms
[2022-05-18 08:43:48] [INFO ] Time to serialize properties into /tmp/CTLFireability18145354201512994095.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/CTLFireability15267838843462256809.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18145354201512994095.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 08:44:19] [INFO ] Flatten gal took : 776 ms
[2022-05-18 08:44:19] [INFO ] Applying decomposition
[2022-05-18 08:44:20] [INFO ] Flatten gal took : 851 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/graph865512347542838801.txt' '-o' '/tmp/graph865512347542838801.bin' '-w' '/tmp/graph865512347542838801.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph865512347542838801.bin' '-l' '-1' '-v' '-w' '/tmp/graph865512347542838801.weights' '-q' '0' '-e' '0.001'
[2022-05-18 08:44:21] [INFO ] Decomposing Gal with order
[2022-05-18 08:44:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 08:44:28] [INFO ] Removed a total of 17762 redundant transitions.
[2022-05-18 08:44:28] [INFO ] Flatten gal took : 3461 ms
[2022-05-18 08:44:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 1962 labels/synchronizations in 354 ms.
[2022-05-18 08:44:29] [INFO ] Time to serialize gal into /tmp/CTLFireability9790489557781597919.gal : 120 ms
[2022-05-18 08:44:29] [INFO ] Time to serialize properties into /tmp/CTLFireability8204773558735517146.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/CTLFireability9790489557781597919.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8204773558735517146.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 LTL mode, iteration 0 : 19204/19204 places, 27973/27973 transitions.
Applied a total of 0 rules in 458 ms. Remains 19204 /19204 variables (removed 0) and now considering 27973/27973 (removed 0) transitions.
[2022-05-18 08:45:00] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:45:02] [INFO ] Computed 1249 place invariants in 2468 ms
[2022-05-18 08:45:04] [INFO ] Implicit Places using invariants in 4212 ms returned []
Implicit Place search using SMT only with invariants took 4223 ms to find 0 implicit places.
[2022-05-18 08:45:04] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:45:06] [INFO ] Computed 1249 place invariants in 2506 ms
[2022-05-18 08:45:08] [INFO ] Dead Transitions using invariants and state equation in 4144 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 19204/19204 places, 27973/27973 transitions.
[2022-05-18 08:45:09] [INFO ] Flatten gal took : 698 ms
[2022-05-18 08:45:10] [INFO ] Flatten gal took : 829 ms
[2022-05-18 08:45:11] [INFO ] Input system was already deterministic with 27973 transitions.
[2022-05-18 08:45:12] [INFO ] Flatten gal took : 761 ms
[2022-05-18 08:45:13] [INFO ] Flatten gal took : 790 ms
[2022-05-18 08:45:13] [INFO ] Time to serialize gal into /tmp/CTLFireability15676147295282808193.gal : 92 ms
[2022-05-18 08:45:13] [INFO ] Time to serialize properties into /tmp/CTLFireability10072181180496783704.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/CTLFireability15676147295282808193.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10072181180496783704.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 08:45:44] [INFO ] Flatten gal took : 805 ms
[2022-05-18 08:45:44] [INFO ] Applying decomposition
[2022-05-18 08:45:44] [INFO ] Flatten gal took : 760 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/graph2934299875967763403.txt' '-o' '/tmp/graph2934299875967763403.bin' '-w' '/tmp/graph2934299875967763403.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph2934299875967763403.bin' '-l' '-1' '-v' '-w' '/tmp/graph2934299875967763403.weights' '-q' '0' '-e' '0.001'
[2022-05-18 08:45:46] [INFO ] Decomposing Gal with order
[2022-05-18 08:45:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 08:45:53] [INFO ] Removed a total of 17748 redundant transitions.
[2022-05-18 08:45:54] [INFO ] Flatten gal took : 3484 ms
[2022-05-18 08:45:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 1571 labels/synchronizations in 523 ms.
[2022-05-18 08:45:55] [INFO ] Time to serialize gal into /tmp/CTLFireability7676187038472453993.gal : 138 ms
[2022-05-18 08:45:55] [INFO ] Time to serialize properties into /tmp/CTLFireability4995880254125708155.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/CTLFireability7676187038472453993.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4995880254125708155.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 LTL mode, iteration 0 : 19204/19204 places, 27973/27973 transitions.
Applied a total of 0 rules in 402 ms. Remains 19204 /19204 variables (removed 0) and now considering 27973/27973 (removed 0) transitions.
[2022-05-18 08:46:25] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:46:28] [INFO ] Computed 1249 place invariants in 2418 ms
[2022-05-18 08:46:29] [INFO ] Implicit Places using invariants in 4221 ms returned []
Implicit Place search using SMT only with invariants took 4242 ms to find 0 implicit places.
[2022-05-18 08:46:30] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:46:32] [INFO ] Computed 1249 place invariants in 2519 ms
[2022-05-18 08:46:34] [INFO ] Dead Transitions using invariants and state equation in 4187 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 19204/19204 places, 27973/27973 transitions.
[2022-05-18 08:46:34] [INFO ] Flatten gal took : 723 ms
[2022-05-18 08:46:35] [INFO ] Flatten gal took : 838 ms
[2022-05-18 08:46:37] [INFO ] Input system was already deterministic with 27973 transitions.
[2022-05-18 08:46:38] [INFO ] Flatten gal took : 791 ms
[2022-05-18 08:46:38] [INFO ] Flatten gal took : 806 ms
[2022-05-18 08:46:39] [INFO ] Time to serialize gal into /tmp/CTLFireability14071833416514702398.gal : 88 ms
[2022-05-18 08:46:39] [INFO ] Time to serialize properties into /tmp/CTLFireability1274429080698139503.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/CTLFireability14071833416514702398.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1274429080698139503.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 08:47:09] [INFO ] Flatten gal took : 881 ms
[2022-05-18 08:47:09] [INFO ] Applying decomposition
[2022-05-18 08:47:10] [INFO ] Flatten gal took : 848 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/graph480915698158737898.txt' '-o' '/tmp/graph480915698158737898.bin' '-w' '/tmp/graph480915698158737898.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph480915698158737898.bin' '-l' '-1' '-v' '-w' '/tmp/graph480915698158737898.weights' '-q' '0' '-e' '0.001'
[2022-05-18 08:47:13] [INFO ] Decomposing Gal with order
[2022-05-18 08:47:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 08:47:20] [INFO ] Removed a total of 17887 redundant transitions.
[2022-05-18 08:47:20] [INFO ] Flatten gal took : 3493 ms
[2022-05-18 08:47:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 1401 labels/synchronizations in 462 ms.
[2022-05-18 08:47:21] [INFO ] Time to serialize gal into /tmp/CTLFireability18017948464862226738.gal : 128 ms
[2022-05-18 08:47:21] [INFO ] Time to serialize properties into /tmp/CTLFireability1885045672414586639.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/CTLFireability18017948464862226738.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1885045672414586639.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 : 19204/19204 places, 27973/27973 transitions.
Applied a total of 0 rules in 420 ms. Remains 19204 /19204 variables (removed 0) and now considering 27973/27973 (removed 0) transitions.
[2022-05-18 08:47:52] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:47:54] [INFO ] Computed 1249 place invariants in 2353 ms
[2022-05-18 08:47:55] [INFO ] Implicit Places using invariants in 3958 ms returned []
Implicit Place search using SMT only with invariants took 3959 ms to find 0 implicit places.
[2022-05-18 08:47:55] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:47:58] [INFO ] Computed 1249 place invariants in 2568 ms
[2022-05-18 08:48:00] [INFO ] Dead Transitions using invariants and state equation in 4300 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 19204/19204 places, 27973/27973 transitions.
[2022-05-18 08:48:01] [INFO ] Flatten gal took : 808 ms
[2022-05-18 08:48:02] [INFO ] Flatten gal took : 1002 ms
[2022-05-18 08:48:03] [INFO ] Input system was already deterministic with 27973 transitions.
[2022-05-18 08:48:04] [INFO ] Flatten gal took : 848 ms
[2022-05-18 08:48:05] [INFO ] Flatten gal took : 820 ms
[2022-05-18 08:48:05] [INFO ] Time to serialize gal into /tmp/CTLFireability9149414702335331375.gal : 102 ms
[2022-05-18 08:48:05] [INFO ] Time to serialize properties into /tmp/CTLFireability4444957401679647151.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/CTLFireability9149414702335331375.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4444957401679647151.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 08:48:36] [INFO ] Flatten gal took : 782 ms
[2022-05-18 08:48:36] [INFO ] Applying decomposition
[2022-05-18 08:48:37] [INFO ] Flatten gal took : 871 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/graph14770087090108702591.txt' '-o' '/tmp/graph14770087090108702591.bin' '-w' '/tmp/graph14770087090108702591.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph14770087090108702591.bin' '-l' '-1' '-v' '-w' '/tmp/graph14770087090108702591.weights' '-q' '0' '-e' '0.001'
[2022-05-18 08:48:39] [INFO ] Decomposing Gal with order
[2022-05-18 08:48:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 08:48:46] [INFO ] Removed a total of 17827 redundant transitions.
[2022-05-18 08:48:46] [INFO ] Flatten gal took : 3320 ms
[2022-05-18 08:48:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 1978 labels/synchronizations in 392 ms.
[2022-05-18 08:48:47] [INFO ] Time to serialize gal into /tmp/CTLFireability3820160960109876232.gal : 125 ms
[2022-05-18 08:48:47] [INFO ] Time to serialize properties into /tmp/CTLFireability9578220200360235015.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/CTLFireability3820160960109876232.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9578220200360235015.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 : 19204/19204 places, 27973/27973 transitions.
Drop transitions removed 6600 transitions
Trivial Post-agglo rules discarded 6600 transitions
Performed 6600 trivial Post agglomeration. Transition count delta: 6600
Iterating post reduction 0 with 6600 rules applied. Total rules applied 6600 place count 19204 transition count 21373
Reduce places removed 6600 places and 0 transitions.
Iterating post reduction 1 with 6600 rules applied. Total rules applied 13200 place count 12604 transition count 21373
Performed 550 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 550 Pre rules applied. Total rules applied 13200 place count 12604 transition count 20823
Deduced a syphon composed of 550 places in 19 ms
Reduce places removed 550 places and 0 transitions.
Iterating global reduction 2 with 1100 rules applied. Total rules applied 14300 place count 12054 transition count 20823
Discarding 6050 places :
Symmetric choice reduction at 2 with 6050 rule applications. Total rules 20350 place count 6004 transition count 14773
Iterating global reduction 2 with 6050 rules applied. Total rules applied 26400 place count 6004 transition count 14773
Performed 22 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 22 Pre rules applied. Total rules applied 26400 place count 6004 transition count 14751
Deduced a syphon composed of 22 places in 10 ms
Reduce places removed 22 places and 0 transitions.
Iterating global reduction 2 with 44 rules applied. Total rules applied 26444 place count 5982 transition count 14751
Discarding 549 places :
Symmetric choice reduction at 2 with 549 rule applications. Total rules 26993 place count 5433 transition count 8712
Iterating global reduction 2 with 549 rules applied. Total rules applied 27542 place count 5433 transition count 8712
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 6 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 2 with 50 rules applied. Total rules applied 27592 place count 5408 transition count 8687
Applied a total of 27592 rules in 3180 ms. Remains 5408 /19204 variables (removed 13796) and now considering 8687/27973 (removed 19286) transitions.
[2022-05-18 08:49:20] [INFO ] Flow matrix only has 8087 transitions (discarded 600 similar events)
// Phase 1: matrix 8087 rows 5408 cols
[2022-05-18 08:49:20] [INFO ] Computed 1249 place invariants in 254 ms
[2022-05-18 08:49:25] [INFO ] Implicit Places using invariants in 4573 ms returned []
[2022-05-18 08:49:25] [INFO ] Flow matrix only has 8087 transitions (discarded 600 similar events)
// Phase 1: matrix 8087 rows 5408 cols
[2022-05-18 08:49:25] [INFO ] Computed 1249 place invariants in 243 ms
[2022-05-18 08:49:29] [INFO ] Implicit Places using invariants and state equation in 4459 ms returned []
Implicit Place search using SMT with State Equation took 9059 ms to find 0 implicit places.
[2022-05-18 08:49:30] [INFO ] Redundant transitions in 757 ms returned []
[2022-05-18 08:49:30] [INFO ] Flow matrix only has 8087 transitions (discarded 600 similar events)
// Phase 1: matrix 8087 rows 5408 cols
[2022-05-18 08:49:30] [INFO ] Computed 1249 place invariants in 237 ms
[2022-05-18 08:49:35] [INFO ] Dead Transitions using invariants and state equation in 5524 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 5408/19204 places, 8687/27973 transitions.
Finished structural reductions, in 1 iterations. Remains : 5408/19204 places, 8687/27973 transitions.
[2022-05-18 08:49:36] [INFO ] Flatten gal took : 237 ms
[2022-05-18 08:49:36] [INFO ] Flatten gal took : 349 ms
[2022-05-18 08:49:37] [INFO ] Input system was already deterministic with 8687 transitions.
[2022-05-18 08:49:37] [INFO ] Flatten gal took : 250 ms
[2022-05-18 08:49:37] [INFO ] Flatten gal took : 258 ms
[2022-05-18 08:49:37] [INFO ] Time to serialize gal into /tmp/CTLFireability116309733505787130.gal : 45 ms
[2022-05-18 08:49:37] [INFO ] Time to serialize properties into /tmp/CTLFireability9073109443477106254.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/CTLFireability116309733505787130.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9073109443477106254.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...273
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 08:50:07] [INFO ] Flatten gal took : 247 ms
[2022-05-18 08:50:07] [INFO ] Applying decomposition
[2022-05-18 08:50:08] [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/graph16449150360009516504.txt' '-o' '/tmp/graph16449150360009516504.bin' '-w' '/tmp/graph16449150360009516504.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph16449150360009516504.bin' '-l' '-1' '-v' '-w' '/tmp/graph16449150360009516504.weights' '-q' '0' '-e' '0.001'
[2022-05-18 08:50:08] [INFO ] Decomposing Gal with order
[2022-05-18 08:50:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 08:50:10] [INFO ] Removed a total of 7503 redundant transitions.
[2022-05-18 08:50:10] [INFO ] Flatten gal took : 1563 ms
[2022-05-18 08:50:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 4642 labels/synchronizations in 496 ms.
[2022-05-18 08:50:11] [INFO ] Time to serialize gal into /tmp/CTLFireability14826410490040754999.gal : 51 ms
[2022-05-18 08:50:11] [INFO ] Time to serialize properties into /tmp/CTLFireability16608384361287102714.ctl : 17 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/CTLFireability14826410490040754999.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16608384361287102714.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 : 19204/19204 places, 27973/27973 transitions.
Applied a total of 0 rules in 411 ms. Remains 19204 /19204 variables (removed 0) and now considering 27973/27973 (removed 0) transitions.
[2022-05-18 08:50:42] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:50:44] [INFO ] Computed 1249 place invariants in 2644 ms
[2022-05-18 08:50:46] [INFO ] Implicit Places using invariants in 4313 ms returned []
Implicit Place search using SMT only with invariants took 4331 ms to find 0 implicit places.
[2022-05-18 08:50:46] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:50:48] [INFO ] Computed 1249 place invariants in 2344 ms
[2022-05-18 08:50:50] [INFO ] Dead Transitions using invariants and state equation in 4031 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 19204/19204 places, 27973/27973 transitions.
[2022-05-18 08:50:51] [INFO ] Flatten gal took : 812 ms
[2022-05-18 08:50:52] [INFO ] Flatten gal took : 793 ms
[2022-05-18 08:50:53] [INFO ] Input system was already deterministic with 27973 transitions.
[2022-05-18 08:50:54] [INFO ] Flatten gal took : 833 ms
[2022-05-18 08:50:55] [INFO ] Flatten gal took : 787 ms
[2022-05-18 08:50:55] [INFO ] Time to serialize gal into /tmp/CTLFireability7364195947347716500.gal : 93 ms
[2022-05-18 08:50:55] [INFO ] Time to serialize properties into /tmp/CTLFireability13279524866220215492.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/CTLFireability7364195947347716500.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13279524866220215492.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 08:51:26] [INFO ] Flatten gal took : 815 ms
[2022-05-18 08:51:26] [INFO ] Applying decomposition
[2022-05-18 08:51:27] [INFO ] Flatten gal took : 838 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/graph16730860463675896033.txt' '-o' '/tmp/graph16730860463675896033.bin' '-w' '/tmp/graph16730860463675896033.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph16730860463675896033.bin' '-l' '-1' '-v' '-w' '/tmp/graph16730860463675896033.weights' '-q' '0' '-e' '0.001'
[2022-05-18 08:51:28] [INFO ] Decomposing Gal with order
[2022-05-18 08:51:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 08:51:35] [INFO ] Removed a total of 17784 redundant transitions.
[2022-05-18 08:51:36] [INFO ] Flatten gal took : 3472 ms
[2022-05-18 08:51:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 1537 labels/synchronizations in 497 ms.
[2022-05-18 08:51:37] [INFO ] Time to serialize gal into /tmp/CTLFireability259158086448060542.gal : 120 ms
[2022-05-18 08:51:37] [INFO ] Time to serialize properties into /tmp/CTLFireability15976399052799987171.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/CTLFireability259158086448060542.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15976399052799987171.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 LTL mode, iteration 0 : 19204/19204 places, 27973/27973 transitions.
Applied a total of 0 rules in 481 ms. Remains 19204 /19204 variables (removed 0) and now considering 27973/27973 (removed 0) transitions.
[2022-05-18 08:52:07] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:52:10] [INFO ] Computed 1249 place invariants in 2581 ms
[2022-05-18 08:52:11] [INFO ] Implicit Places using invariants in 4460 ms returned []
Implicit Place search using SMT only with invariants took 4462 ms to find 0 implicit places.
[2022-05-18 08:52:12] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:52:14] [INFO ] Computed 1249 place invariants in 2800 ms
[2022-05-18 08:52:16] [INFO ] Dead Transitions using invariants and state equation in 4663 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 19204/19204 places, 27973/27973 transitions.
[2022-05-18 08:52:17] [INFO ] Flatten gal took : 879 ms
[2022-05-18 08:52:18] [INFO ] Flatten gal took : 1026 ms
[2022-05-18 08:52:20] [INFO ] Input system was already deterministic with 27973 transitions.
[2022-05-18 08:52:21] [INFO ] Flatten gal took : 943 ms
[2022-05-18 08:52:22] [INFO ] Flatten gal took : 955 ms
[2022-05-18 08:52:22] [INFO ] Time to serialize gal into /tmp/CTLFireability17736502111060000020.gal : 113 ms
[2022-05-18 08:52:22] [INFO ] Time to serialize properties into /tmp/CTLFireability5673427067116633403.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/CTLFireability17736502111060000020.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5673427067116633403.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 08:52:53] [INFO ] Flatten gal took : 983 ms
[2022-05-18 08:52:53] [INFO ] Applying decomposition
[2022-05-18 08:52:54] [INFO ] Flatten gal took : 913 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/graph13600871915221267483.txt' '-o' '/tmp/graph13600871915221267483.bin' '-w' '/tmp/graph13600871915221267483.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph13600871915221267483.bin' '-l' '-1' '-v' '-w' '/tmp/graph13600871915221267483.weights' '-q' '0' '-e' '0.001'
[2022-05-18 08:52:56] [INFO ] Decomposing Gal with order
[2022-05-18 08:52:58] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 08:53:04] [INFO ] Removed a total of 17790 redundant transitions.
[2022-05-18 08:53:05] [INFO ] Flatten gal took : 3738 ms
[2022-05-18 08:53:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 1516 labels/synchronizations in 588 ms.
[2022-05-18 08:53:06] [INFO ] Time to serialize gal into /tmp/CTLFireability9287736345839465990.gal : 119 ms
[2022-05-18 08:53:06] [INFO ] Time to serialize properties into /tmp/CTLFireability16031146177689091405.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/CTLFireability9287736345839465990.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16031146177689091405.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 : 19204/19204 places, 27973/27973 transitions.
Applied a total of 0 rules in 412 ms. Remains 19204 /19204 variables (removed 0) and now considering 27973/27973 (removed 0) transitions.
[2022-05-18 08:53:36] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:53:39] [INFO ] Computed 1249 place invariants in 2550 ms
[2022-05-18 08:53:41] [INFO ] Implicit Places using invariants in 4319 ms returned []
Implicit Place search using SMT only with invariants took 4336 ms to find 0 implicit places.
[2022-05-18 08:53:41] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:53:43] [INFO ] Computed 1249 place invariants in 2386 ms
[2022-05-18 08:53:45] [INFO ] Dead Transitions using invariants and state equation in 4025 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 19204/19204 places, 27973/27973 transitions.
[2022-05-18 08:53:45] [INFO ] Flatten gal took : 756 ms
[2022-05-18 08:53:46] [INFO ] Flatten gal took : 799 ms
[2022-05-18 08:53:48] [INFO ] Input system was already deterministic with 27973 transitions.
[2022-05-18 08:53:49] [INFO ] Flatten gal took : 864 ms
[2022-05-18 08:53:49] [INFO ] Flatten gal took : 795 ms
[2022-05-18 08:53:50] [INFO ] Time to serialize gal into /tmp/CTLFireability4628183422927668344.gal : 85 ms
[2022-05-18 08:53:50] [INFO ] Time to serialize properties into /tmp/CTLFireability6840534767781799367.ctl : 7 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/CTLFireability4628183422927668344.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6840534767781799367.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 08:54:20] [INFO ] Flatten gal took : 788 ms
[2022-05-18 08:54:20] [INFO ] Applying decomposition
[2022-05-18 08:54:21] [INFO ] Flatten gal took : 809 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/graph10690061471464148695.txt' '-o' '/tmp/graph10690061471464148695.bin' '-w' '/tmp/graph10690061471464148695.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph10690061471464148695.bin' '-l' '-1' '-v' '-w' '/tmp/graph10690061471464148695.weights' '-q' '0' '-e' '0.001'
[2022-05-18 08:54:23] [INFO ] Decomposing Gal with order
[2022-05-18 08:54:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 08:54:30] [INFO ] Removed a total of 17857 redundant transitions.
[2022-05-18 08:54:31] [INFO ] Flatten gal took : 3646 ms
[2022-05-18 08:54:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 1476 labels/synchronizations in 469 ms.
[2022-05-18 08:54:32] [INFO ] Time to serialize gal into /tmp/CTLFireability4273669236407152168.gal : 114 ms
[2022-05-18 08:54:32] [INFO ] Time to serialize properties into /tmp/CTLFireability5633243141242443538.ctl : 5 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/CTLFireability4273669236407152168.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5633243141242443538.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 LTL mode, iteration 0 : 19204/19204 places, 27973/27973 transitions.
Applied a total of 0 rules in 514 ms. Remains 19204 /19204 variables (removed 0) and now considering 27973/27973 (removed 0) transitions.
[2022-05-18 08:55:02] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:55:05] [INFO ] Computed 1249 place invariants in 2411 ms
[2022-05-18 08:55:06] [INFO ] Implicit Places using invariants in 4046 ms returned []
Implicit Place search using SMT only with invariants took 4047 ms to find 0 implicit places.
[2022-05-18 08:55:06] [INFO ] Flow matrix only has 27373 transitions (discarded 600 similar events)
// Phase 1: matrix 27373 rows 19204 cols
[2022-05-18 08:55:09] [INFO ] Computed 1249 place invariants in 2557 ms
[2022-05-18 08:55:11] [INFO ] Dead Transitions using invariants and state equation in 4351 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 19204/19204 places, 27973/27973 transitions.
[2022-05-18 08:55:11] [INFO ] Flatten gal took : 712 ms
[2022-05-18 08:55:12] [INFO ] Flatten gal took : 843 ms
[2022-05-18 08:55:14] [INFO ] Input system was already deterministic with 27973 transitions.
[2022-05-18 08:55:15] [INFO ] Flatten gal took : 807 ms
[2022-05-18 08:55:15] [INFO ] Flatten gal took : 794 ms
[2022-05-18 08:55:15] [INFO ] Time to serialize gal into /tmp/CTLFireability1059251175936517397.gal : 86 ms
[2022-05-18 08:55:15] [INFO ] Time to serialize properties into /tmp/CTLFireability17508295088992203863.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/CTLFireability1059251175936517397.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17508295088992203863.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 08:55:46] [INFO ] Flatten gal took : 804 ms
[2022-05-18 08:55:46] [INFO ] Applying decomposition
[2022-05-18 08:55:47] [INFO ] Flatten gal took : 819 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/graph4553409125122561057.txt' '-o' '/tmp/graph4553409125122561057.bin' '-w' '/tmp/graph4553409125122561057.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph4553409125122561057.bin' '-l' '-1' '-v' '-w' '/tmp/graph4553409125122561057.weights' '-q' '0' '-e' '0.001'
[2022-05-18 08:55:49] [INFO ] Decomposing Gal with order
[2022-05-18 08:55:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 08:55:56] [INFO ] Removed a total of 17852 redundant transitions.
[2022-05-18 08:55:56] [INFO ] Flatten gal took : 3473 ms
[2022-05-18 08:55:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 1338 labels/synchronizations in 442 ms.
[2022-05-18 08:55:57] [INFO ] Time to serialize gal into /tmp/CTLFireability7908028677254574843.gal : 113 ms
[2022-05-18 08:55:57] [INFO ] Time to serialize properties into /tmp/CTLFireability17966526178460619890.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/CTLFireability7908028677254574843.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17966526178460619890.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.
[2022-05-18 08:56:28] [INFO ] Flatten gal took : 772 ms
[2022-05-18 08:56:29] [INFO ] Flatten gal took : 797 ms
[2022-05-18 08:56:29] [INFO ] Applying decomposition
[2022-05-18 08:56:30] [INFO ] Flatten gal took : 796 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/graph7461940111532144196.txt' '-o' '/tmp/graph7461940111532144196.bin' '-w' '/tmp/graph7461940111532144196.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph7461940111532144196.bin' '-l' '-1' '-v' '-w' '/tmp/graph7461940111532144196.weights' '-q' '0' '-e' '0.001'
[2022-05-18 08:56:32] [INFO ] Decomposing Gal with order
[2022-05-18 08:56:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 08:56:39] [INFO ] Removed a total of 17892 redundant transitions.
[2022-05-18 08:56:39] [INFO ] Flatten gal took : 3454 ms
[2022-05-18 08:56:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 1373 labels/synchronizations in 474 ms.
[2022-05-18 08:56:40] [INFO ] Time to serialize gal into /tmp/CTLFireability14394422347479713977.gal : 122 ms
[2022-05-18 08:56:40] [INFO ] Time to serialize properties into /tmp/CTLFireability15537213159391962768.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/CTLFireability14394422347479713977.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15537213159391962768.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 15 CTL formulae.
ITS-tools command line returned an error code 137
[2022-05-18 09:11:57] [INFO ] Flatten gal took : 8819 ms
[2022-05-18 09:11:57] [INFO ] Time to serialize gal into /tmp/CTLFireability16676115711477814344.gal : 130 ms
[2022-05-18 09:11:57] [INFO ] Time to serialize properties into /tmp/CTLFireability16580150234612774167.ctl : 9 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/CTLFireability16676115711477814344.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16580150234612774167.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-S24C11"
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-S24C11, 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-165271821300778"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C11.tgz
mv MultiCrashLeafsetExtension-PT-S24C11 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 ;