About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S24C03
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16222.584 | 3600000.00 | 2631041.00 | 701298.50 | FTT?????TFF???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/mcc2023-input.r229-tall-167856413800809.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool itstools
Input is MultiCrashLeafsetExtension-PT-S24C03, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r229-tall-167856413800809
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.3M
-rw-r--r-- 1 mcc users 13K Feb 26 02:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 02:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 02:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 02:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.5K Feb 25 16:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 16:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 22K Feb 26 02:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 123K Feb 26 02:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 02:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 02:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 8.8M Mar 5 18:22 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-S24C03-CTLCardinality-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLCardinality-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLCardinality-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLCardinality-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLCardinality-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLCardinality-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLCardinality-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLCardinality-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLCardinality-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLCardinality-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLCardinality-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLCardinality-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLCardinality-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLCardinality-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLCardinality-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1679574667781
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S24C03
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202303021504
[2023-03-23 12:31:09] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2023-03-23 12:31:09] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 12:31:09] [INFO ] Load time of PNML (sax parser for PT used): 411 ms
[2023-03-23 12:31:09] [INFO ] Transformed 8390 places.
[2023-03-23 12:31:09] [INFO ] Transformed 12757 transitions.
[2023-03-23 12:31:09] [INFO ] Parsed PT model containing 8390 places and 12757 transitions and 52526 arcs in 562 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 16 ms.
Support contains 151 out of 8390 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 8390/8390 places, 12757/12757 transitions.
Reduce places removed 33 places and 0 transitions.
Iterating post reduction 0 with 33 rules applied. Total rules applied 33 place count 8357 transition count 12757
Discarding 1754 places :
Symmetric choice reduction at 1 with 1754 rule applications. Total rules 1787 place count 6603 transition count 11003
Iterating global reduction 1 with 1754 rules applied. Total rules applied 3541 place count 6603 transition count 11003
Discarding 1577 places :
Symmetric choice reduction at 1 with 1577 rule applications. Total rules 5118 place count 5026 transition count 9426
Iterating global reduction 1 with 1577 rules applied. Total rules applied 6695 place count 5026 transition count 9426
Discarding 470 places :
Symmetric choice reduction at 1 with 470 rule applications. Total rules 7165 place count 4556 transition count 8016
Iterating global reduction 1 with 470 rules applied. Total rules applied 7635 place count 4556 transition count 8016
Applied a total of 7635 rules in 2251 ms. Remains 4556 /8390 variables (removed 3834) and now considering 8016/12757 (removed 4741) transitions.
[2023-03-23 12:31:12] [INFO ] Flow matrix only has 7416 transitions (discarded 600 similar events)
// Phase 1: matrix 7416 rows 4556 cols
[2023-03-23 12:31:12] [INFO ] Computed 834 place invariants in 370 ms
[2023-03-23 12:31:16] [INFO ] Implicit Places using invariants in 4094 ms returned []
[2023-03-23 12:31:16] [INFO ] Flow matrix only has 7416 transitions (discarded 600 similar events)
[2023-03-23 12:31:16] [INFO ] Invariant cache hit.
[2023-03-23 12:31:19] [INFO ] Implicit Places using invariants and state equation in 3092 ms returned []
Implicit Place search using SMT with State Equation took 7234 ms to find 0 implicit places.
[2023-03-23 12:31:19] [INFO ] Flow matrix only has 7416 transitions (discarded 600 similar events)
[2023-03-23 12:31:19] [INFO ] Invariant cache hit.
[2023-03-23 12:31:23] [INFO ] Dead Transitions using invariants and state equation in 4332 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 4556/8390 places, 8016/12757 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 13821 ms. Remains : 4556/8390 places, 8016/12757 transitions.
Support contains 151 out of 4556 places after structural reductions.
[2023-03-23 12:31:24] [INFO ] Flatten gal took : 507 ms
[2023-03-23 12:31:24] [INFO ] Flatten gal took : 286 ms
[2023-03-23 12:31:25] [INFO ] Input system was already deterministic with 8016 transitions.
Support contains 143 out of 4556 places (down from 151) after GAL structural reductions.
Incomplete random walk after 10000 steps, including 319 resets, run finished after 682 ms. (steps per millisecond=14 ) properties (out of 79) seen :16
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 63) seen :1
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 62) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 62) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 62) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 62) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 62) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 62) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 62) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 62) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 62) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 62) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 62) seen :1
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 61) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 61) seen :1
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 60) seen :1
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 59) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 59) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 59) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 59) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 59) seen :1
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 11 ms. (steps per millisecond=90 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 11 ms. (steps per millisecond=90 ) properties (out of 58) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 58) seen :0
Running SMT prover for 58 properties.
[2023-03-23 12:31:26] [INFO ] Flow matrix only has 7416 transitions (discarded 600 similar events)
[2023-03-23 12:31:26] [INFO ] Invariant cache hit.
[2023-03-23 12:31:31] [INFO ] After 4082ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:58
[2023-03-23 12:31:34] [INFO ] [Nat]Absence check using 47 positive place invariants in 52 ms returned sat
[2023-03-23 12:31:35] [INFO ] [Nat]Absence check using 47 positive and 787 generalized place invariants in 272 ms returned sat
[2023-03-23 12:31:46] [INFO ] After 9940ms SMT Verify possible using state equation in natural domain returned unsat :35 sat :23
[2023-03-23 12:31:46] [INFO ] State equation strengthened by 2862 read => feed constraints.
[2023-03-23 12:31:56] [INFO ] After 9405ms SMT Verify possible using 2862 Read/Feed constraints in natural domain returned unsat :35 sat :21
[2023-03-23 12:31:56] [INFO ] After 9409ms SMT Verify possible using trap constraints in natural domain returned unsat :35 sat :21
Attempting to minimize the solution found.
Minimization took 2 ms.
[2023-03-23 12:31:56] [INFO ] After 25062ms SMT Verify possible using all constraints in natural domain returned unsat :35 sat :21
Fused 58 Parikh solutions to 23 different solutions.
Parikh walk visited 0 properties in 90 ms.
Support contains 48 out of 4556 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4556/4556 places, 8016/8016 transitions.
Drop transitions removed 28 transitions
Trivial Post-agglo rules discarded 28 transitions
Performed 28 trivial Post agglomeration. Transition count delta: 28
Iterating post reduction 0 with 28 rules applied. Total rules applied 28 place count 4556 transition count 7988
Reduce places removed 28 places and 0 transitions.
Iterating post reduction 1 with 28 rules applied. Total rules applied 56 place count 4528 transition count 7988
Performed 149 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 149 Pre rules applied. Total rules applied 56 place count 4528 transition count 7839
Deduced a syphon composed of 149 places in 5 ms
Reduce places removed 149 places and 0 transitions.
Iterating global reduction 2 with 298 rules applied. Total rules applied 354 place count 4379 transition count 7839
Discarding 36 places :
Symmetric choice reduction at 2 with 36 rule applications. Total rules 390 place count 4343 transition count 7793
Iterating global reduction 2 with 36 rules applied. Total rules applied 426 place count 4343 transition count 7793
Discarding 29 places :
Symmetric choice reduction at 2 with 29 rule applications. Total rules 455 place count 4314 transition count 7706
Iterating global reduction 2 with 29 rules applied. Total rules applied 484 place count 4314 transition count 7706
Performed 31 Post agglomeration using F-continuation condition.Transition count delta: 31
Deduced a syphon composed of 31 places in 7 ms
Reduce places removed 31 places and 0 transitions.
Iterating global reduction 2 with 62 rules applied. Total rules applied 546 place count 4283 transition count 7675
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 572 place count 4257 transition count 7649
Iterating global reduction 2 with 26 rules applied. Total rules applied 598 place count 4257 transition count 7649
Discarding 25 places :
Symmetric choice reduction at 2 with 25 rule applications. Total rules 623 place count 4232 transition count 7574
Iterating global reduction 2 with 25 rules applied. Total rules applied 648 place count 4232 transition count 7574
Free-agglomeration rule (complex) applied 347 times.
Iterating global reduction 2 with 347 rules applied. Total rules applied 995 place count 4232 transition count 8241
Reduce places removed 347 places and 0 transitions.
Iterating post reduction 2 with 347 rules applied. Total rules applied 1342 place count 3885 transition count 8241
Partial Free-agglomeration rule applied 149 times.
Drop transitions removed 149 transitions
Iterating global reduction 3 with 149 rules applied. Total rules applied 1491 place count 3885 transition count 8241
Applied a total of 1491 rules in 4514 ms. Remains 3885 /4556 variables (removed 671) and now considering 8241/8016 (removed -225) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4516 ms. Remains : 3885/4556 places, 8241/8016 transitions.
Incomplete random walk after 10000 steps, including 515 resets, run finished after 671 ms. (steps per millisecond=14 ) properties (out of 23) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 20) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 20) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 20) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 20) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 20) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 20) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 20) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 20) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 20) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 20) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 20) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 20) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 20) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 20) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 20) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 20) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 20) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 20) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 20) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 20) seen :0
Running SMT prover for 20 properties.
[2023-03-23 12:32:01] [INFO ] Flow matrix only has 7358 transitions (discarded 883 similar events)
// Phase 1: matrix 7358 rows 3885 cols
[2023-03-23 12:32:01] [INFO ] Computed 834 place invariants in 165 ms
[2023-03-23 12:32:03] [INFO ] After 1388ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:20
[2023-03-23 12:32:04] [INFO ] [Nat]Absence check using 49 positive place invariants in 66 ms returned sat
[2023-03-23 12:32:04] [INFO ] [Nat]Absence check using 49 positive and 785 generalized place invariants in 202 ms returned sat
[2023-03-23 12:32:13] [INFO ] After 7927ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :20
[2023-03-23 12:32:13] [INFO ] State equation strengthened by 3758 read => feed constraints.
[2023-03-23 12:32:28] [INFO ] After 14336ms SMT Verify possible using 3758 Read/Feed constraints in natural domain returned unsat :12 sat :7
[2023-03-23 12:32:28] [INFO ] After 14340ms SMT Verify possible using trap constraints in natural domain returned unsat :12 sat :7
Attempting to minimize the solution found.
Minimization took 9 ms.
[2023-03-23 12:32:28] [INFO ] After 25045ms SMT Verify possible using all constraints in natural domain returned unsat :12 sat :7
Fused 20 Parikh solutions to 8 different solutions.
Parikh walk visited 0 properties in 17 ms.
Support contains 21 out of 3885 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3885/3885 places, 8241/8241 transitions.
Drop transitions removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 0 with 7 rules applied. Total rules applied 7 place count 3885 transition count 8234
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 1 with 7 rules applied. Total rules applied 14 place count 3878 transition count 8234
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 14 place count 3878 transition count 8232
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 18 place count 3876 transition count 8232
Free-agglomeration rule (complex) applied 6 times.
Iterating global reduction 2 with 6 rules applied. Total rules applied 24 place count 3876 transition count 8226
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 30 place count 3870 transition count 8226
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 33 place count 3867 transition count 8223
Iterating global reduction 3 with 3 rules applied. Total rules applied 36 place count 3867 transition count 8223
Partial Free-agglomeration rule applied 6 times.
Drop transitions removed 6 transitions
Iterating global reduction 3 with 6 rules applied. Total rules applied 42 place count 3867 transition count 8223
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 48 place count 3861 transition count 8217
Iterating global reduction 3 with 6 rules applied. Total rules applied 54 place count 3861 transition count 8217
Applied a total of 54 rules in 1472 ms. Remains 3861 /3885 variables (removed 24) and now considering 8217/8241 (removed 24) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1473 ms. Remains : 3861/3885 places, 8217/8241 transitions.
Incomplete random walk after 10000 steps, including 518 resets, run finished after 353 ms. (steps per millisecond=28 ) properties (out of 8) seen :2
Incomplete Best-First random walk after 10001 steps, including 62 resets, run finished after 49 ms. (steps per millisecond=204 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 62 resets, run finished after 55 ms. (steps per millisecond=181 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 62 resets, run finished after 52 ms. (steps per millisecond=192 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 62 resets, run finished after 47 ms. (steps per millisecond=212 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 62 resets, run finished after 53 ms. (steps per millisecond=188 ) properties (out of 6) seen :1
Incomplete Best-First random walk after 10001 steps, including 62 resets, run finished after 51 ms. (steps per millisecond=196 ) properties (out of 5) seen :0
Running SMT prover for 5 properties.
[2023-03-23 12:32:30] [INFO ] Flow matrix only has 7332 transitions (discarded 885 similar events)
// Phase 1: matrix 7332 rows 3861 cols
[2023-03-23 12:32:30] [INFO ] Computed 834 place invariants in 167 ms
[2023-03-23 12:32:31] [INFO ] After 576ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:5
[2023-03-23 12:32:31] [INFO ] [Nat]Absence check using 49 positive place invariants in 48 ms returned sat
[2023-03-23 12:32:31] [INFO ] [Nat]Absence check using 49 positive and 785 generalized place invariants in 204 ms returned sat
[2023-03-23 12:32:35] [INFO ] After 3699ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :5
[2023-03-23 12:32:36] [INFO ] State equation strengthened by 3758 read => feed constraints.
[2023-03-23 12:32:42] [INFO ] After 6034ms SMT Verify possible using 3758 Read/Feed constraints in natural domain returned unsat :1 sat :4
[2023-03-23 12:32:46] [INFO ] Deduced a trap composed of 353 places in 3568 ms of which 13 ms to minimize.
[2023-03-23 12:32:50] [INFO ] Deduced a trap composed of 218 places in 3756 ms of which 4 ms to minimize.
[2023-03-23 12:32:50] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 7896 ms
[2023-03-23 12:32:56] [INFO ] Deduced a trap composed of 276 places in 3491 ms of which 4 ms to minimize.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithTraps(DeadlockTester.java:1255)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineResultsWithTraps(DeadlockTester.java:736)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:656)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:350)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.logic.AtomicReducerSR.checkAtomicPropositionsLogic(AtomicReducerSR.java:105)
at fr.lip6.move.gal.application.solver.logic.AtomicReducerSR.strongReductions(AtomicReducerSR.java:44)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.preSolveForLogic(LTLPropertySolver.java:176)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:626)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-23 12:32:56] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-23 12:32:56] [INFO ] After 25560ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:5
Fused 5 Parikh solutions to 4 different solutions.
Parikh walk visited 0 properties in 5 ms.
Support contains 10 out of 3861 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3861/3861 places, 8217/8217 transitions.
Graph (complete) has 27084 edges and 3861 vertex of which 3860 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.5 ms
Discarding 1 places :
Also discarding 0 output 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 3 place count 3860 transition count 8215
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 5 place count 3858 transition count 8215
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 2 with 4 rules applied. Total rules applied 9 place count 3858 transition count 8211
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 13 place count 3854 transition count 8211
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 16 place count 3851 transition count 8208
Iterating global reduction 3 with 3 rules applied. Total rules applied 19 place count 3851 transition count 8208
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 3 with 1 rules applied. Total rules applied 20 place count 3851 transition count 8208
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 21 place count 3850 transition count 8207
Iterating global reduction 3 with 1 rules applied. Total rules applied 22 place count 3850 transition count 8207
Applied a total of 22 rules in 1438 ms. Remains 3850 /3861 variables (removed 11) and now considering 8207/8217 (removed 10) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1438 ms. Remains : 3850/3861 places, 8207/8217 transitions.
Incomplete random walk after 10000 steps, including 520 resets, run finished after 305 ms. (steps per millisecond=32 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 10001 steps, including 62 resets, run finished after 47 ms. (steps per millisecond=212 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 10001 steps, including 62 resets, run finished after 45 ms. (steps per millisecond=222 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 10001 steps, including 62 resets, run finished after 46 ms. (steps per millisecond=217 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 10001 steps, including 62 resets, run finished after 45 ms. (steps per millisecond=222 ) properties (out of 4) seen :0
Interrupted probabilistic random walk after 25870 steps, run timeout after 3001 ms. (steps per millisecond=8 ) properties seen :{}
Probabilistic random walk after 25870 steps, saw 11692 distinct states, run finished after 3002 ms. (steps per millisecond=8 ) properties seen :0
Running SMT prover for 4 properties.
[2023-03-23 12:33:01] [INFO ] Flow matrix only has 7322 transitions (discarded 885 similar events)
// Phase 1: matrix 7322 rows 3850 cols
[2023-03-23 12:33:01] [INFO ] Computed 833 place invariants in 189 ms
[2023-03-23 12:33:02] [INFO ] After 499ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:4
[2023-03-23 12:33:02] [INFO ] [Nat]Absence check using 49 positive place invariants in 48 ms returned sat
[2023-03-23 12:33:03] [INFO ] [Nat]Absence check using 49 positive and 784 generalized place invariants in 207 ms returned sat
[2023-03-23 12:33:07] [INFO ] After 3957ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :4
[2023-03-23 12:33:07] [INFO ] State equation strengthened by 3758 read => feed constraints.
[2023-03-23 12:33:11] [INFO ] After 4225ms SMT Verify possible using 3758 Read/Feed constraints in natural domain returned unsat :0 sat :4
[2023-03-23 12:33:16] [INFO ] Deduced a trap composed of 317 places in 3506 ms of which 5 ms to minimize.
[2023-03-23 12:33:16] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 3902 ms
[2023-03-23 12:33:25] [INFO ] Deduced a trap composed of 278 places in 3530 ms of which 4 ms to minimize.
[2023-03-23 12:33:25] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 3942 ms
[2023-03-23 12:33:30] [INFO ] Deduced a trap composed of 376 places in 3455 ms of which 4 ms to minimize.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithTraps(DeadlockTester.java:1255)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineResultsWithTraps(DeadlockTester.java:736)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:656)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:350)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.logic.AtomicReducerSR.checkAtomicPropositionsLogic(AtomicReducerSR.java:105)
at fr.lip6.move.gal.application.solver.logic.AtomicReducerSR.strongReductions(AtomicReducerSR.java:44)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.preSolveForLogic(LTLPropertySolver.java:176)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:626)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-23 12:33:30] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-23 12:33:30] [INFO ] After 27701ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:4
Parikh walk visited 0 properties in 10 ms.
Support contains 10 out of 3850 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3850/3850 places, 8207/8207 transitions.
Applied a total of 0 rules in 347 ms. Remains 3850 /3850 variables (removed 0) and now considering 8207/8207 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 348 ms. Remains : 3850/3850 places, 8207/8207 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3850/3850 places, 8207/8207 transitions.
Applied a total of 0 rules in 357 ms. Remains 3850 /3850 variables (removed 0) and now considering 8207/8207 (removed 0) transitions.
[2023-03-23 12:33:30] [INFO ] Flow matrix only has 7322 transitions (discarded 885 similar events)
[2023-03-23 12:33:30] [INFO ] Invariant cache hit.
[2023-03-23 12:33:39] [INFO ] Implicit Places using invariants in 8427 ms returned [4, 7, 9, 10, 11, 12, 16, 22, 30, 40, 52, 66, 82, 100, 120, 142, 165, 187, 188, 189, 190, 210, 228, 244, 258, 270, 280, 288, 294, 298, 300, 309, 315, 317, 318, 319, 320, 322, 326, 332, 340, 350, 362, 376, 392, 410, 430, 451, 471, 472, 473, 474, 492, 508, 522, 534, 544, 552, 558, 562, 564, 566, 575, 581, 583, 584, 585, 586, 588, 590, 594, 600, 608, 618, 630, 644, 660, 678, 697, 715, 716, 717, 718, 734, 748, 760, 770, 778, 784, 788, 790, 792, 794, 803, 809, 811, 812, 813, 814, 816, 818, 820, 824, 830, 838, 848, 860, 874, 890, 907, 923, 924, 925, 926, 940, 952, 962, 970, 976, 980, 982, 984, 986, 988, 997, 1003, 1005, 1006, 1007, 1008, 1010, 1012, 1014, 1016, 1020, 1026, 1034, 1044, 1056, 1070, 1085, 1099, 1100, 1101, 1102, 1114, 1124, 1132, 1138, 1142, 1144, 1146, 1148, 1150, 1152, 1161, 1167, 1169, 1170, 1171, 1172, 1174, 1176, 1178, 1180, 1182, 1186, 1192, 1200, 1210, 1222, 1235, 1247, 1248, 1249, 1250, 1260, 1268, 1274, 1278, 1280, 1282, 1284, 1286, 1288, 1290, 1299, 1305, 1307, 1308, 1309, 1310, 1312, 1314, 1316, 1318, 1320, 1322, 1326, 1332, 1340, 1350, 1361, 1371, 1372, 1373, 1374, 1382, 1388, 1392, 1394, 1396, 1398, 1400, 1402, 1404, 1406, 1415, 1421, 1423, 1424, 1425, 1426, 1428, 1430, 1432, 1434, 1436, 1438, 1440, 1444, 1450, 1458, 1467, 1475, 1476, 1477, 1478, 1484, 1488, 1490, 1492, 1494, 1496, 1498, 1500, 1502, 1504, 1513, 1519, 1521, 1522, 1524, 1526, 1528, 1530, 1532, 1534, 1536, 1538, 1540, 1544, 1552, 1559, 1565, 1566, 1567, 1568, 1572, 1574, 1576, 1578, 1580, 1582, 1584, 1586, 1588, 1590, 1599, 1605, 1607, 1608, 1609, 1610, 1612, 1614, 1616, 1618, 1620, 1622, 1624, 1626, 1628, 1632, 1637, 1641, 1642, 1643, 1644, 1646, 1648, 1650, 1652, 1654, 1656, 1658, 1660, 1662, 1664, 1673, 1679, 1681, 1682, 1683, 1684, 1686, 1688, 1690, 1692, 1694, 1696, 1698, 1700, 1702, 1704, 1707, 1709, 1710, 1711, 1712, 1714, 1716, 1718, 1720, 1722, 1724, 1726, 1728, 1730, 1732, 1741, 1747, 1749, 1750, 1751, 1752, 1754, 1756, 1758, 1760, 1762, 1764, 1766, 1768, 1770, 1772, 1774, 1776, 1777, 1778, 1779, 1781, 1783, 1785, 1787, 1789, 1791, 1793, 1795, 1797, 1799, 1808, 1810, 1813, 1815, 1816, 1818, 1820, 1822, 1824, 1826, 1828, 1830, 1832, 1834, 1838, 1840, 1842, 1844, 1845, 1846, 1847, 1849, 1851, 1853, 1855, 1857, 1859, 1861, 1863, 1865, 1867, 1876, 1882, 1884, 1885, 1887, 1889, 1893, 1895, 1897, 1899, 1901, 1903, 1905, 1907, 1909, 1911, 1913, 1914, 1915, 1916, 1918, 1920, 1922, 1924, 1926, 1928, 1930, 1932, 1934, 1936, 1945, 1951, 1953, 1954, 1955, 1956, 1958, 1960, 1962, 1964, 1966, 1968, 1970, 1972, 1974, 1976, 1978, 1981, 1982, 1983, 1984, 1986, 1988, 1990, 1992, 1994, 1996, 1998, 2000, 2002, 2004, 2013, 2019, 2021, 2022, 2023, 2024, 2026, 2028, 2030, 2032, 2034, 2036, 2038, 2040, 2042, 2044, 2048, 2053, 2054, 2055, 2056, 2060, 2062, 2064, 2066, 2068, 2070, 2072, 2074, 2076, 2078, 2087, 2093, 2095, 2096, 2097, 2098, 2100, 2102, 2104, 2106, 2108, 2110, 2112, 2114, 2116, 2121, 2127, 2134, 2135, 2136, 2137, 2143, 2147, 2149, 2151, 2153, 2155, 2157, 2159, 2161, 2163, 2172, 2178, 2180, 2181, 2182, 2183, 2185, 2187, 2189, 2191, 2193, 2195, 2197, 2199, 2203, 2209, 2227, 2228, 2229, 2230, 2238, 2244, 2248, 2250, 2252, 2254, 2256, 2258, 2260, 2262, 2271, 2277, 2279, 2280, 2281, 2282, 2284, 2286, 2288, 2290, 2292, 2294, 2296, 2300, 2306, 2314, 2324, 2335, 2336, 2337, 2338, 2348, 2356, 2362, 2366, 2368, 2370, 2372, 2374, 2376, 2378, 2387, 2393, 2395, 2396, 2397, 2398, 2400, 2402, 2404, 2406, 2408, 2410, 2414, 2420, 2428, 2438, 2450, 2463, 2464, 2465, 2466, 2478, 2488, 2496, 2502, 2506, 2508, 2510, 2512, 2514, 2516, 2525, 2531, 2533, 2534, 2535, 2536, 2538, 2540, 2542, 2544, 2546, 2550, 2556, 2564, 2574, 2586, 2600, 2615, 2616, 2617, 2618, 2632, 2644, 2654, 2662, 2668, 2672, 2674, 2676, 2678, 2680, 2689, 2695, 2697, 2698, 2699, 2700, 2702, 2704, 2706, 2708, 2712, 2718, 2726, 2736, 2748, 2762, 2778, 2795, 2796, 2797, 2798, 2814, 2828, 2840, 2850, 2858, 2864, 2868, 2870, 2872, 2874, 2883, 2889, 2891, 2892, 2893, 2894, 2896, 2898, 2900, 2904, 2910, 2918, 2928, 2940, 2954, 2970, 2988, 3008, 3009, 3010, 3011, 3029, 3045, 3059, 3071, 3081, 3089, 3095, 3101, 3103, 3112, 3118, 3120, 3121, 3122, 3123, 3125, 3127, 3131, 3137, 3145, 3155, 3167, 3181, 3197, 3215, 3235, 3256, 3257, 3258, 3259, 3279, 3297, 3313, 3327, 3339, 3349, 3357, 3363, 3367, 3369, 3378, 3380, 3383, 3385, 3386, 3387, 3388, 3390, 3394, 3401, 3409, 3419, 3431, 3445, 3461, 3479, 3499, 3521, 3544, 3545, 3546, 3547, 3569, 3589, 3607, 3623, 3637, 3649, 3659, 3667, 3673, 3677, 3686]
Discarding 773 places :
Implicit Place search using SMT only with invariants took 8451 ms to find 773 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 3077/3850 places, 8207/8207 transitions.
Discarding 141 places :
Symmetric choice reduction at 0 with 141 rule applications. Total rules 141 place count 2936 transition count 8066
Iterating global reduction 0 with 141 rules applied. Total rules applied 282 place count 2936 transition count 8066
Discarding 141 places :
Symmetric choice reduction at 0 with 141 rule applications. Total rules 423 place count 2795 transition count 7925
Iterating global reduction 0 with 141 rules applied. Total rules applied 564 place count 2795 transition count 7925
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 565 place count 2794 transition count 7922
Iterating global reduction 0 with 1 rules applied. Total rules applied 566 place count 2794 transition count 7922
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 569 place count 2794 transition count 7919
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 572 place count 2791 transition count 7919
Applied a total of 572 rules in 1122 ms. Remains 2791 /3077 variables (removed 286) and now considering 7919/8207 (removed 288) transitions.
[2023-03-23 12:33:40] [INFO ] Flow matrix only has 7034 transitions (discarded 885 similar events)
// Phase 1: matrix 7034 rows 2791 cols
[2023-03-23 12:33:40] [INFO ] Computed 60 place invariants in 182 ms
[2023-03-23 12:33:44] [INFO ] Implicit Places using invariants in 3888 ms returned []
[2023-03-23 12:33:44] [INFO ] Flow matrix only has 7034 transitions (discarded 885 similar events)
[2023-03-23 12:33:44] [INFO ] Invariant cache hit.
[2023-03-23 12:33:45] [INFO ] State equation strengthened by 3756 read => feed constraints.
[2023-03-23 12:34:12] [INFO ] Implicit Places using invariants and state equation in 27992 ms returned []
Implicit Place search using SMT with State Equation took 31884 ms to find 0 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 2791/3850 places, 7919/8207 transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 41814 ms. Remains : 2791/3850 places, 7919/8207 transitions.
Successfully simplified 48 atomic propositions for a total of 16 simplifications.
Initial state reduction rules removed 1 formulas.
FORMULA MultiCrashLeafsetExtension-PT-S24C03-CTLCardinality-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C03-CTLCardinality-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2023-03-23 12:34:12] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2023-03-23 12:34:12] [INFO ] Flatten gal took : 266 ms
[2023-03-23 12:34:12] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA MultiCrashLeafsetExtension-PT-S24C03-CTLCardinality-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C03-CTLCardinality-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C03-CTLCardinality-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2023-03-23 12:34:12] [INFO ] Flatten gal took : 253 ms
[2023-03-23 12:34:13] [INFO ] Input system was already deterministic with 8016 transitions.
Support contains 36 out of 4556 places (down from 60) after GAL structural reductions.
FORMULA MultiCrashLeafsetExtension-PT-S24C03-CTLCardinality-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C03-CTLCardinality-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Computed a total of 1932 stabilizing places and 2815 stable transitions
Graph (complete) has 27895 edges and 4556 vertex of which 4555 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.36 ms
Starting structural reductions in LTL mode, iteration 0 : 4556/4556 places, 8016/8016 transitions.
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 4555 transition count 8016
Discarding 83 places :
Symmetric choice reduction at 1 with 83 rule applications. Total rules 84 place count 4472 transition count 7913
Iterating global reduction 1 with 83 rules applied. Total rules applied 167 place count 4472 transition count 7913
Discarding 71 places :
Symmetric choice reduction at 1 with 71 rule applications. Total rules 238 place count 4401 transition count 7780
Iterating global reduction 1 with 71 rules applied. Total rules applied 309 place count 4401 transition count 7780
Discarding 39 places :
Symmetric choice reduction at 1 with 39 rule applications. Total rules 348 place count 4362 transition count 7663
Iterating global reduction 1 with 39 rules applied. Total rules applied 387 place count 4362 transition count 7663
Applied a total of 387 rules in 1198 ms. Remains 4362 /4556 variables (removed 194) and now considering 7663/8016 (removed 353) transitions.
[2023-03-23 12:34:14] [INFO ] Flow matrix only has 7063 transitions (discarded 600 similar events)
// Phase 1: matrix 7063 rows 4362 cols
[2023-03-23 12:34:14] [INFO ] Computed 833 place invariants in 144 ms
[2023-03-23 12:34:19] [INFO ] Implicit Places using invariants in 4588 ms returned [4, 8, 12, 14, 16, 18, 23, 30, 39, 50, 63, 78, 95, 114, 135, 158, 182, 206, 208, 210, 212, 233, 252, 269, 284, 297, 308, 317, 324, 329, 332, 354, 357, 358, 359, 360, 363, 368, 375, 384, 395, 408, 423, 440, 459, 480, 502, 524, 525, 526, 527, 546, 563, 578, 591, 602, 611, 618, 623, 626, 628, 643, 650, 653, 654, 655, 656, 658, 661, 666, 673, 682, 693, 706, 721, 738, 757, 777, 797, 798, 799, 800, 817, 832, 845, 856, 865, 872, 877, 880, 882, 884, 899, 906, 909, 910, 911, 912, 914, 916, 919, 924, 931, 940, 951, 964, 979, 996, 1014, 1032, 1033, 1034, 1035, 1050, 1063, 1074, 1083, 1090, 1095, 1098, 1100, 1102, 1104, 1119, 1126, 1129, 1130, 1131, 1132, 1134, 1136, 1138, 1141, 1146, 1153, 1162, 1173, 1186, 1201, 1217, 1233, 1234, 1235, 1236, 1249, 1260, 1269, 1276, 1281, 1284, 1286, 1288, 1290, 1292, 1307, 1314, 1317, 1318, 1319, 1320, 1322, 1324, 1326, 1328, 1331, 1336, 1343, 1352, 1363, 1376, 1390, 1404, 1405, 1406, 1407, 1418, 1427, 1434, 1439, 1442, 1444, 1446, 1448, 1450, 1452, 1467, 1474, 1477, 1478, 1479, 1480, 1482, 1484, 1486, 1488, 1490, 1493, 1498, 1505, 1514, 1525, 1537, 1549, 1550, 1551, 1552, 1561, 1568, 1573, 1576, 1578, 1580, 1582, 1584, 1586, 1588, 1603, 1610, 1613, 1614, 1615, 1616, 1618, 1620, 1622, 1624, 1626, 1628, 1631, 1636, 1643, 1652, 1662, 1672, 1673, 1674, 1675, 1682, 1687, 1690, 1692, 1694, 1696, 1698, 1700, 1702, 1704, 1719, 1726, 1729, 1730, 1731, 1732, 1734, 1736, 1738, 1740, 1742, 1744, 1746, 1749, 1754, 1761, 1769, 1777, 1778, 1779, 1780, 1785, 1788, 1790, 1792, 1794, 1796, 1798, 1800, 1802, 1804, 1819, 1829, 1830, 1831, 1832, 1834, 1836, 1838, 1840, 1842, 1844, 1846, 1848, 1851, 1856, 1862, 1868, 1869, 1870, 1871, 1874, 1876, 1878, 1880, 1882, 1884, 1886, 1888, 1890, 1892, 1907, 1914, 1917, 1918, 1919, 1920, 1922, 1924, 1926, 1928, 1930, 1932, 1934, 1936, 1938, 1941, 1945, 1949, 1950, 1951, 1952, 1954, 1956, 1958, 1960, 1962, 1964, 1966, 1968, 1970, 1972, 1987, 1994, 1997, 1998, 1999, 2000, 2002, 2004, 2006, 2008, 2010, 2012, 2014, 2016, 2018, 2020, 2022, 2025, 2026, 2027, 2028, 2030, 2032, 2034, 2036, 2038, 2040, 2042, 2044, 2046, 2048, 2063, 2065, 2069, 2072, 2073, 2074, 2075, 2077, 2079, 2081, 2083, 2085, 2087, 2089, 2091, 2093, 2095, 2097, 2100, 2101, 2102, 2103, 2105, 2107, 2109, 2111, 2113, 2115, 2117, 2119, 2121, 2123, 2138, 2145, 2148, 2149, 2150, 2151, 2153, 2155, 2157, 2159, 2161, 2163, 2165, 2167, 2169, 2171, 2173, 2176, 2177, 2178, 2179, 2181, 2183, 2185, 2187, 2189, 2191, 2193, 2195, 2197, 2199, 2214, 2221, 2224, 2225, 2226, 2227, 2229, 2231, 2233, 2235, 2237, 2239, 2241, 2243, 2245, 2247, 2250, 2255, 2256, 2257, 2258, 2261, 2263, 2265, 2267, 2269, 2271, 2273, 2275, 2277, 2279, 2294, 2301, 2304, 2305, 2306, 2307, 2309, 2311, 2313, 2315, 2317, 2319, 2321, 2323, 2325, 2328, 2333, 2340, 2341, 2342, 2343, 2348, 2351, 2353, 2355, 2357, 2359, 2361, 2363, 2365, 2367, 2382, 2389, 2392, 2393, 2394, 2395, 2397, 2399, 2401, 2403, 2405, 2407, 2409, 2411, 2414, 2419, 2426, 2435, 2436, 2437, 2438, 2445, 2450, 2453, 2455, 2457, 2459, 2461, 2463, 2465, 2467, 2482, 2489, 2492, 2493, 2494, 2495, 2497, 2499, 2501, 2503, 2505, 2507, 2509, 2512, 2517, 2524, 2533, 2544, 2545, 2546, 2547, 2556, 2563, 2568, 2571, 2573, 2575, 2577, 2579, 2581, 2583, 2598, 2605, 2608, 2609, 2610, 2611, 2613, 2615, 2617, 2619, 2621, 2623, 2626, 2631, 2638, 2647, 2658, 2671, 2672, 2673, 2674, 2685, 2694, 2701, 2706, 2709, 2711, 2713, 2715, 2717, 2719, 2734, 2741, 2744, 2745, 2746, 2747, 2749, 2751, 2753, 2755, 2757, 2760, 2765, 2772, 2781, 2792, 2805, 2820, 2821, 2822, 2823, 2836, 2847, 2856, 2863, 2868, 2871, 2873, 2875, 2877, 2879, 2894, 2901, 2904, 2905, 2906, 2907, 2909, 2911, 2913, 2915, 2918, 2923, 2930, 2939, 2950, 2963, 2978, 2995, 2996, 2997, 2998, 3013, 3026, 3037, 3046, 3053, 3058, 3061, 3063, 3065, 3067, 3082, 3089, 3092, 3093, 3094, 3095, 3097, 3099, 3101, 3104, 3109, 3116, 3125, 3136, 3149, 3164, 3181, 3200, 3201, 3202, 3203, 3220, 3235, 3248, 3259, 3268, 3275, 3280, 3283, 3285, 3287, 3302, 3309, 3312, 3313, 3314, 3315, 3317, 3319, 3322, 3327, 3334, 3343, 3354, 3367, 3382, 3399, 3418, 3439, 3440, 3441, 3442, 3461, 3478, 3493, 3506, 3517, 3526, 3533, 3538, 3541, 3543, 3558, 3565, 3568, 3569, 3570, 3571, 3573, 3576, 3581, 3588, 3597, 3608, 3621, 3636, 3653, 3672, 3693, 3716, 3717, 3718, 3719, 3740, 3759, 3776, 3791, 3804, 3815, 3824, 3831, 3836, 3839, 3854, 3856, 3860, 3863, 3864, 3865, 3866, 3869, 3874, 3881, 3890, 3901, 3914, 3929, 3946, 3965, 3986, 4009, 4034, 4035, 4036, 4037, 4060, 4081, 4100, 4117, 4132, 4145, 4156, 4165, 4172, 4177, 4193]
Discarding 776 places :
Implicit Place search using SMT only with invariants took 4599 ms to find 776 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3586/4556 places, 7663/8016 transitions.
Discarding 144 places :
Symmetric choice reduction at 0 with 144 rule applications. Total rules 144 place count 3442 transition count 7519
Iterating global reduction 0 with 144 rules applied. Total rules applied 288 place count 3442 transition count 7519
Discarding 144 places :
Symmetric choice reduction at 0 with 144 rule applications. Total rules 432 place count 3298 transition count 7375
Iterating global reduction 0 with 144 rules applied. Total rules applied 576 place count 3298 transition count 7375
Discarding 144 places :
Symmetric choice reduction at 0 with 144 rule applications. Total rules 720 place count 3154 transition count 7231
Iterating global reduction 0 with 144 rules applied. Total rules applied 864 place count 3154 transition count 7231
Discarding 48 places :
Symmetric choice reduction at 0 with 48 rule applications. Total rules 912 place count 3106 transition count 7087
Iterating global reduction 0 with 48 rules applied. Total rules applied 960 place count 3106 transition count 7087
Applied a total of 960 rules in 1243 ms. Remains 3106 /3586 variables (removed 480) and now considering 7087/7663 (removed 576) transitions.
[2023-03-23 12:34:20] [INFO ] Flow matrix only has 6487 transitions (discarded 600 similar events)
// Phase 1: matrix 6487 rows 3106 cols
[2023-03-23 12:34:20] [INFO ] Computed 57 place invariants in 121 ms
[2023-03-23 12:34:24] [INFO ] Implicit Places using invariants in 3979 ms returned [316, 1435]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 3984 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3104/4556 places, 7087/8016 transitions.
Applied a total of 0 rules in 249 ms. Remains 3104 /3104 variables (removed 0) and now considering 7087/7087 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 11274 ms. Remains : 3104/4556 places, 7087/8016 transitions.
[2023-03-23 12:34:24] [INFO ] Flatten gal took : 160 ms
[2023-03-23 12:34:24] [INFO ] Flatten gal took : 182 ms
[2023-03-23 12:34:25] [INFO ] Input system was already deterministic with 7087 transitions.
[2023-03-23 12:34:25] [INFO ] Flatten gal took : 171 ms
[2023-03-23 12:34:25] [INFO ] Flatten gal took : 179 ms
[2023-03-23 12:34:25] [INFO ] Time to serialize gal into /tmp/CTLCardinality14443003239168472669.gal : 68 ms
[2023-03-23 12:34:25] [INFO ] Time to serialize properties into /tmp/CTLCardinality17703753378863713549.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14443003239168472669.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17703753378863713549.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-23 12:34:55] [INFO ] Flatten gal took : 175 ms
[2023-03-23 12:34:55] [INFO ] Applying decomposition
[2023-03-23 12:34:56] [INFO ] Flatten gal took : 180 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph11913683354114403919.txt' '-o' '/tmp/graph11913683354114403919.bin' '-w' '/tmp/graph11913683354114403919.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph11913683354114403919.bin' '-l' '-1' '-v' '-w' '/tmp/graph11913683354114403919.weights' '-q' '0' '-e' '0.001'
[2023-03-23 12:34:57] [INFO ] Decomposing Gal with order
[2023-03-23 12:34:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-23 12:34:58] [INFO ] Removed a total of 5675 redundant transitions.
[2023-03-23 12:34:58] [INFO ] Flatten gal took : 818 ms
[2023-03-23 12:34:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 4122 labels/synchronizations in 505 ms.
[2023-03-23 12:34:59] [INFO ] Time to serialize gal into /tmp/CTLCardinality12938399668960264114.gal : 63 ms
[2023-03-23 12:34:59] [INFO ] Time to serialize properties into /tmp/CTLCardinality17995274654121464657.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12938399668960264114.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17995274654121464657.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 4556/4556 places, 8016/8016 transitions.
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 4555 transition count 8016
Discarding 79 places :
Symmetric choice reduction at 1 with 79 rule applications. Total rules 80 place count 4476 transition count 7917
Iterating global reduction 1 with 79 rules applied. Total rules applied 159 place count 4476 transition count 7917
Discarding 67 places :
Symmetric choice reduction at 1 with 67 rule applications. Total rules 226 place count 4409 transition count 7792
Iterating global reduction 1 with 67 rules applied. Total rules applied 293 place count 4409 transition count 7792
Discarding 37 places :
Symmetric choice reduction at 1 with 37 rule applications. Total rules 330 place count 4372 transition count 7681
Iterating global reduction 1 with 37 rules applied. Total rules applied 367 place count 4372 transition count 7681
Applied a total of 367 rules in 1228 ms. Remains 4372 /4556 variables (removed 184) and now considering 7681/8016 (removed 335) transitions.
[2023-03-23 12:35:30] [INFO ] Flow matrix only has 7081 transitions (discarded 600 similar events)
// Phase 1: matrix 7081 rows 4372 cols
[2023-03-23 12:35:30] [INFO ] Computed 833 place invariants in 148 ms
[2023-03-23 12:35:35] [INFO ] Implicit Places using invariants in 4718 ms returned [4, 8, 12, 14, 16, 18, 23, 30, 39, 50, 63, 78, 95, 114, 135, 158, 182, 206, 208, 210, 212, 233, 252, 269, 284, 297, 308, 317, 324, 329, 332, 347, 354, 357, 358, 360, 363, 371, 378, 387, 398, 411, 426, 443, 462, 483, 505, 528, 529, 530, 549, 566, 581, 594, 605, 614, 621, 626, 629, 633, 648, 655, 658, 659, 660, 661, 663, 666, 671, 678, 687, 698, 711, 726, 743, 762, 782, 802, 803, 804, 805, 822, 837, 850, 861, 870, 877, 882, 885, 887, 889, 904, 911, 914, 915, 916, 917, 919, 921, 924, 929, 936, 945, 956, 969, 984, 1001, 1019, 1037, 1038, 1039, 1040, 1055, 1068, 1079, 1088, 1095, 1100, 1103, 1105, 1107, 1109, 1124, 1131, 1134, 1135, 1136, 1137, 1139, 1141, 1143, 1146, 1151, 1158, 1167, 1178, 1191, 1206, 1222, 1238, 1239, 1240, 1241, 1254, 1265, 1274, 1281, 1286, 1289, 1291, 1293, 1295, 1297, 1312, 1319, 1322, 1323, 1324, 1325, 1327, 1329, 1331, 1333, 1336, 1341, 1348, 1357, 1368, 1381, 1395, 1409, 1410, 1411, 1412, 1423, 1432, 1439, 1444, 1447, 1449, 1451, 1453, 1455, 1457, 1472, 1479, 1482, 1483, 1484, 1485, 1487, 1489, 1491, 1493, 1495, 1498, 1503, 1510, 1519, 1530, 1542, 1554, 1555, 1556, 1557, 1566, 1573, 1578, 1581, 1583, 1585, 1587, 1589, 1591, 1593, 1608, 1615, 1618, 1620, 1623, 1625, 1627, 1629, 1631, 1633, 1636, 1641, 1648, 1657, 1667, 1677, 1678, 1679, 1680, 1687, 1692, 1695, 1697, 1699, 1701, 1703, 1705, 1707, 1709, 1724, 1731, 1734, 1735, 1736, 1737, 1739, 1741, 1743, 1745, 1747, 1749, 1751, 1754, 1759, 1766, 1774, 1783, 1784, 1785, 1790, 1796, 1798, 1800, 1802, 1804, 1806, 1808, 1810, 1812, 1827, 1834, 1837, 1838, 1839, 1840, 1842, 1844, 1846, 1848, 1850, 1852, 1854, 1856, 1859, 1864, 1870, 1876, 1877, 1878, 1879, 1882, 1884, 1886, 1888, 1890, 1892, 1894, 1896, 1898, 1900, 1915, 1922, 1925, 1926, 1927, 1928, 1930, 1932, 1934, 1936, 1938, 1940, 1942, 1944, 1946, 1949, 1953, 1957, 1958, 1959, 1960, 1962, 1964, 1966, 1968, 1970, 1972, 1974, 1976, 1978, 1980, 1995, 2002, 2005, 2006, 2007, 2008, 2010, 2012, 2014, 2016, 2018, 2020, 2022, 2024, 2026, 2028, 2030, 2033, 2034, 2035, 2036, 2038, 2040, 2042, 2044, 2046, 2048, 2050, 2052, 2054, 2056, 2071, 2073, 2077, 2080, 2081, 2083, 2085, 2087, 2089, 2091, 2093, 2097, 2099, 2101, 2103, 2105, 2107, 2110, 2111, 2112, 2113, 2115, 2117, 2119, 2121, 2123, 2125, 2127, 2129, 2131, 2133, 2148, 2155, 2158, 2159, 2160, 2161, 2163, 2165, 2167, 2169, 2171, 2173, 2175, 2177, 2179, 2181, 2183, 2186, 2187, 2188, 2189, 2191, 2193, 2195, 2197, 2199, 2201, 2203, 2205, 2207, 2209, 2224, 2231, 2234, 2235, 2236, 2237, 2239, 2241, 2243, 2245, 2247, 2249, 2251, 2253, 2255, 2257, 2260, 2265, 2266, 2267, 2268, 2271, 2273, 2275, 2277, 2279, 2281, 2283, 2285, 2287, 2289, 2304, 2311, 2314, 2315, 2316, 2317, 2319, 2321, 2323, 2325, 2327, 2329, 2331, 2333, 2335, 2338, 2343, 2350, 2351, 2352, 2353, 2358, 2361, 2363, 2365, 2367, 2369, 2371, 2373, 2375, 2377, 2392, 2399, 2402, 2403, 2404, 2405, 2407, 2409, 2411, 2413, 2415, 2417, 2419, 2421, 2424, 2429, 2436, 2445, 2446, 2447, 2448, 2455, 2460, 2463, 2465, 2467, 2469, 2471, 2473, 2475, 2477, 2492, 2499, 2502, 2503, 2504, 2505, 2507, 2509, 2511, 2513, 2515, 2517, 2519, 2522, 2527, 2534, 2543, 2554, 2555, 2556, 2557, 2566, 2573, 2578, 2581, 2583, 2585, 2587, 2589, 2591, 2593, 2608, 2615, 2618, 2619, 2620, 2621, 2623, 2625, 2627, 2629, 2631, 2633, 2636, 2641, 2648, 2657, 2668, 2681, 2682, 2683, 2684, 2695, 2704, 2711, 2716, 2719, 2721, 2723, 2725, 2727, 2729, 2744, 2751, 2754, 2755, 2756, 2757, 2759, 2761, 2763, 2765, 2767, 2770, 2775, 2782, 2791, 2802, 2815, 2830, 2831, 2832, 2833, 2846, 2857, 2866, 2873, 2878, 2881, 2883, 2885, 2887, 2889, 2904, 2911, 2914, 2915, 2916, 2917, 2919, 2921, 2923, 2925, 2928, 2933, 2940, 2949, 2960, 2973, 2988, 3005, 3006, 3007, 3008, 3023, 3036, 3047, 3056, 3063, 3068, 3071, 3073, 3075, 3077, 3092, 3099, 3102, 3103, 3104, 3105, 3107, 3109, 3111, 3114, 3119, 3126, 3135, 3146, 3159, 3174, 3191, 3210, 3211, 3212, 3213, 3230, 3245, 3258, 3269, 3278, 3285, 3290, 3293, 3295, 3297, 3312, 3319, 3322, 3323, 3324, 3325, 3327, 3329, 3332, 3337, 3344, 3353, 3364, 3377, 3392, 3409, 3428, 3449, 3450, 3451, 3452, 3471, 3488, 3503, 3516, 3527, 3536, 3543, 3548, 3551, 3553, 3568, 3575, 3578, 3579, 3580, 3581, 3583, 3586, 3591, 3598, 3607, 3618, 3631, 3646, 3663, 3682, 3703, 3726, 3727, 3728, 3729, 3750, 3769, 3786, 3801, 3814, 3825, 3834, 3841, 3846, 3849, 3864, 3866, 3870, 3873, 3874, 3875, 3876, 3879, 3884, 3891, 3900, 3911, 3924, 3939, 3956, 3975, 3996, 4019, 4044, 4045, 4046, 4047, 4070, 4091, 4110, 4127, 4142, 4155, 4166, 4175, 4182, 4187, 4203]
Discarding 772 places :
Implicit Place search using SMT only with invariants took 4729 ms to find 772 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3600/4556 places, 7681/8016 transitions.
Discarding 139 places :
Symmetric choice reduction at 0 with 139 rule applications. Total rules 139 place count 3461 transition count 7542
Iterating global reduction 0 with 139 rules applied. Total rules applied 278 place count 3461 transition count 7542
Discarding 139 places :
Symmetric choice reduction at 0 with 139 rule applications. Total rules 417 place count 3322 transition count 7403
Iterating global reduction 0 with 139 rules applied. Total rules applied 556 place count 3322 transition count 7403
Discarding 139 places :
Symmetric choice reduction at 0 with 139 rule applications. Total rules 695 place count 3183 transition count 7264
Iterating global reduction 0 with 139 rules applied. Total rules applied 834 place count 3183 transition count 7264
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 877 place count 3140 transition count 7135
Iterating global reduction 0 with 43 rules applied. Total rules applied 920 place count 3140 transition count 7135
Applied a total of 920 rules in 1297 ms. Remains 3140 /3600 variables (removed 460) and now considering 7135/7681 (removed 546) transitions.
[2023-03-23 12:35:36] [INFO ] Flow matrix only has 6535 transitions (discarded 600 similar events)
// Phase 1: matrix 6535 rows 3140 cols
[2023-03-23 12:35:36] [INFO ] Computed 61 place invariants in 130 ms
[2023-03-23 12:35:40] [INFO ] Implicit Places using invariants in 3992 ms returned [1323]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 4000 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3139/4556 places, 7135/8016 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 3138 transition count 7134
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 3138 transition count 7134
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 3 place count 3137 transition count 7133
Iterating global reduction 0 with 1 rules applied. Total rules applied 4 place count 3137 transition count 7133
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 5 place count 3136 transition count 7132
Iterating global reduction 0 with 1 rules applied. Total rules applied 6 place count 3136 transition count 7132
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 7 place count 3135 transition count 7129
Iterating global reduction 0 with 1 rules applied. Total rules applied 8 place count 3135 transition count 7129
Applied a total of 8 rules in 1275 ms. Remains 3135 /3139 variables (removed 4) and now considering 7129/7135 (removed 6) transitions.
[2023-03-23 12:35:41] [INFO ] Flow matrix only has 6529 transitions (discarded 600 similar events)
// Phase 1: matrix 6529 rows 3135 cols
[2023-03-23 12:35:41] [INFO ] Computed 60 place invariants in 122 ms
[2023-03-23 12:35:45] [INFO ] Implicit Places using invariants in 3991 ms returned []
[2023-03-23 12:35:45] [INFO ] Flow matrix only has 6529 transitions (discarded 600 similar events)
[2023-03-23 12:35:45] [INFO ] Invariant cache hit.
[2023-03-23 12:35:46] [INFO ] State equation strengthened by 2622 read => feed constraints.
[2023-03-23 12:35:58] [INFO ] Implicit Places using invariants and state equation in 12924 ms returned []
Implicit Place search using SMT with State Equation took 16920 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 3 : 3135/4556 places, 7129/8016 transitions.
Finished structural reductions in LTL mode , in 3 iterations and 29449 ms. Remains : 3135/4556 places, 7129/8016 transitions.
[2023-03-23 12:35:58] [INFO ] Flatten gal took : 197 ms
[2023-03-23 12:35:58] [INFO ] Flatten gal took : 207 ms
[2023-03-23 12:35:59] [INFO ] Input system was already deterministic with 7129 transitions.
[2023-03-23 12:35:59] [INFO ] Flatten gal took : 174 ms
[2023-03-23 12:35:59] [INFO ] Flatten gal took : 194 ms
[2023-03-23 12:35:59] [INFO ] Time to serialize gal into /tmp/CTLCardinality339020905737781319.gal : 25 ms
[2023-03-23 12:35:59] [INFO ] Time to serialize properties into /tmp/CTLCardinality15360301080661885599.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality339020905737781319.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15360301080661885599.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-23 12:36:29] [INFO ] Flatten gal took : 174 ms
[2023-03-23 12:36:29] [INFO ] Applying decomposition
[2023-03-23 12:36:30] [INFO ] Flatten gal took : 178 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph3884477126723741049.txt' '-o' '/tmp/graph3884477126723741049.bin' '-w' '/tmp/graph3884477126723741049.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph3884477126723741049.bin' '-l' '-1' '-v' '-w' '/tmp/graph3884477126723741049.weights' '-q' '0' '-e' '0.001'
[2023-03-23 12:36:30] [INFO ] Decomposing Gal with order
[2023-03-23 12:36:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-23 12:36:31] [INFO ] Removed a total of 5581 redundant transitions.
[2023-03-23 12:36:31] [INFO ] Flatten gal took : 471 ms
[2023-03-23 12:36:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 287 labels/synchronizations in 64 ms.
[2023-03-23 12:36:32] [INFO ] Time to serialize gal into /tmp/CTLCardinality5955210420574924878.gal : 626 ms
[2023-03-23 12:36:32] [INFO ] Time to serialize properties into /tmp/CTLCardinality520857815699569045.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality5955210420574924878.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality520857815699569045.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 4556/4556 places, 8016/8016 transitions.
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 4555 transition count 8016
Discarding 81 places :
Symmetric choice reduction at 1 with 81 rule applications. Total rules 82 place count 4474 transition count 7915
Iterating global reduction 1 with 81 rules applied. Total rules applied 163 place count 4474 transition count 7915
Discarding 69 places :
Symmetric choice reduction at 1 with 69 rule applications. Total rules 232 place count 4405 transition count 7784
Iterating global reduction 1 with 69 rules applied. Total rules applied 301 place count 4405 transition count 7784
Discarding 37 places :
Symmetric choice reduction at 1 with 37 rule applications. Total rules 338 place count 4368 transition count 7673
Iterating global reduction 1 with 37 rules applied. Total rules applied 375 place count 4368 transition count 7673
Applied a total of 375 rules in 1199 ms. Remains 4368 /4556 variables (removed 188) and now considering 7673/8016 (removed 343) transitions.
[2023-03-23 12:37:03] [INFO ] Flow matrix only has 7073 transitions (discarded 600 similar events)
// Phase 1: matrix 7073 rows 4368 cols
[2023-03-23 12:37:04] [INFO ] Computed 833 place invariants in 173 ms
[2023-03-23 12:37:07] [INFO ] Implicit Places using invariants in 3384 ms returned []
[2023-03-23 12:37:07] [INFO ] Flow matrix only has 7073 transitions (discarded 600 similar events)
[2023-03-23 12:37:07] [INFO ] Invariant cache hit.
[2023-03-23 12:37:08] [INFO ] State equation strengthened by 2706 read => feed constraints.
[2023-03-23 12:37:27] [INFO ] Implicit Places using invariants and state equation in 20549 ms returned [4, 8, 12, 14, 16, 18, 23, 30, 39, 50, 63, 78, 95, 114, 135, 158, 182, 206, 208, 210, 212, 233, 252, 269, 284, 297, 308, 317, 324, 329, 332, 347, 354, 357, 358, 359, 360, 363, 368, 375, 384, 395, 408, 423, 440, 459, 480, 502, 524, 525, 526, 527, 546, 563, 578, 591, 602, 611, 618, 623, 626, 628, 643, 650, 653, 654, 655, 656, 658, 661, 666, 673, 682, 693, 706, 721, 738, 757, 777, 797, 798, 799, 800, 817, 832, 845, 856, 865, 872, 877, 880, 882, 884, 899, 906, 909, 910, 911, 912, 914, 916, 919, 924, 931, 940, 951, 964, 979, 996, 1014, 1032, 1033, 1034, 1035, 1050, 1063, 1074, 1083, 1090, 1095, 1098, 1100, 1102, 1104, 1119, 1126, 1129, 1130, 1131, 1132, 1134, 1136, 1138, 1141, 1146, 1153, 1162, 1173, 1186, 1201, 1217, 1233, 1234, 1235, 1236, 1249, 1260, 1269, 1276, 1281, 1284, 1286, 1288, 1290, 1292, 1307, 1314, 1317, 1318, 1319, 1320, 1322, 1324, 1326, 1328, 1331, 1336, 1343, 1352, 1363, 1376, 1390, 1404, 1405, 1406, 1407, 1418, 1427, 1434, 1439, 1442, 1444, 1446, 1448, 1450, 1452, 1467, 1474, 1477, 1478, 1479, 1480, 1482, 1484, 1486, 1488, 1490, 1493, 1498, 1505, 1514, 1525, 1537, 1549, 1550, 1551, 1552, 1561, 1568, 1573, 1576, 1578, 1580, 1582, 1584, 1586, 1588, 1603, 1610, 1613, 1614, 1615, 1616, 1618, 1620, 1622, 1624, 1626, 1628, 1631, 1636, 1643, 1652, 1662, 1672, 1673, 1674, 1675, 1682, 1687, 1690, 1692, 1694, 1696, 1698, 1700, 1702, 1704, 1719, 1726, 1729, 1730, 1731, 1732, 1734, 1736, 1738, 1740, 1742, 1744, 1746, 1749, 1754, 1761, 1769, 1777, 1778, 1779, 1780, 1785, 1788, 1790, 1792, 1794, 1796, 1798, 1800, 1802, 1804, 1819, 1826, 1829, 1830, 1832, 1834, 1836, 1838, 1840, 1845, 1847, 1849, 1851, 1854, 1859, 1865, 1871, 1872, 1873, 1874, 1877, 1879, 1881, 1883, 1885, 1887, 1889, 1891, 1893, 1895, 1910, 1917, 1920, 1921, 1922, 1923, 1925, 1927, 1929, 1931, 1933, 1935, 1937, 1939, 1941, 1944, 1948, 1952, 1953, 1954, 1955, 1957, 1959, 1961, 1963, 1965, 1967, 1969, 1971, 1973, 1975, 1990, 1997, 2000, 2001, 2002, 2003, 2005, 2007, 2009, 2011, 2013, 2015, 2017, 2019, 2021, 2023, 2025, 2028, 2029, 2030, 2031, 2033, 2035, 2037, 2039, 2041, 2043, 2045, 2047, 2049, 2051, 2066, 2068, 2072, 2075, 2076, 2077, 2078, 2080, 2082, 2084, 2086, 2088, 2090, 2092, 2094, 2096, 2098, 2100, 2103, 2104, 2105, 2106, 2108, 2110, 2112, 2114, 2116, 2118, 2120, 2122, 2124, 2126, 2141, 2148, 2151, 2152, 2153, 2154, 2156, 2158, 2160, 2162, 2164, 2166, 2168, 2170, 2172, 2174, 2176, 2179, 2180, 2181, 2182, 2184, 2186, 2188, 2190, 2192, 2194, 2196, 2198, 2200, 2202, 2217, 2224, 2227, 2228, 2229, 2230, 2232, 2234, 2236, 2238, 2240, 2242, 2244, 2246, 2248, 2250, 2253, 2258, 2259, 2260, 2261, 2264, 2266, 2268, 2270, 2272, 2274, 2276, 2278, 2280, 2282, 2297, 2304, 2307, 2308, 2310, 2312, 2314, 2316, 2318, 2320, 2322, 2324, 2326, 2328, 2331, 2336, 2343, 2344, 2345, 2346, 2351, 2354, 2356, 2358, 2360, 2362, 2364, 2366, 2368, 2370, 2385, 2392, 2395, 2397, 2398, 2400, 2405, 2407, 2409, 2411, 2413, 2415, 2417, 2420, 2425, 2432, 2441, 2442, 2443, 2444, 2451, 2456, 2459, 2461, 2463, 2465, 2467, 2469, 2471, 2473, 2488, 2495, 2498, 2499, 2500, 2501, 2503, 2505, 2507, 2509, 2511, 2513, 2515, 2518, 2523, 2530, 2539, 2550, 2551, 2552, 2553, 2562, 2569, 2574, 2577, 2579, 2581, 2583, 2585, 2587, 2589, 2604, 2611, 2614, 2615, 2616, 2617, 2619, 2621, 2623, 2625, 2627, 2629, 2632, 2637, 2644, 2653, 2664, 2677, 2678, 2679, 2680, 2691, 2700, 2707, 2712, 2715, 2717, 2719, 2721, 2723, 2725, 2740, 2747, 2750, 2751, 2752, 2753, 2755, 2757, 2759, 2761, 2763, 2766, 2771, 2778, 2787, 2798, 2811, 2826, 2827, 2828, 2829, 2842, 2853, 2862, 2869, 2874, 2877, 2879, 2881, 2883, 2885, 2900, 2907, 2910, 2911, 2912, 2913, 2915, 2917, 2919, 2921, 2924, 2929, 2936, 2945, 2956, 2969, 2984, 3001, 3002, 3003, 3004, 3019, 3032, 3043, 3052, 3059, 3064, 3067, 3069, 3071, 3073, 3088, 3095, 3098, 3099, 3100, 3101, 3103, 3105, 3107, 3110, 3115, 3122, 3131, 3142, 3155, 3170, 3187, 3206, 3207, 3208, 3209, 3226, 3241, 3254, 3265, 3274, 3281, 3286, 3289, 3291, 3293, 3308, 3315, 3318, 3319, 3320, 3321, 3323, 3325, 3328, 3333, 3340, 3349, 3360, 3373, 3388, 3405, 3424, 3445, 3446, 3447, 3448, 3467, 3484, 3499, 3512, 3523, 3532, 3539, 3544, 3547, 3549, 3564, 3571, 3574, 3575, 3576, 3577, 3579, 3582, 3587, 3594, 3603, 3614, 3627, 3642, 3659, 3678, 3699, 3722, 3723, 3724, 3725, 3746, 3765, 3782, 3797, 3810, 3821, 3830, 3837, 3842, 3845, 3860, 3862, 3866, 3869, 3870, 3871, 3872, 3875, 3880, 3887, 3896, 3907, 3920, 3935, 3952, 3971, 3992, 4015, 4040, 4041, 4042, 4043, 4066, 4087, 4106, 4123, 4138, 4151, 4162, 4171, 4178, 4183, 4199]
Discarding 775 places :
Implicit Place search using SMT with State Equation took 23946 ms to find 775 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3593/4556 places, 7673/8016 transitions.
Discarding 141 places :
Symmetric choice reduction at 0 with 141 rule applications. Total rules 141 place count 3452 transition count 7532
Iterating global reduction 0 with 141 rules applied. Total rules applied 282 place count 3452 transition count 7532
Discarding 141 places :
Symmetric choice reduction at 0 with 141 rule applications. Total rules 423 place count 3311 transition count 7391
Iterating global reduction 0 with 141 rules applied. Total rules applied 564 place count 3311 transition count 7391
Discarding 141 places :
Symmetric choice reduction at 0 with 141 rule applications. Total rules 705 place count 3170 transition count 7250
Iterating global reduction 0 with 141 rules applied. Total rules applied 846 place count 3170 transition count 7250
Discarding 45 places :
Symmetric choice reduction at 0 with 45 rule applications. Total rules 891 place count 3125 transition count 7115
Iterating global reduction 0 with 45 rules applied. Total rules applied 936 place count 3125 transition count 7115
Applied a total of 936 rules in 1274 ms. Remains 3125 /3593 variables (removed 468) and now considering 7115/7673 (removed 558) transitions.
[2023-03-23 12:37:29] [INFO ] Flow matrix only has 6515 transitions (discarded 600 similar events)
// Phase 1: matrix 6515 rows 3125 cols
[2023-03-23 12:37:29] [INFO ] Computed 58 place invariants in 131 ms
[2023-03-23 12:37:33] [INFO ] Implicit Places using invariants in 3867 ms returned [1647]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 3872 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3124/4556 places, 7115/8016 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 3123 transition count 7114
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 3123 transition count 7114
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 3 place count 3122 transition count 7113
Iterating global reduction 0 with 1 rules applied. Total rules applied 4 place count 3122 transition count 7113
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 5 place count 3121 transition count 7112
Iterating global reduction 0 with 1 rules applied. Total rules applied 6 place count 3121 transition count 7112
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 7 place count 3120 transition count 7109
Iterating global reduction 0 with 1 rules applied. Total rules applied 8 place count 3120 transition count 7109
Applied a total of 8 rules in 1309 ms. Remains 3120 /3124 variables (removed 4) and now considering 7109/7115 (removed 6) transitions.
[2023-03-23 12:37:34] [INFO ] Flow matrix only has 6509 transitions (discarded 600 similar events)
// Phase 1: matrix 6509 rows 3120 cols
[2023-03-23 12:37:34] [INFO ] Computed 57 place invariants in 144 ms
[2023-03-23 12:37:38] [INFO ] Implicit Places using invariants in 3968 ms returned []
[2023-03-23 12:37:38] [INFO ] Flow matrix only has 6509 transitions (discarded 600 similar events)
[2023-03-23 12:37:38] [INFO ] Invariant cache hit.
[2023-03-23 12:37:39] [INFO ] State equation strengthened by 2614 read => feed constraints.
[2023-03-23 12:37:50] [INFO ] Implicit Places using invariants and state equation in 12193 ms returned []
Implicit Place search using SMT with State Equation took 16164 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 3 : 3120/4556 places, 7109/8016 transitions.
Finished structural reductions in LTL mode , in 3 iterations and 47768 ms. Remains : 3120/4556 places, 7109/8016 transitions.
[2023-03-23 12:37:50] [INFO ] Flatten gal took : 213 ms
[2023-03-23 12:37:50] [INFO ] Flatten gal took : 208 ms
[2023-03-23 12:37:51] [INFO ] Input system was already deterministic with 7109 transitions.
[2023-03-23 12:37:51] [INFO ] Flatten gal took : 182 ms
[2023-03-23 12:37:51] [INFO ] Flatten gal took : 171 ms
[2023-03-23 12:37:51] [INFO ] Time to serialize gal into /tmp/CTLCardinality18082920243373635840.gal : 24 ms
[2023-03-23 12:37:51] [INFO ] Time to serialize properties into /tmp/CTLCardinality10425047298318114210.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality18082920243373635840.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10425047298318114210.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-23 12:38:21] [INFO ] Flatten gal took : 175 ms
[2023-03-23 12:38:21] [INFO ] Applying decomposition
[2023-03-23 12:38:22] [INFO ] Flatten gal took : 166 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph14811636530089979385.txt' '-o' '/tmp/graph14811636530089979385.bin' '-w' '/tmp/graph14811636530089979385.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph14811636530089979385.bin' '-l' '-1' '-v' '-w' '/tmp/graph14811636530089979385.weights' '-q' '0' '-e' '0.001'
[2023-03-23 12:38:22] [INFO ] Decomposing Gal with order
[2023-03-23 12:38:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-23 12:38:23] [INFO ] Removed a total of 5520 redundant transitions.
[2023-03-23 12:38:23] [INFO ] Flatten gal took : 478 ms
[2023-03-23 12:38:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 300 labels/synchronizations in 56 ms.
[2023-03-23 12:38:23] [INFO ] Time to serialize gal into /tmp/CTLCardinality10120348906570138086.gal : 36 ms
[2023-03-23 12:38:23] [INFO ] Time to serialize properties into /tmp/CTLCardinality12222294909781028163.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality10120348906570138086.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12222294909781028163.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 4556/4556 places, 8016/8016 transitions.
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 4555 transition count 8016
Discarding 81 places :
Symmetric choice reduction at 1 with 81 rule applications. Total rules 82 place count 4474 transition count 7917
Iterating global reduction 1 with 81 rules applied. Total rules applied 163 place count 4474 transition count 7917
Discarding 70 places :
Symmetric choice reduction at 1 with 70 rule applications. Total rules 233 place count 4404 transition count 7785
Iterating global reduction 1 with 70 rules applied. Total rules applied 303 place count 4404 transition count 7785
Discarding 38 places :
Symmetric choice reduction at 1 with 38 rule applications. Total rules 341 place count 4366 transition count 7671
Iterating global reduction 1 with 38 rules applied. Total rules applied 379 place count 4366 transition count 7671
Applied a total of 379 rules in 1188 ms. Remains 4366 /4556 variables (removed 190) and now considering 7671/8016 (removed 345) transitions.
[2023-03-23 12:38:54] [INFO ] Flow matrix only has 7071 transitions (discarded 600 similar events)
// Phase 1: matrix 7071 rows 4366 cols
[2023-03-23 12:38:55] [INFO ] Computed 833 place invariants in 158 ms
[2023-03-23 12:38:59] [INFO ] Implicit Places using invariants in 4562 ms returned [4, 8, 12, 14, 16, 18, 23, 30, 39, 50, 63, 78, 95, 114, 135, 158, 182, 206, 208, 210, 212, 233, 252, 269, 284, 297, 308, 317, 324, 329, 332, 347, 354, 357, 358, 359, 360, 363, 368, 375, 384, 395, 408, 423, 440, 459, 480, 502, 524, 525, 526, 527, 546, 563, 578, 591, 602, 611, 618, 623, 626, 628, 643, 650, 653, 654, 655, 656, 658, 661, 666, 673, 682, 693, 706, 721, 738, 757, 777, 797, 798, 799, 800, 817, 832, 845, 856, 865, 872, 877, 880, 882, 884, 899, 906, 909, 910, 911, 912, 914, 916, 919, 924, 931, 940, 951, 964, 979, 996, 1014, 1032, 1033, 1034, 1035, 1050, 1063, 1074, 1083, 1090, 1095, 1098, 1100, 1102, 1104, 1119, 1126, 1129, 1130, 1131, 1132, 1134, 1136, 1138, 1141, 1146, 1153, 1162, 1173, 1186, 1201, 1217, 1233, 1234, 1235, 1236, 1249, 1260, 1269, 1276, 1281, 1284, 1286, 1288, 1290, 1292, 1307, 1314, 1317, 1318, 1319, 1320, 1322, 1324, 1326, 1328, 1331, 1336, 1343, 1352, 1363, 1376, 1390, 1404, 1405, 1406, 1407, 1418, 1427, 1434, 1439, 1442, 1444, 1446, 1448, 1450, 1452, 1467, 1474, 1477, 1478, 1479, 1480, 1482, 1484, 1486, 1488, 1490, 1493, 1498, 1505, 1514, 1525, 1537, 1549, 1550, 1551, 1552, 1561, 1568, 1573, 1576, 1578, 1580, 1582, 1584, 1586, 1588, 1603, 1610, 1613, 1614, 1615, 1616, 1618, 1620, 1622, 1624, 1626, 1628, 1631, 1636, 1643, 1652, 1662, 1672, 1673, 1674, 1675, 1682, 1687, 1690, 1692, 1694, 1696, 1698, 1700, 1702, 1704, 1719, 1726, 1729, 1730, 1732, 1734, 1736, 1738, 1740, 1742, 1744, 1746, 1749, 1754, 1764, 1772, 1780, 1781, 1782, 1783, 1788, 1791, 1793, 1795, 1797, 1799, 1801, 1803, 1805, 1807, 1822, 1829, 1832, 1833, 1834, 1835, 1837, 1839, 1841, 1843, 1845, 1847, 1849, 1851, 1854, 1859, 1865, 1871, 1872, 1873, 1874, 1877, 1879, 1881, 1883, 1885, 1887, 1889, 1891, 1893, 1895, 1910, 1917, 1920, 1921, 1922, 1923, 1925, 1927, 1929, 1931, 1933, 1935, 1937, 1939, 1941, 1944, 1948, 1952, 1953, 1954, 1955, 1957, 1959, 1961, 1963, 1965, 1967, 1969, 1971, 1973, 1975, 1990, 1997, 2000, 2001, 2002, 2003, 2005, 2007, 2009, 2011, 2013, 2015, 2017, 2019, 2021, 2023, 2025, 2028, 2029, 2030, 2031, 2033, 2035, 2037, 2039, 2041, 2043, 2045, 2047, 2049, 2051, 2066, 2068, 2072, 2075, 2076, 2077, 2078, 2080, 2082, 2084, 2086, 2088, 2090, 2092, 2094, 2096, 2098, 2100, 2103, 2104, 2105, 2106, 2108, 2110, 2112, 2114, 2116, 2118, 2120, 2122, 2124, 2126, 2141, 2148, 2151, 2152, 2153, 2154, 2156, 2158, 2160, 2162, 2164, 2166, 2168, 2170, 2172, 2174, 2176, 2179, 2180, 2181, 2182, 2184, 2186, 2188, 2190, 2192, 2194, 2196, 2198, 2200, 2202, 2217, 2224, 2227, 2228, 2229, 2230, 2232, 2234, 2236, 2238, 2240, 2242, 2244, 2246, 2248, 2250, 2253, 2258, 2259, 2260, 2261, 2264, 2266, 2268, 2270, 2272, 2274, 2276, 2278, 2280, 2282, 2297, 2304, 2307, 2308, 2310, 2312, 2314, 2316, 2318, 2320, 2322, 2324, 2326, 2328, 2331, 2336, 2343, 2344, 2345, 2346, 2351, 2354, 2356, 2358, 2360, 2362, 2364, 2366, 2368, 2370, 2385, 2392, 2395, 2396, 2397, 2398, 2400, 2402, 2404, 2406, 2408, 2410, 2412, 2414, 2417, 2422, 2429, 2438, 2439, 2440, 2441, 2448, 2453, 2456, 2458, 2460, 2462, 2464, 2466, 2468, 2470, 2485, 2492, 2495, 2496, 2497, 2498, 2500, 2502, 2504, 2506, 2508, 2510, 2512, 2515, 2520, 2527, 2536, 2547, 2548, 2549, 2550, 2559, 2566, 2571, 2574, 2576, 2578, 2580, 2582, 2584, 2586, 2601, 2608, 2611, 2612, 2613, 2614, 2616, 2618, 2620, 2622, 2624, 2626, 2629, 2634, 2641, 2650, 2661, 2674, 2675, 2676, 2677, 2688, 2697, 2704, 2709, 2712, 2714, 2716, 2718, 2720, 2722, 2737, 2744, 2747, 2748, 2749, 2750, 2752, 2754, 2756, 2758, 2760, 2763, 2768, 2775, 2784, 2795, 2808, 2823, 2824, 2825, 2826, 2839, 2850, 2859, 2866, 2871, 2874, 2876, 2878, 2880, 2882, 2897, 2904, 2907, 2908, 2909, 2910, 2912, 2914, 2916, 2918, 2921, 2926, 2933, 2942, 2953, 2966, 2981, 2998, 2999, 3000, 3001, 3016, 3029, 3040, 3049, 3056, 3061, 3064, 3066, 3068, 3070, 3085, 3092, 3095, 3096, 3097, 3098, 3100, 3102, 3104, 3107, 3112, 3119, 3128, 3139, 3152, 3167, 3184, 3203, 3204, 3205, 3206, 3223, 3238, 3251, 3262, 3271, 3278, 3283, 3286, 3288, 3290, 3305, 3312, 3315, 3316, 3317, 3318, 3320, 3322, 3325, 3330, 3337, 3346, 3357, 3370, 3385, 3402, 3421, 3442, 3443, 3444, 3445, 3464, 3481, 3496, 3509, 3520, 3529, 3536, 3541, 3544, 3546, 3561, 3568, 3571, 3572, 3573, 3574, 3576, 3579, 3584, 3591, 3600, 3611, 3624, 3639, 3656, 3675, 3696, 3719, 3720, 3721, 3722, 3743, 3762, 3779, 3794, 3807, 3818, 3827, 3834, 3839, 3842, 3857, 3859, 3863, 3866, 3867, 3868, 3869, 3872, 3877, 3885, 3894, 3905, 3918, 3933, 3950, 3969, 3990, 4013, 4038, 4039, 4040, 4041, 4064, 4085, 4104, 4121, 4136, 4149, 4160, 4169, 4176, 4181, 4197]
Discarding 776 places :
Implicit Place search using SMT only with invariants took 4572 ms to find 776 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3590/4556 places, 7671/8016 transitions.
Discarding 142 places :
Symmetric choice reduction at 0 with 142 rule applications. Total rules 142 place count 3448 transition count 7529
Iterating global reduction 0 with 142 rules applied. Total rules applied 284 place count 3448 transition count 7529
Discarding 142 places :
Symmetric choice reduction at 0 with 142 rule applications. Total rules 426 place count 3306 transition count 7387
Iterating global reduction 0 with 142 rules applied. Total rules applied 568 place count 3306 transition count 7387
Discarding 142 places :
Symmetric choice reduction at 0 with 142 rule applications. Total rules 710 place count 3164 transition count 7245
Iterating global reduction 0 with 142 rules applied. Total rules applied 852 place count 3164 transition count 7245
Discarding 46 places :
Symmetric choice reduction at 0 with 46 rule applications. Total rules 898 place count 3118 transition count 7107
Iterating global reduction 0 with 46 rules applied. Total rules applied 944 place count 3118 transition count 7107
Applied a total of 944 rules in 1283 ms. Remains 3118 /3590 variables (removed 472) and now considering 7107/7671 (removed 564) transitions.
[2023-03-23 12:39:00] [INFO ] Flow matrix only has 6507 transitions (discarded 600 similar events)
// Phase 1: matrix 6507 rows 3118 cols
[2023-03-23 12:39:00] [INFO ] Computed 57 place invariants in 130 ms
[2023-03-23 12:39:04] [INFO ] Implicit Places using invariants in 3811 ms returned [1647]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 3815 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3117/4556 places, 7107/8016 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 3116 transition count 7106
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 3116 transition count 7106
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 3 place count 3115 transition count 7105
Iterating global reduction 0 with 1 rules applied. Total rules applied 4 place count 3115 transition count 7105
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 5 place count 3114 transition count 7104
Iterating global reduction 0 with 1 rules applied. Total rules applied 6 place count 3114 transition count 7104
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 7 place count 3113 transition count 7101
Iterating global reduction 0 with 1 rules applied. Total rules applied 8 place count 3113 transition count 7101
Applied a total of 8 rules in 1230 ms. Remains 3113 /3117 variables (removed 4) and now considering 7101/7107 (removed 6) transitions.
[2023-03-23 12:39:05] [INFO ] Flow matrix only has 6501 transitions (discarded 600 similar events)
// Phase 1: matrix 6501 rows 3113 cols
[2023-03-23 12:39:05] [INFO ] Computed 56 place invariants in 126 ms
[2023-03-23 12:39:09] [INFO ] Implicit Places using invariants in 3793 ms returned []
[2023-03-23 12:39:09] [INFO ] Flow matrix only has 6501 transitions (discarded 600 similar events)
[2023-03-23 12:39:09] [INFO ] Invariant cache hit.
[2023-03-23 12:39:10] [INFO ] State equation strengthened by 2612 read => feed constraints.
[2023-03-23 12:39:21] [INFO ] Implicit Places using invariants and state equation in 12162 ms returned []
Implicit Place search using SMT with State Equation took 15960 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 3 : 3113/4556 places, 7101/8016 transitions.
Finished structural reductions in LTL mode , in 3 iterations and 28049 ms. Remains : 3113/4556 places, 7101/8016 transitions.
[2023-03-23 12:39:21] [INFO ] Flatten gal took : 155 ms
[2023-03-23 12:39:22] [INFO ] Flatten gal took : 168 ms
[2023-03-23 12:39:22] [INFO ] Input system was already deterministic with 7101 transitions.
[2023-03-23 12:39:22] [INFO ] Flatten gal took : 167 ms
[2023-03-23 12:39:22] [INFO ] Flatten gal took : 174 ms
[2023-03-23 12:39:22] [INFO ] Time to serialize gal into /tmp/CTLCardinality2959780434789298866.gal : 28 ms
[2023-03-23 12:39:22] [INFO ] Time to serialize properties into /tmp/CTLCardinality3803157160800506755.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality2959780434789298866.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3803157160800506755.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-23 12:39:53] [INFO ] Flatten gal took : 194 ms
[2023-03-23 12:39:53] [INFO ] Applying decomposition
[2023-03-23 12:39:53] [INFO ] Flatten gal took : 162 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph14386974478965557766.txt' '-o' '/tmp/graph14386974478965557766.bin' '-w' '/tmp/graph14386974478965557766.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph14386974478965557766.bin' '-l' '-1' '-v' '-w' '/tmp/graph14386974478965557766.weights' '-q' '0' '-e' '0.001'
[2023-03-23 12:39:53] [INFO ] Decomposing Gal with order
[2023-03-23 12:39:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-23 12:39:54] [INFO ] Removed a total of 5382 redundant transitions.
[2023-03-23 12:39:54] [INFO ] Flatten gal took : 502 ms
[2023-03-23 12:39:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 444 labels/synchronizations in 124 ms.
[2023-03-23 12:39:54] [INFO ] Time to serialize gal into /tmp/CTLCardinality5886614290339978589.gal : 34 ms
[2023-03-23 12:39:54] [INFO ] Time to serialize properties into /tmp/CTLCardinality672845983933282876.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality5886614290339978589.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality672845983933282876.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
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 : 4556/4556 places, 8016/8016 transitions.
Graph (complete) has 27895 edges and 4556 vertex of which 4555 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.24 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions removed 38 transitions
Trivial Post-agglo rules discarded 38 transitions
Performed 38 trivial Post agglomeration. Transition count delta: 38
Iterating post reduction 0 with 38 rules applied. Total rules applied 39 place count 4555 transition count 7978
Reduce places removed 38 places and 0 transitions.
Iterating post reduction 1 with 38 rules applied. Total rules applied 77 place count 4517 transition count 7978
Performed 150 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 150 Pre rules applied. Total rules applied 77 place count 4517 transition count 7828
Deduced a syphon composed of 150 places in 4 ms
Reduce places removed 150 places and 0 transitions.
Iterating global reduction 2 with 300 rules applied. Total rules applied 377 place count 4367 transition count 7828
Discarding 48 places :
Symmetric choice reduction at 2 with 48 rule applications. Total rules 425 place count 4319 transition count 7760
Iterating global reduction 2 with 48 rules applied. Total rules applied 473 place count 4319 transition count 7760
Discarding 36 places :
Symmetric choice reduction at 2 with 36 rule applications. Total rules 509 place count 4283 transition count 7652
Iterating global reduction 2 with 36 rules applied. Total rules applied 545 place count 4283 transition count 7652
Performed 31 Post agglomeration using F-continuation condition.Transition count delta: 31
Deduced a syphon composed of 31 places in 5 ms
Reduce places removed 31 places and 0 transitions.
Iterating global reduction 2 with 62 rules applied. Total rules applied 607 place count 4252 transition count 7621
Discarding 33 places :
Symmetric choice reduction at 2 with 33 rule applications. Total rules 640 place count 4219 transition count 7588
Iterating global reduction 2 with 33 rules applied. Total rules applied 673 place count 4219 transition count 7588
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 4 Pre rules applied. Total rules applied 673 place count 4219 transition count 7584
Deduced a syphon composed of 4 places in 5 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 681 place count 4215 transition count 7584
Discarding 32 places :
Symmetric choice reduction at 2 with 32 rule applications. Total rules 713 place count 4183 transition count 7488
Iterating global reduction 2 with 32 rules applied. Total rules applied 745 place count 4183 transition count 7488
Applied a total of 745 rules in 2332 ms. Remains 4183 /4556 variables (removed 373) and now considering 7488/8016 (removed 528) transitions.
[2023-03-23 12:40:27] [INFO ] Flow matrix only has 6888 transitions (discarded 600 similar events)
// Phase 1: matrix 6888 rows 4183 cols
[2023-03-23 12:40:27] [INFO ] Computed 833 place invariants in 149 ms
[2023-03-23 12:40:31] [INFO ] Implicit Places using invariants in 4226 ms returned [4, 7, 11, 12, 13, 14, 19, 26, 35, 46, 59, 74, 91, 110, 131, 154, 178, 202, 203, 204, 205, 226, 245, 262, 277, 290, 301, 310, 317, 322, 325, 334, 340, 343, 344, 345, 346, 349, 354, 361, 370, 381, 394, 409, 426, 445, 466, 488, 510, 511, 512, 513, 532, 549, 564, 577, 588, 597, 604, 609, 612, 614, 623, 629, 632, 633, 634, 635, 637, 640, 645, 652, 661, 672, 685, 700, 717, 736, 756, 776, 777, 778, 779, 796, 811, 824, 835, 844, 851, 856, 859, 861, 863, 872, 878, 881, 882, 883, 884, 886, 888, 891, 896, 903, 912, 923, 936, 951, 968, 986, 1004, 1005, 1006, 1007, 1022, 1035, 1046, 1055, 1062, 1067, 1070, 1072, 1074, 1076, 1085, 1091, 1094, 1095, 1096, 1097, 1099, 1101, 1103, 1106, 1111, 1118, 1127, 1138, 1151, 1166, 1182, 1198, 1199, 1200, 1201, 1214, 1225, 1234, 1241, 1246, 1249, 1251, 1253, 1255, 1257, 1266, 1272, 1275, 1276, 1277, 1278, 1280, 1282, 1284, 1286, 1289, 1294, 1301, 1310, 1321, 1334, 1348, 1362, 1363, 1364, 1365, 1376, 1385, 1392, 1397, 1400, 1402, 1404, 1406, 1408, 1410, 1419, 1425, 1428, 1429, 1430, 1431, 1433, 1435, 1437, 1439, 1441, 1444, 1449, 1456, 1465, 1476, 1488, 1500, 1501, 1502, 1503, 1512, 1519, 1524, 1527, 1529, 1531, 1533, 1535, 1537, 1539, 1548, 1554, 1557, 1558, 1559, 1560, 1562, 1564, 1566, 1568, 1570, 1572, 1575, 1580, 1587, 1596, 1606, 1616, 1617, 1618, 1619, 1626, 1631, 1634, 1636, 1638, 1640, 1642, 1644, 1646, 1648, 1657, 1663, 1666, 1667, 1668, 1669, 1671, 1673, 1675, 1677, 1679, 1681, 1686, 1691, 1698, 1706, 1714, 1715, 1716, 1717, 1722, 1725, 1727, 1729, 1731, 1733, 1735, 1737, 1739, 1741, 1750, 1756, 1759, 1760, 1761, 1762, 1764, 1766, 1768, 1770, 1772, 1774, 1776, 1778, 1781, 1786, 1792, 1798, 1799, 1800, 1801, 1804, 1806, 1808, 1810, 1812, 1814, 1816, 1818, 1820, 1822, 1837, 1840, 1841, 1842, 1843, 1845, 1847, 1849, 1851, 1853, 1855, 1857, 1859, 1861, 1864, 1868, 1872, 1873, 1874, 1875, 1877, 1879, 1881, 1883, 1885, 1887, 1889, 1891, 1893, 1895, 1904, 1910, 1913, 1914, 1915, 1916, 1918, 1920, 1922, 1924, 1926, 1928, 1930, 1932, 1934, 1936, 1938, 1941, 1942, 1943, 1944, 1946, 1948, 1950, 1952, 1954, 1956, 1958, 1960, 1962, 1964, 1973, 1975, 1978, 1981, 1982, 1984, 1986, 1988, 1990, 1992, 1994, 1996, 1998, 2000, 2005, 2007, 2009, 2013, 2014, 2015, 2017, 2019, 2021, 2023, 2025, 2027, 2032, 2034, 2036, 2038, 2047, 2053, 2056, 2057, 2058, 2059, 2061, 2063, 2065, 2067, 2069, 2071, 2073, 2075, 2077, 2079, 2081, 2084, 2085, 2086, 2087, 2089, 2091, 2093, 2095, 2097, 2099, 2101, 2103, 2105, 2107, 2116, 2122, 2125, 2126, 2127, 2128, 2130, 2132, 2134, 2136, 2138, 2140, 2142, 2144, 2146, 2148, 2151, 2156, 2157, 2158, 2159, 2162, 2164, 2166, 2168, 2170, 2172, 2174, 2176, 2178, 2180, 2189, 2195, 2198, 2199, 2200, 2201, 2203, 2205, 2207, 2209, 2211, 2213, 2215, 2217, 2219, 2222, 2227, 2234, 2235, 2236, 2237, 2242, 2245, 2247, 2249, 2251, 2253, 2255, 2257, 2259, 2261, 2270, 2276, 2279, 2280, 2281, 2282, 2284, 2286, 2288, 2290, 2292, 2294, 2296, 2298, 2301, 2306, 2313, 2322, 2323, 2324, 2325, 2332, 2337, 2340, 2342, 2344, 2346, 2348, 2350, 2352, 2354, 2363, 2369, 2372, 2373, 2374, 2375, 2377, 2379, 2381, 2383, 2385, 2387, 2389, 2392, 2397, 2404, 2413, 2424, 2425, 2426, 2427, 2436, 2443, 2448, 2451, 2453, 2455, 2457, 2459, 2461, 2463, 2472, 2478, 2481, 2482, 2483, 2484, 2486, 2488, 2490, 2492, 2494, 2496, 2499, 2504, 2511, 2520, 2531, 2544, 2545, 2546, 2547, 2558, 2567, 2574, 2579, 2582, 2584, 2586, 2588, 2590, 2592, 2601, 2607, 2610, 2611, 2612, 2613, 2615, 2617, 2619, 2621, 2623, 2626, 2631, 2638, 2647, 2658, 2671, 2686, 2687, 2688, 2689, 2702, 2713, 2722, 2729, 2734, 2737, 2739, 2741, 2743, 2745, 2754, 2760, 2763, 2764, 2765, 2766, 2768, 2770, 2772, 2774, 2777, 2782, 2789, 2798, 2809, 2822, 2837, 2854, 2855, 2856, 2857, 2872, 2885, 2896, 2905, 2912, 2917, 2920, 2922, 2924, 2926, 2935, 2941, 2944, 2945, 2946, 2947, 2949, 2951, 2953, 2956, 2961, 2968, 2977, 2988, 3001, 3016, 3033, 3052, 3053, 3054, 3055, 3072, 3087, 3100, 3111, 3120, 3127, 3132, 3135, 3137, 3139, 3148, 3154, 3157, 3158, 3159, 3160, 3162, 3164, 3167, 3172, 3179, 3188, 3199, 3212, 3227, 3244, 3263, 3284, 3285, 3286, 3287, 3306, 3323, 3338, 3351, 3362, 3371, 3378, 3383, 3386, 3388, 3397, 3403, 3406, 3407, 3408, 3409, 3411, 3414, 3419, 3426, 3435, 3446, 3459, 3474, 3491, 3510, 3531, 3554, 3555, 3556, 3557, 3578, 3597, 3614, 3629, 3642, 3653, 3662, 3669, 3674, 3677, 3686, 3688, 3691, 3694, 3695, 3696, 3697, 3700, 3705, 3712, 3721, 3732, 3745, 3760, 3777, 3796, 3817, 3840, 3865, 3866, 3867, 3868, 3891, 3912, 3931, 3948, 3963, 3976, 3987, 3996, 4003, 4008, 4018]
Discarding 774 places :
Implicit Place search using SMT only with invariants took 4237 ms to find 774 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3409/4556 places, 7488/8016 transitions.
Discarding 142 places :
Symmetric choice reduction at 0 with 142 rule applications. Total rules 142 place count 3267 transition count 7346
Iterating global reduction 0 with 142 rules applied. Total rules applied 284 place count 3267 transition count 7346
Discarding 142 places :
Symmetric choice reduction at 0 with 142 rule applications. Total rules 426 place count 3125 transition count 7204
Iterating global reduction 0 with 142 rules applied. Total rules applied 568 place count 3125 transition count 7204
Discarding 46 places :
Symmetric choice reduction at 0 with 46 rule applications. Total rules 614 place count 3079 transition count 7066
Iterating global reduction 0 with 46 rules applied. Total rules applied 660 place count 3079 transition count 7066
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 664 place count 3077 transition count 7064
Applied a total of 664 rules in 1490 ms. Remains 3077 /3409 variables (removed 332) and now considering 7064/7488 (removed 424) transitions.
[2023-03-23 12:40:33] [INFO ] Flow matrix only has 6464 transitions (discarded 600 similar events)
// Phase 1: matrix 6464 rows 3077 cols
[2023-03-23 12:40:33] [INFO ] Computed 59 place invariants in 169 ms
[2023-03-23 12:40:37] [INFO ] Implicit Places using invariants in 3923 ms returned [1366, 1450]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 3928 ms to find 2 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3075/4556 places, 7064/8016 transitions.
Applied a total of 0 rules in 385 ms. Remains 3075 /3075 variables (removed 0) and now considering 7064/7064 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 12373 ms. Remains : 3075/4556 places, 7064/8016 transitions.
[2023-03-23 12:40:37] [INFO ] Flatten gal took : 153 ms
[2023-03-23 12:40:37] [INFO ] Flatten gal took : 173 ms
[2023-03-23 12:40:38] [INFO ] Input system was already deterministic with 7064 transitions.
[2023-03-23 12:40:38] [INFO ] Flatten gal took : 168 ms
[2023-03-23 12:40:38] [INFO ] Flatten gal took : 168 ms
[2023-03-23 12:40:38] [INFO ] Time to serialize gal into /tmp/CTLCardinality16498397695590182243.gal : 27 ms
[2023-03-23 12:40:38] [INFO ] Time to serialize properties into /tmp/CTLCardinality11102613103175720066.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality16498397695590182243.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11102613103175720066.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-23 12:41:08] [INFO ] Flatten gal took : 168 ms
[2023-03-23 12:41:08] [INFO ] Applying decomposition
[2023-03-23 12:41:08] [INFO ] Flatten gal took : 173 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph14317654764206753044.txt' '-o' '/tmp/graph14317654764206753044.bin' '-w' '/tmp/graph14317654764206753044.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph14317654764206753044.bin' '-l' '-1' '-v' '-w' '/tmp/graph14317654764206753044.weights' '-q' '0' '-e' '0.001'
[2023-03-23 12:41:09] [INFO ] Decomposing Gal with order
[2023-03-23 12:41:09] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-23 12:41:10] [INFO ] Removed a total of 5648 redundant transitions.
[2023-03-23 12:41:10] [INFO ] Flatten gal took : 1041 ms
[2023-03-23 12:41:10] [INFO ] Fuse similar labels procedure discarded/fused a total of 815 labels/synchronizations in 120 ms.
[2023-03-23 12:41:10] [INFO ] Time to serialize gal into /tmp/CTLCardinality17730613277897939769.gal : 33 ms
[2023-03-23 12:41:10] [INFO ] Time to serialize properties into /tmp/CTLCardinality2842900624669330056.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality17730613277897939769.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2842900624669330056.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
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 : 4556/4556 places, 8016/8016 transitions.
Graph (complete) has 27895 edges and 4556 vertex of which 4555 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.13 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions removed 39 transitions
Trivial Post-agglo rules discarded 39 transitions
Performed 39 trivial Post agglomeration. Transition count delta: 39
Iterating post reduction 0 with 39 rules applied. Total rules applied 40 place count 4555 transition count 7977
Reduce places removed 39 places and 0 transitions.
Iterating post reduction 1 with 39 rules applied. Total rules applied 79 place count 4516 transition count 7977
Performed 150 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 150 Pre rules applied. Total rules applied 79 place count 4516 transition count 7827
Deduced a syphon composed of 150 places in 4 ms
Reduce places removed 150 places and 0 transitions.
Iterating global reduction 2 with 300 rules applied. Total rules applied 379 place count 4366 transition count 7827
Discarding 48 places :
Symmetric choice reduction at 2 with 48 rule applications. Total rules 427 place count 4318 transition count 7759
Iterating global reduction 2 with 48 rules applied. Total rules applied 475 place count 4318 transition count 7759
Discarding 36 places :
Symmetric choice reduction at 2 with 36 rule applications. Total rules 511 place count 4282 transition count 7651
Iterating global reduction 2 with 36 rules applied. Total rules applied 547 place count 4282 transition count 7651
Performed 31 Post agglomeration using F-continuation condition.Transition count delta: 31
Deduced a syphon composed of 31 places in 4 ms
Reduce places removed 31 places and 0 transitions.
Iterating global reduction 2 with 62 rules applied. Total rules applied 609 place count 4251 transition count 7620
Discarding 33 places :
Symmetric choice reduction at 2 with 33 rule applications. Total rules 642 place count 4218 transition count 7587
Iterating global reduction 2 with 33 rules applied. Total rules applied 675 place count 4218 transition count 7587
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 4 Pre rules applied. Total rules applied 675 place count 4218 transition count 7583
Deduced a syphon composed of 4 places in 4 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 683 place count 4214 transition count 7583
Discarding 32 places :
Symmetric choice reduction at 2 with 32 rule applications. Total rules 715 place count 4182 transition count 7487
Iterating global reduction 2 with 32 rules applied. Total rules applied 747 place count 4182 transition count 7487
Applied a total of 747 rules in 2181 ms. Remains 4182 /4556 variables (removed 374) and now considering 7487/8016 (removed 529) transitions.
[2023-03-23 12:41:43] [INFO ] Flow matrix only has 6887 transitions (discarded 600 similar events)
// Phase 1: matrix 6887 rows 4182 cols
[2023-03-23 12:41:43] [INFO ] Computed 833 place invariants in 151 ms
[2023-03-23 12:41:47] [INFO ] Implicit Places using invariants in 4153 ms returned [4, 7, 11, 12, 13, 14, 19, 26, 35, 46, 59, 74, 91, 110, 131, 154, 178, 202, 203, 204, 205, 226, 245, 262, 277, 290, 301, 310, 317, 322, 325, 334, 340, 343, 344, 345, 346, 349, 354, 361, 370, 381, 394, 409, 426, 445, 466, 488, 510, 512, 513, 534, 551, 566, 579, 590, 599, 606, 611, 614, 616, 625, 631, 634, 635, 636, 637, 639, 642, 647, 654, 663, 674, 687, 702, 719, 738, 758, 778, 779, 780, 781, 798, 813, 826, 837, 846, 853, 858, 861, 863, 865, 874, 880, 883, 884, 885, 886, 888, 890, 893, 898, 905, 914, 925, 938, 953, 970, 988, 1006, 1007, 1008, 1009, 1024, 1037, 1048, 1057, 1064, 1069, 1072, 1074, 1076, 1078, 1087, 1093, 1096, 1097, 1098, 1099, 1101, 1103, 1105, 1108, 1113, 1120, 1129, 1140, 1153, 1168, 1184, 1200, 1201, 1202, 1203, 1216, 1227, 1236, 1243, 1248, 1251, 1253, 1255, 1257, 1259, 1268, 1274, 1277, 1278, 1279, 1280, 1282, 1284, 1286, 1288, 1291, 1296, 1303, 1312, 1323, 1336, 1350, 1364, 1365, 1366, 1367, 1378, 1387, 1394, 1399, 1402, 1404, 1406, 1408, 1410, 1412, 1421, 1427, 1430, 1431, 1432, 1433, 1435, 1437, 1439, 1441, 1443, 1446, 1451, 1458, 1467, 1478, 1490, 1502, 1503, 1504, 1505, 1514, 1521, 1526, 1529, 1531, 1533, 1535, 1537, 1539, 1541, 1550, 1556, 1559, 1560, 1561, 1562, 1564, 1566, 1568, 1570, 1572, 1574, 1577, 1582, 1589, 1598, 1608, 1618, 1619, 1620, 1621, 1628, 1633, 1636, 1638, 1640, 1642, 1644, 1646, 1648, 1650, 1659, 1665, 1668, 1669, 1670, 1671, 1673, 1675, 1677, 1679, 1681, 1683, 1685, 1688, 1693, 1700, 1708, 1716, 1717, 1718, 1719, 1724, 1727, 1729, 1731, 1733, 1735, 1739, 1741, 1743, 1752, 1758, 1761, 1762, 1763, 1764, 1766, 1768, 1770, 1772, 1774, 1776, 1778, 1780, 1783, 1788, 1794, 1800, 1801, 1802, 1803, 1806, 1808, 1810, 1812, 1814, 1816, 1818, 1820, 1822, 1824, 1833, 1839, 1842, 1843, 1844, 1845, 1847, 1849, 1851, 1853, 1855, 1857, 1859, 1861, 1863, 1866, 1870, 1874, 1875, 1876, 1877, 1879, 1881, 1883, 1885, 1887, 1889, 1891, 1893, 1895, 1897, 1906, 1912, 1915, 1916, 1917, 1918, 1920, 1922, 1924, 1926, 1928, 1930, 1932, 1934, 1936, 1938, 1940, 1943, 1944, 1945, 1946, 1948, 1950, 1952, 1954, 1956, 1958, 1960, 1962, 1964, 1966, 1975, 1977, 1980, 1983, 1984, 1985, 1986, 1988, 1990, 1992, 1994, 1996, 1998, 2000, 2002, 2004, 2006, 2008, 2011, 2012, 2013, 2014, 2016, 2018, 2020, 2022, 2024, 2026, 2028, 2030, 2032, 2034, 2043, 2049, 2052, 2053, 2054, 2055, 2057, 2059, 2061, 2063, 2065, 2067, 2069, 2071, 2073, 2075, 2077, 2080, 2081, 2082, 2083, 2085, 2087, 2089, 2091, 2093, 2095, 2097, 2099, 2101, 2103, 2112, 2118, 2121, 2122, 2123, 2124, 2126, 2128, 2130, 2132, 2134, 2136, 2138, 2140, 2142, 2144, 2147, 2152, 2153, 2154, 2155, 2158, 2160, 2162, 2164, 2166, 2168, 2170, 2172, 2174, 2176, 2185, 2191, 2194, 2195, 2196, 2197, 2199, 2201, 2203, 2205, 2207, 2209, 2211, 2213, 2215, 2218, 2223, 2230, 2231, 2232, 2233, 2238, 2241, 2243, 2245, 2247, 2249, 2251, 2253, 2255, 2257, 2266, 2272, 2275, 2276, 2277, 2278, 2280, 2282, 2284, 2286, 2288, 2290, 2292, 2294, 2297, 2302, 2309, 2318, 2319, 2320, 2321, 2328, 2333, 2336, 2338, 2340, 2342, 2344, 2346, 2348, 2350, 2359, 2365, 2368, 2369, 2370, 2371, 2373, 2375, 2377, 2379, 2381, 2383, 2385, 2388, 2393, 2400, 2409, 2420, 2421, 2422, 2423, 2432, 2439, 2444, 2447, 2449, 2451, 2453, 2455, 2457, 2459, 2468, 2474, 2477, 2478, 2479, 2480, 2482, 2484, 2486, 2488, 2490, 2492, 2495, 2500, 2507, 2516, 2527, 2540, 2541, 2542, 2543, 2554, 2563, 2570, 2575, 2578, 2580, 2582, 2584, 2586, 2588, 2597, 2603, 2606, 2607, 2608, 2609, 2611, 2613, 2615, 2617, 2619, 2622, 2627, 2634, 2643, 2654, 2667, 2682, 2683, 2684, 2685, 2698, 2709, 2718, 2725, 2730, 2733, 2735, 2737, 2739, 2741, 2750, 2756, 2759, 2760, 2761, 2762, 2764, 2766, 2768, 2770, 2773, 2778, 2785, 2794, 2805, 2818, 2833, 2850, 2851, 2852, 2853, 2868, 2881, 2892, 2901, 2908, 2913, 2916, 2918, 2920, 2922, 2931, 2937, 2940, 2941, 2942, 2943, 2945, 2947, 2949, 2952, 2957, 2964, 2973, 2984, 2997, 3012, 3029, 3048, 3049, 3050, 3051, 3068, 3083, 3096, 3107, 3116, 3123, 3128, 3131, 3133, 3135, 3150, 3153, 3154, 3155, 3156, 3158, 3160, 3163, 3168, 3175, 3184, 3195, 3208, 3223, 3240, 3259, 3280, 3281, 3282, 3283, 3302, 3319, 3334, 3347, 3358, 3367, 3374, 3379, 3382, 3384, 3393, 3399, 3402, 3403, 3404, 3405, 3407, 3410, 3415, 3422, 3431, 3442, 3455, 3470, 3487, 3506, 3527, 3550, 3551, 3552, 3553, 3574, 3593, 3610, 3625, 3638, 3649, 3658, 3665, 3670, 3673, 3682, 3684, 3687, 3690, 3693, 3694, 3699, 3704, 3711, 3720, 3731, 3744, 3759, 3776, 3795, 3816, 3839, 3864, 3865, 3866, 3867, 3890, 3911, 3930, 3947, 3962, 3975, 3986, 3995, 4002, 4007, 4017]
Discarding 774 places :
Implicit Place search using SMT only with invariants took 4162 ms to find 774 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3408/4556 places, 7487/8016 transitions.
Discarding 142 places :
Symmetric choice reduction at 0 with 142 rule applications. Total rules 142 place count 3266 transition count 7345
Iterating global reduction 0 with 142 rules applied. Total rules applied 284 place count 3266 transition count 7345
Discarding 142 places :
Symmetric choice reduction at 0 with 142 rule applications. Total rules 426 place count 3124 transition count 7203
Iterating global reduction 0 with 142 rules applied. Total rules applied 568 place count 3124 transition count 7203
Discarding 46 places :
Symmetric choice reduction at 0 with 46 rule applications. Total rules 614 place count 3078 transition count 7065
Iterating global reduction 0 with 46 rules applied. Total rules applied 660 place count 3078 transition count 7065
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 664 place count 3076 transition count 7063
Applied a total of 664 rules in 1506 ms. Remains 3076 /3408 variables (removed 332) and now considering 7063/7487 (removed 424) transitions.
[2023-03-23 12:41:48] [INFO ] Flow matrix only has 6463 transitions (discarded 600 similar events)
// Phase 1: matrix 6463 rows 3076 cols
[2023-03-23 12:41:48] [INFO ] Computed 59 place invariants in 159 ms
[2023-03-23 12:41:52] [INFO ] Implicit Places using invariants in 3904 ms returned [1407, 2297]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 3908 ms to find 2 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3074/4556 places, 7063/8016 transitions.
Applied a total of 0 rules in 402 ms. Remains 3074 /3074 variables (removed 0) and now considering 7063/7063 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 12160 ms. Remains : 3074/4556 places, 7063/8016 transitions.
[2023-03-23 12:41:53] [INFO ] Flatten gal took : 151 ms
[2023-03-23 12:41:53] [INFO ] Flatten gal took : 168 ms
[2023-03-23 12:41:53] [INFO ] Input system was already deterministic with 7063 transitions.
[2023-03-23 12:41:53] [INFO ] Flatten gal took : 198 ms
[2023-03-23 12:41:54] [INFO ] Flatten gal took : 165 ms
[2023-03-23 12:41:54] [INFO ] Time to serialize gal into /tmp/CTLCardinality6841326847684041795.gal : 25 ms
[2023-03-23 12:41:54] [INFO ] Time to serialize properties into /tmp/CTLCardinality17823463199575025297.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality6841326847684041795.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17823463199575025297.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-23 12:42:24] [INFO ] Flatten gal took : 168 ms
[2023-03-23 12:42:24] [INFO ] Applying decomposition
[2023-03-23 12:42:24] [INFO ] Flatten gal took : 174 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph2690436280345779154.txt' '-o' '/tmp/graph2690436280345779154.bin' '-w' '/tmp/graph2690436280345779154.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph2690436280345779154.bin' '-l' '-1' '-v' '-w' '/tmp/graph2690436280345779154.weights' '-q' '0' '-e' '0.001'
[2023-03-23 12:42:24] [INFO ] Decomposing Gal with order
[2023-03-23 12:42:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-23 12:42:25] [INFO ] Removed a total of 6198 redundant transitions.
[2023-03-23 12:42:25] [INFO ] Flatten gal took : 824 ms
[2023-03-23 12:42:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 711 labels/synchronizations in 108 ms.
[2023-03-23 12:42:26] [INFO ] Time to serialize gal into /tmp/CTLCardinality14529469188618571712.gal : 34 ms
[2023-03-23 12:42:26] [INFO ] Time to serialize properties into /tmp/CTLCardinality14985982153261341507.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14529469188618571712.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14985982153261341507.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
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 : 4556/4556 places, 8016/8016 transitions.
Drop transitions removed 38 transitions
Trivial Post-agglo rules discarded 38 transitions
Performed 38 trivial Post agglomeration. Transition count delta: 38
Iterating post reduction 0 with 38 rules applied. Total rules applied 38 place count 4556 transition count 7978
Reduce places removed 38 places and 0 transitions.
Iterating post reduction 1 with 38 rules applied. Total rules applied 76 place count 4518 transition count 7978
Performed 150 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 150 Pre rules applied. Total rules applied 76 place count 4518 transition count 7828
Deduced a syphon composed of 150 places in 5 ms
Reduce places removed 150 places and 0 transitions.
Iterating global reduction 2 with 300 rules applied. Total rules applied 376 place count 4368 transition count 7828
Discarding 46 places :
Symmetric choice reduction at 2 with 46 rule applications. Total rules 422 place count 4322 transition count 7766
Iterating global reduction 2 with 46 rules applied. Total rules applied 468 place count 4322 transition count 7766
Discarding 36 places :
Symmetric choice reduction at 2 with 36 rule applications. Total rules 504 place count 4286 transition count 7658
Iterating global reduction 2 with 36 rules applied. Total rules applied 540 place count 4286 transition count 7658
Performed 31 Post agglomeration using F-continuation condition.Transition count delta: 31
Deduced a syphon composed of 31 places in 5 ms
Reduce places removed 31 places and 0 transitions.
Iterating global reduction 2 with 62 rules applied. Total rules applied 602 place count 4255 transition count 7627
Discarding 32 places :
Symmetric choice reduction at 2 with 32 rule applications. Total rules 634 place count 4223 transition count 7595
Iterating global reduction 2 with 32 rules applied. Total rules applied 666 place count 4223 transition count 7595
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 3 Pre rules applied. Total rules applied 666 place count 4223 transition count 7592
Deduced a syphon composed of 3 places in 4 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 672 place count 4220 transition count 7592
Discarding 31 places :
Symmetric choice reduction at 2 with 31 rule applications. Total rules 703 place count 4189 transition count 7499
Iterating global reduction 2 with 31 rules applied. Total rules applied 734 place count 4189 transition count 7499
Applied a total of 734 rules in 2222 ms. Remains 4189 /4556 variables (removed 367) and now considering 7499/8016 (removed 517) transitions.
[2023-03-23 12:42:58] [INFO ] Flow matrix only has 6899 transitions (discarded 600 similar events)
// Phase 1: matrix 6899 rows 4189 cols
[2023-03-23 12:42:58] [INFO ] Computed 834 place invariants in 147 ms
[2023-03-23 12:43:02] [INFO ] Implicit Places using invariants in 4328 ms returned [4, 7, 11, 12, 13, 14, 19, 26, 35, 46, 59, 74, 91, 110, 131, 154, 178, 203, 204, 205, 226, 245, 262, 277, 290, 301, 310, 317, 322, 325, 336, 342, 345, 346, 347, 348, 351, 356, 363, 372, 383, 396, 411, 428, 447, 468, 490, 512, 513, 514, 515, 534, 551, 566, 579, 590, 599, 606, 611, 614, 616, 625, 631, 634, 635, 636, 637, 639, 642, 648, 655, 664, 675, 688, 703, 720, 739, 759, 779, 780, 781, 782, 799, 814, 827, 838, 847, 854, 859, 862, 864, 866, 875, 881, 884, 885, 886, 887, 889, 891, 894, 899, 906, 915, 926, 939, 954, 971, 989, 1007, 1008, 1009, 1010, 1025, 1038, 1049, 1058, 1065, 1070, 1073, 1075, 1077, 1079, 1088, 1094, 1097, 1098, 1099, 1100, 1102, 1104, 1106, 1109, 1114, 1121, 1130, 1141, 1154, 1169, 1185, 1201, 1202, 1203, 1204, 1217, 1228, 1237, 1244, 1249, 1252, 1254, 1256, 1258, 1260, 1269, 1276, 1279, 1280, 1281, 1282, 1284, 1286, 1288, 1290, 1293, 1298, 1305, 1314, 1325, 1338, 1352, 1366, 1367, 1368, 1369, 1380, 1389, 1396, 1401, 1404, 1406, 1408, 1410, 1412, 1414, 1423, 1429, 1432, 1433, 1434, 1435, 1437, 1439, 1441, 1443, 1445, 1448, 1453, 1460, 1469, 1480, 1492, 1504, 1505, 1506, 1507, 1516, 1523, 1528, 1531, 1533, 1535, 1537, 1539, 1541, 1543, 1552, 1558, 1561, 1562, 1563, 1564, 1566, 1568, 1570, 1572, 1574, 1576, 1579, 1584, 1591, 1610, 1620, 1621, 1622, 1623, 1630, 1635, 1638, 1640, 1642, 1644, 1646, 1648, 1650, 1652, 1661, 1667, 1670, 1671, 1672, 1673, 1675, 1677, 1679, 1681, 1683, 1685, 1687, 1690, 1695, 1702, 1710, 1718, 1719, 1720, 1721, 1726, 1729, 1731, 1733, 1735, 1737, 1739, 1741, 1743, 1745, 1754, 1760, 1763, 1764, 1765, 1766, 1768, 1770, 1772, 1774, 1776, 1778, 1780, 1782, 1785, 1790, 1796, 1802, 1804, 1805, 1808, 1810, 1812, 1814, 1816, 1818, 1820, 1825, 1827, 1829, 1838, 1844, 1847, 1848, 1849, 1850, 1852, 1854, 1856, 1858, 1860, 1862, 1864, 1866, 1868, 1871, 1875, 1879, 1880, 1881, 1882, 1884, 1886, 1888, 1890, 1892, 1894, 1896, 1898, 1900, 1902, 1911, 1917, 1920, 1921, 1922, 1923, 1925, 1927, 1929, 1931, 1933, 1935, 1937, 1939, 1941, 1945, 1948, 1949, 1950, 1951, 1953, 1956, 1958, 1960, 1962, 1964, 1966, 1968, 1970, 1972, 1981, 1983, 1986, 1989, 1990, 1991, 1992, 1994, 1996, 1998, 2000, 2002, 2004, 2006, 2008, 2010, 2012, 2014, 2017, 2018, 2019, 2020, 2022, 2024, 2026, 2028, 2030, 2032, 2034, 2036, 2038, 2040, 2055, 2058, 2059, 2060, 2061, 2063, 2065, 2067, 2069, 2071, 2073, 2075, 2077, 2079, 2081, 2083, 2086, 2087, 2088, 2089, 2091, 2093, 2095, 2097, 2099, 2101, 2103, 2105, 2107, 2109, 2118, 2124, 2127, 2128, 2129, 2130, 2132, 2134, 2136, 2138, 2140, 2142, 2144, 2146, 2148, 2150, 2153, 2158, 2159, 2160, 2161, 2164, 2166, 2168, 2170, 2172, 2174, 2176, 2178, 2180, 2182, 2191, 2197, 2200, 2201, 2202, 2203, 2205, 2207, 2209, 2211, 2213, 2215, 2217, 2219, 2221, 2224, 2229, 2236, 2237, 2238, 2239, 2244, 2247, 2249, 2251, 2253, 2255, 2257, 2259, 2261, 2263, 2272, 2278, 2281, 2282, 2283, 2284, 2286, 2288, 2290, 2292, 2294, 2296, 2298, 2300, 2303, 2308, 2315, 2324, 2325, 2326, 2327, 2334, 2339, 2342, 2344, 2346, 2348, 2350, 2352, 2354, 2356, 2365, 2371, 2374, 2375, 2376, 2377, 2379, 2381, 2383, 2385, 2387, 2389, 2391, 2394, 2399, 2406, 2415, 2426, 2427, 2428, 2429, 2438, 2445, 2450, 2453, 2455, 2457, 2459, 2461, 2463, 2465, 2474, 2480, 2483, 2484, 2485, 2486, 2488, 2490, 2492, 2494, 2496, 2498, 2501, 2506, 2513, 2522, 2533, 2546, 2547, 2548, 2549, 2560, 2569, 2576, 2581, 2584, 2586, 2588, 2590, 2592, 2594, 2603, 2609, 2612, 2613, 2614, 2615, 2617, 2619, 2621, 2623, 2625, 2628, 2633, 2640, 2649, 2660, 2673, 2688, 2689, 2690, 2691, 2704, 2715, 2724, 2731, 2736, 2739, 2741, 2743, 2745, 2747, 2756, 2762, 2765, 2766, 2767, 2768, 2770, 2772, 2774, 2776, 2779, 2784, 2791, 2800, 2811, 2824, 2839, 2856, 2857, 2858, 2859, 2874, 2887, 2898, 2907, 2914, 2919, 2922, 2924, 2926, 2928, 2937, 2943, 2946, 2947, 2948, 2949, 2951, 2953, 2955, 2958, 2963, 2970, 2979, 2990, 3003, 3018, 3035, 3054, 3055, 3056, 3057, 3074, 3089, 3102, 3113, 3122, 3129, 3134, 3137, 3139, 3141, 3150, 3156, 3159, 3160, 3161, 3162, 3164, 3166, 3169, 3174, 3181, 3190, 3201, 3214, 3229, 3246, 3265, 3286, 3287, 3289, 3308, 3325, 3340, 3353, 3364, 3376, 3383, 3388, 3391, 3393, 3402, 3408, 3411, 3412, 3413, 3414, 3416, 3419, 3424, 3431, 3440, 3451, 3464, 3479, 3496, 3515, 3536, 3559, 3560, 3561, 3562, 3583, 3602, 3619, 3634, 3647, 3658, 3667, 3674, 3679, 3682, 3691, 3693, 3696, 3699, 3700, 3701, 3702, 3705, 3710, 3717, 3726, 3737, 3750, 3765, 3782, 3801, 3822, 3845, 3870, 3871, 3872, 3873, 3896, 3917, 3936, 3953, 3968, 3981, 3992, 4001, 4008, 4013, 4023]
Discarding 772 places :
Implicit Place search using SMT only with invariants took 4336 ms to find 772 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3417/4556 places, 7499/8016 transitions.
Discarding 141 places :
Symmetric choice reduction at 0 with 141 rule applications. Total rules 141 place count 3276 transition count 7358
Iterating global reduction 0 with 141 rules applied. Total rules applied 282 place count 3276 transition count 7358
Discarding 141 places :
Symmetric choice reduction at 0 with 141 rule applications. Total rules 423 place count 3135 transition count 7217
Iterating global reduction 0 with 141 rules applied. Total rules applied 564 place count 3135 transition count 7217
Discarding 45 places :
Symmetric choice reduction at 0 with 45 rule applications. Total rules 609 place count 3090 transition count 7082
Iterating global reduction 0 with 45 rules applied. Total rules applied 654 place count 3090 transition count 7082
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 4 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 0 with 6 rules applied. Total rules applied 660 place count 3087 transition count 7079
Applied a total of 660 rules in 1509 ms. Remains 3087 /3417 variables (removed 330) and now considering 7079/7499 (removed 420) transitions.
[2023-03-23 12:43:04] [INFO ] Flow matrix only has 6479 transitions (discarded 600 similar events)
// Phase 1: matrix 6479 rows 3087 cols
[2023-03-23 12:43:04] [INFO ] Computed 62 place invariants in 158 ms
[2023-03-23 12:43:08] [INFO ] Implicit Places using invariants in 4034 ms returned [1513, 1557]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 4039 ms to find 2 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3085/4556 places, 7079/8016 transitions.
Applied a total of 0 rules in 378 ms. Remains 3085 /3085 variables (removed 0) and now considering 7079/7079 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 12484 ms. Remains : 3085/4556 places, 7079/8016 transitions.
[2023-03-23 12:43:09] [INFO ] Flatten gal took : 154 ms
[2023-03-23 12:43:09] [INFO ] Flatten gal took : 177 ms
[2023-03-23 12:43:09] [INFO ] Input system was already deterministic with 7079 transitions.
[2023-03-23 12:43:09] [INFO ] Flatten gal took : 172 ms
[2023-03-23 12:43:09] [INFO ] Flatten gal took : 176 ms
[2023-03-23 12:43:09] [INFO ] Time to serialize gal into /tmp/CTLCardinality12764118457956079963.gal : 29 ms
[2023-03-23 12:43:09] [INFO ] Time to serialize properties into /tmp/CTLCardinality17451867486981022626.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12764118457956079963.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17451867486981022626.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-23 12:43:40] [INFO ] Flatten gal took : 178 ms
[2023-03-23 12:43:40] [INFO ] Applying decomposition
[2023-03-23 12:43:40] [INFO ] Flatten gal took : 186 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph11199924264166416291.txt' '-o' '/tmp/graph11199924264166416291.bin' '-w' '/tmp/graph11199924264166416291.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph11199924264166416291.bin' '-l' '-1' '-v' '-w' '/tmp/graph11199924264166416291.weights' '-q' '0' '-e' '0.001'
[2023-03-23 12:43:40] [INFO ] Decomposing Gal with order
[2023-03-23 12:43:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-23 12:43:42] [INFO ] Removed a total of 6463 redundant transitions.
[2023-03-23 12:43:42] [INFO ] Flatten gal took : 1159 ms
[2023-03-23 12:43:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 866 labels/synchronizations in 135 ms.
[2023-03-23 12:43:42] [INFO ] Time to serialize gal into /tmp/CTLCardinality2930216496276530232.gal : 32 ms
[2023-03-23 12:43:42] [INFO ] Time to serialize properties into /tmp/CTLCardinality15384562142415332389.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality2930216496276530232.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15384562142415332389.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
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 : 4556/4556 places, 8016/8016 transitions.
Graph (complete) has 27895 edges and 4556 vertex of which 4555 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.8 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions removed 39 transitions
Trivial Post-agglo rules discarded 39 transitions
Performed 39 trivial Post agglomeration. Transition count delta: 39
Iterating post reduction 0 with 39 rules applied. Total rules applied 40 place count 4555 transition count 7977
Reduce places removed 39 places and 0 transitions.
Iterating post reduction 1 with 39 rules applied. Total rules applied 79 place count 4516 transition count 7977
Performed 150 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 150 Pre rules applied. Total rules applied 79 place count 4516 transition count 7827
Deduced a syphon composed of 150 places in 4 ms
Reduce places removed 150 places and 0 transitions.
Iterating global reduction 2 with 300 rules applied. Total rules applied 379 place count 4366 transition count 7827
Discarding 48 places :
Symmetric choice reduction at 2 with 48 rule applications. Total rules 427 place count 4318 transition count 7759
Iterating global reduction 2 with 48 rules applied. Total rules applied 475 place count 4318 transition count 7759
Discarding 36 places :
Symmetric choice reduction at 2 with 36 rule applications. Total rules 511 place count 4282 transition count 7651
Iterating global reduction 2 with 36 rules applied. Total rules applied 547 place count 4282 transition count 7651
Performed 31 Post agglomeration using F-continuation condition.Transition count delta: 31
Deduced a syphon composed of 31 places in 5 ms
Reduce places removed 31 places and 0 transitions.
Iterating global reduction 2 with 62 rules applied. Total rules applied 609 place count 4251 transition count 7620
Discarding 34 places :
Symmetric choice reduction at 2 with 34 rule applications. Total rules 643 place count 4217 transition count 7586
Iterating global reduction 2 with 34 rules applied. Total rules applied 677 place count 4217 transition count 7586
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 5 Pre rules applied. Total rules applied 677 place count 4217 transition count 7581
Deduced a syphon composed of 5 places in 4 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 687 place count 4212 transition count 7581
Discarding 33 places :
Symmetric choice reduction at 2 with 33 rule applications. Total rules 720 place count 4179 transition count 7482
Iterating global reduction 2 with 33 rules applied. Total rules applied 753 place count 4179 transition count 7482
Applied a total of 753 rules in 2257 ms. Remains 4179 /4556 variables (removed 377) and now considering 7482/8016 (removed 534) transitions.
[2023-03-23 12:44:14] [INFO ] Flow matrix only has 6882 transitions (discarded 600 similar events)
// Phase 1: matrix 6882 rows 4179 cols
[2023-03-23 12:44:15] [INFO ] Computed 833 place invariants in 145 ms
[2023-03-23 12:44:19] [INFO ] Implicit Places using invariants in 4509 ms returned [4, 7, 11, 12, 13, 14, 19, 26, 35, 46, 59, 74, 91, 110, 131, 154, 178, 202, 203, 204, 205, 226, 245, 262, 277, 290, 301, 310, 317, 322, 325, 334, 340, 343, 344, 346, 349, 354, 361, 370, 381, 394, 409, 429, 448, 469, 491, 513, 514, 515, 516, 535, 552, 567, 580, 591, 600, 607, 612, 615, 617, 626, 632, 635, 636, 637, 638, 640, 643, 648, 655, 664, 675, 688, 703, 720, 739, 759, 779, 780, 781, 782, 799, 814, 827, 838, 847, 854, 859, 862, 864, 866, 875, 881, 884, 885, 886, 887, 889, 891, 894, 899, 906, 915, 926, 939, 954, 971, 989, 1007, 1008, 1009, 1010, 1025, 1038, 1049, 1058, 1065, 1070, 1073, 1075, 1077, 1079, 1088, 1094, 1097, 1098, 1099, 1100, 1102, 1104, 1106, 1109, 1114, 1121, 1130, 1141, 1154, 1169, 1185, 1201, 1202, 1203, 1204, 1217, 1228, 1237, 1244, 1249, 1252, 1254, 1256, 1258, 1260, 1269, 1275, 1278, 1279, 1280, 1281, 1283, 1285, 1287, 1289, 1292, 1297, 1304, 1313, 1324, 1337, 1351, 1365, 1366, 1367, 1368, 1379, 1388, 1395, 1400, 1403, 1405, 1407, 1409, 1411, 1413, 1422, 1428, 1431, 1432, 1433, 1434, 1436, 1438, 1440, 1442, 1444, 1447, 1452, 1459, 1468, 1479, 1491, 1503, 1504, 1505, 1506, 1515, 1522, 1527, 1530, 1532, 1534, 1536, 1538, 1540, 1542, 1551, 1557, 1560, 1561, 1562, 1563, 1565, 1567, 1569, 1571, 1573, 1575, 1583, 1590, 1599, 1609, 1619, 1620, 1621, 1622, 1629, 1634, 1637, 1639, 1641, 1643, 1645, 1647, 1649, 1651, 1660, 1666, 1669, 1670, 1671, 1672, 1674, 1676, 1678, 1680, 1682, 1684, 1686, 1689, 1694, 1701, 1709, 1717, 1718, 1719, 1720, 1725, 1728, 1730, 1732, 1734, 1736, 1738, 1740, 1742, 1744, 1753, 1759, 1762, 1763, 1764, 1765, 1767, 1769, 1771, 1773, 1775, 1777, 1779, 1781, 1784, 1789, 1795, 1801, 1802, 1803, 1804, 1807, 1809, 1811, 1813, 1815, 1817, 1819, 1821, 1823, 1825, 1840, 1843, 1844, 1845, 1846, 1848, 1850, 1852, 1854, 1856, 1858, 1860, 1862, 1864, 1867, 1871, 1875, 1876, 1877, 1878, 1880, 1882, 1884, 1886, 1888, 1890, 1892, 1894, 1896, 1898, 1907, 1913, 1916, 1917, 1918, 1919, 1921, 1923, 1925, 1927, 1929, 1931, 1933, 1935, 1937, 1939, 1941, 1944, 1945, 1946, 1947, 1949, 1951, 1953, 1955, 1957, 1959, 1961, 1963, 1965, 1967, 1976, 1978, 1981, 1984, 1985, 1986, 1987, 1989, 1991, 1993, 1995, 1997, 1999, 2001, 2003, 2005, 2007, 2009, 2012, 2013, 2014, 2015, 2017, 2019, 2021, 2023, 2025, 2027, 2029, 2031, 2033, 2035, 2044, 2050, 2053, 2054, 2055, 2056, 2058, 2060, 2062, 2064, 2066, 2068, 2070, 2072, 2074, 2076, 2078, 2081, 2082, 2083, 2084, 2086, 2088, 2090, 2092, 2094, 2096, 2098, 2100, 2102, 2104, 2113, 2119, 2122, 2123, 2124, 2125, 2127, 2129, 2131, 2133, 2135, 2137, 2139, 2141, 2143, 2145, 2148, 2153, 2154, 2155, 2156, 2159, 2161, 2163, 2165, 2167, 2169, 2171, 2173, 2175, 2177, 2186, 2192, 2195, 2196, 2197, 2198, 2200, 2202, 2204, 2206, 2208, 2210, 2212, 2214, 2216, 2219, 2224, 2231, 2232, 2233, 2234, 2239, 2242, 2244, 2246, 2248, 2250, 2252, 2254, 2256, 2258, 2267, 2273, 2276, 2277, 2278, 2279, 2281, 2283, 2285, 2287, 2289, 2291, 2293, 2295, 2298, 2303, 2310, 2319, 2320, 2321, 2322, 2329, 2334, 2337, 2339, 2341, 2343, 2345, 2347, 2349, 2351, 2360, 2366, 2369, 2370, 2371, 2372, 2374, 2376, 2378, 2380, 2382, 2384, 2386, 2389, 2394, 2401, 2410, 2421, 2422, 2423, 2424, 2433, 2440, 2445, 2448, 2450, 2452, 2454, 2456, 2458, 2460, 2469, 2475, 2478, 2479, 2480, 2481, 2483, 2485, 2487, 2489, 2491, 2493, 2496, 2501, 2508, 2517, 2528, 2541, 2542, 2543, 2544, 2555, 2564, 2571, 2576, 2579, 2581, 2583, 2585, 2587, 2589, 2598, 2604, 2607, 2608, 2609, 2610, 2612, 2614, 2616, 2618, 2620, 2623, 2628, 2635, 2644, 2655, 2668, 2683, 2684, 2685, 2686, 2699, 2710, 2719, 2726, 2731, 2734, 2736, 2738, 2740, 2742, 2751, 2757, 2760, 2761, 2762, 2763, 2765, 2767, 2769, 2771, 2774, 2779, 2786, 2795, 2806, 2819, 2834, 2851, 2852, 2853, 2854, 2869, 2882, 2893, 2902, 2909, 2914, 2917, 2919, 2921, 2923, 2932, 2938, 2941, 2942, 2943, 2944, 2946, 2948, 2950, 2953, 2958, 2965, 2974, 2985, 2998, 3013, 3030, 3049, 3050, 3051, 3052, 3069, 3084, 3097, 3108, 3117, 3124, 3129, 3132, 3134, 3136, 3145, 3151, 3154, 3155, 3156, 3157, 3159, 3161, 3164, 3169, 3176, 3185, 3196, 3209, 3224, 3241, 3260, 3281, 3282, 3283, 3284, 3303, 3320, 3335, 3348, 3359, 3368, 3375, 3380, 3383, 3385, 3394, 3400, 3403, 3404, 3405, 3406, 3408, 3411, 3416, 3423, 3432, 3443, 3456, 3471, 3488, 3507, 3528, 3551, 3552, 3553, 3554, 3575, 3594, 3611, 3626, 3639, 3650, 3659, 3666, 3671, 3674, 3683, 3685, 3688, 3691, 3692, 3693, 3694, 3697, 3702, 3709, 3718, 3729, 3742, 3757, 3774, 3793, 3814, 3837, 3862, 3863, 3864, 3865, 3888, 3909, 3928, 3945, 3960, 3973, 3984, 3993, 4000, 4005, 4015]
Discarding 775 places :
Implicit Place search using SMT only with invariants took 4517 ms to find 775 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3404/4556 places, 7482/8016 transitions.
Discarding 143 places :
Symmetric choice reduction at 0 with 143 rule applications. Total rules 143 place count 3261 transition count 7339
Iterating global reduction 0 with 143 rules applied. Total rules applied 286 place count 3261 transition count 7339
Discarding 143 places :
Symmetric choice reduction at 0 with 143 rule applications. Total rules 429 place count 3118 transition count 7196
Iterating global reduction 0 with 143 rules applied. Total rules applied 572 place count 3118 transition count 7196
Discarding 47 places :
Symmetric choice reduction at 0 with 47 rule applications. Total rules 619 place count 3071 transition count 7055
Iterating global reduction 0 with 47 rules applied. Total rules applied 666 place count 3071 transition count 7055
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 668 place count 3070 transition count 7054
Applied a total of 668 rules in 1506 ms. Remains 3070 /3404 variables (removed 334) and now considering 7054/7482 (removed 428) transitions.
[2023-03-23 12:44:20] [INFO ] Flow matrix only has 6454 transitions (discarded 600 similar events)
// Phase 1: matrix 6454 rows 3070 cols
[2023-03-23 12:44:21] [INFO ] Computed 58 place invariants in 160 ms
[2023-03-23 12:44:25] [INFO ] Implicit Places using invariants in 4057 ms returned [1303, 1456]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 4062 ms to find 2 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3068/4556 places, 7054/8016 transitions.
Applied a total of 0 rules in 387 ms. Remains 3068 /3068 variables (removed 0) and now considering 7054/7054 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 12730 ms. Remains : 3068/4556 places, 7054/8016 transitions.
[2023-03-23 12:44:25] [INFO ] Flatten gal took : 157 ms
[2023-03-23 12:44:25] [INFO ] Flatten gal took : 180 ms
[2023-03-23 12:44:26] [INFO ] Input system was already deterministic with 7054 transitions.
[2023-03-23 12:44:26] [INFO ] Flatten gal took : 178 ms
[2023-03-23 12:44:26] [INFO ] Flatten gal took : 180 ms
[2023-03-23 12:44:26] [INFO ] Time to serialize gal into /tmp/CTLCardinality4458348296464320522.gal : 29 ms
[2023-03-23 12:44:26] [INFO ] Time to serialize properties into /tmp/CTLCardinality16323763901114756383.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4458348296464320522.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16323763901114756383.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-23 12:44:56] [INFO ] Flatten gal took : 170 ms
[2023-03-23 12:44:56] [INFO ] Applying decomposition
[2023-03-23 12:44:56] [INFO ] Flatten gal took : 177 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph15209058986669317536.txt' '-o' '/tmp/graph15209058986669317536.bin' '-w' '/tmp/graph15209058986669317536.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph15209058986669317536.bin' '-l' '-1' '-v' '-w' '/tmp/graph15209058986669317536.weights' '-q' '0' '-e' '0.001'
[2023-03-23 12:44:57] [INFO ] Decomposing Gal with order
[2023-03-23 12:44:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-23 12:44:58] [INFO ] Removed a total of 6593 redundant transitions.
[2023-03-23 12:44:58] [INFO ] Flatten gal took : 793 ms
[2023-03-23 12:44:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 4463 labels/synchronizations in 267 ms.
[2023-03-23 12:44:58] [INFO ] Time to serialize gal into /tmp/CTLCardinality8137883095636184706.gal : 42 ms
[2023-03-23 12:44:58] [INFO ] Time to serialize properties into /tmp/CTLCardinality15007394221623196119.ctl : 97 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality8137883095636184706.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15007394221623196119.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 4556/4556 places, 8016/8016 transitions.
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 4555 transition count 8016
Discarding 81 places :
Symmetric choice reduction at 1 with 81 rule applications. Total rules 82 place count 4474 transition count 7915
Iterating global reduction 1 with 81 rules applied. Total rules applied 163 place count 4474 transition count 7915
Discarding 69 places :
Symmetric choice reduction at 1 with 69 rule applications. Total rules 232 place count 4405 transition count 7788
Iterating global reduction 1 with 69 rules applied. Total rules applied 301 place count 4405 transition count 7788
Discarding 39 places :
Symmetric choice reduction at 1 with 39 rule applications. Total rules 340 place count 4366 transition count 7671
Iterating global reduction 1 with 39 rules applied. Total rules applied 379 place count 4366 transition count 7671
Applied a total of 379 rules in 1207 ms. Remains 4366 /4556 variables (removed 190) and now considering 7671/8016 (removed 345) transitions.
[2023-03-23 12:45:30] [INFO ] Flow matrix only has 7071 transitions (discarded 600 similar events)
// Phase 1: matrix 7071 rows 4366 cols
[2023-03-23 12:45:30] [INFO ] Computed 833 place invariants in 152 ms
[2023-03-23 12:45:33] [INFO ] Implicit Places using invariants in 3217 ms returned []
[2023-03-23 12:45:33] [INFO ] Flow matrix only has 7071 transitions (discarded 600 similar events)
[2023-03-23 12:45:33] [INFO ] Invariant cache hit.
[2023-03-23 12:45:36] [INFO ] Implicit Places using invariants and state equation in 2816 ms returned []
Implicit Place search using SMT with State Equation took 6035 ms to find 0 implicit places.
[2023-03-23 12:45:36] [INFO ] Flow matrix only has 7071 transitions (discarded 600 similar events)
[2023-03-23 12:45:36] [INFO ] Invariant cache hit.
[2023-03-23 12:45:40] [INFO ] Dead Transitions using invariants and state equation in 4009 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 4366/4556 places, 7671/8016 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 11251 ms. Remains : 4366/4556 places, 7671/8016 transitions.
[2023-03-23 12:45:40] [INFO ] Flatten gal took : 187 ms
[2023-03-23 12:45:40] [INFO ] Flatten gal took : 209 ms
[2023-03-23 12:45:40] [INFO ] Input system was already deterministic with 7671 transitions.
[2023-03-23 12:45:41] [INFO ] Flatten gal took : 202 ms
[2023-03-23 12:45:41] [INFO ] Flatten gal took : 205 ms
[2023-03-23 12:45:41] [INFO ] Time to serialize gal into /tmp/CTLCardinality4350619944353288835.gal : 28 ms
[2023-03-23 12:45:41] [INFO ] Time to serialize properties into /tmp/CTLCardinality11200149547827973927.ctl : 33 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4350619944353288835.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11200149547827973927.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-23 12:46:11] [INFO ] Flatten gal took : 211 ms
[2023-03-23 12:46:11] [INFO ] Applying decomposition
[2023-03-23 12:46:11] [INFO ] Flatten gal took : 216 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph3937320445045706472.txt' '-o' '/tmp/graph3937320445045706472.bin' '-w' '/tmp/graph3937320445045706472.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph3937320445045706472.bin' '-l' '-1' '-v' '-w' '/tmp/graph3937320445045706472.weights' '-q' '0' '-e' '0.001'
[2023-03-23 12:46:12] [INFO ] Decomposing Gal with order
[2023-03-23 12:46:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-23 12:46:13] [INFO ] Removed a total of 5701 redundant transitions.
[2023-03-23 12:46:13] [INFO ] Flatten gal took : 542 ms
[2023-03-23 12:46:13] [INFO ] Fuse similar labels procedure discarded/fused a total of 224 labels/synchronizations in 56 ms.
[2023-03-23 12:46:13] [INFO ] Time to serialize gal into /tmp/CTLCardinality18094942456338030854.gal : 41 ms
[2023-03-23 12:46:13] [INFO ] Time to serialize properties into /tmp/CTLCardinality8850727417973473125.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality18094942456338030854.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8850727417973473125.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-23 12:46:43] [INFO ] Flatten gal took : 217 ms
[2023-03-23 12:46:44] [INFO ] Flatten gal took : 232 ms
[2023-03-23 12:46:44] [INFO ] Applying decomposition
[2023-03-23 12:46:44] [INFO ] Flatten gal took : 220 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph115382936978888612.txt' '-o' '/tmp/graph115382936978888612.bin' '-w' '/tmp/graph115382936978888612.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph115382936978888612.bin' '-l' '-1' '-v' '-w' '/tmp/graph115382936978888612.weights' '-q' '0' '-e' '0.001'
[2023-03-23 12:46:44] [INFO ] Decomposing Gal with order
[2023-03-23 12:46:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-23 12:46:45] [INFO ] Removed a total of 7280 redundant transitions.
[2023-03-23 12:46:46] [INFO ] Flatten gal took : 656 ms
[2023-03-23 12:46:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 419 labels/synchronizations in 91 ms.
[2023-03-23 12:46:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality1378001441309388999.gal : 46 ms
[2023-03-23 12:46:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality18054983195066120253.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality1378001441309388999.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality18054983195066120253.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 9 CTL formulae.
Detected timeout of ITS tools.
[2023-03-23 13:12:16] [INFO ] Flatten gal took : 1085 ms
[2023-03-23 13:12:16] [INFO ] Time to serialize gal into /tmp/CTLCardinality1917193418738044539.gal : 96 ms
[2023-03-23 13:12:16] [INFO ] Time to serialize properties into /tmp/CTLCardinality5173894454036527258.ctl : 10 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality1917193418738044539.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5173894454036527258.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 9 CTL formulae.
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 136044 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16018488 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
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-S24C03"
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-5348"
echo " Executing tool itstools"
echo " Input is MultiCrashLeafsetExtension-PT-S24C03, 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 r229-tall-167856413800809"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C03.tgz
mv MultiCrashLeafsetExtension-PT-S24C03 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 ;