About the Execution of ITS-Tools for PolyORBLF-PT-S06J04T08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16223.224 | 3600000.00 | 3038536.00 | 404228.00 | T?F?T?F?????F??? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r168-tall-165277017000697.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is PolyORBLF-PT-S06J04T08, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-tall-165277017000697
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 18M
-rw-r--r-- 1 mcc users 27K Apr 29 14:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 134K Apr 29 14:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 673K Apr 29 14:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 2.6M Apr 29 14:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 10 09:34 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 14K May 9 08:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 47K May 9 08:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 18K May 9 08:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 66K May 9 08:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.7K May 9 08:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.4K May 9 08:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 10 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 14M May 10 09:34 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-00
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-01
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-02
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-03
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-04
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-05
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-06
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-07
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-08
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-09
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-10
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-11
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-12
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-13
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-14
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1652919457208
Running Version 202205111006
[2022-05-19 00:17:38] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-05-19 00:17:38] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-19 00:17:39] [INFO ] Load time of PNML (sax parser for PT used): 766 ms
[2022-05-19 00:17:39] [INFO ] Transformed 810 places.
[2022-05-19 00:17:39] [INFO ] Transformed 14014 transitions.
[2022-05-19 00:17:39] [INFO ] Parsed PT model containing 810 places and 14014 transitions in 999 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 24 ms.
Ensure Unique test removed 10760 transitions
Reduce redundant transitions removed 10760 transitions.
Support contains 587 out of 810 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 810/810 places, 3254/3254 transitions.
Ensure Unique test removed 6 places
Iterating post reduction 0 with 6 rules applied. Total rules applied 6 place count 804 transition count 3254
Applied a total of 6 rules in 120 ms. Remains 804 /810 variables (removed 6) and now considering 3254/3254 (removed 0) transitions.
[2022-05-19 00:17:39] [INFO ] Flow matrix only has 3206 transitions (discarded 48 similar events)
// Phase 1: matrix 3206 rows 804 cols
[2022-05-19 00:17:39] [INFO ] Computed 52 place invariants in 198 ms
[2022-05-19 00:17:42] [INFO ] Dead Transitions using invariants and state equation in 3245 ms found 1224 transitions.
Found 1224 dead transitions using SMT.
Drop transitions removed 1224 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 1224 transitions.
[2022-05-19 00:17:43] [INFO ] Flow matrix only has 1982 transitions (discarded 48 similar events)
// Phase 1: matrix 1982 rows 804 cols
[2022-05-19 00:17:43] [INFO ] Computed 52 place invariants in 55 ms
[2022-05-19 00:17:43] [INFO ] Implicit Places using invariants in 613 ms returned []
[2022-05-19 00:17:43] [INFO ] Flow matrix only has 1982 transitions (discarded 48 similar events)
// Phase 1: matrix 1982 rows 804 cols
[2022-05-19 00:17:43] [INFO ] Computed 52 place invariants in 41 ms
[2022-05-19 00:17:44] [INFO ] State equation strengthened by 224 read => feed constraints.
[2022-05-19 00:17:47] [INFO ] Implicit Places using invariants and state equation in 3498 ms returned []
Implicit Place search using SMT with State Equation took 4139 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 804/810 places, 2030/3254 transitions.
Applied a total of 0 rules in 19 ms. Remains 804 /804 variables (removed 0) and now considering 2030/2030 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 804/810 places, 2030/3254 transitions.
Support contains 587 out of 804 places after structural reductions.
[2022-05-19 00:17:47] [INFO ] Flatten gal took : 219 ms
[2022-05-19 00:17:47] [INFO ] Flatten gal took : 143 ms
[2022-05-19 00:17:48] [INFO ] Input system was already deterministic with 2030 transitions.
Support contains 501 out of 804 places (down from 587) after GAL structural reductions.
Incomplete random walk after 10000 steps, including 49 resets, run finished after 569 ms. (steps per millisecond=17 ) properties (out of 72) seen :30
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1000 steps, including 28 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=50 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=50 ) properties (out of 42) 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 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=50 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 8 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1000 steps, including 28 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 20 ms. (steps per millisecond=50 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 42) 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 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 42) seen :0
Running SMT prover for 42 properties.
[2022-05-19 00:17:49] [INFO ] Flow matrix only has 1982 transitions (discarded 48 similar events)
// Phase 1: matrix 1982 rows 804 cols
[2022-05-19 00:17:49] [INFO ] Computed 52 place invariants in 39 ms
[2022-05-19 00:17:50] [INFO ] [Real]Absence check using 15 positive place invariants in 7 ms returned sat
[2022-05-19 00:17:50] [INFO ] [Real]Absence check using 15 positive and 37 generalized place invariants in 47 ms returned sat
[2022-05-19 00:17:50] [INFO ] After 997ms SMT Verify possible using all constraints in real domain returned unsat :6 sat :0 real:36
[2022-05-19 00:17:51] [INFO ] [Nat]Absence check using 15 positive place invariants in 10 ms returned sat
[2022-05-19 00:17:51] [INFO ] [Nat]Absence check using 15 positive and 37 generalized place invariants in 57 ms returned sat
[2022-05-19 00:18:15] [INFO ] After 24290ms SMT Verify possible using state equation in natural domain returned unsat :39 sat :1
[2022-05-19 00:18:15] [INFO ] State equation strengthened by 224 read => feed constraints.
[2022-05-19 00:18:15] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-19 00:18:15] [INFO ] After 25036ms SMT Verify possible using all constraints in natural domain returned unsat :6 sat :0 real:36
Fused 42 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 4 out of 804 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 804/804 places, 2030/2030 transitions.
Drop transitions removed 56 transitions
Trivial Post-agglo rules discarded 56 transitions
Performed 56 trivial Post agglomeration. Transition count delta: 56
Iterating post reduction 0 with 56 rules applied. Total rules applied 56 place count 804 transition count 1974
Reduce places removed 56 places and 0 transitions.
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Iterating post reduction 1 with 64 rules applied. Total rules applied 120 place count 748 transition count 1966
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 128 place count 740 transition count 1966
Performed 103 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 103 Pre rules applied. Total rules applied 128 place count 740 transition count 1863
Deduced a syphon composed of 103 places in 2 ms
Reduce places removed 103 places and 0 transitions.
Iterating global reduction 3 with 206 rules applied. Total rules applied 334 place count 637 transition count 1863
Performed 72 Post agglomeration using F-continuation condition.Transition count delta: 72
Deduced a syphon composed of 72 places in 3 ms
Reduce places removed 72 places and 0 transitions.
Iterating global reduction 3 with 144 rules applied. Total rules applied 478 place count 565 transition count 1791
Free-agglomeration rule (complex) applied 8 times.
Iterating global reduction 3 with 8 rules applied. Total rules applied 486 place count 565 transition count 1783
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 3 with 8 rules applied. Total rules applied 494 place count 557 transition count 1783
Partial Free-agglomeration rule applied 8 times.
Drop transitions removed 8 transitions
Iterating global reduction 4 with 8 rules applied. Total rules applied 502 place count 557 transition count 1783
Applied a total of 502 rules in 322 ms. Remains 557 /804 variables (removed 247) and now considering 1783/2030 (removed 247) transitions.
[2022-05-19 00:18:15] [INFO ] Flow matrix only has 1735 transitions (discarded 48 similar events)
// Phase 1: matrix 1735 rows 557 cols
[2022-05-19 00:18:15] [INFO ] Computed 52 place invariants in 35 ms
[2022-05-19 00:18:17] [INFO ] Dead Transitions using invariants and state equation in 1231 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 557/804 places, 1783/2030 transitions.
Incomplete random walk after 10000 steps, including 117 resets, run finished after 256 ms. (steps per millisecond=39 ) properties (out of 3) seen :1
Incomplete Best-First random walk after 10001 steps, including 44 resets, run finished after 50 ms. (steps per millisecond=200 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10000 steps, including 32 resets, run finished after 51 ms. (steps per millisecond=196 ) properties (out of 2) seen :0
Running SMT prover for 2 properties.
[2022-05-19 00:18:17] [INFO ] Flow matrix only has 1735 transitions (discarded 48 similar events)
// Phase 1: matrix 1735 rows 557 cols
[2022-05-19 00:18:17] [INFO ] Computed 52 place invariants in 40 ms
[2022-05-19 00:18:17] [INFO ] After 78ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2022-05-19 00:18:17] [INFO ] [Nat]Absence check using 17 positive place invariants in 4 ms returned sat
[2022-05-19 00:18:17] [INFO ] [Nat]Absence check using 17 positive and 35 generalized place invariants in 31 ms returned sat
[2022-05-19 00:18:42] [INFO ] After 25020ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0
Fused 2 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 3 out of 557 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 557/557 places, 1783/1783 transitions.
Applied a total of 0 rules in 49 ms. Remains 557 /557 variables (removed 0) and now considering 1783/1783 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 557/557 places, 1783/1783 transitions.
Incomplete random walk after 10000 steps, including 120 resets, run finished after 116 ms. (steps per millisecond=86 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10000 steps, including 46 resets, run finished after 37 ms. (steps per millisecond=270 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10001 steps, including 37 resets, run finished after 51 ms. (steps per millisecond=196 ) properties (out of 2) seen :0
Interrupted probabilistic random walk after 98072 steps, run timeout after 3004 ms. (steps per millisecond=32 ) properties seen :{}
Probabilistic random walk after 98072 steps, saw 33225 distinct states, run finished after 3006 ms. (steps per millisecond=32 ) properties seen :0
Running SMT prover for 2 properties.
[2022-05-19 00:18:45] [INFO ] Flow matrix only has 1735 transitions (discarded 48 similar events)
// Phase 1: matrix 1735 rows 557 cols
[2022-05-19 00:18:46] [INFO ] Computed 52 place invariants in 33 ms
[2022-05-19 00:18:46] [INFO ] After 85ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2022-05-19 00:18:46] [INFO ] [Nat]Absence check using 17 positive place invariants in 5 ms returned sat
[2022-05-19 00:18:46] [INFO ] [Nat]Absence check using 17 positive and 35 generalized place invariants in 33 ms returned sat
[2022-05-19 00:19:11] [INFO ] After 25016ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0
Fused 2 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 3 out of 557 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 557/557 places, 1783/1783 transitions.
Applied a total of 0 rules in 45 ms. Remains 557 /557 variables (removed 0) and now considering 1783/1783 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 557/557 places, 1783/1783 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 557/557 places, 1783/1783 transitions.
Applied a total of 0 rules in 37 ms. Remains 557 /557 variables (removed 0) and now considering 1783/1783 (removed 0) transitions.
[2022-05-19 00:19:11] [INFO ] Flow matrix only has 1735 transitions (discarded 48 similar events)
// Phase 1: matrix 1735 rows 557 cols
[2022-05-19 00:19:11] [INFO ] Computed 52 place invariants in 42 ms
[2022-05-19 00:19:12] [INFO ] Implicit Places using invariants in 996 ms returned [36, 53, 158, 200, 234, 347, 355, 548]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 1003 ms to find 8 implicit places.
Starting structural reductions in SAFETY mode, iteration 1 : 549/557 places, 1783/1783 transitions.
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 4 place count 545 transition count 1779
Iterating global reduction 0 with 4 rules applied. Total rules applied 8 place count 545 transition count 1779
Applied a total of 8 rules in 59 ms. Remains 545 /549 variables (removed 4) and now considering 1779/1783 (removed 4) transitions.
[2022-05-19 00:19:12] [INFO ] Flow matrix only has 1731 transitions (discarded 48 similar events)
// Phase 1: matrix 1731 rows 545 cols
[2022-05-19 00:19:12] [INFO ] Computed 44 place invariants in 26 ms
[2022-05-19 00:19:12] [INFO ] Implicit Places using invariants in 686 ms returned []
[2022-05-19 00:19:12] [INFO ] Flow matrix only has 1731 transitions (discarded 48 similar events)
// Phase 1: matrix 1731 rows 545 cols
[2022-05-19 00:19:13] [INFO ] Computed 44 place invariants in 30 ms
[2022-05-19 00:19:13] [INFO ] State equation strengthened by 224 read => feed constraints.
[2022-05-19 00:19:26] [INFO ] Implicit Places using invariants and state equation in 13583 ms returned []
Implicit Place search using SMT with State Equation took 14289 ms to find 0 implicit places.
Starting structural reductions in SAFETY mode, iteration 2 : 545/557 places, 1779/1783 transitions.
Finished structural reductions, in 2 iterations. Remains : 545/557 places, 1779/1783 transitions.
Incomplete random walk after 10000 steps, including 119 resets, run finished after 144 ms. (steps per millisecond=69 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10001 steps, including 51 resets, run finished after 64 ms. (steps per millisecond=156 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10000 steps, including 34 resets, run finished after 51 ms. (steps per millisecond=196 ) properties (out of 2) seen :0
Interrupted probabilistic random walk after 97394 steps, run timeout after 3001 ms. (steps per millisecond=32 ) properties seen :{}
Probabilistic random walk after 97394 steps, saw 41095 distinct states, run finished after 3001 ms. (steps per millisecond=32 ) properties seen :0
Running SMT prover for 2 properties.
[2022-05-19 00:19:29] [INFO ] Flow matrix only has 1731 transitions (discarded 48 similar events)
// Phase 1: matrix 1731 rows 545 cols
[2022-05-19 00:19:29] [INFO ] Computed 44 place invariants in 29 ms
[2022-05-19 00:19:29] [INFO ] After 92ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2022-05-19 00:19:30] [INFO ] [Nat]Absence check using 15 positive place invariants in 4 ms returned sat
[2022-05-19 00:19:30] [INFO ] [Nat]Absence check using 15 positive and 29 generalized place invariants in 32 ms returned sat
[2022-05-19 00:19:53] [INFO ] After 23384ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
[2022-05-19 00:19:53] [INFO ] State equation strengthened by 224 read => feed constraints.
[2022-05-19 00:19:54] [INFO ] After 1478ms SMT Verify possible using 224 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-05-19 00:19:54] [INFO ] After 1479ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 2 ms.
[2022-05-19 00:19:54] [INFO ] After 25032ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 15 ms.
Support contains 3 out of 545 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 545/545 places, 1779/1779 transitions.
Applied a total of 0 rules in 35 ms. Remains 545 /545 variables (removed 0) and now considering 1779/1779 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 545/545 places, 1779/1779 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 545/545 places, 1779/1779 transitions.
Applied a total of 0 rules in 34 ms. Remains 545 /545 variables (removed 0) and now considering 1779/1779 (removed 0) transitions.
[2022-05-19 00:19:55] [INFO ] Flow matrix only has 1731 transitions (discarded 48 similar events)
// Phase 1: matrix 1731 rows 545 cols
[2022-05-19 00:19:55] [INFO ] Computed 44 place invariants in 34 ms
[2022-05-19 00:19:55] [INFO ] Implicit Places using invariants in 688 ms returned []
[2022-05-19 00:19:55] [INFO ] Flow matrix only has 1731 transitions (discarded 48 similar events)
// Phase 1: matrix 1731 rows 545 cols
[2022-05-19 00:19:55] [INFO ] Computed 44 place invariants in 29 ms
[2022-05-19 00:19:56] [INFO ] State equation strengthened by 224 read => feed constraints.
[2022-05-19 00:20:06] [INFO ] Implicit Places using invariants and state equation in 11019 ms returned []
Implicit Place search using SMT with State Equation took 11709 ms to find 0 implicit places.
[2022-05-19 00:20:06] [INFO ] Redundant transitions in 116 ms returned []
[2022-05-19 00:20:06] [INFO ] Flow matrix only has 1731 transitions (discarded 48 similar events)
// Phase 1: matrix 1731 rows 545 cols
[2022-05-19 00:20:06] [INFO ] Computed 44 place invariants in 38 ms
[2022-05-19 00:20:08] [INFO ] Dead Transitions using invariants and state equation in 1203 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 545/545 places, 1779/1779 transitions.
Successfully simplified 39 atomic propositions for a total of 16 simplifications.
FORMULA PolyORBLF-PT-S06J04T08-CTLCardinality-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA PolyORBLF-PT-S06J04T08-CTLCardinality-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA PolyORBLF-PT-S06J04T08-CTLCardinality-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2022-05-19 00:20:08] [INFO ] Flatten gal took : 95 ms
[2022-05-19 00:20:08] [INFO ] Flatten gal took : 102 ms
[2022-05-19 00:20:08] [INFO ] Input system was already deterministic with 2030 transitions.
Support contains 184 out of 804 places (down from 311) after GAL structural reductions.
FORMULA PolyORBLF-PT-S06J04T08-CTLCardinality-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 804/804 places, 2030/2030 transitions.
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 8 place count 796 transition count 2022
Iterating global reduction 0 with 8 rules applied. Total rules applied 16 place count 796 transition count 2022
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 24 place count 788 transition count 2014
Iterating global reduction 0 with 8 rules applied. Total rules applied 32 place count 788 transition count 2014
Applied a total of 32 rules in 44 ms. Remains 788 /804 variables (removed 16) and now considering 2014/2030 (removed 16) transitions.
[2022-05-19 00:20:08] [INFO ] Flow matrix only has 1966 transitions (discarded 48 similar events)
// Phase 1: matrix 1966 rows 788 cols
[2022-05-19 00:20:08] [INFO ] Computed 52 place invariants in 55 ms
[2022-05-19 00:20:10] [INFO ] Dead Transitions using invariants and state equation in 2128 ms found 0 transitions.
[2022-05-19 00:20:10] [INFO ] Flow matrix only has 1966 transitions (discarded 48 similar events)
// Phase 1: matrix 1966 rows 788 cols
[2022-05-19 00:20:10] [INFO ] Computed 52 place invariants in 45 ms
[2022-05-19 00:20:11] [INFO ] Implicit Places using invariants in 837 ms returned [49, 73, 223, 282, 331, 488, 498, 773]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 843 ms to find 8 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 780/804 places, 2014/2030 transitions.
Applied a total of 0 rules in 15 ms. Remains 780 /780 variables (removed 0) and now considering 2014/2014 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 780/804 places, 2014/2030 transitions.
[2022-05-19 00:20:11] [INFO ] Flatten gal took : 95 ms
[2022-05-19 00:20:11] [INFO ] Flatten gal took : 117 ms
[2022-05-19 00:20:12] [INFO ] Input system was already deterministic with 2014 transitions.
[2022-05-19 00:20:12] [INFO ] Flatten gal took : 108 ms
[2022-05-19 00:20:12] [INFO ] Flatten gal took : 106 ms
[2022-05-19 00:20:12] [INFO ] Time to serialize gal into /tmp/CTLCardinality899452232192094935.gal : 44 ms
[2022-05-19 00:20:12] [INFO ] Time to serialize properties into /tmp/CTLCardinality6966090442340636998.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality899452232192094935.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6966090442340636998.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...273
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-19 00:20:42] [INFO ] Flatten gal took : 105 ms
[2022-05-19 00:20:42] [INFO ] Applying decomposition
[2022-05-19 00:20:42] [INFO ] Flatten gal took : 77 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph4029128445699076761.txt' '-o' '/tmp/graph4029128445699076761.bin' '-w' '/tmp/graph4029128445699076761.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph4029128445699076761.bin' '-l' '-1' '-v' '-w' '/tmp/graph4029128445699076761.weights' '-q' '0' '-e' '0.001'
[2022-05-19 00:20:42] [INFO ] Decomposing Gal with order
[2022-05-19 00:20:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 00:20:43] [INFO ] Removed a total of 1459 redundant transitions.
[2022-05-19 00:20:43] [INFO ] Flatten gal took : 445 ms
[2022-05-19 00:20:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 224 labels/synchronizations in 53 ms.
[2022-05-19 00:20:43] [INFO ] Time to serialize gal into /tmp/CTLCardinality11677754455782159255.gal : 29 ms
[2022-05-19 00:20:43] [INFO ] Time to serialize properties into /tmp/CTLCardinality3405554358998306961.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality11677754455782159255.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3405554358998306961.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 804/804 places, 2030/2030 transitions.
Drop transitions removed 72 transitions
Trivial Post-agglo rules discarded 72 transitions
Performed 72 trivial Post agglomeration. Transition count delta: 72
Iterating post reduction 0 with 72 rules applied. Total rules applied 72 place count 804 transition count 1958
Reduce places removed 72 places and 0 transitions.
Iterating post reduction 1 with 72 rules applied. Total rules applied 144 place count 732 transition count 1958
Performed 96 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 96 Pre rules applied. Total rules applied 144 place count 732 transition count 1862
Deduced a syphon composed of 96 places in 1 ms
Reduce places removed 96 places and 0 transitions.
Iterating global reduction 2 with 192 rules applied. Total rules applied 336 place count 636 transition count 1862
Performed 96 Post agglomeration using F-continuation condition.Transition count delta: 96
Deduced a syphon composed of 96 places in 0 ms
Reduce places removed 96 places and 0 transitions.
Iterating global reduction 2 with 192 rules applied. Total rules applied 528 place count 540 transition count 1766
Applied a total of 528 rules in 187 ms. Remains 540 /804 variables (removed 264) and now considering 1766/2030 (removed 264) transitions.
[2022-05-19 00:21:13] [INFO ] Flow matrix only has 1718 transitions (discarded 48 similar events)
// Phase 1: matrix 1718 rows 540 cols
[2022-05-19 00:21:14] [INFO ] Computed 52 place invariants in 27 ms
[2022-05-19 00:21:15] [INFO ] Dead Transitions using invariants and state equation in 1618 ms found 0 transitions.
[2022-05-19 00:21:15] [INFO ] Flow matrix only has 1718 transitions (discarded 48 similar events)
// Phase 1: matrix 1718 rows 540 cols
[2022-05-19 00:21:15] [INFO ] Computed 52 place invariants in 26 ms
[2022-05-19 00:21:16] [INFO ] Implicit Places using invariants in 691 ms returned [35, 51, 153, 195, 228, 338, 345, 531]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 702 ms to find 8 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 532/804 places, 1766/2030 transitions.
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 4 place count 528 transition count 1762
Iterating global reduction 0 with 4 rules applied. Total rules applied 8 place count 528 transition count 1762
Applied a total of 8 rules in 47 ms. Remains 528 /532 variables (removed 4) and now considering 1762/1766 (removed 4) transitions.
[2022-05-19 00:21:16] [INFO ] Flow matrix only has 1714 transitions (discarded 48 similar events)
// Phase 1: matrix 1714 rows 528 cols
[2022-05-19 00:21:16] [INFO ] Computed 44 place invariants in 27 ms
[2022-05-19 00:21:16] [INFO ] Implicit Places using invariants in 636 ms returned []
[2022-05-19 00:21:16] [INFO ] Flow matrix only has 1714 transitions (discarded 48 similar events)
// Phase 1: matrix 1714 rows 528 cols
[2022-05-19 00:21:17] [INFO ] Computed 44 place invariants in 31 ms
[2022-05-19 00:21:17] [INFO ] State equation strengthened by 224 read => feed constraints.
[2022-05-19 00:21:23] [INFO ] Implicit Places using invariants and state equation in 6867 ms returned []
Implicit Place search using SMT with State Equation took 7507 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 528/804 places, 1762/2030 transitions.
Finished structural reductions, in 2 iterations. Remains : 528/804 places, 1762/2030 transitions.
[2022-05-19 00:21:23] [INFO ] Flatten gal took : 80 ms
[2022-05-19 00:21:24] [INFO ] Flatten gal took : 74 ms
[2022-05-19 00:21:24] [INFO ] Input system was already deterministic with 1762 transitions.
[2022-05-19 00:21:24] [INFO ] Flatten gal took : 75 ms
[2022-05-19 00:21:24] [INFO ] Flatten gal took : 98 ms
[2022-05-19 00:21:24] [INFO ] Time to serialize gal into /tmp/CTLCardinality8677247360665150369.gal : 8 ms
[2022-05-19 00:21:24] [INFO ] Time to serialize properties into /tmp/CTLCardinality17081246409936542885.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality8677247360665150369.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17081246409936542885.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-19 00:21:54] [INFO ] Flatten gal took : 75 ms
[2022-05-19 00:21:54] [INFO ] Applying decomposition
[2022-05-19 00:21:54] [INFO ] Flatten gal took : 75 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph11461611607633786508.txt' '-o' '/tmp/graph11461611607633786508.bin' '-w' '/tmp/graph11461611607633786508.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph11461611607633786508.bin' '-l' '-1' '-v' '-w' '/tmp/graph11461611607633786508.weights' '-q' '0' '-e' '0.001'
[2022-05-19 00:21:54] [INFO ] Decomposing Gal with order
[2022-05-19 00:21:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 00:21:55] [INFO ] Removed a total of 1058 redundant transitions.
[2022-05-19 00:21:55] [INFO ] Flatten gal took : 223 ms
[2022-05-19 00:21:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 403 labels/synchronizations in 30 ms.
[2022-05-19 00:21:55] [INFO ] Time to serialize gal into /tmp/CTLCardinality110801607780018594.gal : 11 ms
[2022-05-19 00:21:56] [INFO ] Time to serialize properties into /tmp/CTLCardinality15409012913261292064.ctl : 1116 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality110801607780018594.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15409012913261292064.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 804/804 places, 2030/2030 transitions.
Drop transitions removed 64 transitions
Trivial Post-agglo rules discarded 64 transitions
Performed 64 trivial Post agglomeration. Transition count delta: 64
Iterating post reduction 0 with 64 rules applied. Total rules applied 64 place count 804 transition count 1966
Reduce places removed 64 places and 0 transitions.
Iterating post reduction 1 with 64 rules applied. Total rules applied 128 place count 740 transition count 1966
Performed 96 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 96 Pre rules applied. Total rules applied 128 place count 740 transition count 1870
Deduced a syphon composed of 96 places in 2 ms
Reduce places removed 96 places and 0 transitions.
Iterating global reduction 2 with 192 rules applied. Total rules applied 320 place count 644 transition count 1870
Performed 88 Post agglomeration using F-continuation condition.Transition count delta: 88
Deduced a syphon composed of 88 places in 1 ms
Reduce places removed 88 places and 0 transitions.
Iterating global reduction 2 with 176 rules applied. Total rules applied 496 place count 556 transition count 1782
Applied a total of 496 rules in 121 ms. Remains 556 /804 variables (removed 248) and now considering 1782/2030 (removed 248) transitions.
[2022-05-19 00:22:26] [INFO ] Flow matrix only has 1734 transitions (discarded 48 similar events)
// Phase 1: matrix 1734 rows 556 cols
[2022-05-19 00:22:26] [INFO ] Computed 52 place invariants in 30 ms
[2022-05-19 00:22:27] [INFO ] Dead Transitions using invariants and state equation in 1271 ms found 0 transitions.
[2022-05-19 00:22:27] [INFO ] Flow matrix only has 1734 transitions (discarded 48 similar events)
// Phase 1: matrix 1734 rows 556 cols
[2022-05-19 00:22:27] [INFO ] Computed 52 place invariants in 34 ms
[2022-05-19 00:22:28] [INFO ] Implicit Places using invariants in 669 ms returned [37, 54, 159, 202, 236, 348, 355, 547]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 672 ms to find 8 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 548/804 places, 1782/2030 transitions.
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 4 place count 544 transition count 1778
Iterating global reduction 0 with 4 rules applied. Total rules applied 8 place count 544 transition count 1778
Applied a total of 8 rules in 45 ms. Remains 544 /548 variables (removed 4) and now considering 1778/1782 (removed 4) transitions.
[2022-05-19 00:22:28] [INFO ] Flow matrix only has 1730 transitions (discarded 48 similar events)
// Phase 1: matrix 1730 rows 544 cols
[2022-05-19 00:22:28] [INFO ] Computed 44 place invariants in 31 ms
[2022-05-19 00:22:29] [INFO ] Implicit Places using invariants in 665 ms returned []
[2022-05-19 00:22:29] [INFO ] Flow matrix only has 1730 transitions (discarded 48 similar events)
// Phase 1: matrix 1730 rows 544 cols
[2022-05-19 00:22:29] [INFO ] Computed 44 place invariants in 25 ms
[2022-05-19 00:22:29] [INFO ] State equation strengthened by 224 read => feed constraints.
[2022-05-19 00:22:35] [INFO ] Implicit Places using invariants and state equation in 5718 ms returned []
Implicit Place search using SMT with State Equation took 6403 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 544/804 places, 1778/2030 transitions.
Finished structural reductions, in 2 iterations. Remains : 544/804 places, 1778/2030 transitions.
[2022-05-19 00:22:35] [INFO ] Flatten gal took : 82 ms
[2022-05-19 00:22:35] [INFO ] Flatten gal took : 76 ms
[2022-05-19 00:22:35] [INFO ] Input system was already deterministic with 1778 transitions.
Finished random walk after 40 steps, including 0 resets, run visited all 1 properties in 1 ms. (steps per millisecond=40 )
FORMULA PolyORBLF-PT-S06J04T08-CTLCardinality-04 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Starting structural reductions in SI_CTL mode, iteration 0 : 804/804 places, 2030/2030 transitions.
Drop transitions removed 40 transitions
Trivial Post-agglo rules discarded 40 transitions
Performed 40 trivial Post agglomeration. Transition count delta: 40
Iterating post reduction 0 with 40 rules applied. Total rules applied 40 place count 804 transition count 1990
Reduce places removed 40 places and 0 transitions.
Performed 16 Post agglomeration using F-continuation condition.Transition count delta: 16
Iterating post reduction 1 with 56 rules applied. Total rules applied 96 place count 764 transition count 1974
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 2 with 16 rules applied. Total rules applied 112 place count 748 transition count 1974
Performed 88 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 88 Pre rules applied. Total rules applied 112 place count 748 transition count 1886
Deduced a syphon composed of 88 places in 1 ms
Reduce places removed 88 places and 0 transitions.
Iterating global reduction 3 with 176 rules applied. Total rules applied 288 place count 660 transition count 1886
Performed 72 Post agglomeration using F-continuation condition.Transition count delta: 72
Deduced a syphon composed of 72 places in 1 ms
Reduce places removed 72 places and 0 transitions.
Iterating global reduction 3 with 144 rules applied. Total rules applied 432 place count 588 transition count 1814
Applied a total of 432 rules in 106 ms. Remains 588 /804 variables (removed 216) and now considering 1814/2030 (removed 216) transitions.
[2022-05-19 00:22:35] [INFO ] Flow matrix only has 1766 transitions (discarded 48 similar events)
// Phase 1: matrix 1766 rows 588 cols
[2022-05-19 00:22:35] [INFO ] Computed 52 place invariants in 38 ms
[2022-05-19 00:22:36] [INFO ] Dead Transitions using invariants and state equation in 1219 ms found 0 transitions.
[2022-05-19 00:22:36] [INFO ] Flow matrix only has 1766 transitions (discarded 48 similar events)
// Phase 1: matrix 1766 rows 588 cols
[2022-05-19 00:22:36] [INFO ] Computed 52 place invariants in 49 ms
[2022-05-19 00:22:37] [INFO ] Implicit Places using invariants in 690 ms returned [36, 55, 165, 214, 250, 367, 375, 579]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 701 ms to find 8 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 580/804 places, 1814/2030 transitions.
Applied a total of 0 rules in 32 ms. Remains 580 /580 variables (removed 0) and now considering 1814/1814 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 580/804 places, 1814/2030 transitions.
[2022-05-19 00:22:37] [INFO ] Flatten gal took : 89 ms
[2022-05-19 00:22:37] [INFO ] Flatten gal took : 76 ms
[2022-05-19 00:22:37] [INFO ] Input system was already deterministic with 1814 transitions.
[2022-05-19 00:22:38] [INFO ] Flatten gal took : 165 ms
[2022-05-19 00:22:38] [INFO ] Flatten gal took : 72 ms
[2022-05-19 00:22:38] [INFO ] Time to serialize gal into /tmp/CTLCardinality11655798992201367148.gal : 7 ms
[2022-05-19 00:22:38] [INFO ] Time to serialize properties into /tmp/CTLCardinality16991789517192975615.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality11655798992201367148.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16991789517192975615.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-19 00:23:08] [INFO ] Flatten gal took : 79 ms
[2022-05-19 00:23:08] [INFO ] Applying decomposition
[2022-05-19 00:23:08] [INFO ] Flatten gal took : 108 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph12242605837192409693.txt' '-o' '/tmp/graph12242605837192409693.bin' '-w' '/tmp/graph12242605837192409693.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph12242605837192409693.bin' '-l' '-1' '-v' '-w' '/tmp/graph12242605837192409693.weights' '-q' '0' '-e' '0.001'
[2022-05-19 00:23:08] [INFO ] Decomposing Gal with order
[2022-05-19 00:23:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 00:23:08] [INFO ] Removed a total of 1646 redundant transitions.
[2022-05-19 00:23:08] [INFO ] Flatten gal took : 264 ms
[2022-05-19 00:23:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 970 labels/synchronizations in 57 ms.
[2022-05-19 00:23:09] [INFO ] Time to serialize gal into /tmp/CTLCardinality12319387425186565602.gal : 11 ms
[2022-05-19 00:23:09] [INFO ] Time to serialize properties into /tmp/CTLCardinality12338959756985603093.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12319387425186565602.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12338959756985603093.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 804/804 places, 2030/2030 transitions.
Drop transitions removed 64 transitions
Trivial Post-agglo rules discarded 64 transitions
Performed 64 trivial Post agglomeration. Transition count delta: 64
Iterating post reduction 0 with 64 rules applied. Total rules applied 64 place count 804 transition count 1966
Reduce places removed 64 places and 0 transitions.
Iterating post reduction 1 with 64 rules applied. Total rules applied 128 place count 740 transition count 1966
Performed 96 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 96 Pre rules applied. Total rules applied 128 place count 740 transition count 1870
Deduced a syphon composed of 96 places in 2 ms
Reduce places removed 96 places and 0 transitions.
Iterating global reduction 2 with 192 rules applied. Total rules applied 320 place count 644 transition count 1870
Performed 96 Post agglomeration using F-continuation condition.Transition count delta: 96
Deduced a syphon composed of 96 places in 1 ms
Reduce places removed 96 places and 0 transitions.
Iterating global reduction 2 with 192 rules applied. Total rules applied 512 place count 548 transition count 1774
Applied a total of 512 rules in 98 ms. Remains 548 /804 variables (removed 256) and now considering 1774/2030 (removed 256) transitions.
[2022-05-19 00:23:39] [INFO ] Flow matrix only has 1726 transitions (discarded 48 similar events)
// Phase 1: matrix 1726 rows 548 cols
[2022-05-19 00:23:39] [INFO ] Computed 52 place invariants in 29 ms
[2022-05-19 00:23:40] [INFO ] Dead Transitions using invariants and state equation in 1176 ms found 0 transitions.
[2022-05-19 00:23:40] [INFO ] Flow matrix only has 1726 transitions (discarded 48 similar events)
// Phase 1: matrix 1726 rows 548 cols
[2022-05-19 00:23:40] [INFO ] Computed 52 place invariants in 24 ms
[2022-05-19 00:23:41] [INFO ] Implicit Places using invariants in 671 ms returned [37, 53, 156, 198, 232, 343, 350, 539]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 675 ms to find 8 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 540/804 places, 1774/2030 transitions.
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 4 place count 536 transition count 1770
Iterating global reduction 0 with 4 rules applied. Total rules applied 8 place count 536 transition count 1770
Applied a total of 8 rules in 42 ms. Remains 536 /540 variables (removed 4) and now considering 1770/1774 (removed 4) transitions.
[2022-05-19 00:23:41] [INFO ] Flow matrix only has 1722 transitions (discarded 48 similar events)
// Phase 1: matrix 1722 rows 536 cols
[2022-05-19 00:23:41] [INFO ] Computed 44 place invariants in 31 ms
[2022-05-19 00:23:42] [INFO ] Implicit Places using invariants in 707 ms returned []
[2022-05-19 00:23:42] [INFO ] Flow matrix only has 1722 transitions (discarded 48 similar events)
// Phase 1: matrix 1722 rows 536 cols
[2022-05-19 00:23:42] [INFO ] Computed 44 place invariants in 32 ms
[2022-05-19 00:23:43] [INFO ] State equation strengthened by 224 read => feed constraints.
[2022-05-19 00:26:22] [INFO ] Performed 0/536 implicitness test of which 0 returned IMPLICIT in 158 seconds.
[2022-05-19 00:26:22] [INFO ] Timeout of Implicit test with SMT after 158 seconds.
[2022-05-19 00:26:22] [INFO ] Implicit Places using invariants and state equation in 160058 ms returned []
Implicit Place search using SMT with State Equation took 160778 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 536/804 places, 1770/2030 transitions.
Finished structural reductions, in 2 iterations. Remains : 536/804 places, 1770/2030 transitions.
[2022-05-19 00:26:22] [INFO ] Flatten gal took : 75 ms
[2022-05-19 00:26:22] [INFO ] Flatten gal took : 76 ms
[2022-05-19 00:26:22] [INFO ] Input system was already deterministic with 1770 transitions.
[2022-05-19 00:26:22] [INFO ] Flatten gal took : 73 ms
[2022-05-19 00:26:22] [INFO ] Flatten gal took : 91 ms
[2022-05-19 00:26:22] [INFO ] Time to serialize gal into /tmp/CTLCardinality12051295579177916836.gal : 6 ms
[2022-05-19 00:26:22] [INFO ] Time to serialize properties into /tmp/CTLCardinality3368359621464160740.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12051295579177916836.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3368359621464160740.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-19 00:26:52] [INFO ] Flatten gal took : 73 ms
[2022-05-19 00:26:52] [INFO ] Applying decomposition
[2022-05-19 00:26:52] [INFO ] Flatten gal took : 72 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph14000296492702780618.txt' '-o' '/tmp/graph14000296492702780618.bin' '-w' '/tmp/graph14000296492702780618.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph14000296492702780618.bin' '-l' '-1' '-v' '-w' '/tmp/graph14000296492702780618.weights' '-q' '0' '-e' '0.001'
[2022-05-19 00:26:53] [INFO ] Decomposing Gal with order
[2022-05-19 00:26:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 00:26:53] [INFO ] Removed a total of 876 redundant transitions.
[2022-05-19 00:26:53] [INFO ] Flatten gal took : 230 ms
[2022-05-19 00:26:53] [INFO ] Fuse similar labels procedure discarded/fused a total of 182 labels/synchronizations in 11 ms.
[2022-05-19 00:26:53] [INFO ] Time to serialize gal into /tmp/CTLCardinality12713203116896930195.gal : 22 ms
[2022-05-19 00:26:53] [INFO ] Time to serialize properties into /tmp/CTLCardinality8383292593784479013.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12713203116896930195.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8383292593784479013.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 804/804 places, 2030/2030 transitions.
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 8 place count 796 transition count 2022
Iterating global reduction 0 with 8 rules applied. Total rules applied 16 place count 796 transition count 2022
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 24 place count 788 transition count 2014
Iterating global reduction 0 with 8 rules applied. Total rules applied 32 place count 788 transition count 2014
Applied a total of 32 rules in 51 ms. Remains 788 /804 variables (removed 16) and now considering 2014/2030 (removed 16) transitions.
[2022-05-19 00:27:23] [INFO ] Flow matrix only has 1966 transitions (discarded 48 similar events)
// Phase 1: matrix 1966 rows 788 cols
[2022-05-19 00:27:23] [INFO ] Computed 52 place invariants in 44 ms
[2022-05-19 00:27:25] [INFO ] Dead Transitions using invariants and state equation in 2144 ms found 0 transitions.
[2022-05-19 00:27:25] [INFO ] Flow matrix only has 1966 transitions (discarded 48 similar events)
// Phase 1: matrix 1966 rows 788 cols
[2022-05-19 00:27:25] [INFO ] Computed 52 place invariants in 78 ms
[2022-05-19 00:27:26] [INFO ] Implicit Places using invariants in 828 ms returned [49, 73, 223, 282, 331, 488, 498, 773]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 861 ms to find 8 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 780/804 places, 2014/2030 transitions.
Applied a total of 0 rules in 13 ms. Remains 780 /780 variables (removed 0) and now considering 2014/2014 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 780/804 places, 2014/2030 transitions.
[2022-05-19 00:27:26] [INFO ] Flatten gal took : 85 ms
[2022-05-19 00:27:26] [INFO ] Flatten gal took : 85 ms
[2022-05-19 00:27:26] [INFO ] Input system was already deterministic with 2014 transitions.
[2022-05-19 00:27:27] [INFO ] Flatten gal took : 75 ms
[2022-05-19 00:27:27] [INFO ] Flatten gal took : 75 ms
[2022-05-19 00:27:27] [INFO ] Time to serialize gal into /tmp/CTLCardinality17703557537112627058.gal : 7 ms
[2022-05-19 00:27:27] [INFO ] Time to serialize properties into /tmp/CTLCardinality11103132020463388664.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality17703557537112627058.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11103132020463388664.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-19 00:27:57] [INFO ] Flatten gal took : 78 ms
[2022-05-19 00:27:57] [INFO ] Applying decomposition
[2022-05-19 00:27:57] [INFO ] Flatten gal took : 78 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph8795395981136910393.txt' '-o' '/tmp/graph8795395981136910393.bin' '-w' '/tmp/graph8795395981136910393.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph8795395981136910393.bin' '-l' '-1' '-v' '-w' '/tmp/graph8795395981136910393.weights' '-q' '0' '-e' '0.001'
[2022-05-19 00:27:57] [INFO ] Decomposing Gal with order
[2022-05-19 00:27:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 00:27:57] [INFO ] Removed a total of 1242 redundant transitions.
[2022-05-19 00:27:57] [INFO ] Flatten gal took : 183 ms
[2022-05-19 00:27:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 232 labels/synchronizations in 70 ms.
[2022-05-19 00:27:58] [INFO ] Time to serialize gal into /tmp/CTLCardinality4546295183335970664.gal : 10 ms
[2022-05-19 00:27:58] [INFO ] Time to serialize properties into /tmp/CTLCardinality15352559324968445453.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4546295183335970664.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15352559324968445453.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 804/804 places, 2030/2030 transitions.
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 7 place count 797 transition count 2023
Iterating global reduction 0 with 7 rules applied. Total rules applied 14 place count 797 transition count 2023
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 21 place count 790 transition count 2016
Iterating global reduction 0 with 7 rules applied. Total rules applied 28 place count 790 transition count 2016
Applied a total of 28 rules in 49 ms. Remains 790 /804 variables (removed 14) and now considering 2016/2030 (removed 14) transitions.
[2022-05-19 00:28:28] [INFO ] Flow matrix only has 1968 transitions (discarded 48 similar events)
// Phase 1: matrix 1968 rows 790 cols
[2022-05-19 00:28:28] [INFO ] Computed 52 place invariants in 48 ms
[2022-05-19 00:28:30] [INFO ] Dead Transitions using invariants and state equation in 2178 ms found 0 transitions.
[2022-05-19 00:28:30] [INFO ] Flow matrix only has 1968 transitions (discarded 48 similar events)
// Phase 1: matrix 1968 rows 790 cols
[2022-05-19 00:28:30] [INFO ] Computed 52 place invariants in 42 ms
[2022-05-19 00:28:31] [INFO ] Implicit Places using invariants in 799 ms returned [49, 73, 223, 282, 331, 489, 499, 775]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 815 ms to find 8 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 782/804 places, 2016/2030 transitions.
Applied a total of 0 rules in 11 ms. Remains 782 /782 variables (removed 0) and now considering 2016/2016 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 782/804 places, 2016/2030 transitions.
[2022-05-19 00:28:31] [INFO ] Flatten gal took : 74 ms
[2022-05-19 00:28:31] [INFO ] Flatten gal took : 89 ms
[2022-05-19 00:28:31] [INFO ] Input system was already deterministic with 2016 transitions.
[2022-05-19 00:28:31] [INFO ] Flatten gal took : 77 ms
[2022-05-19 00:28:31] [INFO ] Flatten gal took : 77 ms
[2022-05-19 00:28:31] [INFO ] Time to serialize gal into /tmp/CTLCardinality4739418748826105723.gal : 14 ms
[2022-05-19 00:28:31] [INFO ] Time to serialize properties into /tmp/CTLCardinality11861081996247938131.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4739418748826105723.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11861081996247938131.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-19 00:29:02] [INFO ] Flatten gal took : 131 ms
[2022-05-19 00:29:02] [INFO ] Applying decomposition
[2022-05-19 00:29:02] [INFO ] Flatten gal took : 78 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph1844657044102281261.txt' '-o' '/tmp/graph1844657044102281261.bin' '-w' '/tmp/graph1844657044102281261.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph1844657044102281261.bin' '-l' '-1' '-v' '-w' '/tmp/graph1844657044102281261.weights' '-q' '0' '-e' '0.001'
[2022-05-19 00:29:02] [INFO ] Decomposing Gal with order
[2022-05-19 00:29:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 00:29:02] [INFO ] Removed a total of 1249 redundant transitions.
[2022-05-19 00:29:02] [INFO ] Flatten gal took : 228 ms
[2022-05-19 00:29:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 252 labels/synchronizations in 23 ms.
[2022-05-19 00:29:03] [INFO ] Time to serialize gal into /tmp/CTLCardinality8958813584007979011.gal : 26 ms
[2022-05-19 00:29:03] [INFO ] Time to serialize properties into /tmp/CTLCardinality8584221607012975762.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality8958813584007979011.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8584221607012975762.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 804/804 places, 2030/2030 transitions.
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 8 place count 796 transition count 2022
Iterating global reduction 0 with 8 rules applied. Total rules applied 16 place count 796 transition count 2022
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 24 place count 788 transition count 2014
Iterating global reduction 0 with 8 rules applied. Total rules applied 32 place count 788 transition count 2014
Applied a total of 32 rules in 42 ms. Remains 788 /804 variables (removed 16) and now considering 2014/2030 (removed 16) transitions.
[2022-05-19 00:29:33] [INFO ] Flow matrix only has 1966 transitions (discarded 48 similar events)
// Phase 1: matrix 1966 rows 788 cols
[2022-05-19 00:29:33] [INFO ] Computed 52 place invariants in 40 ms
[2022-05-19 00:29:35] [INFO ] Dead Transitions using invariants and state equation in 2175 ms found 0 transitions.
[2022-05-19 00:29:35] [INFO ] Flow matrix only has 1966 transitions (discarded 48 similar events)
// Phase 1: matrix 1966 rows 788 cols
[2022-05-19 00:29:35] [INFO ] Computed 52 place invariants in 76 ms
[2022-05-19 00:29:36] [INFO ] Implicit Places using invariants in 841 ms returned [49, 73, 223, 282, 331, 488, 498, 773]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 852 ms to find 8 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 780/804 places, 2014/2030 transitions.
Applied a total of 0 rules in 18 ms. Remains 780 /780 variables (removed 0) and now considering 2014/2014 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 780/804 places, 2014/2030 transitions.
[2022-05-19 00:29:36] [INFO ] Flatten gal took : 72 ms
[2022-05-19 00:29:36] [INFO ] Flatten gal took : 78 ms
[2022-05-19 00:29:36] [INFO ] Input system was already deterministic with 2014 transitions.
[2022-05-19 00:29:36] [INFO ] Flatten gal took : 77 ms
[2022-05-19 00:29:36] [INFO ] Flatten gal took : 77 ms
[2022-05-19 00:29:36] [INFO ] Time to serialize gal into /tmp/CTLCardinality4212371554695449313.gal : 6 ms
[2022-05-19 00:29:36] [INFO ] Time to serialize properties into /tmp/CTLCardinality14638782013888834958.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4212371554695449313.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14638782013888834958.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-19 00:30:06] [INFO ] Flatten gal took : 77 ms
[2022-05-19 00:30:06] [INFO ] Applying decomposition
[2022-05-19 00:30:06] [INFO ] Flatten gal took : 83 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph17221150931368751938.txt' '-o' '/tmp/graph17221150931368751938.bin' '-w' '/tmp/graph17221150931368751938.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph17221150931368751938.bin' '-l' '-1' '-v' '-w' '/tmp/graph17221150931368751938.weights' '-q' '0' '-e' '0.001'
[2022-05-19 00:30:07] [INFO ] Decomposing Gal with order
[2022-05-19 00:30:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 00:30:07] [INFO ] Removed a total of 1436 redundant transitions.
[2022-05-19 00:30:07] [INFO ] Flatten gal took : 166 ms
[2022-05-19 00:30:07] [INFO ] Fuse similar labels procedure discarded/fused a total of 424 labels/synchronizations in 31 ms.
[2022-05-19 00:30:07] [INFO ] Time to serialize gal into /tmp/CTLCardinality16408427233143927552.gal : 14 ms
[2022-05-19 00:30:07] [INFO ] Time to serialize properties into /tmp/CTLCardinality2472791682944558538.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality16408427233143927552.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2472791682944558538.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 804/804 places, 2030/2030 transitions.
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 8 place count 796 transition count 2022
Iterating global reduction 0 with 8 rules applied. Total rules applied 16 place count 796 transition count 2022
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 24 place count 788 transition count 2014
Iterating global reduction 0 with 8 rules applied. Total rules applied 32 place count 788 transition count 2014
Applied a total of 32 rules in 34 ms. Remains 788 /804 variables (removed 16) and now considering 2014/2030 (removed 16) transitions.
[2022-05-19 00:30:37] [INFO ] Flow matrix only has 1966 transitions (discarded 48 similar events)
// Phase 1: matrix 1966 rows 788 cols
[2022-05-19 00:30:37] [INFO ] Computed 52 place invariants in 56 ms
[2022-05-19 00:30:39] [INFO ] Dead Transitions using invariants and state equation in 2259 ms found 0 transitions.
[2022-05-19 00:30:39] [INFO ] Flow matrix only has 1966 transitions (discarded 48 similar events)
// Phase 1: matrix 1966 rows 788 cols
[2022-05-19 00:30:39] [INFO ] Computed 52 place invariants in 47 ms
[2022-05-19 00:30:40] [INFO ] Implicit Places using invariants in 823 ms returned [49, 73, 223, 282, 331, 488, 498, 773]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 827 ms to find 8 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 780/804 places, 2014/2030 transitions.
Applied a total of 0 rules in 12 ms. Remains 780 /780 variables (removed 0) and now considering 2014/2014 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 780/804 places, 2014/2030 transitions.
[2022-05-19 00:30:40] [INFO ] Flatten gal took : 73 ms
[2022-05-19 00:30:40] [INFO ] Flatten gal took : 78 ms
[2022-05-19 00:30:40] [INFO ] Input system was already deterministic with 2014 transitions.
[2022-05-19 00:30:40] [INFO ] Flatten gal took : 77 ms
[2022-05-19 00:30:40] [INFO ] Flatten gal took : 78 ms
[2022-05-19 00:30:41] [INFO ] Time to serialize gal into /tmp/CTLCardinality17794819917046308644.gal : 7 ms
[2022-05-19 00:30:41] [INFO ] Time to serialize properties into /tmp/CTLCardinality14870961676776797358.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality17794819917046308644.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14870961676776797358.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-19 00:31:11] [INFO ] Flatten gal took : 78 ms
[2022-05-19 00:31:11] [INFO ] Applying decomposition
[2022-05-19 00:31:11] [INFO ] Flatten gal took : 78 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph17652979726179387557.txt' '-o' '/tmp/graph17652979726179387557.bin' '-w' '/tmp/graph17652979726179387557.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph17652979726179387557.bin' '-l' '-1' '-v' '-w' '/tmp/graph17652979726179387557.weights' '-q' '0' '-e' '0.001'
[2022-05-19 00:31:11] [INFO ] Decomposing Gal with order
[2022-05-19 00:31:11] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 00:31:11] [INFO ] Removed a total of 1449 redundant transitions.
[2022-05-19 00:31:11] [INFO ] Flatten gal took : 184 ms
[2022-05-19 00:31:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 204 labels/synchronizations in 20 ms.
[2022-05-19 00:31:11] [INFO ] Time to serialize gal into /tmp/CTLCardinality11377700288002204546.gal : 32 ms
[2022-05-19 00:31:11] [INFO ] Time to serialize properties into /tmp/CTLCardinality13473529142692778176.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality11377700288002204546.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13473529142692778176.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...255
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 804/804 places, 2030/2030 transitions.
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 8 place count 796 transition count 2022
Iterating global reduction 0 with 8 rules applied. Total rules applied 16 place count 796 transition count 2022
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 23 place count 789 transition count 2015
Iterating global reduction 0 with 7 rules applied. Total rules applied 30 place count 789 transition count 2015
Applied a total of 30 rules in 36 ms. Remains 789 /804 variables (removed 15) and now considering 2015/2030 (removed 15) transitions.
[2022-05-19 00:31:41] [INFO ] Flow matrix only has 1967 transitions (discarded 48 similar events)
// Phase 1: matrix 1967 rows 789 cols
[2022-05-19 00:31:41] [INFO ] Computed 52 place invariants in 42 ms
[2022-05-19 00:31:44] [INFO ] Dead Transitions using invariants and state equation in 2355 ms found 0 transitions.
[2022-05-19 00:31:44] [INFO ] Flow matrix only has 1967 transitions (discarded 48 similar events)
// Phase 1: matrix 1967 rows 789 cols
[2022-05-19 00:31:44] [INFO ] Computed 52 place invariants in 39 ms
[2022-05-19 00:31:45] [INFO ] Implicit Places using invariants in 849 ms returned [49, 73, 223, 282, 331, 488, 498, 774]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 865 ms to find 8 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 781/804 places, 2015/2030 transitions.
Applied a total of 0 rules in 15 ms. Remains 781 /781 variables (removed 0) and now considering 2015/2015 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 781/804 places, 2015/2030 transitions.
[2022-05-19 00:31:45] [INFO ] Flatten gal took : 83 ms
[2022-05-19 00:31:45] [INFO ] Flatten gal took : 98 ms
[2022-05-19 00:31:45] [INFO ] Input system was already deterministic with 2015 transitions.
[2022-05-19 00:31:45] [INFO ] Flatten gal took : 86 ms
[2022-05-19 00:31:45] [INFO ] Flatten gal took : 86 ms
[2022-05-19 00:31:45] [INFO ] Time to serialize gal into /tmp/CTLCardinality14778730904753579799.gal : 9 ms
[2022-05-19 00:31:45] [INFO ] Time to serialize properties into /tmp/CTLCardinality15403541268212406973.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14778730904753579799.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15403541268212406973.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-19 00:32:15] [INFO ] Flatten gal took : 95 ms
[2022-05-19 00:32:15] [INFO ] Applying decomposition
[2022-05-19 00:32:15] [INFO ] Flatten gal took : 79 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph15986814239775547282.txt' '-o' '/tmp/graph15986814239775547282.bin' '-w' '/tmp/graph15986814239775547282.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph15986814239775547282.bin' '-l' '-1' '-v' '-w' '/tmp/graph15986814239775547282.weights' '-q' '0' '-e' '0.001'
[2022-05-19 00:32:16] [INFO ] Decomposing Gal with order
[2022-05-19 00:32:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 00:32:16] [INFO ] Removed a total of 1063 redundant transitions.
[2022-05-19 00:32:16] [INFO ] Flatten gal took : 189 ms
[2022-05-19 00:32:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 167 labels/synchronizations in 8 ms.
[2022-05-19 00:32:16] [INFO ] Time to serialize gal into /tmp/CTLCardinality3449219635899184724.gal : 31 ms
[2022-05-19 00:32:16] [INFO ] Time to serialize properties into /tmp/CTLCardinality16936059158604795041.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality3449219635899184724.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16936059158604795041.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 804/804 places, 2030/2030 transitions.
Drop transitions removed 72 transitions
Trivial Post-agglo rules discarded 72 transitions
Performed 72 trivial Post agglomeration. Transition count delta: 72
Iterating post reduction 0 with 72 rules applied. Total rules applied 72 place count 804 transition count 1958
Reduce places removed 72 places and 0 transitions.
Iterating post reduction 1 with 72 rules applied. Total rules applied 144 place count 732 transition count 1958
Performed 96 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 96 Pre rules applied. Total rules applied 144 place count 732 transition count 1862
Deduced a syphon composed of 96 places in 1 ms
Reduce places removed 96 places and 0 transitions.
Iterating global reduction 2 with 192 rules applied. Total rules applied 336 place count 636 transition count 1862
Performed 94 Post agglomeration using F-continuation condition.Transition count delta: 94
Deduced a syphon composed of 94 places in 1 ms
Reduce places removed 94 places and 0 transitions.
Iterating global reduction 2 with 188 rules applied. Total rules applied 524 place count 542 transition count 1768
Applied a total of 524 rules in 85 ms. Remains 542 /804 variables (removed 262) and now considering 1768/2030 (removed 262) transitions.
[2022-05-19 00:32:46] [INFO ] Flow matrix only has 1720 transitions (discarded 48 similar events)
// Phase 1: matrix 1720 rows 542 cols
[2022-05-19 00:32:46] [INFO ] Computed 52 place invariants in 29 ms
[2022-05-19 00:32:47] [INFO ] Dead Transitions using invariants and state equation in 1326 ms found 0 transitions.
[2022-05-19 00:32:47] [INFO ] Flow matrix only has 1720 transitions (discarded 48 similar events)
// Phase 1: matrix 1720 rows 542 cols
[2022-05-19 00:32:47] [INFO ] Computed 52 place invariants in 29 ms
[2022-05-19 00:32:48] [INFO ] Implicit Places using invariants in 661 ms returned [35, 51, 153, 195, 228, 339, 346, 533]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 686 ms to find 8 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 534/804 places, 1768/2030 transitions.
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 4 place count 530 transition count 1764
Iterating global reduction 0 with 4 rules applied. Total rules applied 8 place count 530 transition count 1764
Applied a total of 8 rules in 50 ms. Remains 530 /534 variables (removed 4) and now considering 1764/1768 (removed 4) transitions.
[2022-05-19 00:32:48] [INFO ] Flow matrix only has 1716 transitions (discarded 48 similar events)
// Phase 1: matrix 1716 rows 530 cols
[2022-05-19 00:32:48] [INFO ] Computed 44 place invariants in 35 ms
[2022-05-19 00:32:49] [INFO ] Implicit Places using invariants in 669 ms returned []
[2022-05-19 00:32:49] [INFO ] Flow matrix only has 1716 transitions (discarded 48 similar events)
// Phase 1: matrix 1716 rows 530 cols
[2022-05-19 00:32:49] [INFO ] Computed 44 place invariants in 29 ms
[2022-05-19 00:32:50] [INFO ] State equation strengthened by 224 read => feed constraints.
[2022-05-19 00:35:29] [INFO ] Performed 9/530 implicitness test of which 0 returned IMPLICIT in 158 seconds.
[2022-05-19 00:35:29] [INFO ] Timeout of Implicit test with SMT after 158 seconds.
[2022-05-19 00:35:29] [INFO ] Implicit Places using invariants and state equation in 160063 ms returned []
Implicit Place search using SMT with State Equation took 160743 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 530/804 places, 1764/2030 transitions.
Finished structural reductions, in 2 iterations. Remains : 530/804 places, 1764/2030 transitions.
[2022-05-19 00:35:29] [INFO ] Flatten gal took : 80 ms
[2022-05-19 00:35:29] [INFO ] Flatten gal took : 76 ms
[2022-05-19 00:35:29] [INFO ] Input system was already deterministic with 1764 transitions.
[2022-05-19 00:35:29] [INFO ] Flatten gal took : 75 ms
[2022-05-19 00:35:29] [INFO ] Flatten gal took : 74 ms
[2022-05-19 00:35:29] [INFO ] Time to serialize gal into /tmp/CTLCardinality1379632255517150905.gal : 7 ms
[2022-05-19 00:35:29] [INFO ] Time to serialize properties into /tmp/CTLCardinality6288028169556726631.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality1379632255517150905.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6288028169556726631.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-19 00:36:00] [INFO ] Flatten gal took : 78 ms
[2022-05-19 00:36:00] [INFO ] Applying decomposition
[2022-05-19 00:36:00] [INFO ] Flatten gal took : 76 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph17706647892887388522.txt' '-o' '/tmp/graph17706647892887388522.bin' '-w' '/tmp/graph17706647892887388522.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph17706647892887388522.bin' '-l' '-1' '-v' '-w' '/tmp/graph17706647892887388522.weights' '-q' '0' '-e' '0.001'
[2022-05-19 00:36:00] [INFO ] Decomposing Gal with order
[2022-05-19 00:36:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 00:36:00] [INFO ] Removed a total of 885 redundant transitions.
[2022-05-19 00:36:00] [INFO ] Flatten gal took : 169 ms
[2022-05-19 00:36:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 231 labels/synchronizations in 9 ms.
[2022-05-19 00:36:00] [INFO ] Time to serialize gal into /tmp/CTLCardinality773605013535354777.gal : 35 ms
[2022-05-19 00:36:00] [INFO ] Time to serialize properties into /tmp/CTLCardinality6865572265165564624.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality773605013535354777.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6865572265165564624.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...273
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 804/804 places, 2030/2030 transitions.
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 8 place count 796 transition count 2022
Iterating global reduction 0 with 8 rules applied. Total rules applied 16 place count 796 transition count 2022
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 24 place count 788 transition count 2014
Iterating global reduction 0 with 8 rules applied. Total rules applied 32 place count 788 transition count 2014
Applied a total of 32 rules in 55 ms. Remains 788 /804 variables (removed 16) and now considering 2014/2030 (removed 16) transitions.
[2022-05-19 00:36:30] [INFO ] Flow matrix only has 1966 transitions (discarded 48 similar events)
// Phase 1: matrix 1966 rows 788 cols
[2022-05-19 00:36:30] [INFO ] Computed 52 place invariants in 45 ms
[2022-05-19 00:36:33] [INFO ] Dead Transitions using invariants and state equation in 2316 ms found 0 transitions.
[2022-05-19 00:36:33] [INFO ] Flow matrix only has 1966 transitions (discarded 48 similar events)
// Phase 1: matrix 1966 rows 788 cols
[2022-05-19 00:36:33] [INFO ] Computed 52 place invariants in 43 ms
[2022-05-19 00:36:33] [INFO ] Implicit Places using invariants in 827 ms returned [49, 73, 223, 282, 331, 488, 498, 773]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 844 ms to find 8 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 780/804 places, 2014/2030 transitions.
Applied a total of 0 rules in 11 ms. Remains 780 /780 variables (removed 0) and now considering 2014/2014 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 780/804 places, 2014/2030 transitions.
[2022-05-19 00:36:34] [INFO ] Flatten gal took : 84 ms
[2022-05-19 00:36:34] [INFO ] Flatten gal took : 99 ms
[2022-05-19 00:36:34] [INFO ] Input system was already deterministic with 2014 transitions.
[2022-05-19 00:36:34] [INFO ] Flatten gal took : 79 ms
[2022-05-19 00:36:34] [INFO ] Flatten gal took : 79 ms
[2022-05-19 00:36:34] [INFO ] Time to serialize gal into /tmp/CTLCardinality15141890146218339614.gal : 7 ms
[2022-05-19 00:36:34] [INFO ] Time to serialize properties into /tmp/CTLCardinality8045031388068588019.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality15141890146218339614.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8045031388068588019.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-19 00:37:04] [INFO ] Flatten gal took : 153 ms
[2022-05-19 00:37:04] [INFO ] Applying decomposition
[2022-05-19 00:37:04] [INFO ] Flatten gal took : 77 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph6170333617485442995.txt' '-o' '/tmp/graph6170333617485442995.bin' '-w' '/tmp/graph6170333617485442995.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph6170333617485442995.bin' '-l' '-1' '-v' '-w' '/tmp/graph6170333617485442995.weights' '-q' '0' '-e' '0.001'
[2022-05-19 00:37:04] [INFO ] Decomposing Gal with order
[2022-05-19 00:37:04] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 00:37:05] [INFO ] Removed a total of 1236 redundant transitions.
[2022-05-19 00:37:05] [INFO ] Flatten gal took : 235 ms
[2022-05-19 00:37:05] [INFO ] Fuse similar labels procedure discarded/fused a total of 278 labels/synchronizations in 12 ms.
[2022-05-19 00:37:05] [INFO ] Time to serialize gal into /tmp/CTLCardinality5205746462222622653.gal : 10 ms
[2022-05-19 00:37:05] [INFO ] Time to serialize properties into /tmp/CTLCardinality17612951537668934168.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality5205746462222622653.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17612951537668934168.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-19 00:37:35] [INFO ] Flatten gal took : 88 ms
[2022-05-19 00:37:35] [INFO ] Flatten gal took : 82 ms
[2022-05-19 00:37:35] [INFO ] Applying decomposition
[2022-05-19 00:37:35] [INFO ] Flatten gal took : 93 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph16124194538033970430.txt' '-o' '/tmp/graph16124194538033970430.bin' '-w' '/tmp/graph16124194538033970430.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph16124194538033970430.bin' '-l' '-1' '-v' '-w' '/tmp/graph16124194538033970430.weights' '-q' '0' '-e' '0.001'
[2022-05-19 00:37:36] [INFO ] Decomposing Gal with order
[2022-05-19 00:37:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 00:37:36] [INFO ] Removed a total of 1653 redundant transitions.
[2022-05-19 00:37:36] [INFO ] Flatten gal took : 202 ms
[2022-05-19 00:37:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 569 labels/synchronizations in 59 ms.
[2022-05-19 00:37:36] [INFO ] Time to serialize gal into /tmp/CTLCardinality1916422347328890404.gal : 10 ms
[2022-05-19 00:37:36] [INFO ] Time to serialize properties into /tmp/CTLCardinality7242900850661292711.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality1916422347328890404.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7242900850661292711.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 11 CTL formulae.
Detected timeout of ITS tools.
[2022-05-19 01:04:21] [INFO ] Flatten gal took : 382 ms
[2022-05-19 01:04:22] [INFO ] Time to serialize gal into /tmp/CTLCardinality12577010783832735153.gal : 50 ms
[2022-05-19 01:04:22] [INFO ] Time to serialize properties into /tmp/CTLCardinality1336051425146455054.ctl : 15 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12577010783832735153.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1336051425146455054.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 11 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export LANG=C
+ LANG=C
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -pnfolder /home/mcc/execution -examination CTLCardinality -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx8192m
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-PT-S06J04T08"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is PolyORBLF-PT-S06J04T08, 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 r168-tall-165277017000697"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S06J04T08.tgz
mv PolyORBLF-PT-S06J04T08 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 ;