About the Execution of ITS-Tools for BlocksWorld-PT-08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16209.960 | 3600000.00 | 3274329.00 | 277528.30 | [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.r018-smll-177946788100346.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 BlocksWorld-PT-08, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-smll-177946788100346
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.2M
-rw-r--r-- 1 mcc users 7.0K Mar 5 16:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Mar 5 16:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Mar 5 16:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 65K Mar 5 16:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Mar 15 07:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 15 07:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 15 07:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 15 07:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.2K Mar 5 16:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 75K Mar 5 16:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.7K Mar 5 16:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Mar 5 16:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 15 07:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 15 07:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 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 1.9M 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 BlocksWorld-PT-08-CTLFireability-2024-00
FORMULA_NAME BlocksWorld-PT-08-CTLFireability-2024-01
FORMULA_NAME BlocksWorld-PT-08-CTLFireability-2024-02
FORMULA_NAME BlocksWorld-PT-08-CTLFireability-2024-03
FORMULA_NAME BlocksWorld-PT-08-CTLFireability-2024-04
FORMULA_NAME BlocksWorld-PT-08-CTLFireability-2024-05
FORMULA_NAME BlocksWorld-PT-08-CTLFireability-2024-06
FORMULA_NAME BlocksWorld-PT-08-CTLFireability-2024-07
FORMULA_NAME BlocksWorld-PT-08-CTLFireability-2024-08
FORMULA_NAME BlocksWorld-PT-08-CTLFireability-2024-09
FORMULA_NAME BlocksWorld-PT-08-CTLFireability-2024-10
FORMULA_NAME BlocksWorld-PT-08-CTLFireability-2024-11
FORMULA_NAME BlocksWorld-PT-08-CTLFireability-2024-12
FORMULA_NAME BlocksWorld-PT-08-CTLFireability-2024-13
FORMULA_NAME BlocksWorld-PT-08-CTLFireability-2024-14
FORMULA_NAME BlocksWorld-PT-08-CTLFireability-2024-15
=== Now, execution of the tool begins
BK_START 1779619445961
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BlocksWorld-PT-08
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202604301425
[2026-05-24 10:44:08] [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-24 10:44:08] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-24 10:44:09] [INFO ] Load time of PNML (sax parser for PT used): 625 ms
[2026-05-24 10:44:09] [INFO ] Transformed 1979 places.
[2026-05-24 10:44:09] [INFO ] Transformed 3785 transitions.
[2026-05-24 10:44:09] [INFO ] Found NUPN structural information;
[2026-05-24 10:44:09] [INFO ] Completing missing partition info from NUPN : creating a component with [pred_on_table_0, pred_arm_empty_0, pred_on_table_1, pred_on_table_2, pred_on_table_3, pred_on_table_4, pred_on_table_5, pred_on_table_6, pred_on_table_7, pred_on_table_8, pred_on_table_9, pred_on_table_10, pred_on_table_11, pred_on_table_12, pred_on_table_13, pred_on_table_14, pred_on_table_15, pred_on_table_16, pred_on_table_17, pred_on_table_18, pred_on_table_19, pred_on_table_20, pred_on_table_21, pred_on_table_22, pred_on_table_23, pred_on_table_24, pred_on_table_25, pred_on_table_26, pred_on_table_27, pred_on_table_28, pred_on_table_29, pred_on_table_30, pred_on_table_31, pred_on_table_32, pred_on_table_33, pred_on_table_34, pred_on_table_35, pred_on_table_36, pred_on_table_37, pred_on_table_38, pred_on_table_39, pred_on_table_40, pred_on_table_41, pred_on_table_42]
[2026-05-24 10:44:09] [INFO ] Parsed PT model containing 1979 places and 3785 transitions and 18910 arcs in 921 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 32 ms.
Support contains 156 out of 1979 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1979/1979 places, 3785/3785 transitions.
Applied a total of 0 rules in 341 ms. Remains 1979 /1979 variables (removed 0) and now considering 3785/3785 (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-1326629156433214153.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7098538259288878191.kers'
[2026-05-24 10:44:10] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1326629156433214153.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7098538259288878191.kers]
Normalized transition count is 3784 out of 3785 initially.
Culled 0 columns in 3 ms.
// Phase 1: matrix 3784 rows 1979 cols 18662 entries
Finished phase 1 with 1892 SingleSign rule and 0 generalized
[2026-05-24 10:44:10] [INFO ] Computed 87 invariants in 24 ms
Computed 87 P flows in 25 ms.
Exported basis to /tmp/petrispot-output-7098538259288878191.kers
Total runtime 31 ms.
[2026-05-24 10:44:13] [INFO ] Implicit Places using invariants in 3753 ms returned []
[2026-05-24 10:44:13] [INFO ] Invariant cache hit.
[2026-05-24 10:44:17] [INFO ] State equation strengthened by 75 read => feed constraints.
[2026-05-24 10:44:22] [INFO ] Implicit Places using invariants and state equation in 9065 ms returned []
Implicit Place search using SMT with State Equation took 12873 ms to find 0 implicit places.
Running 3779 sub problems to find dead transitions.
[2026-05-24 10:44:22] [INFO ] Invariant cache hit.
[2026-05-24 10:44:23] [INFO ] State equation strengthened by 75 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Problem TDEAD1 is UNSAT
Problem TDEAD44 is UNSAT
Problem TDEAD130 is UNSAT
Problem TDEAD174 is UNSAT
Problem TDEAD218 is UNSAT
Problem TDEAD262 is UNSAT
Problem TDEAD306 is UNSAT
Problem TDEAD350 is UNSAT
Problem TDEAD394 is UNSAT
Problem TDEAD438 is UNSAT
Problem TDEAD482 is UNSAT
Problem TDEAD526 is UNSAT
Problem TDEAD570 is UNSAT
Problem TDEAD614 is UNSAT
Problem TDEAD658 is UNSAT
Problem TDEAD746 is UNSAT
Problem TDEAD790 is UNSAT
Problem TDEAD834 is UNSAT
Problem TDEAD878 is UNSAT
Problem TDEAD922 is UNSAT
Problem TDEAD966 is UNSAT
Problem TDEAD1010 is UNSAT
Problem TDEAD1054 is UNSAT
Problem TDEAD1142 is UNSAT
Problem TDEAD1186 is UNSAT
Problem TDEAD1230 is UNSAT
Problem TDEAD1274 is UNSAT
Problem TDEAD1318 is UNSAT
Problem TDEAD1362 is UNSAT
Problem TDEAD1406 is UNSAT
Problem TDEAD1450 is UNSAT
Problem TDEAD1538 is UNSAT
Problem TDEAD1582 is UNSAT
Problem TDEAD1626 is UNSAT
Problem TDEAD1670 is UNSAT
Problem TDEAD1714 is UNSAT
Problem TDEAD1758 is UNSAT
Problem TDEAD1802 is UNSAT
Problem TDEAD1846 is UNSAT
Problem TDEAD1890 is UNSAT
Problem TDEAD1978 is UNSAT
Problem TDEAD2062 is UNSAT
Problem TDEAD2144 is UNSAT
Problem TDEAD2224 is UNSAT
Problem TDEAD2302 is UNSAT
Problem TDEAD2378 is UNSAT
Problem TDEAD2452 is UNSAT
Problem TDEAD2524 is UNSAT
Problem TDEAD2594 is UNSAT
Problem TDEAD2662 is UNSAT
Problem TDEAD2728 is UNSAT
Problem TDEAD2792 is UNSAT
Problem TDEAD2854 is UNSAT
Problem TDEAD2972 is UNSAT
Problem TDEAD3028 is UNSAT
Problem TDEAD3082 is UNSAT
Problem TDEAD3134 is UNSAT
Problem TDEAD3184 is UNSAT
Problem TDEAD3232 is UNSAT
Problem TDEAD3278 is UNSAT
Problem TDEAD3322 is UNSAT
Problem TDEAD3404 is UNSAT
Problem TDEAD3442 is UNSAT
Problem TDEAD3478 is UNSAT
Problem TDEAD3512 is UNSAT
Problem TDEAD3544 is UNSAT
Problem TDEAD3574 is UNSAT
Problem TDEAD3602 is UNSAT
Problem TDEAD3628 is UNSAT
Problem TDEAD3674 is UNSAT
Problem TDEAD3694 is UNSAT
Problem TDEAD3712 is UNSAT
Problem TDEAD3728 is UNSAT
Problem TDEAD3742 is UNSAT
Problem TDEAD3754 is UNSAT
Problem TDEAD3764 is UNSAT
Problem TDEAD3772 is UNSAT
Problem TDEAD3778 is UNSAT
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/1973 variables, 77/77 constraints. Problems are: Problem set: 78 solved, 3701 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1973/5764 variables, and 77 constraints, problems are : Problem set: 78 solved, 3701 unsolved in 30175 ms.
Refiners :[Positive P Invariants (semi-flows): 77/87 constraints, State Equation: 0/1979 constraints, ReadFeed: 0/75 constraints, PredecessorRefiner: 3740/1893 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 78 solved, 3701 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1934 variables, 5/5 constraints. Problems are: Problem set: 78 solved, 3701 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1934/5764 variables, and 5 constraints, problems are : Problem set: 78 solved, 3701 unsolved in 30124 ms.
Refiners :[Positive P Invariants (semi-flows): 5/87 constraints, State Equation: 0/1979 constraints, ReadFeed: 0/75 constraints, PredecessorRefiner: 1847/1893 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 68011ms problems are : Problem set: 78 solved, 3701 unsolved
Search for dead transitions found 78 dead transitions in 68102ms
Found 78 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 78 transitions
Dead transitions reduction (with SMT) removed 78 transitions
Starting structural reductions in LTL mode, iteration 1 : 1979/1979 places, 3707/3785 transitions.
Reduce places removed 38 places and 0 transitions.
Iterating post reduction 0 with 38 rules applied. Total rules applied 38 place count 1941 transition count 3707
Deduced a syphon composed of 1 places in 6 ms
Applied a total of 38 rules in 345 ms. Remains 1941 /1979 variables (removed 38) and now considering 3707/3707 (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-848389075319098769.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5667283661032481464.kers'
[2026-05-24 10:45:31] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-848389075319098769.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5667283661032481464.kers]
Normalized transition count is 3706 out of 3707 initially.
Culling trivial invariants: removing 1 columns.
Culled 1 columns in 8 ms.
// Phase 1: matrix 3706 rows 1940 cols 18428 entries
Finished phase 1 with 1853 SingleSign rule and 0 generalized
[2026-05-24 10:45:31] [INFO ] Computed 88 invariants in 43 ms
Computed 88 P flows in 44 ms.
Exported basis to /tmp/petrispot-output-5667283661032481464.kers
Total runtime 50 ms.
[2026-05-24 10:45:34] [INFO ] Implicit Places using invariants in 3515 ms returned []
[2026-05-24 10:45:34] [INFO ] Invariant cache hit.
[2026-05-24 10:45:37] [INFO ] State equation strengthened by 9 read => feed constraints.
[2026-05-24 10:45:42] [INFO ] Implicit Places using invariants and state equation in 7244 ms returned []
Implicit Place search using SMT with State Equation took 10768 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1941/1979 places, 3707/3785 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 92536 ms. Remains : 1941/1979 places, 3707/3785 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1941/1941 places, 3707/3707 transitions.
Deduced a syphon composed of 1 places in 15 ms
Applied a total of 0 rules in 170 ms. Remains 1941 /1941 variables (removed 0) and now considering 3707/3707 (removed 0) transitions.
[2026-05-24 10:45:42] [INFO ] Invariant cache hit.
[2026-05-24 10:45:45] [INFO ] Implicit Places using invariants in 3091 ms returned []
[2026-05-24 10:45:45] [INFO ] Invariant cache hit.
[2026-05-24 10:45:48] [INFO ] State equation strengthened by 9 read => feed constraints.
[2026-05-24 10:45:51] [INFO ] Implicit Places using invariants and state equation in 6280 ms returned []
Implicit Place search using SMT with State Equation took 9380 ms to find 0 implicit places.
Running 3701 sub problems to find dead transitions.
[2026-05-24 10:45:51] [INFO ] Invariant cache hit.
[2026-05-24 10:45:51] [INFO ] State equation strengthened by 9 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/1934 variables, 77/77 constraints. Problems are: Problem set: 0 solved, 3701 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1934/5648 variables, and 77 constraints, problems are : Problem set: 0 solved, 3701 unsolved in 30152 ms.
Refiners :[Positive P Invariants (semi-flows): 77/88 constraints, State Equation: 0/1941 constraints, ReadFeed: 0/9 constraints, PredecessorRefiner: 3701/1854 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 3701 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1934 variables, 77/77 constraints. Problems are: Problem set: 0 solved, 3701 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1934/5648 variables, and 86 constraints, problems are : Problem set: 0 solved, 3701 unsolved in 30144 ms.
Refiners :[Positive P Invariants (semi-flows): 77/88 constraints, State Equation: 0/1941 constraints, ReadFeed: 0/9 constraints, PredecessorRefiner: 1847/1854 constraints, Known Traps: 9/9 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 66692ms problems are : Problem set: 0 solved, 3701 unsolved
Search for dead transitions found 0 dead transitions in 66713ms
Finished structural reductions in LTL mode , in 1 iterations and 76283 ms. Remains : 1941/1941 places, 3707/3707 transitions.
Deduced a syphon composed of 1 places in 20 ms
Reduce places removed 1 places and 0 transitions.
Support contains 155 out of 1940 places after structural reductions.
[2026-05-24 10:46:59] [INFO ] Flatten gal took : 669 ms
[2026-05-24 10:46:59] [INFO ] Flatten gal took : 222 ms
[2026-05-24 10:47:00] [INFO ] Input system was already deterministic with 3707 transitions.
RANDOM walk for 40000 steps (8 resets) in 5756 ms. (6 steps per ms) remains 11/113 properties
BEST_FIRST walk for 40004 steps (8 resets) in 524 ms. (76 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40003 steps (8 resets) in 441 ms. (90 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (8 resets) in 396 ms. (100 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (8 resets) in 407 ms. (98 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40004 steps (8 resets) in 485 ms. (82 steps per ms) remains 11/11 properties
BEST_FIRST walk for 40002 steps (8 resets) in 322 ms. (123 steps per ms) remains 10/11 properties
BEST_FIRST walk for 40004 steps (8 resets) in 350 ms. (113 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 471 ms. (84 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40003 steps (8 resets) in 718 ms. (55 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 530 ms. (75 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40002 steps (8 resets) in 574 ms. (69 steps per ms) remains 10/10 properties
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12008449809902194836.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11101984868412036413.kers'
[2026-05-24 10:47:04] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12008449809902194836.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11101984868412036413.kers]
Normalized transition count is 3706 out of 3707 initially.
Culled 0 columns in 5 ms.
// Phase 1: matrix 3706 rows 1940 cols 18428 entries
Finished phase 1 with 1853 SingleSign rule and 0 generalized
[2026-05-24 10:47:04] [INFO ] Computed 87 invariants in 35 ms
Computed 87 P flows in 36 ms.
Exported basis to /tmp/petrispot-output-11101984868412036413.kers
Total runtime 44 ms.
[2026-05-24 10:47:04] [INFO ] State equation strengthened by 9 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/43 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 10 unsolved
Problem AtomicPropp11 is UNSAT
Problem AtomicPropp15 is UNSAT
Problem AtomicPropp23 is UNSAT
Problem AtomicPropp25 is UNSAT
Problem AtomicPropp32 is UNSAT
Problem AtomicPropp68 is UNSAT
Problem AtomicPropp94 is UNSAT
At refinement iteration 1 (OVERLAPS) 1488/1531 variables, 47/47 constraints. Problems are: Problem set: 7 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1531 variables, 0/47 constraints. Problems are: Problem set: 7 solved, 3 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (OVERLAPS) 409/1940 variables, 40/87 constraints. Problems are: Problem set: 7 solved, 3 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1940 variables, 0/87 constraints. Problems are: Problem set: 7 solved, 3 unsolved
At refinement iteration 5 (OVERLAPS) 3706/5646 variables, 1940/2027 constraints. Problems are: Problem set: 7 solved, 3 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/5646 variables, 8/2035 constraints. Problems are: Problem set: 7 solved, 3 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/5646 variables, 0/2035 constraints. Problems are: Problem set: 7 solved, 3 unsolved
At refinement iteration 8 (OVERLAPS) 1/5647 variables, 1/2036 constraints. Problems are: Problem set: 7 solved, 3 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/5647 variables, 0/2036 constraints. Problems are: Problem set: 7 solved, 3 unsolved
At refinement iteration 10 (OVERLAPS) 0/5647 variables, 0/2036 constraints. Problems are: Problem set: 7 solved, 3 unsolved
No progress, stopping.
After SMT solving in domain Real declared 5647/5647 variables, and 2036 constraints, problems are : Problem set: 7 solved, 3 unsolved in 3536 ms.
Refiners :[Positive P Invariants (semi-flows): 87/87 constraints, State Equation: 1940/1940 constraints, ReadFeed: 9/9 constraints, PredecessorRefiner: 10/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 7 solved, 3 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/21 variables, 0/0 constraints. Problems are: Problem set: 7 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 1025/1046 variables, 28/28 constraints. Problems are: Problem set: 7 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1046 variables, 0/28 constraints. Problems are: Problem set: 7 solved, 3 unsolved
At refinement iteration 3 (OVERLAPS) 894/1940 variables, 59/87 constraints. Problems are: Problem set: 7 solved, 3 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1940 variables, 0/87 constraints. Problems are: Problem set: 7 solved, 3 unsolved
At refinement iteration 5 (OVERLAPS) 3706/5646 variables, 1940/2027 constraints. Problems are: Problem set: 7 solved, 3 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/5646 variables, 8/2035 constraints. Problems are: Problem set: 7 solved, 3 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/5646 variables, 0/2035 constraints. Problems are: Problem set: 7 solved, 3 unsolved
At refinement iteration 8 (OVERLAPS) 1/5647 variables, 1/2036 constraints. Problems are: Problem set: 7 solved, 3 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/5647 variables, 0/2036 constraints. Problems are: Problem set: 7 solved, 3 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 5647/5647 variables, and 2036 constraints, problems are : Problem set: 7 solved, 3 unsolved in 5013 ms.
Refiners :[Positive P Invariants (semi-flows): 87/87 constraints, State Equation: 1940/1940 constraints, ReadFeed: 9/9 constraints, PredecessorRefiner: 3/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 8756ms problems are : Problem set: 7 solved, 3 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 21 out of 1940 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1940/1940 places, 3707/3707 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 1940 transition count 3706
Applied a total of 1 rules in 10602 ms. Remains 1940 /1940 variables (removed 0) and now considering 3706/3707 (removed 1) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 10603 ms. Remains : 1940/1940 places, 3706/3707 transitions.
RANDOM walk for 40000 steps (8 resets) in 2779 ms. (14 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (8 resets) in 375 ms. (106 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40003 steps (8 resets) in 475 ms. (84 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (8 resets) in 459 ms. (86 steps per ms) remains 3/3 properties
Interrupted probabilistic random walk after 198563 steps, run timeout after 3001 ms. (steps per millisecond=66 ) properties seen :0 out of 3
Probabilistic random walk after 198563 steps, saw 168760 distinct states, run finished after 3007 ms. (steps per millisecond=66 ) properties seen :0
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-2568339429085723835.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13496922716111531339.kers'
[2026-05-24 10:47:27] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2568339429085723835.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13496922716111531339.kers]
Culled 0 columns in 6 ms.
// Phase 1: matrix 3706 rows 1940 cols 18428 entries
Finished phase 1 with 1853 SingleSign rule and 0 generalized
[2026-05-24 10:47:27] [INFO ] Computed 87 invariants in 38 ms
Computed 87 P flows in 39 ms.
Exported basis to /tmp/petrispot-output-13496922716111531339.kers
Total runtime 43 ms.
[2026-05-24 10:47:27] [INFO ] State equation strengthened by 8 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/21 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 1025/1046 variables, 28/28 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1046 variables, 0/28 constraints. Problems are: Problem set: 0 solved, 3 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (OVERLAPS) 894/1940 variables, 59/87 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1940 variables, 0/87 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 5 (OVERLAPS) 3706/5646 variables, 1940/2027 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/5646 variables, 8/2035 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/5646 variables, 0/2035 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 8 (OVERLAPS) 0/5646 variables, 0/2035 constraints. Problems are: Problem set: 0 solved, 3 unsolved
No progress, stopping.
After SMT solving in domain Real declared 5646/5646 variables, and 2035 constraints, problems are : Problem set: 0 solved, 3 unsolved in 2489 ms.
Refiners :[Positive P Invariants (semi-flows): 87/87 constraints, State Equation: 1940/1940 constraints, ReadFeed: 8/8 constraints, PredecessorRefiner: 3/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 3 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/21 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 1025/1046 variables, 28/28 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1046 variables, 0/28 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 3 (OVERLAPS) 894/1940 variables, 59/87 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1940 variables, 0/87 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 5 (OVERLAPS) 3706/5646 variables, 1940/2027 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/5646 variables, 8/2035 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/5646 variables, 0/2035 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 8 (OVERLAPS) 0/5646 variables, 0/2035 constraints. Problems are: Problem set: 0 solved, 3 unsolved
No progress, stopping.
After SMT solving in domain Int declared 5646/5646 variables, and 2035 constraints, problems are : Problem set: 0 solved, 3 unsolved in 4575 ms.
Refiners :[Positive P Invariants (semi-flows): 87/87 constraints, State Equation: 1940/1940 constraints, ReadFeed: 8/8 constraints, PredecessorRefiner: 3/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 7148ms problems are : Problem set: 0 solved, 3 unsolved
Fused 3 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 543 ms.
Support contains 21 out of 1940 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1940/1940 places, 3706/3706 transitions.
Applied a total of 0 rules in 7648 ms. Remains 1940 /1940 variables (removed 0) and now considering 3706/3706 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 7648 ms. Remains : 1940/1940 places, 3706/3706 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1940/1940 places, 3706/3706 transitions.
Applied a total of 0 rules in 8455 ms. Remains 1940 /1940 variables (removed 0) and now considering 3706/3706 (removed 0) transitions.
[2026-05-24 10:47:51] [INFO ] Invariant cache hit.
[2026-05-24 10:47:54] [INFO ] Implicit Places using invariants in 3132 ms returned []
[2026-05-24 10:47:54] [INFO ] Invariant cache hit.
[2026-05-24 10:47:57] [INFO ] State equation strengthened by 8 read => feed constraints.
[2026-05-24 10:48:02] [INFO ] Implicit Places using invariants and state equation in 7474 ms returned []
Implicit Place search using SMT with State Equation took 10610 ms to find 0 implicit places.
[2026-05-24 10:48:02] [INFO ] Redundant transitions in 551 ms returned []
Running 3700 sub problems to find dead transitions.
[2026-05-24 10:48:02] [INFO ] Invariant cache hit.
[2026-05-24 10:48:02] [INFO ] State equation strengthened by 8 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/1934 variables, 77/77 constraints. Problems are: Problem set: 0 solved, 3700 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1934/5646 variables, and 77 constraints, problems are : Problem set: 0 solved, 3700 unsolved in 30130 ms.
Refiners :[Positive P Invariants (semi-flows): 77/87 constraints, State Equation: 0/1940 constraints, ReadFeed: 0/8 constraints, PredecessorRefiner: 3700/1853 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 3700 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1934 variables, 77/77 constraints. Problems are: Problem set: 0 solved, 3700 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1934/5646 variables, and 77 constraints, problems are : Problem set: 0 solved, 3700 unsolved in 30134 ms.
Refiners :[Positive P Invariants (semi-flows): 77/87 constraints, State Equation: 0/1940 constraints, ReadFeed: 0/8 constraints, PredecessorRefiner: 1847/1853 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 66893ms problems are : Problem set: 0 solved, 3700 unsolved
Search for dead transitions found 0 dead transitions in 66913ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 86560 ms. Remains : 1940/1940 places, 3706/3706 transitions.
Successfully simplified 7 atomic propositions for a total of 16 simplifications.
[2026-05-24 10:49:09] [INFO ] Flatten gal took : 198 ms
[2026-05-24 10:49:10] [INFO ] Flatten gal took : 226 ms
[2026-05-24 10:49:10] [INFO ] Input system was already deterministic with 3707 transitions.
Support contains 140 out of 1940 places (down from 146) after GAL structural reductions.
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 1940/1940 places, 3707/3707 transitions.
Applied a total of 0 rules in 60 ms. Remains 1940 /1940 variables (removed 0) and now considering 3707/3707 (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-10069430471590661730.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3347920054440677606.kers'
[2026-05-24 10:49:10] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10069430471590661730.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3347920054440677606.kers]
Normalized transition count is 3706 out of 3707 initially.
Culled 0 columns in 3 ms.
// Phase 1: matrix 3706 rows 1940 cols 18428 entries
Finished phase 1 with 1853 SingleSign rule and 0 generalized
[2026-05-24 10:49:10] [INFO ] Computed 87 invariants in 22 ms
Computed 87 P flows in 22 ms.
Exported basis to /tmp/petrispot-output-3347920054440677606.kers
Total runtime 27 ms.
[2026-05-24 10:49:14] [INFO ] Implicit Places using invariants in 3592 ms returned []
[2026-05-24 10:49:14] [INFO ] Invariant cache hit.
[2026-05-24 10:49:17] [INFO ] State equation strengthened by 9 read => feed constraints.
[2026-05-24 10:49:21] [INFO ] Implicit Places using invariants and state equation in 6692 ms returned []
Implicit Place search using SMT with State Equation took 10288 ms to find 0 implicit places.
Running 3701 sub problems to find dead transitions.
[2026-05-24 10:49:21] [INFO ] Invariant cache hit.
[2026-05-24 10:49:21] [INFO ] State equation strengthened by 9 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/1934 variables, 77/77 constraints. Problems are: Problem set: 0 solved, 3701 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1934/5647 variables, and 77 constraints, problems are : Problem set: 0 solved, 3701 unsolved in 30131 ms.
Refiners :[Positive P Invariants (semi-flows): 77/87 constraints, State Equation: 0/1940 constraints, ReadFeed: 0/9 constraints, PredecessorRefiner: 3701/1854 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 3701 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1934 variables, 77/77 constraints. Problems are: Problem set: 0 solved, 3701 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1934/5647 variables, and 86 constraints, problems are : Problem set: 0 solved, 3701 unsolved in 30097 ms.
Refiners :[Positive P Invariants (semi-flows): 77/87 constraints, State Equation: 0/1940 constraints, ReadFeed: 0/9 constraints, PredecessorRefiner: 1847/1854 constraints, Known Traps: 9/9 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 67014ms problems are : Problem set: 0 solved, 3701 unsolved
Search for dead transitions found 0 dead transitions in 67030ms
Finished structural reductions in LTL mode , in 1 iterations and 77395 ms. Remains : 1940/1940 places, 3707/3707 transitions.
[2026-05-24 10:50:28] [INFO ] Flatten gal took : 114 ms
[2026-05-24 10:50:28] [INFO ] Flatten gal took : 127 ms
[2026-05-24 10:50:28] [INFO ] Input system was already deterministic with 3707 transitions.
[2026-05-24 10:50:28] [INFO ] Flatten gal took : 120 ms
[2026-05-24 10:50:28] [INFO ] Flatten gal took : 111 ms
[2026-05-24 10:50:28] [INFO ] Time to serialize gal into /tmp/CTLFireability5879597061339819532.gal : 96 ms
[2026-05-24 10:50:28] [INFO ] Time to serialize properties into /tmp/CTLFireability1419553702683096343.ctl : 5 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/CTLFireability5879597061339819532.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1419553702683096343.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-24 10:50:59] [INFO ] Flatten gal took : 108 ms
[2026-05-24 10:50:59] [INFO ] Applying decomposition
[2026-05-24 10:50:59] [INFO ] Flatten gal took : 110 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/graph5586164261340197110.txt' '-o' '/tmp/graph5586164261340197110.bin' '-w' '/tmp/graph5586164261340197110.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5586164261340197110.bin' '-l' '-1' '-v' '-w' '/tmp/graph5586164261340197110.weights' '-q' '0' '-e' '0.001'
[2026-05-24 10:50:59] [INFO ] Decomposing Gal with order
[2026-05-24 10:51:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 10:51:01] [INFO ] Removed a total of 6972 redundant transitions.
[2026-05-24 10:51:01] [INFO ] Flatten gal took : 1204 ms
[2026-05-24 10:51:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 76 labels/synchronizations in 112 ms.
[2026-05-24 10:51:01] [INFO ] Time to serialize gal into /tmp/CTLFireability8561853141903927050.gal : 52 ms
[2026-05-24 10:51:01] [INFO ] Time to serialize properties into /tmp/CTLFireability15001291170651167158.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/CTLFireability8561853141903927050.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15001291170651167158.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 : 1940/1940 places, 3707/3707 transitions.
Applied a total of 0 rules in 61 ms. Remains 1940 /1940 variables (removed 0) and now considering 3707/3707 (removed 0) transitions.
[2026-05-24 10:51:32] [INFO ] Invariant cache hit.
[2026-05-24 10:51:35] [INFO ] Implicit Places using invariants in 3016 ms returned []
[2026-05-24 10:51:35] [INFO ] Invariant cache hit.
[2026-05-24 10:51:37] [INFO ] State equation strengthened by 9 read => feed constraints.
[2026-05-24 10:51:41] [INFO ] Implicit Places using invariants and state equation in 6590 ms returned []
Implicit Place search using SMT with State Equation took 9611 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 9675 ms. Remains : 1940/1940 places, 3707/3707 transitions.
[2026-05-24 10:51:41] [INFO ] Flatten gal took : 249 ms
[2026-05-24 10:51:42] [INFO ] Flatten gal took : 233 ms
[2026-05-24 10:51:42] [INFO ] Input system was already deterministic with 3707 transitions.
[2026-05-24 10:51:42] [INFO ] Flatten gal took : 164 ms
[2026-05-24 10:51:42] [INFO ] Flatten gal took : 153 ms
[2026-05-24 10:51:42] [INFO ] Time to serialize gal into /tmp/CTLFireability9639340333312219008.gal : 30 ms
[2026-05-24 10:51:42] [INFO ] Time to serialize properties into /tmp/CTLFireability10470772456093950676.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/CTLFireability9639340333312219008.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10470772456093950676.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-24 10:52:12] [INFO ] Flatten gal took : 106 ms
[2026-05-24 10:52:12] [INFO ] Applying decomposition
[2026-05-24 10:52:13] [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/graph9267917696816566302.txt' '-o' '/tmp/graph9267917696816566302.bin' '-w' '/tmp/graph9267917696816566302.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9267917696816566302.bin' '-l' '-1' '-v' '-w' '/tmp/graph9267917696816566302.weights' '-q' '0' '-e' '0.001'
[2026-05-24 10:52:13] [INFO ] Decomposing Gal with order
[2026-05-24 10:52:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 10:52:14] [INFO ] Removed a total of 6972 redundant transitions.
[2026-05-24 10:52:14] [INFO ] Flatten gal took : 605 ms
[2026-05-24 10:52:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 92 labels/synchronizations in 74 ms.
[2026-05-24 10:52:14] [INFO ] Time to serialize gal into /tmp/CTLFireability8160868560270875704.gal : 40 ms
[2026-05-24 10:52:14] [INFO ] Time to serialize properties into /tmp/CTLFireability9466844317660633427.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/CTLFireability8160868560270875704.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9466844317660633427.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 : 1940/1940 places, 3707/3707 transitions.
Applied a total of 0 rules in 60 ms. Remains 1940 /1940 variables (removed 0) and now considering 3707/3707 (removed 0) transitions.
[2026-05-24 10:52:44] [INFO ] Invariant cache hit.
[2026-05-24 10:52:47] [INFO ] Implicit Places using invariants in 2887 ms returned []
[2026-05-24 10:52:47] [INFO ] Invariant cache hit.
[2026-05-24 10:52:50] [INFO ] State equation strengthened by 9 read => feed constraints.
[2026-05-24 10:52:54] [INFO ] Implicit Places using invariants and state equation in 7019 ms returned []
Implicit Place search using SMT with State Equation took 9910 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 9971 ms. Remains : 1940/1940 places, 3707/3707 transitions.
[2026-05-24 10:52:54] [INFO ] Flatten gal took : 89 ms
[2026-05-24 10:52:54] [INFO ] Flatten gal took : 110 ms
[2026-05-24 10:52:55] [INFO ] Input system was already deterministic with 3707 transitions.
[2026-05-24 10:52:55] [INFO ] Flatten gal took : 165 ms
[2026-05-24 10:52:55] [INFO ] Flatten gal took : 171 ms
[2026-05-24 10:52:55] [INFO ] Time to serialize gal into /tmp/CTLFireability10333902107812154829.gal : 42 ms
[2026-05-24 10:52:55] [INFO ] Time to serialize properties into /tmp/CTLFireability3454872246992954700.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/CTLFireability10333902107812154829.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3454872246992954700.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-24 10:53:25] [INFO ] Flatten gal took : 105 ms
[2026-05-24 10:53:25] [INFO ] Applying decomposition
[2026-05-24 10:53:25] [INFO ] Flatten gal took : 110 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/graph999644834848449481.txt' '-o' '/tmp/graph999644834848449481.bin' '-w' '/tmp/graph999644834848449481.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph999644834848449481.bin' '-l' '-1' '-v' '-w' '/tmp/graph999644834848449481.weights' '-q' '0' '-e' '0.001'
[2026-05-24 10:53:26] [INFO ] Decomposing Gal with order
[2026-05-24 10:53:26] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 10:53:26] [INFO ] Removed a total of 6974 redundant transitions.
[2026-05-24 10:53:26] [INFO ] Flatten gal took : 423 ms
[2026-05-24 10:53:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 182 labels/synchronizations in 53 ms.
[2026-05-24 10:53:26] [INFO ] Time to serialize gal into /tmp/CTLFireability13099396143536079387.gal : 36 ms
[2026-05-24 10:53:26] [INFO ] Time to serialize properties into /tmp/CTLFireability9186161959205331973.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/CTLFireability13099396143536079387.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9186161959205331973.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 : 1940/1940 places, 3707/3707 transitions.
Applied a total of 0 rules in 766 ms. Remains 1940 /1940 variables (removed 0) and now considering 3707/3707 (removed 0) transitions.
[2026-05-24 10:53:57] [INFO ] Invariant cache hit.
[2026-05-24 10:54:01] [INFO ] Implicit Places using invariants in 3732 ms returned []
[2026-05-24 10:54:01] [INFO ] Invariant cache hit.
[2026-05-24 10:54:04] [INFO ] State equation strengthened by 9 read => feed constraints.
[2026-05-24 10:54:10] [INFO ] Implicit Places using invariants and state equation in 9218 ms returned []
Implicit Place search using SMT with State Equation took 12951 ms to find 0 implicit places.
[2026-05-24 10:54:11] [INFO ] Redundant transitions in 389 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_CTL mode , in 1 iterations and 14115 ms. Remains : 1940/1940 places, 3707/3707 transitions.
[2026-05-24 10:54:11] [INFO ] Flatten gal took : 130 ms
[2026-05-24 10:54:11] [INFO ] Flatten gal took : 264 ms
[2026-05-24 10:54:11] [INFO ] Input system was already deterministic with 3707 transitions.
[2026-05-24 10:54:11] [INFO ] Flatten gal took : 98 ms
[2026-05-24 10:54:11] [INFO ] Flatten gal took : 102 ms
[2026-05-24 10:54:11] [INFO ] Time to serialize gal into /tmp/CTLFireability11801695504741539002.gal : 26 ms
[2026-05-24 10:54:11] [INFO ] Time to serialize properties into /tmp/CTLFireability18398081368008429754.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/CTLFireability11801695504741539002.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18398081368008429754.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-24 10:54:42] [INFO ] Flatten gal took : 112 ms
[2026-05-24 10:54:42] [INFO ] Applying decomposition
[2026-05-24 10:54:42] [INFO ] Flatten gal took : 156 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/graph9389215795469175880.txt' '-o' '/tmp/graph9389215795469175880.bin' '-w' '/tmp/graph9389215795469175880.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9389215795469175880.bin' '-l' '-1' '-v' '-w' '/tmp/graph9389215795469175880.weights' '-q' '0' '-e' '0.001'
[2026-05-24 10:54:42] [INFO ] Decomposing Gal with order
[2026-05-24 10:54:42] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 10:54:43] [INFO ] Removed a total of 6972 redundant transitions.
[2026-05-24 10:54:43] [INFO ] Flatten gal took : 452 ms
[2026-05-24 10:54:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 176 labels/synchronizations in 53 ms.
[2026-05-24 10:54:43] [INFO ] Time to serialize gal into /tmp/CTLFireability15710378910029209010.gal : 33 ms
[2026-05-24 10:54:43] [INFO ] Time to serialize properties into /tmp/CTLFireability8830898304692275962.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/CTLFireability15710378910029209010.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8830898304692275962.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 : 1940/1940 places, 3707/3707 transitions.
Applied a total of 0 rules in 618 ms. Remains 1940 /1940 variables (removed 0) and now considering 3707/3707 (removed 0) transitions.
[2026-05-24 10:55:14] [INFO ] Invariant cache hit.
[2026-05-24 10:55:17] [INFO ] Implicit Places using invariants in 3262 ms returned []
[2026-05-24 10:55:17] [INFO ] Invariant cache hit.
[2026-05-24 10:55:20] [INFO ] State equation strengthened by 9 read => feed constraints.
[2026-05-24 10:55:24] [INFO ] Implicit Places using invariants and state equation in 7042 ms returned []
Implicit Place search using SMT with State Equation took 10317 ms to find 0 implicit places.
[2026-05-24 10:55:24] [INFO ] Redundant transitions in 173 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_CTL mode , in 1 iterations and 11114 ms. Remains : 1940/1940 places, 3707/3707 transitions.
[2026-05-24 10:55:24] [INFO ] Flatten gal took : 90 ms
[2026-05-24 10:55:24] [INFO ] Flatten gal took : 107 ms
[2026-05-24 10:55:25] [INFO ] Input system was already deterministic with 3707 transitions.
[2026-05-24 10:55:25] [INFO ] Flatten gal took : 120 ms
[2026-05-24 10:55:25] [INFO ] Flatten gal took : 157 ms
[2026-05-24 10:55:25] [INFO ] Time to serialize gal into /tmp/CTLFireability12123321602817112975.gal : 23 ms
[2026-05-24 10:55:25] [INFO ] Time to serialize properties into /tmp/CTLFireability881522049591680342.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/CTLFireability12123321602817112975.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability881522049591680342.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-24 10:55:55] [INFO ] Flatten gal took : 97 ms
[2026-05-24 10:55:55] [INFO ] Applying decomposition
[2026-05-24 10:55:55] [INFO ] Flatten gal took : 101 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/graph5672973389601985413.txt' '-o' '/tmp/graph5672973389601985413.bin' '-w' '/tmp/graph5672973389601985413.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5672973389601985413.bin' '-l' '-1' '-v' '-w' '/tmp/graph5672973389601985413.weights' '-q' '0' '-e' '0.001'
[2026-05-24 10:55:55] [INFO ] Decomposing Gal with order
[2026-05-24 10:55:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 10:55:56] [INFO ] Removed a total of 6972 redundant transitions.
[2026-05-24 10:55:56] [INFO ] Flatten gal took : 524 ms
[2026-05-24 10:55:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 114 labels/synchronizations in 49 ms.
[2026-05-24 10:55:56] [INFO ] Time to serialize gal into /tmp/CTLFireability12148949998705370942.gal : 32 ms
[2026-05-24 10:55:56] [INFO ] Time to serialize properties into /tmp/CTLFireability17070513369560820482.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/CTLFireability12148949998705370942.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17070513369560820482.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 : 1940/1940 places, 3707/3707 transitions.
Applied a total of 0 rules in 61 ms. Remains 1940 /1940 variables (removed 0) and now considering 3707/3707 (removed 0) transitions.
[2026-05-24 10:56:26] [INFO ] Invariant cache hit.
[2026-05-24 10:56:30] [INFO ] Implicit Places using invariants in 3666 ms returned []
[2026-05-24 10:56:30] [INFO ] Invariant cache hit.
[2026-05-24 10:56:32] [INFO ] State equation strengthened by 9 read => feed constraints.
[2026-05-24 10:56:37] [INFO ] Implicit Places using invariants and state equation in 7179 ms returned []
Implicit Place search using SMT with State Equation took 10850 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 10912 ms. Remains : 1940/1940 places, 3707/3707 transitions.
[2026-05-24 10:56:37] [INFO ] Flatten gal took : 88 ms
[2026-05-24 10:56:37] [INFO ] Flatten gal took : 104 ms
[2026-05-24 10:56:38] [INFO ] Input system was already deterministic with 3707 transitions.
[2026-05-24 10:56:38] [INFO ] Flatten gal took : 101 ms
[2026-05-24 10:56:38] [INFO ] Flatten gal took : 103 ms
[2026-05-24 10:56:38] [INFO ] Time to serialize gal into /tmp/CTLFireability4106814554163942036.gal : 24 ms
[2026-05-24 10:56:38] [INFO ] Time to serialize properties into /tmp/CTLFireability8073771846889662716.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/CTLFireability4106814554163942036.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8073771846889662716.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-24 10:57:08] [INFO ] Flatten gal took : 97 ms
[2026-05-24 10:57:08] [INFO ] Applying decomposition
[2026-05-24 10:57:08] [INFO ] Flatten gal took : 103 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/graph3247726343703239991.txt' '-o' '/tmp/graph3247726343703239991.bin' '-w' '/tmp/graph3247726343703239991.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph3247726343703239991.bin' '-l' '-1' '-v' '-w' '/tmp/graph3247726343703239991.weights' '-q' '0' '-e' '0.001'
[2026-05-24 10:57:08] [INFO ] Decomposing Gal with order
[2026-05-24 10:57:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 10:57:09] [INFO ] Removed a total of 6972 redundant transitions.
[2026-05-24 10:57:09] [INFO ] Flatten gal took : 378 ms
[2026-05-24 10:57:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 182 labels/synchronizations in 51 ms.
[2026-05-24 10:57:09] [INFO ] Time to serialize gal into /tmp/CTLFireability14150702151487855803.gal : 31 ms
[2026-05-24 10:57:09] [INFO ] Time to serialize properties into /tmp/CTLFireability6302979947525568419.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/CTLFireability14150702151487855803.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6302979947525568419.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 : 1940/1940 places, 3707/3707 transitions.
Applied a total of 0 rules in 66 ms. Remains 1940 /1940 variables (removed 0) and now considering 3707/3707 (removed 0) transitions.
[2026-05-24 10:57:39] [INFO ] Invariant cache hit.
[2026-05-24 10:57:42] [INFO ] Implicit Places using invariants in 3280 ms returned []
[2026-05-24 10:57:42] [INFO ] Invariant cache hit.
[2026-05-24 10:57:45] [INFO ] State equation strengthened by 9 read => feed constraints.
[2026-05-24 10:57:49] [INFO ] Implicit Places using invariants and state equation in 6231 ms returned []
Implicit Place search using SMT with State Equation took 9513 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 9579 ms. Remains : 1940/1940 places, 3707/3707 transitions.
[2026-05-24 10:57:49] [INFO ] Flatten gal took : 90 ms
[2026-05-24 10:57:49] [INFO ] Flatten gal took : 107 ms
[2026-05-24 10:57:49] [INFO ] Input system was already deterministic with 3707 transitions.
[2026-05-24 10:57:49] [INFO ] Flatten gal took : 104 ms
[2026-05-24 10:57:49] [INFO ] Flatten gal took : 107 ms
[2026-05-24 10:57:49] [INFO ] Time to serialize gal into /tmp/CTLFireability11609487946826562473.gal : 26 ms
[2026-05-24 10:57:49] [INFO ] Time to serialize properties into /tmp/CTLFireability10036824036810822126.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/CTLFireability11609487946826562473.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10036824036810822126.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-24 10:58:19] [INFO ] Flatten gal took : 97 ms
[2026-05-24 10:58:19] [INFO ] Applying decomposition
[2026-05-24 10:58:20] [INFO ] Flatten gal took : 159 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/graph14846285509184548096.txt' '-o' '/tmp/graph14846285509184548096.bin' '-w' '/tmp/graph14846285509184548096.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph14846285509184548096.bin' '-l' '-1' '-v' '-w' '/tmp/graph14846285509184548096.weights' '-q' '0' '-e' '0.001'
[2026-05-24 10:58:20] [INFO ] Decomposing Gal with order
[2026-05-24 10:58:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 10:58:21] [INFO ] Removed a total of 6972 redundant transitions.
[2026-05-24 10:58:21] [INFO ] Flatten gal took : 569 ms
[2026-05-24 10:58:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 148 labels/synchronizations in 41 ms.
[2026-05-24 10:58:21] [INFO ] Time to serialize gal into /tmp/CTLFireability7811478561112300093.gal : 31 ms
[2026-05-24 10:58:21] [INFO ] Time to serialize properties into /tmp/CTLFireability8393276966573076344.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/CTLFireability7811478561112300093.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8393276966573076344.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 : 1940/1940 places, 3707/3707 transitions.
Applied a total of 0 rules in 59 ms. Remains 1940 /1940 variables (removed 0) and now considering 3707/3707 (removed 0) transitions.
[2026-05-24 10:58:51] [INFO ] Invariant cache hit.
[2026-05-24 10:58:54] [INFO ] Implicit Places using invariants in 3456 ms returned []
[2026-05-24 10:58:54] [INFO ] Invariant cache hit.
[2026-05-24 10:58:57] [INFO ] State equation strengthened by 9 read => feed constraints.
[2026-05-24 10:59:01] [INFO ] Implicit Places using invariants and state equation in 6598 ms returned []
Implicit Place search using SMT with State Equation took 10056 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 10117 ms. Remains : 1940/1940 places, 3707/3707 transitions.
[2026-05-24 10:59:01] [INFO ] Flatten gal took : 84 ms
[2026-05-24 10:59:01] [INFO ] Flatten gal took : 135 ms
[2026-05-24 10:59:01] [INFO ] Input system was already deterministic with 3707 transitions.
[2026-05-24 10:59:02] [INFO ] Flatten gal took : 139 ms
[2026-05-24 10:59:02] [INFO ] Flatten gal took : 99 ms
[2026-05-24 10:59:02] [INFO ] Time to serialize gal into /tmp/CTLFireability15430651111978251261.gal : 23 ms
[2026-05-24 10:59:02] [INFO ] Time to serialize properties into /tmp/CTLFireability7959235181857852327.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/CTLFireability15430651111978251261.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7959235181857852327.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-24 10:59:32] [INFO ] Flatten gal took : 99 ms
[2026-05-24 10:59:32] [INFO ] Applying decomposition
[2026-05-24 10:59:32] [INFO ] Flatten gal took : 103 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/graph15551218110598831297.txt' '-o' '/tmp/graph15551218110598831297.bin' '-w' '/tmp/graph15551218110598831297.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph15551218110598831297.bin' '-l' '-1' '-v' '-w' '/tmp/graph15551218110598831297.weights' '-q' '0' '-e' '0.001'
[2026-05-24 10:59:32] [INFO ] Decomposing Gal with order
[2026-05-24 10:59:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 10:59:33] [INFO ] Removed a total of 6972 redundant transitions.
[2026-05-24 10:59:33] [INFO ] Flatten gal took : 376 ms
[2026-05-24 10:59:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 100 labels/synchronizations in 37 ms.
[2026-05-24 10:59:33] [INFO ] Time to serialize gal into /tmp/CTLFireability10984039854257638525.gal : 31 ms
[2026-05-24 10:59:33] [INFO ] Time to serialize properties into /tmp/CTLFireability7748848904676041573.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/CTLFireability10984039854257638525.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7748848904676041573.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 : 1940/1940 places, 3707/3707 transitions.
Applied a total of 0 rules in 58 ms. Remains 1940 /1940 variables (removed 0) and now considering 3707/3707 (removed 0) transitions.
[2026-05-24 11:00:03] [INFO ] Invariant cache hit.
[2026-05-24 11:00:06] [INFO ] Implicit Places using invariants in 3108 ms returned []
[2026-05-24 11:00:06] [INFO ] Invariant cache hit.
[2026-05-24 11:00:09] [INFO ] State equation strengthened by 9 read => feed constraints.
[2026-05-24 11:00:12] [INFO ] Implicit Places using invariants and state equation in 6174 ms returned []
Implicit Place search using SMT with State Equation took 9291 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 9349 ms. Remains : 1940/1940 places, 3707/3707 transitions.
[2026-05-24 11:00:12] [INFO ] Flatten gal took : 86 ms
[2026-05-24 11:00:12] [INFO ] Flatten gal took : 102 ms
[2026-05-24 11:00:13] [INFO ] Input system was already deterministic with 3707 transitions.
[2026-05-24 11:00:13] [INFO ] Flatten gal took : 99 ms
[2026-05-24 11:00:13] [INFO ] Flatten gal took : 102 ms
[2026-05-24 11:00:13] [INFO ] Time to serialize gal into /tmp/CTLFireability9154119191168972693.gal : 24 ms
[2026-05-24 11:00:13] [INFO ] Time to serialize properties into /tmp/CTLFireability12819233390219466635.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/CTLFireability9154119191168972693.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12819233390219466635.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-24 11:00:43] [INFO ] Flatten gal took : 98 ms
[2026-05-24 11:00:43] [INFO ] Applying decomposition
[2026-05-24 11:00:43] [INFO ] Flatten gal took : 101 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/graph2080484761650717973.txt' '-o' '/tmp/graph2080484761650717973.bin' '-w' '/tmp/graph2080484761650717973.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph2080484761650717973.bin' '-l' '-1' '-v' '-w' '/tmp/graph2080484761650717973.weights' '-q' '0' '-e' '0.001'
[2026-05-24 11:00:43] [INFO ] Decomposing Gal with order
[2026-05-24 11:00:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 11:00:44] [INFO ] Removed a total of 6972 redundant transitions.
[2026-05-24 11:00:44] [INFO ] Flatten gal took : 362 ms
[2026-05-24 11:00:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 190 labels/synchronizations in 41 ms.
[2026-05-24 11:00:44] [INFO ] Time to serialize gal into /tmp/CTLFireability14246175255729611210.gal : 29 ms
[2026-05-24 11:00:44] [INFO ] Time to serialize properties into /tmp/CTLFireability11858948141586463355.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/CTLFireability14246175255729611210.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11858948141586463355.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 : 1940/1940 places, 3707/3707 transitions.
Applied a total of 0 rules in 60 ms. Remains 1940 /1940 variables (removed 0) and now considering 3707/3707 (removed 0) transitions.
[2026-05-24 11:01:14] [INFO ] Invariant cache hit.
[2026-05-24 11:01:18] [INFO ] Implicit Places using invariants in 3771 ms returned []
[2026-05-24 11:01:18] [INFO ] Invariant cache hit.
[2026-05-24 11:01:20] [INFO ] State equation strengthened by 9 read => feed constraints.
[2026-05-24 11:01:24] [INFO ] Implicit Places using invariants and state equation in 6238 ms returned []
Implicit Place search using SMT with State Equation took 10011 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 10072 ms. Remains : 1940/1940 places, 3707/3707 transitions.
[2026-05-24 11:01:24] [INFO ] Flatten gal took : 99 ms
[2026-05-24 11:01:24] [INFO ] Flatten gal took : 115 ms
[2026-05-24 11:01:25] [INFO ] Input system was already deterministic with 3707 transitions.
[2026-05-24 11:01:25] [INFO ] Flatten gal took : 97 ms
[2026-05-24 11:01:25] [INFO ] Flatten gal took : 100 ms
[2026-05-24 11:01:25] [INFO ] Time to serialize gal into /tmp/CTLFireability15785663574140930969.gal : 23 ms
[2026-05-24 11:01:25] [INFO ] Time to serialize properties into /tmp/CTLFireability17301897403602256911.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/CTLFireability15785663574140930969.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17301897403602256911.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-24 11:01:55] [INFO ] Flatten gal took : 102 ms
[2026-05-24 11:01:55] [INFO ] Applying decomposition
[2026-05-24 11:01:55] [INFO ] Flatten gal took : 105 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/graph6443950752421234561.txt' '-o' '/tmp/graph6443950752421234561.bin' '-w' '/tmp/graph6443950752421234561.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6443950752421234561.bin' '-l' '-1' '-v' '-w' '/tmp/graph6443950752421234561.weights' '-q' '0' '-e' '0.001'
[2026-05-24 11:01:55] [INFO ] Decomposing Gal with order
[2026-05-24 11:01:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 11:01:56] [INFO ] Removed a total of 6972 redundant transitions.
[2026-05-24 11:01:56] [INFO ] Flatten gal took : 365 ms
[2026-05-24 11:01:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 80 labels/synchronizations in 36 ms.
[2026-05-24 11:01:56] [INFO ] Time to serialize gal into /tmp/CTLFireability10797870490371438140.gal : 30 ms
[2026-05-24 11:01:56] [INFO ] Time to serialize properties into /tmp/CTLFireability17431401960934148612.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/CTLFireability10797870490371438140.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17431401960934148612.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 : 1940/1940 places, 3707/3707 transitions.
Applied a total of 0 rules in 62 ms. Remains 1940 /1940 variables (removed 0) and now considering 3707/3707 (removed 0) transitions.
[2026-05-24 11:02:26] [INFO ] Invariant cache hit.
[2026-05-24 11:02:29] [INFO ] Implicit Places using invariants in 3249 ms returned []
[2026-05-24 11:02:29] [INFO ] Invariant cache hit.
[2026-05-24 11:02:32] [INFO ] State equation strengthened by 9 read => feed constraints.
[2026-05-24 11:02:36] [INFO ] Implicit Places using invariants and state equation in 6826 ms returned []
Implicit Place search using SMT with State Equation took 10078 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 10140 ms. Remains : 1940/1940 places, 3707/3707 transitions.
[2026-05-24 11:02:36] [INFO ] Flatten gal took : 89 ms
[2026-05-24 11:02:36] [INFO ] Flatten gal took : 106 ms
[2026-05-24 11:02:37] [INFO ] Input system was already deterministic with 3707 transitions.
[2026-05-24 11:02:37] [INFO ] Flatten gal took : 102 ms
[2026-05-24 11:02:37] [INFO ] Flatten gal took : 106 ms
[2026-05-24 11:02:37] [INFO ] Time to serialize gal into /tmp/CTLFireability16478716095403169841.gal : 24 ms
[2026-05-24 11:02:37] [INFO ] Time to serialize properties into /tmp/CTLFireability8086406137658238781.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/CTLFireability16478716095403169841.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8086406137658238781.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-24 11:03:07] [INFO ] Flatten gal took : 101 ms
[2026-05-24 11:03:07] [INFO ] Applying decomposition
[2026-05-24 11:03:07] [INFO ] Flatten gal took : 105 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/graph7189022444080068000.txt' '-o' '/tmp/graph7189022444080068000.bin' '-w' '/tmp/graph7189022444080068000.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7189022444080068000.bin' '-l' '-1' '-v' '-w' '/tmp/graph7189022444080068000.weights' '-q' '0' '-e' '0.001'
[2026-05-24 11:03:07] [INFO ] Decomposing Gal with order
[2026-05-24 11:03:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 11:03:08] [INFO ] Removed a total of 6972 redundant transitions.
[2026-05-24 11:03:08] [INFO ] Flatten gal took : 375 ms
[2026-05-24 11:03:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 160 labels/synchronizations in 43 ms.
[2026-05-24 11:03:08] [INFO ] Time to serialize gal into /tmp/CTLFireability11162368327414712782.gal : 30 ms
[2026-05-24 11:03:08] [INFO ] Time to serialize properties into /tmp/CTLFireability13234866232624763267.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/CTLFireability11162368327414712782.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13234866232624763267.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 : 1940/1940 places, 3707/3707 transitions.
Applied a total of 0 rules in 59 ms. Remains 1940 /1940 variables (removed 0) and now considering 3707/3707 (removed 0) transitions.
[2026-05-24 11:03:38] [INFO ] Invariant cache hit.
[2026-05-24 11:03:41] [INFO ] Implicit Places using invariants in 3049 ms returned []
[2026-05-24 11:03:41] [INFO ] Invariant cache hit.
[2026-05-24 11:03:43] [INFO ] State equation strengthened by 9 read => feed constraints.
[2026-05-24 11:03:48] [INFO ] Implicit Places using invariants and state equation in 6565 ms returned []
Implicit Place search using SMT with State Equation took 9616 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 9676 ms. Remains : 1940/1940 places, 3707/3707 transitions.
[2026-05-24 11:03:48] [INFO ] Flatten gal took : 95 ms
[2026-05-24 11:03:48] [INFO ] Flatten gal took : 111 ms
[2026-05-24 11:03:48] [INFO ] Input system was already deterministic with 3707 transitions.
[2026-05-24 11:03:48] [INFO ] Flatten gal took : 108 ms
[2026-05-24 11:03:48] [INFO ] Flatten gal took : 112 ms
[2026-05-24 11:03:48] [INFO ] Time to serialize gal into /tmp/CTLFireability15577670617789394852.gal : 26 ms
[2026-05-24 11:03:48] [INFO ] Time to serialize properties into /tmp/CTLFireability9102959515174288332.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/CTLFireability15577670617789394852.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9102959515174288332.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-24 11:04:19] [INFO ] Flatten gal took : 103 ms
[2026-05-24 11:04:19] [INFO ] Applying decomposition
[2026-05-24 11:04:19] [INFO ] Flatten gal took : 105 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/graph14158349372933819177.txt' '-o' '/tmp/graph14158349372933819177.bin' '-w' '/tmp/graph14158349372933819177.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph14158349372933819177.bin' '-l' '-1' '-v' '-w' '/tmp/graph14158349372933819177.weights' '-q' '0' '-e' '0.001'
[2026-05-24 11:04:19] [INFO ] Decomposing Gal with order
[2026-05-24 11:04:19] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 11:04:19] [INFO ] Removed a total of 6972 redundant transitions.
[2026-05-24 11:04:19] [INFO ] Flatten gal took : 369 ms
[2026-05-24 11:04:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 100 labels/synchronizations in 38 ms.
[2026-05-24 11:04:19] [INFO ] Time to serialize gal into /tmp/CTLFireability18206072206885121595.gal : 30 ms
[2026-05-24 11:04:19] [INFO ] Time to serialize properties into /tmp/CTLFireability5277527011510886535.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/CTLFireability18206072206885121595.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5277527011510886535.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 : 1940/1940 places, 3707/3707 transitions.
Applied a total of 0 rules in 61 ms. Remains 1940 /1940 variables (removed 0) and now considering 3707/3707 (removed 0) transitions.
[2026-05-24 11:04:50] [INFO ] Invariant cache hit.
[2026-05-24 11:04:53] [INFO ] Implicit Places using invariants in 3569 ms returned []
[2026-05-24 11:04:53] [INFO ] Invariant cache hit.
[2026-05-24 11:04:56] [INFO ] State equation strengthened by 9 read => feed constraints.
[2026-05-24 11:05:00] [INFO ] Implicit Places using invariants and state equation in 6683 ms returned []
Implicit Place search using SMT with State Equation took 10255 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 10318 ms. Remains : 1940/1940 places, 3707/3707 transitions.
[2026-05-24 11:05:00] [INFO ] Flatten gal took : 94 ms
[2026-05-24 11:05:00] [INFO ] Flatten gal took : 111 ms
[2026-05-24 11:05:00] [INFO ] Input system was already deterministic with 3707 transitions.
[2026-05-24 11:05:00] [INFO ] Flatten gal took : 104 ms
[2026-05-24 11:05:01] [INFO ] Flatten gal took : 99 ms
[2026-05-24 11:05:01] [INFO ] Time to serialize gal into /tmp/CTLFireability3643524254256222754.gal : 22 ms
[2026-05-24 11:05:01] [INFO ] Time to serialize properties into /tmp/CTLFireability15007285985551471383.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/CTLFireability3643524254256222754.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15007285985551471383.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-24 11:05:31] [INFO ] Flatten gal took : 108 ms
[2026-05-24 11:05:31] [INFO ] Applying decomposition
[2026-05-24 11:05:31] [INFO ] Flatten gal took : 112 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/graph11174252717948682511.txt' '-o' '/tmp/graph11174252717948682511.bin' '-w' '/tmp/graph11174252717948682511.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11174252717948682511.bin' '-l' '-1' '-v' '-w' '/tmp/graph11174252717948682511.weights' '-q' '0' '-e' '0.001'
[2026-05-24 11:05:31] [INFO ] Decomposing Gal with order
[2026-05-24 11:05:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 11:05:32] [INFO ] Removed a total of 6972 redundant transitions.
[2026-05-24 11:05:32] [INFO ] Flatten gal took : 386 ms
[2026-05-24 11:05:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 152 labels/synchronizations in 42 ms.
[2026-05-24 11:05:32] [INFO ] Time to serialize gal into /tmp/CTLFireability6291988134796627242.gal : 31 ms
[2026-05-24 11:05:32] [INFO ] Time to serialize properties into /tmp/CTLFireability9770312360496045471.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/CTLFireability6291988134796627242.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9770312360496045471.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 : 1940/1940 places, 3707/3707 transitions.
Applied a total of 0 rules in 59 ms. Remains 1940 /1940 variables (removed 0) and now considering 3707/3707 (removed 0) transitions.
[2026-05-24 11:06:02] [INFO ] Invariant cache hit.
[2026-05-24 11:06:06] [INFO ] Implicit Places using invariants in 3845 ms returned []
[2026-05-24 11:06:06] [INFO ] Invariant cache hit.
[2026-05-24 11:06:08] [INFO ] State equation strengthened by 9 read => feed constraints.
[2026-05-24 11:06:12] [INFO ] Implicit Places using invariants and state equation in 6347 ms returned []
Implicit Place search using SMT with State Equation took 10201 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 10261 ms. Remains : 1940/1940 places, 3707/3707 transitions.
[2026-05-24 11:06:12] [INFO ] Flatten gal took : 89 ms
[2026-05-24 11:06:12] [INFO ] Flatten gal took : 107 ms
[2026-05-24 11:06:12] [INFO ] Input system was already deterministic with 3707 transitions.
[2026-05-24 11:06:13] [INFO ] Flatten gal took : 102 ms
[2026-05-24 11:06:13] [INFO ] Flatten gal took : 105 ms
[2026-05-24 11:06:13] [INFO ] Time to serialize gal into /tmp/CTLFireability2757627705002870730.gal : 24 ms
[2026-05-24 11:06:13] [INFO ] Time to serialize properties into /tmp/CTLFireability2168688328937639532.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/CTLFireability2757627705002870730.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2168688328937639532.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-24 11:06:43] [INFO ] Flatten gal took : 101 ms
[2026-05-24 11:06:43] [INFO ] Applying decomposition
[2026-05-24 11:06:43] [INFO ] Flatten gal took : 104 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/graph16934180340870060147.txt' '-o' '/tmp/graph16934180340870060147.bin' '-w' '/tmp/graph16934180340870060147.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16934180340870060147.bin' '-l' '-1' '-v' '-w' '/tmp/graph16934180340870060147.weights' '-q' '0' '-e' '0.001'
[2026-05-24 11:06:43] [INFO ] Decomposing Gal with order
[2026-05-24 11:06:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 11:06:44] [INFO ] Removed a total of 6972 redundant transitions.
[2026-05-24 11:06:44] [INFO ] Flatten gal took : 360 ms
[2026-05-24 11:06:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 174 labels/synchronizations in 44 ms.
[2026-05-24 11:06:44] [INFO ] Time to serialize gal into /tmp/CTLFireability584557910437317988.gal : 30 ms
[2026-05-24 11:06:44] [INFO ] Time to serialize properties into /tmp/CTLFireability7073384361541921367.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/CTLFireability584557910437317988.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7073384361541921367.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 SI_CTL mode, iteration 0 : 1940/1940 places, 3707/3707 transitions.
Applied a total of 0 rules in 422 ms. Remains 1940 /1940 variables (removed 0) and now considering 3707/3707 (removed 0) transitions.
[2026-05-24 11:07:14] [INFO ] Invariant cache hit.
[2026-05-24 11:07:18] [INFO ] Implicit Places using invariants in 3439 ms returned []
[2026-05-24 11:07:18] [INFO ] Invariant cache hit.
[2026-05-24 11:07:21] [INFO ] State equation strengthened by 9 read => feed constraints.
[2026-05-24 11:07:25] [INFO ] Implicit Places using invariants and state equation in 7151 ms returned []
Implicit Place search using SMT with State Equation took 10591 ms to find 0 implicit places.
[2026-05-24 11:07:25] [INFO ] Redundant transitions in 169 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_CTL mode , in 1 iterations and 11189 ms. Remains : 1940/1940 places, 3707/3707 transitions.
[2026-05-24 11:07:25] [INFO ] Flatten gal took : 94 ms
[2026-05-24 11:07:25] [INFO ] Flatten gal took : 109 ms
[2026-05-24 11:07:26] [INFO ] Input system was already deterministic with 3707 transitions.
[2026-05-24 11:07:26] [INFO ] Flatten gal took : 99 ms
[2026-05-24 11:07:26] [INFO ] Flatten gal took : 104 ms
[2026-05-24 11:07:26] [INFO ] Time to serialize gal into /tmp/CTLFireability7883475556183142269.gal : 23 ms
[2026-05-24 11:07:26] [INFO ] Time to serialize properties into /tmp/CTLFireability8268755781140852413.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/CTLFireability7883475556183142269.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8268755781140852413.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-24 11:07:56] [INFO ] Flatten gal took : 102 ms
[2026-05-24 11:07:56] [INFO ] Applying decomposition
[2026-05-24 11:07:56] [INFO ] Flatten gal took : 105 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/graph6099561093401019205.txt' '-o' '/tmp/graph6099561093401019205.bin' '-w' '/tmp/graph6099561093401019205.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6099561093401019205.bin' '-l' '-1' '-v' '-w' '/tmp/graph6099561093401019205.weights' '-q' '0' '-e' '0.001'
[2026-05-24 11:07:56] [INFO ] Decomposing Gal with order
[2026-05-24 11:07:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 11:07:57] [INFO ] Removed a total of 6972 redundant transitions.
[2026-05-24 11:07:57] [INFO ] Flatten gal took : 388 ms
[2026-05-24 11:07:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 96 labels/synchronizations in 39 ms.
[2026-05-24 11:07:57] [INFO ] Time to serialize gal into /tmp/CTLFireability8536145716273864024.gal : 31 ms
[2026-05-24 11:07:57] [INFO ] Time to serialize properties into /tmp/CTLFireability14509452262006289866.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/CTLFireability8536145716273864024.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14509452262006289866.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 : 1940/1940 places, 3707/3707 transitions.
Applied a total of 0 rules in 59 ms. Remains 1940 /1940 variables (removed 0) and now considering 3707/3707 (removed 0) transitions.
[2026-05-24 11:08:27] [INFO ] Invariant cache hit.
[2026-05-24 11:08:30] [INFO ] Implicit Places using invariants in 2768 ms returned []
[2026-05-24 11:08:30] [INFO ] Invariant cache hit.
[2026-05-24 11:08:32] [INFO ] State equation strengthened by 9 read => feed constraints.
[2026-05-24 11:08:36] [INFO ] Implicit Places using invariants and state equation in 6593 ms returned []
Implicit Place search using SMT with State Equation took 9368 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 9428 ms. Remains : 1940/1940 places, 3707/3707 transitions.
[2026-05-24 11:08:37] [INFO ] Flatten gal took : 93 ms
[2026-05-24 11:08:37] [INFO ] Flatten gal took : 113 ms
[2026-05-24 11:08:37] [INFO ] Input system was already deterministic with 3707 transitions.
[2026-05-24 11:08:37] [INFO ] Flatten gal took : 107 ms
[2026-05-24 11:08:37] [INFO ] Flatten gal took : 110 ms
[2026-05-24 11:08:37] [INFO ] Time to serialize gal into /tmp/CTLFireability7905812814225726707.gal : 26 ms
[2026-05-24 11:08:37] [INFO ] Time to serialize properties into /tmp/CTLFireability8762560996170386607.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/CTLFireability7905812814225726707.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8762560996170386607.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-24 11:09:07] [INFO ] Flatten gal took : 98 ms
[2026-05-24 11:09:07] [INFO ] Applying decomposition
[2026-05-24 11:09:07] [INFO ] Flatten gal took : 98 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/graph4418423514950327878.txt' '-o' '/tmp/graph4418423514950327878.bin' '-w' '/tmp/graph4418423514950327878.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph4418423514950327878.bin' '-l' '-1' '-v' '-w' '/tmp/graph4418423514950327878.weights' '-q' '0' '-e' '0.001'
[2026-05-24 11:09:08] [INFO ] Decomposing Gal with order
[2026-05-24 11:09:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 11:09:08] [INFO ] Removed a total of 6972 redundant transitions.
[2026-05-24 11:09:08] [INFO ] Flatten gal took : 411 ms
[2026-05-24 11:09:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 104 labels/synchronizations in 32 ms.
[2026-05-24 11:09:08] [INFO ] Time to serialize gal into /tmp/CTLFireability10534222408515673366.gal : 30 ms
[2026-05-24 11:09:08] [INFO ] Time to serialize properties into /tmp/CTLFireability12852826421313112783.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/CTLFireability10534222408515673366.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12852826421313112783.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-24 11:09:38] [INFO ] Flatten gal took : 106 ms
[2026-05-24 11:09:39] [INFO ] Flatten gal took : 109 ms
[2026-05-24 11:09:39] [INFO ] Applying decomposition
[2026-05-24 11:09:39] [INFO ] Flatten gal took : 109 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/graph5401108447311149636.txt' '-o' '/tmp/graph5401108447311149636.bin' '-w' '/tmp/graph5401108447311149636.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5401108447311149636.bin' '-l' '-1' '-v' '-w' '/tmp/graph5401108447311149636.weights' '-q' '0' '-e' '0.001'
[2026-05-24 11:09:39] [INFO ] Decomposing Gal with order
[2026-05-24 11:09:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 11:09:39] [INFO ] Removed a total of 6972 redundant transitions.
[2026-05-24 11:09:40] [INFO ] Flatten gal took : 390 ms
[2026-05-24 11:09:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 24 labels/synchronizations in 33 ms.
[2026-05-24 11:09:40] [INFO ] Time to serialize gal into /tmp/CTLFireability13737428001329244608.gal : 31 ms
[2026-05-24 11:09:40] [INFO ] Time to serialize properties into /tmp/CTLFireability7325107927644468841.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/CTLFireability13737428001329244608.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7325107927644468841.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 16 CTL formulae.
Detected timeout of ITS tools.
[2026-05-24 11:38:17] [INFO ] Applying decomposition
[2026-05-24 11:38:19] [INFO ] Flatten gal took : 1880 ms
[2026-05-24 11:38:20] [INFO ] Decomposing Gal with order
[2026-05-24 11:38:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 11:38:25] [INFO ] Removed a total of 7230 redundant transitions.
[2026-05-24 11:38:26] [INFO ] Flatten gal took : 4952 ms
[2026-05-24 11:38:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 169 ms.
[2026-05-24 11:38:27] [INFO ] Time to serialize gal into /tmp/CTLFireability13665642946892283432.gal : 179 ms
[2026-05-24 11:38:27] [INFO ] Time to serialize properties into /tmp/CTLFireability6171804223415192527.ctl : 34 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/CTLFireability13665642946892283432.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6171804223415192527.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 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="BlocksWorld-PT-08"
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 BlocksWorld-PT-08, 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 r018-smll-177946788100346"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BlocksWorld-PT-08.tgz
mv BlocksWorld-PT-08 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 ;