About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S24C05
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16221.924 | 3600000.00 | 3207962.00 | 370187.00 | ?F?T??????T?F??? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r132-tall-165271821300729.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-S24C05, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r132-tall-165271821300729
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 12M
-rw-r--r-- 1 mcc users 13K Apr 29 16:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Apr 29 16:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Apr 29 16:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K Apr 29 16:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.6K May 9 08:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 34K May 9 08:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K 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.5K May 9 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K May 9 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 7 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 12M 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-S24C05-CTLCardinality-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1652843352698
Running Version 202205111006
[2022-05-18 03:09:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-05-18 03:09:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-18 03:09:14] [INFO ] Load time of PNML (sax parser for PT used): 677 ms
[2022-05-18 03:09:14] [INFO ] Transformed 11106 places.
[2022-05-18 03:09:14] [INFO ] Transformed 16561 transitions.
[2022-05-18 03:09:14] [INFO ] Parsed PT model containing 11106 places and 16561 transitions in 862 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 23 ms.
Support contains 159 out of 11106 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 11106/11106 places, 16561/16561 transitions.
Reduce places removed 38 places and 0 transitions.
Iterating post reduction 0 with 38 rules applied. Total rules applied 38 place count 11068 transition count 16561
Discarding 2954 places :
Symmetric choice reduction at 1 with 2954 rule applications. Total rules 2992 place count 8114 transition count 13607
Iterating global reduction 1 with 2954 rules applied. Total rules applied 5946 place count 8114 transition count 13607
Discarding 2657 places :
Symmetric choice reduction at 1 with 2657 rule applications. Total rules 8603 place count 5457 transition count 10950
Iterating global reduction 1 with 2657 rules applied. Total rules applied 11260 place count 5457 transition count 10950
Discarding 462 places :
Symmetric choice reduction at 1 with 462 rule applications. Total rules 11722 place count 4995 transition count 8640
Iterating global reduction 1 with 462 rules applied. Total rules applied 12184 place count 4995 transition count 8640
Applied a total of 12184 rules in 3297 ms. Remains 4995 /11106 variables (removed 6111) and now considering 8640/16561 (removed 7921) transitions.
[2022-05-18 03:09:18] [INFO ] Flow matrix only has 8040 transitions (discarded 600 similar events)
// Phase 1: matrix 8040 rows 4995 cols
[2022-05-18 03:09:18] [INFO ] Computed 937 place invariants in 393 ms
[2022-05-18 03:09:22] [INFO ] Implicit Places using invariants in 4170 ms returned []
[2022-05-18 03:09:22] [INFO ] Flow matrix only has 8040 transitions (discarded 600 similar events)
// Phase 1: matrix 8040 rows 4995 cols
[2022-05-18 03:09:22] [INFO ] Computed 937 place invariants in 214 ms
[2022-05-18 03:09:26] [INFO ] Implicit Places using invariants and state equation in 3754 ms returned []
Implicit Place search using SMT with State Equation took 8026 ms to find 0 implicit places.
[2022-05-18 03:09:26] [INFO ] Flow matrix only has 8040 transitions (discarded 600 similar events)
// Phase 1: matrix 8040 rows 4995 cols
[2022-05-18 03:09:26] [INFO ] Computed 937 place invariants in 207 ms
[2022-05-18 03:09:31] [INFO ] Dead Transitions using invariants and state equation in 5226 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 4995/11106 places, 8640/16561 transitions.
Finished structural reductions, in 1 iterations. Remains : 4995/11106 places, 8640/16561 transitions.
Support contains 159 out of 4995 places after structural reductions.
[2022-05-18 03:09:32] [INFO ] Flatten gal took : 518 ms
[2022-05-18 03:09:32] [INFO ] Flatten gal took : 351 ms
[2022-05-18 03:09:33] [INFO ] Input system was already deterministic with 8640 transitions.
Support contains 153 out of 4995 places (down from 159) after GAL structural reductions.
Incomplete random walk after 10000 steps, including 193 resets, run finished after 750 ms. (steps per millisecond=13 ) properties (out of 92) seen :14
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 78) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=90 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=90 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 76) seen :0
Running SMT prover for 76 properties.
[2022-05-18 03:09:34] [INFO ] Flow matrix only has 8040 transitions (discarded 600 similar events)
// Phase 1: matrix 8040 rows 4995 cols
[2022-05-18 03:09:34] [INFO ] Computed 937 place invariants in 226 ms
[2022-05-18 03:09:40] [INFO ] After 5763ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:76
[2022-05-18 03:09:46] [INFO ] [Nat]Absence check using 47 positive place invariants in 75 ms returned sat
[2022-05-18 03:09:46] [INFO ] [Nat]Absence check using 47 positive and 890 generalized place invariants in 285 ms returned sat
[2022-05-18 03:10:00] [INFO ] After 12103ms SMT Verify possible using state equation in natural domain returned unsat :52 sat :24
[2022-05-18 03:10:00] [INFO ] State equation strengthened by 3154 read => feed constraints.
[2022-05-18 03:10:05] [INFO ] After 5332ms SMT Verify possible using 3154 Read/Feed constraints in natural domain returned unsat :55 sat :20
[2022-05-18 03:10:05] [INFO ] After 5334ms SMT Verify possible using trap constraints in natural domain returned unsat :55 sat :20
Attempting to minimize the solution found.
Minimization took 3 ms.
[2022-05-18 03:10:05] [INFO ] After 25050ms SMT Verify possible using all constraints in natural domain returned unsat :55 sat :20
Fused 76 Parikh solutions to 21 different solutions.
Parikh walk visited 0 properties in 56 ms.
Support contains 45 out of 4995 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 4995/4995 places, 8640/8640 transitions.
Drop transitions removed 16 transitions
Trivial Post-agglo rules discarded 16 transitions
Performed 16 trivial Post agglomeration. Transition count delta: 16
Iterating post reduction 0 with 16 rules applied. Total rules applied 16 place count 4995 transition count 8624
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 1 with 16 rules applied. Total rules applied 32 place count 4979 transition count 8624
Performed 250 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 250 Pre rules applied. Total rules applied 32 place count 4979 transition count 8374
Deduced a syphon composed of 250 places in 7 ms
Reduce places removed 250 places and 0 transitions.
Iterating global reduction 2 with 500 rules applied. Total rules applied 532 place count 4729 transition count 8374
Discarding 52 places :
Symmetric choice reduction at 2 with 52 rule applications. Total rules 584 place count 4677 transition count 8302
Iterating global reduction 2 with 52 rules applied. Total rules applied 636 place count 4677 transition count 8302
Discarding 40 places :
Symmetric choice reduction at 2 with 40 rule applications. Total rules 676 place count 4637 transition count 8102
Iterating global reduction 2 with 40 rules applied. Total rules applied 716 place count 4637 transition count 8102
Performed 35 Post agglomeration using F-continuation condition.Transition count delta: 35
Deduced a syphon composed of 35 places in 7 ms
Reduce places removed 35 places and 0 transitions.
Iterating global reduction 2 with 70 rules applied. Total rules applied 786 place count 4602 transition count 8067
Discarding 16 places :
Symmetric choice reduction at 2 with 16 rule applications. Total rules 802 place count 4586 transition count 8051
Iterating global reduction 2 with 16 rules applied. Total rules applied 818 place count 4586 transition count 8051
Discarding 13 places :
Symmetric choice reduction at 2 with 13 rule applications. Total rules 831 place count 4573 transition count 7986
Iterating global reduction 2 with 13 rules applied. Total rules applied 844 place count 4573 transition count 7986
Free-agglomeration rule (complex) applied 359 times.
Iterating global reduction 2 with 359 rules applied. Total rules applied 1203 place count 4573 transition count 9587
Reduce places removed 359 places and 0 transitions.
Iterating post reduction 2 with 359 rules applied. Total rules applied 1562 place count 4214 transition count 9587
Partial Free-agglomeration rule applied 250 times.
Drop transitions removed 250 transitions
Iterating global reduction 3 with 250 rules applied. Total rules applied 1812 place count 4214 transition count 9587
Applied a total of 1812 rules in 4244 ms. Remains 4214 /4995 variables (removed 781) and now considering 9587/8640 (removed -947) transitions.
Finished structural reductions, in 1 iterations. Remains : 4214/4995 places, 9587/8640 transitions.
Incomplete random walk after 10000 steps, including 316 resets, run finished after 608 ms. (steps per millisecond=16 ) properties (out of 21) seen :4
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 17) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 17) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 17) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 17) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 17) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 17) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 17) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 17) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 17) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=90 ) properties (out of 17) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 17) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 17) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 17) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 17) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 17) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 17) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 17) seen :0
Running SMT prover for 17 properties.
[2022-05-18 03:10:10] [INFO ] Flow matrix only has 8704 transitions (discarded 883 similar events)
// Phase 1: matrix 8704 rows 4214 cols
[2022-05-18 03:10:11] [INFO ] Computed 937 place invariants in 225 ms
[2022-05-18 03:10:12] [INFO ] After 1328ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:17
[2022-05-18 03:10:13] [INFO ] [Nat]Absence check using 49 positive place invariants in 68 ms returned sat
[2022-05-18 03:10:14] [INFO ] [Nat]Absence check using 49 positive and 888 generalized place invariants in 232 ms returned sat
[2022-05-18 03:10:24] [INFO ] After 8821ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :17
[2022-05-18 03:10:24] [INFO ] State equation strengthened by 4882 read => feed constraints.
[2022-05-18 03:10:37] [INFO ] After 13378ms SMT Verify possible using 4882 Read/Feed constraints in natural domain returned unsat :0 sat :6
[2022-05-18 03:10:37] [INFO ] After 13379ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :0
[2022-05-18 03:10:37] [INFO ] After 25040ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0
Parikh walk visited 0 properties in 46 ms.
Support contains 39 out of 4214 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 4214/4214 places, 9587/9587 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 4214 transition count 9585
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 4212 transition count 9585
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 5 place count 4212 transition count 9584
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 6 place count 4211 transition count 9584
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 8 place count 4209 transition count 9582
Iterating global reduction 3 with 2 rules applied. Total rules applied 10 place count 4209 transition count 9582
Partial Free-agglomeration rule applied 3 times.
Drop transitions removed 3 transitions
Iterating global reduction 3 with 3 rules applied. Total rules applied 13 place count 4209 transition count 9582
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 16 place count 4206 transition count 9579
Iterating global reduction 3 with 3 rules applied. Total rules applied 19 place count 4206 transition count 9579
Applied a total of 19 rules in 1949 ms. Remains 4206 /4214 variables (removed 8) and now considering 9579/9587 (removed 8) transitions.
Finished structural reductions, in 1 iterations. Remains : 4206/4214 places, 9579/9587 transitions.
Incomplete random walk after 10000 steps, including 315 resets, run finished after 555 ms. (steps per millisecond=18 ) properties (out of 17) seen :5
Incomplete Best-First random walk after 10001 steps, including 39 resets, run finished after 71 ms. (steps per millisecond=140 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10000 steps, including 38 resets, run finished after 72 ms. (steps per millisecond=138 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 38 resets, run finished after 70 ms. (steps per millisecond=142 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 38 resets, run finished after 70 ms. (steps per millisecond=142 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 38 resets, run finished after 79 ms. (steps per millisecond=126 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 38 resets, run finished after 73 ms. (steps per millisecond=137 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 38 resets, run finished after 74 ms. (steps per millisecond=135 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 38 resets, run finished after 77 ms. (steps per millisecond=129 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 38 resets, run finished after 75 ms. (steps per millisecond=133 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 38 resets, run finished after 73 ms. (steps per millisecond=137 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 38 resets, run finished after 72 ms. (steps per millisecond=138 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10000 steps, including 38 resets, run finished after 93 ms. (steps per millisecond=107 ) properties (out of 12) seen :1
Running SMT prover for 11 properties.
[2022-05-18 03:10:40] [INFO ] Flow matrix only has 8696 transitions (discarded 883 similar events)
// Phase 1: matrix 8696 rows 4206 cols
[2022-05-18 03:10:41] [INFO ] Computed 937 place invariants in 208 ms
[2022-05-18 03:10:42] [INFO ] After 1032ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:11
[2022-05-18 03:10:43] [INFO ] [Nat]Absence check using 49 positive place invariants in 74 ms returned sat
[2022-05-18 03:10:43] [INFO ] [Nat]Absence check using 49 positive and 888 generalized place invariants in 238 ms returned sat
[2022-05-18 03:10:52] [INFO ] After 8351ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :11
[2022-05-18 03:10:52] [INFO ] State equation strengthened by 4882 read => feed constraints.
[2022-05-18 03:11:07] [INFO ] After 14620ms SMT Verify possible using 4882 Read/Feed constraints in natural domain returned unsat :0 sat :10
[2022-05-18 03:11:07] [INFO ] After 14623ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :10
Attempting to minimize the solution found.
Minimization took 6 ms.
[2022-05-18 03:11:07] [INFO ] After 25052ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :10
Parikh walk visited 0 properties in 22 ms.
Support contains 25 out of 4206 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 4206/4206 places, 9579/9579 transitions.
Drop transitions removed 5 transitions
Trivial Post-agglo rules discarded 5 transitions
Performed 5 trivial Post agglomeration. Transition count delta: 5
Iterating post reduction 0 with 5 rules applied. Total rules applied 5 place count 4206 transition count 9574
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 1 with 5 rules applied. Total rules applied 10 place count 4201 transition count 9574
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 2 with 3 rules applied. Total rules applied 13 place count 4201 transition count 9651
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 16 place count 4198 transition count 9651
Partial Free-agglomeration rule applied 9 times.
Drop transitions removed 9 transitions
Iterating global reduction 3 with 9 rules applied. Total rules applied 25 place count 4198 transition count 9651
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 34 place count 4189 transition count 9642
Iterating global reduction 3 with 9 rules applied. Total rules applied 43 place count 4189 transition count 9642
Applied a total of 43 rules in 1697 ms. Remains 4189 /4206 variables (removed 17) and now considering 9642/9579 (removed -63) transitions.
Finished structural reductions, in 1 iterations. Remains : 4189/4206 places, 9642/9579 transitions.
Incomplete random walk after 10000 steps, including 318 resets, run finished after 652 ms. (steps per millisecond=15 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 39 resets, run finished after 74 ms. (steps per millisecond=135 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10000 steps, including 38 resets, run finished after 73 ms. (steps per millisecond=136 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10000 steps, including 38 resets, run finished after 75 ms. (steps per millisecond=133 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10000 steps, including 38 resets, run finished after 74 ms. (steps per millisecond=135 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 38 resets, run finished after 74 ms. (steps per millisecond=135 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 39 resets, run finished after 75 ms. (steps per millisecond=133 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10000 steps, including 39 resets, run finished after 75 ms. (steps per millisecond=133 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10000 steps, including 38 resets, run finished after 74 ms. (steps per millisecond=135 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10000 steps, including 38 resets, run finished after 75 ms. (steps per millisecond=133 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 39 resets, run finished after 75 ms. (steps per millisecond=133 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 39 resets, run finished after 80 ms. (steps per millisecond=125 ) properties (out of 11) seen :0
Interrupted probabilistic random walk after 22897 steps, run timeout after 3001 ms. (steps per millisecond=7 ) properties seen :{0=1, 6=1}
Probabilistic random walk after 22897 steps, saw 10447 distinct states, run finished after 3002 ms. (steps per millisecond=7 ) properties seen :2
Running SMT prover for 9 properties.
[2022-05-18 03:11:13] [INFO ] Flow matrix only has 8758 transitions (discarded 884 similar events)
// Phase 1: matrix 8758 rows 4189 cols
[2022-05-18 03:11:13] [INFO ] Computed 937 place invariants in 228 ms
[2022-05-18 03:11:14] [INFO ] After 831ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:9
[2022-05-18 03:11:15] [INFO ] [Nat]Absence check using 49 positive place invariants in 68 ms returned sat
[2022-05-18 03:11:15] [INFO ] [Nat]Absence check using 49 positive and 888 generalized place invariants in 225 ms returned sat
[2022-05-18 03:11:23] [INFO ] After 6753ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :9
[2022-05-18 03:11:23] [INFO ] State equation strengthened by 4962 read => feed constraints.
[2022-05-18 03:11:35] [INFO ] After 12686ms SMT Verify possible using 4962 Read/Feed constraints in natural domain returned unsat :3 sat :6
[2022-05-18 03:11:39] [INFO ] After 16461ms SMT Verify possible using trap constraints in natural domain returned unsat :3 sat :5
Attempting to minimize the solution found.
Minimization took 5 ms.
[2022-05-18 03:11:39] [INFO ] After 25045ms SMT Verify possible using all constraints in natural domain returned unsat :3 sat :5
Fused 9 Parikh solutions to 6 different solutions.
Parikh walk visited 0 properties in 24 ms.
Support contains 13 out of 4189 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 4189/4189 places, 9642/9642 transitions.
Drop transitions removed 5 transitions
Trivial Post-agglo rules discarded 5 transitions
Performed 5 trivial Post agglomeration. Transition count delta: 5
Iterating post reduction 0 with 5 rules applied. Total rules applied 5 place count 4189 transition count 9637
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 1 with 5 rules applied. Total rules applied 10 place count 4184 transition count 9637
Free-agglomeration rule (complex) applied 6 times.
Iterating global reduction 2 with 6 rules applied. Total rules applied 16 place count 4184 transition count 9671
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 22 place count 4178 transition count 9671
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 24 place count 4176 transition count 9669
Iterating global reduction 3 with 2 rules applied. Total rules applied 26 place count 4176 transition count 9669
Partial Free-agglomeration rule applied 3 times.
Drop transitions removed 3 transitions
Iterating global reduction 3 with 3 rules applied. Total rules applied 29 place count 4176 transition count 9669
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 32 place count 4173 transition count 9666
Iterating global reduction 3 with 3 rules applied. Total rules applied 35 place count 4173 transition count 9666
Applied a total of 35 rules in 1950 ms. Remains 4173 /4189 variables (removed 16) and now considering 9666/9642 (removed -24) transitions.
Finished structural reductions, in 1 iterations. Remains : 4173/4189 places, 9666/9642 transitions.
Successfully simplified 58 atomic propositions for a total of 16 simplifications.
[2022-05-18 03:11:41] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2022-05-18 03:11:41] [INFO ] Flatten gal took : 275 ms
FORMULA MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2022-05-18 03:11:42] [INFO ] Flatten gal took : 292 ms
[2022-05-18 03:11:42] [INFO ] Input system was already deterministic with 8640 transitions.
Support contains 47 out of 4995 places (down from 62) after GAL structural reductions.
Computed a total of 2371 stabilizing places and 3439 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 4995/4995 places, 8640/8640 transitions.
Discarding 92 places :
Symmetric choice reduction at 0 with 92 rule applications. Total rules 92 place count 4903 transition count 8528
Iterating global reduction 0 with 92 rules applied. Total rules applied 184 place count 4903 transition count 8528
Discarding 81 places :
Symmetric choice reduction at 0 with 81 rule applications. Total rules 265 place count 4822 transition count 8251
Iterating global reduction 0 with 81 rules applied. Total rules applied 346 place count 4822 transition count 8251
Discarding 28 places :
Symmetric choice reduction at 0 with 28 rule applications. Total rules 374 place count 4794 transition count 8111
Iterating global reduction 0 with 28 rules applied. Total rules applied 402 place count 4794 transition count 8111
Applied a total of 402 rules in 1422 ms. Remains 4794 /4995 variables (removed 201) and now considering 8111/8640 (removed 529) transitions.
[2022-05-18 03:11:44] [INFO ] Flow matrix only has 7511 transitions (discarded 600 similar events)
// Phase 1: matrix 7511 rows 4794 cols
[2022-05-18 03:11:44] [INFO ] Computed 937 place invariants in 196 ms
[2022-05-18 03:11:48] [INFO ] Implicit Places using invariants in 4016 ms returned []
[2022-05-18 03:11:48] [INFO ] Flow matrix only has 7511 transitions (discarded 600 similar events)
// Phase 1: matrix 7511 rows 4794 cols
[2022-05-18 03:11:48] [INFO ] Computed 937 place invariants in 190 ms
[2022-05-18 03:11:52] [INFO ] Implicit Places using invariants and state equation in 3881 ms returned []
Implicit Place search using SMT with State Equation took 7910 ms to find 0 implicit places.
[2022-05-18 03:11:52] [INFO ] Flow matrix only has 7511 transitions (discarded 600 similar events)
// Phase 1: matrix 7511 rows 4794 cols
[2022-05-18 03:11:52] [INFO ] Computed 937 place invariants in 189 ms
[2022-05-18 03:11:57] [INFO ] Dead Transitions using invariants and state equation in 5186 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 4794/4995 places, 8111/8640 transitions.
Finished structural reductions, in 1 iterations. Remains : 4794/4995 places, 8111/8640 transitions.
[2022-05-18 03:11:57] [INFO ] Flatten gal took : 254 ms
[2022-05-18 03:11:57] [INFO ] Flatten gal took : 293 ms
[2022-05-18 03:11:58] [INFO ] Input system was already deterministic with 8111 transitions.
[2022-05-18 03:11:58] [INFO ] Flatten gal took : 287 ms
[2022-05-18 03:11:59] [INFO ] Flatten gal took : 294 ms
[2022-05-18 03:11:59] [INFO ] Time to serialize gal into /tmp/CTLCardinality5347478858614089658.gal : 107 ms
[2022-05-18 03:11:59] [INFO ] Time to serialize properties into /tmp/CTLCardinality13905201893316267633.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/CTLCardinality5347478858614089658.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13905201893316267633.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 03:12:29] [INFO ] Flatten gal took : 280 ms
[2022-05-18 03:12:29] [INFO ] Applying decomposition
[2022-05-18 03:12:29] [INFO ] Flatten gal took : 284 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/graph17399745436245935596.txt' '-o' '/tmp/graph17399745436245935596.bin' '-w' '/tmp/graph17399745436245935596.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph17399745436245935596.bin' '-l' '-1' '-v' '-w' '/tmp/graph17399745436245935596.weights' '-q' '0' '-e' '0.001'
[2022-05-18 03:12:30] [INFO ] Decomposing Gal with order
[2022-05-18 03:12:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 03:12:32] [INFO ] Removed a total of 6426 redundant transitions.
[2022-05-18 03:12:33] [INFO ] Flatten gal took : 1252 ms
[2022-05-18 03:12:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 402 labels/synchronizations in 193 ms.
[2022-05-18 03:12:34] [INFO ] Time to serialize gal into /tmp/CTLCardinality1775646147018730270.gal : 62 ms
[2022-05-18 03:12:34] [INFO ] Time to serialize properties into /tmp/CTLCardinality12014096256490277888.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/CTLCardinality1775646147018730270.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12014096256490277888.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.
Starting structural reductions in LTL mode, iteration 0 : 4995/4995 places, 8640/8640 transitions.
Discarding 96 places :
Symmetric choice reduction at 0 with 96 rule applications. Total rules 96 place count 4899 transition count 8528
Iterating global reduction 0 with 96 rules applied. Total rules applied 192 place count 4899 transition count 8528
Discarding 85 places :
Symmetric choice reduction at 0 with 85 rule applications. Total rules 277 place count 4814 transition count 8243
Iterating global reduction 0 with 85 rules applied. Total rules applied 362 place count 4814 transition count 8243
Discarding 32 places :
Symmetric choice reduction at 0 with 32 rule applications. Total rules 394 place count 4782 transition count 8083
Iterating global reduction 0 with 32 rules applied. Total rules applied 426 place count 4782 transition count 8083
Applied a total of 426 rules in 1547 ms. Remains 4782 /4995 variables (removed 213) and now considering 8083/8640 (removed 557) transitions.
[2022-05-18 03:13:05] [INFO ] Flow matrix only has 7483 transitions (discarded 600 similar events)
// Phase 1: matrix 7483 rows 4782 cols
[2022-05-18 03:13:06] [INFO ] Computed 937 place invariants in 181 ms
[2022-05-18 03:13:09] [INFO ] Implicit Places using invariants in 3572 ms returned []
[2022-05-18 03:13:09] [INFO ] Flow matrix only has 7483 transitions (discarded 600 similar events)
// Phase 1: matrix 7483 rows 4782 cols
[2022-05-18 03:13:09] [INFO ] Computed 937 place invariants in 176 ms
[2022-05-18 03:13:13] [INFO ] Implicit Places using invariants and state equation in 3773 ms returned []
Implicit Place search using SMT with State Equation took 7347 ms to find 0 implicit places.
[2022-05-18 03:13:13] [INFO ] Flow matrix only has 7483 transitions (discarded 600 similar events)
// Phase 1: matrix 7483 rows 4782 cols
[2022-05-18 03:13:13] [INFO ] Computed 937 place invariants in 185 ms
[2022-05-18 03:13:18] [INFO ] Dead Transitions using invariants and state equation in 4957 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 4782/4995 places, 8083/8640 transitions.
Finished structural reductions, in 1 iterations. Remains : 4782/4995 places, 8083/8640 transitions.
[2022-05-18 03:13:18] [INFO ] Flatten gal took : 249 ms
[2022-05-18 03:13:18] [INFO ] Flatten gal took : 296 ms
[2022-05-18 03:13:19] [INFO ] Input system was already deterministic with 8083 transitions.
[2022-05-18 03:13:19] [INFO ] Flatten gal took : 274 ms
[2022-05-18 03:13:19] [INFO ] Flatten gal took : 265 ms
[2022-05-18 03:13:19] [INFO ] Time to serialize gal into /tmp/CTLCardinality5348787017342468841.gal : 29 ms
[2022-05-18 03:13:19] [INFO ] Time to serialize properties into /tmp/CTLCardinality10876730105525453594.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/CTLCardinality5348787017342468841.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10876730105525453594.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 03:13:50] [INFO ] Flatten gal took : 252 ms
[2022-05-18 03:13:50] [INFO ] Applying decomposition
[2022-05-18 03:13:50] [INFO ] Flatten gal took : 260 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph11070677116535072484.txt' '-o' '/tmp/graph11070677116535072484.bin' '-w' '/tmp/graph11070677116535072484.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph11070677116535072484.bin' '-l' '-1' '-v' '-w' '/tmp/graph11070677116535072484.weights' '-q' '0' '-e' '0.001'
[2022-05-18 03:13:50] [INFO ] Decomposing Gal with order
[2022-05-18 03:13:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 03:13:52] [INFO ] Removed a total of 5873 redundant transitions.
[2022-05-18 03:13:52] [INFO ] Flatten gal took : 716 ms
[2022-05-18 03:13:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 230 labels/synchronizations in 87 ms.
[2022-05-18 03:13:53] [INFO ] Time to serialize gal into /tmp/CTLCardinality10739697967353652804.gal : 40 ms
[2022-05-18 03:13:53] [INFO ] Time to serialize properties into /tmp/CTLCardinality15174987993215914375.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/CTLCardinality10739697967353652804.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15174987993215914375.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.
Starting structural reductions in SI_CTL mode, iteration 0 : 4995/4995 places, 8640/8640 transitions.
Drop transitions removed 34 transitions
Trivial Post-agglo rules discarded 34 transitions
Performed 34 trivial Post agglomeration. Transition count delta: 34
Iterating post reduction 0 with 34 rules applied. Total rules applied 34 place count 4995 transition count 8606
Reduce places removed 34 places and 0 transitions.
Iterating post reduction 1 with 34 rules applied. Total rules applied 68 place count 4961 transition count 8606
Performed 250 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 250 Pre rules applied. Total rules applied 68 place count 4961 transition count 8356
Deduced a syphon composed of 250 places in 5 ms
Reduce places removed 250 places and 0 transitions.
Iterating global reduction 2 with 500 rules applied. Total rules applied 568 place count 4711 transition count 8356
Discarding 64 places :
Symmetric choice reduction at 2 with 64 rule applications. Total rules 632 place count 4647 transition count 8272
Iterating global reduction 2 with 64 rules applied. Total rules applied 696 place count 4647 transition count 8272
Discarding 52 places :
Symmetric choice reduction at 2 with 52 rule applications. Total rules 748 place count 4595 transition count 8012
Iterating global reduction 2 with 52 rules applied. Total rules applied 800 place count 4595 transition count 8012
Performed 35 Post agglomeration using F-continuation condition.Transition count delta: 35
Deduced a syphon composed of 35 places in 6 ms
Reduce places removed 35 places and 0 transitions.
Iterating global reduction 2 with 70 rules applied. Total rules applied 870 place count 4560 transition count 7977
Discarding 32 places :
Symmetric choice reduction at 2 with 32 rule applications. Total rules 902 place count 4528 transition count 7945
Iterating global reduction 2 with 32 rules applied. Total rules applied 934 place count 4528 transition count 7945
Performed 8 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 8 Pre rules applied. Total rules applied 934 place count 4528 transition count 7937
Deduced a syphon composed of 8 places in 5 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 2 with 16 rules applied. Total rules applied 950 place count 4520 transition count 7937
Discarding 29 places :
Symmetric choice reduction at 2 with 29 rule applications. Total rules 979 place count 4491 transition count 7792
Iterating global reduction 2 with 29 rules applied. Total rules applied 1008 place count 4491 transition count 7792
Applied a total of 1008 rules in 2830 ms. Remains 4491 /4995 variables (removed 504) and now considering 7792/8640 (removed 848) transitions.
[2022-05-18 03:14:26] [INFO ] Flow matrix only has 7192 transitions (discarded 600 similar events)
// Phase 1: matrix 7192 rows 4491 cols
[2022-05-18 03:14:26] [INFO ] Computed 937 place invariants in 188 ms
[2022-05-18 03:14:29] [INFO ] Implicit Places using invariants in 3691 ms returned []
[2022-05-18 03:14:29] [INFO ] Flow matrix only has 7192 transitions (discarded 600 similar events)
// Phase 1: matrix 7192 rows 4491 cols
[2022-05-18 03:14:29] [INFO ] Computed 937 place invariants in 188 ms
[2022-05-18 03:14:33] [INFO ] Implicit Places using invariants and state equation in 3899 ms returned []
Implicit Place search using SMT with State Equation took 7602 ms to find 0 implicit places.
[2022-05-18 03:14:34] [INFO ] Redundant transitions in 847 ms returned []
[2022-05-18 03:14:34] [INFO ] Flow matrix only has 7192 transitions (discarded 600 similar events)
// Phase 1: matrix 7192 rows 4491 cols
[2022-05-18 03:14:34] [INFO ] Computed 937 place invariants in 201 ms
[2022-05-18 03:14:38] [INFO ] Dead Transitions using invariants and state equation in 4113 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 4491/4995 places, 7792/8640 transitions.
Finished structural reductions, in 1 iterations. Remains : 4491/4995 places, 7792/8640 transitions.
[2022-05-18 03:14:38] [INFO ] Flatten gal took : 263 ms
[2022-05-18 03:14:39] [INFO ] Flatten gal took : 255 ms
[2022-05-18 03:14:39] [INFO ] Input system was already deterministic with 7792 transitions.
Incomplete random walk after 10000 steps, including 268 resets, run finished after 121 ms. (steps per millisecond=82 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 38 resets, run finished after 72 ms. (steps per millisecond=138 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 26857 steps, run timeout after 3001 ms. (steps per millisecond=8 ) properties seen :{}
Probabilistic random walk after 26857 steps, saw 12449 distinct states, run finished after 3004 ms. (steps per millisecond=8 ) properties seen :0
Running SMT prover for 1 properties.
[2022-05-18 03:14:42] [INFO ] Flow matrix only has 7192 transitions (discarded 600 similar events)
// Phase 1: matrix 7192 rows 4491 cols
[2022-05-18 03:14:43] [INFO ] Computed 937 place invariants in 187 ms
[2022-05-18 03:14:43] [INFO ] After 422ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-05-18 03:14:43] [INFO ] [Nat]Absence check using 49 positive place invariants in 66 ms returned sat
[2022-05-18 03:14:44] [INFO ] [Nat]Absence check using 49 positive and 888 generalized place invariants in 255 ms returned sat
[2022-05-18 03:14:47] [INFO ] After 3430ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-05-18 03:14:47] [INFO ] State equation strengthened by 2810 read => feed constraints.
[2022-05-18 03:14:49] [INFO ] After 1277ms SMT Verify possible using 2810 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-05-18 03:14:53] [INFO ] Deduced a trap composed of 488 places in 4228 ms of which 7 ms to minimize.
[2022-05-18 03:14:53] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 4740 ms
[2022-05-18 03:14:53] [INFO ] After 6181ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 251 ms.
[2022-05-18 03:14:54] [INFO ] After 10710ms 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 4491 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 4491/4491 places, 7792/7792 transitions.
Free-agglomeration rule (complex) applied 338 times.
Iterating global reduction 0 with 338 rules applied. Total rules applied 338 place count 4491 transition count 9646
Reduce places removed 338 places and 0 transitions.
Iterating post reduction 0 with 338 rules applied. Total rules applied 676 place count 4153 transition count 9646
Partial Free-agglomeration rule applied 50 times.
Drop transitions removed 50 transitions
Iterating global reduction 1 with 50 rules applied. Total rules applied 726 place count 4153 transition count 9646
Applied a total of 726 rules in 1720 ms. Remains 4153 /4491 variables (removed 338) and now considering 9646/7792 (removed -1854) transitions.
Finished structural reductions, in 1 iterations. Remains : 4153/4491 places, 9646/7792 transitions.
Finished random walk after 727115 steps, including 23268 resets, run visited all 1 properties in 21877 ms. (steps per millisecond=33 )
FORMULA MultiCrashLeafsetExtension-PT-S24C05-CTLCardinality-03 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Starting structural reductions in SI_CTL mode, iteration 0 : 4995/4995 places, 8640/8640 transitions.
Drop transitions removed 35 transitions
Trivial Post-agglo rules discarded 35 transitions
Performed 35 trivial Post agglomeration. Transition count delta: 35
Iterating post reduction 0 with 35 rules applied. Total rules applied 35 place count 4995 transition count 8605
Reduce places removed 35 places and 0 transitions.
Iterating post reduction 1 with 35 rules applied. Total rules applied 70 place count 4960 transition count 8605
Performed 250 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 250 Pre rules applied. Total rules applied 70 place count 4960 transition count 8355
Deduced a syphon composed of 250 places in 6 ms
Reduce places removed 250 places and 0 transitions.
Iterating global reduction 2 with 500 rules applied. Total rules applied 570 place count 4710 transition count 8355
Discarding 63 places :
Symmetric choice reduction at 2 with 63 rule applications. Total rules 633 place count 4647 transition count 8272
Iterating global reduction 2 with 63 rules applied. Total rules applied 696 place count 4647 transition count 8272
Discarding 51 places :
Symmetric choice reduction at 2 with 51 rule applications. Total rules 747 place count 4596 transition count 8017
Iterating global reduction 2 with 51 rules applied. Total rules applied 798 place count 4596 transition count 8017
Performed 35 Post agglomeration using F-continuation condition.Transition count delta: 35
Deduced a syphon composed of 35 places in 5 ms
Reduce places removed 35 places and 0 transitions.
Iterating global reduction 2 with 70 rules applied. Total rules applied 868 place count 4561 transition count 7982
Discarding 33 places :
Symmetric choice reduction at 2 with 33 rule applications. Total rules 901 place count 4528 transition count 7949
Iterating global reduction 2 with 33 rules applied. Total rules applied 934 place count 4528 transition count 7949
Performed 8 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 8 Pre rules applied. Total rules applied 934 place count 4528 transition count 7941
Deduced a syphon composed of 8 places in 5 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 2 with 16 rules applied. Total rules applied 950 place count 4520 transition count 7941
Discarding 30 places :
Symmetric choice reduction at 2 with 30 rule applications. Total rules 980 place count 4490 transition count 7791
Iterating global reduction 2 with 30 rules applied. Total rules applied 1010 place count 4490 transition count 7791
Applied a total of 1010 rules in 2600 ms. Remains 4490 /4995 variables (removed 505) and now considering 7791/8640 (removed 849) transitions.
[2022-05-18 03:15:20] [INFO ] Flow matrix only has 7191 transitions (discarded 600 similar events)
// Phase 1: matrix 7191 rows 4490 cols
[2022-05-18 03:15:20] [INFO ] Computed 937 place invariants in 194 ms
[2022-05-18 03:15:28] [INFO ] Implicit Places using invariants in 8398 ms returned [4, 7, 11, 12, 13, 14, 15, 16, 21, 28, 37, 48, 61, 76, 93, 112, 133, 156, 180, 204, 205, 206, 207, 208, 209, 230, 249, 266, 281, 294, 305, 314, 321, 326, 329, 342, 348, 351, 352, 353, 354, 355, 356, 359, 364, 371, 380, 391, 404, 419, 436, 455, 476, 498, 520, 521, 522, 523, 524, 525, 544, 561, 576, 589, 600, 609, 616, 621, 624, 626, 639, 645, 648, 649, 650, 651, 652, 653, 655, 658, 663, 670, 679, 690, 703, 718, 735, 754, 774, 794, 795, 796, 797, 798, 799, 816, 831, 844, 855, 864, 871, 876, 879, 881, 883, 896, 902, 905, 906, 907, 908, 909, 910, 912, 914, 917, 922, 929, 938, 949, 962, 977, 994, 1012, 1030, 1031, 1032, 1033, 1034, 1035, 1050, 1063, 1074, 1083, 1090, 1095, 1098, 1100, 1102, 1104, 1117, 1123, 1126, 1127, 1128, 1129, 1130, 1131, 1133, 1135, 1137, 1140, 1145, 1152, 1161, 1172, 1185, 1200, 1216, 1232, 1233, 1234, 1235, 1236, 1237, 1250, 1261, 1270, 1277, 1282, 1285, 1287, 1289, 1291, 1293, 1306, 1312, 1315, 1316, 1317, 1318, 1319, 1320, 1322, 1324, 1326, 1328, 1331, 1336, 1343, 1352, 1363, 1376, 1390, 1404, 1405, 1406, 1407, 1408, 1409, 1420, 1429, 1436, 1441, 1444, 1446, 1448, 1450, 1452, 1454, 1467, 1473, 1476, 1477, 1478, 1479, 1480, 1481, 1483, 1485, 1487, 1489, 1491, 1494, 1499, 1506, 1515, 1526, 1538, 1550, 1551, 1552, 1553, 1554, 1555, 1564, 1571, 1576, 1579, 1581, 1583, 1585, 1587, 1589, 1591, 1604, 1610, 1613, 1614, 1615, 1616, 1617, 1618, 1620, 1622, 1624, 1626, 1628, 1630, 1633, 1638, 1645, 1654, 1664, 1674, 1675, 1676, 1677, 1678, 1679, 1686, 1691, 1694, 1696, 1698, 1700, 1702, 1704, 1706, 1708, 1721, 1727, 1730, 1731, 1732, 1733, 1734, 1735, 1737, 1739, 1741, 1743, 1745, 1747, 1749, 1752, 1757, 1764, 1772, 1780, 1781, 1782, 1783, 1785, 1790, 1793, 1795, 1797, 1802, 1804, 1806, 1808, 1810, 1812, 1825, 1831, 1834, 1835, 1836, 1837, 1838, 1839, 1841, 1843, 1845, 1847, 1849, 1851, 1853, 1855, 1858, 1863, 1869, 1875, 1876, 1877, 1878, 1879, 1880, 1883, 1885, 1887, 1889, 1891, 1893, 1895, 1897, 1899, 1901, 1914, 1920, 1923, 1924, 1925, 1926, 1927, 1928, 1930, 1932, 1934, 1936, 1938, 1940, 1942, 1944, 1946, 1949, 1953, 1957, 1958, 1960, 1961, 1962, 1964, 1966, 1968, 1970, 1972, 1974, 1976, 1978, 1982, 1984, 1997, 2003, 2006, 2007, 2008, 2009, 2010, 2011, 2013, 2015, 2017, 2019, 2021, 2023, 2025, 2027, 2029, 2031, 2033, 2036, 2037, 2038, 2039, 2040, 2041, 2043, 2045, 2047, 2049, 2051, 2053, 2055, 2057, 2059, 2061, 2074, 2076, 2079, 2082, 2083, 2084, 2085, 2086, 2087, 2089, 2091, 2093, 2095, 2097, 2099, 2101, 2103, 2105, 2107, 2109, 2112, 2113, 2114, 2115, 2116, 2117, 2119, 2121, 2123, 2125, 2127, 2129, 2131, 2133, 2135, 2137, 2150, 2156, 2159, 2160, 2161, 2162, 2163, 2164, 2166, 2168, 2170, 2172, 2174, 2176, 2178, 2180, 2182, 2184, 2186, 2189, 2190, 2191, 2192, 2193, 2194, 2196, 2198, 2200, 2202, 2204, 2206, 2208, 2210, 2212, 2214, 2227, 2233, 2236, 2237, 2238, 2239, 2240, 2241, 2243, 2245, 2247, 2249, 2251, 2253, 2255, 2257, 2259, 2261, 2264, 2269, 2270, 2271, 2272, 2273, 2274, 2277, 2279, 2281, 2283, 2285, 2287, 2289, 2291, 2293, 2295, 2308, 2314, 2317, 2318, 2319, 2320, 2321, 2322, 2324, 2326, 2328, 2330, 2332, 2334, 2336, 2338, 2340, 2343, 2348, 2355, 2356, 2357, 2358, 2359, 2360, 2365, 2368, 2370, 2372, 2374, 2376, 2378, 2380, 2382, 2384, 2397, 2403, 2406, 2407, 2408, 2409, 2410, 2411, 2413, 2415, 2417, 2419, 2421, 2423, 2425, 2427, 2430, 2435, 2442, 2451, 2452, 2453, 2454, 2455, 2456, 2463, 2468, 2471, 2473, 2475, 2477, 2479, 2481, 2483, 2485, 2498, 2504, 2507, 2508, 2509, 2510, 2511, 2512, 2514, 2516, 2518, 2520, 2522, 2524, 2526, 2529, 2534, 2541, 2550, 2561, 2562, 2563, 2564, 2565, 2566, 2575, 2582, 2587, 2590, 2592, 2594, 2596, 2598, 2600, 2602, 2615, 2621, 2624, 2625, 2626, 2627, 2628, 2629, 2631, 2633, 2635, 2637, 2639, 2641, 2644, 2649, 2656, 2665, 2676, 2689, 2690, 2691, 2692, 2693, 2694, 2705, 2714, 2721, 2726, 2729, 2731, 2733, 2735, 2737, 2739, 2752, 2758, 2761, 2762, 2763, 2764, 2765, 2766, 2768, 2770, 2772, 2774, 2776, 2779, 2784, 2791, 2800, 2811, 2824, 2839, 2840, 2841, 2842, 2843, 2844, 2857, 2868, 2877, 2884, 2889, 2892, 2894, 2896, 2898, 2900, 2913, 2919, 2922, 2923, 2924, 2925, 2926, 2927, 2929, 2931, 2933, 2935, 2938, 2943, 2950, 2959, 2970, 2983, 2998, 3015, 3016, 3017, 3018, 3019, 3020, 3035, 3048, 3059, 3068, 3075, 3080, 3083, 3085, 3087, 3089, 3102, 3108, 3111, 3112, 3113, 3114, 3115, 3116, 3118, 3120, 3122, 3125, 3130, 3137, 3146, 3157, 3170, 3185, 3202, 3221, 3222, 3223, 3224, 3225, 3226, 3243, 3258, 3271, 3282, 3291, 3298, 3303, 3306, 3308, 3310, 3323, 3329, 3332, 3333, 3334, 3335, 3336, 3337, 3339, 3341, 3344, 3349, 3356, 3365, 3376, 3389, 3404, 3421, 3440, 3461, 3462, 3463, 3464, 3465, 3466, 3485, 3502, 3517, 3530, 3541, 3550, 3557, 3562, 3565, 3567, 3580, 3586, 3589, 3590, 3591, 3592, 3593, 3594, 3596, 3599, 3604, 3611, 3620, 3631, 3644, 3659, 3676, 3695, 3716, 3739, 3740, 3741, 3742, 3743, 3744, 3765, 3784, 3801, 3816, 3829, 3840, 3849, 3856, 3861, 3864, 3877, 3879, 3882, 3885, 3886, 3887, 3888, 3889, 3890, 3893, 3898, 3905, 3914, 3925, 3938, 3953, 3970, 3989, 4010, 4033, 4058, 4059, 4060, 4061, 4062, 4063, 4086, 4107, 4126, 4143, 4158, 4171, 4182, 4191, 4198, 4203, 4217]
Discarding 876 places :
Implicit Place search using SMT only with invariants took 8418 ms to find 876 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3614/4995 places, 7791/8640 transitions.
Discarding 238 places :
Symmetric choice reduction at 0 with 238 rule applications. Total rules 238 place count 3376 transition count 7553
Iterating global reduction 0 with 238 rules applied. Total rules applied 476 place count 3376 transition count 7553
Discarding 238 places :
Symmetric choice reduction at 0 with 238 rule applications. Total rules 714 place count 3138 transition count 7315
Iterating global reduction 0 with 238 rules applied. Total rules applied 952 place count 3138 transition count 7315
Discarding 46 places :
Symmetric choice reduction at 0 with 46 rule applications. Total rules 998 place count 3092 transition count 7085
Iterating global reduction 0 with 46 rules applied. Total rules applied 1044 place count 3092 transition count 7085
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 4 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 1048 place count 3090 transition count 7083
Applied a total of 1048 rules in 1642 ms. Remains 3090 /3614 variables (removed 524) and now considering 7083/7791 (removed 708) transitions.
[2022-05-18 03:15:30] [INFO ] Flow matrix only has 6483 transitions (discarded 600 similar events)
// Phase 1: matrix 6483 rows 3090 cols
[2022-05-18 03:15:30] [INFO ] Computed 61 place invariants in 178 ms
[2022-05-18 03:15:34] [INFO ] Implicit Places using invariants in 4075 ms returned []
[2022-05-18 03:15:34] [INFO ] Flow matrix only has 6483 transitions (discarded 600 similar events)
// Phase 1: matrix 6483 rows 3090 cols
[2022-05-18 03:15:34] [INFO ] Computed 61 place invariants in 164 ms
[2022-05-18 03:15:35] [INFO ] State equation strengthened by 2626 read => feed constraints.
[2022-05-18 03:15:47] [INFO ] Implicit Places using invariants and state equation in 12915 ms returned []
Implicit Place search using SMT with State Equation took 16998 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3090/4995 places, 7083/8640 transitions.
Finished structural reductions, in 2 iterations. Remains : 3090/4995 places, 7083/8640 transitions.
[2022-05-18 03:15:47] [INFO ] Flatten gal took : 198 ms
[2022-05-18 03:15:47] [INFO ] Flatten gal took : 225 ms
[2022-05-18 03:15:48] [INFO ] Input system was already deterministic with 7083 transitions.
[2022-05-18 03:15:48] [INFO ] Flatten gal took : 225 ms
[2022-05-18 03:15:48] [INFO ] Flatten gal took : 216 ms
[2022-05-18 03:15:49] [INFO ] Time to serialize gal into /tmp/CTLCardinality11326429825656799428.gal : 573 ms
[2022-05-18 03:15:49] [INFO ] Time to serialize properties into /tmp/CTLCardinality11784431621550823641.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/CTLCardinality11326429825656799428.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11784431621550823641.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 03:16:19] [INFO ] Flatten gal took : 206 ms
[2022-05-18 03:16:19] [INFO ] Applying decomposition
[2022-05-18 03:16:19] [INFO ] Flatten gal took : 219 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/graph1763959365367226764.txt' '-o' '/tmp/graph1763959365367226764.bin' '-w' '/tmp/graph1763959365367226764.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph1763959365367226764.bin' '-l' '-1' '-v' '-w' '/tmp/graph1763959365367226764.weights' '-q' '0' '-e' '0.001'
[2022-05-18 03:16:20] [INFO ] Decomposing Gal with order
[2022-05-18 03:16:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 03:16:21] [INFO ] Removed a total of 6159 redundant transitions.
[2022-05-18 03:16:21] [INFO ] Flatten gal took : 1118 ms
[2022-05-18 03:16:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 758 labels/synchronizations in 114 ms.
[2022-05-18 03:16:22] [INFO ] Time to serialize gal into /tmp/CTLCardinality7134931269892938398.gal : 27 ms
[2022-05-18 03:16:22] [INFO ] Time to serialize properties into /tmp/CTLCardinality8167431665428162421.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/CTLCardinality7134931269892938398.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8167431665428162421.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.
Starting structural reductions in LTL mode, iteration 0 : 4995/4995 places, 8640/8640 transitions.
Discarding 90 places :
Symmetric choice reduction at 0 with 90 rule applications. Total rules 90 place count 4905 transition count 8530
Iterating global reduction 0 with 90 rules applied. Total rules applied 180 place count 4905 transition count 8530
Discarding 79 places :
Symmetric choice reduction at 0 with 79 rule applications. Total rules 259 place count 4826 transition count 8267
Iterating global reduction 0 with 79 rules applied. Total rules applied 338 place count 4826 transition count 8267
Discarding 29 places :
Symmetric choice reduction at 0 with 29 rule applications. Total rules 367 place count 4797 transition count 8122
Iterating global reduction 0 with 29 rules applied. Total rules applied 396 place count 4797 transition count 8122
Applied a total of 396 rules in 1551 ms. Remains 4797 /4995 variables (removed 198) and now considering 8122/8640 (removed 518) transitions.
[2022-05-18 03:16:53] [INFO ] Flow matrix only has 7522 transitions (discarded 600 similar events)
// Phase 1: matrix 7522 rows 4797 cols
[2022-05-18 03:16:54] [INFO ] Computed 937 place invariants in 183 ms
[2022-05-18 03:16:57] [INFO ] Implicit Places using invariants in 3705 ms returned []
[2022-05-18 03:16:57] [INFO ] Flow matrix only has 7522 transitions (discarded 600 similar events)
// Phase 1: matrix 7522 rows 4797 cols
[2022-05-18 03:16:57] [INFO ] Computed 937 place invariants in 186 ms
[2022-05-18 03:17:01] [INFO ] Implicit Places using invariants and state equation in 3543 ms returned []
Implicit Place search using SMT with State Equation took 7250 ms to find 0 implicit places.
[2022-05-18 03:17:01] [INFO ] Flow matrix only has 7522 transitions (discarded 600 similar events)
// Phase 1: matrix 7522 rows 4797 cols
[2022-05-18 03:17:01] [INFO ] Computed 937 place invariants in 203 ms
[2022-05-18 03:17:06] [INFO ] Dead Transitions using invariants and state equation in 4939 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 4797/4995 places, 8122/8640 transitions.
Finished structural reductions, in 1 iterations. Remains : 4797/4995 places, 8122/8640 transitions.
[2022-05-18 03:17:06] [INFO ] Flatten gal took : 230 ms
[2022-05-18 03:17:06] [INFO ] Flatten gal took : 264 ms
[2022-05-18 03:17:07] [INFO ] Input system was already deterministic with 8122 transitions.
[2022-05-18 03:17:07] [INFO ] Flatten gal took : 257 ms
[2022-05-18 03:17:07] [INFO ] Flatten gal took : 294 ms
[2022-05-18 03:17:07] [INFO ] Time to serialize gal into /tmp/CTLCardinality17307839074505294595.gal : 30 ms
[2022-05-18 03:17:07] [INFO ] Time to serialize properties into /tmp/CTLCardinality12588978691602938000.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/CTLCardinality17307839074505294595.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12588978691602938000.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 03:17:38] [INFO ] Flatten gal took : 294 ms
[2022-05-18 03:17:38] [INFO ] Applying decomposition
[2022-05-18 03:17:38] [INFO ] Flatten gal took : 305 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/graph9281458766283625184.txt' '-o' '/tmp/graph9281458766283625184.bin' '-w' '/tmp/graph9281458766283625184.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph9281458766283625184.bin' '-l' '-1' '-v' '-w' '/tmp/graph9281458766283625184.weights' '-q' '0' '-e' '0.001'
[2022-05-18 03:17:39] [INFO ] Decomposing Gal with order
[2022-05-18 03:17:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 03:17:40] [INFO ] Removed a total of 6368 redundant transitions.
[2022-05-18 03:17:40] [INFO ] Flatten gal took : 785 ms
[2022-05-18 03:17:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 270 labels/synchronizations in 101 ms.
[2022-05-18 03:17:41] [INFO ] Time to serialize gal into /tmp/CTLCardinality9761733294074682734.gal : 33 ms
[2022-05-18 03:17:41] [INFO ] Time to serialize properties into /tmp/CTLCardinality1656314572407263088.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/CTLCardinality9761733294074682734.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1656314572407263088.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.
Starting structural reductions in SI_CTL mode, iteration 0 : 4995/4995 places, 8640/8640 transitions.
Drop transitions removed 36 transitions
Trivial Post-agglo rules discarded 36 transitions
Performed 36 trivial Post agglomeration. Transition count delta: 36
Iterating post reduction 0 with 36 rules applied. Total rules applied 36 place count 4995 transition count 8604
Reduce places removed 36 places and 0 transitions.
Iterating post reduction 1 with 36 rules applied. Total rules applied 72 place count 4959 transition count 8604
Performed 250 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 250 Pre rules applied. Total rules applied 72 place count 4959 transition count 8354
Deduced a syphon composed of 250 places in 5 ms
Reduce places removed 250 places and 0 transitions.
Iterating global reduction 2 with 500 rules applied. Total rules applied 572 place count 4709 transition count 8354
Discarding 62 places :
Symmetric choice reduction at 2 with 62 rule applications. Total rules 634 place count 4647 transition count 8272
Iterating global reduction 2 with 62 rules applied. Total rules applied 696 place count 4647 transition count 8272
Discarding 50 places :
Symmetric choice reduction at 2 with 50 rule applications. Total rules 746 place count 4597 transition count 8022
Iterating global reduction 2 with 50 rules applied. Total rules applied 796 place count 4597 transition count 8022
Performed 35 Post agglomeration using F-continuation condition.Transition count delta: 35
Deduced a syphon composed of 35 places in 5 ms
Reduce places removed 35 places and 0 transitions.
Iterating global reduction 2 with 70 rules applied. Total rules applied 866 place count 4562 transition count 7987
Discarding 34 places :
Symmetric choice reduction at 2 with 34 rule applications. Total rules 900 place count 4528 transition count 7953
Iterating global reduction 2 with 34 rules applied. Total rules applied 934 place count 4528 transition count 7953
Performed 8 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 8 Pre rules applied. Total rules applied 934 place count 4528 transition count 7945
Deduced a syphon composed of 8 places in 4 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 2 with 16 rules applied. Total rules applied 950 place count 4520 transition count 7945
Discarding 31 places :
Symmetric choice reduction at 2 with 31 rule applications. Total rules 981 place count 4489 transition count 7790
Iterating global reduction 2 with 31 rules applied. Total rules applied 1012 place count 4489 transition count 7790
Applied a total of 1012 rules in 2565 ms. Remains 4489 /4995 variables (removed 506) and now considering 7790/8640 (removed 850) transitions.
[2022-05-18 03:18:13] [INFO ] Flow matrix only has 7190 transitions (discarded 600 similar events)
// Phase 1: matrix 7190 rows 4489 cols
[2022-05-18 03:18:14] [INFO ] Computed 937 place invariants in 203 ms
[2022-05-18 03:18:18] [INFO ] Implicit Places using invariants in 5081 ms returned []
[2022-05-18 03:18:18] [INFO ] Flow matrix only has 7190 transitions (discarded 600 similar events)
// Phase 1: matrix 7190 rows 4489 cols
[2022-05-18 03:18:19] [INFO ] Computed 937 place invariants in 220 ms
[2022-05-18 03:18:24] [INFO ] Implicit Places using invariants and state equation in 5114 ms returned []
Implicit Place search using SMT with State Equation took 10197 ms to find 0 implicit places.
[2022-05-18 03:18:24] [INFO ] Redundant transitions in 639 ms returned []
[2022-05-18 03:18:24] [INFO ] Flow matrix only has 7190 transitions (discarded 600 similar events)
// Phase 1: matrix 7190 rows 4489 cols
[2022-05-18 03:18:24] [INFO ] Computed 937 place invariants in 194 ms
[2022-05-18 03:18:29] [INFO ] Dead Transitions using invariants and state equation in 4901 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 4489/4995 places, 7790/8640 transitions.
Finished structural reductions, in 1 iterations. Remains : 4489/4995 places, 7790/8640 transitions.
[2022-05-18 03:18:29] [INFO ] Flatten gal took : 233 ms
[2022-05-18 03:18:30] [INFO ] Flatten gal took : 266 ms
[2022-05-18 03:18:30] [INFO ] Input system was already deterministic with 7790 transitions.
[2022-05-18 03:18:30] [INFO ] Flatten gal took : 276 ms
[2022-05-18 03:18:31] [INFO ] Flatten gal took : 271 ms
[2022-05-18 03:18:31] [INFO ] Time to serialize gal into /tmp/CTLCardinality2216703233334119458.gal : 28 ms
[2022-05-18 03:18:31] [INFO ] Time to serialize properties into /tmp/CTLCardinality12966634224862515657.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/CTLCardinality2216703233334119458.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12966634224862515657.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 03:19:01] [INFO ] Flatten gal took : 250 ms
[2022-05-18 03:19:01] [INFO ] Applying decomposition
[2022-05-18 03:19:01] [INFO ] Flatten gal took : 299 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/graph9802832166394130031.txt' '-o' '/tmp/graph9802832166394130031.bin' '-w' '/tmp/graph9802832166394130031.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph9802832166394130031.bin' '-l' '-1' '-v' '-w' '/tmp/graph9802832166394130031.weights' '-q' '0' '-e' '0.001'
[2022-05-18 03:19:02] [INFO ] Decomposing Gal with order
[2022-05-18 03:19:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 03:19:03] [INFO ] Removed a total of 6728 redundant transitions.
[2022-05-18 03:19:03] [INFO ] Flatten gal took : 990 ms
[2022-05-18 03:19:03] [INFO ] Fuse similar labels procedure discarded/fused a total of 866 labels/synchronizations in 137 ms.
[2022-05-18 03:19:04] [INFO ] Time to serialize gal into /tmp/CTLCardinality17826702338498671052.gal : 35 ms
[2022-05-18 03:19:04] [INFO ] Time to serialize properties into /tmp/CTLCardinality193723852772639997.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/CTLCardinality17826702338498671052.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality193723852772639997.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.
Starting structural reductions in LTL mode, iteration 0 : 4995/4995 places, 8640/8640 transitions.
Discarding 98 places :
Symmetric choice reduction at 0 with 98 rule applications. Total rules 98 place count 4897 transition count 8522
Iterating global reduction 0 with 98 rules applied. Total rules applied 196 place count 4897 transition count 8522
Discarding 86 places :
Symmetric choice reduction at 0 with 86 rule applications. Total rules 282 place count 4811 transition count 8236
Iterating global reduction 0 with 86 rules applied. Total rules applied 368 place count 4811 transition count 8236
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 401 place count 4778 transition count 8071
Iterating global reduction 0 with 33 rules applied. Total rules applied 434 place count 4778 transition count 8071
Applied a total of 434 rules in 1517 ms. Remains 4778 /4995 variables (removed 217) and now considering 8071/8640 (removed 569) transitions.
[2022-05-18 03:19:36] [INFO ] Flow matrix only has 7471 transitions (discarded 600 similar events)
// Phase 1: matrix 7471 rows 4778 cols
[2022-05-18 03:19:36] [INFO ] Computed 937 place invariants in 170 ms
[2022-05-18 03:19:39] [INFO ] Implicit Places using invariants in 3693 ms returned []
[2022-05-18 03:19:39] [INFO ] Flow matrix only has 7471 transitions (discarded 600 similar events)
// Phase 1: matrix 7471 rows 4778 cols
[2022-05-18 03:19:39] [INFO ] Computed 937 place invariants in 205 ms
[2022-05-18 03:19:43] [INFO ] Implicit Places using invariants and state equation in 3787 ms returned []
Implicit Place search using SMT with State Equation took 7488 ms to find 0 implicit places.
[2022-05-18 03:19:43] [INFO ] Flow matrix only has 7471 transitions (discarded 600 similar events)
// Phase 1: matrix 7471 rows 4778 cols
[2022-05-18 03:19:43] [INFO ] Computed 937 place invariants in 173 ms
[2022-05-18 03:19:48] [INFO ] Dead Transitions using invariants and state equation in 4797 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 4778/4995 places, 8071/8640 transitions.
Finished structural reductions, in 1 iterations. Remains : 4778/4995 places, 8071/8640 transitions.
[2022-05-18 03:19:48] [INFO ] Flatten gal took : 268 ms
[2022-05-18 03:19:48] [INFO ] Flatten gal took : 259 ms
[2022-05-18 03:19:49] [INFO ] Input system was already deterministic with 8071 transitions.
[2022-05-18 03:19:49] [INFO ] Flatten gal took : 283 ms
[2022-05-18 03:19:49] [INFO ] Flatten gal took : 260 ms
[2022-05-18 03:19:49] [INFO ] Time to serialize gal into /tmp/CTLCardinality8029055752466808093.gal : 24 ms
[2022-05-18 03:19:49] [INFO ] Time to serialize properties into /tmp/CTLCardinality12086793788423801444.ctl : 4 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/CTLCardinality8029055752466808093.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12086793788423801444.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 03:20:20] [INFO ] Flatten gal took : 292 ms
[2022-05-18 03:20:20] [INFO ] Applying decomposition
[2022-05-18 03:20:20] [INFO ] Flatten gal took : 304 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/graph1946049011076491876.txt' '-o' '/tmp/graph1946049011076491876.bin' '-w' '/tmp/graph1946049011076491876.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph1946049011076491876.bin' '-l' '-1' '-v' '-w' '/tmp/graph1946049011076491876.weights' '-q' '0' '-e' '0.001'
[2022-05-18 03:20:21] [INFO ] Decomposing Gal with order
[2022-05-18 03:20:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 03:20:22] [INFO ] Removed a total of 5901 redundant transitions.
[2022-05-18 03:20:22] [INFO ] Flatten gal took : 1105 ms
[2022-05-18 03:20:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 3947 labels/synchronizations in 297 ms.
[2022-05-18 03:20:23] [INFO ] Time to serialize gal into /tmp/CTLCardinality12154345516581053877.gal : 69 ms
[2022-05-18 03:20:23] [INFO ] Time to serialize properties into /tmp/CTLCardinality6697941970037061540.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/CTLCardinality12154345516581053877.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6697941970037061540.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 : 4995/4995 places, 8640/8640 transitions.
Drop transitions removed 34 transitions
Trivial Post-agglo rules discarded 34 transitions
Performed 34 trivial Post agglomeration. Transition count delta: 34
Iterating post reduction 0 with 34 rules applied. Total rules applied 34 place count 4995 transition count 8606
Reduce places removed 34 places and 0 transitions.
Iterating post reduction 1 with 34 rules applied. Total rules applied 68 place count 4961 transition count 8606
Performed 250 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 250 Pre rules applied. Total rules applied 68 place count 4961 transition count 8356
Deduced a syphon composed of 250 places in 6 ms
Reduce places removed 250 places and 0 transitions.
Iterating global reduction 2 with 500 rules applied. Total rules applied 568 place count 4711 transition count 8356
Discarding 64 places :
Symmetric choice reduction at 2 with 64 rule applications. Total rules 632 place count 4647 transition count 8272
Iterating global reduction 2 with 64 rules applied. Total rules applied 696 place count 4647 transition count 8272
Discarding 52 places :
Symmetric choice reduction at 2 with 52 rule applications. Total rules 748 place count 4595 transition count 8012
Iterating global reduction 2 with 52 rules applied. Total rules applied 800 place count 4595 transition count 8012
Performed 35 Post agglomeration using F-continuation condition.Transition count delta: 35
Deduced a syphon composed of 35 places in 5 ms
Reduce places removed 35 places and 0 transitions.
Iterating global reduction 2 with 70 rules applied. Total rules applied 870 place count 4560 transition count 7977
Discarding 32 places :
Symmetric choice reduction at 2 with 32 rule applications. Total rules 902 place count 4528 transition count 7945
Iterating global reduction 2 with 32 rules applied. Total rules applied 934 place count 4528 transition count 7945
Performed 8 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 8 Pre rules applied. Total rules applied 934 place count 4528 transition count 7937
Deduced a syphon composed of 8 places in 4 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 2 with 16 rules applied. Total rules applied 950 place count 4520 transition count 7937
Discarding 29 places :
Symmetric choice reduction at 2 with 29 rule applications. Total rules 979 place count 4491 transition count 7792
Iterating global reduction 2 with 29 rules applied. Total rules applied 1008 place count 4491 transition count 7792
Applied a total of 1008 rules in 2626 ms. Remains 4491 /4995 variables (removed 504) and now considering 7792/8640 (removed 848) transitions.
[2022-05-18 03:20:55] [INFO ] Flow matrix only has 7192 transitions (discarded 600 similar events)
// Phase 1: matrix 7192 rows 4491 cols
[2022-05-18 03:20:56] [INFO ] Computed 937 place invariants in 177 ms
[2022-05-18 03:21:00] [INFO ] Implicit Places using invariants in 5070 ms returned []
[2022-05-18 03:21:00] [INFO ] Flow matrix only has 7192 transitions (discarded 600 similar events)
// Phase 1: matrix 7192 rows 4491 cols
[2022-05-18 03:21:01] [INFO ] Computed 937 place invariants in 257 ms
[2022-05-18 03:21:06] [INFO ] Implicit Places using invariants and state equation in 5096 ms returned []
Implicit Place search using SMT with State Equation took 10189 ms to find 0 implicit places.
[2022-05-18 03:21:06] [INFO ] Redundant transitions in 791 ms returned []
[2022-05-18 03:21:06] [INFO ] Flow matrix only has 7192 transitions (discarded 600 similar events)
// Phase 1: matrix 7192 rows 4491 cols
[2022-05-18 03:21:07] [INFO ] Computed 937 place invariants in 183 ms
[2022-05-18 03:21:11] [INFO ] Dead Transitions using invariants and state equation in 4836 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 4491/4995 places, 7792/8640 transitions.
Finished structural reductions, in 1 iterations. Remains : 4491/4995 places, 7792/8640 transitions.
[2022-05-18 03:21:11] [INFO ] Flatten gal took : 230 ms
[2022-05-18 03:21:12] [INFO ] Flatten gal took : 261 ms
[2022-05-18 03:21:12] [INFO ] Input system was already deterministic with 7792 transitions.
[2022-05-18 03:21:12] [INFO ] Flatten gal took : 250 ms
[2022-05-18 03:21:13] [INFO ] Flatten gal took : 260 ms
[2022-05-18 03:21:13] [INFO ] Time to serialize gal into /tmp/CTLCardinality6124816598871046545.gal : 29 ms
[2022-05-18 03:21:13] [INFO ] Time to serialize properties into /tmp/CTLCardinality4076879053834715283.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/CTLCardinality6124816598871046545.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4076879053834715283.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 03:21:43] [INFO ] Flatten gal took : 255 ms
[2022-05-18 03:21:43] [INFO ] Applying decomposition
[2022-05-18 03:21:43] [INFO ] Flatten gal took : 263 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/graph8158765422920477498.txt' '-o' '/tmp/graph8158765422920477498.bin' '-w' '/tmp/graph8158765422920477498.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph8158765422920477498.bin' '-l' '-1' '-v' '-w' '/tmp/graph8158765422920477498.weights' '-q' '0' '-e' '0.001'
[2022-05-18 03:21:44] [INFO ] Decomposing Gal with order
[2022-05-18 03:21:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 03:21:45] [INFO ] Removed a total of 6492 redundant transitions.
[2022-05-18 03:21:45] [INFO ] Flatten gal took : 957 ms
[2022-05-18 03:21:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 1004 labels/synchronizations in 133 ms.
[2022-05-18 03:21:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality17403797825121174784.gal : 33 ms
[2022-05-18 03:21:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality600254481850122653.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/CTLCardinality17403797825121174784.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality600254481850122653.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.
Starting structural reductions in SI_CTL mode, iteration 0 : 4995/4995 places, 8640/8640 transitions.
Drop transitions removed 35 transitions
Trivial Post-agglo rules discarded 35 transitions
Performed 35 trivial Post agglomeration. Transition count delta: 35
Iterating post reduction 0 with 35 rules applied. Total rules applied 35 place count 4995 transition count 8605
Reduce places removed 35 places and 0 transitions.
Iterating post reduction 1 with 35 rules applied. Total rules applied 70 place count 4960 transition count 8605
Performed 250 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 250 Pre rules applied. Total rules applied 70 place count 4960 transition count 8355
Deduced a syphon composed of 250 places in 6 ms
Reduce places removed 250 places and 0 transitions.
Iterating global reduction 2 with 500 rules applied. Total rules applied 570 place count 4710 transition count 8355
Discarding 64 places :
Symmetric choice reduction at 2 with 64 rule applications. Total rules 634 place count 4646 transition count 8271
Iterating global reduction 2 with 64 rules applied. Total rules applied 698 place count 4646 transition count 8271
Discarding 52 places :
Symmetric choice reduction at 2 with 52 rule applications. Total rules 750 place count 4594 transition count 8011
Iterating global reduction 2 with 52 rules applied. Total rules applied 802 place count 4594 transition count 8011
Performed 35 Post agglomeration using F-continuation condition.Transition count delta: 35
Deduced a syphon composed of 35 places in 5 ms
Reduce places removed 35 places and 0 transitions.
Iterating global reduction 2 with 70 rules applied. Total rules applied 872 place count 4559 transition count 7976
Discarding 33 places :
Symmetric choice reduction at 2 with 33 rule applications. Total rules 905 place count 4526 transition count 7943
Iterating global reduction 2 with 33 rules applied. Total rules applied 938 place count 4526 transition count 7943
Performed 9 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 9 Pre rules applied. Total rules applied 938 place count 4526 transition count 7934
Deduced a syphon composed of 9 places in 4 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 2 with 18 rules applied. Total rules applied 956 place count 4517 transition count 7934
Discarding 30 places :
Symmetric choice reduction at 2 with 30 rule applications. Total rules 986 place count 4487 transition count 7784
Iterating global reduction 2 with 30 rules applied. Total rules applied 1016 place count 4487 transition count 7784
Applied a total of 1016 rules in 2713 ms. Remains 4487 /4995 variables (removed 508) and now considering 7784/8640 (removed 856) transitions.
[2022-05-18 03:22:19] [INFO ] Flow matrix only has 7184 transitions (discarded 600 similar events)
// Phase 1: matrix 7184 rows 4487 cols
[2022-05-18 03:22:19] [INFO ] Computed 937 place invariants in 197 ms
[2022-05-18 03:22:24] [INFO ] Implicit Places using invariants in 4949 ms returned [896]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 4962 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 4486/4995 places, 7784/8640 transitions.
Applied a total of 0 rules in 515 ms. Remains 4486 /4486 variables (removed 0) and now considering 7784/7784 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 4486/4995 places, 7784/8640 transitions.
[2022-05-18 03:22:24] [INFO ] Flatten gal took : 264 ms
[2022-05-18 03:22:25] [INFO ] Flatten gal took : 304 ms
[2022-05-18 03:22:25] [INFO ] Input system was already deterministic with 7784 transitions.
[2022-05-18 03:22:26] [INFO ] Flatten gal took : 267 ms
[2022-05-18 03:22:26] [INFO ] Flatten gal took : 259 ms
[2022-05-18 03:22:26] [INFO ] Time to serialize gal into /tmp/CTLCardinality17461890912821538868.gal : 74 ms
[2022-05-18 03:22:26] [INFO ] Time to serialize properties into /tmp/CTLCardinality3743500559630333262.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/CTLCardinality17461890912821538868.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3743500559630333262.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 03:22:56] [INFO ] Flatten gal took : 260 ms
[2022-05-18 03:22:56] [INFO ] Applying decomposition
[2022-05-18 03:22:57] [INFO ] Flatten gal took : 259 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/graph3083934905421421953.txt' '-o' '/tmp/graph3083934905421421953.bin' '-w' '/tmp/graph3083934905421421953.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph3083934905421421953.bin' '-l' '-1' '-v' '-w' '/tmp/graph3083934905421421953.weights' '-q' '0' '-e' '0.001'
[2022-05-18 03:22:57] [INFO ] Decomposing Gal with order
[2022-05-18 03:22:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 03:22:59] [INFO ] Removed a total of 6665 redundant transitions.
[2022-05-18 03:22:59] [INFO ] Flatten gal took : 1288 ms
[2022-05-18 03:22:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 4938 labels/synchronizations in 391 ms.
[2022-05-18 03:22:59] [INFO ] Time to serialize gal into /tmp/CTLCardinality17551247394566256179.gal : 37 ms
[2022-05-18 03:22:59] [INFO ] Time to serialize properties into /tmp/CTLCardinality7184515614913388570.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/CTLCardinality17551247394566256179.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7184515614913388570.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 : 4995/4995 places, 8640/8640 transitions.
Drop transitions removed 36 transitions
Trivial Post-agglo rules discarded 36 transitions
Performed 36 trivial Post agglomeration. Transition count delta: 36
Iterating post reduction 0 with 36 rules applied. Total rules applied 36 place count 4995 transition count 8604
Reduce places removed 36 places and 0 transitions.
Iterating post reduction 1 with 36 rules applied. Total rules applied 72 place count 4959 transition count 8604
Performed 250 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 250 Pre rules applied. Total rules applied 72 place count 4959 transition count 8354
Deduced a syphon composed of 250 places in 5 ms
Reduce places removed 250 places and 0 transitions.
Iterating global reduction 2 with 500 rules applied. Total rules applied 572 place count 4709 transition count 8354
Discarding 62 places :
Symmetric choice reduction at 2 with 62 rule applications. Total rules 634 place count 4647 transition count 8272
Iterating global reduction 2 with 62 rules applied. Total rules applied 696 place count 4647 transition count 8272
Discarding 50 places :
Symmetric choice reduction at 2 with 50 rule applications. Total rules 746 place count 4597 transition count 8022
Iterating global reduction 2 with 50 rules applied. Total rules applied 796 place count 4597 transition count 8022
Performed 35 Post agglomeration using F-continuation condition.Transition count delta: 35
Deduced a syphon composed of 35 places in 19 ms
Reduce places removed 35 places and 0 transitions.
Iterating global reduction 2 with 70 rules applied. Total rules applied 866 place count 4562 transition count 7987
Discarding 34 places :
Symmetric choice reduction at 2 with 34 rule applications. Total rules 900 place count 4528 transition count 7953
Iterating global reduction 2 with 34 rules applied. Total rules applied 934 place count 4528 transition count 7953
Performed 8 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 8 Pre rules applied. Total rules applied 934 place count 4528 transition count 7945
Deduced a syphon composed of 8 places in 4 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 2 with 16 rules applied. Total rules applied 950 place count 4520 transition count 7945
Discarding 31 places :
Symmetric choice reduction at 2 with 31 rule applications. Total rules 981 place count 4489 transition count 7790
Iterating global reduction 2 with 31 rules applied. Total rules applied 1012 place count 4489 transition count 7790
Applied a total of 1012 rules in 2523 ms. Remains 4489 /4995 variables (removed 506) and now considering 7790/8640 (removed 850) transitions.
[2022-05-18 03:23:32] [INFO ] Flow matrix only has 7190 transitions (discarded 600 similar events)
// Phase 1: matrix 7190 rows 4489 cols
[2022-05-18 03:23:32] [INFO ] Computed 937 place invariants in 215 ms
[2022-05-18 03:23:37] [INFO ] Implicit Places using invariants in 5016 ms returned [2396]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 5029 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 4488/4995 places, 7790/8640 transitions.
Applied a total of 0 rules in 499 ms. Remains 4488 /4488 variables (removed 0) and now considering 7790/7790 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 4488/4995 places, 7790/8640 transitions.
[2022-05-18 03:23:38] [INFO ] Flatten gal took : 266 ms
[2022-05-18 03:23:38] [INFO ] Flatten gal took : 284 ms
[2022-05-18 03:23:38] [INFO ] Input system was already deterministic with 7790 transitions.
[2022-05-18 03:23:39] [INFO ] Flatten gal took : 251 ms
[2022-05-18 03:23:39] [INFO ] Flatten gal took : 258 ms
[2022-05-18 03:23:39] [INFO ] Time to serialize gal into /tmp/CTLCardinality17802741470377704632.gal : 29 ms
[2022-05-18 03:23:39] [INFO ] Time to serialize properties into /tmp/CTLCardinality4075557292645916654.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/CTLCardinality17802741470377704632.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4075557292645916654.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 03:24:09] [INFO ] Flatten gal took : 340 ms
[2022-05-18 03:24:09] [INFO ] Applying decomposition
[2022-05-18 03:24:10] [INFO ] Flatten gal took : 276 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/graph17418634328909046031.txt' '-o' '/tmp/graph17418634328909046031.bin' '-w' '/tmp/graph17418634328909046031.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph17418634328909046031.bin' '-l' '-1' '-v' '-w' '/tmp/graph17418634328909046031.weights' '-q' '0' '-e' '0.001'
[2022-05-18 03:24:10] [INFO ] Decomposing Gal with order
[2022-05-18 03:24:10] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 03:24:12] [INFO ] Removed a total of 6652 redundant transitions.
[2022-05-18 03:24:12] [INFO ] Flatten gal took : 960 ms
[2022-05-18 03:24:12] [INFO ] Fuse similar labels procedure discarded/fused a total of 952 labels/synchronizations in 132 ms.
[2022-05-18 03:24:13] [INFO ] Time to serialize gal into /tmp/CTLCardinality6660409703397051941.gal : 142 ms
[2022-05-18 03:24:13] [INFO ] Time to serialize properties into /tmp/CTLCardinality15753663952204791256.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/CTLCardinality6660409703397051941.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15753663952204791256.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.
Starting structural reductions in SI_CTL mode, iteration 0 : 4995/4995 places, 8640/8640 transitions.
Drop transitions removed 34 transitions
Trivial Post-agglo rules discarded 34 transitions
Performed 34 trivial Post agglomeration. Transition count delta: 34
Iterating post reduction 0 with 34 rules applied. Total rules applied 34 place count 4995 transition count 8606
Reduce places removed 34 places and 0 transitions.
Iterating post reduction 1 with 34 rules applied. Total rules applied 68 place count 4961 transition count 8606
Performed 250 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 250 Pre rules applied. Total rules applied 68 place count 4961 transition count 8356
Deduced a syphon composed of 250 places in 5 ms
Reduce places removed 250 places and 0 transitions.
Iterating global reduction 2 with 500 rules applied. Total rules applied 568 place count 4711 transition count 8356
Discarding 60 places :
Symmetric choice reduction at 2 with 60 rule applications. Total rules 628 place count 4651 transition count 8276
Iterating global reduction 2 with 60 rules applied. Total rules applied 688 place count 4651 transition count 8276
Discarding 48 places :
Symmetric choice reduction at 2 with 48 rule applications. Total rules 736 place count 4603 transition count 8036
Iterating global reduction 2 with 48 rules applied. Total rules applied 784 place count 4603 transition count 8036
Performed 35 Post agglomeration using F-continuation condition.Transition count delta: 35
Deduced a syphon composed of 35 places in 6 ms
Reduce places removed 35 places and 0 transitions.
Iterating global reduction 2 with 70 rules applied. Total rules applied 854 place count 4568 transition count 8001
Discarding 32 places :
Symmetric choice reduction at 2 with 32 rule applications. Total rules 886 place count 4536 transition count 7969
Iterating global reduction 2 with 32 rules applied. Total rules applied 918 place count 4536 transition count 7969
Performed 6 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 6 Pre rules applied. Total rules applied 918 place count 4536 transition count 7963
Deduced a syphon composed of 6 places in 5 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 2 with 12 rules applied. Total rules applied 930 place count 4530 transition count 7963
Discarding 29 places :
Symmetric choice reduction at 2 with 29 rule applications. Total rules 959 place count 4501 transition count 7818
Iterating global reduction 2 with 29 rules applied. Total rules applied 988 place count 4501 transition count 7818
Applied a total of 988 rules in 2694 ms. Remains 4501 /4995 variables (removed 494) and now considering 7818/8640 (removed 822) transitions.
[2022-05-18 03:24:45] [INFO ] Flow matrix only has 7218 transitions (discarded 600 similar events)
// Phase 1: matrix 7218 rows 4501 cols
[2022-05-18 03:24:46] [INFO ] Computed 937 place invariants in 194 ms
[2022-05-18 03:24:49] [INFO ] Implicit Places using invariants in 3887 ms returned []
[2022-05-18 03:24:49] [INFO ] Flow matrix only has 7218 transitions (discarded 600 similar events)
// Phase 1: matrix 7218 rows 4501 cols
[2022-05-18 03:24:50] [INFO ] Computed 937 place invariants in 215 ms
[2022-05-18 03:24:53] [INFO ] Implicit Places using invariants and state equation in 3762 ms returned []
Implicit Place search using SMT with State Equation took 7652 ms to find 0 implicit places.
[2022-05-18 03:24:54] [INFO ] Redundant transitions in 914 ms returned []
[2022-05-18 03:24:54] [INFO ] Flow matrix only has 7218 transitions (discarded 600 similar events)
// Phase 1: matrix 7218 rows 4501 cols
[2022-05-18 03:24:54] [INFO ] Computed 937 place invariants in 190 ms
[2022-05-18 03:24:59] [INFO ] Dead Transitions using invariants and state equation in 4663 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 4501/4995 places, 7818/8640 transitions.
Finished structural reductions, in 1 iterations. Remains : 4501/4995 places, 7818/8640 transitions.
[2022-05-18 03:24:59] [INFO ] Flatten gal took : 249 ms
[2022-05-18 03:24:59] [INFO ] Flatten gal took : 301 ms
[2022-05-18 03:25:00] [INFO ] Input system was already deterministic with 7818 transitions.
[2022-05-18 03:25:00] [INFO ] Flatten gal took : 247 ms
[2022-05-18 03:25:00] [INFO ] Flatten gal took : 275 ms
[2022-05-18 03:25:00] [INFO ] Time to serialize gal into /tmp/CTLCardinality6447443747675442588.gal : 26 ms
[2022-05-18 03:25:00] [INFO ] Time to serialize properties into /tmp/CTLCardinality451098173995423482.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/CTLCardinality6447443747675442588.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality451098173995423482.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 03:25:31] [INFO ] Flatten gal took : 252 ms
[2022-05-18 03:25:31] [INFO ] Applying decomposition
[2022-05-18 03:25:31] [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/graph5567910162724836856.txt' '-o' '/tmp/graph5567910162724836856.bin' '-w' '/tmp/graph5567910162724836856.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph5567910162724836856.bin' '-l' '-1' '-v' '-w' '/tmp/graph5567910162724836856.weights' '-q' '0' '-e' '0.001'
[2022-05-18 03:25:32] [INFO ] Decomposing Gal with order
[2022-05-18 03:25:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 03:25:33] [INFO ] Removed a total of 6871 redundant transitions.
[2022-05-18 03:25:33] [INFO ] Flatten gal took : 1199 ms
[2022-05-18 03:25:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 968 labels/synchronizations in 161 ms.
[2022-05-18 03:25:35] [INFO ] Time to serialize gal into /tmp/CTLCardinality9310411859428563174.gal : 589 ms
[2022-05-18 03:25:35] [INFO ] Time to serialize properties into /tmp/CTLCardinality4118792285988355633.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/CTLCardinality9310411859428563174.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4118792285988355633.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.
Starting structural reductions in LTL mode, iteration 0 : 4995/4995 places, 8640/8640 transitions.
Discarding 97 places :
Symmetric choice reduction at 0 with 97 rule applications. Total rules 97 place count 4898 transition count 8523
Iterating global reduction 0 with 97 rules applied. Total rules applied 194 place count 4898 transition count 8523
Discarding 85 places :
Symmetric choice reduction at 0 with 85 rule applications. Total rules 279 place count 4813 transition count 8242
Iterating global reduction 0 with 85 rules applied. Total rules applied 364 place count 4813 transition count 8242
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 397 place count 4780 transition count 8077
Iterating global reduction 0 with 33 rules applied. Total rules applied 430 place count 4780 transition count 8077
Applied a total of 430 rules in 1473 ms. Remains 4780 /4995 variables (removed 215) and now considering 8077/8640 (removed 563) transitions.
[2022-05-18 03:26:06] [INFO ] Flow matrix only has 7477 transitions (discarded 600 similar events)
// Phase 1: matrix 7477 rows 4780 cols
[2022-05-18 03:26:06] [INFO ] Computed 937 place invariants in 195 ms
[2022-05-18 03:26:10] [INFO ] Implicit Places using invariants in 3875 ms returned []
[2022-05-18 03:26:10] [INFO ] Flow matrix only has 7477 transitions (discarded 600 similar events)
// Phase 1: matrix 7477 rows 4780 cols
[2022-05-18 03:26:10] [INFO ] Computed 937 place invariants in 181 ms
[2022-05-18 03:26:13] [INFO ] Implicit Places using invariants and state equation in 3499 ms returned []
Implicit Place search using SMT with State Equation took 7376 ms to find 0 implicit places.
[2022-05-18 03:26:13] [INFO ] Flow matrix only has 7477 transitions (discarded 600 similar events)
// Phase 1: matrix 7477 rows 4780 cols
[2022-05-18 03:26:14] [INFO ] Computed 937 place invariants in 175 ms
[2022-05-18 03:26:18] [INFO ] Dead Transitions using invariants and state equation in 4757 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 4780/4995 places, 8077/8640 transitions.
Finished structural reductions, in 1 iterations. Remains : 4780/4995 places, 8077/8640 transitions.
[2022-05-18 03:26:18] [INFO ] Flatten gal took : 234 ms
[2022-05-18 03:26:19] [INFO ] Flatten gal took : 263 ms
[2022-05-18 03:26:19] [INFO ] Input system was already deterministic with 8077 transitions.
[2022-05-18 03:26:19] [INFO ] Flatten gal took : 251 ms
[2022-05-18 03:26:20] [INFO ] Flatten gal took : 263 ms
[2022-05-18 03:26:20] [INFO ] Time to serialize gal into /tmp/CTLCardinality10592778776067566091.gal : 26 ms
[2022-05-18 03:26:20] [INFO ] Time to serialize properties into /tmp/CTLCardinality18321269860108702776.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/CTLCardinality10592778776067566091.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality18321269860108702776.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 03:26:50] [INFO ] Flatten gal took : 260 ms
[2022-05-18 03:26:50] [INFO ] Applying decomposition
[2022-05-18 03:26:50] [INFO ] Flatten gal took : 285 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/graph18111810736183058173.txt' '-o' '/tmp/graph18111810736183058173.bin' '-w' '/tmp/graph18111810736183058173.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph18111810736183058173.bin' '-l' '-1' '-v' '-w' '/tmp/graph18111810736183058173.weights' '-q' '0' '-e' '0.001'
[2022-05-18 03:26:51] [INFO ] Decomposing Gal with order
[2022-05-18 03:26:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 03:26:52] [INFO ] Removed a total of 6080 redundant transitions.
[2022-05-18 03:26:52] [INFO ] Flatten gal took : 903 ms
[2022-05-18 03:26:53] [INFO ] Fuse similar labels procedure discarded/fused a total of 3197 labels/synchronizations in 229 ms.
[2022-05-18 03:26:53] [INFO ] Time to serialize gal into /tmp/CTLCardinality1788253370462525897.gal : 45 ms
[2022-05-18 03:26:53] [INFO ] Time to serialize properties into /tmp/CTLCardinality11813295282800169541.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/CTLCardinality1788253370462525897.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11813295282800169541.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 : 4995/4995 places, 8640/8640 transitions.
Discarding 96 places :
Symmetric choice reduction at 0 with 96 rule applications. Total rules 96 place count 4899 transition count 8524
Iterating global reduction 0 with 96 rules applied. Total rules applied 192 place count 4899 transition count 8524
Discarding 84 places :
Symmetric choice reduction at 0 with 84 rule applications. Total rules 276 place count 4815 transition count 8240
Iterating global reduction 0 with 84 rules applied. Total rules applied 360 place count 4815 transition count 8240
Discarding 31 places :
Symmetric choice reduction at 0 with 31 rule applications. Total rules 391 place count 4784 transition count 8085
Iterating global reduction 0 with 31 rules applied. Total rules applied 422 place count 4784 transition count 8085
Applied a total of 422 rules in 1494 ms. Remains 4784 /4995 variables (removed 211) and now considering 8085/8640 (removed 555) transitions.
[2022-05-18 03:27:24] [INFO ] Flow matrix only has 7485 transitions (discarded 600 similar events)
// Phase 1: matrix 7485 rows 4784 cols
[2022-05-18 03:27:24] [INFO ] Computed 937 place invariants in 170 ms
[2022-05-18 03:27:28] [INFO ] Implicit Places using invariants in 3709 ms returned []
[2022-05-18 03:27:28] [INFO ] Flow matrix only has 7485 transitions (discarded 600 similar events)
// Phase 1: matrix 7485 rows 4784 cols
[2022-05-18 03:27:28] [INFO ] Computed 937 place invariants in 213 ms
[2022-05-18 03:27:32] [INFO ] Implicit Places using invariants and state equation in 3681 ms returned []
Implicit Place search using SMT with State Equation took 7392 ms to find 0 implicit places.
[2022-05-18 03:27:32] [INFO ] Flow matrix only has 7485 transitions (discarded 600 similar events)
// Phase 1: matrix 7485 rows 4784 cols
[2022-05-18 03:27:32] [INFO ] Computed 937 place invariants in 203 ms
[2022-05-18 03:27:36] [INFO ] Dead Transitions using invariants and state equation in 4803 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 4784/4995 places, 8085/8640 transitions.
Finished structural reductions, in 1 iterations. Remains : 4784/4995 places, 8085/8640 transitions.
[2022-05-18 03:27:37] [INFO ] Flatten gal took : 229 ms
[2022-05-18 03:27:37] [INFO ] Flatten gal took : 269 ms
[2022-05-18 03:27:37] [INFO ] Input system was already deterministic with 8085 transitions.
[2022-05-18 03:27:38] [INFO ] Flatten gal took : 295 ms
[2022-05-18 03:27:38] [INFO ] Flatten gal took : 251 ms
[2022-05-18 03:27:38] [INFO ] Time to serialize gal into /tmp/CTLCardinality3673794518180923270.gal : 30 ms
[2022-05-18 03:27:38] [INFO ] Time to serialize properties into /tmp/CTLCardinality952930674590094844.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/CTLCardinality3673794518180923270.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality952930674590094844.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 03:28:08] [INFO ] Flatten gal took : 296 ms
[2022-05-18 03:28:08] [INFO ] Applying decomposition
[2022-05-18 03:28:09] [INFO ] Flatten gal took : 289 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/graph11145282522543308916.txt' '-o' '/tmp/graph11145282522543308916.bin' '-w' '/tmp/graph11145282522543308916.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph11145282522543308916.bin' '-l' '-1' '-v' '-w' '/tmp/graph11145282522543308916.weights' '-q' '0' '-e' '0.001'
[2022-05-18 03:28:09] [INFO ] Decomposing Gal with order
[2022-05-18 03:28:09] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 03:28:10] [INFO ] Removed a total of 5851 redundant transitions.
[2022-05-18 03:28:11] [INFO ] Flatten gal took : 743 ms
[2022-05-18 03:28:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 231 labels/synchronizations in 93 ms.
[2022-05-18 03:28:11] [INFO ] Time to serialize gal into /tmp/CTLCardinality330699241663331350.gal : 35 ms
[2022-05-18 03:28:11] [INFO ] Time to serialize properties into /tmp/CTLCardinality16586276405306530477.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/CTLCardinality330699241663331350.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16586276405306530477.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 03:28:42] [INFO ] Flatten gal took : 287 ms
[2022-05-18 03:28:42] [INFO ] Flatten gal took : 351 ms
[2022-05-18 03:28:42] [INFO ] Applying decomposition
[2022-05-18 03:28:42] [INFO ] Flatten gal took : 306 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph12817651896081090494.txt' '-o' '/tmp/graph12817651896081090494.bin' '-w' '/tmp/graph12817651896081090494.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph12817651896081090494.bin' '-l' '-1' '-v' '-w' '/tmp/graph12817651896081090494.weights' '-q' '0' '-e' '0.001'
[2022-05-18 03:28:43] [INFO ] Decomposing Gal with order
[2022-05-18 03:28:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-18 03:28:45] [INFO ] Removed a total of 8002 redundant transitions.
[2022-05-18 03:28:45] [INFO ] Flatten gal took : 942 ms
[2022-05-18 03:28:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 683 labels/synchronizations in 166 ms.
[2022-05-18 03:28:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality3494453442206544960.gal : 46 ms
[2022-05-18 03:28:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality10427084124611437797.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/CTLCardinality3494453442206544960.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10427084124611437797.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 12 CTL formulae.
Detected timeout of ITS tools.
[2022-05-18 03:55:33] [INFO ] Flatten gal took : 645 ms
[2022-05-18 03:55:34] [INFO ] Time to serialize gal into /tmp/CTLCardinality8811651607310497335.gal : 43 ms
[2022-05-18 03:55:34] [INFO ] Time to serialize properties into /tmp/CTLCardinality17674431042314140447.ctl : 15 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/CTLCardinality8811651607310497335.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17674431042314140447.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 12 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
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ 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 CTLCardinality -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@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-S24C05"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is MultiCrashLeafsetExtension-PT-S24C05, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r132-tall-165271821300729"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C05.tgz
mv MultiCrashLeafsetExtension-PT-S24C05 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;