About the Execution of ITS-Tools for NoC3x3-PT-3B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16205.760 | 3600000.00 | 3405810.00 | 97395.00 | ????????????T??? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r150-smll-165276998500154.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 NoC3x3-PT-3B, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r150-smll-165276998500154
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 816K
-rw-r--r-- 1 mcc users 7.4K Apr 29 13:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Apr 29 13:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Apr 29 13:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Apr 29 13:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 10 09:34 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K May 9 08:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 9 08:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 9 08:21 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 9 08:21 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 9 08:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 9 08:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 3 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 581K 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 NoC3x3-PT-3B-CTLFireability-00
FORMULA_NAME NoC3x3-PT-3B-CTLFireability-01
FORMULA_NAME NoC3x3-PT-3B-CTLFireability-02
FORMULA_NAME NoC3x3-PT-3B-CTLFireability-03
FORMULA_NAME NoC3x3-PT-3B-CTLFireability-04
FORMULA_NAME NoC3x3-PT-3B-CTLFireability-05
FORMULA_NAME NoC3x3-PT-3B-CTLFireability-06
FORMULA_NAME NoC3x3-PT-3B-CTLFireability-07
FORMULA_NAME NoC3x3-PT-3B-CTLFireability-08
FORMULA_NAME NoC3x3-PT-3B-CTLFireability-09
FORMULA_NAME NoC3x3-PT-3B-CTLFireability-10
FORMULA_NAME NoC3x3-PT-3B-CTLFireability-11
FORMULA_NAME NoC3x3-PT-3B-CTLFireability-12
FORMULA_NAME NoC3x3-PT-3B-CTLFireability-13
FORMULA_NAME NoC3x3-PT-3B-CTLFireability-14
FORMULA_NAME NoC3x3-PT-3B-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1652983852840
Running Version 202205111006
[2022-05-19 18:10:54] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-05-19 18:10:54] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-19 18:10:55] [INFO ] Load time of PNML (sax parser for PT used): 368 ms
[2022-05-19 18:10:55] [INFO ] Transformed 2117 places.
[2022-05-19 18:10:55] [INFO ] Transformed 2435 transitions.
[2022-05-19 18:10:55] [INFO ] Found NUPN structural information;
[2022-05-19 18:10:55] [INFO ] Parsed PT model containing 2117 places and 2435 transitions in 566 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 20 ms.
Support contains 104 out of 2117 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2117/2117 places, 2435/2435 transitions.
Discarding 5 places :
Implicit places reduction removed 5 places
Iterating post reduction 0 with 5 rules applied. Total rules applied 5 place count 2112 transition count 2435
Discarding 510 places :
Symmetric choice reduction at 1 with 510 rule applications. Total rules 515 place count 1602 transition count 1925
Iterating global reduction 1 with 510 rules applied. Total rules applied 1025 place count 1602 transition count 1925
Discarding 180 places :
Symmetric choice reduction at 1 with 180 rule applications. Total rules 1205 place count 1422 transition count 1745
Iterating global reduction 1 with 180 rules applied. Total rules applied 1385 place count 1422 transition count 1745
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 1 with 3 rules applied. Total rules applied 1388 place count 1422 transition count 1742
Discarding 171 places :
Symmetric choice reduction at 2 with 171 rule applications. Total rules 1559 place count 1251 transition count 1560
Iterating global reduction 2 with 171 rules applied. Total rules applied 1730 place count 1251 transition count 1560
Discarding 36 places :
Symmetric choice reduction at 2 with 36 rule applications. Total rules 1766 place count 1215 transition count 1497
Iterating global reduction 2 with 36 rules applied. Total rules applied 1802 place count 1215 transition count 1497
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 2 with 10 rules applied. Total rules applied 1812 place count 1214 transition count 1488
Discarding 26 places :
Symmetric choice reduction at 3 with 26 rule applications. Total rules 1838 place count 1188 transition count 1462
Iterating global reduction 3 with 26 rules applied. Total rules applied 1864 place count 1188 transition count 1462
Discarding 3 places :
Implicit places reduction removed 3 places
Iterating post reduction 3 with 3 rules applied. Total rules applied 1867 place count 1185 transition count 1462
Discarding 13 places :
Symmetric choice reduction at 4 with 13 rule applications. Total rules 1880 place count 1172 transition count 1436
Iterating global reduction 4 with 13 rules applied. Total rules applied 1893 place count 1172 transition count 1436
Discarding 11 places :
Symmetric choice reduction at 4 with 11 rule applications. Total rules 1904 place count 1161 transition count 1425
Iterating global reduction 4 with 11 rules applied. Total rules applied 1915 place count 1161 transition count 1425
Discarding 2 places :
Implicit places reduction removed 2 places
Iterating post reduction 4 with 2 rules applied. Total rules applied 1917 place count 1159 transition count 1425
Discarding 10 places :
Symmetric choice reduction at 5 with 10 rule applications. Total rules 1927 place count 1149 transition count 1415
Iterating global reduction 5 with 10 rules applied. Total rules applied 1937 place count 1149 transition count 1415
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 5 with 10 rules applied. Total rules applied 1947 place count 1149 transition count 1405
Applied a total of 1947 rules in 1427 ms. Remains 1149 /2117 variables (removed 968) and now considering 1405/2435 (removed 1030) transitions.
// Phase 1: matrix 1405 rows 1149 cols
[2022-05-19 18:10:56] [INFO ] Computed 56 place invariants in 49 ms
[2022-05-19 18:10:57] [INFO ] Implicit Places using invariants in 1085 ms returned []
// Phase 1: matrix 1405 rows 1149 cols
[2022-05-19 18:10:57] [INFO ] Computed 56 place invariants in 11 ms
[2022-05-19 18:10:59] [INFO ] Implicit Places using invariants and state equation in 1730 ms returned [73, 81, 140, 144, 148, 149, 158, 161, 258, 262, 263, 335, 336, 348, 351, 355, 356, 455, 456, 457, 458, 462, 463, 464, 472, 475, 478, 486, 492, 690, 691, 695, 697, 698, 703, 855, 856, 864, 943, 944, 949, 960, 963, 1079, 1081, 1085]
Discarding 46 places :
Implicit Place search using SMT with State Equation took 2876 ms to find 46 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1103/2117 places, 1405/2435 transitions.
Applied a total of 0 rules in 95 ms. Remains 1103 /1103 variables (removed 0) and now considering 1405/1405 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 1103/2117 places, 1405/2435 transitions.
Support contains 104 out of 1103 places after structural reductions.
[2022-05-19 18:11:00] [INFO ] Flatten gal took : 256 ms
[2022-05-19 18:11:00] [INFO ] Flatten gal took : 140 ms
[2022-05-19 18:11:00] [INFO ] Input system was already deterministic with 1405 transitions.
Support contains 102 out of 1103 places (down from 104) after GAL structural reductions.
Incomplete random walk after 10000 steps, including 16 resets, run finished after 1014 ms. (steps per millisecond=9 ) properties (out of 71) seen :46
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 25) 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 25) 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 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 25) 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 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 25) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 25) 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 25) 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 25) seen :0
Running SMT prover for 25 properties.
// Phase 1: matrix 1405 rows 1103 cols
[2022-05-19 18:11:02] [INFO ] Computed 42 place invariants in 7 ms
[2022-05-19 18:11:03] [INFO ] After 1019ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:25
[2022-05-19 18:11:04] [INFO ] [Nat]Absence check using 42 positive place invariants in 31 ms returned sat
[2022-05-19 18:11:07] [INFO ] After 2536ms SMT Verify possible using state equation in natural domain returned unsat :1 sat :24
[2022-05-19 18:11:09] [INFO ] After 5065ms SMT Verify possible using trap constraints in natural domain returned unsat :1 sat :24
Attempting to minimize the solution found.
Minimization took 1333 ms.
[2022-05-19 18:11:10] [INFO ] After 7728ms SMT Verify possible using all constraints in natural domain returned unsat :1 sat :24
Fused 25 Parikh solutions to 20 different solutions.
Parikh walk visited 22 properties in 954 ms.
Support contains 5 out of 1103 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 1103/1103 places, 1405/1405 transitions.
Graph (trivial) has 909 edges and 1103 vertex of which 72 / 1103 are part of one of the 9 SCC in 13 ms
Free SCC test removed 63 places
Drop transitions removed 72 transitions
Reduce isomorphic transitions removed 72 transitions.
Drop transitions removed 172 transitions
Trivial Post-agglo rules discarded 172 transitions
Performed 172 trivial Post agglomeration. Transition count delta: 172
Iterating post reduction 0 with 172 rules applied. Total rules applied 173 place count 1040 transition count 1161
Reduce places removed 172 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 173 rules applied. Total rules applied 346 place count 868 transition count 1160
Performed 78 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 78 Pre rules applied. Total rules applied 346 place count 868 transition count 1082
Deduced a syphon composed of 78 places in 3 ms
Reduce places removed 78 places and 0 transitions.
Iterating global reduction 2 with 156 rules applied. Total rules applied 502 place count 790 transition count 1082
Discarding 55 places :
Symmetric choice reduction at 2 with 55 rule applications. Total rules 557 place count 735 transition count 989
Iterating global reduction 2 with 55 rules applied. Total rules applied 612 place count 735 transition count 989
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Drop transitions removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 2 with 6 rules applied. Total rules applied 618 place count 735 transition count 983
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 3 with 4 rules applied. Total rules applied 622 place count 731 transition count 983
Performed 6 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 6 Pre rules applied. Total rules applied 622 place count 731 transition count 977
Deduced a syphon composed of 6 places in 6 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 4 with 12 rules applied. Total rules applied 634 place count 725 transition count 977
Discarding 21 places :
Symmetric choice reduction at 4 with 21 rule applications. Total rules 655 place count 704 transition count 941
Iterating global reduction 4 with 21 rules applied. Total rules applied 676 place count 704 transition count 941
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 4 with 7 rules applied. Total rules applied 683 place count 704 transition count 934
Discarding 8 places :
Symmetric choice reduction at 5 with 8 rule applications. Total rules 691 place count 696 transition count 923
Iterating global reduction 5 with 8 rules applied. Total rules applied 699 place count 696 transition count 923
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 5 with 5 rules applied. Total rules applied 704 place count 695 transition count 919
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 705 place count 694 transition count 919
Discarding 5 places :
Symmetric choice reduction at 7 with 5 rule applications. Total rules 710 place count 689 transition count 912
Iterating global reduction 7 with 5 rules applied. Total rules applied 715 place count 689 transition count 912
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 7 with 3 rules applied. Total rules applied 718 place count 689 transition count 909
Discarding 2 places :
Symmetric choice reduction at 8 with 2 rule applications. Total rules 720 place count 687 transition count 907
Iterating global reduction 8 with 2 rules applied. Total rules applied 722 place count 687 transition count 907
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 8 with 4 rules applied. Total rules applied 726 place count 686 transition count 904
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 9 with 1 rules applied. Total rules applied 727 place count 685 transition count 904
Performed 344 Post agglomeration using F-continuation condition.Transition count delta: 344
Deduced a syphon composed of 344 places in 1 ms
Reduce places removed 344 places and 0 transitions.
Iterating global reduction 10 with 688 rules applied. Total rules applied 1415 place count 341 transition count 560
Discarding 23 places :
Symmetric choice reduction at 10 with 23 rule applications. Total rules 1438 place count 318 transition count 517
Iterating global reduction 10 with 23 rules applied. Total rules applied 1461 place count 318 transition count 517
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 10 with 3 rules applied. Total rules applied 1464 place count 318 transition count 514
Discarding 9 places :
Symmetric choice reduction at 11 with 9 rule applications. Total rules 1473 place count 309 transition count 496
Iterating global reduction 11 with 9 rules applied. Total rules applied 1482 place count 309 transition count 496
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 11 with 7 rules applied. Total rules applied 1489 place count 309 transition count 489
Discarding 2 places :
Symmetric choice reduction at 12 with 2 rule applications. Total rules 1491 place count 307 transition count 485
Iterating global reduction 12 with 2 rules applied. Total rules applied 1493 place count 307 transition count 485
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 12 with 2 rules applied. Total rules applied 1495 place count 306 transition count 484
Performed 17 Post agglomeration using F-continuation condition.Transition count delta: -41
Deduced a syphon composed of 17 places in 0 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 12 with 34 rules applied. Total rules applied 1529 place count 289 transition count 525
Free-agglomeration rule applied 29 times.
Iterating global reduction 12 with 29 rules applied. Total rules applied 1558 place count 289 transition count 496
Reduce places removed 29 places and 0 transitions.
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 12 with 36 rules applied. Total rules applied 1594 place count 260 transition count 489
Drop transitions removed 4 transitions
Redundant transition composition rules discarded 4 transitions
Iterating global reduction 13 with 4 rules applied. Total rules applied 1598 place count 260 transition count 485
Free-agglomeration rule (complex) applied 39 times.
Iterating global reduction 13 with 39 rules applied. Total rules applied 1637 place count 260 transition count 459
Reduce places removed 39 places and 0 transitions.
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 13 with 49 rules applied. Total rules applied 1686 place count 221 transition count 449
Partial Free-agglomeration rule applied 6 times.
Drop transitions removed 6 transitions
Iterating global reduction 14 with 6 rules applied. Total rules applied 1692 place count 221 transition count 449
Applied a total of 1692 rules in 550 ms. Remains 221 /1103 variables (removed 882) and now considering 449/1405 (removed 956) transitions.
Finished structural reductions, in 1 iterations. Remains : 221/1103 places, 449/1405 transitions.
Incomplete random walk after 10000 steps, including 132 resets, run finished after 212 ms. (steps per millisecond=47 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10001 steps, including 6 resets, run finished after 43 ms. (steps per millisecond=232 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10000 steps, including 4 resets, run finished after 36 ms. (steps per millisecond=277 ) properties (out of 2) seen :1
Running SMT prover for 1 properties.
[2022-05-19 18:11:12] [INFO ] Flow matrix only has 446 transitions (discarded 3 similar events)
// Phase 1: matrix 446 rows 221 cols
[2022-05-19 18:11:12] [INFO ] Computed 42 place invariants in 3 ms
[2022-05-19 18:11:12] [INFO ] After 57ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-05-19 18:11:12] [INFO ] [Nat]Absence check using 42 positive place invariants in 12 ms returned sat
[2022-05-19 18:11:13] [INFO ] After 190ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-05-19 18:11:13] [INFO ] State equation strengthened by 138 read => feed constraints.
[2022-05-19 18:11:13] [INFO ] After 47ms SMT Verify possible using 138 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-05-19 18:11:13] [INFO ] After 74ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 19 ms.
[2022-05-19 18:11:13] [INFO ] After 379ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Finished Parikh walk after 40 steps, including 2 resets, run visited all 1 properties in 2 ms. (steps per millisecond=20 )
Parikh walk visited 1 properties in 1 ms.
Successfully simplified 1 atomic propositions for a total of 16 simplifications.
[2022-05-19 18:11:13] [INFO ] Flatten gal took : 83 ms
[2022-05-19 18:11:13] [INFO ] Flatten gal took : 70 ms
[2022-05-19 18:11:13] [INFO ] Input system was already deterministic with 1405 transitions.
Computed a total of 68 stabilizing places and 68 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 1103/1103 places, 1405/1405 transitions.
Discarding 52 places :
Symmetric choice reduction at 0 with 52 rule applications. Total rules 52 place count 1051 transition count 1334
Iterating global reduction 0 with 52 rules applied. Total rules applied 104 place count 1051 transition count 1334
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 107 place count 1051 transition count 1331
Discarding 34 places :
Symmetric choice reduction at 1 with 34 rule applications. Total rules 141 place count 1017 transition count 1291
Iterating global reduction 1 with 34 rules applied. Total rules applied 175 place count 1017 transition count 1291
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 181 place count 1017 transition count 1285
Discarding 31 places :
Symmetric choice reduction at 2 with 31 rule applications. Total rules 212 place count 986 transition count 1244
Iterating global reduction 2 with 31 rules applied. Total rules applied 243 place count 986 transition count 1244
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 2 with 4 rules applied. Total rules applied 247 place count 985 transition count 1241
Discarding 18 places :
Symmetric choice reduction at 3 with 18 rule applications. Total rules 265 place count 967 transition count 1218
Iterating global reduction 3 with 18 rules applied. Total rules applied 283 place count 967 transition count 1218
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 3 with 5 rules applied. Total rules applied 288 place count 966 transition count 1214
Discarding 11 places :
Symmetric choice reduction at 4 with 11 rule applications. Total rules 299 place count 955 transition count 1201
Iterating global reduction 4 with 11 rules applied. Total rules applied 310 place count 955 transition count 1201
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 314 place count 955 transition count 1197
Discarding 6 places :
Symmetric choice reduction at 5 with 6 rule applications. Total rules 320 place count 949 transition count 1189
Iterating global reduction 5 with 6 rules applied. Total rules applied 326 place count 949 transition count 1189
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 5 with 2 rules applied. Total rules applied 328 place count 949 transition count 1187
Discarding 4 places :
Symmetric choice reduction at 6 with 4 rule applications. Total rules 332 place count 945 transition count 1183
Iterating global reduction 6 with 4 rules applied. Total rules applied 336 place count 945 transition count 1183
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 6 with 2 rules applied. Total rules applied 338 place count 945 transition count 1181
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 340 place count 943 transition count 1179
Iterating global reduction 7 with 2 rules applied. Total rules applied 342 place count 943 transition count 1179
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 7 with 2 rules applied. Total rules applied 344 place count 943 transition count 1177
Applied a total of 344 rules in 319 ms. Remains 943 /1103 variables (removed 160) and now considering 1177/1405 (removed 228) transitions.
// Phase 1: matrix 1177 rows 943 cols
[2022-05-19 18:11:13] [INFO ] Computed 42 place invariants in 5 ms
[2022-05-19 18:11:14] [INFO ] Implicit Places using invariants in 412 ms returned []
// Phase 1: matrix 1177 rows 943 cols
[2022-05-19 18:11:14] [INFO ] Computed 42 place invariants in 6 ms
[2022-05-19 18:11:15] [INFO ] Implicit Places using invariants and state equation in 1221 ms returned [241, 435, 605, 606, 769, 773]
Discarding 6 places :
Implicit Place search using SMT with State Equation took 1641 ms to find 6 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 937/1103 places, 1177/1405 transitions.
Applied a total of 0 rules in 31 ms. Remains 937 /937 variables (removed 0) and now considering 1177/1177 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 937/1103 places, 1177/1405 transitions.
[2022-05-19 18:11:15] [INFO ] Flatten gal took : 49 ms
[2022-05-19 18:11:15] [INFO ] Flatten gal took : 50 ms
[2022-05-19 18:11:15] [INFO ] Input system was already deterministic with 1177 transitions.
[2022-05-19 18:11:15] [INFO ] Flatten gal took : 43 ms
[2022-05-19 18:11:15] [INFO ] Flatten gal took : 43 ms
[2022-05-19 18:11:15] [INFO ] Time to serialize gal into /tmp/CTLFireability3518782046400013841.gal : 30 ms
[2022-05-19 18:11:15] [INFO ] Time to serialize properties into /tmp/CTLFireability11258761454821643245.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/CTLFireability3518782046400013841.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11258761454821643245.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 18:11:46] [INFO ] Flatten gal took : 50 ms
[2022-05-19 18:11:46] [INFO ] Applying decomposition
[2022-05-19 18:11:46] [INFO ] Flatten gal took : 44 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/graph11005853056510551571.txt' '-o' '/tmp/graph11005853056510551571.bin' '-w' '/tmp/graph11005853056510551571.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph11005853056510551571.bin' '-l' '-1' '-v' '-w' '/tmp/graph11005853056510551571.weights' '-q' '0' '-e' '0.001'
[2022-05-19 18:11:46] [INFO ] Decomposing Gal with order
[2022-05-19 18:11:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 18:11:46] [INFO ] Removed a total of 473 redundant transitions.
[2022-05-19 18:11:46] [INFO ] Flatten gal took : 179 ms
[2022-05-19 18:11:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 18 labels/synchronizations in 33 ms.
[2022-05-19 18:11:46] [INFO ] Time to serialize gal into /tmp/CTLFireability501278405395195558.gal : 23 ms
[2022-05-19 18:11:46] [INFO ] Time to serialize properties into /tmp/CTLFireability752455733603043495.ctl : 29 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/CTLFireability501278405395195558.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability752455733603043495.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...251
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1103/1103 places, 1405/1405 transitions.
Discarding 52 places :
Symmetric choice reduction at 0 with 52 rule applications. Total rules 52 place count 1051 transition count 1334
Iterating global reduction 0 with 52 rules applied. Total rules applied 104 place count 1051 transition count 1334
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 107 place count 1051 transition count 1331
Discarding 33 places :
Symmetric choice reduction at 1 with 33 rule applications. Total rules 140 place count 1018 transition count 1292
Iterating global reduction 1 with 33 rules applied. Total rules applied 173 place count 1018 transition count 1292
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 179 place count 1018 transition count 1286
Discarding 30 places :
Symmetric choice reduction at 2 with 30 rule applications. Total rules 209 place count 988 transition count 1247
Iterating global reduction 2 with 30 rules applied. Total rules applied 239 place count 988 transition count 1247
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 2 with 4 rules applied. Total rules applied 243 place count 987 transition count 1244
Discarding 17 places :
Symmetric choice reduction at 3 with 17 rule applications. Total rules 260 place count 970 transition count 1221
Iterating global reduction 3 with 17 rules applied. Total rules applied 277 place count 970 transition count 1221
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 3 with 5 rules applied. Total rules applied 282 place count 969 transition count 1217
Discarding 10 places :
Symmetric choice reduction at 4 with 10 rule applications. Total rules 292 place count 959 transition count 1206
Iterating global reduction 4 with 10 rules applied. Total rules applied 302 place count 959 transition count 1206
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 4 with 4 rules applied. Total rules applied 306 place count 958 transition count 1203
Discarding 7 places :
Symmetric choice reduction at 5 with 7 rule applications. Total rules 313 place count 951 transition count 1193
Iterating global reduction 5 with 7 rules applied. Total rules applied 320 place count 951 transition count 1193
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 323 place count 951 transition count 1190
Discarding 4 places :
Symmetric choice reduction at 6 with 4 rule applications. Total rules 327 place count 947 transition count 1186
Iterating global reduction 6 with 4 rules applied. Total rules applied 331 place count 947 transition count 1186
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 332 place count 947 transition count 1185
Discarding 3 places :
Symmetric choice reduction at 7 with 3 rule applications. Total rules 335 place count 944 transition count 1182
Iterating global reduction 7 with 3 rules applied. Total rules applied 338 place count 944 transition count 1182
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 7 with 3 rules applied. Total rules applied 341 place count 944 transition count 1179
Applied a total of 341 rules in 303 ms. Remains 944 /1103 variables (removed 159) and now considering 1179/1405 (removed 226) transitions.
// Phase 1: matrix 1179 rows 944 cols
[2022-05-19 18:12:17] [INFO ] Computed 42 place invariants in 5 ms
[2022-05-19 18:12:17] [INFO ] Implicit Places using invariants in 580 ms returned []
// Phase 1: matrix 1179 rows 944 cols
[2022-05-19 18:12:17] [INFO ] Computed 42 place invariants in 8 ms
[2022-05-19 18:12:18] [INFO ] Implicit Places using invariants and state equation in 1026 ms returned [240, 441, 610, 611, 776]
Discarding 5 places :
Implicit Place search using SMT with State Equation took 1615 ms to find 5 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 939/1103 places, 1179/1405 transitions.
Applied a total of 0 rules in 41 ms. Remains 939 /939 variables (removed 0) and now considering 1179/1179 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 939/1103 places, 1179/1405 transitions.
[2022-05-19 18:12:18] [INFO ] Flatten gal took : 70 ms
[2022-05-19 18:12:19] [INFO ] Flatten gal took : 59 ms
[2022-05-19 18:12:19] [INFO ] Input system was already deterministic with 1179 transitions.
[2022-05-19 18:12:19] [INFO ] Flatten gal took : 35 ms
[2022-05-19 18:12:19] [INFO ] Flatten gal took : 54 ms
[2022-05-19 18:12:19] [INFO ] Time to serialize gal into /tmp/CTLFireability8474190211812430344.gal : 9 ms
[2022-05-19 18:12:19] [INFO ] Time to serialize properties into /tmp/CTLFireability17531141317017753077.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/CTLFireability8474190211812430344.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17531141317017753077.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 18:12:49] [INFO ] Flatten gal took : 33 ms
[2022-05-19 18:12:49] [INFO ] Applying decomposition
[2022-05-19 18:12:49] [INFO ] Flatten gal took : 33 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/graph346711678984199578.txt' '-o' '/tmp/graph346711678984199578.bin' '-w' '/tmp/graph346711678984199578.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph346711678984199578.bin' '-l' '-1' '-v' '-w' '/tmp/graph346711678984199578.weights' '-q' '0' '-e' '0.001'
[2022-05-19 18:12:49] [INFO ] Decomposing Gal with order
[2022-05-19 18:12:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 18:12:49] [INFO ] Removed a total of 467 redundant transitions.
[2022-05-19 18:12:49] [INFO ] Flatten gal took : 80 ms
[2022-05-19 18:12:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 37 labels/synchronizations in 24 ms.
[2022-05-19 18:12:49] [INFO ] Time to serialize gal into /tmp/CTLFireability15606220038214439499.gal : 13 ms
[2022-05-19 18:12:49] [INFO ] Time to serialize properties into /tmp/CTLFireability9255844732128860313.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/CTLFireability15606220038214439499.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9255844732128860313.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 : 1103/1103 places, 1405/1405 transitions.
Discarding 48 places :
Symmetric choice reduction at 0 with 48 rule applications. Total rules 48 place count 1055 transition count 1343
Iterating global reduction 0 with 48 rules applied. Total rules applied 96 place count 1055 transition count 1343
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 98 place count 1055 transition count 1341
Discarding 32 places :
Symmetric choice reduction at 1 with 32 rule applications. Total rules 130 place count 1023 transition count 1304
Iterating global reduction 1 with 32 rules applied. Total rules applied 162 place count 1023 transition count 1304
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 168 place count 1023 transition count 1298
Discarding 28 places :
Symmetric choice reduction at 2 with 28 rule applications. Total rules 196 place count 995 transition count 1262
Iterating global reduction 2 with 28 rules applied. Total rules applied 224 place count 995 transition count 1262
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 2 with 4 rules applied. Total rules applied 228 place count 994 transition count 1259
Discarding 16 places :
Symmetric choice reduction at 3 with 16 rule applications. Total rules 244 place count 978 transition count 1237
Iterating global reduction 3 with 16 rules applied. Total rules applied 260 place count 978 transition count 1237
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 3 with 4 rules applied. Total rules applied 264 place count 977 transition count 1234
Discarding 10 places :
Symmetric choice reduction at 4 with 10 rule applications. Total rules 274 place count 967 transition count 1222
Iterating global reduction 4 with 10 rules applied. Total rules applied 284 place count 967 transition count 1222
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 4 with 3 rules applied. Total rules applied 287 place count 966 transition count 1220
Discarding 8 places :
Symmetric choice reduction at 5 with 8 rule applications. Total rules 295 place count 958 transition count 1209
Iterating global reduction 5 with 8 rules applied. Total rules applied 303 place count 958 transition count 1209
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 306 place count 958 transition count 1206
Discarding 5 places :
Symmetric choice reduction at 6 with 5 rule applications. Total rules 311 place count 953 transition count 1201
Iterating global reduction 6 with 5 rules applied. Total rules applied 316 place count 953 transition count 1201
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 6 with 2 rules applied. Total rules applied 318 place count 953 transition count 1199
Discarding 3 places :
Symmetric choice reduction at 7 with 3 rule applications. Total rules 321 place count 950 transition count 1196
Iterating global reduction 7 with 3 rules applied. Total rules applied 324 place count 950 transition count 1196
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 7 with 3 rules applied. Total rules applied 327 place count 950 transition count 1193
Applied a total of 327 rules in 302 ms. Remains 950 /1103 variables (removed 153) and now considering 1193/1405 (removed 212) transitions.
// Phase 1: matrix 1193 rows 950 cols
[2022-05-19 18:13:20] [INFO ] Computed 42 place invariants in 4 ms
[2022-05-19 18:13:20] [INFO ] Implicit Places using invariants in 590 ms returned []
// Phase 1: matrix 1193 rows 950 cols
[2022-05-19 18:13:20] [INFO ] Computed 42 place invariants in 5 ms
[2022-05-19 18:13:21] [INFO ] Implicit Places using invariants and state equation in 1125 ms returned [240, 613, 614, 782]
Discarding 4 places :
Implicit Place search using SMT with State Equation took 1718 ms to find 4 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 946/1103 places, 1193/1405 transitions.
Applied a total of 0 rules in 30 ms. Remains 946 /946 variables (removed 0) and now considering 1193/1193 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 946/1103 places, 1193/1405 transitions.
[2022-05-19 18:13:21] [INFO ] Flatten gal took : 37 ms
[2022-05-19 18:13:22] [INFO ] Flatten gal took : 53 ms
[2022-05-19 18:13:22] [INFO ] Input system was already deterministic with 1193 transitions.
[2022-05-19 18:13:22] [INFO ] Flatten gal took : 50 ms
[2022-05-19 18:13:22] [INFO ] Flatten gal took : 52 ms
[2022-05-19 18:13:22] [INFO ] Time to serialize gal into /tmp/CTLFireability2351642277981783604.gal : 7 ms
[2022-05-19 18:13:22] [INFO ] Time to serialize properties into /tmp/CTLFireability11242708458801636635.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/CTLFireability2351642277981783604.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11242708458801636635.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 18:13:52] [INFO ] Flatten gal took : 31 ms
[2022-05-19 18:13:52] [INFO ] Applying decomposition
[2022-05-19 18:13:52] [INFO ] Flatten gal took : 30 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/graph14058639891332985904.txt' '-o' '/tmp/graph14058639891332985904.bin' '-w' '/tmp/graph14058639891332985904.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph14058639891332985904.bin' '-l' '-1' '-v' '-w' '/tmp/graph14058639891332985904.weights' '-q' '0' '-e' '0.001'
[2022-05-19 18:13:52] [INFO ] Decomposing Gal with order
[2022-05-19 18:13:52] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 18:13:52] [INFO ] Removed a total of 490 redundant transitions.
[2022-05-19 18:13:52] [INFO ] Flatten gal took : 72 ms
[2022-05-19 18:13:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 27 labels/synchronizations in 20 ms.
[2022-05-19 18:13:52] [INFO ] Time to serialize gal into /tmp/CTLFireability2590020067571129853.gal : 12 ms
[2022-05-19 18:13:52] [INFO ] Time to serialize properties into /tmp/CTLFireability8114447901072403217.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/CTLFireability2590020067571129853.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8114447901072403217.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1103/1103 places, 1405/1405 transitions.
Discarding 51 places :
Symmetric choice reduction at 0 with 51 rule applications. Total rules 51 place count 1052 transition count 1335
Iterating global reduction 0 with 51 rules applied. Total rules applied 102 place count 1052 transition count 1335
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 104 place count 1052 transition count 1333
Discarding 34 places :
Symmetric choice reduction at 1 with 34 rule applications. Total rules 138 place count 1018 transition count 1293
Iterating global reduction 1 with 34 rules applied. Total rules applied 172 place count 1018 transition count 1293
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 1 with 5 rules applied. Total rules applied 177 place count 1018 transition count 1288
Discarding 31 places :
Symmetric choice reduction at 2 with 31 rule applications. Total rules 208 place count 987 transition count 1247
Iterating global reduction 2 with 31 rules applied. Total rules applied 239 place count 987 transition count 1247
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 2 with 4 rules applied. Total rules applied 243 place count 986 transition count 1244
Discarding 19 places :
Symmetric choice reduction at 3 with 19 rule applications. Total rules 262 place count 967 transition count 1219
Iterating global reduction 3 with 19 rules applied. Total rules applied 281 place count 967 transition count 1219
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 3 with 5 rules applied. Total rules applied 286 place count 966 transition count 1215
Discarding 12 places :
Symmetric choice reduction at 4 with 12 rule applications. Total rules 298 place count 954 transition count 1201
Iterating global reduction 4 with 12 rules applied. Total rules applied 310 place count 954 transition count 1201
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 4 with 5 rules applied. Total rules applied 315 place count 953 transition count 1197
Discarding 8 places :
Symmetric choice reduction at 5 with 8 rule applications. Total rules 323 place count 945 transition count 1186
Iterating global reduction 5 with 8 rules applied. Total rules applied 331 place count 945 transition count 1186
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 334 place count 945 transition count 1183
Discarding 5 places :
Symmetric choice reduction at 6 with 5 rule applications. Total rules 339 place count 940 transition count 1178
Iterating global reduction 6 with 5 rules applied. Total rules applied 344 place count 940 transition count 1178
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 6 with 2 rules applied. Total rules applied 346 place count 940 transition count 1176
Discarding 3 places :
Symmetric choice reduction at 7 with 3 rule applications. Total rules 349 place count 937 transition count 1173
Iterating global reduction 7 with 3 rules applied. Total rules applied 352 place count 937 transition count 1173
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 7 with 3 rules applied. Total rules applied 355 place count 937 transition count 1170
Applied a total of 355 rules in 453 ms. Remains 937 /1103 variables (removed 166) and now considering 1170/1405 (removed 235) transitions.
// Phase 1: matrix 1170 rows 937 cols
[2022-05-19 18:14:23] [INFO ] Computed 42 place invariants in 5 ms
[2022-05-19 18:14:23] [INFO ] Implicit Places using invariants in 534 ms returned []
// Phase 1: matrix 1170 rows 937 cols
[2022-05-19 18:14:23] [INFO ] Computed 42 place invariants in 5 ms
[2022-05-19 18:14:25] [INFO ] Implicit Places using invariants and state equation in 1326 ms returned [241, 435, 602, 603, 766]
Discarding 5 places :
Implicit Place search using SMT with State Equation took 1872 ms to find 5 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 932/1103 places, 1170/1405 transitions.
Applied a total of 0 rules in 26 ms. Remains 932 /932 variables (removed 0) and now considering 1170/1170 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 932/1103 places, 1170/1405 transitions.
[2022-05-19 18:14:25] [INFO ] Flatten gal took : 32 ms
[2022-05-19 18:14:25] [INFO ] Flatten gal took : 48 ms
[2022-05-19 18:14:25] [INFO ] Input system was already deterministic with 1170 transitions.
[2022-05-19 18:14:25] [INFO ] Flatten gal took : 47 ms
[2022-05-19 18:14:25] [INFO ] Flatten gal took : 47 ms
[2022-05-19 18:14:25] [INFO ] Time to serialize gal into /tmp/CTLFireability10872599742062213263.gal : 8 ms
[2022-05-19 18:14:25] [INFO ] Time to serialize properties into /tmp/CTLFireability12211101996236501257.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/CTLFireability10872599742062213263.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12211101996236501257.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 18:14:55] [INFO ] Flatten gal took : 29 ms
[2022-05-19 18:14:55] [INFO ] Applying decomposition
[2022-05-19 18:14:55] [INFO ] Flatten gal took : 29 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/graph12778994711854108103.txt' '-o' '/tmp/graph12778994711854108103.bin' '-w' '/tmp/graph12778994711854108103.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph12778994711854108103.bin' '-l' '-1' '-v' '-w' '/tmp/graph12778994711854108103.weights' '-q' '0' '-e' '0.001'
[2022-05-19 18:14:55] [INFO ] Decomposing Gal with order
[2022-05-19 18:14:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 18:14:55] [INFO ] Removed a total of 468 redundant transitions.
[2022-05-19 18:14:55] [INFO ] Flatten gal took : 87 ms
[2022-05-19 18:14:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 30 labels/synchronizations in 24 ms.
[2022-05-19 18:14:55] [INFO ] Time to serialize gal into /tmp/CTLFireability13257148765652925066.gal : 21 ms
[2022-05-19 18:14:55] [INFO ] Time to serialize properties into /tmp/CTLFireability6814997245705527640.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/CTLFireability13257148765652925066.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6814997245705527640.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 : 1103/1103 places, 1405/1405 transitions.
Discarding 48 places :
Symmetric choice reduction at 0 with 48 rule applications. Total rules 48 place count 1055 transition count 1340
Iterating global reduction 0 with 48 rules applied. Total rules applied 96 place count 1055 transition count 1340
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 99 place count 1055 transition count 1337
Discarding 31 places :
Symmetric choice reduction at 1 with 31 rule applications. Total rules 130 place count 1024 transition count 1300
Iterating global reduction 1 with 31 rules applied. Total rules applied 161 place count 1024 transition count 1300
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 167 place count 1024 transition count 1294
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 193 place count 998 transition count 1259
Iterating global reduction 2 with 26 rules applied. Total rules applied 219 place count 998 transition count 1259
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 2 with 3 rules applied. Total rules applied 222 place count 997 transition count 1257
Discarding 17 places :
Symmetric choice reduction at 3 with 17 rule applications. Total rules 239 place count 980 transition count 1235
Iterating global reduction 3 with 17 rules applied. Total rules applied 256 place count 980 transition count 1235
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 3 with 5 rules applied. Total rules applied 261 place count 979 transition count 1231
Discarding 10 places :
Symmetric choice reduction at 4 with 10 rule applications. Total rules 271 place count 969 transition count 1219
Iterating global reduction 4 with 10 rules applied. Total rules applied 281 place count 969 transition count 1219
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 4 with 4 rules applied. Total rules applied 285 place count 968 transition count 1216
Discarding 7 places :
Symmetric choice reduction at 5 with 7 rule applications. Total rules 292 place count 961 transition count 1207
Iterating global reduction 5 with 7 rules applied. Total rules applied 299 place count 961 transition count 1207
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 302 place count 961 transition count 1204
Discarding 4 places :
Symmetric choice reduction at 6 with 4 rule applications. Total rules 306 place count 957 transition count 1200
Iterating global reduction 6 with 4 rules applied. Total rules applied 310 place count 957 transition count 1200
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 6 with 2 rules applied. Total rules applied 312 place count 957 transition count 1198
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 314 place count 955 transition count 1196
Iterating global reduction 7 with 2 rules applied. Total rules applied 316 place count 955 transition count 1196
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 7 with 2 rules applied. Total rules applied 318 place count 955 transition count 1194
Applied a total of 318 rules in 291 ms. Remains 955 /1103 variables (removed 148) and now considering 1194/1405 (removed 211) transitions.
// Phase 1: matrix 1194 rows 955 cols
[2022-05-19 18:15:26] [INFO ] Computed 42 place invariants in 12 ms
[2022-05-19 18:15:26] [INFO ] Implicit Places using invariants in 364 ms returned []
// Phase 1: matrix 1194 rows 955 cols
[2022-05-19 18:15:26] [INFO ] Computed 42 place invariants in 9 ms
[2022-05-19 18:15:27] [INFO ] Implicit Places using invariants and state equation in 1092 ms returned [241, 435, 608, 609, 782]
Discarding 5 places :
Implicit Place search using SMT with State Equation took 1460 ms to find 5 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 950/1103 places, 1194/1405 transitions.
Applied a total of 0 rules in 26 ms. Remains 950 /950 variables (removed 0) and now considering 1194/1194 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 950/1103 places, 1194/1405 transitions.
[2022-05-19 18:15:27] [INFO ] Flatten gal took : 38 ms
[2022-05-19 18:15:27] [INFO ] Flatten gal took : 47 ms
[2022-05-19 18:15:28] [INFO ] Input system was already deterministic with 1194 transitions.
[2022-05-19 18:15:28] [INFO ] Flatten gal took : 47 ms
[2022-05-19 18:15:28] [INFO ] Flatten gal took : 47 ms
[2022-05-19 18:15:28] [INFO ] Time to serialize gal into /tmp/CTLFireability3051035568457947711.gal : 7 ms
[2022-05-19 18:15:28] [INFO ] Time to serialize properties into /tmp/CTLFireability13085919022202379850.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/CTLFireability3051035568457947711.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13085919022202379850.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 18:15:58] [INFO ] Flatten gal took : 29 ms
[2022-05-19 18:15:58] [INFO ] Applying decomposition
[2022-05-19 18:15:58] [INFO ] Flatten gal took : 29 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/graph15056057179925802411.txt' '-o' '/tmp/graph15056057179925802411.bin' '-w' '/tmp/graph15056057179925802411.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph15056057179925802411.bin' '-l' '-1' '-v' '-w' '/tmp/graph15056057179925802411.weights' '-q' '0' '-e' '0.001'
[2022-05-19 18:15:58] [INFO ] Decomposing Gal with order
[2022-05-19 18:15:58] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 18:15:58] [INFO ] Removed a total of 486 redundant transitions.
[2022-05-19 18:15:58] [INFO ] Flatten gal took : 97 ms
[2022-05-19 18:15:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 20 labels/synchronizations in 15 ms.
[2022-05-19 18:15:58] [INFO ] Time to serialize gal into /tmp/CTLFireability15406752667495017804.gal : 14 ms
[2022-05-19 18:15:58] [INFO ] Time to serialize properties into /tmp/CTLFireability8328215393119823690.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/CTLFireability15406752667495017804.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8328215393119823690.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 : 1103/1103 places, 1405/1405 transitions.
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 43 place count 1060 transition count 1346
Iterating global reduction 0 with 43 rules applied. Total rules applied 86 place count 1060 transition count 1346
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 89 place count 1060 transition count 1343
Discarding 27 places :
Symmetric choice reduction at 1 with 27 rule applications. Total rules 116 place count 1033 transition count 1311
Iterating global reduction 1 with 27 rules applied. Total rules applied 143 place count 1033 transition count 1311
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 147 place count 1033 transition count 1307
Discarding 22 places :
Symmetric choice reduction at 2 with 22 rule applications. Total rules 169 place count 1011 transition count 1279
Iterating global reduction 2 with 22 rules applied. Total rules applied 191 place count 1011 transition count 1279
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 2 with 4 rules applied. Total rules applied 195 place count 1010 transition count 1276
Discarding 12 places :
Symmetric choice reduction at 3 with 12 rule applications. Total rules 207 place count 998 transition count 1261
Iterating global reduction 3 with 12 rules applied. Total rules applied 219 place count 998 transition count 1261
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 3 with 4 rules applied. Total rules applied 223 place count 998 transition count 1257
Discarding 7 places :
Symmetric choice reduction at 4 with 7 rule applications. Total rules 230 place count 991 transition count 1248
Iterating global reduction 4 with 7 rules applied. Total rules applied 237 place count 991 transition count 1248
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 239 place count 991 transition count 1246
Discarding 5 places :
Symmetric choice reduction at 5 with 5 rule applications. Total rules 244 place count 986 transition count 1239
Iterating global reduction 5 with 5 rules applied. Total rules applied 249 place count 986 transition count 1239
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 250 place count 986 transition count 1238
Discarding 4 places :
Symmetric choice reduction at 6 with 4 rule applications. Total rules 254 place count 982 transition count 1234
Iterating global reduction 6 with 4 rules applied. Total rules applied 258 place count 982 transition count 1234
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 6 with 2 rules applied. Total rules applied 260 place count 982 transition count 1232
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 262 place count 980 transition count 1230
Iterating global reduction 7 with 2 rules applied. Total rules applied 264 place count 980 transition count 1230
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 7 with 2 rules applied. Total rules applied 266 place count 980 transition count 1228
Applied a total of 266 rules in 288 ms. Remains 980 /1103 variables (removed 123) and now considering 1228/1405 (removed 177) transitions.
// Phase 1: matrix 1228 rows 980 cols
[2022-05-19 18:16:29] [INFO ] Computed 42 place invariants in 4 ms
[2022-05-19 18:16:29] [INFO ] Implicit Places using invariants in 506 ms returned []
// Phase 1: matrix 1228 rows 980 cols
[2022-05-19 18:16:29] [INFO ] Computed 42 place invariants in 9 ms
[2022-05-19 18:16:30] [INFO ] Implicit Places using invariants and state equation in 1315 ms returned [240, 436, 611, 807]
Discarding 4 places :
Implicit Place search using SMT with State Equation took 1830 ms to find 4 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 976/1103 places, 1228/1405 transitions.
Applied a total of 0 rules in 26 ms. Remains 976 /976 variables (removed 0) and now considering 1228/1228 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 976/1103 places, 1228/1405 transitions.
[2022-05-19 18:16:30] [INFO ] Flatten gal took : 29 ms
[2022-05-19 18:16:30] [INFO ] Flatten gal took : 51 ms
[2022-05-19 18:16:31] [INFO ] Input system was already deterministic with 1228 transitions.
[2022-05-19 18:16:31] [INFO ] Flatten gal took : 31 ms
[2022-05-19 18:16:31] [INFO ] Flatten gal took : 32 ms
[2022-05-19 18:16:31] [INFO ] Time to serialize gal into /tmp/CTLFireability18321009215369961360.gal : 5 ms
[2022-05-19 18:16:31] [INFO ] Time to serialize properties into /tmp/CTLFireability17971342572815148059.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/CTLFireability18321009215369961360.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17971342572815148059.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 18:17:01] [INFO ] Flatten gal took : 34 ms
[2022-05-19 18:17:01] [INFO ] Applying decomposition
[2022-05-19 18:17:01] [INFO ] Flatten gal took : 28 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/graph12055581786228724762.txt' '-o' '/tmp/graph12055581786228724762.bin' '-w' '/tmp/graph12055581786228724762.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph12055581786228724762.bin' '-l' '-1' '-v' '-w' '/tmp/graph12055581786228724762.weights' '-q' '0' '-e' '0.001'
[2022-05-19 18:17:01] [INFO ] Decomposing Gal with order
[2022-05-19 18:17:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 18:17:01] [INFO ] Removed a total of 498 redundant transitions.
[2022-05-19 18:17:01] [INFO ] Flatten gal took : 101 ms
[2022-05-19 18:17:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 28 labels/synchronizations in 21 ms.
[2022-05-19 18:17:01] [INFO ] Time to serialize gal into /tmp/CTLFireability9292332612229069111.gal : 13 ms
[2022-05-19 18:17:01] [INFO ] Time to serialize properties into /tmp/CTLFireability16592007765968177714.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/CTLFireability9292332612229069111.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16592007765968177714.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 : 1103/1103 places, 1405/1405 transitions.
Discarding 51 places :
Symmetric choice reduction at 0 with 51 rule applications. Total rules 51 place count 1052 transition count 1335
Iterating global reduction 0 with 51 rules applied. Total rules applied 102 place count 1052 transition count 1335
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 105 place count 1052 transition count 1332
Discarding 34 places :
Symmetric choice reduction at 1 with 34 rule applications. Total rules 139 place count 1018 transition count 1292
Iterating global reduction 1 with 34 rules applied. Total rules applied 173 place count 1018 transition count 1292
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 179 place count 1018 transition count 1286
Discarding 31 places :
Symmetric choice reduction at 2 with 31 rule applications. Total rules 210 place count 987 transition count 1245
Iterating global reduction 2 with 31 rules applied. Total rules applied 241 place count 987 transition count 1245
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 2 with 4 rules applied. Total rules applied 245 place count 986 transition count 1242
Discarding 19 places :
Symmetric choice reduction at 3 with 19 rule applications. Total rules 264 place count 967 transition count 1217
Iterating global reduction 3 with 19 rules applied. Total rules applied 283 place count 967 transition count 1217
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 3 with 5 rules applied. Total rules applied 288 place count 966 transition count 1213
Discarding 12 places :
Symmetric choice reduction at 4 with 12 rule applications. Total rules 300 place count 954 transition count 1199
Iterating global reduction 4 with 12 rules applied. Total rules applied 312 place count 954 transition count 1199
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 4 with 5 rules applied. Total rules applied 317 place count 953 transition count 1195
Discarding 8 places :
Symmetric choice reduction at 5 with 8 rule applications. Total rules 325 place count 945 transition count 1184
Iterating global reduction 5 with 8 rules applied. Total rules applied 333 place count 945 transition count 1184
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 336 place count 945 transition count 1181
Discarding 5 places :
Symmetric choice reduction at 6 with 5 rule applications. Total rules 341 place count 940 transition count 1176
Iterating global reduction 6 with 5 rules applied. Total rules applied 346 place count 940 transition count 1176
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 6 with 2 rules applied. Total rules applied 348 place count 940 transition count 1174
Discarding 3 places :
Symmetric choice reduction at 7 with 3 rule applications. Total rules 351 place count 937 transition count 1171
Iterating global reduction 7 with 3 rules applied. Total rules applied 354 place count 937 transition count 1171
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 7 with 3 rules applied. Total rules applied 357 place count 937 transition count 1168
Applied a total of 357 rules in 323 ms. Remains 937 /1103 variables (removed 166) and now considering 1168/1405 (removed 237) transitions.
// Phase 1: matrix 1168 rows 937 cols
[2022-05-19 18:17:31] [INFO ] Computed 42 place invariants in 6 ms
[2022-05-19 18:17:32] [INFO ] Implicit Places using invariants in 699 ms returned []
// Phase 1: matrix 1168 rows 937 cols
[2022-05-19 18:17:32] [INFO ] Computed 42 place invariants in 6 ms
[2022-05-19 18:17:34] [INFO ] Implicit Places using invariants and state equation in 1680 ms returned [437, 604, 605, 768]
Discarding 4 places :
Implicit Place search using SMT with State Equation took 2382 ms to find 4 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 933/1103 places, 1168/1405 transitions.
Applied a total of 0 rules in 39 ms. Remains 933 /933 variables (removed 0) and now considering 1168/1168 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 933/1103 places, 1168/1405 transitions.
[2022-05-19 18:17:34] [INFO ] Flatten gal took : 35 ms
[2022-05-19 18:17:34] [INFO ] Flatten gal took : 37 ms
[2022-05-19 18:17:34] [INFO ] Input system was already deterministic with 1168 transitions.
[2022-05-19 18:17:34] [INFO ] Flatten gal took : 38 ms
[2022-05-19 18:17:34] [INFO ] Flatten gal took : 43 ms
[2022-05-19 18:17:34] [INFO ] Time to serialize gal into /tmp/CTLFireability10222143897948664674.gal : 5 ms
[2022-05-19 18:17:34] [INFO ] Time to serialize properties into /tmp/CTLFireability12130539044071337445.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/CTLFireability10222143897948664674.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12130539044071337445.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 18:18:04] [INFO ] Flatten gal took : 27 ms
[2022-05-19 18:18:04] [INFO ] Applying decomposition
[2022-05-19 18:18:04] [INFO ] Flatten gal took : 27 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/graph2257022548812699713.txt' '-o' '/tmp/graph2257022548812699713.bin' '-w' '/tmp/graph2257022548812699713.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph2257022548812699713.bin' '-l' '-1' '-v' '-w' '/tmp/graph2257022548812699713.weights' '-q' '0' '-e' '0.001'
[2022-05-19 18:18:04] [INFO ] Decomposing Gal with order
[2022-05-19 18:18:04] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 18:18:04] [INFO ] Removed a total of 466 redundant transitions.
[2022-05-19 18:18:05] [INFO ] Flatten gal took : 86 ms
[2022-05-19 18:18:05] [INFO ] Fuse similar labels procedure discarded/fused a total of 28 labels/synchronizations in 24 ms.
[2022-05-19 18:18:05] [INFO ] Time to serialize gal into /tmp/CTLFireability2736381596522549049.gal : 17 ms
[2022-05-19 18:18:05] [INFO ] Time to serialize properties into /tmp/CTLFireability756576047397586016.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/CTLFireability2736381596522549049.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability756576047397586016.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...252
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1103/1103 places, 1405/1405 transitions.
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 50 place count 1053 transition count 1341
Iterating global reduction 0 with 50 rules applied. Total rules applied 100 place count 1053 transition count 1341
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 102 place count 1053 transition count 1339
Discarding 32 places :
Symmetric choice reduction at 1 with 32 rule applications. Total rules 134 place count 1021 transition count 1302
Iterating global reduction 1 with 32 rules applied. Total rules applied 166 place count 1021 transition count 1302
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 172 place count 1021 transition count 1296
Discarding 27 places :
Symmetric choice reduction at 2 with 27 rule applications. Total rules 199 place count 994 transition count 1259
Iterating global reduction 2 with 27 rules applied. Total rules applied 226 place count 994 transition count 1259
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 2 with 4 rules applied. Total rules applied 230 place count 993 transition count 1256
Discarding 18 places :
Symmetric choice reduction at 3 with 18 rule applications. Total rules 248 place count 975 transition count 1233
Iterating global reduction 3 with 18 rules applied. Total rules applied 266 place count 975 transition count 1233
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 3 with 5 rules applied. Total rules applied 271 place count 974 transition count 1229
Discarding 11 places :
Symmetric choice reduction at 4 with 11 rule applications. Total rules 282 place count 963 transition count 1216
Iterating global reduction 4 with 11 rules applied. Total rules applied 293 place count 963 transition count 1216
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 297 place count 963 transition count 1212
Discarding 7 places :
Symmetric choice reduction at 5 with 7 rule applications. Total rules 304 place count 956 transition count 1202
Iterating global reduction 5 with 7 rules applied. Total rules applied 311 place count 956 transition count 1202
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 5 with 2 rules applied. Total rules applied 313 place count 956 transition count 1200
Discarding 5 places :
Symmetric choice reduction at 6 with 5 rule applications. Total rules 318 place count 951 transition count 1195
Iterating global reduction 6 with 5 rules applied. Total rules applied 323 place count 951 transition count 1195
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 6 with 2 rules applied. Total rules applied 325 place count 951 transition count 1193
Discarding 3 places :
Symmetric choice reduction at 7 with 3 rule applications. Total rules 328 place count 948 transition count 1190
Iterating global reduction 7 with 3 rules applied. Total rules applied 331 place count 948 transition count 1190
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 7 with 3 rules applied. Total rules applied 334 place count 948 transition count 1187
Applied a total of 334 rules in 301 ms. Remains 948 /1103 variables (removed 155) and now considering 1187/1405 (removed 218) transitions.
// Phase 1: matrix 1187 rows 948 cols
[2022-05-19 18:18:35] [INFO ] Computed 42 place invariants in 5 ms
[2022-05-19 18:18:35] [INFO ] Implicit Places using invariants in 482 ms returned []
// Phase 1: matrix 1187 rows 948 cols
[2022-05-19 18:18:35] [INFO ] Computed 42 place invariants in 4 ms
[2022-05-19 18:18:37] [INFO ] Implicit Places using invariants and state equation in 1218 ms returned [241, 435, 604, 605, 777]
Discarding 5 places :
Implicit Place search using SMT with State Equation took 1702 ms to find 5 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 943/1103 places, 1187/1405 transitions.
Applied a total of 0 rules in 29 ms. Remains 943 /943 variables (removed 0) and now considering 1187/1187 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 943/1103 places, 1187/1405 transitions.
[2022-05-19 18:18:37] [INFO ] Flatten gal took : 27 ms
[2022-05-19 18:18:37] [INFO ] Flatten gal took : 29 ms
[2022-05-19 18:18:37] [INFO ] Input system was already deterministic with 1187 transitions.
[2022-05-19 18:18:37] [INFO ] Flatten gal took : 48 ms
[2022-05-19 18:18:37] [INFO ] Flatten gal took : 46 ms
[2022-05-19 18:18:37] [INFO ] Time to serialize gal into /tmp/CTLFireability12770666249130070828.gal : 5 ms
[2022-05-19 18:18:37] [INFO ] Time to serialize properties into /tmp/CTLFireability16308101100138765201.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/CTLFireability12770666249130070828.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16308101100138765201.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 18:19:07] [INFO ] Flatten gal took : 28 ms
[2022-05-19 18:19:07] [INFO ] Applying decomposition
[2022-05-19 18:19:07] [INFO ] Flatten gal took : 27 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/graph12263570720519106031.txt' '-o' '/tmp/graph12263570720519106031.bin' '-w' '/tmp/graph12263570720519106031.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph12263570720519106031.bin' '-l' '-1' '-v' '-w' '/tmp/graph12263570720519106031.weights' '-q' '0' '-e' '0.001'
[2022-05-19 18:19:07] [INFO ] Decomposing Gal with order
[2022-05-19 18:19:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 18:19:07] [INFO ] Removed a total of 489 redundant transitions.
[2022-05-19 18:19:07] [INFO ] Flatten gal took : 53 ms
[2022-05-19 18:19:07] [INFO ] Fuse similar labels procedure discarded/fused a total of 22 labels/synchronizations in 7 ms.
[2022-05-19 18:19:07] [INFO ] Time to serialize gal into /tmp/CTLFireability15928102147065351474.gal : 11 ms
[2022-05-19 18:19:07] [INFO ] Time to serialize properties into /tmp/CTLFireability4218850517837050784.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/CTLFireability15928102147065351474.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4218850517837050784.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 : 1103/1103 places, 1405/1405 transitions.
Graph (trivial) has 907 edges and 1103 vertex of which 64 / 1103 are part of one of the 8 SCC in 3 ms
Free SCC test removed 56 places
Ensure Unique test removed 56 transitions
Reduce isomorphic transitions removed 56 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 175 transitions
Trivial Post-agglo rules discarded 175 transitions
Performed 175 trivial Post agglomeration. Transition count delta: 175
Iterating post reduction 0 with 175 rules applied. Total rules applied 176 place count 1046 transition count 1173
Reduce places removed 175 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 177 rules applied. Total rules applied 353 place count 871 transition count 1171
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 354 place count 870 transition count 1171
Performed 76 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 76 Pre rules applied. Total rules applied 354 place count 870 transition count 1095
Deduced a syphon composed of 76 places in 3 ms
Reduce places removed 76 places and 0 transitions.
Iterating global reduction 3 with 152 rules applied. Total rules applied 506 place count 794 transition count 1095
Discarding 56 places :
Symmetric choice reduction at 3 with 56 rule applications. Total rules 562 place count 738 transition count 999
Iterating global reduction 3 with 56 rules applied. Total rules applied 618 place count 738 transition count 999
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Drop transitions removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 3 with 7 rules applied. Total rules applied 625 place count 738 transition count 992
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 629 place count 734 transition count 992
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 4 Pre rules applied. Total rules applied 629 place count 734 transition count 988
Deduced a syphon composed of 4 places in 4 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 5 with 8 rules applied. Total rules applied 637 place count 730 transition count 988
Discarding 19 places :
Symmetric choice reduction at 5 with 19 rule applications. Total rules 656 place count 711 transition count 955
Iterating global reduction 5 with 19 rules applied. Total rules applied 675 place count 711 transition count 955
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 5 with 6 rules applied. Total rules applied 681 place count 711 transition count 949
Discarding 7 places :
Symmetric choice reduction at 6 with 7 rule applications. Total rules 688 place count 704 transition count 939
Iterating global reduction 6 with 7 rules applied. Total rules applied 695 place count 704 transition count 939
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 6 with 5 rules applied. Total rules applied 700 place count 703 transition count 935
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 701 place count 702 transition count 935
Discarding 4 places :
Symmetric choice reduction at 8 with 4 rule applications. Total rules 705 place count 698 transition count 930
Iterating global reduction 8 with 4 rules applied. Total rules applied 709 place count 698 transition count 930
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 8 with 3 rules applied. Total rules applied 712 place count 698 transition count 927
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 713 place count 697 transition count 926
Iterating global reduction 9 with 1 rules applied. Total rules applied 714 place count 697 transition count 926
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 9 with 3 rules applied. Total rules applied 717 place count 696 transition count 924
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 10 with 1 rules applied. Total rules applied 718 place count 695 transition count 924
Performed 182 Post agglomeration using F-continuation condition.Transition count delta: 182
Deduced a syphon composed of 182 places in 1 ms
Reduce places removed 182 places and 0 transitions.
Iterating global reduction 11 with 364 rules applied. Total rules applied 1082 place count 513 transition count 742
Discarding 24 places :
Symmetric choice reduction at 11 with 24 rule applications. Total rules 1106 place count 489 transition count 697
Iterating global reduction 11 with 24 rules applied. Total rules applied 1130 place count 489 transition count 697
Discarding 23 places :
Symmetric choice reduction at 11 with 23 rule applications. Total rules 1153 place count 466 transition count 671
Iterating global reduction 11 with 23 rules applied. Total rules applied 1176 place count 466 transition count 671
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 11 with 5 rules applied. Total rules applied 1181 place count 465 transition count 667
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 12 with 1 rules applied. Total rules applied 1182 place count 464 transition count 667
Discarding 10 places :
Symmetric choice reduction at 13 with 10 rule applications. Total rules 1192 place count 454 transition count 648
Iterating global reduction 13 with 10 rules applied. Total rules applied 1202 place count 454 transition count 648
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 13 with 3 rules applied. Total rules applied 1205 place count 453 transition count 646
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 14 with 1 rules applied. Total rules applied 1206 place count 452 transition count 646
Discarding 7 places :
Symmetric choice reduction at 15 with 7 rule applications. Total rules 1213 place count 445 transition count 639
Iterating global reduction 15 with 7 rules applied. Total rules applied 1220 place count 445 transition count 639
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 15 with 7 rules applied. Total rules applied 1227 place count 445 transition count 632
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 16 with 2 rules applied. Total rules applied 1229 place count 444 transition count 631
Partial Post-agglomeration rule applied 4 times.
Drop transitions removed 4 transitions
Iterating global reduction 16 with 4 rules applied. Total rules applied 1233 place count 444 transition count 631
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 16 with 1 rules applied. Total rules applied 1234 place count 443 transition count 630
Reduce places removed 8 places and 0 transitions.
Drop transitions removed 21 transitions
Trivial Post-agglo rules discarded 21 transitions
Performed 21 trivial Post agglomeration. Transition count delta: 21
Iterating post reduction 16 with 29 rules applied. Total rules applied 1263 place count 435 transition count 609
Reduce places removed 21 places and 0 transitions.
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Iterating post reduction 17 with 42 rules applied. Total rules applied 1305 place count 414 transition count 588
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 18 with 2 rules applied. Total rules applied 1307 place count 413 transition count 587
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 18 with 1 rules applied. Total rules applied 1308 place count 413 transition count 586
Applied a total of 1308 rules in 502 ms. Remains 413 /1103 variables (removed 690) and now considering 586/1405 (removed 819) transitions.
[2022-05-19 18:19:38] [INFO ] Flow matrix only has 579 transitions (discarded 7 similar events)
// Phase 1: matrix 579 rows 413 cols
[2022-05-19 18:19:38] [INFO ] Computed 34 place invariants in 2 ms
[2022-05-19 18:19:38] [INFO ] Implicit Places using invariants in 350 ms returned [7]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 359 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 412/1103 places, 586/1405 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 412 transition count 584
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 6 place count 410 transition count 582
Applied a total of 6 rules in 26 ms. Remains 410 /412 variables (removed 2) and now considering 582/586 (removed 4) transitions.
[2022-05-19 18:19:38] [INFO ] Flow matrix only has 575 transitions (discarded 7 similar events)
// Phase 1: matrix 575 rows 410 cols
[2022-05-19 18:19:38] [INFO ] Computed 33 place invariants in 3 ms
[2022-05-19 18:19:38] [INFO ] Implicit Places using invariants in 297 ms returned []
[2022-05-19 18:19:38] [INFO ] Flow matrix only has 575 transitions (discarded 7 similar events)
// Phase 1: matrix 575 rows 410 cols
[2022-05-19 18:19:39] [INFO ] Computed 33 place invariants in 2 ms
[2022-05-19 18:19:39] [INFO ] State equation strengthened by 13 read => feed constraints.
[2022-05-19 18:19:39] [INFO ] Implicit Places using invariants and state equation in 664 ms returned [167, 254, 255, 334]
Discarding 4 places :
Implicit Place search using SMT with State Equation took 964 ms to find 4 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 406/1103 places, 582/1405 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 0 with 8 rules applied. Total rules applied 8 place count 402 transition count 578
Applied a total of 8 rules in 19 ms. Remains 402 /406 variables (removed 4) and now considering 578/582 (removed 4) transitions.
[2022-05-19 18:19:39] [INFO ] Flow matrix only has 571 transitions (discarded 7 similar events)
// Phase 1: matrix 571 rows 402 cols
[2022-05-19 18:19:39] [INFO ] Computed 33 place invariants in 3 ms
[2022-05-19 18:19:39] [INFO ] Implicit Places using invariants in 287 ms returned []
[2022-05-19 18:19:39] [INFO ] Flow matrix only has 571 transitions (discarded 7 similar events)
// Phase 1: matrix 571 rows 402 cols
[2022-05-19 18:19:39] [INFO ] Computed 33 place invariants in 2 ms
[2022-05-19 18:19:40] [INFO ] State equation strengthened by 13 read => feed constraints.
[2022-05-19 18:19:40] [INFO ] Implicit Places using invariants and state equation in 864 ms returned []
Implicit Place search using SMT with State Equation took 1165 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 3 : 402/1103 places, 578/1405 transitions.
Finished structural reductions, in 3 iterations. Remains : 402/1103 places, 578/1405 transitions.
[2022-05-19 18:19:40] [INFO ] Flatten gal took : 52 ms
[2022-05-19 18:19:40] [INFO ] Flatten gal took : 27 ms
[2022-05-19 18:19:40] [INFO ] Input system was already deterministic with 578 transitions.
[2022-05-19 18:19:41] [INFO ] Flatten gal took : 28 ms
[2022-05-19 18:19:41] [INFO ] Flatten gal took : 33 ms
[2022-05-19 18:19:41] [INFO ] Time to serialize gal into /tmp/CTLFireability796068028848888914.gal : 3 ms
[2022-05-19 18:19:41] [INFO ] Time to serialize properties into /tmp/CTLFireability3179448080294173433.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/CTLFireability796068028848888914.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3179448080294173433.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 18:20:11] [INFO ] Flatten gal took : 23 ms
[2022-05-19 18:20:11] [INFO ] Applying decomposition
[2022-05-19 18:20:11] [INFO ] Flatten gal took : 15 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/graph13706072176206810452.txt' '-o' '/tmp/graph13706072176206810452.bin' '-w' '/tmp/graph13706072176206810452.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph13706072176206810452.bin' '-l' '-1' '-v' '-w' '/tmp/graph13706072176206810452.weights' '-q' '0' '-e' '0.001'
[2022-05-19 18:20:11] [INFO ] Decomposing Gal with order
[2022-05-19 18:20:11] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 18:20:11] [INFO ] Removed a total of 236 redundant transitions.
[2022-05-19 18:20:11] [INFO ] Flatten gal took : 38 ms
[2022-05-19 18:20:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 36 labels/synchronizations in 8 ms.
[2022-05-19 18:20:11] [INFO ] Time to serialize gal into /tmp/CTLFireability6726557967081041084.gal : 5 ms
[2022-05-19 18:20:11] [INFO ] Time to serialize properties into /tmp/CTLFireability5820148140339729917.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/CTLFireability6726557967081041084.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5820148140339729917.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 1103/1103 places, 1405/1405 transitions.
Graph (trivial) has 910 edges and 1103 vertex of which 72 / 1103 are part of one of the 9 SCC in 1 ms
Free SCC test removed 63 places
Ensure Unique test removed 63 transitions
Reduce isomorphic transitions removed 63 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 172 transitions
Trivial Post-agglo rules discarded 172 transitions
Performed 172 trivial Post agglomeration. Transition count delta: 172
Iterating post reduction 0 with 172 rules applied. Total rules applied 173 place count 1039 transition count 1169
Reduce places removed 172 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 173 rules applied. Total rules applied 346 place count 867 transition count 1168
Performed 75 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 75 Pre rules applied. Total rules applied 346 place count 867 transition count 1093
Deduced a syphon composed of 75 places in 3 ms
Reduce places removed 75 places and 0 transitions.
Iterating global reduction 2 with 150 rules applied. Total rules applied 496 place count 792 transition count 1093
Discarding 55 places :
Symmetric choice reduction at 2 with 55 rule applications. Total rules 551 place count 737 transition count 996
Iterating global reduction 2 with 55 rules applied. Total rules applied 606 place count 737 transition count 996
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Drop transitions removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 2 with 7 rules applied. Total rules applied 613 place count 737 transition count 989
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 3 with 3 rules applied. Total rules applied 616 place count 734 transition count 989
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 5 Pre rules applied. Total rules applied 616 place count 734 transition count 984
Deduced a syphon composed of 5 places in 3 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 4 with 10 rules applied. Total rules applied 626 place count 729 transition count 984
Discarding 19 places :
Symmetric choice reduction at 4 with 19 rule applications. Total rules 645 place count 710 transition count 953
Iterating global reduction 4 with 19 rules applied. Total rules applied 664 place count 710 transition count 953
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 4 with 5 rules applied. Total rules applied 669 place count 710 transition count 948
Discarding 8 places :
Symmetric choice reduction at 5 with 8 rule applications. Total rules 677 place count 702 transition count 937
Iterating global reduction 5 with 8 rules applied. Total rules applied 685 place count 702 transition count 937
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 5 with 5 rules applied. Total rules applied 690 place count 701 transition count 933
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 691 place count 700 transition count 933
Discarding 5 places :
Symmetric choice reduction at 7 with 5 rule applications. Total rules 696 place count 695 transition count 926
Iterating global reduction 7 with 5 rules applied. Total rules applied 701 place count 695 transition count 926
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 7 with 3 rules applied. Total rules applied 704 place count 695 transition count 923
Discarding 2 places :
Symmetric choice reduction at 8 with 2 rule applications. Total rules 706 place count 693 transition count 921
Iterating global reduction 8 with 2 rules applied. Total rules applied 708 place count 693 transition count 921
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 8 with 4 rules applied. Total rules applied 712 place count 692 transition count 918
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 9 with 1 rules applied. Total rules applied 713 place count 691 transition count 918
Performed 185 Post agglomeration using F-continuation condition.Transition count delta: 185
Deduced a syphon composed of 185 places in 0 ms
Reduce places removed 185 places and 0 transitions.
Iterating global reduction 10 with 370 rules applied. Total rules applied 1083 place count 506 transition count 733
Discarding 22 places :
Symmetric choice reduction at 10 with 22 rule applications. Total rules 1105 place count 484 transition count 692
Iterating global reduction 10 with 22 rules applied. Total rules applied 1127 place count 484 transition count 692
Discarding 22 places :
Symmetric choice reduction at 10 with 22 rule applications. Total rules 1149 place count 462 transition count 667
Iterating global reduction 10 with 22 rules applied. Total rules applied 1171 place count 462 transition count 667
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 10 with 5 rules applied. Total rules applied 1176 place count 461 transition count 663
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 11 with 1 rules applied. Total rules applied 1177 place count 460 transition count 663
Discarding 9 places :
Symmetric choice reduction at 12 with 9 rule applications. Total rules 1186 place count 451 transition count 646
Iterating global reduction 12 with 9 rules applied. Total rules applied 1195 place count 451 transition count 646
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 12 with 3 rules applied. Total rules applied 1198 place count 450 transition count 644
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 13 with 1 rules applied. Total rules applied 1199 place count 449 transition count 644
Discarding 6 places :
Symmetric choice reduction at 14 with 6 rule applications. Total rules 1205 place count 443 transition count 638
Iterating global reduction 14 with 6 rules applied. Total rules applied 1211 place count 443 transition count 638
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 14 with 6 rules applied. Total rules applied 1217 place count 443 transition count 632
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 15 with 2 rules applied. Total rules applied 1219 place count 442 transition count 631
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 15 with 1 rules applied. Total rules applied 1220 place count 441 transition count 630
Reduce places removed 9 places and 0 transitions.
Drop transitions removed 24 transitions
Trivial Post-agglo rules discarded 24 transitions
Performed 24 trivial Post agglomeration. Transition count delta: 24
Iterating post reduction 15 with 33 rules applied. Total rules applied 1253 place count 432 transition count 606
Reduce places removed 24 places and 0 transitions.
Ensure Unique test removed 24 transitions
Reduce isomorphic transitions removed 24 transitions.
Iterating post reduction 16 with 48 rules applied. Total rules applied 1301 place count 408 transition count 582
Applied a total of 1301 rules in 261 ms. Remains 408 /1103 variables (removed 695) and now considering 582/1405 (removed 823) transitions.
[2022-05-19 18:20:41] [INFO ] Flow matrix only has 572 transitions (discarded 10 similar events)
// Phase 1: matrix 572 rows 408 cols
[2022-05-19 18:20:41] [INFO ] Computed 33 place invariants in 2 ms
[2022-05-19 18:20:41] [INFO ] Implicit Places using invariants in 260 ms returned []
[2022-05-19 18:20:41] [INFO ] Flow matrix only has 572 transitions (discarded 10 similar events)
// Phase 1: matrix 572 rows 408 cols
[2022-05-19 18:20:41] [INFO ] Computed 33 place invariants in 1 ms
[2022-05-19 18:20:42] [INFO ] State equation strengthened by 12 read => feed constraints.
[2022-05-19 18:20:42] [INFO ] Implicit Places using invariants and state equation in 689 ms returned [166, 253, 254, 330]
Discarding 4 places :
Implicit Place search using SMT with State Equation took 952 ms to find 4 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 404/1103 places, 582/1405 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 0 with 8 rules applied. Total rules applied 8 place count 400 transition count 578
Applied a total of 8 rules in 24 ms. Remains 400 /404 variables (removed 4) and now considering 578/582 (removed 4) transitions.
[2022-05-19 18:20:42] [INFO ] Flow matrix only has 568 transitions (discarded 10 similar events)
// Phase 1: matrix 568 rows 400 cols
[2022-05-19 18:20:42] [INFO ] Computed 33 place invariants in 2 ms
[2022-05-19 18:20:42] [INFO ] Implicit Places using invariants in 336 ms returned []
[2022-05-19 18:20:42] [INFO ] Flow matrix only has 568 transitions (discarded 10 similar events)
// Phase 1: matrix 568 rows 400 cols
[2022-05-19 18:20:42] [INFO ] Computed 33 place invariants in 2 ms
[2022-05-19 18:20:43] [INFO ] State equation strengthened by 12 read => feed constraints.
[2022-05-19 18:20:43] [INFO ] Implicit Places using invariants and state equation in 781 ms returned []
Implicit Place search using SMT with State Equation took 1120 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 400/1103 places, 578/1405 transitions.
Finished structural reductions, in 2 iterations. Remains : 400/1103 places, 578/1405 transitions.
[2022-05-19 18:20:43] [INFO ] Flatten gal took : 38 ms
[2022-05-19 18:20:43] [INFO ] Flatten gal took : 31 ms
[2022-05-19 18:20:43] [INFO ] Input system was already deterministic with 578 transitions.
[2022-05-19 18:20:43] [INFO ] Flatten gal took : 27 ms
[2022-05-19 18:20:43] [INFO ] Flatten gal took : 34 ms
[2022-05-19 18:20:43] [INFO ] Time to serialize gal into /tmp/CTLFireability12849730113974886369.gal : 3 ms
[2022-05-19 18:20:43] [INFO ] Time to serialize properties into /tmp/CTLFireability14910999943992653722.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/CTLFireability12849730113974886369.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14910999943992653722.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 18:21:13] [INFO ] Flatten gal took : 14 ms
[2022-05-19 18:21:13] [INFO ] Applying decomposition
[2022-05-19 18:21:13] [INFO ] Flatten gal took : 13 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/graph15347178879021271209.txt' '-o' '/tmp/graph15347178879021271209.bin' '-w' '/tmp/graph15347178879021271209.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph15347178879021271209.bin' '-l' '-1' '-v' '-w' '/tmp/graph15347178879021271209.weights' '-q' '0' '-e' '0.001'
[2022-05-19 18:21:13] [INFO ] Decomposing Gal with order
[2022-05-19 18:21:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 18:21:14] [INFO ] Removed a total of 231 redundant transitions.
[2022-05-19 18:21:14] [INFO ] Flatten gal took : 23 ms
[2022-05-19 18:21:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 52 labels/synchronizations in 6 ms.
[2022-05-19 18:21:14] [INFO ] Time to serialize gal into /tmp/CTLFireability16163664259881268439.gal : 5 ms
[2022-05-19 18:21:14] [INFO ] Time to serialize properties into /tmp/CTLFireability16994647732104263144.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/CTLFireability16163664259881268439.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16994647732104263144.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.06049e+38,27.8097,512848,1363,257,662567,4799,1225,3.32037e+06,178,21414,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 1103/1103 places, 1405/1405 transitions.
Graph (trivial) has 913 edges and 1103 vertex of which 72 / 1103 are part of one of the 9 SCC in 1 ms
Free SCC test removed 63 places
Ensure Unique test removed 63 transitions
Reduce isomorphic transitions removed 63 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 169 transitions
Trivial Post-agglo rules discarded 169 transitions
Performed 169 trivial Post agglomeration. Transition count delta: 169
Iterating post reduction 0 with 169 rules applied. Total rules applied 170 place count 1039 transition count 1172
Reduce places removed 169 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 170 rules applied. Total rules applied 340 place count 870 transition count 1171
Performed 75 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 75 Pre rules applied. Total rules applied 340 place count 870 transition count 1096
Deduced a syphon composed of 75 places in 3 ms
Reduce places removed 75 places and 0 transitions.
Iterating global reduction 2 with 150 rules applied. Total rules applied 490 place count 795 transition count 1096
Discarding 58 places :
Symmetric choice reduction at 2 with 58 rule applications. Total rules 548 place count 737 transition count 994
Iterating global reduction 2 with 58 rules applied. Total rules applied 606 place count 737 transition count 994
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Drop transitions removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 2 with 8 rules applied. Total rules applied 614 place count 737 transition count 986
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 3 with 4 rules applied. Total rules applied 618 place count 733 transition count 986
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 5 Pre rules applied. Total rules applied 618 place count 733 transition count 981
Deduced a syphon composed of 5 places in 2 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 4 with 10 rules applied. Total rules applied 628 place count 728 transition count 981
Discarding 22 places :
Symmetric choice reduction at 4 with 22 rule applications. Total rules 650 place count 706 transition count 945
Iterating global reduction 4 with 22 rules applied. Total rules applied 672 place count 706 transition count 945
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 4 with 7 rules applied. Total rules applied 679 place count 706 transition count 938
Discarding 8 places :
Symmetric choice reduction at 5 with 8 rule applications. Total rules 687 place count 698 transition count 927
Iterating global reduction 5 with 8 rules applied. Total rules applied 695 place count 698 transition count 927
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 5 with 5 rules applied. Total rules applied 700 place count 697 transition count 923
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 701 place count 696 transition count 923
Discarding 5 places :
Symmetric choice reduction at 7 with 5 rule applications. Total rules 706 place count 691 transition count 916
Iterating global reduction 7 with 5 rules applied. Total rules applied 711 place count 691 transition count 916
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 7 with 3 rules applied. Total rules applied 714 place count 691 transition count 913
Discarding 2 places :
Symmetric choice reduction at 8 with 2 rule applications. Total rules 716 place count 689 transition count 911
Iterating global reduction 8 with 2 rules applied. Total rules applied 718 place count 689 transition count 911
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 8 with 4 rules applied. Total rules applied 722 place count 688 transition count 908
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 9 with 1 rules applied. Total rules applied 723 place count 687 transition count 908
Performed 184 Post agglomeration using F-continuation condition.Transition count delta: 184
Deduced a syphon composed of 184 places in 1 ms
Reduce places removed 184 places and 0 transitions.
Iterating global reduction 10 with 368 rules applied. Total rules applied 1091 place count 503 transition count 724
Discarding 20 places :
Symmetric choice reduction at 10 with 20 rule applications. Total rules 1111 place count 483 transition count 687
Iterating global reduction 10 with 20 rules applied. Total rules applied 1131 place count 483 transition count 687
Discarding 20 places :
Symmetric choice reduction at 10 with 20 rule applications. Total rules 1151 place count 463 transition count 664
Iterating global reduction 10 with 20 rules applied. Total rules applied 1171 place count 463 transition count 664
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 10 with 4 rules applied. Total rules applied 1175 place count 462 transition count 661
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 11 with 1 rules applied. Total rules applied 1176 place count 461 transition count 661
Discarding 9 places :
Symmetric choice reduction at 12 with 9 rule applications. Total rules 1185 place count 452 transition count 644
Iterating global reduction 12 with 9 rules applied. Total rules applied 1194 place count 452 transition count 644
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 12 with 3 rules applied. Total rules applied 1197 place count 451 transition count 642
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 13 with 1 rules applied. Total rules applied 1198 place count 450 transition count 642
Discarding 6 places :
Symmetric choice reduction at 14 with 6 rule applications. Total rules 1204 place count 444 transition count 636
Iterating global reduction 14 with 6 rules applied. Total rules applied 1210 place count 444 transition count 636
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 14 with 6 rules applied. Total rules applied 1216 place count 444 transition count 630
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 15 with 2 rules applied. Total rules applied 1218 place count 443 transition count 629
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 15 with 1 rules applied. Total rules applied 1219 place count 442 transition count 628
Reduce places removed 9 places and 0 transitions.
Drop transitions removed 24 transitions
Trivial Post-agglo rules discarded 24 transitions
Performed 24 trivial Post agglomeration. Transition count delta: 24
Iterating post reduction 15 with 33 rules applied. Total rules applied 1252 place count 433 transition count 604
Reduce places removed 24 places and 0 transitions.
Ensure Unique test removed 24 transitions
Reduce isomorphic transitions removed 24 transitions.
Iterating post reduction 16 with 48 rules applied. Total rules applied 1300 place count 409 transition count 580
Applied a total of 1300 rules in 249 ms. Remains 409 /1103 variables (removed 694) and now considering 580/1405 (removed 825) transitions.
[2022-05-19 18:21:44] [INFO ] Flow matrix only has 572 transitions (discarded 8 similar events)
// Phase 1: matrix 572 rows 409 cols
[2022-05-19 18:21:44] [INFO ] Computed 33 place invariants in 2 ms
[2022-05-19 18:21:44] [INFO ] Implicit Places using invariants in 297 ms returned []
[2022-05-19 18:21:44] [INFO ] Flow matrix only has 572 transitions (discarded 8 similar events)
// Phase 1: matrix 572 rows 409 cols
[2022-05-19 18:21:44] [INFO ] Computed 33 place invariants in 2 ms
[2022-05-19 18:21:45] [INFO ] State equation strengthened by 12 read => feed constraints.
[2022-05-19 18:21:45] [INFO ] Implicit Places using invariants and state equation in 722 ms returned [166, 253, 254, 333]
Discarding 4 places :
Implicit Place search using SMT with State Equation took 1030 ms to find 4 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 405/1103 places, 580/1405 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 0 with 8 rules applied. Total rules applied 8 place count 401 transition count 576
Applied a total of 8 rules in 16 ms. Remains 401 /405 variables (removed 4) and now considering 576/580 (removed 4) transitions.
[2022-05-19 18:21:45] [INFO ] Flow matrix only has 568 transitions (discarded 8 similar events)
// Phase 1: matrix 568 rows 401 cols
[2022-05-19 18:21:45] [INFO ] Computed 33 place invariants in 1 ms
[2022-05-19 18:21:45] [INFO ] Implicit Places using invariants in 244 ms returned []
[2022-05-19 18:21:45] [INFO ] Flow matrix only has 568 transitions (discarded 8 similar events)
// Phase 1: matrix 568 rows 401 cols
[2022-05-19 18:21:45] [INFO ] Computed 33 place invariants in 9 ms
[2022-05-19 18:21:45] [INFO ] State equation strengthened by 12 read => feed constraints.
[2022-05-19 18:21:46] [INFO ] Implicit Places using invariants and state equation in 785 ms returned []
Implicit Place search using SMT with State Equation took 1035 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 401/1103 places, 576/1405 transitions.
Finished structural reductions, in 2 iterations. Remains : 401/1103 places, 576/1405 transitions.
[2022-05-19 18:21:46] [INFO ] Flatten gal took : 23 ms
[2022-05-19 18:21:46] [INFO ] Flatten gal took : 24 ms
[2022-05-19 18:21:46] [INFO ] Input system was already deterministic with 576 transitions.
[2022-05-19 18:21:46] [INFO ] Flatten gal took : 23 ms
[2022-05-19 18:21:46] [INFO ] Flatten gal took : 29 ms
[2022-05-19 18:21:46] [INFO ] Time to serialize gal into /tmp/CTLFireability12738456306409254439.gal : 3 ms
[2022-05-19 18:21:46] [INFO ] Time to serialize properties into /tmp/CTLFireability3027085597174341821.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/CTLFireability12738456306409254439.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3027085597174341821.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 18:22:16] [INFO ] Flatten gal took : 14 ms
[2022-05-19 18:22:16] [INFO ] Applying decomposition
[2022-05-19 18:22:16] [INFO ] Flatten gal took : 13 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/graph18171577046864372757.txt' '-o' '/tmp/graph18171577046864372757.bin' '-w' '/tmp/graph18171577046864372757.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph18171577046864372757.bin' '-l' '-1' '-v' '-w' '/tmp/graph18171577046864372757.weights' '-q' '0' '-e' '0.001'
[2022-05-19 18:22:16] [INFO ] Decomposing Gal with order
[2022-05-19 18:22:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 18:22:16] [INFO ] Removed a total of 230 redundant transitions.
[2022-05-19 18:22:16] [INFO ] Flatten gal took : 23 ms
[2022-05-19 18:22:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 24 labels/synchronizations in 5 ms.
[2022-05-19 18:22:16] [INFO ] Time to serialize gal into /tmp/CTLFireability14053221478937533861.gal : 5 ms
[2022-05-19 18:22:16] [INFO ] Time to serialize properties into /tmp/CTLFireability7721672374140430418.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/CTLFireability14053221478937533861.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7721672374140430418.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 : 1103/1103 places, 1405/1405 transitions.
Discarding 53 places :
Symmetric choice reduction at 0 with 53 rule applications. Total rules 53 place count 1050 transition count 1333
Iterating global reduction 0 with 53 rules applied. Total rules applied 106 place count 1050 transition count 1333
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 109 place count 1050 transition count 1330
Discarding 34 places :
Symmetric choice reduction at 1 with 34 rule applications. Total rules 143 place count 1016 transition count 1291
Iterating global reduction 1 with 34 rules applied. Total rules applied 177 place count 1016 transition count 1291
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 183 place count 1016 transition count 1285
Discarding 30 places :
Symmetric choice reduction at 2 with 30 rule applications. Total rules 213 place count 986 transition count 1245
Iterating global reduction 2 with 30 rules applied. Total rules applied 243 place count 986 transition count 1245
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 246 place count 986 transition count 1242
Discarding 18 places :
Symmetric choice reduction at 3 with 18 rule applications. Total rules 264 place count 968 transition count 1218
Iterating global reduction 3 with 18 rules applied. Total rules applied 282 place count 968 transition count 1218
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 3 with 4 rules applied. Total rules applied 286 place count 967 transition count 1215
Discarding 11 places :
Symmetric choice reduction at 4 with 11 rule applications. Total rules 297 place count 956 transition count 1203
Iterating global reduction 4 with 11 rules applied. Total rules applied 308 place count 956 transition count 1203
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 4 with 5 rules applied. Total rules applied 313 place count 955 transition count 1199
Discarding 7 places :
Symmetric choice reduction at 5 with 7 rule applications. Total rules 320 place count 948 transition count 1189
Iterating global reduction 5 with 7 rules applied. Total rules applied 327 place count 948 transition count 1189
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 330 place count 948 transition count 1186
Discarding 4 places :
Symmetric choice reduction at 6 with 4 rule applications. Total rules 334 place count 944 transition count 1182
Iterating global reduction 6 with 4 rules applied. Total rules applied 338 place count 944 transition count 1182
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 339 place count 944 transition count 1181
Discarding 3 places :
Symmetric choice reduction at 7 with 3 rule applications. Total rules 342 place count 941 transition count 1178
Iterating global reduction 7 with 3 rules applied. Total rules applied 345 place count 941 transition count 1178
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 7 with 3 rules applied. Total rules applied 348 place count 941 transition count 1175
Applied a total of 348 rules in 270 ms. Remains 941 /1103 variables (removed 162) and now considering 1175/1405 (removed 230) transitions.
// Phase 1: matrix 1175 rows 941 cols
[2022-05-19 18:22:47] [INFO ] Computed 42 place invariants in 16 ms
[2022-05-19 18:22:47] [INFO ] Implicit Places using invariants in 730 ms returned []
// Phase 1: matrix 1175 rows 941 cols
[2022-05-19 18:22:47] [INFO ] Computed 42 place invariants in 6 ms
[2022-05-19 18:22:49] [INFO ] Implicit Places using invariants and state equation in 1449 ms returned [240, 437, 604, 605, 768]
Discarding 5 places :
Implicit Place search using SMT with State Equation took 2181 ms to find 5 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 936/1103 places, 1175/1405 transitions.
Applied a total of 0 rules in 25 ms. Remains 936 /936 variables (removed 0) and now considering 1175/1175 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 936/1103 places, 1175/1405 transitions.
[2022-05-19 18:22:49] [INFO ] Flatten gal took : 39 ms
[2022-05-19 18:22:49] [INFO ] Flatten gal took : 29 ms
[2022-05-19 18:22:49] [INFO ] Input system was already deterministic with 1175 transitions.
[2022-05-19 18:22:49] [INFO ] Flatten gal took : 46 ms
[2022-05-19 18:22:49] [INFO ] Flatten gal took : 45 ms
[2022-05-19 18:22:49] [INFO ] Time to serialize gal into /tmp/CTLFireability15501214449046163097.gal : 6 ms
[2022-05-19 18:22:49] [INFO ] Time to serialize properties into /tmp/CTLFireability16432649859707037037.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/CTLFireability15501214449046163097.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16432649859707037037.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 18:23:19] [INFO ] Flatten gal took : 32 ms
[2022-05-19 18:23:19] [INFO ] Applying decomposition
[2022-05-19 18:23:19] [INFO ] Flatten gal took : 26 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/graph14600692201548572949.txt' '-o' '/tmp/graph14600692201548572949.bin' '-w' '/tmp/graph14600692201548572949.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph14600692201548572949.bin' '-l' '-1' '-v' '-w' '/tmp/graph14600692201548572949.weights' '-q' '0' '-e' '0.001'
[2022-05-19 18:23:19] [INFO ] Decomposing Gal with order
[2022-05-19 18:23:19] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 18:23:19] [INFO ] Removed a total of 466 redundant transitions.
[2022-05-19 18:23:19] [INFO ] Flatten gal took : 70 ms
[2022-05-19 18:23:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 52 labels/synchronizations in 16 ms.
[2022-05-19 18:23:19] [INFO ] Time to serialize gal into /tmp/CTLFireability17997592600806677938.gal : 13 ms
[2022-05-19 18:23:19] [INFO ] Time to serialize properties into /tmp/CTLFireability14516925488729168984.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/CTLFireability17997592600806677938.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14516925488729168984.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...255
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 1103/1103 places, 1405/1405 transitions.
Graph (trivial) has 915 edges and 1103 vertex of which 72 / 1103 are part of one of the 9 SCC in 0 ms
Free SCC test removed 63 places
Ensure Unique test removed 63 transitions
Reduce isomorphic transitions removed 63 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 172 transitions
Trivial Post-agglo rules discarded 172 transitions
Performed 172 trivial Post agglomeration. Transition count delta: 172
Iterating post reduction 0 with 172 rules applied. Total rules applied 173 place count 1039 transition count 1169
Reduce places removed 172 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 173 rules applied. Total rules applied 346 place count 867 transition count 1168
Performed 75 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 75 Pre rules applied. Total rules applied 346 place count 867 transition count 1093
Deduced a syphon composed of 75 places in 3 ms
Reduce places removed 75 places and 0 transitions.
Iterating global reduction 2 with 150 rules applied. Total rules applied 496 place count 792 transition count 1093
Discarding 58 places :
Symmetric choice reduction at 2 with 58 rule applications. Total rules 554 place count 734 transition count 991
Iterating global reduction 2 with 58 rules applied. Total rules applied 612 place count 734 transition count 991
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Drop transitions removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 2 with 8 rules applied. Total rules applied 620 place count 734 transition count 983
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 3 with 4 rules applied. Total rules applied 624 place count 730 transition count 983
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 5 Pre rules applied. Total rules applied 624 place count 730 transition count 978
Deduced a syphon composed of 5 places in 3 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 4 with 10 rules applied. Total rules applied 634 place count 725 transition count 978
Discarding 22 places :
Symmetric choice reduction at 4 with 22 rule applications. Total rules 656 place count 703 transition count 942
Iterating global reduction 4 with 22 rules applied. Total rules applied 678 place count 703 transition count 942
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 4 with 7 rules applied. Total rules applied 685 place count 703 transition count 935
Discarding 8 places :
Symmetric choice reduction at 5 with 8 rule applications. Total rules 693 place count 695 transition count 924
Iterating global reduction 5 with 8 rules applied. Total rules applied 701 place count 695 transition count 924
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 5 with 5 rules applied. Total rules applied 706 place count 694 transition count 920
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 707 place count 693 transition count 920
Discarding 5 places :
Symmetric choice reduction at 7 with 5 rule applications. Total rules 712 place count 688 transition count 913
Iterating global reduction 7 with 5 rules applied. Total rules applied 717 place count 688 transition count 913
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 7 with 3 rules applied. Total rules applied 720 place count 688 transition count 910
Discarding 2 places :
Symmetric choice reduction at 8 with 2 rule applications. Total rules 722 place count 686 transition count 908
Iterating global reduction 8 with 2 rules applied. Total rules applied 724 place count 686 transition count 908
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 8 with 4 rules applied. Total rules applied 728 place count 685 transition count 905
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 9 with 1 rules applied. Total rules applied 729 place count 684 transition count 905
Performed 184 Post agglomeration using F-continuation condition.Transition count delta: 184
Deduced a syphon composed of 184 places in 1 ms
Reduce places removed 184 places and 0 transitions.
Iterating global reduction 10 with 368 rules applied. Total rules applied 1097 place count 500 transition count 721
Discarding 21 places :
Symmetric choice reduction at 10 with 21 rule applications. Total rules 1118 place count 479 transition count 682
Iterating global reduction 10 with 21 rules applied. Total rules applied 1139 place count 479 transition count 682
Discarding 21 places :
Symmetric choice reduction at 10 with 21 rule applications. Total rules 1160 place count 458 transition count 658
Iterating global reduction 10 with 21 rules applied. Total rules applied 1181 place count 458 transition count 658
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 10 with 3 rules applied. Total rules applied 1184 place count 458 transition count 655
Discarding 9 places :
Symmetric choice reduction at 11 with 9 rule applications. Total rules 1193 place count 449 transition count 638
Iterating global reduction 11 with 9 rules applied. Total rules applied 1202 place count 449 transition count 638
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 11 with 3 rules applied. Total rules applied 1205 place count 448 transition count 636
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 12 with 1 rules applied. Total rules applied 1206 place count 447 transition count 636
Discarding 6 places :
Symmetric choice reduction at 13 with 6 rule applications. Total rules 1212 place count 441 transition count 630
Iterating global reduction 13 with 6 rules applied. Total rules applied 1218 place count 441 transition count 630
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 13 with 6 rules applied. Total rules applied 1224 place count 441 transition count 624
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 14 with 2 rules applied. Total rules applied 1226 place count 440 transition count 623
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 14 with 1 rules applied. Total rules applied 1227 place count 440 transition count 623
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 14 with 1 rules applied. Total rules applied 1228 place count 439 transition count 622
Reduce places removed 9 places and 0 transitions.
Drop transitions removed 24 transitions
Trivial Post-agglo rules discarded 24 transitions
Performed 24 trivial Post agglomeration. Transition count delta: 24
Iterating post reduction 14 with 33 rules applied. Total rules applied 1261 place count 430 transition count 598
Reduce places removed 24 places and 0 transitions.
Ensure Unique test removed 24 transitions
Reduce isomorphic transitions removed 24 transitions.
Iterating post reduction 15 with 48 rules applied. Total rules applied 1309 place count 406 transition count 574
Applied a total of 1309 rules in 231 ms. Remains 406 /1103 variables (removed 697) and now considering 574/1405 (removed 831) transitions.
[2022-05-19 18:23:50] [INFO ] Flow matrix only has 566 transitions (discarded 8 similar events)
// Phase 1: matrix 566 rows 406 cols
[2022-05-19 18:23:50] [INFO ] Computed 33 place invariants in 2 ms
[2022-05-19 18:23:50] [INFO ] Implicit Places using invariants in 425 ms returned []
[2022-05-19 18:23:50] [INFO ] Flow matrix only has 566 transitions (discarded 8 similar events)
// Phase 1: matrix 566 rows 406 cols
[2022-05-19 18:23:50] [INFO ] Computed 33 place invariants in 2 ms
[2022-05-19 18:23:51] [INFO ] State equation strengthened by 12 read => feed constraints.
[2022-05-19 18:23:51] [INFO ] Implicit Places using invariants and state equation in 924 ms returned [162, 250, 251, 330]
Discarding 4 places :
Implicit Place search using SMT with State Equation took 1354 ms to find 4 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 402/1103 places, 574/1405 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 0 with 8 rules applied. Total rules applied 8 place count 398 transition count 570
Applied a total of 8 rules in 25 ms. Remains 398 /402 variables (removed 4) and now considering 570/574 (removed 4) transitions.
[2022-05-19 18:23:51] [INFO ] Flow matrix only has 562 transitions (discarded 8 similar events)
// Phase 1: matrix 562 rows 398 cols
[2022-05-19 18:23:51] [INFO ] Computed 33 place invariants in 2 ms
[2022-05-19 18:23:51] [INFO ] Implicit Places using invariants in 435 ms returned []
[2022-05-19 18:23:51] [INFO ] Flow matrix only has 562 transitions (discarded 8 similar events)
// Phase 1: matrix 562 rows 398 cols
[2022-05-19 18:23:51] [INFO ] Computed 33 place invariants in 3 ms
[2022-05-19 18:23:52] [INFO ] State equation strengthened by 12 read => feed constraints.
[2022-05-19 18:23:52] [INFO ] Implicit Places using invariants and state equation in 785 ms returned []
Implicit Place search using SMT with State Equation took 1220 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 398/1103 places, 570/1405 transitions.
Finished structural reductions, in 2 iterations. Remains : 398/1103 places, 570/1405 transitions.
[2022-05-19 18:23:52] [INFO ] Flatten gal took : 20 ms
[2022-05-19 18:23:52] [INFO ] Flatten gal took : 22 ms
[2022-05-19 18:23:52] [INFO ] Input system was already deterministic with 570 transitions.
Incomplete random walk after 10000 steps, including 82 resets, run finished after 104 ms. (steps per millisecond=96 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 476085 steps, run timeout after 3001 ms. (steps per millisecond=158 ) properties seen :{}
Probabilistic random walk after 476085 steps, saw 93774 distinct states, run finished after 3002 ms. (steps per millisecond=158 ) properties seen :0
Running SMT prover for 1 properties.
[2022-05-19 18:23:55] [INFO ] Flow matrix only has 562 transitions (discarded 8 similar events)
// Phase 1: matrix 562 rows 398 cols
[2022-05-19 18:23:55] [INFO ] Computed 33 place invariants in 2 ms
[2022-05-19 18:23:56] [INFO ] [Real]Absence check using 33 positive place invariants in 11 ms returned sat
[2022-05-19 18:23:56] [INFO ] After 231ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2022-05-19 18:23:56] [INFO ] State equation strengthened by 12 read => feed constraints.
[2022-05-19 18:23:56] [INFO ] After 29ms SMT Verify possible using 12 Read/Feed constraints in real domain returned unsat :0 sat :0 real:1
[2022-05-19 18:23:56] [INFO ] After 356ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-05-19 18:23:56] [INFO ] [Nat]Absence check using 33 positive place invariants in 16 ms returned sat
[2022-05-19 18:23:56] [INFO ] After 349ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-05-19 18:23:56] [INFO ] After 36ms SMT Verify possible using 12 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-05-19 18:23:56] [INFO ] After 91ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 34 ms.
[2022-05-19 18:23:56] [INFO ] After 619ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Finished Parikh walk after 6310 steps, including 661 resets, run visited all 1 properties in 33 ms. (steps per millisecond=191 )
FORMULA NoC3x3-PT-3B-CTLFireability-12 TRUE TECHNIQUES TOPOLOGICAL PARIKH_WALK
Parikh walk visited 1 properties in 33 ms.
Starting structural reductions in LTL mode, iteration 0 : 1103/1103 places, 1405/1405 transitions.
Discarding 54 places :
Symmetric choice reduction at 0 with 54 rule applications. Total rules 54 place count 1049 transition count 1332
Iterating global reduction 0 with 54 rules applied. Total rules applied 108 place count 1049 transition count 1332
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 111 place count 1049 transition count 1329
Discarding 35 places :
Symmetric choice reduction at 1 with 35 rule applications. Total rules 146 place count 1014 transition count 1288
Iterating global reduction 1 with 35 rules applied. Total rules applied 181 place count 1014 transition count 1288
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 187 place count 1014 transition count 1282
Discarding 31 places :
Symmetric choice reduction at 2 with 31 rule applications. Total rules 218 place count 983 transition count 1241
Iterating global reduction 2 with 31 rules applied. Total rules applied 249 place count 983 transition count 1241
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 2 with 4 rules applied. Total rules applied 253 place count 982 transition count 1238
Discarding 19 places :
Symmetric choice reduction at 3 with 19 rule applications. Total rules 272 place count 963 transition count 1213
Iterating global reduction 3 with 19 rules applied. Total rules applied 291 place count 963 transition count 1213
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 3 with 5 rules applied. Total rules applied 296 place count 962 transition count 1209
Discarding 12 places :
Symmetric choice reduction at 4 with 12 rule applications. Total rules 308 place count 950 transition count 1195
Iterating global reduction 4 with 12 rules applied. Total rules applied 320 place count 950 transition count 1195
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 4 with 5 rules applied. Total rules applied 325 place count 949 transition count 1191
Discarding 8 places :
Symmetric choice reduction at 5 with 8 rule applications. Total rules 333 place count 941 transition count 1180
Iterating global reduction 5 with 8 rules applied. Total rules applied 341 place count 941 transition count 1180
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 344 place count 941 transition count 1177
Discarding 5 places :
Symmetric choice reduction at 6 with 5 rule applications. Total rules 349 place count 936 transition count 1172
Iterating global reduction 6 with 5 rules applied. Total rules applied 354 place count 936 transition count 1172
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 6 with 2 rules applied. Total rules applied 356 place count 936 transition count 1170
Discarding 3 places :
Symmetric choice reduction at 7 with 3 rule applications. Total rules 359 place count 933 transition count 1167
Iterating global reduction 7 with 3 rules applied. Total rules applied 362 place count 933 transition count 1167
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 7 with 3 rules applied. Total rules applied 365 place count 933 transition count 1164
Applied a total of 365 rules in 422 ms. Remains 933 /1103 variables (removed 170) and now considering 1164/1405 (removed 241) transitions.
// Phase 1: matrix 1164 rows 933 cols
[2022-05-19 18:23:57] [INFO ] Computed 42 place invariants in 6 ms
[2022-05-19 18:23:58] [INFO ] Implicit Places using invariants in 722 ms returned []
// Phase 1: matrix 1164 rows 933 cols
[2022-05-19 18:23:58] [INFO ] Computed 42 place invariants in 7 ms
[2022-05-19 18:23:59] [INFO ] Implicit Places using invariants and state equation in 1547 ms returned [240, 434, 601, 602, 765]
Discarding 5 places :
Implicit Place search using SMT with State Equation took 2271 ms to find 5 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 928/1103 places, 1164/1405 transitions.
Applied a total of 0 rules in 53 ms. Remains 928 /928 variables (removed 0) and now considering 1164/1164 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 928/1103 places, 1164/1405 transitions.
[2022-05-19 18:23:59] [INFO ] Flatten gal took : 36 ms
[2022-05-19 18:23:59] [INFO ] Flatten gal took : 39 ms
[2022-05-19 18:23:59] [INFO ] Input system was already deterministic with 1164 transitions.
[2022-05-19 18:23:59] [INFO ] Flatten gal took : 45 ms
[2022-05-19 18:23:59] [INFO ] Flatten gal took : 45 ms
[2022-05-19 18:23:59] [INFO ] Time to serialize gal into /tmp/CTLFireability13570348730440423597.gal : 6 ms
[2022-05-19 18:24:00] [INFO ] Time to serialize properties into /tmp/CTLFireability9460715097006943540.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/CTLFireability13570348730440423597.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9460715097006943540.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 18:24:30] [INFO ] Flatten gal took : 46 ms
[2022-05-19 18:24:30] [INFO ] Applying decomposition
[2022-05-19 18:24:30] [INFO ] Flatten gal took : 64 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/graph9193150389863903532.txt' '-o' '/tmp/graph9193150389863903532.bin' '-w' '/tmp/graph9193150389863903532.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph9193150389863903532.bin' '-l' '-1' '-v' '-w' '/tmp/graph9193150389863903532.weights' '-q' '0' '-e' '0.001'
[2022-05-19 18:24:30] [INFO ] Decomposing Gal with order
[2022-05-19 18:24:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 18:24:30] [INFO ] Removed a total of 461 redundant transitions.
[2022-05-19 18:24:30] [INFO ] Flatten gal took : 86 ms
[2022-05-19 18:24:30] [INFO ] Fuse similar labels procedure discarded/fused a total of 37 labels/synchronizations in 17 ms.
[2022-05-19 18:24:30] [INFO ] Time to serialize gal into /tmp/CTLFireability5766544143476264675.gal : 12 ms
[2022-05-19 18:24:30] [INFO ] Time to serialize properties into /tmp/CTLFireability9667067498743787334.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/CTLFireability5766544143476264675.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9667067498743787334.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1103/1103 places, 1405/1405 transitions.
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 50 place count 1053 transition count 1336
Iterating global reduction 0 with 50 rules applied. Total rules applied 100 place count 1053 transition count 1336
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 103 place count 1053 transition count 1333
Discarding 32 places :
Symmetric choice reduction at 1 with 32 rule applications. Total rules 135 place count 1021 transition count 1296
Iterating global reduction 1 with 32 rules applied. Total rules applied 167 place count 1021 transition count 1296
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 173 place count 1021 transition count 1290
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 199 place count 995 transition count 1255
Iterating global reduction 2 with 26 rules applied. Total rules applied 225 place count 995 transition count 1255
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 2 with 4 rules applied. Total rules applied 229 place count 994 transition count 1252
Discarding 16 places :
Symmetric choice reduction at 3 with 16 rule applications. Total rules 245 place count 978 transition count 1232
Iterating global reduction 3 with 16 rules applied. Total rules applied 261 place count 978 transition count 1232
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 3 with 5 rules applied. Total rules applied 266 place count 977 transition count 1228
Discarding 9 places :
Symmetric choice reduction at 4 with 9 rule applications. Total rules 275 place count 968 transition count 1218
Iterating global reduction 4 with 9 rules applied. Total rules applied 284 place count 968 transition count 1218
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 4 with 5 rules applied. Total rules applied 289 place count 967 transition count 1214
Discarding 5 places :
Symmetric choice reduction at 5 with 5 rule applications. Total rules 294 place count 962 transition count 1207
Iterating global reduction 5 with 5 rules applied. Total rules applied 299 place count 962 transition count 1207
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 5 with 2 rules applied. Total rules applied 301 place count 962 transition count 1205
Discarding 3 places :
Symmetric choice reduction at 6 with 3 rule applications. Total rules 304 place count 959 transition count 1202
Iterating global reduction 6 with 3 rules applied. Total rules applied 307 place count 959 transition count 1202
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 308 place count 959 transition count 1201
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 310 place count 957 transition count 1199
Iterating global reduction 7 with 2 rules applied. Total rules applied 312 place count 957 transition count 1199
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 7 with 2 rules applied. Total rules applied 314 place count 957 transition count 1197
Applied a total of 314 rules in 283 ms. Remains 957 /1103 variables (removed 146) and now considering 1197/1405 (removed 208) transitions.
// Phase 1: matrix 1197 rows 957 cols
[2022-05-19 18:25:00] [INFO ] Computed 42 place invariants in 5 ms
[2022-05-19 18:25:01] [INFO ] Implicit Places using invariants in 665 ms returned []
// Phase 1: matrix 1197 rows 957 cols
[2022-05-19 18:25:01] [INFO ] Computed 42 place invariants in 5 ms
[2022-05-19 18:25:02] [INFO ] Implicit Places using invariants and state equation in 1304 ms returned [240, 434, 612, 613, 789]
Discarding 5 places :
Implicit Place search using SMT with State Equation took 1975 ms to find 5 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 952/1103 places, 1197/1405 transitions.
Applied a total of 0 rules in 26 ms. Remains 952 /952 variables (removed 0) and now considering 1197/1197 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 952/1103 places, 1197/1405 transitions.
[2022-05-19 18:25:02] [INFO ] Flatten gal took : 26 ms
[2022-05-19 18:25:02] [INFO ] Flatten gal took : 30 ms
[2022-05-19 18:25:03] [INFO ] Input system was already deterministic with 1197 transitions.
[2022-05-19 18:25:03] [INFO ] Flatten gal took : 41 ms
[2022-05-19 18:25:03] [INFO ] Flatten gal took : 28 ms
[2022-05-19 18:25:03] [INFO ] Time to serialize gal into /tmp/CTLFireability1190858566610259803.gal : 3 ms
[2022-05-19 18:25:03] [INFO ] Time to serialize properties into /tmp/CTLFireability3870458090142469173.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/CTLFireability1190858566610259803.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3870458090142469173.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 18:25:33] [INFO ] Flatten gal took : 28 ms
[2022-05-19 18:25:33] [INFO ] Applying decomposition
[2022-05-19 18:25:33] [INFO ] Flatten gal took : 27 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/graph1720010758684595676.txt' '-o' '/tmp/graph1720010758684595676.bin' '-w' '/tmp/graph1720010758684595676.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph1720010758684595676.bin' '-l' '-1' '-v' '-w' '/tmp/graph1720010758684595676.weights' '-q' '0' '-e' '0.001'
[2022-05-19 18:25:33] [INFO ] Decomposing Gal with order
[2022-05-19 18:25:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 18:25:33] [INFO ] Removed a total of 483 redundant transitions.
[2022-05-19 18:25:33] [INFO ] Flatten gal took : 83 ms
[2022-05-19 18:25:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 28 labels/synchronizations in 17 ms.
[2022-05-19 18:25:33] [INFO ] Time to serialize gal into /tmp/CTLFireability13890132245199418783.gal : 12 ms
[2022-05-19 18:25:33] [INFO ] Time to serialize properties into /tmp/CTLFireability4603585665629315852.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/CTLFireability13890132245199418783.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4603585665629315852.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 : 1103/1103 places, 1405/1405 transitions.
Graph (trivial) has 908 edges and 1103 vertex of which 72 / 1103 are part of one of the 9 SCC in 1 ms
Free SCC test removed 63 places
Ensure Unique test removed 63 transitions
Reduce isomorphic transitions removed 63 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 170 transitions
Trivial Post-agglo rules discarded 170 transitions
Performed 170 trivial Post agglomeration. Transition count delta: 170
Iterating post reduction 0 with 170 rules applied. Total rules applied 171 place count 1039 transition count 1171
Reduce places removed 170 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 172 rules applied. Total rules applied 343 place count 869 transition count 1169
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 344 place count 868 transition count 1169
Performed 75 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 75 Pre rules applied. Total rules applied 344 place count 868 transition count 1094
Deduced a syphon composed of 75 places in 2 ms
Reduce places removed 75 places and 0 transitions.
Iterating global reduction 3 with 150 rules applied. Total rules applied 494 place count 793 transition count 1094
Discarding 57 places :
Symmetric choice reduction at 3 with 57 rule applications. Total rules 551 place count 736 transition count 994
Iterating global reduction 3 with 57 rules applied. Total rules applied 608 place count 736 transition count 994
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Drop transitions removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 3 with 7 rules applied. Total rules applied 615 place count 736 transition count 987
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 618 place count 733 transition count 987
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 4 Pre rules applied. Total rules applied 618 place count 733 transition count 983
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 5 with 8 rules applied. Total rules applied 626 place count 729 transition count 983
Discarding 21 places :
Symmetric choice reduction at 5 with 21 rule applications. Total rules 647 place count 708 transition count 948
Iterating global reduction 5 with 21 rules applied. Total rules applied 668 place count 708 transition count 948
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 5 with 6 rules applied. Total rules applied 674 place count 708 transition count 942
Discarding 8 places :
Symmetric choice reduction at 6 with 8 rule applications. Total rules 682 place count 700 transition count 931
Iterating global reduction 6 with 8 rules applied. Total rules applied 690 place count 700 transition count 931
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 6 with 5 rules applied. Total rules applied 695 place count 699 transition count 927
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 696 place count 698 transition count 927
Discarding 5 places :
Symmetric choice reduction at 8 with 5 rule applications. Total rules 701 place count 693 transition count 920
Iterating global reduction 8 with 5 rules applied. Total rules applied 706 place count 693 transition count 920
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 8 with 3 rules applied. Total rules applied 709 place count 693 transition count 917
Discarding 2 places :
Symmetric choice reduction at 9 with 2 rule applications. Total rules 711 place count 691 transition count 915
Iterating global reduction 9 with 2 rules applied. Total rules applied 713 place count 691 transition count 915
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 9 with 4 rules applied. Total rules applied 717 place count 690 transition count 912
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 10 with 1 rules applied. Total rules applied 718 place count 689 transition count 912
Performed 184 Post agglomeration using F-continuation condition.Transition count delta: 184
Deduced a syphon composed of 184 places in 0 ms
Reduce places removed 184 places and 0 transitions.
Iterating global reduction 11 with 368 rules applied. Total rules applied 1086 place count 505 transition count 728
Discarding 22 places :
Symmetric choice reduction at 11 with 22 rule applications. Total rules 1108 place count 483 transition count 687
Iterating global reduction 11 with 22 rules applied. Total rules applied 1130 place count 483 transition count 687
Discarding 22 places :
Symmetric choice reduction at 11 with 22 rule applications. Total rules 1152 place count 461 transition count 662
Iterating global reduction 11 with 22 rules applied. Total rules applied 1174 place count 461 transition count 662
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 11 with 5 rules applied. Total rules applied 1179 place count 460 transition count 658
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 12 with 1 rules applied. Total rules applied 1180 place count 459 transition count 658
Discarding 8 places :
Symmetric choice reduction at 13 with 8 rule applications. Total rules 1188 place count 451 transition count 643
Iterating global reduction 13 with 8 rules applied. Total rules applied 1196 place count 451 transition count 643
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 13 with 3 rules applied. Total rules applied 1199 place count 450 transition count 641
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 14 with 1 rules applied. Total rules applied 1200 place count 449 transition count 641
Discarding 5 places :
Symmetric choice reduction at 15 with 5 rule applications. Total rules 1205 place count 444 transition count 636
Iterating global reduction 15 with 5 rules applied. Total rules applied 1210 place count 444 transition count 636
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 15 with 5 rules applied. Total rules applied 1215 place count 444 transition count 631
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 16 with 2 rules applied. Total rules applied 1217 place count 443 transition count 630
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 16 with 1 rules applied. Total rules applied 1218 place count 443 transition count 630
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 16 with 1 rules applied. Total rules applied 1219 place count 442 transition count 629
Reduce places removed 2 places and 0 transitions.
Drop transitions removed 5 transitions
Trivial Post-agglo rules discarded 5 transitions
Performed 5 trivial Post agglomeration. Transition count delta: 5
Iterating post reduction 16 with 7 rules applied. Total rules applied 1226 place count 440 transition count 624
Reduce places removed 5 places and 0 transitions.
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 17 with 10 rules applied. Total rules applied 1236 place count 435 transition count 619
Applied a total of 1236 rules in 217 ms. Remains 435 /1103 variables (removed 668) and now considering 619/1405 (removed 786) transitions.
[2022-05-19 18:26:03] [INFO ] Flow matrix only has 611 transitions (discarded 8 similar events)
// Phase 1: matrix 611 rows 435 cols
[2022-05-19 18:26:03] [INFO ] Computed 40 place invariants in 1 ms
[2022-05-19 18:26:04] [INFO ] Implicit Places using invariants in 357 ms returned [7, 38, 91, 126, 180, 273, 331]
Discarding 7 places :
Implicit Place search using SMT only with invariants took 361 ms to find 7 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 428/1103 places, 619/1405 transitions.
Drop transitions removed 19 transitions
Trivial Post-agglo rules discarded 19 transitions
Performed 19 trivial Post agglomeration. Transition count delta: 19
Iterating post reduction 0 with 19 rules applied. Total rules applied 19 place count 428 transition count 600
Reduce places removed 19 places and 0 transitions.
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 1 with 38 rules applied. Total rules applied 57 place count 409 transition count 581
Applied a total of 57 rules in 17 ms. Remains 409 /428 variables (removed 19) and now considering 581/619 (removed 38) transitions.
[2022-05-19 18:26:04] [INFO ] Flow matrix only has 573 transitions (discarded 8 similar events)
// Phase 1: matrix 573 rows 409 cols
[2022-05-19 18:26:04] [INFO ] Computed 33 place invariants in 3 ms
[2022-05-19 18:26:04] [INFO ] Implicit Places using invariants in 268 ms returned []
[2022-05-19 18:26:04] [INFO ] Flow matrix only has 573 transitions (discarded 8 similar events)
// Phase 1: matrix 573 rows 409 cols
[2022-05-19 18:26:04] [INFO ] Computed 33 place invariants in 1 ms
[2022-05-19 18:26:04] [INFO ] State equation strengthened by 12 read => feed constraints.
[2022-05-19 18:26:05] [INFO ] Implicit Places using invariants and state equation in 602 ms returned [165, 252, 253, 330]
Discarding 4 places :
Implicit Place search using SMT with State Equation took 874 ms to find 4 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 405/1103 places, 581/1405 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 0 with 8 rules applied. Total rules applied 8 place count 401 transition count 577
Applied a total of 8 rules in 14 ms. Remains 401 /405 variables (removed 4) and now considering 577/581 (removed 4) transitions.
[2022-05-19 18:26:05] [INFO ] Flow matrix only has 569 transitions (discarded 8 similar events)
// Phase 1: matrix 569 rows 401 cols
[2022-05-19 18:26:05] [INFO ] Computed 33 place invariants in 3 ms
[2022-05-19 18:26:05] [INFO ] Implicit Places using invariants in 354 ms returned []
[2022-05-19 18:26:05] [INFO ] Flow matrix only has 569 transitions (discarded 8 similar events)
// Phase 1: matrix 569 rows 401 cols
[2022-05-19 18:26:05] [INFO ] Computed 33 place invariants in 5 ms
[2022-05-19 18:26:05] [INFO ] State equation strengthened by 12 read => feed constraints.
[2022-05-19 18:26:06] [INFO ] Implicit Places using invariants and state equation in 719 ms returned []
Implicit Place search using SMT with State Equation took 1075 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 3 : 401/1103 places, 577/1405 transitions.
Finished structural reductions, in 3 iterations. Remains : 401/1103 places, 577/1405 transitions.
[2022-05-19 18:26:06] [INFO ] Flatten gal took : 15 ms
[2022-05-19 18:26:06] [INFO ] Flatten gal took : 16 ms
[2022-05-19 18:26:06] [INFO ] Input system was already deterministic with 577 transitions.
[2022-05-19 18:26:06] [INFO ] Flatten gal took : 19 ms
[2022-05-19 18:26:06] [INFO ] Flatten gal took : 14 ms
[2022-05-19 18:26:06] [INFO ] Time to serialize gal into /tmp/CTLFireability3987493979751419759.gal : 3 ms
[2022-05-19 18:26:06] [INFO ] Time to serialize properties into /tmp/CTLFireability13276597818065423898.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/CTLFireability3987493979751419759.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13276597818065423898.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 18:26:36] [INFO ] Flatten gal took : 15 ms
[2022-05-19 18:26:36] [INFO ] Applying decomposition
[2022-05-19 18:26:36] [INFO ] Flatten gal took : 14 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/graph11377283520271251803.txt' '-o' '/tmp/graph11377283520271251803.bin' '-w' '/tmp/graph11377283520271251803.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph11377283520271251803.bin' '-l' '-1' '-v' '-w' '/tmp/graph11377283520271251803.weights' '-q' '0' '-e' '0.001'
[2022-05-19 18:26:36] [INFO ] Decomposing Gal with order
[2022-05-19 18:26:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 18:26:36] [INFO ] Removed a total of 226 redundant transitions.
[2022-05-19 18:26:36] [INFO ] Flatten gal took : 24 ms
[2022-05-19 18:26:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 36 labels/synchronizations in 6 ms.
[2022-05-19 18:26:36] [INFO ] Time to serialize gal into /tmp/CTLFireability15586435893634248319.gal : 4 ms
[2022-05-19 18:26:36] [INFO ] Time to serialize properties into /tmp/CTLFireability8046231338704686409.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/CTLFireability15586435893634248319.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8046231338704686409.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-19 18:27:06] [INFO ] Flatten gal took : 35 ms
[2022-05-19 18:27:06] [INFO ] Flatten gal took : 34 ms
[2022-05-19 18:27:06] [INFO ] Applying decomposition
[2022-05-19 18:27:06] [INFO ] Flatten gal took : 33 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/graph5326044930162174623.txt' '-o' '/tmp/graph5326044930162174623.bin' '-w' '/tmp/graph5326044930162174623.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph5326044930162174623.bin' '-l' '-1' '-v' '-w' '/tmp/graph5326044930162174623.weights' '-q' '0' '-e' '0.001'
[2022-05-19 18:27:06] [INFO ] Decomposing Gal with order
[2022-05-19 18:27:06] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 18:27:06] [INFO ] Removed a total of 595 redundant transitions.
[2022-05-19 18:27:06] [INFO ] Flatten gal took : 81 ms
[2022-05-19 18:27:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 39 labels/synchronizations in 32 ms.
[2022-05-19 18:27:06] [INFO ] Time to serialize gal into /tmp/CTLFireability7644977828498161697.gal : 13 ms
[2022-05-19 18:27:06] [INFO ] Time to serialize properties into /tmp/CTLFireability17624513815261677072.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/CTLFireability7644977828498161697.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17624513815261677072.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 15 CTL formulae.
Detected timeout of ITS tools.
[2022-05-19 18:52:32] [INFO ] Applying decomposition
[2022-05-19 18:52:32] [INFO ] Flatten gal took : 441 ms
[2022-05-19 18:52:33] [INFO ] Decomposing Gal with order
[2022-05-19 18:52:34] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-19 18:52:34] [INFO ] Removed a total of 319 redundant transitions.
[2022-05-19 18:52:34] [INFO ] Flatten gal took : 193 ms
[2022-05-19 18:52:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 1017 labels/synchronizations in 451 ms.
[2022-05-19 18:52:35] [INFO ] Time to serialize gal into /tmp/CTLFireability18229737583421677393.gal : 102 ms
[2022-05-19 18:52:36] [INFO ] Time to serialize properties into /tmp/CTLFireability12186442527881931093.ctl : 37 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/CTLFireability18229737583421677393.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12186442527881931093.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...255
No direction supplied, using forward translation only.
Parsed 15 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export LANG=C
+ LANG=C
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -pnfolder /home/mcc/execution -examination CTLFireability -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx8192m
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NoC3x3-PT-3B"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is NoC3x3-PT-3B, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r150-smll-165276998500154"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-3B.tgz
mv NoC3x3-PT-3B execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;