About the Execution of ITS-Tools for LeafsetExtension-PT-S64C2
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16198.600 | 3600000.00 | 3305916.00 | 185934.50 | ??T?T???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-177961107900522.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-S64C2, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r162-smll-177961107900522
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 14M
-rw-r--r-- 1 mcc users 14K Mar 7 16:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K Mar 7 16:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.7K Mar 7 16:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Mar 7 16:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K Mar 15 11:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 33K Mar 15 11:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Mar 15 11:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 22K Mar 15 11:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 24K Mar 7 16:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 144K Mar 7 16:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K Mar 7 16:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Mar 7 16:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.3K Mar 15 11:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.3K Mar 15 11:16 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-S64C2-CTLFireability-2024-00
FORMULA_NAME LeafsetExtension-PT-S64C2-CTLFireability-2024-01
FORMULA_NAME LeafsetExtension-PT-S64C2-CTLFireability-2024-02
FORMULA_NAME LeafsetExtension-PT-S64C2-CTLFireability-2024-03
FORMULA_NAME LeafsetExtension-PT-S64C2-CTLFireability-2024-04
FORMULA_NAME LeafsetExtension-PT-S64C2-CTLFireability-2024-05
FORMULA_NAME LeafsetExtension-PT-S64C2-CTLFireability-2024-06
FORMULA_NAME LeafsetExtension-PT-S64C2-CTLFireability-2024-07
FORMULA_NAME LeafsetExtension-PT-S64C2-CTLFireability-2024-08
FORMULA_NAME LeafsetExtension-PT-S64C2-CTLFireability-2024-09
FORMULA_NAME LeafsetExtension-PT-S64C2-CTLFireability-2024-10
FORMULA_NAME LeafsetExtension-PT-S64C2-CTLFireability-2024-11
FORMULA_NAME LeafsetExtension-PT-S64C2-CTLFireability-2024-12
FORMULA_NAME LeafsetExtension-PT-S64C2-CTLFireability-2024-13
FORMULA_NAME LeafsetExtension-PT-S64C2-CTLFireability-2024-14
FORMULA_NAME LeafsetExtension-PT-S64C2-CTLFireability-2024-15
=== Now, execution of the tool begins
BK_START 1779943640452
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-S64C2
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202604301425
[2026-05-28 04:47:22] [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 04:47:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-28 04:47:24] [INFO ] Load time of PNML (sax parser for PT used): 1115 ms
[2026-05-28 04:47:24] [INFO ] Transformed 21462 places.
[2026-05-28 04:47:24] [INFO ] Transformed 21129 transitions.
[2026-05-28 04:47:24] [INFO ] Parsed PT model containing 21462 places and 21129 transitions and 67740 arcs in 1539 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 45 ms.
Support contains 174 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 608 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-14290953890602685182.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15586044858934104555.kers'
[2026-05-28 04:47:25] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14290953890602685182.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15586044858934104555.kers]
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 37 ms.
// Phase 1: matrix 21129 rows 17232 cols 54928 entries
Finished phase 1 with 12806 SingleSign rule and 4229 generalized
[2026-05-28 04:47:26] [INFO ] Computed 198 invariants in 1013 ms
Computed 198 P flows in 1015 ms.
Exported basis to /tmp/petrispot-output-15586044858934104555.kers
Total runtime 1045 ms.
[2026-05-28 04:47:52] [INFO ] Implicit Places using invariants in 27078 ms returned [263, 526, 1052, 1315, 2630, 2893, 3156, 3419, 3682, 3945, 4208, 4734, 4997, 5260, 5523, 5786, 6049, 6575, 6838, 7101, 7627, 7890, 8416, 8418, 8680, 8943, 9206, 9469, 9995, 10258, 10521, 10784, 11047, 11310, 11573, 11836, 12099, 12362, 12625, 13151, 13677, 14729, 14992, 15255, 15518, 16044]
Discarding 46 places :
Implicit Place search using SMT only with invariants took 27224 ms to find 46 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 17187/21462 places, 21129/21129 transitions.
Applied a total of 0 rules in 199 ms. Remains 17187 /17187 variables (removed 0) and now considering 21129/21129 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 28067 ms. Remains : 17187/21462 places, 21129/21129 transitions.
Starting structural reductions in LTL mode, iteration 0 : 17187/17187 places, 21129/21129 transitions.
Applied a total of 0 rules in 275 ms. Remains 17187 /17187 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-1256064054647096512.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-12993336638739781821.kers'
[2026-05-28 04:47:53] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1256064054647096512.kers, --Pflows, --basisKERS=/tmp/petrispot-output-12993336638739781821.kers]
Culled 0 columns in 36 ms.
// Phase 1: matrix 21129 rows 17187 cols 52003 entries
Finished phase 1 with 12851 SingleSign rule and 4184 generalized
[2026-05-28 04:47:55] [INFO ] Computed 152 invariants in 1948 ms
Computed 152 P flows in 1949 ms.
Exported basis to /tmp/petrispot-output-12993336638739781821.kers
Total runtime 2005 ms.
[2026-05-28 04:48:09] [INFO ] Implicit Places using invariants in 16561 ms returned []
Implicit Place search using SMT only with invariants took 16564 ms to find 0 implicit places.
Running 21064 sub problems to find dead transitions.
[2026-05-28 04:48:10] [INFO ] Invariant cache hit.
Excessive predecessor constraint size, skipping predecessor.
At refinement iteration 0 (INCLUDED_ONLY) 0/17186 variables, 149/149 constraints. Problems are: Problem set: 0 solved, 21064 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 17186/38316 variables, and 149 constraints, problems are : Problem set: 0 solved, 21064 unsolved in 30694 ms.
Refiners :[Generalized P Invariants (flows): 149/152 constraints, State Equation: 0/17187 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 106488ms, After SMT, problems are : Problem set: 0 solved, 21064 unsolved
Search for dead transitions found 0 dead transitions in 106687ms
Finished structural reductions in LTL mode , in 1 iterations and 123674 ms. Remains : 17187/17187 places, 21129/21129 transitions.
Support contains 174 out of 17187 places after structural reductions.
[2026-05-28 04:49:58] [INFO ] Flatten gal took : 1236 ms
[2026-05-28 04:49:59] [INFO ] Flatten gal took : 625 ms
[2026-05-28 04:50:00] [INFO ] Input system was already deterministic with 21129 transitions.
Support contains 171 out of 17187 places (down from 174) after GAL structural reductions.
RANDOM walk for 40000 steps (2203 resets) in 3931 ms. (10 steps per ms) remains 26/81 properties
BEST_FIRST walk for 4004 steps (8 resets) in 27 ms. (143 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 27 ms. (143 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 21 ms. (182 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 25 ms. (154 steps per ms) remains 25/26 properties
BEST_FIRST walk for 4004 steps (8 resets) in 23 ms. (166 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4003 steps (8 resets) in 17 ms. (222 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 18 ms. (210 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 24 ms. (160 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 21 ms. (182 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 24/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 22/24 properties
[2026-05-28 04:50:02] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/42 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 1 (OVERLAPS) 16762/16804 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 22 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 16804/38316 variables, and 13 constraints, problems are : Problem set: 0 solved, 22 unsolved in 5017 ms.
Refiners :[Generalized P Invariants (flows): 13/152 constraints, State Equation: 0/17187 constraints, PredecessorRefiner: 22/22 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/42 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 1 (OVERLAPS) 16762/16804 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 22 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 16804/38316 variables, and 13 constraints, problems are : Problem set: 0 solved, 22 unsolved in 5352 ms.
Refiners :[Generalized P Invariants (flows): 13/152 constraints, State Equation: 0/17187 constraints, PredecessorRefiner: 0/22 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 10652ms problems are : Problem set: 0 solved, 22 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 42 out of 17187 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 17187/17187 places, 21129/21129 transitions.
Graph (complete) has 35184 edges and 17187 vertex of which 1530 are kept as prefixes of interest. Removing 15657 places using SCC suffix rule.39 ms
Discarding 15657 places :
Also discarding 14165 output transitions
Drop transitions (Output transitions of discarded places.) removed 14165 transitions
Drop transitions (Empty/Sink Transition effects.) removed 1377 transitions
Reduce isomorphic transitions removed 1377 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 464 transitions
Trivial Post-agglo rules discarded 464 transitions
Performed 464 trivial Post agglomeration. Transition count delta: 464
Iterating post reduction 0 with 1841 rules applied. Total rules applied 1842 place count 1530 transition count 5123
Reduce places removed 466 places and 0 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 1 with 472 rules applied. Total rules applied 2314 place count 1064 transition count 5117
Reduce places removed 6 places and 0 transitions.
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Iterating post reduction 2 with 12 rules applied. Total rules applied 2326 place count 1058 transition count 5111
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 3 with 6 rules applied. Total rules applied 2332 place count 1052 transition count 5111
Performed 20 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 20 Pre rules applied. Total rules applied 2332 place count 1052 transition count 5091
Deduced a syphon composed of 20 places in 1 ms
Reduce places removed 20 places and 0 transitions.
Iterating global reduction 4 with 40 rules applied. Total rules applied 2372 place count 1032 transition count 5091
Discarding 449 places :
Symmetric choice reduction at 4 with 449 rule applications. Total rules 2821 place count 583 transition count 4642
Iterating global reduction 4 with 449 rules applied. Total rules applied 3270 place count 583 transition count 4642
Discarding 186 places :
Symmetric choice reduction at 4 with 186 rule applications. Total rules 3456 place count 397 transition count 4456
Iterating global reduction 4 with 186 rules applied. Total rules applied 3642 place count 397 transition count 4456
Performed 18 Post agglomeration using F-continuation condition.Transition count delta: 18
Deduced a syphon composed of 18 places in 1 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 4 with 36 rules applied. Total rules applied 3678 place count 379 transition count 4438
Free-agglomeration rule (complex) applied 43 times.
Iterating global reduction 4 with 43 rules applied. Total rules applied 3721 place count 379 transition count 4395
Reduce places removed 43 places and 0 transitions.
Iterating post reduction 4 with 43 rules applied. Total rules applied 3764 place count 336 transition count 4395
Partial Free-agglomeration rule applied 53 times.
Drop transitions (Partial Free agglomeration) removed 53 transitions
Iterating global reduction 5 with 53 rules applied. Total rules applied 3817 place count 336 transition count 4395
Applied a total of 3817 rules in 1661 ms. Remains 336 /17187 variables (removed 16851) and now considering 4395/21129 (removed 16734) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1662 ms. Remains : 336/17187 places, 4395/21129 transitions.
RANDOM walk for 40000 steps (7308 resets) in 2409 ms. (16 steps per ms) remains 3/22 properties
BEST_FIRST walk for 40004 steps (56 resets) in 108 ms. (367 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (56 resets) in 125 ms. (317 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (51 resets) in 149 ms. (266 steps per ms) remains 3/3 properties
[2026-05-28 04:50:15] [INFO ] Flow matrix only has 789 transitions (discarded 3606 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7551857108627615722.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9768154716440673087.kers'
[2026-05-28 04:50:15] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7551857108627615722.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9768154716440673087.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 789 rows 336 cols 2370 entries
Finished phase 1 with 269 SingleSign rule and 56 generalized
[2026-05-28 04:50:15] [INFO ] Computed 11 invariants in 7 ms
Computed 11 P flows in 8 ms.
Exported basis to /tmp/petrispot-output-9768154716440673087.kers
Total runtime 9 ms.
At refinement iteration 0 (INCLUDED_ONLY) 0/14 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 71/85 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/85 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 3 unsolved
Problem AtomicPropp72 is UNSAT
All remaining problems are real, not stopping.
At refinement iteration 3 (OVERLAPS) 434/519 variables, 85/87 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/519 variables, 0/87 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 440/959 variables, 104/191 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/959 variables, 0/191 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 7 (OVERLAPS) 19/978 variables, 9/200 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/978 variables, 0/200 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 9 (OVERLAPS) 147/1125 variables, 147/347 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1125 variables, 0/347 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 11 (OVERLAPS) 0/1125 variables, 0/347 constraints. Problems are: Problem set: 1 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1125/1125 variables, and 347 constraints, problems are : Problem set: 1 solved, 2 unsolved in 1040 ms.
Refiners :[Generalized P Invariants (flows): 11/11 constraints, State Equation: 336/336 constraints, PredecessorRefiner: 3/3 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 1 solved, 2 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/6 variables, 0/0 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 65/71 variables, 1/1 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/71 variables, 0/1 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 389/460 variables, 71/72 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/460 variables, 1/73 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/460 variables, 0/73 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 6 (OVERLAPS) 490/950 variables, 109/182 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/950 variables, 1/183 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/950 variables, 0/183 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 9 (OVERLAPS) 28/978 variables, 10/193 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/978 variables, 9/202 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/978 variables, 0/202 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 12 (OVERLAPS) 147/1125 variables, 147/349 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1125 variables, 0/349 constraints. Problems are: Problem set: 1 solved, 2 unsolved
At refinement iteration 14 (OVERLAPS) 0/1125 variables, 0/349 constraints. Problems are: Problem set: 1 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Int declared 1125/1125 variables, and 349 constraints, problems are : Problem set: 1 solved, 2 unsolved in 1199 ms.
Refiners :[Generalized P Invariants (flows): 11/11 constraints, State Equation: 336/336 constraints, PredecessorRefiner: 2/3 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 2270ms problems are : Problem set: 1 solved, 2 unsolved
Finished Parikh walk after 5 steps, including 0 resets, run visited all 1 properties in 1 ms. (steps per millisecond=5 )
Parikh walk visited 2 properties in 30 ms.
Successfully simplified 1 atomic propositions for a total of 16 simplifications.
[2026-05-28 04:50:18] [INFO ] Flatten gal took : 676 ms
[2026-05-28 04:50:18] [INFO ] Flatten gal took : 456 ms
[2026-05-28 04:50:19] [INFO ] Input system was already deterministic with 21129 transitions.
Computed a total of 17187 stabilizing places and 21129 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 17187 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 2 formulas.
FORMULA LeafsetExtension-PT-S64C2-CTLFireability-2024-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Starting structural reductions in LTL mode, iteration 0 : 17187/17187 places, 21129/21129 transitions.
Applied a total of 0 rules in 87 ms. Remains 17187 /17187 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-16364195055176365232.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3658122520259913513.kers'
[2026-05-28 04:50:20] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-16364195055176365232.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3658122520259913513.kers]
Culled 0 columns in 22 ms.
// Phase 1: matrix 21129 rows 17187 cols 52003 entries
Finished phase 1 with 12851 SingleSign rule and 4184 generalized
[2026-05-28 04:50:22] [INFO ] Computed 152 invariants in 2106 ms
Computed 152 P flows in 2107 ms.
Exported basis to /tmp/petrispot-output-3658122520259913513.kers
Total runtime 2126 ms.
[2026-05-28 04:50:40] [INFO ] Implicit Places using invariants in 20841 ms returned [787, 1574, 1837, 2100, 2363, 4460, 6295, 7344, 8131, 9704, 12849, 13374, 13899, 14162, 14425, 15736, 16261, 16787, 17050]
Discarding 19 places :
Implicit Place search using SMT only with invariants took 20860 ms to find 19 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 17168/17187 places, 21129/21129 transitions.
Applied a total of 0 rules in 87 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 21036 ms. Remains : 17168/17187 places, 21129/21129 transitions.
[2026-05-28 04:50:41] [INFO ] Flatten gal took : 441 ms
[2026-05-28 04:50:41] [INFO ] Flatten gal took : 492 ms
[2026-05-28 04:50:42] [INFO ] Input system was already deterministic with 21129 transitions.
[2026-05-28 04:50:43] [INFO ] Flatten gal took : 462 ms
[2026-05-28 04:50:43] [INFO ] Flatten gal took : 492 ms
[2026-05-28 04:50:44] [INFO ] Time to serialize gal into /tmp/CTLFireability2119270441708923663.gal : 239 ms
[2026-05-28 04:50:44] [INFO ] Time to serialize properties into /tmp/CTLFireability5901447604070927858.ctl : 6 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/CTLFireability2119270441708923663.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5901447604070927858.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 04:51:14] [INFO ] Flatten gal took : 555 ms
[2026-05-28 04:51:14] [INFO ] Applying decomposition
[2026-05-28 04:51:15] [INFO ] Flatten gal took : 422 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/graph5035830726694564661.txt' '-o' '/tmp/graph5035830726694564661.bin' '-w' '/tmp/graph5035830726694564661.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5035830726694564661.bin' '-l' '-1' '-v' '-w' '/tmp/graph5035830726694564661.weights' '-q' '0' '-e' '0.001'
[2026-05-28 04:51:18] [INFO ] Decomposing Gal with order
[2026-05-28 04:51:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 04:51:56] [INFO ] Removed a total of 12084 redundant transitions.
[2026-05-28 04:51:57] [INFO ] Flatten gal took : 7550 ms
[2026-05-28 04:51:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 16 labels/synchronizations in 260 ms.
[2026-05-28 04:51:59] [INFO ] Time to serialize gal into /tmp/CTLFireability9959615790366929145.gal : 240 ms
[2026-05-28 04:51:59] [INFO ] Time to serialize properties into /tmp/CTLFireability3512356021293855227.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/CTLFireability9959615790366929145.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3512356021293855227.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 : 17187/17187 places, 21129/21129 transitions.
Graph (complete) has 39541 edges and 17187 vertex of which 17185 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.80 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 8251 transitions
Trivial Post-agglo rules discarded 8251 transitions
Performed 8251 trivial Post agglomeration. Transition count delta: 8251
Iterating post reduction 0 with 8251 rules applied. Total rules applied 8252 place count 17185 transition count 12876
Reduce places removed 8251 places and 0 transitions.
Performed 64 Post agglomeration using F-continuation condition.Transition count delta: 64
Iterating post reduction 1 with 8315 rules applied. Total rules applied 16567 place count 8934 transition count 12812
Reduce places removed 64 places and 0 transitions.
Iterating post reduction 2 with 64 rules applied. Total rules applied 16631 place count 8870 transition count 12812
Performed 129 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 129 Pre rules applied. Total rules applied 16631 place count 8870 transition count 12683
Deduced a syphon composed of 129 places in 6 ms
Reduce places removed 129 places and 0 transitions.
Iterating global reduction 3 with 258 rules applied. Total rules applied 16889 place count 8741 transition count 12683
Discarding 4025 places :
Symmetric choice reduction at 3 with 4025 rule applications. Total rules 20914 place count 4716 transition count 8658
Iterating global reduction 3 with 4025 rules applied. Total rules applied 24939 place count 4716 transition count 8658
Discarding 2748 places :
Symmetric choice reduction at 3 with 2748 rule applications. Total rules 27687 place count 1968 transition count 5910
Iterating global reduction 3 with 2748 rules applied. Total rules applied 30435 place count 1968 transition count 5910
Performed 131 Post agglomeration using F-continuation condition.Transition count delta: 131
Deduced a syphon composed of 131 places in 1 ms
Reduce places removed 131 places and 0 transitions.
Iterating global reduction 3 with 262 rules applied. Total rules applied 30697 place count 1837 transition count 5779
Applied a total of 30697 rules in 3935 ms. Remains 1837 /17187 variables (removed 15350) and now considering 5779/21129 (removed 15350) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10595116332942086184.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4354512335240066419.kers'
[2026-05-28 04:52:32] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10595116332942086184.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4354512335240066419.kers]
Culled 0 columns in 5 ms.
// Phase 1: matrix 5779 rows 1837 cols 17218 entries
Finished phase 1 with 1464 SingleSign rule and 221 generalized
[2026-05-28 04:52:33] [INFO ] Computed 152 invariants in 67 ms
Computed 152 P flows in 68 ms.
Exported basis to /tmp/petrispot-output-4354512335240066419.kers
Total runtime 77 ms.
[2026-05-28 04:52:35] [INFO ] Implicit Places using invariants in 2845 ms returned [2, 12, 28, 38, 54, 63, 78, 80, 90, 106, 116, 132, 141, 156, 158, 167, 182, 184, 193, 208, 210, 219, 234, 236, 246, 274, 291, 301, 317, 327, 343, 353, 381, 397, 407, 423, 432, 447, 449, 459, 475, 485, 501, 511, 527, 537, 553, 563, 579, 589, 605, 614, 629, 631, 659, 669, 685, 695, 722, 738, 740, 750, 766, 776, 792, 818, 820, 830, 846, 856, 872, 882, 898, 908, 924, 934, 950, 960, 974, 976, 986, 1002, 1012, 1028, 1038, 1054, 1064, 1080, 1090, 1106, 1116, 1132, 1142, 1158, 1168, 1184, 1194, 1210, 1220, 1236, 1246, 1262, 1272, 1286, 1288, 1298, 1314, 1324, 1338, 1340, 1350, 1366, 1376, 1390, 1392, 1402, 1416, 1418, 1428, 1442, 1444, 1454, 1470, 1480, 1496, 1506, 1522, 1532, 1548, 1558, 1572, 1574, 1584, 1600, 1610, 1624, 1626, 1636, 1650, 1652, 1662, 1676, 1678, 1688, 1702]
Discarding 145 places :
Implicit Place search using SMT only with invariants took 2854 ms to find 145 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1692/17187 places, 5779/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 1692 transition count 5778
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 1691 transition count 5778
Discarding 1270 places :
Symmetric choice reduction at 0 with 1270 rule applications. Total rules 1272 place count 421 transition count 4508
Iterating global reduction 0 with 1270 rules applied. Total rules applied 2542 place count 421 transition count 4508
Discarding 123 places :
Symmetric choice reduction at 0 with 123 rule applications. Total rules 2665 place count 298 transition count 4385
Iterating global reduction 0 with 123 rules applied. Total rules applied 2788 place count 298 transition count 4385
Discarding 123 places :
Symmetric choice reduction at 0 with 123 rule applications. Total rules 2911 place count 175 transition count 4262
Iterating global reduction 0 with 123 rules applied. Total rules applied 3034 place count 175 transition count 4262
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 3056 place count 164 transition count 4251
Applied a total of 3056 rules in 243 ms. Remains 164 /1692 variables (removed 1528) and now considering 4251/5779 (removed 1528) transitions.
[2026-05-28 04:52:36] [INFO ] Flow matrix only has 317 transitions (discarded 3934 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11921657641436031854.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11573129564054684582.kers'
[2026-05-28 04:52:36] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11921657641436031854.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11573129564054684582.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 317 rows 164 cols 869 entries
Finished phase 1 with 82 SingleSign rule and 75 generalized
[2026-05-28 04:52:36] [INFO ] Computed 7 invariants in 15 ms
Computed 7 P flows in 30 ms.
Exported basis to /tmp/petrispot-output-11573129564054684582.kers
Total runtime 31 ms.
[2026-05-28 04:52:36] [INFO ] Implicit Places using invariants in 815 ms returned []
[2026-05-28 04:52:36] [INFO ] Flow matrix only has 317 transitions (discarded 3934 similar events)
[2026-05-28 04:52:36] [INFO ] Invariant cache hit.
[2026-05-28 04:52:41] [INFO ] Implicit Places using invariants and state equation in 4120 ms returned []
Implicit Place search using SMT with State Equation took 4940 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 164/17187 places, 4251/21129 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 11973 ms. Remains : 164/17187 places, 4251/21129 transitions.
[2026-05-28 04:52:41] [INFO ] Flatten gal took : 41 ms
[2026-05-28 04:52:41] [INFO ] Flatten gal took : 65 ms
[2026-05-28 04:52:41] [INFO ] Input system was already deterministic with 4251 transitions.
[2026-05-28 04:52:41] [INFO ] Flatten gal took : 56 ms
[2026-05-28 04:52:41] [INFO ] Flatten gal took : 57 ms
[2026-05-28 04:52:41] [INFO ] Time to serialize gal into /tmp/CTLFireability15870075480321585968.gal : 15 ms
[2026-05-28 04:52:41] [INFO ] Time to serialize properties into /tmp/CTLFireability5476101446678687556.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/CTLFireability15870075480321585968.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5476101446678687556.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.
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,174080,5.91739,115856,2,10971,5,290745,6,0,4842,100511,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2026-05-28 04:53:11] [INFO ] Flatten gal took : 49 ms
[2026-05-28 04:53:11] [INFO ] Applying decomposition
[2026-05-28 04:53:11] [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/graph12592075392648725032.txt' '-o' '/tmp/graph12592075392648725032.bin' '-w' '/tmp/graph12592075392648725032.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12592075392648725032.bin' '-l' '-1' '-v' '-w' '/tmp/graph12592075392648725032.weights' '-q' '0' '-e' '0.001'
[2026-05-28 04:53:11] [INFO ] Decomposing Gal with order
[2026-05-28 04:53:11] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 04:53:12] [INFO ] Removed a total of 4338 redundant transitions.
[2026-05-28 04:53:12] [INFO ] Flatten gal took : 267 ms
[2026-05-28 04:53:12] [INFO ] Fuse similar labels procedure discarded/fused a total of 231 labels/synchronizations in 32 ms.
[2026-05-28 04:53:12] [INFO ] Time to serialize gal into /tmp/CTLFireability4387236459807097188.gal : 8 ms
[2026-05-28 04:53:12] [INFO ] Time to serialize properties into /tmp/CTLFireability13106640177762208502.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/CTLFireability4387236459807097188.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13106640177762208502.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,174080,1.51491,39692,743,5376,10000,86560,288,26310,2341,206851,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 17187/17187 places, 21129/21129 transitions.
Graph (complete) has 39541 edges and 17187 vertex of which 17185 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 8060 transitions
Trivial Post-agglo rules discarded 8060 transitions
Performed 8060 trivial Post agglomeration. Transition count delta: 8060
Iterating post reduction 0 with 8060 rules applied. Total rules applied 8061 place count 17185 transition count 13067
Reduce places removed 8060 places and 0 transitions.
Performed 256 Post agglomeration using F-continuation condition.Transition count delta: 256
Iterating post reduction 1 with 8316 rules applied. Total rules applied 16377 place count 9125 transition count 12811
Reduce places removed 256 places and 0 transitions.
Iterating post reduction 2 with 256 rules applied. Total rules applied 16633 place count 8869 transition count 12811
Performed 129 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 129 Pre rules applied. Total rules applied 16633 place count 8869 transition count 12682
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 16891 place count 8740 transition count 12682
Discarding 4027 places :
Symmetric choice reduction at 3 with 4027 rule applications. Total rules 20918 place count 4713 transition count 8655
Iterating global reduction 3 with 4027 rules applied. Total rules applied 24945 place count 4713 transition count 8655
Discarding 2748 places :
Symmetric choice reduction at 3 with 2748 rule applications. Total rules 27693 place count 1965 transition count 5907
Iterating global reduction 3 with 2748 rules applied. Total rules applied 30441 place count 1965 transition count 5907
Performed 131 Post agglomeration using F-continuation condition.Transition count delta: 131
Deduced a syphon composed of 131 places in 1 ms
Reduce places removed 131 places and 0 transitions.
Iterating global reduction 3 with 262 rules applied. Total rules applied 30703 place count 1834 transition count 5776
Applied a total of 30703 rules in 3323 ms. Remains 1834 /17187 variables (removed 15353) and now considering 5776/21129 (removed 15353) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4238358625461539293.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15457429171638889649.kers'
[2026-05-28 04:53:45] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4238358625461539293.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15457429171638889649.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 5776 rows 1834 cols 17210 entries
Finished phase 1 with 1463 SingleSign rule and 219 generalized
[2026-05-28 04:53:45] [INFO ] Computed 152 invariants in 46 ms
Computed 152 P flows in 47 ms.
Exported basis to /tmp/petrispot-output-15457429171638889649.kers
Total runtime 52 ms.
[2026-05-28 04:53:49] [INFO ] Implicit Places using invariants in 3932 ms returned [2, 12, 28, 38, 65, 81, 83, 93, 109, 119, 135, 144, 161, 170, 187, 196, 211, 213, 222, 237, 239, 249, 265, 275, 291, 301, 317, 327, 343, 353, 369, 379, 395, 405, 421, 430, 445, 447, 457, 473, 483, 499, 509, 525, 535, 551, 562, 578, 588, 604, 613, 628, 630, 659, 669, 685, 695, 711, 720, 735, 737, 747, 763, 773, 789, 798, 813, 815, 843, 853, 869, 879, 895, 905, 921, 931, 947, 957, 971, 973, 983, 999, 1009, 1025, 1035, 1051, 1061, 1077, 1087, 1103, 1113, 1129, 1139, 1155, 1165, 1181, 1191, 1207, 1217, 1233, 1243, 1259, 1269, 1283, 1285, 1295, 1311, 1321, 1335, 1337, 1347, 1363, 1373, 1387, 1389, 1399, 1413, 1415, 1425, 1439, 1441, 1451, 1467, 1477, 1493, 1503, 1519, 1529, 1545, 1555, 1569, 1571, 1581, 1597, 1607, 1621, 1623, 1633, 1647, 1649, 1659, 1675, 1685, 1699]
Discarding 144 places :
Implicit Place search using SMT only with invariants took 3938 ms to find 144 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1690/17187 places, 5776/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 1690 transition count 5775
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 1689 transition count 5775
Discarding 1081 places :
Symmetric choice reduction at 0 with 1081 rule applications. Total rules 1083 place count 608 transition count 4694
Iterating global reduction 0 with 1081 rules applied. Total rules applied 2164 place count 608 transition count 4694
Discarding 125 places :
Symmetric choice reduction at 0 with 125 rule applications. Total rules 2289 place count 483 transition count 4569
Iterating global reduction 0 with 125 rules applied. Total rules applied 2414 place count 483 transition count 4569
Discarding 304 places :
Symmetric choice reduction at 0 with 304 rule applications. Total rules 2718 place count 179 transition count 4265
Iterating global reduction 0 with 304 rules applied. Total rules applied 3022 place count 179 transition count 4265
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 1 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 0 with 14 rules applied. Total rules applied 3036 place count 172 transition count 4258
Applied a total of 3036 rules in 302 ms. Remains 172 /1690 variables (removed 1518) and now considering 4258/5776 (removed 1518) transitions.
[2026-05-28 04:53:49] [INFO ] Flow matrix only has 267 transitions (discarded 3991 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4807382348894282713.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2730786041006545424.kers'
[2026-05-28 04:53:49] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4807382348894282713.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2730786041006545424.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 267 rows 172 cols 717 entries
Finished phase 1 with 90 SingleSign rule and 74 generalized
[2026-05-28 04:53:49] [INFO ] Computed 8 invariants in 2 ms
Computed 8 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-2730786041006545424.kers
Total runtime 2 ms.
[2026-05-28 04:53:50] [INFO ] Implicit Places using invariants in 432 ms returned []
[2026-05-28 04:53:50] [INFO ] Flow matrix only has 267 transitions (discarded 3991 similar events)
[2026-05-28 04:53:50] [INFO ] Invariant cache hit.
[2026-05-28 04:53:53] [INFO ] Implicit Places using invariants and state equation in 3362 ms returned []
Implicit Place search using SMT with State Equation took 3810 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 172/17187 places, 4258/21129 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 11377 ms. Remains : 172/17187 places, 4258/21129 transitions.
[2026-05-28 04:53:53] [INFO ] Flatten gal took : 62 ms
[2026-05-28 04:53:53] [INFO ] Flatten gal took : 93 ms
[2026-05-28 04:53:54] [INFO ] Input system was already deterministic with 4258 transitions.
[2026-05-28 04:53:54] [INFO ] Flatten gal took : 82 ms
[2026-05-28 04:53:54] [INFO ] Flatten gal took : 75 ms
[2026-05-28 04:53:54] [INFO ] Time to serialize gal into /tmp/CTLFireability8436584975033563561.gal : 15 ms
[2026-05-28 04:53:54] [INFO ] Time to serialize properties into /tmp/CTLFireability18318952596702090413.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/CTLFireability8436584975033563561.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18318952596702090413.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.
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,120971,5.71452,83300,2,6154,5,241891,6,0,4881,101247,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2026-05-28 04:54:24] [INFO ] Flatten gal took : 93 ms
[2026-05-28 04:54:24] [INFO ] Applying decomposition
[2026-05-28 04:54:24] [INFO ] Flatten gal took : 95 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/graph2431200766629623419.txt' '-o' '/tmp/graph2431200766629623419.bin' '-w' '/tmp/graph2431200766629623419.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph2431200766629623419.bin' '-l' '-1' '-v' '-w' '/tmp/graph2431200766629623419.weights' '-q' '0' '-e' '0.001'
[2026-05-28 04:54:24] [INFO ] Decomposing Gal with order
[2026-05-28 04:54:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 04:54:25] [INFO ] Removed a total of 4451 redundant transitions.
[2026-05-28 04:54:25] [INFO ] Flatten gal took : 438 ms
[2026-05-28 04:54:25] [INFO ] Fuse similar labels procedure discarded/fused a total of 247 labels/synchronizations in 31 ms.
[2026-05-28 04:54:25] [INFO ] Time to serialize gal into /tmp/CTLFireability13914987988885564219.gal : 11 ms
[2026-05-28 04:54:25] [INFO ] Time to serialize properties into /tmp/CTLFireability4157891831830948664.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/CTLFireability13914987988885564219.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4157891831830948664.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,120971,2.88717,58048,797,3924,15592,194240,376,37137,2295,172880,0
Converting to forward existential form...Done !
original formula: EG((((u2.Node38DontAnswerToAnyNode<1)||(u2.Node51IsActive<1)) * (EG((i0.u6.Node21ManageTheBreakDownOfNode2<1)) + (((EG(((u1.NoNodeManageT...672
=> equivalent forward existential formula: [FwdG(Init,(((u2.Node38DontAnswerToAnyNode<1)||(u2.Node51IsActive<1)) * (EG((i0.u6.Node21ManageTheBreakDownOfNod...721
Reverse transition relation is NOT exact ! Due to transitions t86, t270, t271, t274, t275, t286, t374, t387, t400, t418, t551, t596, t1233, t1235, t1240, t...18577
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using 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,26.4461,562500,1,0,400501,1.32144e+06,10837,597287,14292,3.71994e+06,1740977
FORMULA LeafsetExtension-PT-S64C2-CTLFireability-2024-02 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is TRUE !
***************************************
Starting structural reductions in SI_CTL mode, iteration 0 : 17187/17187 places, 21129/21129 transitions.
Graph (complete) has 39541 edges and 17187 vertex of which 17185 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 8023 transitions
Trivial Post-agglo rules discarded 8023 transitions
Performed 8023 trivial Post agglomeration. Transition count delta: 8023
Iterating post reduction 0 with 8023 rules applied. Total rules applied 8024 place count 17185 transition count 13104
Reduce places removed 8023 places and 0 transitions.
Performed 288 Post agglomeration using F-continuation condition.Transition count delta: 288
Iterating post reduction 1 with 8311 rules applied. Total rules applied 16335 place count 9162 transition count 12816
Reduce places removed 288 places and 0 transitions.
Iterating post reduction 2 with 288 rules applied. Total rules applied 16623 place count 8874 transition count 12816
Performed 129 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 129 Pre rules applied. Total rules applied 16623 place count 8874 transition count 12687
Deduced a syphon composed of 129 places in 4 ms
Reduce places removed 129 places and 0 transitions.
Iterating global reduction 3 with 258 rules applied. Total rules applied 16881 place count 8745 transition count 12687
Discarding 4023 places :
Symmetric choice reduction at 3 with 4023 rule applications. Total rules 20904 place count 4722 transition count 8664
Iterating global reduction 3 with 4023 rules applied. Total rules applied 24927 place count 4722 transition count 8664
Discarding 2744 places :
Symmetric choice reduction at 3 with 2744 rule applications. Total rules 27671 place count 1978 transition count 5920
Iterating global reduction 3 with 2744 rules applied. Total rules applied 30415 place count 1978 transition count 5920
Performed 131 Post agglomeration using F-continuation condition.Transition count delta: 131
Deduced a syphon composed of 131 places in 2 ms
Reduce places removed 131 places and 0 transitions.
Iterating global reduction 3 with 262 rules applied. Total rules applied 30677 place count 1847 transition count 5789
Applied a total of 30677 rules in 3196 ms. Remains 1847 /17187 variables (removed 15340) and now considering 5789/21129 (removed 15340) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4068288597646078298.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17908767046910829499.kers'
[2026-05-28 04:54:55] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4068288597646078298.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17908767046910829499.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 5789 rows 1847 cols 17240 entries
Finished phase 1 with 1472 SingleSign rule and 223 generalized
[2026-05-28 04:54:55] [INFO ] Computed 152 invariants in 44 ms
Computed 152 P flows in 45 ms.
Exported basis to /tmp/petrispot-output-17908767046910829499.kers
Total runtime 50 ms.
[2026-05-28 04:54:58] [INFO ] Implicit Places using invariants in 3684 ms returned [2, 12, 28, 38, 54, 63, 78, 80, 90, 106, 116, 132, 141, 156, 158, 167, 182, 184, 193, 208, 210, 219, 234, 236, 246, 262, 272, 288, 300, 316, 326, 342, 352, 368, 378, 394, 404, 420, 429, 444, 446, 456, 472, 482, 498, 508, 524, 534, 550, 560, 576, 586, 602, 611, 626, 628, 638, 654, 664, 680, 690, 706, 715, 732, 742, 758, 768, 784, 793, 808, 822, 839, 850, 866, 876, 892, 902, 918, 928, 944, 954, 968, 970, 980, 1008, 1025, 1035, 1051, 1061, 1077, 1087, 1103, 1113, 1129, 1139, 1155, 1165, 1181, 1191, 1207, 1217, 1233, 1243, 1259, 1269, 1285, 1295, 1311, 1338, 1340, 1350, 1366, 1376, 1390, 1392, 1418, 1420, 1430, 1444, 1446, 1456, 1472, 1482, 1498, 1508, 1536, 1553, 1563, 1577, 1579, 1589, 1617, 1631, 1633, 1643, 1657, 1659, 1669, 1683, 1697, 1712]
Discarding 141 places :
Implicit Place search using SMT only with invariants took 3691 ms to find 141 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1706/17187 places, 5789/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 1706 transition count 5788
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 1705 transition count 5788
Discarding 1140 places :
Symmetric choice reduction at 0 with 1140 rule applications. Total rules 1142 place count 565 transition count 4648
Iterating global reduction 0 with 1140 rules applied. Total rules applied 2282 place count 565 transition count 4648
Discarding 121 places :
Symmetric choice reduction at 0 with 121 rule applications. Total rules 2403 place count 444 transition count 4527
Iterating global reduction 0 with 121 rules applied. Total rules applied 2524 place count 444 transition count 4527
Discarding 236 places :
Symmetric choice reduction at 0 with 236 rule applications. Total rules 2760 place count 208 transition count 4291
Iterating global reduction 0 with 236 rules applied. Total rules applied 2996 place count 208 transition count 4291
Performed 12 Post agglomeration using F-continuation condition.Transition count delta: 12
Deduced a syphon composed of 12 places in 1 ms
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 0 with 24 rules applied. Total rules applied 3020 place count 196 transition count 4279
Applied a total of 3020 rules in 377 ms. Remains 196 /1706 variables (removed 1510) and now considering 4279/5789 (removed 1510) transitions.
[2026-05-28 04:54:59] [INFO ] Flow matrix only has 415 transitions (discarded 3864 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12196992542163882695.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1136013423946037823.kers'
[2026-05-28 04:54:59] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12196992542163882695.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1136013423946037823.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 415 rows 196 cols 1148 entries
Finished phase 1 with 104 SingleSign rule and 81 generalized
[2026-05-28 04:54:59] [INFO ] Computed 11 invariants in 4 ms
Computed 11 P flows in 5 ms.
Exported basis to /tmp/petrispot-output-1136013423946037823.kers
Total runtime 6 ms.
[2026-05-28 04:54:59] [INFO ] Implicit Places using invariants in 663 ms returned []
[2026-05-28 04:54:59] [INFO ] Flow matrix only has 415 transitions (discarded 3864 similar events)
[2026-05-28 04:54:59] [INFO ] Invariant cache hit.
[2026-05-28 04:55:03] [INFO ] Implicit Places using invariants and state equation in 3182 ms returned []
Implicit Place search using SMT with State Equation took 3847 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 196/17187 places, 4279/21129 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 11120 ms. Remains : 196/17187 places, 4279/21129 transitions.
[2026-05-28 04:55:03] [INFO ] Flatten gal took : 46 ms
[2026-05-28 04:55:03] [INFO ] Flatten gal took : 68 ms
[2026-05-28 04:55:03] [INFO ] Input system was already deterministic with 4279 transitions.
[2026-05-28 04:55:03] [INFO ] Flatten gal took : 64 ms
[2026-05-28 04:55:03] [INFO ] Flatten gal took : 71 ms
[2026-05-28 04:55:03] [INFO ] Time to serialize gal into /tmp/CTLFireability4676772979526646396.gal : 18 ms
[2026-05-28 04:55:03] [INFO ] Time to serialize properties into /tmp/CTLFireability16876236605473526375.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/CTLFireability4676772979526646396.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16876236605473526375.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 04:55:33] [INFO ] Flatten gal took : 79 ms
[2026-05-28 04:55:33] [INFO ] Applying decomposition
[2026-05-28 04:55:33] [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/graph17235536803030286630.txt' '-o' '/tmp/graph17235536803030286630.bin' '-w' '/tmp/graph17235536803030286630.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph17235536803030286630.bin' '-l' '-1' '-v' '-w' '/tmp/graph17235536803030286630.weights' '-q' '0' '-e' '0.001'
[2026-05-28 04:55:33] [INFO ] Decomposing Gal with order
[2026-05-28 04:55:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 04:55:34] [INFO ] Removed a total of 4584 redundant transitions.
[2026-05-28 04:55:34] [INFO ] Flatten gal took : 301 ms
[2026-05-28 04:55:34] [INFO ] Fuse similar labels procedure discarded/fused a total of 225 labels/synchronizations in 30 ms.
[2026-05-28 04:55:34] [INFO ] Time to serialize gal into /tmp/CTLFireability1669083261688915527.gal : 14 ms
[2026-05-28 04:55:34] [INFO ] Time to serialize properties into /tmp/CTLFireability14608829694096432919.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/CTLFireability1669083261688915527.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14608829694096432919.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,319726,11.4894,233536,2303,9727,130548,458961,524,737563,2220,564056,0
Converting to forward existential form...Done !
original formula: (AG(((i6.u8.Node38HasAskedItsLeafSetToLxToReplaceNode18<1)||(i6.u8.LeafSetOfLxIsSentToNode38<1))) * A(!((EF(((i6.u8.Node31HasAskedItsLeaf...1122
=> equivalent forward existential formula: ([(FwdU(Init,TRUE) * !(((i6.u8.Node38HasAskedItsLeafSetToLxToReplaceNode18<1)||(i6.u8.LeafSetOfLxIsSentToNode38<...7069
Detected timeout of ITS tools.
java.io.IOException: Stream closed
at java.base/java.io.BufferedInputStream.ensureOpen(BufferedInputStream.java:206)
at java.base/java.io.BufferedInputStream.implRead(BufferedInputStream.java:411)
at java.base/java.io.BufferedInputStream.read(BufferedInputStream.java:405)
at java.base/sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:350)
at java.base/sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:393)
at java.base/sun.nio.cs.StreamDecoder.lockedRead(StreamDecoder.java:217)
at java.base/sun.nio.cs.StreamDecoder.read(StreamDecoder.java:171)
at java.base/java.io.InputStreamReader.read(InputStreamReader.java:188)
at java.base/java.io.BufferedReader.fill(BufferedReader.java:160)
at java.base/java.io.BufferedReader.implReadLine(BufferedReader.java:370)
at java.base/java.io.BufferedReader.readLine(BufferedReader.java:347)
at java.base/java.io.BufferedReader.readLine(BufferedReader.java:436)
at fr.lip6.move.gal.application.runner.its.ITSRunner$ITSInterpreter.run(ITSRunner.java:211)
at java.base/java.lang.Thread.run(Thread.java:1583)
Starting structural reductions in SI_CTL mode, iteration 0 : 17187/17187 places, 21129/21129 transitions.
Graph (complete) has 39541 edges and 17187 vertex of which 17185 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 17185 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 8866 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 8866 transition count 12678
Deduced a syphon composed of 130 places in 7 ms
Reduce places removed 130 places and 0 transitions.
Iterating global reduction 2 with 260 rules applied. Total rules applied 16899 place count 8736 transition count 12678
Discarding 4029 places :
Symmetric choice reduction at 2 with 4029 rule applications. Total rules 20928 place count 4707 transition count 8649
Iterating global reduction 2 with 4029 rules applied. Total rules applied 24957 place count 4707 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 4707 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 4706 transition count 8648
Discarding 2749 places :
Symmetric choice reduction at 2 with 2749 rule applications. Total rules 27708 place count 1957 transition count 5899
Iterating global reduction 2 with 2749 rules applied. Total rules applied 30457 place count 1957 transition count 5899
Performed 131 Post agglomeration using F-continuation condition.Transition count delta: 131
Deduced a syphon composed of 131 places in 1 ms
Reduce places removed 131 places and 0 transitions.
Iterating global reduction 2 with 262 rules applied. Total rules applied 30719 place count 1826 transition count 5768
Applied a total of 30719 rules in 3390 ms. Remains 1826 /17187 variables (removed 15361) and now considering 5768/21129 (removed 15361) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-2214555015558515663.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-12361257033116863847.kers'
[2026-05-28 04:56:07] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2214555015558515663.kers, --Pflows, --basisKERS=/tmp/petrispot-output-12361257033116863847.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 5768 rows 1826 cols 17192 entries
Finished phase 1 with 1457 SingleSign rule and 217 generalized
[2026-05-28 04:56:07] [INFO ] Computed 152 invariants in 45 ms
Computed 152 P flows in 46 ms.
Exported basis to /tmp/petrispot-output-12361257033116863847.kers
Total runtime 52 ms.
[2026-05-28 04:56:12] [INFO ] Implicit Places using invariants in 4641 ms returned [2, 12, 28, 38, 54, 63, 78, 80, 90, 106, 116, 132, 141, 156, 158, 167, 182, 184, 193, 208, 210, 219, 234, 236, 246, 262, 272, 288, 298, 314, 324, 340, 350, 366, 376, 392, 402, 418, 427, 442, 444, 454, 470, 480, 496, 506, 522, 532, 548, 558, 574, 584, 600, 609, 624, 626, 636, 652, 662, 678, 688, 704, 713, 728, 730, 740, 756, 766, 782, 791, 806, 808, 818, 834, 844, 860, 870, 886, 896, 912, 922, 938, 948, 962, 964, 974, 990, 1000, 1016, 1026, 1042, 1052, 1068, 1078, 1094, 1104, 1120, 1130, 1146, 1156, 1172, 1182, 1198, 1208, 1224, 1234, 1250, 1260, 1274, 1276, 1286, 1314, 1328, 1330, 1340, 1356, 1366, 1380, 1382, 1392, 1406, 1408, 1418, 1432, 1434, 1444, 1460, 1470, 1486, 1496, 1512, 1522, 1538, 1548, 1562, 1564, 1574, 1590, 1600, 1614, 1616, 1626, 1640, 1642, 1652, 1666, 1668, 1678, 1692]
Discarding 149 places :
Implicit Place search using SMT only with invariants took 4648 ms to find 149 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1677/17187 places, 5768/21129 transitions.
Discarding 1277 places :
Symmetric choice reduction at 0 with 1277 rule applications. Total rules 1277 place count 400 transition count 4491
Iterating global reduction 0 with 1277 rules applied. Total rules applied 2554 place count 400 transition count 4491
Discarding 127 places :
Symmetric choice reduction at 0 with 127 rule applications. Total rules 2681 place count 273 transition count 4364
Iterating global reduction 0 with 127 rules applied. Total rules applied 2808 place count 273 transition count 4364
Discarding 127 places :
Symmetric choice reduction at 0 with 127 rule applications. Total rules 2935 place count 146 transition count 4237
Iterating global reduction 0 with 127 rules applied. Total rules applied 3062 place count 146 transition count 4237
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 3070 place count 142 transition count 4233
Applied a total of 3070 rules in 337 ms. Remains 142 /1677 variables (removed 1535) and now considering 4233/5768 (removed 1535) transitions.
[2026-05-28 04:56:12] [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-13394449385544004674.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4385259121608922357.kers'
[2026-05-28 04:56:12] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13394449385544004674.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4385259121608922357.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 04:56:12] [INFO ] Computed 3 invariants in 2 ms
Computed 3 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-4385259121608922357.kers
Total runtime 2 ms.
[2026-05-28 04:56:13] [INFO ] Implicit Places using invariants in 524 ms returned []
[2026-05-28 04:56:13] [INFO ] Flow matrix only has 171 transitions (discarded 4062 similar events)
[2026-05-28 04:56:13] [INFO ] Invariant cache hit.
[2026-05-28 04:56:14] [INFO ] Implicit Places using invariants and state equation in 1129 ms returned []
Implicit Place search using SMT with State Equation took 1655 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 142/17187 places, 4233/21129 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 10031 ms. Remains : 142/17187 places, 4233/21129 transitions.
[2026-05-28 04:56:14] [INFO ] Flatten gal took : 37 ms
[2026-05-28 04:56:14] [INFO ] Flatten gal took : 54 ms
[2026-05-28 04:56:14] [INFO ] Input system was already deterministic with 4233 transitions.
RANDOM walk for 2838 steps (313 resets) in 41 ms. (67 steps per ms) remains 0/1 properties
FORMULA LeafsetExtension-PT-S64C2-CTLFireability-2024-04 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
[2026-05-28 04:56:14] [INFO ] Flatten gal took : 58 ms
[2026-05-28 04:56:14] [INFO ] Flatten gal took : 87 ms
[2026-05-28 04:56:14] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4370693754855170688.gal : 15 ms
[2026-05-28 04:56:14] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality8851035952691823266.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/ReachabilityCardinality4370693754855170688.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality8851035952691823266.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 : 17187/17187 places, 21129/21129 transitions.
Applied a total of 0 rules in 82 ms. Remains 17187 /17187 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-7049349653566778861.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3925906848272860969.kers'
[2026-05-28 04:56:15] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7049349653566778861.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3925906848272860969.kers]
Culled 0 columns in 20 ms.
// Phase 1: matrix 21129 rows 17187 cols 52003 entries
Finished phase 1 with 12851 SingleSign rule and 4184 generalized
[2026-05-28 04:56:16] [INFO ] Computed 152 invariants in 1905 ms
Computed 152 P flows in 1906 ms.
Exported basis to /tmp/petrispot-output-3925906848272860969.kers
Total runtime 1926 ms.
[2026-05-28 04:56:32] [INFO ] Implicit Places using invariants in 17234 ms returned [787, 1574, 1837, 2100, 2363, 4460, 6295, 7344, 8131, 9704, 12849, 13374, 13899, 14162, 14425, 15736, 16261, 16524, 16787, 17050]
Discarding 20 places :
Implicit Place search using SMT only with invariants took 17246 ms to find 20 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 17167/17187 places, 21129/21129 transitions.
Applied a total of 0 rules in 76 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 17404 ms. Remains : 17167/17187 places, 21129/21129 transitions.
[2026-05-28 04:56:32] [INFO ] Flatten gal took : 462 ms
[2026-05-28 04:56:33] [INFO ] Flatten gal took : 549 ms
[2026-05-28 04:56:34] [INFO ] Input system was already deterministic with 21129 transitions.
[2026-05-28 04:56:34] [INFO ] Flatten gal took : 429 ms
[2026-05-28 04:56:35] [INFO ] Flatten gal took : 461 ms
[2026-05-28 04:56:35] [INFO ] Time to serialize gal into /tmp/CTLFireability5323093031941641866.gal : 73 ms
[2026-05-28 04:56:35] [INFO ] Time to serialize properties into /tmp/CTLFireability7406014323705737224.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/CTLFireability5323093031941641866.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7406014323705737224.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 04:57:05] [INFO ] Flatten gal took : 432 ms
[2026-05-28 04:57:05] [INFO ] Applying decomposition
[2026-05-28 04:57:06] [INFO ] Flatten gal took : 552 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/graph6389485189316987816.txt' '-o' '/tmp/graph6389485189316987816.bin' '-w' '/tmp/graph6389485189316987816.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6389485189316987816.bin' '-l' '-1' '-v' '-w' '/tmp/graph6389485189316987816.weights' '-q' '0' '-e' '0.001'
[2026-05-28 04:57:07] [INFO ] Decomposing Gal with order
[2026-05-28 04:57:10] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 04:57:50] [INFO ] Removed a total of 12022 redundant transitions.
[2026-05-28 04:57:50] [INFO ] Flatten gal took : 6694 ms
[2026-05-28 04:57:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 30 labels/synchronizations in 158 ms.
[2026-05-28 04:57:51] [INFO ] Time to serialize gal into /tmp/CTLFireability14315265939882837961.gal : 155 ms
[2026-05-28 04:57:51] [INFO ] Time to serialize properties into /tmp/CTLFireability11146435875283777614.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/CTLFireability14315265939882837961.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11146435875283777614.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 : 17187/17187 places, 21129/21129 transitions.
Applied a total of 0 rules in 78 ms. Remains 17187 /17187 variables (removed 0) and now considering 21129/21129 (removed 0) transitions.
[2026-05-28 04:58:21] [INFO ] Invariant cache hit.
[2026-05-28 04:58:37] [INFO ] Implicit Places using invariants in 15820 ms returned [787, 1574, 1837, 2100, 2363, 4460, 6295, 7344, 8131, 9704, 12849, 13374, 13899, 14162, 14425, 15736, 16261, 16524, 16787, 17050]
Discarding 20 places :
Implicit Place search using SMT only with invariants took 15833 ms to find 20 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 17167/17187 places, 21129/21129 transitions.
Applied a total of 0 rules in 73 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 15985 ms. Remains : 17167/17187 places, 21129/21129 transitions.
[2026-05-28 04:58:38] [INFO ] Flatten gal took : 473 ms
[2026-05-28 04:58:38] [INFO ] Flatten gal took : 530 ms
[2026-05-28 04:58:39] [INFO ] Input system was already deterministic with 21129 transitions.
[2026-05-28 04:58:40] [INFO ] Flatten gal took : 466 ms
[2026-05-28 04:58:40] [INFO ] Flatten gal took : 441 ms
[2026-05-28 04:58:40] [INFO ] Time to serialize gal into /tmp/CTLFireability16274269878119970980.gal : 73 ms
[2026-05-28 04:58:40] [INFO ] Time to serialize properties into /tmp/CTLFireability10210977766705229455.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/CTLFireability16274269878119970980.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10210977766705229455.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.
Detected timeout of ITS tools.
[2026-05-28 04:59:11] [INFO ] Flatten gal took : 415 ms
[2026-05-28 04:59:11] [INFO ] Applying decomposition
[2026-05-28 04:59:11] [INFO ] Flatten gal took : 469 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/graph1702934492691346037.txt' '-o' '/tmp/graph1702934492691346037.bin' '-w' '/tmp/graph1702934492691346037.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1702934492691346037.bin' '-l' '-1' '-v' '-w' '/tmp/graph1702934492691346037.weights' '-q' '0' '-e' '0.001'
[2026-05-28 04:59:12] [INFO ] Decomposing Gal with order
[2026-05-28 04:59:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 04:59:57] [INFO ] Removed a total of 12022 redundant transitions.
[2026-05-28 04:59:57] [INFO ] Flatten gal took : 6786 ms
[2026-05-28 04:59:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 52 labels/synchronizations in 142 ms.
[2026-05-28 04:59:58] [INFO ] Time to serialize gal into /tmp/CTLFireability1869552261993991750.gal : 143 ms
[2026-05-28 04:59:58] [INFO ] Time to serialize properties into /tmp/CTLFireability11448535503152647082.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/CTLFireability1869552261993991750.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11448535503152647082.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 : 17187/17187 places, 21129/21129 transitions.
Applied a total of 0 rules in 74 ms. Remains 17187 /17187 variables (removed 0) and now considering 21129/21129 (removed 0) transitions.
[2026-05-28 05:00:28] [INFO ] Invariant cache hit.
[2026-05-28 05:00:45] [INFO ] Implicit Places using invariants in 16307 ms returned [787, 1574, 1837, 2100, 2363, 4460, 6295, 7344, 8131, 9704, 12849, 13374, 13899, 14162, 14425, 15736, 16261, 16524, 16787]
Discarding 19 places :
Implicit Place search using SMT only with invariants took 16318 ms to find 19 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 17168/17187 places, 21129/21129 transitions.
Applied a total of 0 rules in 105 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 16498 ms. Remains : 17168/17187 places, 21129/21129 transitions.
[2026-05-28 05:00:45] [INFO ] Flatten gal took : 367 ms
[2026-05-28 05:00:46] [INFO ] Flatten gal took : 419 ms
[2026-05-28 05:00:47] [INFO ] Input system was already deterministic with 21129 transitions.
[2026-05-28 05:00:47] [INFO ] Flatten gal took : 404 ms
[2026-05-28 05:00:47] [INFO ] Flatten gal took : 458 ms
[2026-05-28 05:00:48] [INFO ] Time to serialize gal into /tmp/CTLFireability6179220172636475851.gal : 75 ms
[2026-05-28 05:00:48] [INFO ] Time to serialize properties into /tmp/CTLFireability3854839307653299204.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/CTLFireability6179220172636475851.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3854839307653299204.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 05:01:18] [INFO ] Flatten gal took : 425 ms
[2026-05-28 05:01:18] [INFO ] Applying decomposition
[2026-05-28 05:01:18] [INFO ] Flatten gal took : 475 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/graph10938429155103853918.txt' '-o' '/tmp/graph10938429155103853918.bin' '-w' '/tmp/graph10938429155103853918.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10938429155103853918.bin' '-l' '-1' '-v' '-w' '/tmp/graph10938429155103853918.weights' '-q' '0' '-e' '0.001'
[2026-05-28 05:01:20] [INFO ] Decomposing Gal with order
[2026-05-28 05:01:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 05:02:03] [INFO ] Removed a total of 12084 redundant transitions.
[2026-05-28 05:02:04] [INFO ] Flatten gal took : 6670 ms
[2026-05-28 05:02:04] [INFO ] Fuse similar labels procedure discarded/fused a total of 20 labels/synchronizations in 165 ms.
[2026-05-28 05:02:05] [INFO ] Time to serialize gal into /tmp/CTLFireability7659780265127543266.gal : 161 ms
[2026-05-28 05:02:05] [INFO ] Time to serialize properties into /tmp/CTLFireability3852113568766731425.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/CTLFireability7659780265127543266.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3852113568766731425.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 : 17187/17187 places, 21129/21129 transitions.
Applied a total of 0 rules in 75 ms. Remains 17187 /17187 variables (removed 0) and now considering 21129/21129 (removed 0) transitions.
[2026-05-28 05:02:35] [INFO ] Invariant cache hit.
[2026-05-28 05:02:53] [INFO ] Implicit Places using invariants in 17946 ms returned [1574, 1837, 2100, 2363, 4460, 6295, 7344, 8131, 12849, 13374, 13899, 14162, 14425, 16261, 16524, 16787]
Discarding 16 places :
Implicit Place search using SMT only with invariants took 17961 ms to find 16 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 17171/17187 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 18112 ms. Remains : 17171/17187 places, 21129/21129 transitions.
[2026-05-28 05:02:53] [INFO ] Flatten gal took : 412 ms
[2026-05-28 05:02:54] [INFO ] Flatten gal took : 481 ms
[2026-05-28 05:02:54] [INFO ] Input system was already deterministic with 21129 transitions.
[2026-05-28 05:02:55] [INFO ] Flatten gal took : 440 ms
[2026-05-28 05:02:55] [INFO ] Flatten gal took : 468 ms
[2026-05-28 05:02:56] [INFO ] Time to serialize gal into /tmp/CTLFireability14253195003978332467.gal : 75 ms
[2026-05-28 05:02:56] [INFO ] Time to serialize properties into /tmp/CTLFireability12998798452464331103.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/CTLFireability14253195003978332467.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12998798452464331103.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.
Detected timeout of ITS tools.
[2026-05-28 05:03:26] [INFO ] Flatten gal took : 452 ms
[2026-05-28 05:03:26] [INFO ] Applying decomposition
[2026-05-28 05:03:27] [INFO ] Flatten gal took : 614 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/graph16075990733511036452.txt' '-o' '/tmp/graph16075990733511036452.bin' '-w' '/tmp/graph16075990733511036452.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16075990733511036452.bin' '-l' '-1' '-v' '-w' '/tmp/graph16075990733511036452.weights' '-q' '0' '-e' '0.001'
[2026-05-28 05:03:28] [INFO ] Decomposing Gal with order
[2026-05-28 05:03:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 05:04:09] [INFO ] Removed a total of 12270 redundant transitions.
[2026-05-28 05:04:09] [INFO ] Flatten gal took : 6136 ms
[2026-05-28 05:04:10] [INFO ] Fuse similar labels procedure discarded/fused a total of 18 labels/synchronizations in 188 ms.
[2026-05-28 05:04:10] [INFO ] Time to serialize gal into /tmp/CTLFireability8724914737417346114.gal : 158 ms
[2026-05-28 05:04:10] [INFO ] Time to serialize properties into /tmp/CTLFireability5156690924978921682.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/CTLFireability8724914737417346114.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5156690924978921682.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 : 17187/17187 places, 21129/21129 transitions.
Applied a total of 0 rules in 74 ms. Remains 17187 /17187 variables (removed 0) and now considering 21129/21129 (removed 0) transitions.
[2026-05-28 05:04:40] [INFO ] Invariant cache hit.
[2026-05-28 05:04:55] [INFO ] Implicit Places using invariants in 15522 ms returned [787, 1574, 1837, 2100, 2363, 4460, 6295, 7344, 8131, 9704, 12849, 13374, 13899, 14162, 14425, 15736, 16261, 16524, 16787, 17050]
Discarding 20 places :
Implicit Place search using SMT only with invariants took 15533 ms to find 20 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 17167/17187 places, 21129/21129 transitions.
Applied a total of 0 rules in 121 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 15728 ms. Remains : 17167/17187 places, 21129/21129 transitions.
[2026-05-28 05:04:56] [INFO ] Flatten gal took : 433 ms
[2026-05-28 05:04:57] [INFO ] Flatten gal took : 445 ms
[2026-05-28 05:04:57] [INFO ] Input system was already deterministic with 21129 transitions.
[2026-05-28 05:04:58] [INFO ] Flatten gal took : 410 ms
[2026-05-28 05:04:58] [INFO ] Flatten gal took : 428 ms
[2026-05-28 05:04:58] [INFO ] Time to serialize gal into /tmp/CTLFireability8243441744600997141.gal : 76 ms
[2026-05-28 05:04:58] [INFO ] Time to serialize properties into /tmp/CTLFireability5759799822980871550.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/CTLFireability8243441744600997141.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5759799822980871550.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 05:05:29] [INFO ] Flatten gal took : 402 ms
[2026-05-28 05:05:29] [INFO ] Applying decomposition
[2026-05-28 05:05:29] [INFO ] Flatten gal took : 422 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/graph12732303921137150281.txt' '-o' '/tmp/graph12732303921137150281.bin' '-w' '/tmp/graph12732303921137150281.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12732303921137150281.bin' '-l' '-1' '-v' '-w' '/tmp/graph12732303921137150281.weights' '-q' '0' '-e' '0.001'
[2026-05-28 05:05:30] [INFO ] Decomposing Gal with order
[2026-05-28 05:05:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 05:06:15] [INFO ] Removed a total of 12022 redundant transitions.
[2026-05-28 05:06:15] [INFO ] Flatten gal took : 6375 ms
[2026-05-28 05:06:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 40 labels/synchronizations in 134 ms.
[2026-05-28 05:06:16] [INFO ] Time to serialize gal into /tmp/CTLFireability9287395890685354853.gal : 179 ms
[2026-05-28 05:06:16] [INFO ] Time to serialize properties into /tmp/CTLFireability17246965765923810444.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/CTLFireability9287395890685354853.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17246965765923810444.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 : 17187/17187 places, 21129/21129 transitions.
Applied a total of 0 rules in 72 ms. Remains 17187 /17187 variables (removed 0) and now considering 21129/21129 (removed 0) transitions.
[2026-05-28 05:06:46] [INFO ] Invariant cache hit.
[2026-05-28 05:07:03] [INFO ] Implicit Places using invariants in 16670 ms returned [787, 1574, 1837, 2100, 2363, 4460, 6295, 7344, 8131, 9704, 12849, 13374, 13899, 14162, 14425, 15736, 16261, 16524, 16787, 17050]
Discarding 20 places :
Implicit Place search using SMT only with invariants took 16687 ms to find 20 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 17167/17187 places, 21129/21129 transitions.
Applied a total of 0 rules in 101 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 16860 ms. Remains : 17167/17187 places, 21129/21129 transitions.
[2026-05-28 05:07:04] [INFO ] Flatten gal took : 621 ms
[2026-05-28 05:07:04] [INFO ] Flatten gal took : 400 ms
[2026-05-28 05:07:05] [INFO ] Input system was already deterministic with 21129 transitions.
[2026-05-28 05:07:06] [INFO ] Flatten gal took : 707 ms
[2026-05-28 05:07:06] [INFO ] Flatten gal took : 429 ms
[2026-05-28 05:07:06] [INFO ] Time to serialize gal into /tmp/CTLFireability11665744728710372686.gal : 83 ms
[2026-05-28 05:07:06] [INFO ] Time to serialize properties into /tmp/CTLFireability3217805905549013005.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/CTLFireability11665744728710372686.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3217805905549013005.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 05:07:37] [INFO ] Flatten gal took : 474 ms
[2026-05-28 05:07:37] [INFO ] Applying decomposition
[2026-05-28 05:07:37] [INFO ] Flatten gal took : 464 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/graph4069740556762261471.txt' '-o' '/tmp/graph4069740556762261471.bin' '-w' '/tmp/graph4069740556762261471.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph4069740556762261471.bin' '-l' '-1' '-v' '-w' '/tmp/graph4069740556762261471.weights' '-q' '0' '-e' '0.001'
[2026-05-28 05:07:39] [INFO ] Decomposing Gal with order
[2026-05-28 05:07:41] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 05:08:29] [INFO ] Removed a total of 12022 redundant transitions.
[2026-05-28 05:08:29] [INFO ] Flatten gal took : 6493 ms
[2026-05-28 05:08:30] [INFO ] Fuse similar labels procedure discarded/fused a total of 67 labels/synchronizations in 144 ms.
[2026-05-28 05:08:30] [INFO ] Time to serialize gal into /tmp/CTLFireability3847791395403044755.gal : 148 ms
[2026-05-28 05:08:30] [INFO ] Time to serialize properties into /tmp/CTLFireability458582782027871316.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/CTLFireability3847791395403044755.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability458582782027871316.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 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 17187/17187 places, 21129/21129 transitions.
Applied a total of 0 rules in 127 ms. Remains 17187 /17187 variables (removed 0) and now considering 21129/21129 (removed 0) transitions.
[2026-05-28 05:09:00] [INFO ] Invariant cache hit.
[2026-05-28 05:09:15] [INFO ] Implicit Places using invariants in 14993 ms returned [787, 1574, 1837, 2100, 2363, 7344, 9704, 12849, 13899, 14162, 14425, 15736, 16261, 16524, 16787, 17050]
Discarding 16 places :
Implicit Place search using SMT only with invariants took 15011 ms to find 16 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 17171/17187 places, 21129/21129 transitions.
Applied a total of 0 rules in 104 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 15243 ms. Remains : 17171/17187 places, 21129/21129 transitions.
[2026-05-28 05:09:16] [INFO ] Flatten gal took : 642 ms
[2026-05-28 05:09:17] [INFO ] Flatten gal took : 425 ms
[2026-05-28 05:09:17] [INFO ] Input system was already deterministic with 21129 transitions.
[2026-05-28 05:09:18] [INFO ] Flatten gal took : 422 ms
[2026-05-28 05:09:18] [INFO ] Flatten gal took : 397 ms
[2026-05-28 05:09:18] [INFO ] Time to serialize gal into /tmp/CTLFireability10175248100982803844.gal : 77 ms
[2026-05-28 05:09:18] [INFO ] Time to serialize properties into /tmp/CTLFireability16491473191377499136.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/CTLFireability10175248100982803844.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16491473191377499136.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.
Detected timeout of ITS tools.
[2026-05-28 05:09:49] [INFO ] Flatten gal took : 405 ms
[2026-05-28 05:09:49] [INFO ] Applying decomposition
[2026-05-28 05:09:49] [INFO ] Flatten gal took : 435 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/graph8153118998347283542.txt' '-o' '/tmp/graph8153118998347283542.bin' '-w' '/tmp/graph8153118998347283542.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph8153118998347283542.bin' '-l' '-1' '-v' '-w' '/tmp/graph8153118998347283542.weights' '-q' '0' '-e' '0.001'
[2026-05-28 05:09:50] [INFO ] Decomposing Gal with order
[2026-05-28 05:09:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 05:10:30] [INFO ] Removed a total of 12269 redundant transitions.
[2026-05-28 05:10:31] [INFO ] Flatten gal took : 6662 ms
[2026-05-28 05:10:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 60 labels/synchronizations in 152 ms.
[2026-05-28 05:10:32] [INFO ] Time to serialize gal into /tmp/CTLFireability9736889377428215793.gal : 156 ms
[2026-05-28 05:10:32] [INFO ] Time to serialize properties into /tmp/CTLFireability5469791033639941733.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/CTLFireability9736889377428215793.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5469791033639941733.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 : 17187/17187 places, 21129/21129 transitions.
Applied a total of 0 rules in 79 ms. Remains 17187 /17187 variables (removed 0) and now considering 21129/21129 (removed 0) transitions.
[2026-05-28 05:11:02] [INFO ] Invariant cache hit.
[2026-05-28 05:11:17] [INFO ] Implicit Places using invariants in 15553 ms returned [787, 1574, 1837, 2100, 2363, 4460, 6295, 7344, 8131, 9704, 12849, 13374, 14425, 15736, 16261, 16524, 16787, 17050]
Discarding 18 places :
Implicit Place search using SMT only with invariants took 15570 ms to find 18 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 17169/17187 places, 21129/21129 transitions.
Applied a total of 0 rules in 144 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 15793 ms. Remains : 17169/17187 places, 21129/21129 transitions.
[2026-05-28 05:11:18] [INFO ] Flatten gal took : 560 ms
[2026-05-28 05:11:18] [INFO ] Flatten gal took : 492 ms
[2026-05-28 05:11:19] [INFO ] Input system was already deterministic with 21129 transitions.
[2026-05-28 05:11:20] [INFO ] Flatten gal took : 472 ms
[2026-05-28 05:11:20] [INFO ] Flatten gal took : 476 ms
[2026-05-28 05:11:20] [INFO ] Time to serialize gal into /tmp/CTLFireability1460109399922548210.gal : 80 ms
[2026-05-28 05:11:20] [INFO ] Time to serialize properties into /tmp/CTLFireability9374484362645780102.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/CTLFireability1460109399922548210.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9374484362645780102.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 05:11:51] [INFO ] Flatten gal took : 477 ms
[2026-05-28 05:11:51] [INFO ] Applying decomposition
[2026-05-28 05:11:51] [INFO ] Flatten gal took : 529 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/graph8675265328540658012.txt' '-o' '/tmp/graph8675265328540658012.bin' '-w' '/tmp/graph8675265328540658012.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph8675265328540658012.bin' '-l' '-1' '-v' '-w' '/tmp/graph8675265328540658012.weights' '-q' '0' '-e' '0.001'
[2026-05-28 05:11:53] [INFO ] Decomposing Gal with order
[2026-05-28 05:11:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 05:12:32] [INFO ] Removed a total of 12146 redundant transitions.
[2026-05-28 05:12:33] [INFO ] Flatten gal took : 6452 ms
[2026-05-28 05:12:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 26 labels/synchronizations in 126 ms.
[2026-05-28 05:12:33] [INFO ] Time to serialize gal into /tmp/CTLFireability10483385119756131915.gal : 141 ms
[2026-05-28 05:12:33] [INFO ] Time to serialize properties into /tmp/CTLFireability1092089808536419618.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/CTLFireability10483385119756131915.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1092089808536419618.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 : 17187/17187 places, 21129/21129 transitions.
Graph (complete) has 39541 edges and 17187 vertex of which 17185 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.16 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 8223 transitions
Trivial Post-agglo rules discarded 8223 transitions
Performed 8223 trivial Post agglomeration. Transition count delta: 8223
Iterating post reduction 0 with 8223 rules applied. Total rules applied 8224 place count 17185 transition count 12904
Reduce places removed 8223 places and 0 transitions.
Performed 95 Post agglomeration using F-continuation condition.Transition count delta: 95
Iterating post reduction 1 with 8318 rules applied. Total rules applied 16542 place count 8962 transition count 12809
Reduce places removed 95 places and 0 transitions.
Iterating post reduction 2 with 95 rules applied. Total rules applied 16637 place count 8867 transition count 12809
Performed 129 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 129 Pre rules applied. Total rules applied 16637 place count 8867 transition count 12680
Deduced a syphon composed of 129 places in 6 ms
Reduce places removed 129 places and 0 transitions.
Iterating global reduction 3 with 258 rules applied. Total rules applied 16895 place count 8738 transition count 12680
Discarding 4028 places :
Symmetric choice reduction at 3 with 4028 rule applications. Total rules 20923 place count 4710 transition count 8652
Iterating global reduction 3 with 4028 rules applied. Total rules applied 24951 place count 4710 transition count 8652
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 24951 place count 4710 transition count 8651
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 24953 place count 4709 transition count 8651
Discarding 2749 places :
Symmetric choice reduction at 3 with 2749 rule applications. Total rules 27702 place count 1960 transition count 5902
Iterating global reduction 3 with 2749 rules applied. Total rules applied 30451 place count 1960 transition count 5902
Performed 131 Post agglomeration using F-continuation condition.Transition count delta: 131
Deduced a syphon composed of 131 places in 2 ms
Reduce places removed 131 places and 0 transitions.
Iterating global reduction 3 with 262 rules applied. Total rules applied 30713 place count 1829 transition count 5771
Applied a total of 30713 rules in 3264 ms. Remains 1829 /17187 variables (removed 15358) and now considering 5771/21129 (removed 15358) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-2938987790983266918.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14826695742899297826.kers'
[2026-05-28 05:13:07] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2938987790983266918.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14826695742899297826.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 5771 rows 1829 cols 17199 entries
Finished phase 1 with 1459 SingleSign rule and 218 generalized
[2026-05-28 05:13:07] [INFO ] Computed 152 invariants in 44 ms
Computed 152 P flows in 45 ms.
Exported basis to /tmp/petrispot-output-14826695742899297826.kers
Total runtime 49 ms.
[2026-05-28 05:13:10] [INFO ] Implicit Places using invariants in 3880 ms returned [2, 12, 28, 38, 54, 63, 78, 80, 90, 106, 116, 132, 141, 156, 158, 167, 182, 184, 193, 208, 210, 219, 234, 236, 246, 262, 272, 288, 298, 314, 324, 340, 350, 366, 376, 392, 402, 418, 427, 442, 444, 454, 470, 480, 496, 506, 522, 532, 548, 558, 574, 584, 600, 609, 624, 626, 636, 652, 662, 678, 688, 704, 713, 728, 730, 740, 756, 766, 782, 791, 806, 808, 818, 834, 844, 860, 870, 886, 896, 912, 922, 938, 948, 962, 964, 974, 990, 1000, 1016, 1045, 1055, 1071, 1081, 1097, 1107, 1123, 1133, 1149, 1159, 1175, 1203, 1213, 1229, 1239, 1255, 1265, 1279, 1281, 1291, 1307, 1317, 1331, 1333, 1343, 1359, 1369, 1383, 1385, 1395, 1409, 1411, 1421, 1435, 1437, 1447, 1463, 1473, 1489, 1499, 1515, 1525, 1541, 1551, 1565, 1567, 1577, 1593, 1603, 1617, 1619, 1629, 1643, 1645, 1655, 1669, 1671, 1681]
Discarding 147 places :
Implicit Place search using SMT only with invariants took 3884 ms to find 147 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1682/17187 places, 5771/21129 transitions.
Discarding 1212 places :
Symmetric choice reduction at 0 with 1212 rule applications. Total rules 1212 place count 470 transition count 4559
Iterating global reduction 0 with 1212 rules applied. Total rules applied 2424 place count 470 transition count 4559
Discarding 126 places :
Symmetric choice reduction at 0 with 126 rule applications. Total rules 2550 place count 344 transition count 4433
Iterating global reduction 0 with 126 rules applied. Total rules applied 2676 place count 344 transition count 4433
Discarding 186 places :
Symmetric choice reduction at 0 with 186 rule applications. Total rules 2862 place count 158 transition count 4247
Iterating global reduction 0 with 186 rules applied. Total rules applied 3048 place count 158 transition count 4247
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 0 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 0 with 10 rules applied. Total rules applied 3058 place count 153 transition count 4242
Applied a total of 3058 rules in 192 ms. Remains 153 /1682 variables (removed 1529) and now considering 4242/5771 (removed 1529) transitions.
[2026-05-28 05:13:11] [INFO ] Flow matrix only has 213 transitions (discarded 4029 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17042469710831250119.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7707147597324859952.kers'
[2026-05-28 05:13:11] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17042469710831250119.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7707147597324859952.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 213 rows 153 cols 564 entries
Finished phase 1 with 78 SingleSign rule and 70 generalized
[2026-05-28 05:13:11] [INFO ] Computed 5 invariants in 1 ms
Computed 5 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-7707147597324859952.kers
Total runtime 2 ms.
[2026-05-28 05:13:11] [INFO ] Implicit Places using invariants in 394 ms returned []
[2026-05-28 05:13:11] [INFO ] Flow matrix only has 213 transitions (discarded 4029 similar events)
[2026-05-28 05:13:11] [INFO ] Invariant cache hit.
[2026-05-28 05:13:13] [INFO ] Implicit Places using invariants and state equation in 1893 ms returned []
Implicit Place search using SMT with State Equation took 2289 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 153/17187 places, 4242/21129 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 9631 ms. Remains : 153/17187 places, 4242/21129 transitions.
[2026-05-28 05:13:13] [INFO ] Flatten gal took : 43 ms
[2026-05-28 05:13:13] [INFO ] Flatten gal took : 61 ms
[2026-05-28 05:13:13] [INFO ] Input system was already deterministic with 4242 transitions.
[2026-05-28 05:13:13] [INFO ] Flatten gal took : 79 ms
[2026-05-28 05:13:13] [INFO ] Flatten gal took : 82 ms
[2026-05-28 05:13:13] [INFO ] Time to serialize gal into /tmp/CTLFireability4270965240818906019.gal : 22 ms
[2026-05-28 05:13:13] [INFO ] Time to serialize properties into /tmp/CTLFireability9774464768632160356.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/CTLFireability4270965240818906019.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9774464768632160356.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,75173,2.44741,38380,2,2980,5,133537,6,0,4789,36205,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2026-05-28 05:13:43] [INFO ] Flatten gal took : 47 ms
[2026-05-28 05:13:43] [INFO ] Applying decomposition
[2026-05-28 05:13:44] [INFO ] Flatten gal took : 49 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/graph9592260391128566812.txt' '-o' '/tmp/graph9592260391128566812.bin' '-w' '/tmp/graph9592260391128566812.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9592260391128566812.bin' '-l' '-1' '-v' '-w' '/tmp/graph9592260391128566812.weights' '-q' '0' '-e' '0.001'
[2026-05-28 05:13:44] [INFO ] Decomposing Gal with order
[2026-05-28 05:13:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 05:13:44] [INFO ] Removed a total of 4342 redundant transitions.
[2026-05-28 05:13:44] [INFO ] Flatten gal took : 396 ms
[2026-05-28 05:13:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 337 labels/synchronizations in 21 ms.
[2026-05-28 05:13:44] [INFO ] Time to serialize gal into /tmp/CTLFireability12680980511762050130.gal : 12 ms
[2026-05-28 05:13:44] [INFO ] Time to serialize properties into /tmp/CTLFireability13647948427911363551.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/CTLFireability12680980511762050130.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13647948427911363551.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,75173,1.42957,25348,425,2216,7917,67192,229,26580,2368,45074,0
Converting to forward existential form...Done !
original formula: (AG(((u0.Node47WantsToManageTheBreakDownOfNode64>=1)&&(i4.i0.u5.NoNodeManageTheBreakDownOfNode64>=1))) + EG(((i4.i1.u9.Node45HasTheLeafSe...281
=> equivalent forward existential formula: [(FwdU((Init * !(EG(((i4.i1.u9.Node45HasTheLeafSetOfRxToReplaceNode46<1)&&((i4.i0.u5.Node39HasAskedItsLeafSetToR...338
Reverse transition relation is NOT exact ! Due to transitions t141, t700, t1846, t1890, t1894, t1905, t1906, t2154, t2158, t2164, t2242, t2999, t3610, t422...21527
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using 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,11.2289,274200,1,0,192769,883937,13870,370166,14373,1.63025e+06,549807
FORMULA LeafsetExtension-PT-S64C2-CTLFireability-2024-14 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is TRUE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 17187/17187 places, 21129/21129 transitions.
Applied a total of 0 rules in 72 ms. Remains 17187 /17187 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-11611924990401658002.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16188205097926271504.kers'
[2026-05-28 05:13:56] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11611924990401658002.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16188205097926271504.kers]
Culled 0 columns in 33 ms.
// Phase 1: matrix 21129 rows 17187 cols 52003 entries
Finished phase 1 with 12851 SingleSign rule and 4184 generalized
[2026-05-28 05:13:58] [INFO ] Computed 152 invariants in 2051 ms
Computed 152 P flows in 2052 ms.
Exported basis to /tmp/petrispot-output-16188205097926271504.kers
Total runtime 2069 ms.
[2026-05-28 05:14:13] [INFO ] Implicit Places using invariants in 17305 ms returned [787, 1574, 1837, 2100, 2363, 4460, 6295, 7344, 8131, 9704, 12849, 13374, 13899, 14162, 16261, 16524, 16787, 17050]
Discarding 18 places :
Implicit Place search using SMT only with invariants took 17315 ms to find 18 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 17169/17187 places, 21129/21129 transitions.
Applied a total of 0 rules in 117 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 17505 ms. Remains : 17169/17187 places, 21129/21129 transitions.
[2026-05-28 05:14:14] [INFO ] Flatten gal took : 502 ms
[2026-05-28 05:14:14] [INFO ] Flatten gal took : 425 ms
[2026-05-28 05:14:15] [INFO ] Input system was already deterministic with 21129 transitions.
[2026-05-28 05:14:16] [INFO ] Flatten gal took : 694 ms
[2026-05-28 05:14:16] [INFO ] Flatten gal took : 452 ms
[2026-05-28 05:14:16] [INFO ] Time to serialize gal into /tmp/CTLFireability6615329986172865241.gal : 71 ms
[2026-05-28 05:14:16] [INFO ] Time to serialize properties into /tmp/CTLFireability13633000504079382042.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/CTLFireability6615329986172865241.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13633000504079382042.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 05:14:47] [INFO ] Flatten gal took : 451 ms
[2026-05-28 05:14:47] [INFO ] Applying decomposition
[2026-05-28 05:14:47] [INFO ] Flatten gal took : 602 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/graph16408218828772729048.txt' '-o' '/tmp/graph16408218828772729048.bin' '-w' '/tmp/graph16408218828772729048.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16408218828772729048.bin' '-l' '-1' '-v' '-w' '/tmp/graph16408218828772729048.weights' '-q' '0' '-e' '0.001'
[2026-05-28 05:14:49] [INFO ] Decomposing Gal with order
[2026-05-28 05:14:52] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 05:15:31] [INFO ] Removed a total of 12146 redundant transitions.
[2026-05-28 05:15:31] [INFO ] Flatten gal took : 7131 ms
[2026-05-28 05:15:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 46 labels/synchronizations in 167 ms.
[2026-05-28 05:15:32] [INFO ] Time to serialize gal into /tmp/CTLFireability18224249508425928856.gal : 132 ms
[2026-05-28 05:15:32] [INFO ] Time to serialize properties into /tmp/CTLFireability1447840506049082071.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/CTLFireability18224249508425928856.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1447840506049082071.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.
[2026-05-28 05:16:02] [INFO ] Flatten gal took : 416 ms
[2026-05-28 05:16:03] [INFO ] Flatten gal took : 437 ms
[2026-05-28 05:16:03] [INFO ] Applying decomposition
[2026-05-28 05:16:04] [INFO ] Flatten gal took : 513 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/graph16239559212136553311.txt' '-o' '/tmp/graph16239559212136553311.bin' '-w' '/tmp/graph16239559212136553311.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16239559212136553311.bin' '-l' '-1' '-v' '-w' '/tmp/graph16239559212136553311.weights' '-q' '0' '-e' '0.001'
[2026-05-28 05:16:05] [INFO ] Decomposing Gal with order
[2026-05-28 05:16:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 05:16:48] [INFO ] Removed a total of 13261 redundant transitions.
[2026-05-28 05:16:48] [INFO ] Flatten gal took : 6862 ms
[2026-05-28 05:16:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 34 labels/synchronizations in 141 ms.
[2026-05-28 05:16:49] [INFO ] Time to serialize gal into /tmp/CTLFireability13956911188312608764.gal : 148 ms
[2026-05-28 05:16:49] [INFO ] Time to serialize properties into /tmp/CTLFireability4132902475872100976.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/CTLFireability13956911188312608764.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4132902475872100976.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 12 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 05:46:39] [INFO ] Flatten gal took : 10603 ms
[2026-05-28 05:46:39] [INFO ] Time to serialize gal into /tmp/CTLFireability1719580758451658362.gal : 242 ms
[2026-05-28 05:46:39] [INFO ] Time to serialize properties into /tmp/CTLFireability147604910191736563.ctl : 15 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/CTLFireability1719580758451658362.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability147604910191736563.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 -...282
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-S64C2"
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-S64C2, 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-177961107900522"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/LeafsetExtension-PT-S64C2.tgz
mv LeafsetExtension-PT-S64C2 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 ;