About the Execution of ITS-Tools for DatabaseWithMutex-PT-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16192.544 | 3600000.00 | 3674792.00 | 44455.10 | [undef] | Time out reached |
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.r082-smll-177946993500066.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 DatabaseWithMutex-PT-20, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r082-smll-177946993500066
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 18M
-rw-r--r-- 1 mcc users 436K Mar 5 14:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.9M Mar 5 14:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 550K Mar 5 14:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 2.6M Mar 5 14:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 3 18:30 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.7K Mar 3 18:30 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 274K Mar 15 08:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 873K Mar 15 08:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 177K Mar 15 08:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 657K Mar 15 08:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 449K Mar 5 14:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.9M Mar 5 14:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 828K Mar 5 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 4.0M Mar 5 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 32K Mar 15 08:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 76K Mar 15 08:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 2.7M 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 DatabaseWithMutex-PT-20-CTLFireability-2024-00
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-2024-01
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-2024-02
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-2024-03
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-2024-04
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-2024-05
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-2024-06
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-2024-07
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-2024-08
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-2024-09
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-2024-10
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-2024-11
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-2024-12
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-2024-13
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-2024-14
FORMULA_NAME DatabaseWithMutex-PT-20-CTLFireability-2024-15
=== Now, execution of the tool begins
BK_START 1779532258125
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DatabaseWithMutex-PT-20
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202604301425
[2026-05-23 10:31:00] [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-23 10:31:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-23 10:31:01] [INFO ] Load time of PNML (sax parser for PT used): 673 ms
[2026-05-23 10:31:01] [INFO ] Transformed 3260 places.
[2026-05-23 10:31:01] [INFO ] Transformed 3200 transitions.
[2026-05-23 10:31:01] [INFO ] Found NUPN structural information;
[2026-05-23 10:31:01] [INFO ] Parsed PT model containing 3260 places and 3200 transitions and 23200 arcs in 941 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 184 ms.
[2026-05-23 10:31:01] [INFO ] Reduced 380 identical enabling conditions.
[2026-05-23 10:31:01] [INFO ] Reduced 380 identical enabling conditions.
[2026-05-23 10:31:01] [INFO ] Reduced 380 identical enabling conditions.
[2026-05-23 10:31:01] [INFO ] Reduced 380 identical enabling conditions.
[2026-05-23 10:31:01] [INFO ] Reduced 380 identical enabling conditions.
[2026-05-23 10:31:01] [INFO ] Reduced 380 identical enabling conditions.
[2026-05-23 10:31:01] [INFO ] Reduced 380 identical enabling conditions.
[2026-05-23 10:31:01] [INFO ] Reduced 380 identical enabling conditions.
[2026-05-23 10:31:01] [INFO ] Reduced 380 identical enabling conditions.
Support contains 3260 out of 3260 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 48 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (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-14997913943127270573.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8821946913558065779.kers'
[2026-05-23 10:31:02] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14997913943127270573.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8821946913558065779.kers]
Culled 0 columns in 5 ms.
// Phase 1: matrix 3200 rows 3260 cols 23200 entries
Finished phase 1 with 2400 SingleSign rule and 400 generalized
[2026-05-23 10:31:02] [INFO ] Computed 460 invariants in 57 ms
Computed 460 P flows in 58 ms.
Exported basis to /tmp/petrispot-output-8821946913558065779.kers
Total runtime 64 ms.
[2026-05-23 10:31:05] [INFO ] Implicit Places using invariants in 2523 ms returned []
[2026-05-23 10:31:05] [INFO ] Invariant cache hit.
[2026-05-23 10:31:10] [INFO ] Implicit Places using invariants and state equation in 5790 ms returned []
Implicit Place search using SMT with State Equation took 8490 ms to find 0 implicit places.
Running 2800 sub problems to find dead transitions.
[2026-05-23 10:31:11] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/3240 variables, 3240/3240 constraints. Problems are: Problem set: 0 solved, 2800 unsolved
SMT process timed out in 33298ms, After SMT, problems are : Problem set: 0 solved, 2800 unsolved
Search for dead transitions found 0 dead transitions in 33390ms
Finished structural reductions in LTL mode , in 1 iterations and 42020 ms. Remains : 3260/3260 places, 3200/3200 transitions.
Starting structural reductions in LTL mode, iteration 0 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 41 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
[2026-05-23 10:31:44] [INFO ] Invariant cache hit.
[2026-05-23 10:31:46] [INFO ] Implicit Places using invariants in 1999 ms returned []
[2026-05-23 10:31:46] [INFO ] Invariant cache hit.
[2026-05-23 10:31:51] [INFO ] Implicit Places using invariants and state equation in 4898 ms returned []
Implicit Place search using SMT with State Equation took 6910 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 6954 ms. Remains : 3260/3260 places, 3200/3200 transitions.
Support contains 3260 out of 3260 places after structural reductions.
[2026-05-23 10:31:52] [INFO ] Flatten gal took : 672 ms
[2026-05-23 10:31:53] [INFO ] Flatten gal took : 442 ms
[2026-05-23 10:31:55] [INFO ] Input system was already deterministic with 3200 transitions.
Reduction of identical properties reduced properties to check from 65 to 62
RANDOM walk for 40000 steps (8 resets) in 3969 ms. (10 steps per ms) remains 6/62 properties
BEST_FIRST walk for 40004 steps (8 resets) in 142 ms. (279 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (8 resets) in 123 ms. (322 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (8 resets) in 167 ms. (238 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (8 resets) in 147 ms. (270 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (8 resets) in 196 ms. (203 steps per ms) remains 5/6 properties
BEST_FIRST walk for 40004 steps (8 resets) in 293 ms. (136 steps per ms) remains 5/5 properties
[2026-05-23 10:31:57] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/46 variables, 46/46 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/46 variables, 0/46 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 2 (OVERLAPS) 184/230 variables, 6/52 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/230 variables, 184/236 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/230 variables, 0/236 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 5 (OVERLAPS) 720/950 variables, 40/276 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/950 variables, 720/996 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/950 variables, 0/996 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 8 (OVERLAPS) 269/1219 variables, 14/1010 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1219 variables, 269/1279 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1219 variables, 0/1279 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 11 (OVERLAPS) 2040/3259 variables, 399/1678 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/3259 variables, 2040/3718 constraints. Problems are: Problem set: 0 solved, 5 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 3259/6460 variables, and 3718 constraints, problems are : Problem set: 0 solved, 5 unsolved in 5085 ms.
Refiners :[Domain max(s): 3259/3260 constraints, Positive P Invariants (semi-flows): 60/61 constraints, Generalized P Invariants (flows): 399/399 constraints, State Equation: 0/3260 constraints, PredecessorRefiner: 5/5 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/46 variables, 46/46 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/46 variables, 0/46 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 2 (OVERLAPS) 184/230 variables, 6/52 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/230 variables, 184/236 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/230 variables, 0/236 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 5 (OVERLAPS) 720/950 variables, 40/276 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/950 variables, 720/996 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/950 variables, 5/1001 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/950 variables, 0/1001 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 9 (OVERLAPS) 269/1219 variables, 14/1015 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1219 variables, 269/1284 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1219 variables, 0/1284 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 12 (OVERLAPS) 2040/3259 variables, 399/1683 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/3259 variables, 2040/3723 constraints. Problems are: Problem set: 0 solved, 5 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 3259/6460 variables, and 3723 constraints, problems are : Problem set: 0 solved, 5 unsolved in 5015 ms.
Refiners :[Domain max(s): 3259/3260 constraints, Positive P Invariants (semi-flows): 60/61 constraints, Generalized P Invariants (flows): 399/399 constraints, State Equation: 0/3260 constraints, PredecessorRefiner: 0/5 constraints, Known Traps: 5/5 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 10208ms problems are : Problem set: 0 solved, 5 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 46 out of 3260 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3260/3260 places, 3200/3200 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 758 transitions
Trivial Post-agglo rules discarded 758 transitions
Performed 758 trivial Post agglomeration. Transition count delta: 758
Iterating post reduction 0 with 758 rules applied. Total rules applied 758 place count 3260 transition count 2442
Reduce places removed 778 places and 0 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 761 transitions
Trivial Post-agglo rules discarded 761 transitions
Performed 761 trivial Post agglomeration. Transition count delta: 761
Iterating post reduction 1 with 1539 rules applied. Total rules applied 2297 place count 2482 transition count 1681
Reduce places removed 761 places and 0 transitions.
Performed 20 Post agglomeration using F-continuation condition.Transition count delta: 20
Iterating post reduction 2 with 781 rules applied. Total rules applied 3078 place count 1721 transition count 1661
Reduce places removed 20 places and 0 transitions.
Iterating post reduction 3 with 20 rules applied. Total rules applied 3098 place count 1701 transition count 1661
Performed 399 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 399 Pre rules applied. Total rules applied 3098 place count 1701 transition count 1262
Deduced a syphon composed of 399 places in 2 ms
Reduce places removed 399 places and 0 transitions.
Iterating global reduction 4 with 798 rules applied. Total rules applied 3896 place count 1302 transition count 1262
Free-agglomeration rule applied 379 times.
Iterating global reduction 4 with 379 rules applied. Total rules applied 4275 place count 1302 transition count 883
Reduce places removed 379 places and 0 transitions.
Iterating post reduction 4 with 379 rules applied. Total rules applied 4654 place count 923 transition count 883
Free-agglomeration rule (complex) applied 20 times.
Iterating global reduction 5 with 20 rules applied. Total rules applied 4674 place count 923 transition count 863
Reduce places removed 20 places and 0 transitions.
Iterating post reduction 5 with 20 rules applied. Total rules applied 4694 place count 903 transition count 863
Applied a total of 4694 rules in 10512 ms. Remains 903 /3260 variables (removed 2357) and now considering 863/3200 (removed 2337) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 10512 ms. Remains : 903/3260 places, 863/3200 transitions.
RANDOM walk for 33246 steps (7 resets) in 3751 ms. (8 steps per ms) remains 0/5 properties
[2026-05-23 10:32:19] [INFO ] Flatten gal took : 292 ms
[2026-05-23 10:32:20] [INFO ] Flatten gal took : 336 ms
[2026-05-23 10:32:21] [INFO ] Input system was already deterministic with 3200 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 18 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
[2026-05-23 10:32:21] [INFO ] Invariant cache hit.
[2026-05-23 10:32:27] [INFO ] Implicit Places using invariants in 5758 ms returned []
[2026-05-23 10:32:27] [INFO ] Invariant cache hit.
[2026-05-23 10:32:38] [INFO ] Implicit Places using invariants and state equation in 10643 ms returned []
Implicit Place search using SMT with State Equation took 16405 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 16425 ms. Remains : 3260/3260 places, 3200/3200 transitions.
[2026-05-23 10:32:38] [INFO ] Flatten gal took : 314 ms
[2026-05-23 10:32:38] [INFO ] Flatten gal took : 277 ms
[2026-05-23 10:32:39] [INFO ] Input system was already deterministic with 3200 transitions.
[2026-05-23 10:32:39] [INFO ] Flatten gal took : 240 ms
[2026-05-23 10:32:39] [INFO ] Flatten gal took : 192 ms
[2026-05-23 10:32:39] [INFO ] Time to serialize gal into /tmp/CTLFireability9401626120041141655.gal : 87 ms
[2026-05-23 10:32:39] [INFO ] Time to serialize properties into /tmp/CTLFireability16981562671433132122.ctl : 37 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/CTLFireability9401626120041141655.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16981562671433132122.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-23 10:33:10] [INFO ] Flatten gal took : 319 ms
[2026-05-23 10:33:10] [INFO ] Applying decomposition
[2026-05-23 10:33:10] [INFO ] Flatten gal took : 266 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/graph16454677339589010731.txt' '-o' '/tmp/graph16454677339589010731.bin' '-w' '/tmp/graph16454677339589010731.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16454677339589010731.bin' '-l' '-1' '-v' '-w' '/tmp/graph16454677339589010731.weights' '-q' '0' '-e' '0.001'
[2026-05-23 10:33:11] [INFO ] Decomposing Gal with order
[2026-05-23 10:33:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 10:33:13] [INFO ] Removed a total of 14780 redundant transitions.
[2026-05-23 10:33:13] [INFO ] Flatten gal took : 982 ms
[2026-05-23 10:33:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 154 ms.
[2026-05-23 10:33:15] [INFO ] Time to serialize gal into /tmp/CTLFireability12266276911077266709.gal : 95 ms
[2026-05-23 10:33:15] [INFO ] Time to serialize properties into /tmp/CTLFireability11233286186725283951.ctl : 41 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/CTLFireability12266276911077266709.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11233286186725283951.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 SI_CTL mode, iteration 0 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 222 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
[2026-05-23 10:33:45] [INFO ] Invariant cache hit.
[2026-05-23 10:34:17] [INFO ] Performed 828/3260 implicitness test of which 105 returned IMPLICIT in 30 seconds.
[2026-05-23 10:34:47] [INFO ] Performed 1606/3260 implicitness test of which 211 returned IMPLICIT in 60 seconds.
[2026-05-23 10:35:17] [INFO ] Performed 2450/3260 implicitness test of which 311 returned IMPLICIT in 90 seconds.
[2026-05-23 10:35:47] [INFO ] Implicit Places using invariants in 121608 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 400 places :
Implicit Place search using SMT only with invariants took 121653 ms to find 400 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 2860/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 211 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 122103 ms. Remains : 2860/3260 places, 3200/3200 transitions.
[2026-05-23 10:35:47] [INFO ] Flatten gal took : 245 ms
[2026-05-23 10:35:47] [INFO ] Flatten gal took : 301 ms
[2026-05-23 10:35:48] [INFO ] Input system was already deterministic with 3200 transitions.
[2026-05-23 10:35:48] [INFO ] Flatten gal took : 178 ms
[2026-05-23 10:35:48] [INFO ] Flatten gal took : 183 ms
[2026-05-23 10:35:48] [INFO ] Time to serialize gal into /tmp/CTLFireability857265997393451999.gal : 31 ms
[2026-05-23 10:35:48] [INFO ] Time to serialize properties into /tmp/CTLFireability9298543312249194087.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability857265997393451999.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9298543312249194087.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 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-23 10:36:19] [INFO ] Flatten gal took : 256 ms
[2026-05-23 10:36:19] [INFO ] Applying decomposition
[2026-05-23 10:36:19] [INFO ] Flatten gal took : 273 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/graph12871129253465810682.txt' '-o' '/tmp/graph12871129253465810682.bin' '-w' '/tmp/graph12871129253465810682.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12871129253465810682.bin' '-l' '-1' '-v' '-w' '/tmp/graph12871129253465810682.weights' '-q' '0' '-e' '0.001'
[2026-05-23 10:36:19] [INFO ] Decomposing Gal with order
[2026-05-23 10:36:19] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 10:36:20] [INFO ] Removed a total of 15065 redundant transitions.
[2026-05-23 10:36:20] [INFO ] Flatten gal took : 388 ms
[2026-05-23 10:36:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 86 ms.
[2026-05-23 10:36:21] [INFO ] Time to serialize gal into /tmp/CTLFireability12656942278863091925.gal : 47 ms
[2026-05-23 10:36:21] [INFO ] Time to serialize properties into /tmp/CTLFireability17504848840027395707.ctl : 4 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/CTLFireability12656942278863091925.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17504848840027395707.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 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 59 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
[2026-05-23 10:36:51] [INFO ] Invariant cache hit.
[2026-05-23 10:37:23] [INFO ] Performed 924/3260 implicitness test of which 114 returned IMPLICIT in 30 seconds.
[2026-05-23 10:37:53] [INFO ] Performed 1812/3260 implicitness test of which 237 returned IMPLICIT in 60 seconds.
[2026-05-23 10:38:23] [INFO ] Performed 2747/3260 implicitness test of which 342 returned IMPLICIT in 90 seconds.
[2026-05-23 10:38:41] [INFO ] Implicit Places using invariants in 110228 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 400 places :
Implicit Place search using SMT only with invariants took 110254 ms to find 400 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2860/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 45 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 110360 ms. Remains : 2860/3260 places, 3200/3200 transitions.
[2026-05-23 10:38:41] [INFO ] Flatten gal took : 157 ms
[2026-05-23 10:38:42] [INFO ] Flatten gal took : 183 ms
[2026-05-23 10:38:42] [INFO ] Input system was already deterministic with 3200 transitions.
[2026-05-23 10:38:42] [INFO ] Flatten gal took : 178 ms
[2026-05-23 10:38:42] [INFO ] Flatten gal took : 193 ms
[2026-05-23 10:38:42] [INFO ] Time to serialize gal into /tmp/CTLFireability17508574967880243246.gal : 27 ms
[2026-05-23 10:38:42] [INFO ] Time to serialize properties into /tmp/CTLFireability18122120879017841480.ctl : 8 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/CTLFireability17508574967880243246.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18122120879017841480.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-23 10:39:13] [INFO ] Flatten gal took : 308 ms
[2026-05-23 10:39:13] [INFO ] Applying decomposition
[2026-05-23 10:39:13] [INFO ] Flatten gal took : 272 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/graph9067831374079574046.txt' '-o' '/tmp/graph9067831374079574046.bin' '-w' '/tmp/graph9067831374079574046.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9067831374079574046.bin' '-l' '-1' '-v' '-w' '/tmp/graph9067831374079574046.weights' '-q' '0' '-e' '0.001'
[2026-05-23 10:39:14] [INFO ] Decomposing Gal with order
[2026-05-23 10:39:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 10:39:15] [INFO ] Removed a total of 15103 redundant transitions.
[2026-05-23 10:39:15] [INFO ] Flatten gal took : 376 ms
[2026-05-23 10:39:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 50 ms.
[2026-05-23 10:39:15] [INFO ] Time to serialize gal into /tmp/CTLFireability13392294546948386494.gal : 37 ms
[2026-05-23 10:39:15] [INFO ] Time to serialize properties into /tmp/CTLFireability10797699137220564152.ctl : 18 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/CTLFireability13392294546948386494.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10797699137220564152.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 SI_CTL mode, iteration 0 : 3260/3260 places, 3200/3200 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 400 transitions
Trivial Post-agglo rules discarded 400 transitions
Performed 400 trivial Post agglomeration. Transition count delta: 400
Iterating post reduction 0 with 400 rules applied. Total rules applied 400 place count 3260 transition count 2800
Reduce places removed 420 places and 0 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 400 transitions
Trivial Post-agglo rules discarded 400 transitions
Performed 400 trivial Post agglomeration. Transition count delta: 400
Iterating post reduction 1 with 820 rules applied. Total rules applied 1220 place count 2840 transition count 2400
Reduce places removed 400 places and 0 transitions.
Iterating post reduction 2 with 400 rules applied. Total rules applied 1620 place count 2440 transition count 2400
Performed 400 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 400 Pre rules applied. Total rules applied 1620 place count 2440 transition count 2000
Deduced a syphon composed of 400 places in 1 ms
Reduce places removed 400 places and 0 transitions.
Iterating global reduction 3 with 800 rules applied. Total rules applied 2420 place count 2040 transition count 2000
Applied a total of 2420 rules in 339 ms. Remains 2040 /3260 variables (removed 1220) and now considering 2000/3200 (removed 1200) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15620819000532325229.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14325755685259373464.kers'
[2026-05-23 10:39:46] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15620819000532325229.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14325755685259373464.kers]
Culled 0 columns in 7 ms.
// Phase 1: matrix 2000 rows 2040 cols 20000 entries
Finished phase 1 with 1200 SingleSign rule and 400 generalized
[2026-05-23 10:39:46] [INFO ] Computed 440 invariants in 75 ms
Computed 440 P flows in 76 ms.
Exported basis to /tmp/petrispot-output-14325755685259373464.kers
Total runtime 84 ms.
[2026-05-23 10:39:47] [INFO ] Implicit Places using invariants in 1041 ms returned []
[2026-05-23 10:39:47] [INFO ] Invariant cache hit.
[2026-05-23 10:39:50] [INFO ] Implicit Places using invariants and state equation in 2890 ms returned []
Implicit Place search using SMT with State Equation took 3937 ms to find 0 implicit places.
[2026-05-23 10:39:50] [INFO ] Redundant transitions in 260 ms returned []
Running 1600 sub problems to find dead transitions.
[2026-05-23 10:39:50] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/2020 variables, 2020/2020 constraints. Problems are: Problem set: 0 solved, 1600 unsolved
SMT process timed out in 31337ms, After SMT, problems are : Problem set: 0 solved, 1600 unsolved
Search for dead transitions found 0 dead transitions in 31354ms
Starting structural reductions in SI_CTL mode, iteration 1 : 2040/3260 places, 2000/3200 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 35907 ms. Remains : 2040/3260 places, 2000/3200 transitions.
[2026-05-23 10:40:22] [INFO ] Flatten gal took : 224 ms
[2026-05-23 10:40:22] [INFO ] Flatten gal took : 292 ms
[2026-05-23 10:40:22] [INFO ] Input system was already deterministic with 2000 transitions.
[2026-05-23 10:40:22] [INFO ] Flatten gal took : 170 ms
[2026-05-23 10:40:23] [INFO ] Flatten gal took : 225 ms
[2026-05-23 10:40:23] [INFO ] Time to serialize gal into /tmp/CTLFireability6774713994006108652.gal : 22 ms
[2026-05-23 10:40:23] [INFO ] Time to serialize properties into /tmp/CTLFireability3646777524557446275.ctl : 16 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/CTLFireability6774713994006108652.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3646777524557446275.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-23 10:40:53] [INFO ] Flatten gal took : 184 ms
[2026-05-23 10:40:53] [INFO ] Applying decomposition
[2026-05-23 10:40:53] [INFO ] Flatten gal took : 183 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/graph3491526157672197065.txt' '-o' '/tmp/graph3491526157672197065.bin' '-w' '/tmp/graph3491526157672197065.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph3491526157672197065.bin' '-l' '-1' '-v' '-w' '/tmp/graph3491526157672197065.weights' '-q' '0' '-e' '0.001'
[2026-05-23 10:40:54] [INFO ] Decomposing Gal with order
[2026-05-23 10:40:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 10:40:54] [INFO ] Removed a total of 14779 redundant transitions.
[2026-05-23 10:40:54] [INFO ] Flatten gal took : 399 ms
[2026-05-23 10:40:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 50 ms.
[2026-05-23 10:40:55] [INFO ] Time to serialize gal into /tmp/CTLFireability6873829395339023313.gal : 26 ms
[2026-05-23 10:40:55] [INFO ] Time to serialize properties into /tmp/CTLFireability3021183313123507143.ctl : 26 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/CTLFireability6873829395339023313.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3021183313123507143.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 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 169 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (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-12224664565558311246.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13557830001212662784.kers'
[2026-05-23 10:41:25] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12224664565558311246.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13557830001212662784.kers]
Culled 0 columns in 9 ms.
// Phase 1: matrix 3200 rows 3260 cols 23200 entries
Finished phase 1 with 2400 SingleSign rule and 400 generalized
[2026-05-23 10:41:25] [INFO ] Computed 460 invariants in 91 ms
Computed 460 P flows in 91 ms.
Exported basis to /tmp/petrispot-output-13557830001212662784.kers
Total runtime 98 ms.
[2026-05-23 10:41:57] [INFO ] Performed 968/3260 implicitness test of which 124 returned IMPLICIT in 30 seconds.
[2026-05-23 10:42:27] [INFO ] Performed 1836/3260 implicitness test of which 240 returned IMPLICIT in 60 seconds.
[2026-05-23 10:42:57] [INFO ] Performed 2825/3260 implicitness test of which 354 returned IMPLICIT in 90 seconds.
[2026-05-23 10:43:10] [INFO ] Implicit Places using invariants in 104713 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 400 places :
Implicit Place search using SMT only with invariants took 104746 ms to find 400 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 2860/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 93 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 105025 ms. Remains : 2860/3260 places, 3200/3200 transitions.
[2026-05-23 10:43:10] [INFO ] Flatten gal took : 149 ms
[2026-05-23 10:43:10] [INFO ] Flatten gal took : 168 ms
[2026-05-23 10:43:11] [INFO ] Input system was already deterministic with 3200 transitions.
[2026-05-23 10:43:11] [INFO ] Flatten gal took : 236 ms
[2026-05-23 10:43:11] [INFO ] Flatten gal took : 243 ms
[2026-05-23 10:43:11] [INFO ] Time to serialize gal into /tmp/CTLFireability2285146300300067107.gal : 41 ms
[2026-05-23 10:43:11] [INFO ] Time to serialize properties into /tmp/CTLFireability14244287466084935519.ctl : 4 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/CTLFireability2285146300300067107.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14244287466084935519.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-23 10:43:42] [INFO ] Flatten gal took : 161 ms
[2026-05-23 10:43:42] [INFO ] Applying decomposition
[2026-05-23 10:43:42] [INFO ] Flatten gal took : 164 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/graph5898856625449834242.txt' '-o' '/tmp/graph5898856625449834242.bin' '-w' '/tmp/graph5898856625449834242.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5898856625449834242.bin' '-l' '-1' '-v' '-w' '/tmp/graph5898856625449834242.weights' '-q' '0' '-e' '0.001'
[2026-05-23 10:43:42] [INFO ] Decomposing Gal with order
[2026-05-23 10:43:42] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 10:43:43] [INFO ] Removed a total of 15122 redundant transitions.
[2026-05-23 10:43:43] [INFO ] Flatten gal took : 338 ms
[2026-05-23 10:43:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 50 ms.
[2026-05-23 10:43:43] [INFO ] Time to serialize gal into /tmp/CTLFireability4568589149943819877.gal : 36 ms
[2026-05-23 10:43:43] [INFO ] Time to serialize properties into /tmp/CTLFireability14555214735184581683.ctl : 4 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/CTLFireability4568589149943819877.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14555214735184581683.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 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 15 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
[2026-05-23 10:44:13] [INFO ] Invariant cache hit.
[2026-05-23 10:44:15] [INFO ] Implicit Places using invariants in 1655 ms returned []
[2026-05-23 10:44:15] [INFO ] Invariant cache hit.
[2026-05-23 10:44:20] [INFO ] Implicit Places using invariants and state equation in 4807 ms returned []
Implicit Place search using SMT with State Equation took 6465 ms to find 0 implicit places.
Running 2800 sub problems to find dead transitions.
[2026-05-23 10:44:20] [INFO ] Invariant cache hit.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
At refinement iteration 0 (INCLUDED_ONLY) 0/3240 variables, 3240/3240 constraints. Problems are: Problem set: 0 solved, 2800 unsolved
SMT process timed out in 32113ms, After SMT, problems are : Problem set: 0 solved, 2800 unsolved
Search for dead transitions found 0 dead transitions in 32127ms
Finished structural reductions in LTL mode , in 1 iterations and 38619 ms. Remains : 3260/3260 places, 3200/3200 transitions.
[2026-05-23 10:44:52] [INFO ] Flatten gal took : 174 ms
[2026-05-23 10:44:53] [INFO ] Flatten gal took : 217 ms
[2026-05-23 10:44:53] [INFO ] Input system was already deterministic with 3200 transitions.
[2026-05-23 10:44:53] [INFO ] Flatten gal took : 328 ms
[2026-05-23 10:44:54] [INFO ] Flatten gal took : 362 ms
[2026-05-23 10:44:54] [INFO ] Time to serialize gal into /tmp/CTLFireability14094604620576482222.gal : 47 ms
[2026-05-23 10:44:54] [INFO ] Time to serialize properties into /tmp/CTLFireability2326078815571012552.ctl : 42 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14094604620576482222.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2326078815571012552.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-23 10:45:24] [INFO ] Flatten gal took : 346 ms
[2026-05-23 10:45:24] [INFO ] Applying decomposition
[2026-05-23 10:45:25] [INFO ] Flatten gal took : 243 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/graph9240987350393934212.txt' '-o' '/tmp/graph9240987350393934212.bin' '-w' '/tmp/graph9240987350393934212.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9240987350393934212.bin' '-l' '-1' '-v' '-w' '/tmp/graph9240987350393934212.weights' '-q' '0' '-e' '0.001'
[2026-05-23 10:45:25] [INFO ] Decomposing Gal with order
[2026-05-23 10:45:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 10:45:26] [INFO ] Removed a total of 14780 redundant transitions.
[2026-05-23 10:45:27] [INFO ] Flatten gal took : 447 ms
[2026-05-23 10:45:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 50 ms.
[2026-05-23 10:45:28] [INFO ] Time to serialize gal into /tmp/CTLFireability12363472185587462774.gal : 33 ms
[2026-05-23 10:45:28] [INFO ] Time to serialize properties into /tmp/CTLFireability10231703900969261305.ctl : 32 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/CTLFireability12363472185587462774.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10231703900969261305.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 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 223 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
[2026-05-23 10:45:58] [INFO ] Invariant cache hit.
[2026-05-23 10:46:30] [INFO ] Performed 934/3260 implicitness test of which 116 returned IMPLICIT in 30 seconds.
[2026-05-23 10:47:00] [INFO ] Performed 1887/3260 implicitness test of which 246 returned IMPLICIT in 60 seconds.
[2026-05-23 10:47:30] [INFO ] Performed 2835/3260 implicitness test of which 355 returned IMPLICIT in 90 seconds.
[2026-05-23 10:47:43] [INFO ] Implicit Places using invariants in 104541 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 400 places :
Implicit Place search using SMT only with invariants took 104567 ms to find 400 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2860/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 171 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 104963 ms. Remains : 2860/3260 places, 3200/3200 transitions.
[2026-05-23 10:47:43] [INFO ] Flatten gal took : 168 ms
[2026-05-23 10:47:43] [INFO ] Flatten gal took : 158 ms
[2026-05-23 10:47:44] [INFO ] Input system was already deterministic with 3200 transitions.
[2026-05-23 10:47:44] [INFO ] Flatten gal took : 160 ms
[2026-05-23 10:47:44] [INFO ] Flatten gal took : 162 ms
[2026-05-23 10:47:44] [INFO ] Time to serialize gal into /tmp/CTLFireability12001386847673513354.gal : 28 ms
[2026-05-23 10:47:44] [INFO ] Time to serialize properties into /tmp/CTLFireability9752728417454085472.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12001386847673513354.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9752728417454085472.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-23 10:48:14] [INFO ] Flatten gal took : 163 ms
[2026-05-23 10:48:14] [INFO ] Applying decomposition
[2026-05-23 10:48:14] [INFO ] Flatten gal took : 167 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/graph5384789684584768892.txt' '-o' '/tmp/graph5384789684584768892.bin' '-w' '/tmp/graph5384789684584768892.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5384789684584768892.bin' '-l' '-1' '-v' '-w' '/tmp/graph5384789684584768892.weights' '-q' '0' '-e' '0.001'
[2026-05-23 10:48:15] [INFO ] Decomposing Gal with order
[2026-05-23 10:48:15] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 10:48:16] [INFO ] Removed a total of 15084 redundant transitions.
[2026-05-23 10:48:16] [INFO ] Flatten gal took : 326 ms
[2026-05-23 10:48:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 50 ms.
[2026-05-23 10:48:16] [INFO ] Time to serialize gal into /tmp/CTLFireability17963986296900552737.gal : 36 ms
[2026-05-23 10:48:16] [INFO ] Time to serialize properties into /tmp/CTLFireability1613484910770989239.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17963986296900552737.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1613484910770989239.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 : 3260/3260 places, 3200/3200 transitions.
Performed 400 Post agglomeration using F-continuation condition.Transition count delta: 400
Iterating post reduction 0 with 400 rules applied. Total rules applied 400 place count 3260 transition count 2800
Reduce places removed 400 places and 0 transitions.
Iterating post reduction 1 with 400 rules applied. Total rules applied 800 place count 2860 transition count 2800
Performed 400 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 400 Pre rules applied. Total rules applied 800 place count 2860 transition count 2400
Deduced a syphon composed of 400 places in 1 ms
Reduce places removed 400 places and 0 transitions.
Iterating global reduction 2 with 800 rules applied. Total rules applied 1600 place count 2460 transition count 2400
Applied a total of 1600 rules in 543 ms. Remains 2460 /3260 variables (removed 800) and now considering 2400/3200 (removed 800) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4464140854239157403.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4648482675065685526.kers'
[2026-05-23 10:48:47] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4464140854239157403.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4648482675065685526.kers]
Culled 0 columns in 8 ms.
// Phase 1: matrix 2400 rows 2460 cols 21600 entries
Finished phase 1 with 1600 SingleSign rule and 400 generalized
[2026-05-23 10:48:47] [INFO ] Computed 460 invariants in 71 ms
Computed 460 P flows in 72 ms.
Exported basis to /tmp/petrispot-output-4648482675065685526.kers
Total runtime 80 ms.
[2026-05-23 10:49:18] [INFO ] Performed 1022/2460 implicitness test of which 170 returned IMPLICIT in 30 seconds.
[2026-05-23 10:49:48] [INFO ] Performed 2068/2460 implicitness test of which 342 returned IMPLICIT in 60 seconds.
[2026-05-23 10:50:00] [INFO ] Implicit Places using invariants in 73172 ms returned [4, 14, 15, 21, 26, 27, 32, 36, 37, 42, 43, 65, 72, 74, 79, 82, 83, 96, 103, 106, 108, 117, 127, 150, 155, 157, 160, 166, 167, 178, 190, 203, 207, 208, 215, 228, 231, 232, 234, 242, 245, 266, 275, 279, 290, 293, 312, 314, 316, 327, 339, 340, 366, 373, 382, 390, 391, 395, 398, 399, 404, 418, 419, 428, 434, 440, 442, 445, 446, 451, 452, 457, 462, 480, 483, 488, 492, 496, 507, 511, 514, 520, 530, 534, 540, 545, 549, 553, 557, 566, 571, 573, 576, 577, 579, 583, 586, 609, 612, 619, 623, 624, 631, 633, 636, 639, 656, 659, 673, 678, 682, 699, 708, 711, 717, 720, 726, 733, 737, 741, 742, 748, 749, 750, 766, 771, 774, 800, 804, 811, 814, 819, 833, 834, 835, 847, 854, 856, 858, 864, 866, 872, 874, 880, 881, 887, 890, 894, 895, 903, 907, 922, 928, 930, 933, 953, 954, 958, 965, 980, 985, 987, 989, 992, 994, 996, 997, 1010, 1015, 1022, 1026, 1027, 1028, 1030, 1033, 1034, 1036, 1037, 1042, 1043, 1044, 1055, 1057, 1061, 1067, 1071, 1080, 1085, 1091, 1095, 1099, 1106, 1109, 1124, 1134, 1137, 1146, 1151, 1152, 1156, 1160, 1162, 1165, 1174, 1176, 1191, 1193, 1204, 1206, 1220, 1224, 1232, 1233, 1236, 1251, 1252, 1253, 1258, 1259, 1261, 1263, 1274, 1276, 1302, 1313, 1319, 1320, 1323, 1339, 1340, 1341, 1349, 1350, 1367, 1369, 1373, 1375, 1379, 1380, 1389, 1397, 1409, 1423, 1427, 1428, 1434, 1438, 1439, 1443, 1467, 1475, 1476, 1477, 1479, 1483, 1488, 1491, 1495, 1502, 1509, 1527, 1532, 1535, 1544, 1552, 1557, 1560, 1567, 1569, 1572, 1576, 1603, 1604, 1612, 1613, 1614, 1619, 1632, 1633, 1651, 1655, 1659, 1660, 1669, 1681, 1683, 1685, 1707, 1710, 1717, 1721, 1727, 1728, 1729, 1744, 1746, 1752, 1773, 1780, 1781, 1796, 1799, 1802, 1803, 1806, 1808, 1809, 1824, 1829, 1850, 1854, 1855, 1857, 1870, 1871, 1897, 1902, 1913, 1930, 1934, 1938, 1947, 1956, 1961, 1970, 1973, 1974, 1988, 1989, 1996, 2005, 2012, 2016, 2018, 2020, 2036, 2047, 2051, 2055, 2058, 2066, 2068, 2070, 2073, 2092, 2098, 2106, 2110, 2115, 2121, 2123, 2127, 2132, 2133, 2134, 2145, 2160, 2170, 2171, 2173, 2176, 2183, 2210, 2215, 2221, 2231, 2234, 2239, 2240, 2242, 2255, 2257, 2262, 2266, 2272, 2274, 2286, 2287, 2300, 2302, 2308, 2318, 2320, 2324, 2329, 2341, 2352, 2356, 2363, 2375, 2387, 2413, 2416, 2423, 2427, 2437, 2444, 2448, 2453, 2454]
Discarding 400 places :
Implicit Place search using SMT only with invariants took 73202 ms to find 400 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 2060/3260 places, 2400/3200 transitions.
Applied a total of 0 rules in 88 ms. Remains 2060 /2060 variables (removed 0) and now considering 2400/2400 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 73834 ms. Remains : 2060/3260 places, 2400/3200 transitions.
[2026-05-23 10:50:00] [INFO ] Flatten gal took : 172 ms
[2026-05-23 10:50:00] [INFO ] Flatten gal took : 196 ms
[2026-05-23 10:50:01] [INFO ] Input system was already deterministic with 2400 transitions.
[2026-05-23 10:50:01] [INFO ] Flatten gal took : 116 ms
[2026-05-23 10:50:01] [INFO ] Flatten gal took : 119 ms
[2026-05-23 10:50:01] [INFO ] Time to serialize gal into /tmp/CTLFireability9060673575368219073.gal : 25 ms
[2026-05-23 10:50:01] [INFO ] Time to serialize properties into /tmp/CTLFireability5343761813295378514.ctl : 4 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/CTLFireability9060673575368219073.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5343761813295378514.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-23 10:50:31] [INFO ] Flatten gal took : 114 ms
[2026-05-23 10:50:31] [INFO ] Applying decomposition
[2026-05-23 10:50:31] [INFO ] Flatten gal took : 116 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/graph13439594403612636156.txt' '-o' '/tmp/graph13439594403612636156.bin' '-w' '/tmp/graph13439594403612636156.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13439594403612636156.bin' '-l' '-1' '-v' '-w' '/tmp/graph13439594403612636156.weights' '-q' '0' '-e' '0.001'
[2026-05-23 10:50:32] [INFO ] Decomposing Gal with order
[2026-05-23 10:50:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 10:50:32] [INFO ] Removed a total of 7960 redundant transitions.
[2026-05-23 10:50:32] [INFO ] Flatten gal took : 460 ms
[2026-05-23 10:50:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 28 ms.
[2026-05-23 10:50:33] [INFO ] Time to serialize gal into /tmp/CTLFireability13951788565460785192.gal : 29 ms
[2026-05-23 10:50:33] [INFO ] Time to serialize properties into /tmp/CTLFireability633184831109389114.ctl : 4 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/CTLFireability13951788565460785192.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability633184831109389114.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 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 218 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (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-14199744703586023159.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8345839934616711298.kers'
[2026-05-23 10:51:03] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14199744703586023159.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8345839934616711298.kers]
Culled 0 columns in 5 ms.
// Phase 1: matrix 3200 rows 3260 cols 23200 entries
Finished phase 1 with 2400 SingleSign rule and 400 generalized
[2026-05-23 10:51:03] [INFO ] Computed 460 invariants in 60 ms
Computed 460 P flows in 61 ms.
Exported basis to /tmp/petrispot-output-8345839934616711298.kers
Total runtime 67 ms.
[2026-05-23 10:51:35] [INFO ] Performed 924/3260 implicitness test of which 114 returned IMPLICIT in 30 seconds.
[2026-05-23 10:52:05] [INFO ] Performed 1686/3260 implicitness test of which 223 returned IMPLICIT in 60 seconds.
[2026-05-23 10:52:35] [INFO ] Performed 2612/3260 implicitness test of which 326 returned IMPLICIT in 90 seconds.
[2026-05-23 10:52:58] [INFO ] Implicit Places using invariants in 115072 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 399 places :
Implicit Place search using SMT only with invariants took 115090 ms to find 399 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2861/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 177 ms. Remains 2861 /2861 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 115487 ms. Remains : 2861/3260 places, 3200/3200 transitions.
[2026-05-23 10:52:58] [INFO ] Flatten gal took : 152 ms
[2026-05-23 10:52:59] [INFO ] Flatten gal took : 170 ms
[2026-05-23 10:52:59] [INFO ] Input system was already deterministic with 3200 transitions.
[2026-05-23 10:52:59] [INFO ] Flatten gal took : 154 ms
[2026-05-23 10:52:59] [INFO ] Flatten gal took : 155 ms
[2026-05-23 10:52:59] [INFO ] Time to serialize gal into /tmp/CTLFireability14602429304513688372.gal : 27 ms
[2026-05-23 10:52:59] [INFO ] Time to serialize properties into /tmp/CTLFireability4973997597850521853.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/CTLFireability14602429304513688372.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4973997597850521853.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-23 10:53:29] [INFO ] Flatten gal took : 174 ms
[2026-05-23 10:53:29] [INFO ] Applying decomposition
[2026-05-23 10:53:30] [INFO ] Flatten gal took : 204 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/graph14805023094149251797.txt' '-o' '/tmp/graph14805023094149251797.bin' '-w' '/tmp/graph14805023094149251797.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph14805023094149251797.bin' '-l' '-1' '-v' '-w' '/tmp/graph14805023094149251797.weights' '-q' '0' '-e' '0.001'
[2026-05-23 10:53:30] [INFO ] Decomposing Gal with order
[2026-05-23 10:53:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 10:53:31] [INFO ] Removed a total of 15083 redundant transitions.
[2026-05-23 10:53:31] [INFO ] Flatten gal took : 327 ms
[2026-05-23 10:53:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 46 ms.
[2026-05-23 10:53:31] [INFO ] Time to serialize gal into /tmp/CTLFireability17557785629473776354.gal : 35 ms
[2026-05-23 10:53:31] [INFO ] Time to serialize properties into /tmp/CTLFireability5171940579002455458.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/CTLFireability17557785629473776354.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5171940579002455458.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 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 221 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
[2026-05-23 10:54:01] [INFO ] Invariant cache hit.
[2026-05-23 10:54:33] [INFO ] Performed 877/3260 implicitness test of which 109 returned IMPLICIT in 30 seconds.
[2026-05-23 10:55:03] [INFO ] Performed 1686/3260 implicitness test of which 223 returned IMPLICIT in 60 seconds.
[2026-05-23 10:55:33] [INFO ] Performed 2592/3260 implicitness test of which 323 returned IMPLICIT in 90 seconds.
[2026-05-23 10:55:59] [INFO ] Implicit Places using invariants in 117292 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 400 places :
Implicit Place search using SMT only with invariants took 117308 ms to find 400 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2860/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 179 ms. Remains 2860 /2860 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 117709 ms. Remains : 2860/3260 places, 3200/3200 transitions.
[2026-05-23 10:55:59] [INFO ] Flatten gal took : 181 ms
[2026-05-23 10:55:59] [INFO ] Flatten gal took : 160 ms
[2026-05-23 10:55:59] [INFO ] Input system was already deterministic with 3200 transitions.
[2026-05-23 10:56:00] [INFO ] Flatten gal took : 148 ms
[2026-05-23 10:56:00] [INFO ] Flatten gal took : 151 ms
[2026-05-23 10:56:00] [INFO ] Time to serialize gal into /tmp/CTLFireability11321150594840010294.gal : 25 ms
[2026-05-23 10:56:00] [INFO ] Time to serialize properties into /tmp/CTLFireability15706143316132309787.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/CTLFireability11321150594840010294.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15706143316132309787.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-23 10:56:30] [INFO ] Flatten gal took : 209 ms
[2026-05-23 10:56:30] [INFO ] Applying decomposition
[2026-05-23 10:56:30] [INFO ] Flatten gal took : 229 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/graph15197492445509609458.txt' '-o' '/tmp/graph15197492445509609458.bin' '-w' '/tmp/graph15197492445509609458.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph15197492445509609458.bin' '-l' '-1' '-v' '-w' '/tmp/graph15197492445509609458.weights' '-q' '0' '-e' '0.001'
[2026-05-23 10:56:31] [INFO ] Decomposing Gal with order
[2026-05-23 10:56:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 10:56:32] [INFO ] Removed a total of 15084 redundant transitions.
[2026-05-23 10:56:32] [INFO ] Flatten gal took : 302 ms
[2026-05-23 10:56:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 44 ms.
[2026-05-23 10:56:32] [INFO ] Time to serialize gal into /tmp/CTLFireability2209236127172687022.gal : 72 ms
[2026-05-23 10:56:32] [INFO ] Time to serialize properties into /tmp/CTLFireability15065751860135243066.ctl : 4 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/CTLFireability2209236127172687022.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15065751860135243066.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 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 231 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
[2026-05-23 10:57:02] [INFO ] Invariant cache hit.
[2026-05-23 10:57:34] [INFO ] Performed 938/3260 implicitness test of which 116 returned IMPLICIT in 30 seconds.
[2026-05-23 10:58:05] [INFO ] Performed 1686/3260 implicitness test of which 222 returned IMPLICIT in 60 seconds.
[2026-05-23 10:58:35] [INFO ] Performed 2578/3260 implicitness test of which 321 returned IMPLICIT in 90 seconds.
[2026-05-23 10:58:59] [INFO ] Implicit Places using invariants in 117199 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 399 places :
Implicit Place search using SMT only with invariants took 117243 ms to find 399 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2861/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 275 ms. Remains 2861 /2861 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 117749 ms. Remains : 2861/3260 places, 3200/3200 transitions.
[2026-05-23 10:59:00] [INFO ] Flatten gal took : 226 ms
[2026-05-23 10:59:00] [INFO ] Flatten gal took : 232 ms
[2026-05-23 10:59:01] [INFO ] Input system was already deterministic with 3200 transitions.
[2026-05-23 10:59:01] [INFO ] Flatten gal took : 165 ms
[2026-05-23 10:59:01] [INFO ] Flatten gal took : 152 ms
[2026-05-23 10:59:01] [INFO ] Time to serialize gal into /tmp/CTLFireability8125691942301332509.gal : 40 ms
[2026-05-23 10:59:01] [INFO ] Time to serialize properties into /tmp/CTLFireability15303314813736022074.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/CTLFireability8125691942301332509.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15303314813736022074.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-23 10:59:31] [INFO ] Flatten gal took : 147 ms
[2026-05-23 10:59:31] [INFO ] Applying decomposition
[2026-05-23 10:59:31] [INFO ] Flatten gal took : 148 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/graph8691229382682793644.txt' '-o' '/tmp/graph8691229382682793644.bin' '-w' '/tmp/graph8691229382682793644.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph8691229382682793644.bin' '-l' '-1' '-v' '-w' '/tmp/graph8691229382682793644.weights' '-q' '0' '-e' '0.001'
[2026-05-23 10:59:32] [INFO ] Decomposing Gal with order
[2026-05-23 10:59:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 10:59:33] [INFO ] Removed a total of 15083 redundant transitions.
[2026-05-23 10:59:33] [INFO ] Flatten gal took : 299 ms
[2026-05-23 10:59:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 44 ms.
[2026-05-23 10:59:33] [INFO ] Time to serialize gal into /tmp/CTLFireability17587373376256494171.gal : 32 ms
[2026-05-23 10:59:33] [INFO ] Time to serialize properties into /tmp/CTLFireability12388050034370097597.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/CTLFireability17587373376256494171.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12388050034370097597.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 SI_CTL mode, iteration 0 : 3260/3260 places, 3200/3200 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 780 transitions
Trivial Post-agglo rules discarded 780 transitions
Performed 780 trivial Post agglomeration. Transition count delta: 780
Iterating post reduction 0 with 780 rules applied. Total rules applied 780 place count 3260 transition count 2420
Reduce places removed 799 places and 0 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 760 transitions
Trivial Post-agglo rules discarded 760 transitions
Performed 760 trivial Post agglomeration. Transition count delta: 760
Iterating post reduction 1 with 1559 rules applied. Total rules applied 2339 place count 2461 transition count 1660
Reduce places removed 760 places and 0 transitions.
Iterating post reduction 2 with 760 rules applied. Total rules applied 3099 place count 1701 transition count 1660
Performed 419 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 419 Pre rules applied. Total rules applied 3099 place count 1701 transition count 1241
Deduced a syphon composed of 419 places in 0 ms
Reduce places removed 419 places and 0 transitions.
Iterating global reduction 3 with 838 rules applied. Total rules applied 3937 place count 1282 transition count 1241
Applied a total of 3937 rules in 248 ms. Remains 1282 /3260 variables (removed 1978) and now considering 1241/3200 (removed 1959) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8872966729992354930.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15319218738396742685.kers'
[2026-05-23 11:00:03] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8872966729992354930.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15319218738396742685.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 1241 rows 1282 cols 18522 entries
Finished phase 1 with 441 SingleSign rule and 400 generalized
[2026-05-23 11:00:03] [INFO ] Computed 441 invariants in 33 ms
Computed 441 P flows in 33 ms.
Exported basis to /tmp/petrispot-output-15319218738396742685.kers
Total runtime 37 ms.
[2026-05-23 11:00:34] [INFO ] Performed 77/1282 implicitness test of which 47 returned IMPLICIT in 30 seconds.
[2026-05-23 11:01:04] [INFO ] Performed 164/1282 implicitness test of which 97 returned IMPLICIT in 60 seconds.
[2026-05-23 11:01:34] [INFO ] Performed 249/1282 implicitness test of which 152 returned IMPLICIT in 90 seconds.
[2026-05-23 11:02:05] [INFO ] Performed 364/1282 implicitness test of which 219 returned IMPLICIT in 120 seconds.
[2026-05-23 11:02:35] [INFO ] Performed 463/1282 implicitness test of which 281 returned IMPLICIT in 151 seconds.
[2026-05-23 11:02:43] [INFO ] Implicit Places using invariants in 160059 ms returned [2, 3, 4, 5, 6, 7, 9, 11, 12, 13, 16, 20, 21, 23, 24, 27, 28, 31, 34, 35, 36, 37, 38, 40, 42, 43, 45, 47, 48, 50, 54, 55, 56, 58, 59, 61, 62, 64, 65, 67, 69, 70, 71, 73, 74, 76, 77, 80, 82, 83, 85, 87, 88, 89, 90, 94, 95, 99, 101, 102, 103, 106, 108, 109, 110, 111, 112, 113, 114, 115, 118, 120, 122, 123, 124, 126, 127, 129, 131, 132, 133, 135, 140, 142, 144, 146, 148, 149, 153, 154, 155, 156, 157, 160, 161, 163, 164, 165, 166, 167, 168, 169, 170, 172, 173, 175, 181, 182, 183, 184, 186, 188, 190, 193, 196, 197, 198, 199, 200, 201, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 218, 219, 220, 223, 224, 227, 228, 229, 230, 231, 232, 234, 235, 236, 237, 238, 239, 242, 244, 245, 247, 251, 252, 253, 255, 257, 258, 259, 260, 262, 268, 269, 270, 272, 273, 275, 278, 279, 280, 283, 284, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 298, 299, 300, 301, 302, 304, 305, 306, 307, 308, 309, 311, 312, 323, 325, 326, 327, 329, 330, 332, 333, 335, 337, 338, 339, 341, 342, 345, 346, 348, 350, 353, 354, 358, 359, 363, 364, 365, 366, 367, 368, 369, 371, 373, 374, 376, 378, 379, 381, 382, 384, 385, 387, 390, 391, 394, 395, 396, 400, 403, 404, 405, 406, 407, 410, 411, 412, 414, 420, 424, 426, 427, 428, 429, 432, 434, 435, 436, 437, 439, 441, 442, 443, 444, 445, 447, 448, 449, 451, 452, 453, 454, 455, 456, 457, 458, 460, 462, 463, 464, 465, 466, 467, 470, 471, 472, 474, 475, 477, 478, 479, 480, 483, 484, 485]
[2026-05-23 11:02:43] [INFO ] Actually due to overlaps returned [3, 4, 5, 11, 27, 28, 31, 34, 55, 65, 73, 74, 76, 90, 102, 118, 120, 127, 135, 142, 21, 47, 123, 153, 258, 283, 305, 312, 332, 378]
Discarding 30 places :
Implicit Place search using SMT only with invariants took 160079 ms to find 30 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1252/3260 places, 1241/3200 transitions.
Applied a total of 0 rules in 116 ms. Remains 1252 /1252 variables (removed 0) and now considering 1241/1241 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 160443 ms. Remains : 1252/3260 places, 1241/3200 transitions.
[2026-05-23 11:02:44] [INFO ] Flatten gal took : 99 ms
[2026-05-23 11:02:44] [INFO ] Flatten gal took : 94 ms
[2026-05-23 11:02:44] [INFO ] Input system was already deterministic with 1241 transitions.
[2026-05-23 11:02:44] [INFO ] Flatten gal took : 95 ms
[2026-05-23 11:02:44] [INFO ] Flatten gal took : 95 ms
[2026-05-23 11:02:44] [INFO ] Time to serialize gal into /tmp/CTLFireability2093577806240810587.gal : 18 ms
[2026-05-23 11:02:44] [INFO ] Time to serialize properties into /tmp/CTLFireability11683041036439049212.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/CTLFireability2093577806240810587.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11683041036439049212.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-23 11:03:14] [INFO ] Flatten gal took : 95 ms
[2026-05-23 11:03:14] [INFO ] Applying decomposition
[2026-05-23 11:03:14] [INFO ] Flatten gal took : 119 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/graph498455875794728207.txt' '-o' '/tmp/graph498455875794728207.bin' '-w' '/tmp/graph498455875794728207.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph498455875794728207.bin' '-l' '-1' '-v' '-w' '/tmp/graph498455875794728207.weights' '-q' '0' '-e' '0.001'
[2026-05-23 11:03:15] [INFO ] Decomposing Gal with order
[2026-05-23 11:03:15] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 11:03:15] [INFO ] Removed a total of 818 redundant transitions.
[2026-05-23 11:03:15] [INFO ] Flatten gal took : 175 ms
[2026-05-23 11:03:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2026-05-23 11:03:15] [INFO ] Time to serialize gal into /tmp/CTLFireability783559147040411158.gal : 21 ms
[2026-05-23 11:03:15] [INFO ] Time to serialize properties into /tmp/CTLFireability4894333112479564281.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/CTLFireability783559147040411158.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4894333112479564281.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 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 215 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (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-12379626094585162778.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13224690532137992552.kers'
[2026-05-23 11:03:45] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12379626094585162778.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13224690532137992552.kers]
Culled 0 columns in 9 ms.
// Phase 1: matrix 3200 rows 3260 cols 23200 entries
Finished phase 1 with 2400 SingleSign rule and 400 generalized
[2026-05-23 11:03:45] [INFO ] Computed 460 invariants in 95 ms
Computed 460 P flows in 96 ms.
Exported basis to /tmp/petrispot-output-13224690532137992552.kers
Total runtime 106 ms.
[2026-05-23 11:04:17] [INFO ] Performed 885/3260 implicitness test of which 110 returned IMPLICIT in 30 seconds.
[2026-05-23 11:04:47] [INFO ] Performed 1679/3260 implicitness test of which 221 returned IMPLICIT in 60 seconds.
[2026-05-23 11:05:17] [INFO ] Performed 2593/3260 implicitness test of which 322 returned IMPLICIT in 90 seconds.
[2026-05-23 11:05:41] [INFO ] Implicit Places using invariants in 115443 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2988, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 398 places :
Implicit Place search using SMT only with invariants took 115465 ms to find 398 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2862/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 167 ms. Remains 2862 /2862 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 115848 ms. Remains : 2862/3260 places, 3200/3200 transitions.
[2026-05-23 11:05:41] [INFO ] Flatten gal took : 242 ms
[2026-05-23 11:05:41] [INFO ] Flatten gal took : 255 ms
[2026-05-23 11:05:42] [INFO ] Input system was already deterministic with 3200 transitions.
[2026-05-23 11:05:42] [INFO ] Flatten gal took : 158 ms
[2026-05-23 11:05:42] [INFO ] Flatten gal took : 189 ms
[2026-05-23 11:05:42] [INFO ] Time to serialize gal into /tmp/CTLFireability4477905456970418491.gal : 27 ms
[2026-05-23 11:05:42] [INFO ] Time to serialize properties into /tmp/CTLFireability11485304727786907129.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/CTLFireability4477905456970418491.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11485304727786907129.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-23 11:06:12] [INFO ] Flatten gal took : 163 ms
[2026-05-23 11:06:12] [INFO ] Applying decomposition
[2026-05-23 11:06:12] [INFO ] Flatten gal took : 153 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/graph6973205033955034055.txt' '-o' '/tmp/graph6973205033955034055.bin' '-w' '/tmp/graph6973205033955034055.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6973205033955034055.bin' '-l' '-1' '-v' '-w' '/tmp/graph6973205033955034055.weights' '-q' '0' '-e' '0.001'
[2026-05-23 11:06:13] [INFO ] Decomposing Gal with order
[2026-05-23 11:06:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 11:06:14] [INFO ] Removed a total of 15139 redundant transitions.
[2026-05-23 11:06:14] [INFO ] Flatten gal took : 336 ms
[2026-05-23 11:06:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 48 ms.
[2026-05-23 11:06:14] [INFO ] Time to serialize gal into /tmp/CTLFireability8596747912191226623.gal : 37 ms
[2026-05-23 11:06:14] [INFO ] Time to serialize properties into /tmp/CTLFireability3499731732475290140.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/CTLFireability8596747912191226623.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3499731732475290140.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 : 3260/3260 places, 3200/3200 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 779 transitions
Trivial Post-agglo rules discarded 779 transitions
Performed 779 trivial Post agglomeration. Transition count delta: 779
Iterating post reduction 0 with 779 rules applied. Total rules applied 779 place count 3260 transition count 2421
Reduce places removed 798 places and 0 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 759 transitions
Trivial Post-agglo rules discarded 759 transitions
Performed 759 trivial Post agglomeration. Transition count delta: 759
Iterating post reduction 1 with 1557 rules applied. Total rules applied 2336 place count 2462 transition count 1662
Reduce places removed 759 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 2 with 760 rules applied. Total rules applied 3096 place count 1703 transition count 1661
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 3097 place count 1702 transition count 1661
Performed 418 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 418 Pre rules applied. Total rules applied 3097 place count 1702 transition count 1243
Deduced a syphon composed of 418 places in 1 ms
Reduce places removed 418 places and 0 transitions.
Iterating global reduction 4 with 836 rules applied. Total rules applied 3933 place count 1284 transition count 1243
Applied a total of 3933 rules in 315 ms. Remains 1284 /3260 variables (removed 1976) and now considering 1243/3200 (removed 1957) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1706611640851303353.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4973977088612411071.kers'
[2026-05-23 11:06:44] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1706611640851303353.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4973977088612411071.kers]
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 3 ms.
// Phase 1: matrix 1243 rows 1283 cols 18486 entries
Finished phase 1 with 442 SingleSign rule and 401 generalized
[2026-05-23 11:06:44] [INFO ] Computed 441 invariants in 30 ms
Computed 441 P flows in 30 ms.
Exported basis to /tmp/petrispot-output-4973977088612411071.kers
Total runtime 34 ms.
[2026-05-23 11:07:16] [INFO ] Performed 93/1284 implicitness test of which 57 returned IMPLICIT in 30 seconds.
[2026-05-23 11:07:46] [INFO ] Performed 154/1284 implicitness test of which 94 returned IMPLICIT in 61 seconds.
[2026-05-23 11:08:17] [INFO ] Performed 236/1284 implicitness test of which 147 returned IMPLICIT in 92 seconds.
[2026-05-23 11:08:47] [INFO ] Performed 326/1284 implicitness test of which 202 returned IMPLICIT in 122 seconds.
[2026-05-23 11:09:18] [INFO ] Performed 441/1284 implicitness test of which 268 returned IMPLICIT in 152 seconds.
[2026-05-23 11:09:24] [INFO ] Implicit Places using invariants in 160057 ms returned [1, 2, 3, 5, 6, 7, 9, 11, 12, 13, 16, 20, 21, 22, 23, 24, 27, 28, 31, 34, 35, 36, 37, 38, 40, 42, 43, 45, 47, 48, 50, 54, 55, 56, 58, 59, 61, 62, 63, 64, 66, 68, 69, 70, 72, 73, 75, 76, 79, 80, 82, 84, 86, 87, 88, 89, 93, 94, 98, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 114, 115, 116, 118, 119, 120, 122, 123, 125, 127, 128, 129, 132, 138, 140, 142, 144, 146, 147, 151, 152, 153, 154, 155, 158, 159, 163, 164, 165, 166, 167, 168, 171, 173, 179, 180, 181, 182, 186, 188, 190, 193, 194, 195, 196, 197, 198, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 215, 216, 217, 220, 221, 223, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 239, 241, 242, 244, 248, 249, 250, 252, 254, 255, 257, 259, 264, 265, 266, 268, 269, 271, 272, 274, 275, 276, 279, 280, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 293, 294, 295, 296, 298, 299, 300, 301, 302, 303, 304, 305, 307, 315, 317, 318, 319, 321, 323, 325, 326, 328, 330, 331, 333, 335, 336, 339, 340, 343, 347, 348, 351, 352, 355, 356, 357, 358, 359, 360, 361, 363, 365, 366, 368, 369, 370, 371, 373, 374, 376, 378, 380, 383, 384, 387, 388, 389, 393, 396, 397, 398, 400, 403, 404, 405, 406, 407, 413, 417, 419, 420, 421, 422, 425, 428, 429, 430, 432, 434, 435, 436, 437, 438, 439, 440, 441, 443, 444, 445, 446, 447, 448, 449, 453, 455, 456]
[2026-05-23 11:09:24] [INFO ] Actually due to overlaps returned [2, 3, 5, 11, 22, 27, 28, 31, 34, 55, 64, 72, 73, 75, 89, 101, 116, 123, 132, 140, 21, 47, 119, 151, 255, 279, 299, 305, 325, 370]
Discarding 30 places :
Implicit Place search using SMT only with invariants took 160073 ms to find 30 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1254/3260 places, 1243/3200 transitions.
Applied a total of 0 rules in 75 ms. Remains 1254 /1254 variables (removed 0) and now considering 1243/1243 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 160463 ms. Remains : 1254/3260 places, 1243/3200 transitions.
[2026-05-23 11:09:25] [INFO ] Flatten gal took : 127 ms
[2026-05-23 11:09:25] [INFO ] Flatten gal took : 167 ms
[2026-05-23 11:09:25] [INFO ] Input system was already deterministic with 1243 transitions.
[2026-05-23 11:09:25] [INFO ] Flatten gal took : 162 ms
[2026-05-23 11:09:25] [INFO ] Flatten gal took : 124 ms
[2026-05-23 11:09:25] [INFO ] Time to serialize gal into /tmp/CTLFireability5671627997222931898.gal : 20 ms
[2026-05-23 11:09:25] [INFO ] Time to serialize properties into /tmp/CTLFireability2834449285539805470.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/CTLFireability5671627997222931898.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2834449285539805470.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-23 11:09:56] [INFO ] Flatten gal took : 188 ms
[2026-05-23 11:09:56] [INFO ] Applying decomposition
[2026-05-23 11:09:56] [INFO ] Flatten gal took : 207 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/graph10016269577346687902.txt' '-o' '/tmp/graph10016269577346687902.bin' '-w' '/tmp/graph10016269577346687902.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10016269577346687902.bin' '-l' '-1' '-v' '-w' '/tmp/graph10016269577346687902.weights' '-q' '0' '-e' '0.001'
[2026-05-23 11:09:56] [INFO ] Decomposing Gal with order
[2026-05-23 11:09:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 11:09:56] [INFO ] Removed a total of 1118 redundant transitions.
[2026-05-23 11:09:56] [INFO ] Flatten gal took : 187 ms
[2026-05-23 11:09:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 19 labels/synchronizations in 16 ms.
[2026-05-23 11:09:57] [INFO ] Time to serialize gal into /tmp/CTLFireability4455385076154327505.gal : 25 ms
[2026-05-23 11:09:57] [INFO ] Time to serialize properties into /tmp/CTLFireability17195547394111883805.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/CTLFireability4455385076154327505.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17195547394111883805.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 : 3260/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 222 ms. Remains 3260 /3260 variables (removed 0) and now considering 3200/3200 (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-8178636573501194846.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4980883297712795986.kers'
[2026-05-23 11:10:27] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8178636573501194846.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4980883297712795986.kers]
Culled 0 columns in 5 ms.
// Phase 1: matrix 3200 rows 3260 cols 23200 entries
Finished phase 1 with 2400 SingleSign rule and 400 generalized
[2026-05-23 11:10:27] [INFO ] Computed 460 invariants in 52 ms
Computed 460 P flows in 53 ms.
Exported basis to /tmp/petrispot-output-4980883297712795986.kers
Total runtime 63 ms.
[2026-05-23 11:10:59] [INFO ] Performed 933/3260 implicitness test of which 116 returned IMPLICIT in 30 seconds.
[2026-05-23 11:11:29] [INFO ] Performed 1802/3260 implicitness test of which 235 returned IMPLICIT in 60 seconds.
[2026-05-23 11:11:59] [INFO ] Performed 2676/3260 implicitness test of which 333 returned IMPLICIT in 90 seconds.
[2026-05-23 11:12:19] [INFO ] Implicit Places using invariants in 111902 ms returned [5, 17, 18, 26, 31, 32, 37, 41, 43, 48, 49, 75, 83, 87, 94, 97, 99, 116, 125, 128, 130, 140, 153, 182, 188, 192, 198, 207, 208, 224, 239, 258, 263, 264, 274, 289, 293, 297, 299, 308, 312, 339, 351, 357, 371, 374, 404, 409, 411, 423, 438, 439, 476, 486, 497, 506, 507, 512, 516, 517, 524, 542, 544, 554, 561, 569, 573, 576, 577, 582, 583, 590, 596, 620, 623, 630, 635, 640, 660, 665, 669, 676, 686, 690, 699, 707, 713, 718, 725, 735, 744, 746, 749, 750, 754, 759, 763, 791, 795, 804, 808, 812, 819, 821, 826, 829, 850, 857, 875, 881, 885, 905, 918, 921, 930, 933, 941, 948, 953, 957, 958, 964, 967, 968, 991, 1000, 1003, 1038, 1045, 1054, 1059, 1065, 1083, 1086, 1087, 1101, 1108, 1110, 1112, 1121, 1123, 1131, 1134, 1143, 1144, 1153, 1157, 1161, 1162, 1172, 1179, 1201, 1211, 1214, 1217, 1246, 1247, 1251, 1259, 1277, 1284, 1287, 1289, 1293, 1297, 1301, 1302, 1319, 1325, 1336, 1344, 1345, 1346, 1348, 1356, 1357, 1359, 1360, 1366, 1367, 1369, 1382, 1384, 1388, 1397, 1403, 1414, 1420, 1428, 1432, 1438, 1451, 1456, 1475, 1489, 1492, 1503, 1512, 1514, 1518, 1523, 1527, 1531, 1543, 1547, 1567, 1571, 1582, 1584, 1601, 1606, 1614, 1616, 1625, 1645, 1646, 1651, 1657, 1658, 1661, 1664, 1679, 1681, 1715, 1729, 1737, 1738, 1742, 1762, 1763, 1765, 1774, 1777, 1798, 1800, 1806, 1808, 1814, 1815, 1830, 1839, 1855, 1874, 1879, 1880, 1887, 1892, 1893, 1898, 1930, 1939, 1940, 1941, 1944, 1950, 1956, 1959, 1964, 1974, 1988, 2014, 2020, 2023, 2035, 2045, 2051, 2055, 2065, 2068, 2074, 2079, 2115, 2116, 2128, 2129, 2130, 2138, 2158, 2161, 2183, 2190, 2194, 2195, 2206, 2220, 2226, 2228, 2263, 2267, 2277, 2283, 2290, 2291, 2293, 2311, 2313, 2320, 2348, 2358, 2359, 2374, 2377, 2380, 2381, 2384, 2386, 2387, 2413, 2419, 2446, 2450, 2451, 2453, 2468, 2469, 2507, 2513, 2527, 2547, 2554, 2559, 2573, 2587, 2593, 2609, 2612, 2615, 2637, 2638, 2647, 2657, 2666, 2675, 2677, 2679, 2696, 2714, 2722, 2730, 2733, 2742, 2747, 2749, 2752, 2778, 2784, 2792, 2798, 2803, 2810, 2813, 2817, 2824, 2825, 2827, 2845, 2867, 2879, 2881, 2883, 2887, 2896, 2929, 2939, 2946, 2959, 2962, 2967, 2968, 2971, 2991, 2997, 3001, 3009, 3011, 3025, 3027, 3047, 3050, 3059, 3074, 3076, 3083, 3088, 3104, 3118, 3123, 3132, 3151, 3166, 3200, 3203, 3211, 3216, 3229, 3239, 3243, 3249, 3250]
Discarding 399 places :
Implicit Place search using SMT only with invariants took 111923 ms to find 399 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2861/3260 places, 3200/3200 transitions.
Applied a total of 0 rules in 168 ms. Remains 2861 /2861 variables (removed 0) and now considering 3200/3200 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 112314 ms. Remains : 2861/3260 places, 3200/3200 transitions.
[2026-05-23 11:12:19] [INFO ] Flatten gal took : 146 ms
[2026-05-23 11:12:19] [INFO ] Flatten gal took : 156 ms
[2026-05-23 11:12:19] [INFO ] Input system was already deterministic with 3200 transitions.
[2026-05-23 11:12:20] [INFO ] Flatten gal took : 155 ms
[2026-05-23 11:12:20] [INFO ] Flatten gal took : 158 ms
[2026-05-23 11:12:20] [INFO ] Time to serialize gal into /tmp/CTLFireability4412639322398235060.gal : 28 ms
[2026-05-23 11:12:20] [INFO ] Time to serialize properties into /tmp/CTLFireability15127445935548533386.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/CTLFireability4412639322398235060.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15127445935548533386.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-23 11:12:50] [INFO ] Flatten gal took : 148 ms
[2026-05-23 11:12:50] [INFO ] Applying decomposition
[2026-05-23 11:12:50] [INFO ] Flatten gal took : 150 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/graph17365740734260385102.txt' '-o' '/tmp/graph17365740734260385102.bin' '-w' '/tmp/graph17365740734260385102.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph17365740734260385102.bin' '-l' '-1' '-v' '-w' '/tmp/graph17365740734260385102.weights' '-q' '0' '-e' '0.001'
[2026-05-23 11:12:51] [INFO ] Decomposing Gal with order
[2026-05-23 11:12:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 11:12:52] [INFO ] Removed a total of 15083 redundant transitions.
[2026-05-23 11:12:52] [INFO ] Flatten gal took : 308 ms
[2026-05-23 11:12:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 48 ms.
[2026-05-23 11:12:52] [INFO ] Time to serialize gal into /tmp/CTLFireability10908365144375576619.gal : 34 ms
[2026-05-23 11:12:52] [INFO ] Time to serialize properties into /tmp/CTLFireability3328469094466588613.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/CTLFireability10908365144375576619.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3328469094466588613.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 : 3260/3260 places, 3200/3200 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 796 transitions
Trivial Post-agglo rules discarded 796 transitions
Performed 796 trivial Post agglomeration. Transition count delta: 796
Iterating post reduction 0 with 796 rules applied. Total rules applied 796 place count 3260 transition count 2404
Reduce places removed 814 places and 0 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 702 transitions
Trivial Post-agglo rules discarded 702 transitions
Performed 702 trivial Post agglomeration. Transition count delta: 702
Iterating post reduction 1 with 1516 rules applied. Total rules applied 2312 place count 2446 transition count 1702
Reduce places removed 702 places and 0 transitions.
Iterating post reduction 2 with 702 rules applied. Total rules applied 3014 place count 1744 transition count 1702
Performed 437 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 437 Pre rules applied. Total rules applied 3014 place count 1744 transition count 1265
Deduced a syphon composed of 437 places in 1 ms
Reduce places removed 437 places and 0 transitions.
Iterating global reduction 3 with 874 rules applied. Total rules applied 3888 place count 1307 transition count 1265
Applied a total of 3888 rules in 319 ms. Remains 1307 /3260 variables (removed 1953) and now considering 1265/3200 (removed 1935) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9757025705624327394.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11638747098876730871.kers'
[2026-05-23 11:13:22] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9757025705624327394.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11638747098876730871.kers]
Culling duplicate invariants (modulo rational): removing 2 columns.
Culled 2 columns in 6 ms.
// Phase 1: matrix 1265 rows 1305 cols 18530 entries
Finished phase 1 with 464 SingleSign rule and 401 generalized
[2026-05-23 11:13:22] [INFO ] Computed 442 invariants in 50 ms
Computed 442 P flows in 51 ms.
Exported basis to /tmp/petrispot-output-11638747098876730871.kers
Total runtime 56 ms.
[2026-05-23 11:13:54] [INFO ] Performed 112/1307 implicitness test of which 62 returned IMPLICIT in 30 seconds.
[2026-05-23 11:14:24] [INFO ] Performed 205/1307 implicitness test of which 111 returned IMPLICIT in 60 seconds.
[2026-05-23 11:14:54] [INFO ] Performed 307/1307 implicitness test of which 174 returned IMPLICIT in 90 seconds.
[2026-05-23 11:15:24] [INFO ] Performed 446/1307 implicitness test of which 248 returned IMPLICIT in 120 seconds.
[2026-05-23 11:15:55] [INFO ] Performed 530/1307 implicitness test of which 303 returned IMPLICIT in 151 seconds.
[2026-05-23 11:16:02] [INFO ] Implicit Places using invariants in 160079 ms returned [1, 3, 4, 5, 6, 9, 12, 13, 16, 20, 21, 22, 23, 24, 27, 28, 31, 34, 35, 36, 37, 38, 40, 42, 43, 45, 47, 48, 52, 56, 57, 58, 60, 61, 64, 65, 66, 69, 72, 73, 75, 76, 78, 79, 82, 83, 84, 85, 88, 89, 91, 95, 96, 100, 102, 104, 106, 108, 109, 110, 111, 112, 114, 115, 118, 119, 120, 122, 123, 124, 126, 127, 129, 131, 132, 133, 140, 142, 144, 146, 149, 155, 156, 157, 158, 159, 162, 164, 167, 168, 169, 170, 171, 172, 173, 174, 176, 177, 179, 185, 186, 187, 189, 192, 194, 198, 200, 201, 202, 204, 205, 206, 209, 210, 211, 212, 214, 215, 216, 217, 219, 223, 224, 225, 228, 229, 232, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 248, 250, 251, 258, 259, 260, 262, 265, 266, 267, 268, 270, 276, 277, 278, 280, 281, 283, 284, 287, 288, 289, 292, 293, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 307, 308, 309, 312, 313, 314, 315, 316, 317, 318, 320, 321, 324, 332, 334, 335, 336, 338, 339, 342, 343, 347, 348, 349, 351, 352, 356, 358, 360, 362, 364, 365, 368, 369, 373, 374, 375, 376, 377, 378, 380, 382, 383, 385, 386, 387, 388, 390, 391, 393, 394, 396, 399, 400, 403, 404, 405, 410, 413, 416, 417, 418, 421, 422, 423, 424, 425, 432, 436, 438, 439, 440, 441, 444, 446, 447, 448, 449, 451, 453, 454, 456, 457, 458, 459, 463, 464, 465, 466, 467, 468, 469, 470, 472, 474, 475, 476, 477, 478, 479, 482, 483, 484, 486, 487, 489, 490, 491, 492, 494, 496, 497, 503, 504, 506, 507, 511, 512, 513, 514, 518, 520, 521, 522, 524, 526, 527, 528, 529, 530, 531, 533, 535, 536, 537, 538, 539, 540, 541, 542, 543, 544, 545, 547, 548]
[2026-05-23 11:16:02] [INFO ] Actually due to overlaps returned [3, 4, 22, 27, 28, 31, 34, 38, 57, 73, 75, 76, 78, 91, 106, 120, 127, 142, 174, 13, 21, 47, 123, 200, 219, 236, 266, 289, 292, 293, 314, 318, 321, 342, 369, 387, 469, 513, 521, 524, 541]
Discarding 41 places :
Implicit Place search using SMT only with invariants took 160083 ms to find 41 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1266/3260 places, 1265/3200 transitions.
Applied a total of 0 rules in 66 ms. Remains 1266 /1266 variables (removed 0) and now considering 1265/1265 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 160469 ms. Remains : 1266/3260 places, 1265/3200 transitions.
[2026-05-23 11:16:03] [INFO ] Flatten gal took : 96 ms
[2026-05-23 11:16:03] [INFO ] Flatten gal took : 103 ms
[2026-05-23 11:16:03] [INFO ] Input system was already deterministic with 1265 transitions.
[2026-05-23 11:16:03] [INFO ] Flatten gal took : 111 ms
[2026-05-23 11:16:03] [INFO ] Flatten gal took : 140 ms
[2026-05-23 11:16:03] [INFO ] Time to serialize gal into /tmp/CTLFireability1846356337278974756.gal : 18 ms
[2026-05-23 11:16:03] [INFO ] Time to serialize properties into /tmp/CTLFireability11051711357572913367.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/CTLFireability1846356337278974756.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11051711357572913367.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-23 11:16:33] [INFO ] Flatten gal took : 100 ms
[2026-05-23 11:16:33] [INFO ] Applying decomposition
[2026-05-23 11:16:33] [INFO ] Flatten gal took : 102 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/graph5512452183558628105.txt' '-o' '/tmp/graph5512452183558628105.bin' '-w' '/tmp/graph5512452183558628105.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5512452183558628105.bin' '-l' '-1' '-v' '-w' '/tmp/graph5512452183558628105.weights' '-q' '0' '-e' '0.001'
[2026-05-23 11:16:34] [INFO ] Decomposing Gal with order
[2026-05-23 11:16:34] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 11:16:34] [INFO ] Removed a total of 2442 redundant transitions.
[2026-05-23 11:16:34] [INFO ] Flatten gal took : 196 ms
[2026-05-23 11:16:34] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 10 ms.
[2026-05-23 11:16:34] [INFO ] Time to serialize gal into /tmp/CTLFireability3726136966295302960.gal : 37 ms
[2026-05-23 11:16:34] [INFO ] Time to serialize properties into /tmp/CTLFireability12592908560671741061.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/CTLFireability3726136966295302960.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12592908560671741061.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-23 11:17:05] [INFO ] Flatten gal took : 463 ms
[2026-05-23 11:17:05] [INFO ] Flatten gal took : 300 ms
[2026-05-23 11:17:06] [INFO ] Applying decomposition
[2026-05-23 11:17:06] [INFO ] Flatten gal took : 301 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/graph13081153480439920597.txt' '-o' '/tmp/graph13081153480439920597.bin' '-w' '/tmp/graph13081153480439920597.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13081153480439920597.bin' '-l' '-1' '-v' '-w' '/tmp/graph13081153480439920597.weights' '-q' '0' '-e' '0.001'
[2026-05-23 11:17:07] [INFO ] Decomposing Gal with order
[2026-05-23 11:17:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 11:17:08] [INFO ] Removed a total of 14780 redundant transitions.
[2026-05-23 11:17:09] [INFO ] Flatten gal took : 615 ms
[2026-05-23 11:17:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 44 ms.
[2026-05-23 11:17:12] [INFO ] Time to serialize gal into /tmp/CTLFireability9705979828774941145.gal : 28 ms
[2026-05-23 11:17:12] [INFO ] Time to serialize properties into /tmp/CTLFireability2700309109015018270.ctl : 91 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/CTLFireability9705979828774941145.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2700309109015018270.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 16 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="DatabaseWithMutex-PT-20"
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 DatabaseWithMutex-PT-20, 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 r082-smll-177946993500066"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DatabaseWithMutex-PT-20.tgz
mv DatabaseWithMutex-PT-20 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 ;