About the Execution of ITS-Tools for LeafsetExtension-PT-S64C4
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16204.567 | 3600000.00 | 3495468.00 | 153637.90 | ????FT??T??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/mcc2026-input.r162-smll-177961108000538.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2026-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5973
Executing tool itstools
Input is LeafsetExtension-PT-S64C4, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r162-smll-177961108000538
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 14M
-rw-r--r-- 1 mcc users 11K Mar 7 16:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Mar 7 16:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Mar 7 16:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Mar 7 16:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.8K Mar 15 11:17 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Mar 15 11:17 LTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Mar 15 11:17 LTLFireability.txt
-rw-r--r-- 1 mcc users 24K Mar 15 11:17 LTLFireability.xml
-rw-r--r-- 1 mcc users 33K Mar 7 16:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 210K Mar 7 16:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Mar 7 16:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 53K Mar 7 16:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.3K Mar 15 11:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.3K Mar 15 11:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 14M Mar 3 18:30 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME LeafsetExtension-PT-S64C4-CTLFireability-2024-00
FORMULA_NAME LeafsetExtension-PT-S64C4-CTLFireability-2024-01
FORMULA_NAME LeafsetExtension-PT-S64C4-CTLFireability-2024-02
FORMULA_NAME LeafsetExtension-PT-S64C4-CTLFireability-2024-03
FORMULA_NAME LeafsetExtension-PT-S64C4-CTLFireability-2024-04
FORMULA_NAME LeafsetExtension-PT-S64C4-CTLFireability-2024-05
FORMULA_NAME LeafsetExtension-PT-S64C4-CTLFireability-2024-06
FORMULA_NAME LeafsetExtension-PT-S64C4-CTLFireability-2024-07
FORMULA_NAME LeafsetExtension-PT-S64C4-CTLFireability-2024-08
FORMULA_NAME LeafsetExtension-PT-S64C4-CTLFireability-2024-09
FORMULA_NAME LeafsetExtension-PT-S64C4-CTLFireability-2024-10
FORMULA_NAME LeafsetExtension-PT-S64C4-CTLFireability-2024-11
FORMULA_NAME LeafsetExtension-PT-S64C4-CTLFireability-2024-12
FORMULA_NAME LeafsetExtension-PT-S64C4-CTLFireability-2024-13
FORMULA_NAME LeafsetExtension-PT-S64C4-CTLFireability-2024-14
FORMULA_NAME LeafsetExtension-PT-S64C4-CTLFireability-2024-15
=== Now, execution of the tool begins
BK_START 1779955747045
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=LeafsetExtension-PT-S64C4
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202604301425
[2026-05-28 08:09:09] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-28 08:09:09] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-28 08:09:10] [INFO ] Load time of PNML (sax parser for PT used): 1352 ms
[2026-05-28 08:09:10] [INFO ] Transformed 21462 places.
[2026-05-28 08:09:11] [INFO ] Transformed 21129 transitions.
[2026-05-28 08:09:11] [INFO ] Parsed PT model containing 21462 places and 21129 transitions and 67740 arcs in 1738 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 28 ms.
Support contains 131 out of 21462 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 21462/21462 places, 21129/21129 transitions.
Reduce places removed 4229 places and 0 transitions.
Iterating post reduction 0 with 4229 rules applied. Total rules applied 4229 place count 17233 transition count 21129
Applied a total of 4229 rules in 552 ms. Remains 17233 /21462 variables (removed 4229) and now considering 21129/21129 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-16399054148096077672.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8880933224022599016.kers'
[2026-05-28 08:09:12] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-16399054148096077672.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8880933224022599016.kers]
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 24 ms.
// Phase 1: matrix 21129 rows 17232 cols 54928 entries
Finished phase 1 with 12806 SingleSign rule and 4229 generalized
[2026-05-28 08:09:13] [INFO ] Computed 198 invariants in 721 ms
Computed 198 P flows in 723 ms.
Exported basis to /tmp/petrispot-output-8880933224022599016.kers
Total runtime 747 ms.
[2026-05-28 08:09:38] [INFO ] Implicit Places using invariants in 25837 ms returned [263, 526, 1315, 1578, 1841, 2104, 2367, 2893, 3156, 3419, 3682, 3945, 4208, 4471, 4997, 5260, 5523, 5786, 6049, 6312, 6575, 7101, 7627, 8153, 8418, 8680, 9206, 9469, 9732, 10521, 10784, 11047, 11310, 11836, 12099, 12362, 12625, 13151, 13677, 14203, 14466, 14729, 14992, 15255, 15518, 15781, 16044, 16307, 16570, 16833, 17096]
Discarding 51 places :
Implicit Place search using SMT only with invariants took 25959 ms to find 51 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 17182/21462 places, 21129/21129 transitions.
Applied a total of 0 rules in 138 ms. Remains 17182 /17182 variables (removed 0) and now considering 21129/21129 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 26686 ms. Remains : 17182/21462 places, 21129/21129 transitions.
Starting structural reductions in LTL mode, iteration 0 : 17182/17182 places, 21129/21129 transitions.
Applied a total of 0 rules in 106 ms. Remains 17182 /17182 variables (removed 0) and now considering 21129/21129 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17448662553846053969.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7991690510434014391.kers'
[2026-05-28 08:09:38] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17448662553846053969.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7991690510434014391.kers]
Culled 0 columns in 35 ms.
// Phase 1: matrix 21129 rows 17182 cols 51678 entries
Finished phase 1 with 12856 SingleSign rule and 4179 generalized
[2026-05-28 08:09:40] [INFO ] Computed 147 invariants in 2357 ms
Computed 147 P flows in 2358 ms.
Exported basis to /tmp/petrispot-output-7991690510434014391.kers
Total runtime 2380 ms.
[2026-05-28 08:09:56] [INFO ] Implicit Places using invariants in 17876 ms returned []
Implicit Place search using SMT only with invariants took 17885 ms to find 0 implicit places.
Running 21064 sub problems to find dead transitions.
[2026-05-28 08:09:56] [INFO ] Invariant cache hit.
Excessive predecessor constraint size, skipping predecessor.
At refinement iteration 0 (INCLUDED_ONLY) 0/17181 variables, 144/144 constraints. Problems are: Problem set: 0 solved, 21064 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 17181/38311 variables, and 144 constraints, problems are : Problem set: 0 solved, 21064 unsolved in 31629 ms.
Refiners :[Generalized P Invariants (flows): 144/147 constraints, State Equation: 0/17182 constraints, PredecessorRefiner: 21064/21062 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 21064 unsolved
SMT process timed out in 105558ms, After SMT, problems are : Problem set: 0 solved, 21064 unsolved
Search for dead transitions found 0 dead transitions in 105741ms
Finished structural reductions in LTL mode , in 1 iterations and 123964 ms. Remains : 17182/17182 places, 21129/21129 transitions.
Support contains 131 out of 17182 places after structural reductions.
[2026-05-28 08:11:44] [INFO ] Flatten gal took : 1316 ms
[2026-05-28 08:11:44] [INFO ] Flatten gal took : 624 ms
[2026-05-28 08:11:46] [INFO ] Input system was already deterministic with 21129 transitions.
RANDOM walk for 40000 steps (1203 resets) in 3714 ms. (10 steps per ms) remains 21/73 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 26 ms. (148 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 23 ms. (166 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 21 ms. (182 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 26 ms. (148 steps per ms) remains 21/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 25 ms. (154 steps per ms) remains 20/21 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 19/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 19/19 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 19/19 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 19/19 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 19/19 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 19/19 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 19/19 properties
[2026-05-28 08:11:47] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/42 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 1 (OVERLAPS) 16767/16809 variables, 16/16 constraints. Problems are: Problem set: 0 solved, 19 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 16809/38311 variables, and 16 constraints, problems are : Problem set: 0 solved, 19 unsolved in 5465 ms.
Refiners :[Generalized P Invariants (flows): 16/147 constraints, State Equation: 0/17182 constraints, PredecessorRefiner: 19/19 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 19 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/42 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 19 unsolved
At refinement iteration 1 (OVERLAPS) 16767/16809 variables, 16/16 constraints. Problems are: Problem set: 0 solved, 19 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 16809/38311 variables, and 16 constraints, problems are : Problem set: 0 solved, 19 unsolved in 5025 ms.
Refiners :[Generalized P Invariants (flows): 16/147 constraints, State Equation: 0/17182 constraints, PredecessorRefiner: 0/19 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 10697ms problems are : Problem set: 0 solved, 19 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 42 out of 17182 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 17182/17182 places, 21129/21129 transitions.
Graph (complete) has 34854 edges and 17182 vertex of which 1763 are kept as prefixes of interest. Removing 15419 places using SCC suffix rule.70 ms
Discarding 15419 places :
Also discarding 14277 output transitions
Drop transitions (Output transitions of discarded places.) removed 14277 transitions
Drop transitions (Empty/Sink Transition effects.) removed 1029 transitions
Reduce isomorphic transitions removed 1029 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 507 transitions
Trivial Post-agglo rules discarded 507 transitions
Performed 507 trivial Post agglomeration. Transition count delta: 507
Iterating post reduction 0 with 1536 rules applied. Total rules applied 1537 place count 1763 transition count 5316
Reduce places removed 509 places and 0 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 8 transitions
Trivial Post-agglo rules discarded 8 transitions
Performed 8 trivial Post agglomeration. Transition count delta: 8
Iterating post reduction 1 with 517 rules applied. Total rules applied 2054 place count 1254 transition count 5308
Reduce places removed 8 places and 0 transitions.
Performed 27 Post agglomeration using F-continuation condition.Transition count delta: 27
Iterating post reduction 2 with 35 rules applied. Total rules applied 2089 place count 1246 transition count 5281
Reduce places removed 27 places and 0 transitions.
Iterating post reduction 3 with 27 rules applied. Total rules applied 2116 place count 1219 transition count 5281
Performed 26 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 26 Pre rules applied. Total rules applied 2116 place count 1219 transition count 5255
Deduced a syphon composed of 26 places in 1 ms
Reduce places removed 26 places and 0 transitions.
Iterating global reduction 4 with 52 rules applied. Total rules applied 2168 place count 1193 transition count 5255
Discarding 608 places :
Symmetric choice reduction at 4 with 608 rule applications. Total rules 2776 place count 585 transition count 4647
Iterating global reduction 4 with 608 rules applied. Total rules applied 3384 place count 585 transition count 4647
Discarding 202 places :
Symmetric choice reduction at 4 with 202 rule applications. Total rules 3586 place count 383 transition count 4445
Iterating global reduction 4 with 202 rules applied. Total rules applied 3788 place count 383 transition count 4445
Performed 21 Post agglomeration using F-continuation condition.Transition count delta: 21
Deduced a syphon composed of 21 places in 2 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 4 with 42 rules applied. Total rules applied 3830 place count 362 transition count 4424
Free-agglomeration rule (complex) applied 47 times.
Iterating global reduction 4 with 47 rules applied. Total rules applied 3877 place count 362 transition count 4377
Reduce places removed 47 places and 0 transitions.
Iterating post reduction 4 with 47 rules applied. Total rules applied 3924 place count 315 transition count 4377
Partial Free-agglomeration rule applied 40 times.
Drop transitions (Partial Free agglomeration) removed 40 transitions
Iterating global reduction 5 with 40 rules applied. Total rules applied 3964 place count 315 transition count 4377
Applied a total of 3964 rules in 1602 ms. Remains 315 /17182 variables (removed 16867) and now considering 4377/21129 (removed 16752) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1603 ms. Remains : 315/17182 places, 4377/21129 transitions.
RANDOM walk for 40000 steps (4196 resets) in 4106 ms. (9 steps per ms) remains 4/19 properties
BEST_FIRST walk for 40004 steps (20 resets) in 101 ms. (392 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (19 resets) in 103 ms. (384 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (20 resets) in 110 ms. (360 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (16 resets) in 106 ms. (373 steps per ms) remains 3/4 properties
[2026-05-28 08:12:01] [INFO ] Flow matrix only has 834 transitions (discarded 3543 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-18246553611508109739.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11199482769006654441.kers'
[2026-05-28 08:12:01] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-18246553611508109739.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11199482769006654441.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 834 rows 315 cols 2543 entries
Finished phase 1 with 273 SingleSign rule and 29 generalized
[2026-05-28 08:12:01] [INFO ] Computed 13 invariants in 4 ms
Computed 13 P flows in 5 ms.
Exported basis to /tmp/petrispot-output-11199482769006654441.kers
Total runtime 5 ms.
At refinement iteration 0 (INCLUDED_ONLY) 0/8 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 4/12 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/12 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 3 (OVERLAPS) 96/108 variables, 12/14 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/108 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 5 (OVERLAPS) 681/789 variables, 105/119 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/789 variables, 0/119 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 7 (OVERLAPS) 56/845 variables, 4/123 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/845 variables, 21/144 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/845 variables, 0/144 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 10 (OVERLAPS) 272/1117 variables, 157/301 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1117 variables, 0/301 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 12 (OVERLAPS) 15/1132 variables, 7/308 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1132 variables, 0/308 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 14 (OVERLAPS) 17/1149 variables, 20/328 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/1149 variables, 0/328 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 16 (OVERLAPS) 0/1149 variables, 0/328 constraints. Problems are: Problem set: 0 solved, 3 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1149/1149 variables, and 328 constraints, problems are : Problem set: 0 solved, 3 unsolved in 1544 ms.
Refiners :[Generalized P Invariants (flows): 13/13 constraints, State Equation: 315/315 constraints, PredecessorRefiner: 3/3 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 3 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/8 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 4/12 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/12 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 3 (OVERLAPS) 96/108 variables, 12/14 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/108 variables, 3/17 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/108 variables, 0/17 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 6 (OVERLAPS) 681/789 variables, 105/122 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/789 variables, 0/122 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 8 (OVERLAPS) 56/845 variables, 4/126 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/845 variables, 21/147 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/845 variables, 0/147 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 11 (OVERLAPS) 272/1117 variables, 157/304 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/1117 variables, 0/304 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 13 (OVERLAPS) 15/1132 variables, 7/311 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/1132 variables, 0/311 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 15 (OVERLAPS) 17/1149 variables, 20/331 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/1149 variables, 0/331 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 17 (OVERLAPS) 0/1149 variables, 0/331 constraints. Problems are: Problem set: 0 solved, 3 unsolved
No progress, stopping.
After SMT solving in domain Int declared 1149/1149 variables, and 331 constraints, problems are : Problem set: 0 solved, 3 unsolved in 1879 ms.
Refiners :[Generalized P Invariants (flows): 13/13 constraints, State Equation: 315/315 constraints, PredecessorRefiner: 3/3 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 3443ms problems are : Problem set: 0 solved, 3 unsolved
Fused 3 Parikh solutions to 2 different solutions.
Finished Parikh walk after 416 steps, including 42 resets, run visited all 1 properties in 4 ms. (steps per millisecond=104 )
Parikh walk visited 3 properties in 34 ms.
[2026-05-28 08:12:05] [INFO ] Flatten gal took : 673 ms
[2026-05-28 08:12:06] [INFO ] Flatten gal took : 488 ms
[2026-05-28 08:12:06] [INFO ] Input system was already deterministic with 21129 transitions.
Computed a total of 17182 stabilizing places and 21129 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 17182 transition count 21129
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
AF dead knowledge conclusive for 3 formulas.
Starting structural reductions in SI_CTL mode, iteration 0 : 17182/17182 places, 21129/21129 transitions.
Graph (complete) has 39211 edges and 17182 vertex of which 17180 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.68 ms
Discarding 2 places :
Also discarding 2 output transitions
Drop transitions (Output transitions of discarded places.) removed 2 transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 8255 transitions
Trivial Post-agglo rules discarded 8255 transitions
Performed 8255 trivial Post agglomeration. Transition count delta: 8255
Iterating post reduction 0 with 8255 rules applied. Total rules applied 8256 place count 17180 transition count 12872
Reduce places removed 8255 places and 0 transitions.
Performed 64 Post agglomeration using F-continuation condition.Transition count delta: 64
Iterating post reduction 1 with 8319 rules applied. Total rules applied 16575 place count 8925 transition count 12808
Reduce places removed 64 places and 0 transitions.
Iterating post reduction 2 with 64 rules applied. Total rules applied 16639 place count 8861 transition count 12808
Performed 130 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 130 Pre rules applied. Total rules applied 16639 place count 8861 transition count 12678
Deduced a syphon composed of 130 places in 7 ms
Reduce places removed 130 places and 0 transitions.
Iterating global reduction 3 with 260 rules applied. Total rules applied 16899 place count 8731 transition count 12678
Discarding 4029 places :
Symmetric choice reduction at 3 with 4029 rule applications. Total rules 20928 place count 4702 transition count 8649
Iterating global reduction 3 with 4029 rules applied. Total rules applied 24957 place count 4702 transition count 8649
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 24957 place count 4702 transition count 8648
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 24959 place count 4701 transition count 8648
Discarding 3069 places :
Symmetric choice reduction at 3 with 3069 rule applications. Total rules 28028 place count 1632 transition count 5579
Iterating global reduction 3 with 3069 rules applied. Total rules applied 31097 place count 1632 transition count 5579
Performed 131 Post agglomeration using F-continuation condition.Transition count delta: 131
Deduced a syphon composed of 131 places in 3 ms
Reduce places removed 131 places and 0 transitions.
Iterating global reduction 3 with 262 rules applied. Total rules applied 31359 place count 1501 transition count 5448
Applied a total of 31359 rules in 4581 ms. Remains 1501 /17182 variables (removed 15681) and now considering 5448/21129 (removed 15681) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10605221493260257729.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14197536020127719771.kers'
[2026-05-28 08:12:11] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10605221493260257729.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14197536020127719771.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 5448 rows 1501 cols 16227 entries
Finished phase 1 with 1142 SingleSign rule and 212 generalized
[2026-05-28 08:12:11] [INFO ] Computed 147 invariants in 43 ms
Computed 147 P flows in 43 ms.
Exported basis to /tmp/petrispot-output-14197536020127719771.kers
Total runtime 48 ms.
[2026-05-28 08:12:14] [INFO ] Implicit Places using invariants in 2662 ms returned [2, 12, 23, 46, 55, 65, 67, 76, 86, 88, 98, 109, 119, 130, 140, 151, 161, 172, 182, 193, 202, 214, 224, 235, 245, 256, 266, 277, 287, 298, 308, 319, 329, 340, 350, 361, 370, 380, 382, 392, 403, 413, 424, 434, 445, 455, 466, 476, 487, 497, 508, 518, 529, 538, 548, 550, 560, 571, 580, 590, 592, 602, 613, 622, 632, 634, 644, 655, 664, 674, 676, 686, 697, 706, 716, 718, 727, 739, 748, 760, 769, 781, 790, 800, 802, 811, 821, 823, 832, 844, 853, 865, 874, 886, 895, 907, 916, 926, 928, 937, 949, 958, 970, 979, 991, 1000, 1012, 1021, 1031, 1033, 1042, 1054, 1063, 1073, 1075, 1084, 1096, 1105, 1115, 1117, 1126, 1138, 1147, 1159, 1168, 1180, 1189, 1201, 1210, 1222, 1231, 1243, 1252, 1264, 1273, 1285, 1294, 1306, 1315, 1327, 1336, 1348, 1357]
Discarding 143 places :
Implicit Place search using SMT only with invariants took 2679 ms to find 143 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1358/17182 places, 5448/21129 transitions.
Discarding 893 places :
Symmetric choice reduction at 0 with 893 rule applications. Total rules 893 place count 465 transition count 4555
Iterating global reduction 0 with 893 rules applied. Total rules applied 1786 place count 465 transition count 4555
Discarding 127 places :
Symmetric choice reduction at 0 with 127 rule applications. Total rules 1913 place count 338 transition count 4428
Iterating global reduction 0 with 127 rules applied. Total rules applied 2040 place count 338 transition count 4428
Discarding 188 places :
Symmetric choice reduction at 0 with 188 rule applications. Total rules 2228 place count 150 transition count 4240
Iterating global reduction 0 with 188 rules applied. Total rules applied 2416 place count 150 transition count 4240
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 0 with 8 rules applied. Total rules applied 2424 place count 146 transition count 4236
Applied a total of 2424 rules in 383 ms. Remains 146 /1358 variables (removed 1212) and now considering 4236/5448 (removed 1212) transitions.
[2026-05-28 08:12:14] [INFO ] Flow matrix only has 176 transitions (discarded 4060 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15108515904466016977.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11196025603419756997.kers'
[2026-05-28 08:12:14] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15108515904466016977.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11196025603419756997.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 176 rows 146 cols 455 entries
Finished phase 1 with 74 SingleSign rule and 68 generalized
[2026-05-28 08:12:14] [INFO ] Computed 4 invariants in 2 ms
Computed 4 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-11196025603419756997.kers
Total runtime 2 ms.
[2026-05-28 08:12:15] [INFO ] Implicit Places using invariants in 564 ms returned []
[2026-05-28 08:12:15] [INFO ] Flow matrix only has 176 transitions (discarded 4060 similar events)
[2026-05-28 08:12:15] [INFO ] Invariant cache hit.
[2026-05-28 08:12:16] [INFO ] Implicit Places using invariants and state equation in 1480 ms returned []
Implicit Place search using SMT with State Equation took 2048 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 146/17182 places, 4236/21129 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 9692 ms. Remains : 146/17182 places, 4236/21129 transitions.
[2026-05-28 08:12:16] [INFO ] Flatten gal took : 50 ms
[2026-05-28 08:12:16] [INFO ] Flatten gal took : 62 ms
[2026-05-28 08:12:17] [INFO ] Input system was already deterministic with 4236 transitions.
[2026-05-28 08:12:17] [INFO ] Flatten gal took : 51 ms
[2026-05-28 08:12:17] [INFO ] Flatten gal took : 59 ms
[2026-05-28 08:12:17] [INFO ] Time to serialize gal into /tmp/CTLFireability9308888843274435667.gal : 76 ms
[2026-05-28 08:12:17] [INFO ] Time to serialize properties into /tmp/CTLFireability5433129391405069011.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9308888843274435667.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5433129391405069011.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
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.11623e+08,14.0552,281536,2,14875,5,1.89602e+06,6,0,4755,376755,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2026-05-28 08:12:47] [INFO ] Flatten gal took : 57 ms
[2026-05-28 08:12:47] [INFO ] Applying decomposition
[2026-05-28 08:12:47] [INFO ] Flatten gal took : 68 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph2512439084958570822.txt' '-o' '/tmp/graph2512439084958570822.bin' '-w' '/tmp/graph2512439084958570822.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph2512439084958570822.bin' '-l' '-1' '-v' '-w' '/tmp/graph2512439084958570822.weights' '-q' '0' '-e' '0.001'
[2026-05-28 08:12:48] [INFO ] Decomposing Gal with order
[2026-05-28 08:12:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 08:12:48] [INFO ] Removed a total of 4184 redundant transitions.
[2026-05-28 08:12:49] [INFO ] Flatten gal took : 748 ms
[2026-05-28 08:12:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 222 labels/synchronizations in 69 ms.
[2026-05-28 08:12:49] [INFO ] Time to serialize gal into /tmp/CTLFireability15990030052507370521.gal : 23 ms
[2026-05-28 08:12:49] [INFO ] Time to serialize properties into /tmp/CTLFireability14308792847828344190.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15990030052507370521.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14308792847828344190.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
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.11623e+08,4.6503,95592,552,7621,5767,662513,130,10285,2424,313104,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 17182/17182 places, 21129/21129 transitions.
Graph (complete) has 39211 edges and 17182 vertex of which 17180 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.20 ms
Discarding 2 places :
Also discarding 2 output transitions
Drop transitions (Output transitions of discarded places.) removed 2 transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 8185 transitions
Trivial Post-agglo rules discarded 8185 transitions
Performed 8185 trivial Post agglomeration. Transition count delta: 8185
Iterating post reduction 0 with 8185 rules applied. Total rules applied 8186 place count 17180 transition count 12942
Reduce places removed 8185 places and 0 transitions.
Performed 128 Post agglomeration using F-continuation condition.Transition count delta: 128
Iterating post reduction 1 with 8313 rules applied. Total rules applied 16499 place count 8995 transition count 12814
Reduce places removed 128 places and 0 transitions.
Iterating post reduction 2 with 128 rules applied. Total rules applied 16627 place count 8867 transition count 12814
Performed 129 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 129 Pre rules applied. Total rules applied 16627 place count 8867 transition count 12685
Deduced a syphon composed of 129 places in 5 ms
Reduce places removed 129 places and 0 transitions.
Iterating global reduction 3 with 258 rules applied. Total rules applied 16885 place count 8738 transition count 12685
Discarding 4024 places :
Symmetric choice reduction at 3 with 4024 rule applications. Total rules 20909 place count 4714 transition count 8661
Iterating global reduction 3 with 4024 rules applied. Total rules applied 24933 place count 4714 transition count 8661
Discarding 3065 places :
Symmetric choice reduction at 3 with 3065 rule applications. Total rules 27998 place count 1649 transition count 5596
Iterating global reduction 3 with 3065 rules applied. Total rules applied 31063 place count 1649 transition count 5596
Performed 133 Post agglomeration using F-continuation condition.Transition count delta: 133
Deduced a syphon composed of 133 places in 2 ms
Reduce places removed 133 places and 0 transitions.
Iterating global reduction 3 with 266 rules applied. Total rules applied 31329 place count 1516 transition count 5463
Applied a total of 31329 rules in 4269 ms. Remains 1516 /17182 variables (removed 15666) and now considering 5463/21129 (removed 15666) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6615089450731668698.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4965524831074267224.kers'
[2026-05-28 08:13:23] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6615089450731668698.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4965524831074267224.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 5463 rows 1516 cols 16262 entries
Finished phase 1 with 1152 SingleSign rule and 217 generalized
[2026-05-28 08:13:23] [INFO ] Computed 147 invariants in 42 ms
Computed 147 P flows in 42 ms.
Exported basis to /tmp/petrispot-output-4965524831074267224.kers
Total runtime 47 ms.
[2026-05-28 08:13:26] [INFO ] Implicit Places using invariants in 3289 ms returned [2, 12, 23, 33, 44, 53, 63, 65, 86, 88, 98, 109, 119, 130, 140, 151, 161, 172, 182, 193, 202, 212, 214, 224, 235, 245, 256, 266, 277, 287, 298, 308, 319, 329, 340, 350, 361, 370, 380, 382, 392, 403, 413, 424, 434, 445, 455, 466, 476, 487, 497, 508, 518, 529, 538, 548, 550, 560, 571, 580, 590, 592, 602, 613, 635, 637, 647, 658, 667, 677, 679, 689, 700, 709, 719, 721, 730, 742, 751, 763, 772, 784, 793, 805, 814, 824, 826, 835, 847, 856, 868, 877, 902, 914, 923, 933, 935, 944, 956, 965, 977, 986, 998, 1007, 1019, 1028, 1038, 1040, 1049, 1061, 1070, 1080, 1093, 1105, 1127, 1129, 1138, 1150, 1159, 1171, 1180, 1203, 1215, 1224, 1236, 1245, 1257, 1266, 1278, 1287, 1299, 1308, 1320, 1329, 1341, 1350, 1362, 1371]
Discarding 138 places :
Implicit Place search using SMT only with invariants took 3298 ms to find 138 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1378/17182 places, 5463/21129 transitions.
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 0 place count 1378 transition count 5462
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 1377 transition count 5462
Discarding 886 places :
Symmetric choice reduction at 0 with 886 rule applications. Total rules 888 place count 491 transition count 4576
Iterating global reduction 0 with 886 rules applied. Total rules applied 1774 place count 491 transition count 4576
Discarding 122 places :
Symmetric choice reduction at 0 with 122 rule applications. Total rules 1896 place count 369 transition count 4454
Iterating global reduction 0 with 122 rules applied. Total rules applied 2018 place count 369 transition count 4454
Discarding 180 places :
Symmetric choice reduction at 0 with 180 rule applications. Total rules 2198 place count 189 transition count 4274
Iterating global reduction 0 with 180 rules applied. Total rules applied 2378 place count 189 transition count 4274
Performed 11 Post agglomeration using F-continuation condition.Transition count delta: 11
Deduced a syphon composed of 11 places in 1 ms
Reduce places removed 11 places and 0 transitions.
Iterating global reduction 0 with 22 rules applied. Total rules applied 2400 place count 178 transition count 4263
Applied a total of 2400 rules in 351 ms. Remains 178 /1378 variables (removed 1200) and now considering 4263/5463 (removed 1200) transitions.
[2026-05-28 08:13:27] [INFO ] Flow matrix only has 364 transitions (discarded 3899 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15744861175410248472.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14914046908253348829.kers'
[2026-05-28 08:13:27] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15744861175410248472.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14914046908253348829.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 364 rows 178 cols 1004 entries
Finished phase 1 with 91 SingleSign rule and 78 generalized
[2026-05-28 08:13:27] [INFO ] Computed 9 invariants in 3 ms
Computed 9 P flows in 4 ms.
Exported basis to /tmp/petrispot-output-14914046908253348829.kers
Total runtime 5 ms.
[2026-05-28 08:13:27] [INFO ] Implicit Places using invariants in 567 ms returned []
[2026-05-28 08:13:27] [INFO ] Flow matrix only has 364 transitions (discarded 3899 similar events)
[2026-05-28 08:13:27] [INFO ] Invariant cache hit.
[2026-05-28 08:13:30] [INFO ] Implicit Places using invariants and state equation in 3027 ms returned []
Implicit Place search using SMT with State Equation took 3601 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 178/17182 places, 4263/21129 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 11526 ms. Remains : 178/17182 places, 4263/21129 transitions.
[2026-05-28 08:13:30] [INFO ] Flatten gal took : 60 ms
[2026-05-28 08:13:31] [INFO ] Flatten gal took : 79 ms
[2026-05-28 08:13:31] [INFO ] Input system was already deterministic with 4263 transitions.
[2026-05-28 08:13:31] [INFO ] Flatten gal took : 58 ms
[2026-05-28 08:13:31] [INFO ] Flatten gal took : 65 ms
[2026-05-28 08:13:31] [INFO ] Time to serialize gal into /tmp/CTLFireability2508432631148627977.gal : 21 ms
[2026-05-28 08:13:31] [INFO ] Time to serialize properties into /tmp/CTLFireability18177747212671924447.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2508432631148627977.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18177747212671924447.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 08:14:01] [INFO ] Flatten gal took : 57 ms
[2026-05-28 08:14:01] [INFO ] Applying decomposition
[2026-05-28 08:14:01] [INFO ] Flatten gal took : 63 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph10928545781885812107.txt' '-o' '/tmp/graph10928545781885812107.bin' '-w' '/tmp/graph10928545781885812107.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10928545781885812107.bin' '-l' '-1' '-v' '-w' '/tmp/graph10928545781885812107.weights' '-q' '0' '-e' '0.001'
[2026-05-28 08:14:01] [INFO ] Decomposing Gal with order
[2026-05-28 08:14:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 08:14:02] [INFO ] Removed a total of 4459 redundant transitions.
[2026-05-28 08:14:02] [INFO ] Flatten gal took : 300 ms
[2026-05-28 08:14:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 369 labels/synchronizations in 65 ms.
[2026-05-28 08:14:02] [INFO ] Time to serialize gal into /tmp/CTLFireability18324248702251780572.gal : 14 ms
[2026-05-28 08:14:02] [INFO ] Time to serialize properties into /tmp/CTLFireability14182364826829646613.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability18324248702251780572.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14182364826829646613.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17182/17182 places, 21129/21129 transitions.
Applied a total of 0 rules in 91 ms. Remains 17182 /17182 variables (removed 0) and now considering 21129/21129 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4642389169555143778.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8236615019343376931.kers'
[2026-05-28 08:14:32] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4642389169555143778.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8236615019343376931.kers]
Culled 0 columns in 33 ms.
// Phase 1: matrix 21129 rows 17182 cols 51678 entries
Finished phase 1 with 12856 SingleSign rule and 4179 generalized
[2026-05-28 08:14:34] [INFO ] Computed 147 invariants in 2359 ms
Computed 147 P flows in 2360 ms.
Exported basis to /tmp/petrispot-output-8236615019343376931.kers
Total runtime 2378 ms.
[2026-05-28 08:14:51] [INFO ] Implicit Places using invariants in 18570 ms returned [787, 1050, 2623, 4720, 6817, 7342, 7867, 9966, 10229, 11540, 12851, 13376, 13901]
Discarding 13 places :
Implicit Place search using SMT only with invariants took 18593 ms to find 13 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 17169/17182 places, 21129/21129 transitions.
Applied a total of 0 rules in 116 ms. Remains 17169 /17169 variables (removed 0) and now considering 21129/21129 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 18804 ms. Remains : 17169/17182 places, 21129/21129 transitions.
[2026-05-28 08:14:51] [INFO ] Flatten gal took : 502 ms
[2026-05-28 08:14:52] [INFO ] Flatten gal took : 495 ms
[2026-05-28 08:14:52] [INFO ] Input system was already deterministic with 21129 transitions.
[2026-05-28 08:14:53] [INFO ] Flatten gal took : 416 ms
[2026-05-28 08:14:53] [INFO ] Flatten gal took : 501 ms
[2026-05-28 08:14:54] [INFO ] Time to serialize gal into /tmp/CTLFireability10015876859831203843.gal : 92 ms
[2026-05-28 08:14:54] [INFO ] Time to serialize properties into /tmp/CTLFireability2289096332918481201.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10015876859831203843.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2289096332918481201.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 08:15:24] [INFO ] Flatten gal took : 421 ms
[2026-05-28 08:15:24] [INFO ] Applying decomposition
[2026-05-28 08:15:24] [INFO ] Flatten gal took : 429 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph10946827592623140661.txt' '-o' '/tmp/graph10946827592623140661.bin' '-w' '/tmp/graph10946827592623140661.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10946827592623140661.bin' '-l' '-1' '-v' '-w' '/tmp/graph10946827592623140661.weights' '-q' '0' '-e' '0.001'
[2026-05-28 08:15:26] [INFO ] Decomposing Gal with order
[2026-05-28 08:15:28] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 08:16:04] [INFO ] Removed a total of 12146 redundant transitions.
[2026-05-28 08:16:05] [INFO ] Flatten gal took : 6415 ms
[2026-05-28 08:16:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 34 labels/synchronizations in 296 ms.
[2026-05-28 08:16:06] [INFO ] Time to serialize gal into /tmp/CTLFireability13872477816290827191.gal : 192 ms
[2026-05-28 08:16:06] [INFO ] Time to serialize properties into /tmp/CTLFireability5492411253755256889.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13872477816290827191.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5492411253755256889.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17182/17182 places, 21129/21129 transitions.
Applied a total of 0 rules in 94 ms. Remains 17182 /17182 variables (removed 0) and now considering 21129/21129 (removed 0) transitions.
[2026-05-28 08:16:36] [INFO ] Invariant cache hit.
[2026-05-28 08:16:51] [INFO ] Implicit Places using invariants in 14793 ms returned [787, 1050, 2623, 4720, 6817, 7342, 7867, 8392, 8917, 9966, 10229, 12851, 13376, 13901]
Discarding 14 places :
Implicit Place search using SMT only with invariants took 14805 ms to find 14 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 17168/17182 places, 21129/21129 transitions.
Applied a total of 0 rules in 72 ms. Remains 17168 /17168 variables (removed 0) and now considering 21129/21129 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 14972 ms. Remains : 17168/17182 places, 21129/21129 transitions.
[2026-05-28 08:16:51] [INFO ] Flatten gal took : 406 ms
[2026-05-28 08:16:52] [INFO ] Flatten gal took : 440 ms
[2026-05-28 08:16:52] [INFO ] Input system was already deterministic with 21129 transitions.
[2026-05-28 08:16:53] [INFO ] Flatten gal took : 409 ms
[2026-05-28 08:16:53] [INFO ] Flatten gal took : 413 ms
[2026-05-28 08:16:53] [INFO ] Time to serialize gal into /tmp/CTLFireability13673684119746643039.gal : 83 ms
[2026-05-28 08:16:53] [INFO ] Time to serialize properties into /tmp/CTLFireability8074114107264418711.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13673684119746643039.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8074114107264418711.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 08:17:24] [INFO ] Flatten gal took : 590 ms
[2026-05-28 08:17:24] [INFO ] Applying decomposition
[2026-05-28 08:17:24] [INFO ] Flatten gal took : 419 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph14179757657560400021.txt' '-o' '/tmp/graph14179757657560400021.bin' '-w' '/tmp/graph14179757657560400021.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph14179757657560400021.bin' '-l' '-1' '-v' '-w' '/tmp/graph14179757657560400021.weights' '-q' '0' '-e' '0.001'
[2026-05-28 08:17:26] [INFO ] Decomposing Gal with order
[2026-05-28 08:17:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 08:18:07] [INFO ] Removed a total of 12084 redundant transitions.
[2026-05-28 08:18:07] [INFO ] Flatten gal took : 6187 ms
[2026-05-28 08:18:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 4 labels/synchronizations in 151 ms.
[2026-05-28 08:18:08] [INFO ] Time to serialize gal into /tmp/CTLFireability692104617569880906.gal : 156 ms
[2026-05-28 08:18:08] [INFO ] Time to serialize properties into /tmp/CTLFireability17906382989039423424.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability692104617569880906.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17906382989039423424.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
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 : 17182/17182 places, 21129/21129 transitions.
Graph (complete) has 39211 edges and 17182 vertex of which 17180 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.30 ms
Discarding 2 places :
Also discarding 2 output transitions
Drop transitions (Output transitions of discarded places.) removed 2 transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 8255 transitions
Trivial Post-agglo rules discarded 8255 transitions
Performed 8255 trivial Post agglomeration. Transition count delta: 8255
Iterating post reduction 0 with 8255 rules applied. Total rules applied 8256 place count 17180 transition count 12872
Reduce places removed 8255 places and 0 transitions.
Performed 64 Post agglomeration using F-continuation condition.Transition count delta: 64
Iterating post reduction 1 with 8319 rules applied. Total rules applied 16575 place count 8925 transition count 12808
Reduce places removed 64 places and 0 transitions.
Iterating post reduction 2 with 64 rules applied. Total rules applied 16639 place count 8861 transition count 12808
Performed 130 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 130 Pre rules applied. Total rules applied 16639 place count 8861 transition count 12678
Deduced a syphon composed of 130 places in 6 ms
Reduce places removed 130 places and 0 transitions.
Iterating global reduction 3 with 260 rules applied. Total rules applied 16899 place count 8731 transition count 12678
Discarding 4030 places :
Symmetric choice reduction at 3 with 4030 rule applications. Total rules 20929 place count 4701 transition count 8648
Iterating global reduction 3 with 4030 rules applied. Total rules applied 24959 place count 4701 transition count 8648
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 2 Pre rules applied. Total rules applied 24959 place count 4701 transition count 8646
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 24963 place count 4699 transition count 8646
Discarding 3069 places :
Symmetric choice reduction at 3 with 3069 rule applications. Total rules 28032 place count 1630 transition count 5577
Iterating global reduction 3 with 3069 rules applied. Total rules applied 31101 place count 1630 transition count 5577
Performed 130 Post agglomeration using F-continuation condition.Transition count delta: 130
Deduced a syphon composed of 130 places in 2 ms
Reduce places removed 130 places and 0 transitions.
Iterating global reduction 3 with 260 rules applied. Total rules applied 31361 place count 1500 transition count 5447
Applied a total of 31361 rules in 4052 ms. Remains 1500 /17182 variables (removed 15682) and now considering 5447/21129 (removed 15682) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13725058138154748584.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11180954699559784284.kers'
[2026-05-28 08:18:42] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13725058138154748584.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11180954699559784284.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 5447 rows 1500 cols 16224 entries
Finished phase 1 with 1142 SingleSign rule and 211 generalized
[2026-05-28 08:18:42] [INFO ] Computed 147 invariants in 41 ms
Computed 147 P flows in 42 ms.
Exported basis to /tmp/petrispot-output-11180954699559784284.kers
Total runtime 47 ms.
[2026-05-28 08:18:45] [INFO ] Implicit Places using invariants in 2454 ms returned [2, 12, 23, 33, 44, 53, 63, 65, 74, 84, 86, 96, 107, 117, 128, 138, 149, 159, 170, 180, 191, 200, 210, 212, 222, 233, 243, 254, 264, 275, 285, 296, 306, 317, 327, 338, 348, 359, 368, 378, 380, 390, 401, 411, 422, 432, 443, 453, 464, 474, 485, 495, 506, 516, 527, 536, 546, 548, 558, 569, 578, 588, 590, 600, 611, 620, 630, 632, 642, 653, 662, 672, 674, 684, 695, 704, 714, 716, 725, 737, 746, 758, 767, 779, 788, 798, 800, 809, 819, 821, 830, 842, 851, 863, 872, 884, 893, 905, 914, 924, 926, 935, 947, 956, 968, 977, 989, 998, 1010, 1019, 1031, 1040, 1052, 1061, 1071, 1073, 1082, 1094, 1103, 1113, 1115, 1124, 1136, 1147, 1159, 1168, 1180, 1189, 1201, 1210, 1222, 1231, 1243, 1252, 1264, 1273, 1285, 1294, 1306, 1315, 1327, 1336, 1348, 1357]
Discarding 144 places :
Implicit Place search using SMT only with invariants took 2461 ms to find 144 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1356/17182 places, 5447/21129 transitions.
Discarding 894 places :
Symmetric choice reduction at 0 with 894 rule applications. Total rules 894 place count 462 transition count 4553
Iterating global reduction 0 with 894 rules applied. Total rules applied 1788 place count 462 transition count 4553
Discarding 128 places :
Symmetric choice reduction at 0 with 128 rule applications. Total rules 1916 place count 334 transition count 4425
Iterating global reduction 0 with 128 rules applied. Total rules applied 2044 place count 334 transition count 4425
Discarding 189 places :
Symmetric choice reduction at 0 with 189 rule applications. Total rules 2233 place count 145 transition count 4236
Iterating global reduction 0 with 189 rules applied. Total rules applied 2422 place count 145 transition count 4236
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 2426 place count 143 transition count 4234
Applied a total of 2426 rules in 241 ms. Remains 143 /1356 variables (removed 1213) and now considering 4234/5447 (removed 1213) transitions.
[2026-05-28 08:18:45] [INFO ] Flow matrix only has 143 transitions (discarded 4091 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-16798301746301812848.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3407107277973028812.kers'
[2026-05-28 08:18:45] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-16798301746301812848.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3407107277973028812.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 143 rows 143 cols 355 entries
Finished phase 1 with 136 SingleSign rule and 4 generalized
[2026-05-28 08:18:45] [INFO ] Computed 3 invariants in 1 ms
Computed 3 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-3407107277973028812.kers
Total runtime 1 ms.
[2026-05-28 08:18:46] [INFO ] Implicit Places using invariants in 623 ms returned []
[2026-05-28 08:18:46] [INFO ] Flow matrix only has 143 transitions (discarded 4091 similar events)
[2026-05-28 08:18:46] [INFO ] Invariant cache hit.
[2026-05-28 08:18:47] [INFO ] Implicit Places using invariants and state equation in 1582 ms returned []
Implicit Place search using SMT with State Equation took 2213 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 143/17182 places, 4234/21129 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 8968 ms. Remains : 143/17182 places, 4234/21129 transitions.
[2026-05-28 08:18:47] [INFO ] Flatten gal took : 56 ms
[2026-05-28 08:18:47] [INFO ] Flatten gal took : 85 ms
[2026-05-28 08:18:48] [INFO ] Input system was already deterministic with 4234 transitions.
[2026-05-28 08:18:48] [INFO ] Flatten gal took : 81 ms
[2026-05-28 08:18:48] [INFO ] Flatten gal took : 84 ms
[2026-05-28 08:18:48] [INFO ] Time to serialize gal into /tmp/CTLFireability10746179539858999621.gal : 24 ms
[2026-05-28 08:18:48] [INFO ] Time to serialize properties into /tmp/CTLFireability16443086102301423667.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10746179539858999621.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16443086102301423667.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
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,1.02503e+08,7.95995,117472,2,7058,5,851301,6,0,4741,170128,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2026-05-28 08:19:18] [INFO ] Flatten gal took : 50 ms
[2026-05-28 08:19:18] [INFO ] Applying decomposition
[2026-05-28 08:19:18] [INFO ] Flatten gal took : 53 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph12797983308210324892.txt' '-o' '/tmp/graph12797983308210324892.bin' '-w' '/tmp/graph12797983308210324892.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12797983308210324892.bin' '-l' '-1' '-v' '-w' '/tmp/graph12797983308210324892.weights' '-q' '0' '-e' '0.001'
[2026-05-28 08:19:18] [INFO ] Decomposing Gal with order
[2026-05-28 08:19:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 08:19:19] [INFO ] Removed a total of 4216 redundant transitions.
[2026-05-28 08:19:19] [INFO ] Flatten gal took : 372 ms
[2026-05-28 08:19:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 193 labels/synchronizations in 44 ms.
[2026-05-28 08:19:19] [INFO ] Time to serialize gal into /tmp/CTLFireability17541852294409367614.gal : 13 ms
[2026-05-28 08:19:19] [INFO ] Time to serialize properties into /tmp/CTLFireability2367332947379214534.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17541852294409367614.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2367332947379214534.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
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,1.02503e+08,4.97646,96748,250,7010,2940,607790,129,8186,2414,430180,0
Converting to forward existential form...Done !
original formula: AG(A(EF(!(((i2.u2.Node19WantsToManageTheBreakDownOfNode48>=1)&&(u1.NoNodeManageTheBreakDownOfNode48>=1)))) U (i2.u3.Node54ManageTheBreakD...172
=> equivalent forward existential formula: ([((FwdU(FwdU(Init,TRUE),!((i2.u3.Node54ManageTheBreakDownOfNode24>=1))) * !((i2.u3.Node54ManageTheBreakDownOfNo...370
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
(forward)formula 0,0,20.7796,374328,1,0,22444,1.66999e+06,422,144656,8763,3.54234e+06,32852
FORMULA LeafsetExtension-PT-S64C4-CTLFireability-2024-04 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is FALSE !
***************************************
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in SI_CTL mode, iteration 0 : 17182/17182 places, 21129/21129 transitions.
Graph (complete) has 39211 edges and 17182 vertex of which 17180 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.19 ms
Discarding 2 places :
Also discarding 2 output transitions
Drop transitions (Output transitions of discarded places.) removed 2 transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 8287 transitions
Trivial Post-agglo rules discarded 8287 transitions
Performed 8287 trivial Post agglomeration. Transition count delta: 8287
Iterating post reduction 0 with 8287 rules applied. Total rules applied 8288 place count 17180 transition count 12840
Reduce places removed 8287 places and 0 transitions.
Performed 32 Post agglomeration using F-continuation condition.Transition count delta: 32
Iterating post reduction 1 with 8319 rules applied. Total rules applied 16607 place count 8893 transition count 12808
Reduce places removed 32 places and 0 transitions.
Iterating post reduction 2 with 32 rules applied. Total rules applied 16639 place count 8861 transition count 12808
Performed 130 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 130 Pre rules applied. Total rules applied 16639 place count 8861 transition count 12678
Deduced a syphon composed of 130 places in 6 ms
Reduce places removed 130 places and 0 transitions.
Iterating global reduction 3 with 260 rules applied. Total rules applied 16899 place count 8731 transition count 12678
Discarding 4029 places :
Symmetric choice reduction at 3 with 4029 rule applications. Total rules 20928 place count 4702 transition count 8649
Iterating global reduction 3 with 4029 rules applied. Total rules applied 24957 place count 4702 transition count 8649
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 24957 place count 4702 transition count 8648
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 24959 place count 4701 transition count 8648
Discarding 3069 places :
Symmetric choice reduction at 3 with 3069 rule applications. Total rules 28028 place count 1632 transition count 5579
Iterating global reduction 3 with 3069 rules applied. Total rules applied 31097 place count 1632 transition count 5579
Performed 130 Post agglomeration using F-continuation condition.Transition count delta: 130
Deduced a syphon composed of 130 places in 1 ms
Reduce places removed 130 places and 0 transitions.
Iterating global reduction 3 with 260 rules applied. Total rules applied 31357 place count 1502 transition count 5449
Applied a total of 31357 rules in 3760 ms. Remains 1502 /17182 variables (removed 15680) and now considering 5449/21129 (removed 15680) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1055065518447101714.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9101904452074059914.kers'
[2026-05-28 08:19:43] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1055065518447101714.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9101904452074059914.kers]
Culled 0 columns in 5 ms.
// Phase 1: matrix 5449 rows 1502 cols 16229 entries
Finished phase 1 with 1143 SingleSign rule and 212 generalized
[2026-05-28 08:19:43] [INFO ] Computed 147 invariants in 66 ms
Computed 147 P flows in 67 ms.
Exported basis to /tmp/petrispot-output-9101904452074059914.kers
Total runtime 71 ms.
[2026-05-28 08:19:47] [INFO ] Implicit Places using invariants in 3246 ms returned [2, 12, 23, 33, 44, 53, 63, 65, 74, 84, 86, 96, 107, 117, 128, 138, 149, 159, 170, 180, 191, 200, 210, 212, 222, 233, 243, 254, 264, 275, 285, 296, 306, 317, 327, 338, 348, 359, 368, 378, 380, 390, 401, 411, 422, 432, 443, 453, 464, 474, 485, 495, 506, 516, 527, 536, 546, 548, 558, 569, 578, 588, 590, 600, 611, 620, 630, 632, 642, 653, 662, 672, 674, 684, 695, 704, 714, 716, 725, 737, 746, 758, 767, 779, 788, 798, 800, 809, 819, 821, 830, 842, 851, 863, 872, 884, 893, 905, 914, 924, 926, 935, 947, 956, 968, 977, 989, 998, 1010, 1019, 1029, 1042, 1055, 1064, 1074, 1076, 1085, 1097, 1106, 1116, 1118, 1127, 1139, 1148, 1160, 1169, 1181, 1190, 1202, 1211, 1223, 1232, 1244, 1253, 1265, 1274, 1286, 1295, 1307, 1316, 1328, 1337, 1349, 1358]
Discarding 144 places :
Implicit Place search using SMT only with invariants took 3253 ms to find 144 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1358/17182 places, 5449/21129 transitions.
Discarding 957 places :
Symmetric choice reduction at 0 with 957 rule applications. Total rules 957 place count 401 transition count 4492
Iterating global reduction 0 with 957 rules applied. Total rules applied 1914 place count 401 transition count 4492
Discarding 127 places :
Symmetric choice reduction at 0 with 127 rule applications. Total rules 2041 place count 274 transition count 4365
Iterating global reduction 0 with 127 rules applied. Total rules applied 2168 place count 274 transition count 4365
Discarding 127 places :
Symmetric choice reduction at 0 with 127 rule applications. Total rules 2295 place count 147 transition count 4238
Iterating global reduction 0 with 127 rules applied. Total rules applied 2422 place count 147 transition count 4238
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 2430 place count 143 transition count 4234
Applied a total of 2430 rules in 213 ms. Remains 143 /1358 variables (removed 1215) and now considering 4234/5449 (removed 1215) transitions.
[2026-05-28 08:19:47] [INFO ] Flow matrix only has 172 transitions (discarded 4062 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3413154834144319042.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17923426032089482618.kers'
[2026-05-28 08:19:47] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3413154834144319042.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17923426032089482618.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 172 rows 143 cols 443 entries
Finished phase 1 with 73 SingleSign rule and 67 generalized
[2026-05-28 08:19:47] [INFO ] Computed 3 invariants in 2 ms
Computed 3 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-17923426032089482618.kers
Total runtime 3 ms.
[2026-05-28 08:19:47] [INFO ] Implicit Places using invariants in 587 ms returned []
[2026-05-28 08:19:47] [INFO ] Flow matrix only has 172 transitions (discarded 4062 similar events)
[2026-05-28 08:19:47] [INFO ] Invariant cache hit.
[2026-05-28 08:19:49] [INFO ] Implicit Places using invariants and state equation in 1882 ms returned []
Implicit Place search using SMT with State Equation took 2472 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 143/17182 places, 4234/21129 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 9698 ms. Remains : 143/17182 places, 4234/21129 transitions.
[2026-05-28 08:19:49] [INFO ] Flatten gal took : 35 ms
[2026-05-28 08:19:49] [INFO ] Flatten gal took : 52 ms
[2026-05-28 08:19:50] [INFO ] Input system was already deterministic with 4234 transitions.
RANDOM walk for 3754 steps (222 resets) in 55 ms. (67 steps per ms) remains 0/1 properties
FORMULA LeafsetExtension-PT-S64C4-CTLFireability-2024-05 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
[2026-05-28 08:19:50] [INFO ] Flatten gal took : 83 ms
[2026-05-28 08:19:50] [INFO ] Flatten gal took : 87 ms
[2026-05-28 08:19:50] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3774761343085519335.gal : 24 ms
[2026-05-28 08:19:50] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16552024008482251035.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality3774761343085519335.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality16552024008482251035.prop' '--nowitness' '--gen-order' 'FOLLOW'
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 17182/17182 places, 21129/21129 transitions.
Applied a total of 0 rules in 77 ms. Remains 17182 /17182 variables (removed 0) and now considering 21129/21129 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13452416749369639809.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10240780766747396520.kers'
[2026-05-28 08:19:50] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13452416749369639809.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10240780766747396520.kers]
Culled 0 columns in 23 ms.
// Phase 1: matrix 21129 rows 17182 cols 51678 entries
Finished phase 1 with 12856 SingleSign rule and 4179 generalized
[2026-05-28 08:19:52] [INFO ] Computed 147 invariants in 2238 ms
Computed 147 P flows in 2239 ms.
Exported basis to /tmp/petrispot-output-10240780766747396520.kers
Total runtime 2267 ms.
[2026-05-28 08:20:08] [INFO ] Implicit Places using invariants in 18176 ms returned [787, 2623, 4720, 6817, 7342, 7867, 8392, 8917, 9966, 10229, 11540, 12851, 13901]
Discarding 13 places :
Implicit Place search using SMT only with invariants took 18187 ms to find 13 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 17169/17182 places, 21129/21129 transitions.
Applied a total of 0 rules in 67 ms. Remains 17169 /17169 variables (removed 0) and now considering 21129/21129 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 18332 ms. Remains : 17169/17182 places, 21129/21129 transitions.
[2026-05-28 08:20:09] [INFO ] Flatten gal took : 379 ms
[2026-05-28 08:20:09] [INFO ] Flatten gal took : 475 ms
[2026-05-28 08:20:10] [INFO ] Input system was already deterministic with 21129 transitions.
[2026-05-28 08:20:10] [INFO ] Flatten gal took : 402 ms
[2026-05-28 08:20:11] [INFO ] Flatten gal took : 420 ms
[2026-05-28 08:20:11] [INFO ] Time to serialize gal into /tmp/CTLFireability16634825451257131836.gal : 85 ms
[2026-05-28 08:20:11] [INFO ] Time to serialize properties into /tmp/CTLFireability3790803777232618946.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16634825451257131836.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3790803777232618946.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 08:20:41] [INFO ] Flatten gal took : 402 ms
[2026-05-28 08:20:41] [INFO ] Applying decomposition
[2026-05-28 08:20:42] [INFO ] Flatten gal took : 424 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph15966508827973588073.txt' '-o' '/tmp/graph15966508827973588073.bin' '-w' '/tmp/graph15966508827973588073.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph15966508827973588073.bin' '-l' '-1' '-v' '-w' '/tmp/graph15966508827973588073.weights' '-q' '0' '-e' '0.001'
[2026-05-28 08:20:43] [INFO ] Decomposing Gal with order
[2026-05-28 08:20:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 08:21:28] [INFO ] Removed a total of 12146 redundant transitions.
[2026-05-28 08:21:29] [INFO ] Flatten gal took : 6157 ms
[2026-05-28 08:21:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 30 labels/synchronizations in 155 ms.
[2026-05-28 08:21:30] [INFO ] Time to serialize gal into /tmp/CTLFireability7096114049882004104.gal : 177 ms
[2026-05-28 08:21:30] [INFO ] Time to serialize properties into /tmp/CTLFireability5952865563581155937.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7096114049882004104.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5952865563581155937.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17182/17182 places, 21129/21129 transitions.
Applied a total of 0 rules in 72 ms. Remains 17182 /17182 variables (removed 0) and now considering 21129/21129 (removed 0) transitions.
[2026-05-28 08:22:00] [INFO ] Invariant cache hit.
[2026-05-28 08:22:15] [INFO ] Implicit Places using invariants in 15702 ms returned [787, 1050, 2623, 4720, 6817, 7342, 7867, 8392, 9966, 10229, 11540, 12851, 13376, 13901]
Discarding 14 places :
Implicit Place search using SMT only with invariants took 15714 ms to find 14 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 17168/17182 places, 21129/21129 transitions.
Applied a total of 0 rules in 84 ms. Remains 17168 /17168 variables (removed 0) and now considering 21129/21129 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 15871 ms. Remains : 17168/17182 places, 21129/21129 transitions.
[2026-05-28 08:22:16] [INFO ] Flatten gal took : 518 ms
[2026-05-28 08:22:16] [INFO ] Flatten gal took : 420 ms
[2026-05-28 08:22:17] [INFO ] Input system was already deterministic with 21129 transitions.
[2026-05-28 08:22:18] [INFO ] Flatten gal took : 397 ms
[2026-05-28 08:22:18] [INFO ] Flatten gal took : 414 ms
[2026-05-28 08:22:18] [INFO ] Time to serialize gal into /tmp/CTLFireability13110565957572230230.gal : 84 ms
[2026-05-28 08:22:18] [INFO ] Time to serialize properties into /tmp/CTLFireability7404503812113748790.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13110565957572230230.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7404503812113748790.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 08:22:49] [INFO ] Flatten gal took : 471 ms
[2026-05-28 08:22:49] [INFO ] Applying decomposition
[2026-05-28 08:22:49] [INFO ] Flatten gal took : 532 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph18142384255508303706.txt' '-o' '/tmp/graph18142384255508303706.bin' '-w' '/tmp/graph18142384255508303706.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph18142384255508303706.bin' '-l' '-1' '-v' '-w' '/tmp/graph18142384255508303706.weights' '-q' '0' '-e' '0.001'
[2026-05-28 08:22:50] [INFO ] Decomposing Gal with order
[2026-05-28 08:22:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 08:23:33] [INFO ] Removed a total of 12084 redundant transitions.
[2026-05-28 08:23:33] [INFO ] Flatten gal took : 6833 ms
[2026-05-28 08:23:34] [INFO ] Fuse similar labels procedure discarded/fused a total of 14 labels/synchronizations in 159 ms.
[2026-05-28 08:23:34] [INFO ] Time to serialize gal into /tmp/CTLFireability16074089008982949914.gal : 178 ms
[2026-05-28 08:23:34] [INFO ] Time to serialize properties into /tmp/CTLFireability937791613607391483.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16074089008982949914.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability937791613607391483.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
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 : 17182/17182 places, 21129/21129 transitions.
Graph (complete) has 39211 edges and 17182 vertex of which 17180 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.18 ms
Discarding 2 places :
Also discarding 2 output transitions
Drop transitions (Output transitions of discarded places.) removed 2 transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 8287 transitions
Trivial Post-agglo rules discarded 8287 transitions
Performed 8287 trivial Post agglomeration. Transition count delta: 8287
Iterating post reduction 0 with 8287 rules applied. Total rules applied 8288 place count 17180 transition count 12840
Reduce places removed 8287 places and 0 transitions.
Performed 32 Post agglomeration using F-continuation condition.Transition count delta: 32
Iterating post reduction 1 with 8319 rules applied. Total rules applied 16607 place count 8893 transition count 12808
Reduce places removed 32 places and 0 transitions.
Iterating post reduction 2 with 32 rules applied. Total rules applied 16639 place count 8861 transition count 12808
Performed 130 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 130 Pre rules applied. Total rules applied 16639 place count 8861 transition count 12678
Deduced a syphon composed of 130 places in 5 ms
Reduce places removed 130 places and 0 transitions.
Iterating global reduction 3 with 260 rules applied. Total rules applied 16899 place count 8731 transition count 12678
Discarding 4029 places :
Symmetric choice reduction at 3 with 4029 rule applications. Total rules 20928 place count 4702 transition count 8649
Iterating global reduction 3 with 4029 rules applied. Total rules applied 24957 place count 4702 transition count 8649
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 24957 place count 4702 transition count 8648
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 24959 place count 4701 transition count 8648
Discarding 3069 places :
Symmetric choice reduction at 3 with 3069 rule applications. Total rules 28028 place count 1632 transition count 5579
Iterating global reduction 3 with 3069 rules applied. Total rules applied 31097 place count 1632 transition count 5579
Performed 130 Post agglomeration using F-continuation condition.Transition count delta: 130
Deduced a syphon composed of 130 places in 2 ms
Reduce places removed 130 places and 0 transitions.
Iterating global reduction 3 with 260 rules applied. Total rules applied 31357 place count 1502 transition count 5449
Applied a total of 31357 rules in 3722 ms. Remains 1502 /17182 variables (removed 15680) and now considering 5449/21129 (removed 15680) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9979463443266526116.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16858153042399661275.kers'
[2026-05-28 08:24:08] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9979463443266526116.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16858153042399661275.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 5449 rows 1502 cols 16229 entries
Finished phase 1 with 1143 SingleSign rule and 212 generalized
[2026-05-28 08:24:08] [INFO ] Computed 147 invariants in 41 ms
Computed 147 P flows in 41 ms.
Exported basis to /tmp/petrispot-output-16858153042399661275.kers
Total runtime 46 ms.
[2026-05-28 08:24:11] [INFO ] Implicit Places using invariants in 3052 ms returned [2, 12, 23, 33, 44, 53, 63, 65, 74, 84, 86, 96, 107, 117, 128, 138, 149, 159, 170, 194, 203, 213, 215, 225, 236, 246, 257, 267, 278, 288, 299, 309, 320, 330, 341, 351, 362, 371, 381, 383, 393, 404, 414, 425, 435, 446, 456, 467, 477, 488, 498, 509, 519, 530, 539, 549, 551, 561, 572, 581, 591, 593, 603, 614, 623, 633, 635, 645, 656, 665, 675, 677, 687, 698, 707, 717, 719, 728, 740, 749, 761, 770, 782, 791, 801, 803, 812, 822, 824, 833, 845, 854, 866, 875, 887, 896, 908, 917, 927, 929, 938, 950, 959, 971, 980, 992, 1001, 1013, 1022, 1032, 1034, 1043, 1055, 1064, 1074, 1076, 1085, 1097, 1106, 1116, 1118, 1127, 1139, 1148, 1160, 1169, 1181, 1190, 1202, 1211, 1223, 1232, 1244, 1253, 1265, 1274, 1286, 1295, 1307, 1316, 1328, 1337, 1349, 1358]
Discarding 144 places :
Implicit Place search using SMT only with invariants took 3058 ms to find 144 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1358/17182 places, 5449/21129 transitions.
Discarding 957 places :
Symmetric choice reduction at 0 with 957 rule applications. Total rules 957 place count 401 transition count 4492
Iterating global reduction 0 with 957 rules applied. Total rules applied 1914 place count 401 transition count 4492
Discarding 127 places :
Symmetric choice reduction at 0 with 127 rule applications. Total rules 2041 place count 274 transition count 4365
Iterating global reduction 0 with 127 rules applied. Total rules applied 2168 place count 274 transition count 4365
Discarding 127 places :
Symmetric choice reduction at 0 with 127 rule applications. Total rules 2295 place count 147 transition count 4238
Iterating global reduction 0 with 127 rules applied. Total rules applied 2422 place count 147 transition count 4238
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 2430 place count 143 transition count 4234
Applied a total of 2430 rules in 312 ms. Remains 143 /1358 variables (removed 1215) and now considering 4234/5449 (removed 1215) transitions.
[2026-05-28 08:24:11] [INFO ] Flow matrix only has 172 transitions (discarded 4062 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13541603608955625667.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10022032333222608750.kers'
[2026-05-28 08:24:11] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13541603608955625667.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10022032333222608750.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 172 rows 143 cols 443 entries
Finished phase 1 with 73 SingleSign rule and 67 generalized
[2026-05-28 08:24:11] [INFO ] Computed 3 invariants in 2 ms
Computed 3 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-10022032333222608750.kers
Total runtime 3 ms.
[2026-05-28 08:24:12] [INFO ] Implicit Places using invariants in 626 ms returned []
[2026-05-28 08:24:12] [INFO ] Flow matrix only has 172 transitions (discarded 4062 similar events)
[2026-05-28 08:24:12] [INFO ] Invariant cache hit.
[2026-05-28 08:24:14] [INFO ] Implicit Places using invariants and state equation in 2011 ms returned []
Implicit Place search using SMT with State Equation took 2639 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 143/17182 places, 4234/21129 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 9732 ms. Remains : 143/17182 places, 4234/21129 transitions.
[2026-05-28 08:24:14] [INFO ] Flatten gal took : 47 ms
[2026-05-28 08:24:14] [INFO ] Flatten gal took : 71 ms
[2026-05-28 08:24:14] [INFO ] Input system was already deterministic with 4234 transitions.
[2026-05-28 08:24:14] [INFO ] Flatten gal took : 68 ms
[2026-05-28 08:24:14] [INFO ] Flatten gal took : 78 ms
[2026-05-28 08:24:14] [INFO ] Time to serialize gal into /tmp/CTLFireability6451914362233535377.gal : 22 ms
[2026-05-28 08:24:14] [INFO ] Time to serialize properties into /tmp/CTLFireability4388650073316562986.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6451914362233535377.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4388650073316562986.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
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.711e+08,25.2228,458748,2,13637,5,3.17451e+06,6,0,4741,623966,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2026-05-28 08:24:44] [INFO ] Flatten gal took : 48 ms
[2026-05-28 08:24:44] [INFO ] Applying decomposition
[2026-05-28 08:24:44] [INFO ] Flatten gal took : 52 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph6253898719280617507.txt' '-o' '/tmp/graph6253898719280617507.bin' '-w' '/tmp/graph6253898719280617507.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6253898719280617507.bin' '-l' '-1' '-v' '-w' '/tmp/graph6253898719280617507.weights' '-q' '0' '-e' '0.001'
[2026-05-28 08:24:44] [INFO ] Decomposing Gal with order
[2026-05-28 08:24:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 08:24:45] [INFO ] Removed a total of 4122 redundant transitions.
[2026-05-28 08:24:45] [INFO ] Flatten gal took : 242 ms
[2026-05-28 08:24:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 222 labels/synchronizations in 24 ms.
[2026-05-28 08:24:45] [INFO ] Time to serialize gal into /tmp/CTLFireability2480330588161524729.gal : 8 ms
[2026-05-28 08:24:45] [INFO ] Time to serialize properties into /tmp/CTLFireability11829869737812927228.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2480330588161524729.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11829869737812927228.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
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.711e+08,2.96227,61240,392,5008,5413,402241,103,12892,2447,195902,0
Converting to forward existential form...Done !
original formula: EG(((i2.u4.Node8HasAskedItsLeafSetToRxToReplaceNode56<1)||(i2.u4.LeafSetOfRxIsSentToNode8<1)))
=> equivalent forward existential formula: [FwdG(Init,((i2.u4.Node8HasAskedItsLeafSetToRxToReplaceNode56<1)||(i2.u4.LeafSetOfRxIsSentToNode8<1)))] != FALSE
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
(forward)formula 0,1,10.183,189732,1,0,27778,1.02581e+06,308,165825,9258,1.06368e+06,29507
FORMULA LeafsetExtension-PT-S64C4-CTLFireability-2024-08 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is TRUE !
***************************************
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in SI_CTL mode, iteration 0 : 17182/17182 places, 21129/21129 transitions.
Graph (complete) has 39211 edges and 17182 vertex of which 17180 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.17 ms
Discarding 2 places :
Also discarding 2 output transitions
Drop transitions (Output transitions of discarded places.) removed 2 transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 8158 transitions
Trivial Post-agglo rules discarded 8158 transitions
Performed 8158 trivial Post agglomeration. Transition count delta: 8158
Iterating post reduction 0 with 8158 rules applied. Total rules applied 8159 place count 17180 transition count 12969
Reduce places removed 8158 places and 0 transitions.
Performed 160 Post agglomeration using F-continuation condition.Transition count delta: 160
Iterating post reduction 1 with 8318 rules applied. Total rules applied 16477 place count 9022 transition count 12809
Reduce places removed 160 places and 0 transitions.
Iterating post reduction 2 with 160 rules applied. Total rules applied 16637 place count 8862 transition count 12809
Performed 130 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 130 Pre rules applied. Total rules applied 16637 place count 8862 transition count 12679
Deduced a syphon composed of 130 places in 4 ms
Reduce places removed 130 places and 0 transitions.
Iterating global reduction 3 with 260 rules applied. Total rules applied 16897 place count 8732 transition count 12679
Discarding 4029 places :
Symmetric choice reduction at 3 with 4029 rule applications. Total rules 20926 place count 4703 transition count 8650
Iterating global reduction 3 with 4029 rules applied. Total rules applied 24955 place count 4703 transition count 8650
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 24955 place count 4703 transition count 8649
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 24957 place count 4702 transition count 8649
Discarding 3068 places :
Symmetric choice reduction at 3 with 3068 rule applications. Total rules 28025 place count 1634 transition count 5581
Iterating global reduction 3 with 3068 rules applied. Total rules applied 31093 place count 1634 transition count 5581
Performed 130 Post agglomeration using F-continuation condition.Transition count delta: 130
Deduced a syphon composed of 130 places in 1 ms
Reduce places removed 130 places and 0 transitions.
Iterating global reduction 3 with 260 rules applied. Total rules applied 31353 place count 1504 transition count 5451
Applied a total of 31353 rules in 3572 ms. Remains 1504 /17182 variables (removed 15678) and now considering 5451/21129 (removed 15678) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6844397322722652829.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2167943378112623047.kers'
[2026-05-28 08:24:58] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6844397322722652829.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2167943378112623047.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 5451 rows 1504 cols 16233 entries
Finished phase 1 with 1145 SingleSign rule and 212 generalized
[2026-05-28 08:24:58] [INFO ] Computed 147 invariants in 39 ms
Computed 147 P flows in 40 ms.
Exported basis to /tmp/petrispot-output-2167943378112623047.kers
Total runtime 44 ms.
[2026-05-28 08:25:01] [INFO ] Implicit Places using invariants in 2831 ms returned [2, 12, 23, 33, 44, 53, 63, 65, 74, 84, 86, 96, 107, 117, 128, 138, 149, 159, 170, 180, 191, 200, 210, 212, 222, 233, 243, 254, 264, 275, 287, 298, 308, 319, 329, 340, 350, 361, 370, 382, 392, 403, 413, 424, 434, 445, 455, 466, 476, 487, 497, 508, 518, 529, 538, 548, 550, 560, 571, 580, 590, 592, 602, 613, 622, 634, 644, 655, 664, 674, 676, 686, 697, 706, 716, 718, 727, 739, 748, 760, 769, 781, 790, 800, 802, 811, 821, 823, 832, 844, 853, 865, 874, 886, 895, 907, 916, 926, 928, 937, 949, 958, 970, 979, 991, 1000, 1012, 1021, 1031, 1033, 1042, 1054, 1063, 1073, 1075, 1084, 1096, 1105, 1115, 1117, 1126, 1138, 1147, 1159, 1183, 1192, 1204, 1213, 1225, 1234, 1246, 1255, 1267, 1276, 1288, 1297, 1309, 1318, 1330, 1339, 1351, 1360]
Discarding 142 places :
Implicit Place search using SMT only with invariants took 2836 ms to find 142 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1362/17182 places, 5451/21129 transitions.
Discarding 829 places :
Symmetric choice reduction at 0 with 829 rule applications. Total rules 829 place count 533 transition count 4622
Iterating global reduction 0 with 829 rules applied. Total rules applied 1658 place count 533 transition count 4622
Discarding 127 places :
Symmetric choice reduction at 0 with 127 rule applications. Total rules 1785 place count 406 transition count 4495
Iterating global reduction 0 with 127 rules applied. Total rules applied 1912 place count 406 transition count 4495
Discarding 249 places :
Symmetric choice reduction at 0 with 249 rule applications. Total rules 2161 place count 157 transition count 4246
Iterating global reduction 0 with 249 rules applied. Total rules applied 2410 place count 157 transition count 4246
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 2418 place count 153 transition count 4242
Applied a total of 2418 rules in 357 ms. Remains 153 /1362 variables (removed 1209) and now considering 4242/5451 (removed 1209) transitions.
[2026-05-28 08:25:02] [INFO ] Flow matrix only has 185 transitions (discarded 4057 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8587885500542414887.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2546373311896165248.kers'
[2026-05-28 08:25:02] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8587885500542414887.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2546373311896165248.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 185 rows 153 cols 477 entries
Finished phase 1 with 79 SingleSign rule and 69 generalized
[2026-05-28 08:25:02] [INFO ] Computed 5 invariants in 1 ms
Computed 5 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-2546373311896165248.kers
Total runtime 2 ms.
[2026-05-28 08:25:02] [INFO ] Implicit Places using invariants in 481 ms returned []
[2026-05-28 08:25:02] [INFO ] Flow matrix only has 185 transitions (discarded 4057 similar events)
[2026-05-28 08:25:02] [INFO ] Invariant cache hit.
[2026-05-28 08:25:04] [INFO ] Implicit Places using invariants and state equation in 2149 ms returned []
Implicit Place search using SMT with State Equation took 2638 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 153/17182 places, 4242/21129 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 9403 ms. Remains : 153/17182 places, 4242/21129 transitions.
[2026-05-28 08:25:04] [INFO ] Flatten gal took : 48 ms
[2026-05-28 08:25:04] [INFO ] Flatten gal took : 71 ms
[2026-05-28 08:25:05] [INFO ] Input system was already deterministic with 4242 transitions.
[2026-05-28 08:25:05] [INFO ] Flatten gal took : 81 ms
[2026-05-28 08:25:05] [INFO ] Flatten gal took : 83 ms
[2026-05-28 08:25:05] [INFO ] Time to serialize gal into /tmp/CTLFireability4807204901465419455.gal : 22 ms
[2026-05-28 08:25:05] [INFO ] Time to serialize properties into /tmp/CTLFireability1613415332532293176.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4807204901465419455.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1613415332532293176.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
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,3.08105e+08,11.4446,225780,2,14404,5,1.5944e+06,6,0,4789,348961,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2026-05-28 08:25:35] [INFO ] Flatten gal took : 51 ms
[2026-05-28 08:25:35] [INFO ] Applying decomposition
[2026-05-28 08:25:35] [INFO ] Flatten gal took : 54 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph5119047282169219018.txt' '-o' '/tmp/graph5119047282169219018.bin' '-w' '/tmp/graph5119047282169219018.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5119047282169219018.bin' '-l' '-1' '-v' '-w' '/tmp/graph5119047282169219018.weights' '-q' '0' '-e' '0.001'
[2026-05-28 08:25:35] [INFO ] Decomposing Gal with order
[2026-05-28 08:25:35] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 08:25:35] [INFO ] Removed a total of 4304 redundant transitions.
[2026-05-28 08:25:35] [INFO ] Flatten gal took : 246 ms
[2026-05-28 08:25:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 220 labels/synchronizations in 32 ms.
[2026-05-28 08:25:35] [INFO ] Time to serialize gal into /tmp/CTLFireability5630658374263654553.gal : 9 ms
[2026-05-28 08:25:35] [INFO ] Time to serialize properties into /tmp/CTLFireability17971127048601708274.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5630658374263654553.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17971127048601708274.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
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,3.08105e+08,8.52244,171688,1445,13292,24583,1.04135e+06,216,31403,2374,772630,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 17182/17182 places, 21129/21129 transitions.
Graph (complete) has 39211 edges and 17182 vertex of which 17180 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.19 ms
Discarding 2 places :
Also discarding 2 output transitions
Drop transitions (Output transitions of discarded places.) removed 2 transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 8218 transitions
Trivial Post-agglo rules discarded 8218 transitions
Performed 8218 trivial Post agglomeration. Transition count delta: 8218
Iterating post reduction 0 with 8218 rules applied. Total rules applied 8219 place count 17180 transition count 12909
Reduce places removed 8218 places and 0 transitions.
Performed 96 Post agglomeration using F-continuation condition.Transition count delta: 96
Iterating post reduction 1 with 8314 rules applied. Total rules applied 16533 place count 8962 transition count 12813
Reduce places removed 96 places and 0 transitions.
Iterating post reduction 2 with 96 rules applied. Total rules applied 16629 place count 8866 transition count 12813
Performed 130 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 130 Pre rules applied. Total rules applied 16629 place count 8866 transition count 12683
Deduced a syphon composed of 130 places in 7 ms
Reduce places removed 130 places and 0 transitions.
Iterating global reduction 3 with 260 rules applied. Total rules applied 16889 place count 8736 transition count 12683
Discarding 4024 places :
Symmetric choice reduction at 3 with 4024 rule applications. Total rules 20913 place count 4712 transition count 8659
Iterating global reduction 3 with 4024 rules applied. Total rules applied 24937 place count 4712 transition count 8659
Discarding 3065 places :
Symmetric choice reduction at 3 with 3065 rule applications. Total rules 28002 place count 1647 transition count 5594
Iterating global reduction 3 with 3065 rules applied. Total rules applied 31067 place count 1647 transition count 5594
Performed 132 Post agglomeration using F-continuation condition.Transition count delta: 132
Deduced a syphon composed of 132 places in 1 ms
Reduce places removed 132 places and 0 transitions.
Iterating global reduction 3 with 264 rules applied. Total rules applied 31331 place count 1515 transition count 5462
Applied a total of 31331 rules in 3832 ms. Remains 1515 /17182 variables (removed 15667) and now considering 5462/21129 (removed 15667) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3418162828601842865.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15083049491748425859.kers'
[2026-05-28 08:26:09] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3418162828601842865.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15083049491748425859.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 5462 rows 1515 cols 16260 entries
Finished phase 1 with 1151 SingleSign rule and 217 generalized
[2026-05-28 08:26:09] [INFO ] Computed 147 invariants in 42 ms
Computed 147 P flows in 42 ms.
Exported basis to /tmp/petrispot-output-15083049491748425859.kers
Total runtime 47 ms.
[2026-05-28 08:26:12] [INFO ] Implicit Places using invariants in 2993 ms returned [2, 12, 23, 46, 55, 65, 67, 89, 91, 114, 124, 135, 145, 156, 166, 177, 187, 198, 207, 217, 219, 229, 240, 250, 273, 285, 295, 306, 316, 327, 337, 348, 358, 369, 378, 388, 390, 400, 411, 421, 432, 442, 453, 463, 474, 484, 495, 505, 516, 526, 537, 546, 556, 558, 568, 579, 588, 598, 600, 610, 621, 630, 640, 642, 652, 663, 672, 682, 684, 694, 705, 714, 724, 737, 750, 759, 771, 780, 792, 801, 811, 813, 822, 832, 834, 843, 855, 864, 876, 885, 897, 906, 918, 927, 937, 939, 948, 960, 969, 981, 990, 1002, 1011, 1023, 1032, 1042, 1044, 1053, 1065, 1074, 1084, 1086, 1095, 1107, 1116, 1126, 1128, 1137, 1149, 1158, 1170, 1179, 1191, 1200, 1212, 1221, 1233, 1242, 1254, 1263, 1286, 1298, 1307, 1319, 1328, 1340, 1349, 1361, 1370]
Discarding 139 places :
Implicit Place search using SMT only with invariants took 2998 ms to find 139 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1376/17182 places, 5462/21129 transitions.
Discarding 951 places :
Symmetric choice reduction at 0 with 951 rule applications. Total rules 951 place count 425 transition count 4511
Iterating global reduction 0 with 951 rules applied. Total rules applied 1902 place count 425 transition count 4511
Discarding 122 places :
Symmetric choice reduction at 0 with 122 rule applications. Total rules 2024 place count 303 transition count 4389
Iterating global reduction 0 with 122 rules applied. Total rules applied 2146 place count 303 transition count 4389
Discarding 122 places :
Symmetric choice reduction at 0 with 122 rule applications. Total rules 2268 place count 181 transition count 4267
Iterating global reduction 0 with 122 rules applied. Total rules applied 2390 place count 181 transition count 4267
Performed 11 Post agglomeration using F-continuation condition.Transition count delta: 11
Deduced a syphon composed of 11 places in 1 ms
Reduce places removed 11 places and 0 transitions.
Iterating global reduction 0 with 22 rules applied. Total rules applied 2412 place count 170 transition count 4256
Applied a total of 2412 rules in 210 ms. Remains 170 /1376 variables (removed 1206) and now considering 4256/5462 (removed 1206) transitions.
[2026-05-28 08:26:13] [INFO ] Flow matrix only has 354 transitions (discarded 3902 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10816474313207754722.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10088938926092864666.kers'
[2026-05-28 08:26:13] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10816474313207754722.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10088938926092864666.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 354 rows 170 cols 977 entries
Finished phase 1 with 85 SingleSign rule and 77 generalized
[2026-05-28 08:26:13] [INFO ] Computed 8 invariants in 2 ms
Computed 8 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-10088938926092864666.kers
Total runtime 3 ms.
[2026-05-28 08:26:13] [INFO ] Implicit Places using invariants in 397 ms returned []
[2026-05-28 08:26:13] [INFO ] Flow matrix only has 354 transitions (discarded 3902 similar events)
[2026-05-28 08:26:13] [INFO ] Invariant cache hit.
[2026-05-28 08:26:15] [INFO ] Implicit Places using invariants and state equation in 1971 ms returned []
Implicit Place search using SMT with State Equation took 2370 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 170/17182 places, 4256/21129 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 9411 ms. Remains : 170/17182 places, 4256/21129 transitions.
[2026-05-28 08:26:15] [INFO ] Flatten gal took : 36 ms
[2026-05-28 08:26:15] [INFO ] Flatten gal took : 54 ms
[2026-05-28 08:26:15] [INFO ] Input system was already deterministic with 4256 transitions.
[2026-05-28 08:26:15] [INFO ] Flatten gal took : 54 ms
[2026-05-28 08:26:15] [INFO ] Flatten gal took : 53 ms
[2026-05-28 08:26:15] [INFO ] Time to serialize gal into /tmp/CTLFireability6049634330357180296.gal : 15 ms
[2026-05-28 08:26:15] [INFO ] Time to serialize properties into /tmp/CTLFireability3452137931206950474.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6049634330357180296.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3452137931206950474.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 08:26:45] [INFO ] Flatten gal took : 48 ms
[2026-05-28 08:26:45] [INFO ] Applying decomposition
[2026-05-28 08:26:45] [INFO ] Flatten gal took : 50 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph9093533020682633998.txt' '-o' '/tmp/graph9093533020682633998.bin' '-w' '/tmp/graph9093533020682633998.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9093533020682633998.bin' '-l' '-1' '-v' '-w' '/tmp/graph9093533020682633998.weights' '-q' '0' '-e' '0.001'
[2026-05-28 08:26:46] [INFO ] Decomposing Gal with order
[2026-05-28 08:26:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 08:26:46] [INFO ] Removed a total of 4400 redundant transitions.
[2026-05-28 08:26:46] [INFO ] Flatten gal took : 360 ms
[2026-05-28 08:26:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 231 labels/synchronizations in 53 ms.
[2026-05-28 08:26:46] [INFO ] Time to serialize gal into /tmp/CTLFireability6507374764292242.gal : 12 ms
[2026-05-28 08:26:46] [INFO ] Time to serialize properties into /tmp/CTLFireability14794071487056554363.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6507374764292242.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14794071487056554363.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...260
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 : 17182/17182 places, 21129/21129 transitions.
Graph (complete) has 39211 edges and 17182 vertex of which 17180 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.18 ms
Discarding 2 places :
Also discarding 2 output transitions
Drop transitions (Output transitions of discarded places.) removed 2 transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 8319 transitions
Trivial Post-agglo rules discarded 8319 transitions
Performed 8319 trivial Post agglomeration. Transition count delta: 8319
Iterating post reduction 0 with 8319 rules applied. Total rules applied 8320 place count 17180 transition count 12808
Reduce places removed 8319 places and 0 transitions.
Iterating post reduction 1 with 8319 rules applied. Total rules applied 16639 place count 8861 transition count 12808
Performed 130 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 130 Pre rules applied. Total rules applied 16639 place count 8861 transition count 12678
Deduced a syphon composed of 130 places in 120 ms
Reduce places removed 130 places and 0 transitions.
Iterating global reduction 2 with 260 rules applied. Total rules applied 16899 place count 8731 transition count 12678
Discarding 4029 places :
Symmetric choice reduction at 2 with 4029 rule applications. Total rules 20928 place count 4702 transition count 8649
Iterating global reduction 2 with 4029 rules applied. Total rules applied 24957 place count 4702 transition count 8649
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 24957 place count 4702 transition count 8648
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 24959 place count 4701 transition count 8648
Discarding 3070 places :
Symmetric choice reduction at 2 with 3070 rule applications. Total rules 28029 place count 1631 transition count 5578
Iterating global reduction 2 with 3070 rules applied. Total rules applied 31099 place count 1631 transition count 5578
Performed 130 Post agglomeration using F-continuation condition.Transition count delta: 130
Deduced a syphon composed of 130 places in 2 ms
Reduce places removed 130 places and 0 transitions.
Iterating global reduction 2 with 260 rules applied. Total rules applied 31359 place count 1501 transition count 5448
Applied a total of 31359 rules in 3549 ms. Remains 1501 /17182 variables (removed 15681) and now considering 5448/21129 (removed 15681) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7647583917390106080.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17829450297160540472.kers'
[2026-05-28 08:27:20] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7647583917390106080.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17829450297160540472.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 5448 rows 1501 cols 16227 entries
Finished phase 1 with 1142 SingleSign rule and 212 generalized
[2026-05-28 08:27:20] [INFO ] Computed 147 invariants in 42 ms
Computed 147 P flows in 43 ms.
Exported basis to /tmp/petrispot-output-17829450297160540472.kers
Total runtime 47 ms.
[2026-05-28 08:27:23] [INFO ] Implicit Places using invariants in 3638 ms returned [2, 12, 23, 33, 44, 53, 63, 65, 74, 84, 86, 96, 107, 117, 128, 138, 149, 159, 170, 180, 191, 200, 210, 212, 222, 233, 243, 254, 264, 275, 285, 296, 306, 317, 327, 338, 348, 359, 368, 378, 380, 390, 401, 411, 422, 432, 443, 453, 464, 474, 485, 495, 506, 516, 527, 536, 546, 548, 558, 569, 578, 588, 590, 600, 611, 620, 630, 632, 642, 653, 662, 672, 674, 684, 695, 704, 714, 716, 725, 737, 746, 758, 767, 779, 788, 798, 800, 809, 819, 821, 844, 853, 865, 874, 886, 895, 907, 916, 926, 928, 937, 949, 958, 970, 979, 991, 1000, 1012, 1021, 1031, 1033, 1042, 1054, 1063, 1073, 1075, 1084, 1096, 1105, 1115, 1117, 1126, 1138, 1147, 1159, 1168, 1180, 1189, 1201, 1210, 1222, 1231, 1243, 1252, 1264, 1273, 1285, 1294, 1306, 1315, 1327, 1336, 1348, 1357]
Discarding 144 places :
Implicit Place search using SMT only with invariants took 3643 ms to find 144 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1357/17182 places, 5448/21129 transitions.
Discarding 956 places :
Symmetric choice reduction at 0 with 956 rule applications. Total rules 956 place count 401 transition count 4492
Iterating global reduction 0 with 956 rules applied. Total rules applied 1912 place count 401 transition count 4492
Discarding 127 places :
Symmetric choice reduction at 0 with 127 rule applications. Total rules 2039 place count 274 transition count 4365
Iterating global reduction 0 with 127 rules applied. Total rules applied 2166 place count 274 transition count 4365
Discarding 127 places :
Symmetric choice reduction at 0 with 127 rule applications. Total rules 2293 place count 147 transition count 4238
Iterating global reduction 0 with 127 rules applied. Total rules applied 2420 place count 147 transition count 4238
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 1 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 0 with 10 rules applied. Total rules applied 2430 place count 142 transition count 4233
Applied a total of 2430 rules in 235 ms. Remains 142 /1357 variables (removed 1215) and now considering 4233/5448 (removed 1215) transitions.
[2026-05-28 08:27:24] [INFO ] Flow matrix only has 171 transitions (discarded 4062 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-2204705946286317685.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6055840870822319439.kers'
[2026-05-28 08:27:24] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2204705946286317685.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6055840870822319439.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 171 rows 142 cols 441 entries
Finished phase 1 with 72 SingleSign rule and 67 generalized
[2026-05-28 08:27:24] [INFO ] Computed 3 invariants in 1 ms
Computed 3 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-6055840870822319439.kers
Total runtime 2 ms.
[2026-05-28 08:27:24] [INFO ] Implicit Places using invariants in 501 ms returned []
[2026-05-28 08:27:24] [INFO ] Flow matrix only has 171 transitions (discarded 4062 similar events)
[2026-05-28 08:27:24] [INFO ] Invariant cache hit.
[2026-05-28 08:27:26] [INFO ] Implicit Places using invariants and state equation in 1646 ms returned []
Implicit Place search using SMT with State Equation took 2153 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 142/17182 places, 4233/21129 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 9583 ms. Remains : 142/17182 places, 4233/21129 transitions.
[2026-05-28 08:27:26] [INFO ] Flatten gal took : 36 ms
[2026-05-28 08:27:26] [INFO ] Flatten gal took : 53 ms
[2026-05-28 08:27:26] [INFO ] Input system was already deterministic with 4233 transitions.
[2026-05-28 08:27:26] [INFO ] Flatten gal took : 50 ms
[2026-05-28 08:27:26] [INFO ] Flatten gal took : 53 ms
[2026-05-28 08:27:26] [INFO ] Time to serialize gal into /tmp/CTLFireability10809298970377592582.gal : 15 ms
[2026-05-28 08:27:26] [INFO ] Time to serialize properties into /tmp/CTLFireability14623956707445415949.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10809298970377592582.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14623956707445415949.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
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.00897e+08,8.53329,164308,2,8484,5,1.15791e+06,6,0,4736,225831,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2026-05-28 08:27:56] [INFO ] Flatten gal took : 50 ms
[2026-05-28 08:27:56] [INFO ] Applying decomposition
[2026-05-28 08:27:56] [INFO ] Flatten gal took : 53 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph16663548459203296820.txt' '-o' '/tmp/graph16663548459203296820.bin' '-w' '/tmp/graph16663548459203296820.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16663548459203296820.bin' '-l' '-1' '-v' '-w' '/tmp/graph16663548459203296820.weights' '-q' '0' '-e' '0.001'
[2026-05-28 08:27:56] [INFO ] Decomposing Gal with order
[2026-05-28 08:27:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 08:27:57] [INFO ] Removed a total of 4122 redundant transitions.
[2026-05-28 08:27:57] [INFO ] Flatten gal took : 370 ms
[2026-05-28 08:27:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 218 labels/synchronizations in 50 ms.
[2026-05-28 08:27:57] [INFO ] Time to serialize gal into /tmp/CTLFireability2012288573890398619.gal : 13 ms
[2026-05-28 08:27:57] [INFO ] Time to serialize properties into /tmp/CTLFireability16077821419958512589.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2012288573890398619.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16077821419958512589.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
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.00897e+08,8.45962,168936,409,11181,5671,1.05868e+06,110,13369,2453,742445,0
Converting to forward existential form...Done !
original formula: EF(EG((i2.u3.Node39HasTheLeafSetOfRxToReplaceNode38<1)))
=> equivalent forward existential formula: [FwdG(FwdU(Init,TRUE),(i2.u3.Node39HasTheLeafSetOfRxToReplaceNode38<1))] != FALSE
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
(forward)formula 0,1,27.1574,484288,1,0,25142,2.32246e+06,341,115845,9412,4.28532e+06,26012
FORMULA LeafsetExtension-PT-S64C4-CTLFireability-2024-11 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is TRUE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 17182/17182 places, 21129/21129 transitions.
Applied a total of 0 rules in 71 ms. Remains 17182 /17182 variables (removed 0) and now considering 21129/21129 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8477736499998515177.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10655956440510267348.kers'
[2026-05-28 08:28:24] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8477736499998515177.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10655956440510267348.kers]
Culled 0 columns in 21 ms.
// Phase 1: matrix 21129 rows 17182 cols 51678 entries
Finished phase 1 with 12856 SingleSign rule and 4179 generalized
[2026-05-28 08:28:26] [INFO ] Computed 147 invariants in 2220 ms
Computed 147 P flows in 2221 ms.
Exported basis to /tmp/petrispot-output-10655956440510267348.kers
Total runtime 2238 ms.
[2026-05-28 08:28:43] [INFO ] Implicit Places using invariants in 18357 ms returned [1050, 2623, 4720, 7342, 7867, 8392, 8917, 9966, 11540, 12851, 13376]
Discarding 11 places :
Implicit Place search using SMT only with invariants took 18372 ms to find 11 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 17171/17182 places, 21129/21129 transitions.
Applied a total of 0 rules in 74 ms. Remains 17171 /17171 variables (removed 0) and now considering 21129/21129 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 18519 ms. Remains : 17171/17182 places, 21129/21129 transitions.
[2026-05-28 08:28:43] [INFO ] Flatten gal took : 378 ms
[2026-05-28 08:28:44] [INFO ] Flatten gal took : 434 ms
[2026-05-28 08:28:44] [INFO ] Input system was already deterministic with 21129 transitions.
[2026-05-28 08:28:45] [INFO ] Flatten gal took : 416 ms
[2026-05-28 08:28:45] [INFO ] Flatten gal took : 434 ms
[2026-05-28 08:28:45] [INFO ] Time to serialize gal into /tmp/CTLFireability4807778202996655005.gal : 84 ms
[2026-05-28 08:28:45] [INFO ] Time to serialize properties into /tmp/CTLFireability3502526789329278190.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4807778202996655005.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3502526789329278190.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 08:29:16] [INFO ] Flatten gal took : 402 ms
[2026-05-28 08:29:16] [INFO ] Applying decomposition
[2026-05-28 08:29:16] [INFO ] Flatten gal took : 425 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph16057379216397492886.txt' '-o' '/tmp/graph16057379216397492886.bin' '-w' '/tmp/graph16057379216397492886.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16057379216397492886.bin' '-l' '-1' '-v' '-w' '/tmp/graph16057379216397492886.weights' '-q' '0' '-e' '0.001'
[2026-05-28 08:29:17] [INFO ] Decomposing Gal with order
[2026-05-28 08:29:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 08:30:00] [INFO ] Removed a total of 12270 redundant transitions.
[2026-05-28 08:30:00] [INFO ] Flatten gal took : 6281 ms
[2026-05-28 08:30:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 60 labels/synchronizations in 143 ms.
[2026-05-28 08:30:01] [INFO ] Time to serialize gal into /tmp/CTLFireability15690578954252474774.gal : 159 ms
[2026-05-28 08:30:01] [INFO ] Time to serialize properties into /tmp/CTLFireability14814796132300929091.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15690578954252474774.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14814796132300929091.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17182/17182 places, 21129/21129 transitions.
Applied a total of 0 rules in 76 ms. Remains 17182 /17182 variables (removed 0) and now considering 21129/21129 (removed 0) transitions.
[2026-05-28 08:30:31] [INFO ] Invariant cache hit.
[2026-05-28 08:30:45] [INFO ] Implicit Places using invariants in 14365 ms returned [787, 1050, 2623, 4720, 6817, 7342, 7867, 8392, 8917, 9966, 10229, 11540, 12851, 13376, 13901]
Discarding 15 places :
Implicit Place search using SMT only with invariants took 14379 ms to find 15 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 17167/17182 places, 21129/21129 transitions.
Applied a total of 0 rules in 97 ms. Remains 17167 /17167 variables (removed 0) and now considering 21129/21129 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 14552 ms. Remains : 17167/17182 places, 21129/21129 transitions.
[2026-05-28 08:30:46] [INFO ] Flatten gal took : 483 ms
[2026-05-28 08:30:47] [INFO ] Flatten gal took : 470 ms
[2026-05-28 08:30:47] [INFO ] Input system was already deterministic with 21129 transitions.
[2026-05-28 08:30:48] [INFO ] Flatten gal took : 411 ms
[2026-05-28 08:30:48] [INFO ] Flatten gal took : 431 ms
[2026-05-28 08:30:48] [INFO ] Time to serialize gal into /tmp/CTLFireability14215828191189504287.gal : 91 ms
[2026-05-28 08:30:48] [INFO ] Time to serialize properties into /tmp/CTLFireability6947260850649920652.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14215828191189504287.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6947260850649920652.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 08:31:19] [INFO ] Flatten gal took : 406 ms
[2026-05-28 08:31:19] [INFO ] Applying decomposition
[2026-05-28 08:31:19] [INFO ] Flatten gal took : 427 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph4102936024999633155.txt' '-o' '/tmp/graph4102936024999633155.bin' '-w' '/tmp/graph4102936024999633155.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph4102936024999633155.bin' '-l' '-1' '-v' '-w' '/tmp/graph4102936024999633155.weights' '-q' '0' '-e' '0.001'
[2026-05-28 08:31:20] [INFO ] Decomposing Gal with order
[2026-05-28 08:31:23] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 08:32:01] [INFO ] Removed a total of 12023 redundant transitions.
[2026-05-28 08:32:01] [INFO ] Flatten gal took : 6159 ms
[2026-05-28 08:32:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 36 labels/synchronizations in 138 ms.
[2026-05-28 08:32:02] [INFO ] Time to serialize gal into /tmp/CTLFireability15776663912702428307.gal : 153 ms
[2026-05-28 08:32:02] [INFO ] Time to serialize properties into /tmp/CTLFireability4501073638387645640.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15776663912702428307.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4501073638387645640.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 17182/17182 places, 21129/21129 transitions.
Graph (complete) has 39211 edges and 17182 vertex of which 17180 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.19 ms
Discarding 2 places :
Also discarding 2 output transitions
Drop transitions (Output transitions of discarded places.) removed 2 transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 8187 transitions
Trivial Post-agglo rules discarded 8187 transitions
Performed 8187 trivial Post agglomeration. Transition count delta: 8187
Iterating post reduction 0 with 8187 rules applied. Total rules applied 8188 place count 17180 transition count 12940
Reduce places removed 8187 places and 0 transitions.
Performed 128 Post agglomeration using F-continuation condition.Transition count delta: 128
Iterating post reduction 1 with 8315 rules applied. Total rules applied 16503 place count 8993 transition count 12812
Reduce places removed 128 places and 0 transitions.
Iterating post reduction 2 with 128 rules applied. Total rules applied 16631 place count 8865 transition count 12812
Performed 130 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 130 Pre rules applied. Total rules applied 16631 place count 8865 transition count 12682
Deduced a syphon composed of 130 places in 4 ms
Reduce places removed 130 places and 0 transitions.
Iterating global reduction 3 with 260 rules applied. Total rules applied 16891 place count 8735 transition count 12682
Discarding 4026 places :
Symmetric choice reduction at 3 with 4026 rule applications. Total rules 20917 place count 4709 transition count 8656
Iterating global reduction 3 with 4026 rules applied. Total rules applied 24943 place count 4709 transition count 8656
Discarding 3067 places :
Symmetric choice reduction at 3 with 3067 rule applications. Total rules 28010 place count 1642 transition count 5589
Iterating global reduction 3 with 3067 rules applied. Total rules applied 31077 place count 1642 transition count 5589
Performed 130 Post agglomeration using F-continuation condition.Transition count delta: 130
Deduced a syphon composed of 130 places in 1 ms
Reduce places removed 130 places and 0 transitions.
Iterating global reduction 3 with 260 rules applied. Total rules applied 31337 place count 1512 transition count 5459
Applied a total of 31337 rules in 3596 ms. Remains 1512 /17182 variables (removed 15670) and now considering 5459/21129 (removed 15670) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9626616304932904773.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10449431254354213085.kers'
[2026-05-28 08:32:36] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9626616304932904773.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10449431254354213085.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 5459 rows 1512 cols 16252 entries
Finished phase 1 with 1150 SingleSign rule and 215 generalized
[2026-05-28 08:32:36] [INFO ] Computed 147 invariants in 40 ms
Computed 147 P flows in 41 ms.
Exported basis to /tmp/petrispot-output-10449431254354213085.kers
Total runtime 46 ms.
[2026-05-28 08:32:38] [INFO ] Implicit Places using invariants in 2433 ms returned [2, 12, 23, 33, 44, 53, 63, 65, 74, 84, 86, 96, 107, 117, 128, 138, 149, 159, 170, 180, 191, 200, 210, 212, 222, 247, 258, 268, 279, 289, 300, 310, 321, 331, 342, 352, 363, 372, 382, 384, 394, 405, 415, 426, 436, 447, 457, 468, 478, 489, 499, 510, 520, 531, 540, 550, 552, 562, 573, 582, 594, 604, 615, 626, 636, 638, 648, 659, 668, 678, 680, 690, 701, 710, 720, 722, 731, 743, 752, 764, 773, 785, 794, 804, 806, 815, 825, 827, 836, 848, 857, 869, 878, 890, 914, 923, 933, 935, 944, 967, 980, 989, 1001, 1010, 1022, 1031, 1041, 1043, 1052, 1064, 1073, 1083, 1085, 1094, 1106, 1115, 1125, 1127, 1136, 1148, 1157, 1169, 1178, 1190, 1199, 1211, 1220, 1232, 1241, 1253, 1262, 1274, 1283, 1295, 1304, 1316, 1325, 1337, 1346, 1358, 1367]
Discarding 141 places :
Implicit Place search using SMT only with invariants took 2437 ms to find 141 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1371/17182 places, 5459/21129 transitions.
Discarding 889 places :
Symmetric choice reduction at 0 with 889 rule applications. Total rules 889 place count 482 transition count 4570
Iterating global reduction 0 with 889 rules applied. Total rules applied 1778 place count 482 transition count 4570
Discarding 125 places :
Symmetric choice reduction at 0 with 125 rule applications. Total rules 1903 place count 357 transition count 4445
Iterating global reduction 0 with 125 rules applied. Total rules applied 2028 place count 357 transition count 4445
Discarding 184 places :
Symmetric choice reduction at 0 with 184 rule applications. Total rules 2212 place count 173 transition count 4261
Iterating global reduction 0 with 184 rules applied. Total rules applied 2396 place count 173 transition count 4261
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Deduced a syphon composed of 9 places in 0 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 0 with 18 rules applied. Total rules applied 2414 place count 164 transition count 4252
Applied a total of 2414 rules in 207 ms. Remains 164 /1371 variables (removed 1207) and now considering 4252/5459 (removed 1207) transitions.
[2026-05-28 08:32:38] [INFO ] Flow matrix only has 257 transitions (discarded 3995 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9081106355137366786.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5866773189051850893.kers'
[2026-05-28 08:32:38] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9081106355137366786.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5866773189051850893.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 257 rows 164 cols 688 entries
Finished phase 1 with 85 SingleSign rule and 73 generalized
[2026-05-28 08:32:38] [INFO ] Computed 6 invariants in 1 ms
Computed 6 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-5866773189051850893.kers
Total runtime 2 ms.
[2026-05-28 08:32:39] [INFO ] Implicit Places using invariants in 385 ms returned []
[2026-05-28 08:32:39] [INFO ] Flow matrix only has 257 transitions (discarded 3995 similar events)
[2026-05-28 08:32:39] [INFO ] Invariant cache hit.
[2026-05-28 08:32:42] [INFO ] Implicit Places using invariants and state equation in 2864 ms returned []
Implicit Place search using SMT with State Equation took 3251 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 164/17182 places, 4252/21129 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 9491 ms. Remains : 164/17182 places, 4252/21129 transitions.
[2026-05-28 08:32:42] [INFO ] Flatten gal took : 45 ms
[2026-05-28 08:32:42] [INFO ] Flatten gal took : 66 ms
[2026-05-28 08:32:42] [INFO ] Input system was already deterministic with 4252 transitions.
[2026-05-28 08:32:42] [INFO ] Flatten gal took : 83 ms
[2026-05-28 08:32:42] [INFO ] Flatten gal took : 86 ms
[2026-05-28 08:32:42] [INFO ] Time to serialize gal into /tmp/CTLFireability8547636340491764377.gal : 23 ms
[2026-05-28 08:32:42] [INFO ] Time to serialize properties into /tmp/CTLFireability7586518144509195532.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8547636340491764377.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7586518144509195532.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 08:33:12] [INFO ] Flatten gal took : 50 ms
[2026-05-28 08:33:12] [INFO ] Applying decomposition
[2026-05-28 08:33:12] [INFO ] Flatten gal took : 53 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph12339999246318292927.txt' '-o' '/tmp/graph12339999246318292927.bin' '-w' '/tmp/graph12339999246318292927.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12339999246318292927.bin' '-l' '-1' '-v' '-w' '/tmp/graph12339999246318292927.weights' '-q' '0' '-e' '0.001'
[2026-05-28 08:33:12] [INFO ] Decomposing Gal with order
[2026-05-28 08:33:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 08:33:13] [INFO ] Removed a total of 4271 redundant transitions.
[2026-05-28 08:33:13] [INFO ] Flatten gal took : 390 ms
[2026-05-28 08:33:13] [INFO ] Fuse similar labels procedure discarded/fused a total of 242 labels/synchronizations in 41 ms.
[2026-05-28 08:33:13] [INFO ] Time to serialize gal into /tmp/CTLFireability1140623237677883608.gal : 12 ms
[2026-05-28 08:33:13] [INFO ] Time to serialize properties into /tmp/CTLFireability17411003205904229105.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1140623237677883608.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17411003205904229105.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17182/17182 places, 21129/21129 transitions.
Applied a total of 0 rules in 74 ms. Remains 17182 /17182 variables (removed 0) and now considering 21129/21129 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14428296184564453751.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15838966076957988315.kers'
[2026-05-28 08:33:43] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14428296184564453751.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15838966076957988315.kers]
Culled 0 columns in 20 ms.
// Phase 1: matrix 21129 rows 17182 cols 51678 entries
Finished phase 1 with 12856 SingleSign rule and 4179 generalized
[2026-05-28 08:33:45] [INFO ] Computed 147 invariants in 1974 ms
Computed 147 P flows in 1974 ms.
Exported basis to /tmp/petrispot-output-15838966076957988315.kers
Total runtime 1991 ms.
[2026-05-28 08:34:01] [INFO ] Implicit Places using invariants in 17684 ms returned [787, 1050, 2623, 4720, 6817, 7342, 7867, 8392, 8917, 9966, 10229, 11540, 12851, 13376, 13901]
Discarding 15 places :
Implicit Place search using SMT only with invariants took 17696 ms to find 15 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 17167/17182 places, 21129/21129 transitions.
Applied a total of 0 rules in 69 ms. Remains 17167 /17167 variables (removed 0) and now considering 21129/21129 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 17840 ms. Remains : 17167/17182 places, 21129/21129 transitions.
[2026-05-28 08:34:01] [INFO ] Flatten gal took : 427 ms
[2026-05-28 08:34:02] [INFO ] Flatten gal took : 425 ms
[2026-05-28 08:34:02] [INFO ] Input system was already deterministic with 21129 transitions.
[2026-05-28 08:34:03] [INFO ] Flatten gal took : 476 ms
[2026-05-28 08:34:03] [INFO ] Flatten gal took : 425 ms
[2026-05-28 08:34:04] [INFO ] Time to serialize gal into /tmp/CTLFireability4912137651195493472.gal : 82 ms
[2026-05-28 08:34:04] [INFO ] Time to serialize properties into /tmp/CTLFireability9095319307899607906.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4912137651195493472.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9095319307899607906.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 08:34:34] [INFO ] Flatten gal took : 410 ms
[2026-05-28 08:34:34] [INFO ] Applying decomposition
[2026-05-28 08:34:35] [INFO ] Flatten gal took : 542 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph3775049277243684743.txt' '-o' '/tmp/graph3775049277243684743.bin' '-w' '/tmp/graph3775049277243684743.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph3775049277243684743.bin' '-l' '-1' '-v' '-w' '/tmp/graph3775049277243684743.weights' '-q' '0' '-e' '0.001'
[2026-05-28 08:34:35] [INFO ] Decomposing Gal with order
[2026-05-28 08:34:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 08:35:17] [INFO ] Removed a total of 12022 redundant transitions.
[2026-05-28 08:35:18] [INFO ] Flatten gal took : 6326 ms
[2026-05-28 08:35:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 51 labels/synchronizations in 142 ms.
[2026-05-28 08:35:19] [INFO ] Time to serialize gal into /tmp/CTLFireability17884783023453964318.gal : 153 ms
[2026-05-28 08:35:19] [INFO ] Time to serialize properties into /tmp/CTLFireability16526399211970027748.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17884783023453964318.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16526399211970027748.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 08:35:49] [INFO ] Flatten gal took : 434 ms
[2026-05-28 08:35:50] [INFO ] Flatten gal took : 498 ms
[2026-05-28 08:35:50] [INFO ] Applying decomposition
[2026-05-28 08:35:50] [INFO ] Flatten gal took : 430 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph15409696797094843344.txt' '-o' '/tmp/graph15409696797094843344.bin' '-w' '/tmp/graph15409696797094843344.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph15409696797094843344.bin' '-l' '-1' '-v' '-w' '/tmp/graph15409696797094843344.weights' '-q' '0' '-e' '0.001'
[2026-05-28 08:35:51] [INFO ] Decomposing Gal with order
[2026-05-28 08:35:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 08:36:32] [INFO ] Removed a total of 12952 redundant transitions.
[2026-05-28 08:36:33] [INFO ] Flatten gal took : 6187 ms
[2026-05-28 08:36:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 40 labels/synchronizations in 140 ms.
[2026-05-28 08:36:34] [INFO ] Time to serialize gal into /tmp/CTLFireability9358792897754742924.gal : 150 ms
[2026-05-28 08:36:34] [INFO ] Time to serialize properties into /tmp/CTLFireability104132576253304515.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9358792897754742924.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability104132576253304515.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...261
No direction supplied, using forward translation only.
Parsed 12 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 09:05:43] [INFO ] Flatten gal took : 8761 ms
[2026-05-28 09:05:44] [INFO ] Time to serialize gal into /tmp/CTLFireability8333682274471081459.gal : 673 ms
[2026-05-28 09:05:45] [INFO ] Time to serialize properties into /tmp/CTLFireability4646643776123184174.ctl : 42 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8333682274471081459.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4646643776123184174.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 12 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="LeafsetExtension-PT-S64C4"
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-5973"
echo " Executing tool itstools"
echo " Input is LeafsetExtension-PT-S64C4, 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 r162-smll-177961108000538"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/LeafsetExtension-PT-S64C4.tgz
mv LeafsetExtension-PT-S64C4 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.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 ;