About the Execution of ITS-Tools for FunctionPointer-PT-b008
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16203.380 | 3600000.00 | 3708089.00 | 92665.90 | ?F?T?TT??T?????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2026-input.r146-tall-177961073900074.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 FunctionPointer-PT-b008, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r146-tall-177961073900074
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 832K
-rw-r--r-- 1 mcc users 7.3K Mar 7 07:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Mar 7 07:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Mar 7 07:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Mar 7 07:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 15 10:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Mar 15 10:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 15 10:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 15 10:23 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.6K Mar 7 07:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 97K Mar 7 07:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.7K Mar 7 07:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 85K Mar 7 07:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 15 10:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 15 10:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 391K 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 FunctionPointer-PT-b008-CTLFireability-2024-00
FORMULA_NAME FunctionPointer-PT-b008-CTLFireability-2024-01
FORMULA_NAME FunctionPointer-PT-b008-CTLFireability-2024-02
FORMULA_NAME FunctionPointer-PT-b008-CTLFireability-2024-03
FORMULA_NAME FunctionPointer-PT-b008-CTLFireability-2024-04
FORMULA_NAME FunctionPointer-PT-b008-CTLFireability-2024-05
FORMULA_NAME FunctionPointer-PT-b008-CTLFireability-2024-06
FORMULA_NAME FunctionPointer-PT-b008-CTLFireability-2024-07
FORMULA_NAME FunctionPointer-PT-b008-CTLFireability-2024-08
FORMULA_NAME FunctionPointer-PT-b008-CTLFireability-2024-09
FORMULA_NAME FunctionPointer-PT-b008-CTLFireability-2024-10
FORMULA_NAME FunctionPointer-PT-b008-CTLFireability-2024-11
FORMULA_NAME FunctionPointer-PT-b008-CTLFireability-2024-12
FORMULA_NAME FunctionPointer-PT-b008-CTLFireability-2024-13
FORMULA_NAME FunctionPointer-PT-b008-CTLFireability-2024-14
FORMULA_NAME FunctionPointer-PT-b008-CTLFireability-2024-15
=== Now, execution of the tool begins
BK_START 1779671223198
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FunctionPointer-PT-b008
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202604301425
[2026-05-25 01:07:04] [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-25 01:07:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-25 01:07:04] [INFO ] Load time of PNML (sax parser for PT used): 111 ms
[2026-05-25 01:07:04] [INFO ] Transformed 306 places.
[2026-05-25 01:07:04] [INFO ] Transformed 840 transitions.
[2026-05-25 01:07:04] [INFO ] Parsed PT model containing 306 places and 840 transitions and 3392 arcs in 205 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 13 ms.
Deduced a syphon composed of 84 places in 8 ms
Reduce places removed 84 places and 192 transitions.
Support contains 82 out of 222 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 222/222 places, 648/648 transitions.
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 0 with 10 rules applied. Total rules applied 10 place count 212 transition count 648
Discarding 12 places :
Symmetric choice reduction at 1 with 12 rule applications. Total rules 22 place count 200 transition count 610
Iterating global reduction 1 with 12 rules applied. Total rules applied 34 place count 200 transition count 610
Ensure Unique test removed 26 transitions
Reduce isomorphic transitions removed 26 transitions.
Iterating post reduction 1 with 26 rules applied. Total rules applied 60 place count 200 transition count 584
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 65 place count 195 transition count 574
Iterating global reduction 2 with 5 rules applied. Total rules applied 70 place count 195 transition count 574
Applied a total of 70 rules in 58 ms. Remains 195 /222 variables (removed 27) and now considering 574/648 (removed 74) transitions.
[2026-05-25 01:07:04] [INFO ] Flow matrix only has 372 transitions (discarded 202 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10976309027924151824.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1921595829234549286.kers'
[2026-05-25 01:07:04] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10976309027924151824.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1921595829234549286.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 372 rows 195 cols 996 entries
Finished phase 1 with 192 SingleSign rule and 1 generalized
[2026-05-25 01:07:04] [INFO ] Computed 2 invariants in 2 ms
Computed 2 P flows in 4 ms.
Exported basis to /tmp/petrispot-output-1921595829234549286.kers
Total runtime 4 ms.
[2026-05-25 01:07:05] [INFO ] Implicit Places using invariants in 303 ms returned []
[2026-05-25 01:07:05] [INFO ] Flow matrix only has 372 transitions (discarded 202 similar events)
[2026-05-25 01:07:05] [INFO ] Invariant cache hit.
[2026-05-25 01:07:05] [INFO ] State equation strengthened by 61 read => feed constraints.
[2026-05-25 01:07:05] [INFO ] Implicit Places using invariants and state equation in 288 ms returned []
Implicit Place search using SMT with State Equation took 632 ms to find 0 implicit places.
Running 572 sub problems to find dead transitions.
[2026-05-25 01:07:05] [INFO ] Flow matrix only has 372 transitions (discarded 202 similar events)
[2026-05-25 01:07:05] [INFO ] Invariant cache hit.
[2026-05-25 01:07:05] [INFO ] State equation strengthened by 61 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/195 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 572 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/195 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 572 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/195 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 572 unsolved
At refinement iteration 3 (OVERLAPS) 372/567 variables, 195/197 constraints. Problems are: Problem set: 0 solved, 572 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/567 variables, 61/258 constraints. Problems are: Problem set: 0 solved, 572 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/567 variables, 0/258 constraints. Problems are: Problem set: 0 solved, 572 unsolved
All remaining problems are real, not stopping.
At refinement iteration 6 (OVERLAPS) 0/567 variables, 0/258 constraints. Problems are: Problem set: 0 solved, 572 unsolved
No progress, stopping.
After SMT solving in domain Real declared 567/567 variables, and 258 constraints, problems are : Problem set: 0 solved, 572 unsolved in 26504 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 195/195 constraints, ReadFeed: 61/61 constraints, PredecessorRefiner: 572/572 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 572 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/195 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 572 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/195 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 572 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/195 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 572 unsolved
At refinement iteration 3 (OVERLAPS) 372/567 variables, 195/197 constraints. Problems are: Problem set: 0 solved, 572 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/567 variables, 61/258 constraints. Problems are: Problem set: 0 solved, 572 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/567 variables, 572/830 constraints. Problems are: Problem set: 0 solved, 572 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/567 variables, 1/831 constraints. Problems are: Problem set: 0 solved, 572 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 567/567 variables, and 831 constraints, problems are : Problem set: 0 solved, 572 unsolved in 30040 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 195/195 constraints, ReadFeed: 61/61 constraints, PredecessorRefiner: 572/572 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 1/1 constraints]
After SMT, in 57052ms problems are : Problem set: 0 solved, 572 unsolved
Search for dead transitions found 0 dead transitions in 57065ms
Starting structural reductions in LTL mode, iteration 1 : 195/222 places, 574/648 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 57795 ms. Remains : 195/222 places, 574/648 transitions.
Starting structural reductions in LTL mode, iteration 0 : 195/195 places, 574/574 transitions.
Applied a total of 0 rules in 6 ms. Remains 195 /195 variables (removed 0) and now considering 574/574 (removed 0) transitions.
[2026-05-25 01:08:02] [INFO ] Flow matrix only has 372 transitions (discarded 202 similar events)
[2026-05-25 01:08:02] [INFO ] Invariant cache hit.
[2026-05-25 01:08:02] [INFO ] Implicit Places using invariants in 85 ms returned []
[2026-05-25 01:08:02] [INFO ] Flow matrix only has 372 transitions (discarded 202 similar events)
[2026-05-25 01:08:02] [INFO ] Invariant cache hit.
[2026-05-25 01:08:02] [INFO ] State equation strengthened by 61 read => feed constraints.
[2026-05-25 01:08:02] [INFO ] Implicit Places using invariants and state equation in 268 ms returned []
Implicit Place search using SMT with State Equation took 355 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 363 ms. Remains : 195/195 places, 574/574 transitions.
Support contains 82 out of 195 places after structural reductions.
[2026-05-25 01:08:03] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2026-05-25 01:08:03] [INFO ] Flatten gal took : 59 ms
FORMULA FunctionPointer-PT-b008-CTLFireability-2024-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2026-05-25 01:08:03] [INFO ] Flatten gal took : 33 ms
[2026-05-25 01:08:03] [INFO ] Input system was already deterministic with 574 transitions.
Support contains 65 out of 195 places (down from 82) after GAL structural reductions.
FORMULA FunctionPointer-PT-b008-CTLFireability-2024-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FunctionPointer-PT-b008-CTLFireability-2024-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
RANDOM walk for 40004 steps (45 resets) in 2177 ms. (18 steps per ms) remains 6/48 properties
BEST_FIRST walk for 40004 steps (8 resets) in 101 ms. (392 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (9 resets) in 173 ms. (229 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (8 resets) in 99 ms. (400 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (8 resets) in 97 ms. (408 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40003 steps (8 resets) in 91 ms. (434 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40003 steps (8 resets) in 85 ms. (465 steps per ms) remains 6/6 properties
[2026-05-25 01:08:03] [INFO ] Flow matrix only has 372 transitions (discarded 202 similar events)
[2026-05-25 01:08:03] [INFO ] Invariant cache hit.
[2026-05-25 01:08:03] [INFO ] State equation strengthened by 61 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/18 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 1 (OVERLAPS) 45/63 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/63 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 3 (OVERLAPS) 23/86 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/86 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 5 (OVERLAPS) 254/340 variables, 86/88 constraints. Problems are: Problem set: 0 solved, 6 unsolved
All remaining problems are real, not stopping.
At refinement iteration 6 (INCLUDED_ONLY) 0/340 variables, 52/140 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/340 variables, 0/140 constraints. Problems are: Problem set: 0 solved, 6 unsolved
Problem AtomicPropp6 is UNSAT
Problem AtomicPropp18 is UNSAT
Problem AtomicPropp26 is UNSAT
Problem AtomicPropp34 is UNSAT
At refinement iteration 8 (OVERLAPS) 182/522 variables, 74/214 constraints. Problems are: Problem set: 4 solved, 2 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/522 variables, 9/223 constraints. Problems are: Problem set: 4 solved, 2 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/522 variables, 0/223 constraints. Problems are: Problem set: 4 solved, 2 unsolved
At refinement iteration 11 (OVERLAPS) 45/567 variables, 35/258 constraints. Problems are: Problem set: 4 solved, 2 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/567 variables, 0/258 constraints. Problems are: Problem set: 4 solved, 2 unsolved
At refinement iteration 13 (OVERLAPS) 0/567 variables, 0/258 constraints. Problems are: Problem set: 4 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Real declared 567/567 variables, and 258 constraints, problems are : Problem set: 4 solved, 2 unsolved in 281 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 195/195 constraints, ReadFeed: 61/61 constraints, PredecessorRefiner: 6/6 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 4 solved, 2 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/7 variables, 0/0 constraints. Problems are: Problem set: 4 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 176/183 variables, 7/7 constraints. Problems are: Problem set: 4 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/183 variables, 0/7 constraints. Problems are: Problem set: 4 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 313/496 variables, 138/145 constraints. Problems are: Problem set: 4 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/496 variables, 1/146 constraints. Problems are: Problem set: 4 solved, 2 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/496 variables, 61/207 constraints. Problems are: Problem set: 4 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/496 variables, 2/209 constraints. Problems are: Problem set: 4 solved, 2 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/496 variables, 0/209 constraints. Problems are: Problem set: 4 solved, 2 unsolved
At refinement iteration 8 (OVERLAPS) 6/502 variables, 1/210 constraints. Problems are: Problem set: 4 solved, 2 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/502 variables, 0/210 constraints. Problems are: Problem set: 4 solved, 2 unsolved
At refinement iteration 10 (OVERLAPS) 65/567 variables, 50/260 constraints. Problems are: Problem set: 4 solved, 2 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/567 variables, 0/260 constraints. Problems are: Problem set: 4 solved, 2 unsolved
At refinement iteration 12 (OVERLAPS) 0/567 variables, 0/260 constraints. Problems are: Problem set: 4 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Int declared 567/567 variables, and 260 constraints, problems are : Problem set: 4 solved, 2 unsolved in 612 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 195/195 constraints, ReadFeed: 61/61 constraints, PredecessorRefiner: 2/6 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 908ms problems are : Problem set: 4 solved, 2 unsolved
Parikh walk visited 1 properties in 418 ms.
Support contains 3 out of 195 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 195/195 places, 574/574 transitions.
Graph (complete) has 814 edges and 195 vertex of which 171 are kept as prefixes of interest. Removing 24 places using SCC suffix rule.6 ms
Discarding 24 places :
Also discarding 0 output transitions
Drop transitions (Empty/Sink Transition effects.) removed 48 transitions
Reduce isomorphic transitions removed 48 transitions.
Iterating post reduction 0 with 48 rules applied. Total rules applied 49 place count 171 transition count 526
Discarding 20 places :
Symmetric choice reduction at 1 with 20 rule applications. Total rules 69 place count 151 transition count 432
Iterating global reduction 1 with 20 rules applied. Total rules applied 89 place count 151 transition count 432
Ensure Unique test removed 34 transitions
Reduce isomorphic transitions removed 34 transitions.
Iterating post reduction 1 with 34 rules applied. Total rules applied 123 place count 151 transition count 398
Discarding 13 places :
Symmetric choice reduction at 2 with 13 rule applications. Total rules 136 place count 138 transition count 364
Iterating global reduction 2 with 13 rules applied. Total rules applied 149 place count 138 transition count 364
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 2 with 12 rules applied. Total rules applied 161 place count 138 transition count 352
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 168 place count 131 transition count 336
Iterating global reduction 3 with 7 rules applied. Total rules applied 175 place count 131 transition count 336
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 180 place count 126 transition count 318
Iterating global reduction 3 with 5 rules applied. Total rules applied 185 place count 126 transition count 318
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 190 place count 121 transition count 302
Iterating global reduction 3 with 5 rules applied. Total rules applied 195 place count 121 transition count 302
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 200 place count 116 transition count 286
Iterating global reduction 3 with 5 rules applied. Total rules applied 205 place count 116 transition count 286
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 210 place count 111 transition count 272
Iterating global reduction 3 with 5 rules applied. Total rules applied 215 place count 111 transition count 272
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 220 place count 106 transition count 262
Iterating global reduction 3 with 5 rules applied. Total rules applied 225 place count 106 transition count 262
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 230 place count 101 transition count 252
Iterating global reduction 3 with 5 rules applied. Total rules applied 235 place count 101 transition count 252
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 240 place count 96 transition count 242
Iterating global reduction 3 with 5 rules applied. Total rules applied 245 place count 96 transition count 242
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 248 place count 93 transition count 236
Iterating global reduction 3 with 3 rules applied. Total rules applied 251 place count 93 transition count 236
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 253 place count 91 transition count 232
Iterating global reduction 3 with 2 rules applied. Total rules applied 255 place count 91 transition count 232
Drop transitions (Redundant composition of simpler transitions.) removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 3 with 6 rules applied. Total rules applied 261 place count 91 transition count 226
Applied a total of 261 rules in 96 ms. Remains 91 /195 variables (removed 104) and now considering 226/574 (removed 348) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 96 ms. Remains : 91/195 places, 226/574 transitions.
RANDOM walk for 40004 steps (8 resets) in 114 ms. (347 steps per ms) remains 1/1 properties
BEST_FIRST walk for 15659 steps (2 resets) in 31 ms. (489 steps per ms) remains 0/1 properties
Successfully simplified 4 atomic propositions for a total of 13 simplifications.
FORMULA FunctionPointer-PT-b008-CTLFireability-2024-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2026-05-25 01:08:05] [INFO ] Flatten gal took : 22 ms
[2026-05-25 01:08:05] [INFO ] Flatten gal took : 22 ms
[2026-05-25 01:08:05] [INFO ] Input system was already deterministic with 574 transitions.
Computed a total of 24 stabilizing places and 64 stable transitions
Starting structural reductions in SI_CTL mode, iteration 0 : 195/195 places, 574/574 transitions.
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 19 place count 176 transition count 458
Iterating global reduction 0 with 19 rules applied. Total rules applied 38 place count 176 transition count 458
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 0 with 18 rules applied. Total rules applied 56 place count 176 transition count 440
Discarding 12 places :
Symmetric choice reduction at 1 with 12 rule applications. Total rules 68 place count 164 transition count 414
Iterating global reduction 1 with 12 rules applied. Total rules applied 80 place count 164 transition count 414
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 84 place count 164 transition count 410
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 88 place count 160 transition count 400
Iterating global reduction 2 with 4 rules applied. Total rules applied 92 place count 160 transition count 400
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 96 place count 156 transition count 386
Iterating global reduction 2 with 4 rules applied. Total rules applied 100 place count 156 transition count 386
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 104 place count 152 transition count 374
Iterating global reduction 2 with 4 rules applied. Total rules applied 108 place count 152 transition count 374
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 111 place count 149 transition count 362
Iterating global reduction 2 with 3 rules applied. Total rules applied 114 place count 149 transition count 362
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 117 place count 146 transition count 352
Iterating global reduction 2 with 3 rules applied. Total rules applied 120 place count 146 transition count 352
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 122 place count 144 transition count 348
Iterating global reduction 2 with 2 rules applied. Total rules applied 124 place count 144 transition count 348
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 126 place count 142 transition count 344
Iterating global reduction 2 with 2 rules applied. Total rules applied 128 place count 142 transition count 344
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 130 place count 140 transition count 340
Iterating global reduction 2 with 2 rules applied. Total rules applied 132 place count 140 transition count 340
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 134 place count 138 transition count 336
Iterating global reduction 2 with 2 rules applied. Total rules applied 136 place count 138 transition count 336
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 137 place count 137 transition count 334
Iterating global reduction 2 with 1 rules applied. Total rules applied 138 place count 137 transition count 334
Drop transitions (Redundant composition of simpler transitions.) removed 8 transitions
Redundant transition composition rules discarded 8 transitions
Iterating global reduction 2 with 8 rules applied. Total rules applied 146 place count 137 transition count 326
Applied a total of 146 rules in 76 ms. Remains 137 /195 variables (removed 58) and now considering 326/574 (removed 248) transitions.
[2026-05-25 01:08:05] [INFO ] Flow matrix only has 230 transitions (discarded 96 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12037130560812126493.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7238775573299387422.kers'
[2026-05-25 01:08:05] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12037130560812126493.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7238775573299387422.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 230 rows 137 cols 656 entries
Finished phase 1 with 134 SingleSign rule and 1 generalized
[2026-05-25 01:08:05] [INFO ] Computed 2 invariants in 0 ms
Computed 2 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-7238775573299387422.kers
Total runtime 1 ms.
[2026-05-25 01:08:05] [INFO ] Implicit Places using invariants in 152 ms returned []
[2026-05-25 01:08:05] [INFO ] Flow matrix only has 230 transitions (discarded 96 similar events)
[2026-05-25 01:08:05] [INFO ] Invariant cache hit.
[2026-05-25 01:08:06] [INFO ] State equation strengthened by 52 read => feed constraints.
[2026-05-25 01:08:06] [INFO ] Implicit Places using invariants and state equation in 268 ms returned []
Implicit Place search using SMT with State Equation took 422 ms to find 0 implicit places.
[2026-05-25 01:08:06] [INFO ] Redundant transitions in 21 ms returned []
Running 324 sub problems to find dead transitions.
[2026-05-25 01:08:06] [INFO ] Flow matrix only has 230 transitions (discarded 96 similar events)
[2026-05-25 01:08:06] [INFO ] Invariant cache hit.
[2026-05-25 01:08:06] [INFO ] State equation strengthened by 52 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/137 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/137 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/137 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 3 (OVERLAPS) 230/367 variables, 137/139 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/367 variables, 52/191 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/367 variables, 0/191 constraints. Problems are: Problem set: 0 solved, 324 unsolved
All remaining problems are real, not stopping.
At refinement iteration 6 (OVERLAPS) 0/367 variables, 0/191 constraints. Problems are: Problem set: 0 solved, 324 unsolved
No progress, stopping.
After SMT solving in domain Real declared 367/367 variables, and 191 constraints, problems are : Problem set: 0 solved, 324 unsolved in 10226 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 137/137 constraints, ReadFeed: 52/52 constraints, PredecessorRefiner: 324/324 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 324 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/137 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/137 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/137 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 3 (OVERLAPS) 230/367 variables, 137/139 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/367 variables, 52/191 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/367 variables, 324/515 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/367 variables, 5/520 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/367 variables, 0/520 constraints. Problems are: Problem set: 0 solved, 324 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 367/367 variables, and 520 constraints, problems are : Problem set: 0 solved, 324 unsolved in 30021 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 137/137 constraints, ReadFeed: 52/52 constraints, PredecessorRefiner: 324/324 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 5/5 constraints]
After SMT, in 40380ms problems are : Problem set: 0 solved, 324 unsolved
Search for dead transitions found 0 dead transitions in 40381ms
Starting structural reductions in SI_CTL mode, iteration 1 : 137/195 places, 326/574 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 40920 ms. Remains : 137/195 places, 326/574 transitions.
[2026-05-25 01:08:46] [INFO ] Flatten gal took : 11 ms
[2026-05-25 01:08:46] [INFO ] Flatten gal took : 11 ms
[2026-05-25 01:08:46] [INFO ] Input system was already deterministic with 326 transitions.
[2026-05-25 01:08:46] [INFO ] Flatten gal took : 18 ms
[2026-05-25 01:08:46] [INFO ] Flatten gal took : 17 ms
[2026-05-25 01:08:46] [INFO ] Time to serialize gal into /tmp/CTLFireability9540260725384720640.gal : 7 ms
[2026-05-25 01:08:46] [INFO ] Time to serialize properties into /tmp/CTLFireability4380645216060143416.ctl : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9540260725384720640.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4380645216060143416.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-25 01:09:16] [INFO ] Flatten gal took : 12 ms
[2026-05-25 01:09:16] [INFO ] Applying decomposition
[2026-05-25 01:09:16] [INFO ] Flatten gal took : 9 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/graph2765866602839444271.txt' '-o' '/tmp/graph2765866602839444271.bin' '-w' '/tmp/graph2765866602839444271.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph2765866602839444271.bin' '-l' '-1' '-v' '-w' '/tmp/graph2765866602839444271.weights' '-q' '0' '-e' '0.001'
[2026-05-25 01:09:16] [INFO ] Decomposing Gal with order
[2026-05-25 01:09:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 01:09:16] [INFO ] Removed a total of 554 redundant transitions.
[2026-05-25 01:09:17] [INFO ] Flatten gal took : 71 ms
[2026-05-25 01:09:17] [INFO ] Fuse similar labels procedure discarded/fused a total of 183 labels/synchronizations in 18 ms.
[2026-05-25 01:09:17] [INFO ] Time to serialize gal into /tmp/CTLFireability14499593420282476711.gal : 5 ms
[2026-05-25 01:09:17] [INFO ] Time to serialize properties into /tmp/CTLFireability13119143194657771020.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/CTLFireability14499593420282476711.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13119143194657771020.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 : 195/195 places, 574/574 transitions.
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 21 place count 174 transition count 466
Iterating global reduction 0 with 21 rules applied. Total rules applied 42 place count 174 transition count 466
Ensure Unique test removed 26 transitions
Reduce isomorphic transitions removed 26 transitions.
Iterating post reduction 0 with 26 rules applied. Total rules applied 68 place count 174 transition count 440
Discarding 14 places :
Symmetric choice reduction at 1 with 14 rule applications. Total rules 82 place count 160 transition count 404
Iterating global reduction 1 with 14 rules applied. Total rules applied 96 place count 160 transition count 404
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 1 with 8 rules applied. Total rules applied 104 place count 160 transition count 396
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 111 place count 153 transition count 380
Iterating global reduction 2 with 7 rules applied. Total rules applied 118 place count 153 transition count 380
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 124 place count 147 transition count 358
Iterating global reduction 2 with 6 rules applied. Total rules applied 130 place count 147 transition count 358
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 136 place count 141 transition count 338
Iterating global reduction 2 with 6 rules applied. Total rules applied 142 place count 141 transition count 338
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 148 place count 135 transition count 320
Iterating global reduction 2 with 6 rules applied. Total rules applied 154 place count 135 transition count 320
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 160 place count 129 transition count 304
Iterating global reduction 2 with 6 rules applied. Total rules applied 166 place count 129 transition count 304
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 172 place count 123 transition count 292
Iterating global reduction 2 with 6 rules applied. Total rules applied 178 place count 123 transition count 292
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 184 place count 117 transition count 280
Iterating global reduction 2 with 6 rules applied. Total rules applied 190 place count 117 transition count 280
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 195 place count 112 transition count 270
Iterating global reduction 2 with 5 rules applied. Total rules applied 200 place count 112 transition count 270
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 203 place count 109 transition count 264
Iterating global reduction 2 with 3 rules applied. Total rules applied 206 place count 109 transition count 264
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 208 place count 107 transition count 260
Iterating global reduction 2 with 2 rules applied. Total rules applied 210 place count 107 transition count 260
Applied a total of 210 rules in 28 ms. Remains 107 /195 variables (removed 88) and now considering 260/574 (removed 314) transitions.
[2026-05-25 01:09:47] [INFO ] Flow matrix only has 177 transitions (discarded 83 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7347056364205379168.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2318282583778083732.kers'
[2026-05-25 01:09:47] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7347056364205379168.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2318282583778083732.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 177 rows 107 cols 488 entries
Finished phase 1 with 104 SingleSign rule and 1 generalized
[2026-05-25 01:09:47] [INFO ] Computed 2 invariants in 1 ms
Computed 2 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-2318282583778083732.kers
Total runtime 2 ms.
[2026-05-25 01:09:47] [INFO ] Implicit Places using invariants in 80 ms returned []
[2026-05-25 01:09:47] [INFO ] Flow matrix only has 177 transitions (discarded 83 similar events)
[2026-05-25 01:09:47] [INFO ] Invariant cache hit.
[2026-05-25 01:09:47] [INFO ] State equation strengthened by 42 read => feed constraints.
[2026-05-25 01:09:47] [INFO ] Implicit Places using invariants and state equation in 188 ms returned []
Implicit Place search using SMT with State Equation took 270 ms to find 0 implicit places.
Running 258 sub problems to find dead transitions.
[2026-05-25 01:09:47] [INFO ] Flow matrix only has 177 transitions (discarded 83 similar events)
[2026-05-25 01:09:47] [INFO ] Invariant cache hit.
[2026-05-25 01:09:47] [INFO ] State equation strengthened by 42 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/107 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 258 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/107 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 258 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/107 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 258 unsolved
At refinement iteration 3 (OVERLAPS) 177/284 variables, 107/109 constraints. Problems are: Problem set: 0 solved, 258 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/284 variables, 42/151 constraints. Problems are: Problem set: 0 solved, 258 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/284 variables, 0/151 constraints. Problems are: Problem set: 0 solved, 258 unsolved
All remaining problems are real, not stopping.
At refinement iteration 6 (OVERLAPS) 0/284 variables, 0/151 constraints. Problems are: Problem set: 0 solved, 258 unsolved
No progress, stopping.
After SMT solving in domain Real declared 284/284 variables, and 151 constraints, problems are : Problem set: 0 solved, 258 unsolved in 6829 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 107/107 constraints, ReadFeed: 42/42 constraints, PredecessorRefiner: 258/258 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 258 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/107 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 258 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/107 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 258 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/107 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 258 unsolved
At refinement iteration 3 (OVERLAPS) 177/284 variables, 107/109 constraints. Problems are: Problem set: 0 solved, 258 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/284 variables, 42/151 constraints. Problems are: Problem set: 0 solved, 258 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/284 variables, 258/409 constraints. Problems are: Problem set: 0 solved, 258 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/284 variables, 3/412 constraints. Problems are: Problem set: 0 solved, 258 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/284 variables, 0/412 constraints. Problems are: Problem set: 0 solved, 258 unsolved
At refinement iteration 8 (OVERLAPS) 0/284 variables, 0/412 constraints. Problems are: Problem set: 0 solved, 258 unsolved
No progress, stopping.
After SMT solving in domain Int declared 284/284 variables, and 412 constraints, problems are : Problem set: 0 solved, 258 unsolved in 26752 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 107/107 constraints, ReadFeed: 42/42 constraints, PredecessorRefiner: 258/258 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 3/3 constraints]
After SMT, in 33641ms problems are : Problem set: 0 solved, 258 unsolved
Search for dead transitions found 0 dead transitions in 33642ms
Starting structural reductions in LTL mode, iteration 1 : 107/195 places, 260/574 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 33943 ms. Remains : 107/195 places, 260/574 transitions.
[2026-05-25 01:10:21] [INFO ] Flatten gal took : 12 ms
[2026-05-25 01:10:21] [INFO ] Flatten gal took : 7 ms
[2026-05-25 01:10:21] [INFO ] Input system was already deterministic with 260 transitions.
[2026-05-25 01:10:21] [INFO ] Flatten gal took : 7 ms
[2026-05-25 01:10:21] [INFO ] Flatten gal took : 7 ms
[2026-05-25 01:10:21] [INFO ] Time to serialize gal into /tmp/CTLFireability6758403402124708502.gal : 2 ms
[2026-05-25 01:10:21] [INFO ] Time to serialize properties into /tmp/CTLFireability9035974587516553673.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/CTLFireability6758403402124708502.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9035974587516553673.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-25 01:10:51] [INFO ] Flatten gal took : 19 ms
[2026-05-25 01:10:51] [INFO ] Applying decomposition
[2026-05-25 01:10:51] [INFO ] Flatten gal took : 6 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/graph874628474358800065.txt' '-o' '/tmp/graph874628474358800065.bin' '-w' '/tmp/graph874628474358800065.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph874628474358800065.bin' '-l' '-1' '-v' '-w' '/tmp/graph874628474358800065.weights' '-q' '0' '-e' '0.001'
[2026-05-25 01:10:51] [INFO ] Decomposing Gal with order
[2026-05-25 01:10:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 01:10:51] [INFO ] Removed a total of 427 redundant transitions.
[2026-05-25 01:10:51] [INFO ] Flatten gal took : 16 ms
[2026-05-25 01:10:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 143 labels/synchronizations in 6 ms.
[2026-05-25 01:10:51] [INFO ] Time to serialize gal into /tmp/CTLFireability14116726207147618419.gal : 2 ms
[2026-05-25 01:10:51] [INFO ] Time to serialize properties into /tmp/CTLFireability13395691477247802702.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/CTLFireability14116726207147618419.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13395691477247802702.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 195/195 places, 574/574 transitions.
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 21 place count 174 transition count 466
Iterating global reduction 0 with 21 rules applied. Total rules applied 42 place count 174 transition count 466
Ensure Unique test removed 26 transitions
Reduce isomorphic transitions removed 26 transitions.
Iterating post reduction 0 with 26 rules applied. Total rules applied 68 place count 174 transition count 440
Discarding 14 places :
Symmetric choice reduction at 1 with 14 rule applications. Total rules 82 place count 160 transition count 404
Iterating global reduction 1 with 14 rules applied. Total rules applied 96 place count 160 transition count 404
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 1 with 8 rules applied. Total rules applied 104 place count 160 transition count 396
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 111 place count 153 transition count 380
Iterating global reduction 2 with 7 rules applied. Total rules applied 118 place count 153 transition count 380
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 125 place count 146 transition count 354
Iterating global reduction 2 with 7 rules applied. Total rules applied 132 place count 146 transition count 354
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 139 place count 139 transition count 330
Iterating global reduction 2 with 7 rules applied. Total rules applied 146 place count 139 transition count 330
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 152 place count 133 transition count 314
Iterating global reduction 2 with 6 rules applied. Total rules applied 158 place count 133 transition count 314
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 164 place count 127 transition count 300
Iterating global reduction 2 with 6 rules applied. Total rules applied 170 place count 127 transition count 300
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 176 place count 121 transition count 288
Iterating global reduction 2 with 6 rules applied. Total rules applied 182 place count 121 transition count 288
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 188 place count 115 transition count 276
Iterating global reduction 2 with 6 rules applied. Total rules applied 194 place count 115 transition count 276
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 200 place count 109 transition count 264
Iterating global reduction 2 with 6 rules applied. Total rules applied 206 place count 109 transition count 264
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 208 place count 107 transition count 260
Iterating global reduction 2 with 2 rules applied. Total rules applied 210 place count 107 transition count 260
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 211 place count 106 transition count 258
Iterating global reduction 2 with 1 rules applied. Total rules applied 212 place count 106 transition count 258
Drop transitions (Redundant composition of simpler transitions.) removed 4 transitions
Redundant transition composition rules discarded 4 transitions
Iterating global reduction 2 with 4 rules applied. Total rules applied 216 place count 106 transition count 254
Applied a total of 216 rules in 45 ms. Remains 106 /195 variables (removed 89) and now considering 254/574 (removed 320) transitions.
[2026-05-25 01:11:21] [INFO ] Flow matrix only has 172 transitions (discarded 82 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17382389935748786684.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9768239727332234946.kers'
[2026-05-25 01:11:21] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17382389935748786684.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9768239727332234946.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 172 rows 106 cols 476 entries
Finished phase 1 with 103 SingleSign rule and 1 generalized
[2026-05-25 01:11:21] [INFO ] Computed 2 invariants in 0 ms
Computed 2 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-9768239727332234946.kers
Total runtime 1 ms.
[2026-05-25 01:11:21] [INFO ] Implicit Places using invariants in 71 ms returned []
[2026-05-25 01:11:21] [INFO ] Flow matrix only has 172 transitions (discarded 82 similar events)
[2026-05-25 01:11:21] [INFO ] Invariant cache hit.
[2026-05-25 01:11:21] [INFO ] State equation strengthened by 40 read => feed constraints.
[2026-05-25 01:11:21] [INFO ] Implicit Places using invariants and state equation in 227 ms returned []
Implicit Place search using SMT with State Equation took 299 ms to find 0 implicit places.
[2026-05-25 01:11:21] [INFO ] Redundant transitions in 5 ms returned []
Running 252 sub problems to find dead transitions.
[2026-05-25 01:11:21] [INFO ] Flow matrix only has 172 transitions (discarded 82 similar events)
[2026-05-25 01:11:21] [INFO ] Invariant cache hit.
[2026-05-25 01:11:21] [INFO ] State equation strengthened by 40 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/106 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 252 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/106 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 252 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/106 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 252 unsolved
At refinement iteration 3 (OVERLAPS) 172/278 variables, 106/108 constraints. Problems are: Problem set: 0 solved, 252 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/278 variables, 40/148 constraints. Problems are: Problem set: 0 solved, 252 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/278 variables, 0/148 constraints. Problems are: Problem set: 0 solved, 252 unsolved
All remaining problems are real, not stopping.
At refinement iteration 6 (OVERLAPS) 0/278 variables, 0/148 constraints. Problems are: Problem set: 0 solved, 252 unsolved
No progress, stopping.
After SMT solving in domain Real declared 278/278 variables, and 148 constraints, problems are : Problem set: 0 solved, 252 unsolved in 6529 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 106/106 constraints, ReadFeed: 40/40 constraints, PredecessorRefiner: 252/252 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 252 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/106 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 252 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/106 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 252 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/106 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 252 unsolved
At refinement iteration 3 (OVERLAPS) 172/278 variables, 106/108 constraints. Problems are: Problem set: 0 solved, 252 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/278 variables, 40/148 constraints. Problems are: Problem set: 0 solved, 252 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/278 variables, 252/400 constraints. Problems are: Problem set: 0 solved, 252 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/278 variables, 2/402 constraints. Problems are: Problem set: 0 solved, 252 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/278 variables, 0/402 constraints. Problems are: Problem set: 0 solved, 252 unsolved
At refinement iteration 8 (OVERLAPS) 0/278 variables, 0/402 constraints. Problems are: Problem set: 0 solved, 252 unsolved
No progress, stopping.
After SMT solving in domain Int declared 278/278 variables, and 402 constraints, problems are : Problem set: 0 solved, 252 unsolved in 25625 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 106/106 constraints, ReadFeed: 40/40 constraints, PredecessorRefiner: 252/252 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 2/2 constraints]
After SMT, in 32202ms problems are : Problem set: 0 solved, 252 unsolved
Search for dead transitions found 0 dead transitions in 32203ms
Starting structural reductions in SI_CTL mode, iteration 1 : 106/195 places, 254/574 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 32562 ms. Remains : 106/195 places, 254/574 transitions.
[2026-05-25 01:11:53] [INFO ] Flatten gal took : 9 ms
[2026-05-25 01:11:53] [INFO ] Flatten gal took : 5 ms
[2026-05-25 01:11:53] [INFO ] Input system was already deterministic with 254 transitions.
[2026-05-25 01:11:53] [INFO ] Flatten gal took : 16 ms
[2026-05-25 01:11:53] [INFO ] Flatten gal took : 5 ms
[2026-05-25 01:11:53] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8013169480781165890.gal : 1 ms
[2026-05-25 01:11:53] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16448231597461190873.prop : 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-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality8013169480781165890.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality16448231597461190873.prop' '--nowitness' '--gen-order' 'FOLLOW'
RANDOM walk for 19595 steps (40 resets) in 55 ms. (349 steps per ms) remains 0/1 properties
FORMULA FunctionPointer-PT-b008-CTLFireability-2024-03 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 195/195 places, 574/574 transitions.
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 22 place count 173 transition count 452
Iterating global reduction 0 with 22 rules applied. Total rules applied 44 place count 173 transition count 452
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 0 with 18 rules applied. Total rules applied 62 place count 173 transition count 434
Discarding 15 places :
Symmetric choice reduction at 1 with 15 rule applications. Total rules 77 place count 158 transition count 396
Iterating global reduction 1 with 15 rules applied. Total rules applied 92 place count 158 transition count 396
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 96 place count 158 transition count 392
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 102 place count 152 transition count 380
Iterating global reduction 2 with 6 rules applied. Total rules applied 108 place count 152 transition count 380
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 114 place count 146 transition count 356
Iterating global reduction 2 with 6 rules applied. Total rules applied 120 place count 146 transition count 356
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 125 place count 141 transition count 340
Iterating global reduction 2 with 5 rules applied. Total rules applied 130 place count 141 transition count 340
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 135 place count 136 transition count 326
Iterating global reduction 2 with 5 rules applied. Total rules applied 140 place count 136 transition count 326
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 144 place count 132 transition count 314
Iterating global reduction 2 with 4 rules applied. Total rules applied 148 place count 132 transition count 314
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 152 place count 128 transition count 306
Iterating global reduction 2 with 4 rules applied. Total rules applied 156 place count 128 transition count 306
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 160 place count 124 transition count 298
Iterating global reduction 2 with 4 rules applied. Total rules applied 164 place count 124 transition count 298
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 168 place count 120 transition count 290
Iterating global reduction 2 with 4 rules applied. Total rules applied 172 place count 120 transition count 290
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 174 place count 118 transition count 286
Iterating global reduction 2 with 2 rules applied. Total rules applied 176 place count 118 transition count 286
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 177 place count 117 transition count 284
Iterating global reduction 2 with 1 rules applied. Total rules applied 178 place count 117 transition count 284
Applied a total of 178 rules in 15 ms. Remains 117 /195 variables (removed 78) and now considering 284/574 (removed 290) transitions.
[2026-05-25 01:11:54] [INFO ] Flow matrix only has 197 transitions (discarded 87 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-16402058028113764910.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13679291813233385493.kers'
[2026-05-25 01:11:54] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-16402058028113764910.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13679291813233385493.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 197 rows 117 cols 548 entries
Finished phase 1 with 114 SingleSign rule and 1 generalized
[2026-05-25 01:11:54] [INFO ] Computed 2 invariants in 0 ms
Computed 2 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-13679291813233385493.kers
Total runtime 1 ms.
[2026-05-25 01:11:54] [INFO ] Implicit Places using invariants in 344 ms returned []
[2026-05-25 01:11:54] [INFO ] Flow matrix only has 197 transitions (discarded 87 similar events)
[2026-05-25 01:11:54] [INFO ] Invariant cache hit.
[2026-05-25 01:11:54] [INFO ] State equation strengthened by 48 read => feed constraints.
[2026-05-25 01:11:54] [INFO ] Implicit Places using invariants and state equation in 199 ms returned []
Implicit Place search using SMT with State Equation took 545 ms to find 0 implicit places.
Running 282 sub problems to find dead transitions.
[2026-05-25 01:11:54] [INFO ] Flow matrix only has 197 transitions (discarded 87 similar events)
[2026-05-25 01:11:54] [INFO ] Invariant cache hit.
[2026-05-25 01:11:54] [INFO ] State equation strengthened by 48 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/117 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 282 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/117 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 282 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/117 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 282 unsolved
At refinement iteration 3 (OVERLAPS) 197/314 variables, 117/119 constraints. Problems are: Problem set: 0 solved, 282 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/314 variables, 48/167 constraints. Problems are: Problem set: 0 solved, 282 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/314 variables, 0/167 constraints. Problems are: Problem set: 0 solved, 282 unsolved
All remaining problems are real, not stopping.
At refinement iteration 6 (OVERLAPS) 0/314 variables, 0/167 constraints. Problems are: Problem set: 0 solved, 282 unsolved
No progress, stopping.
After SMT solving in domain Real declared 314/314 variables, and 167 constraints, problems are : Problem set: 0 solved, 282 unsolved in 8002 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 117/117 constraints, ReadFeed: 48/48 constraints, PredecessorRefiner: 282/282 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 282 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/117 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 282 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/117 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 282 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/117 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 282 unsolved
At refinement iteration 3 (OVERLAPS) 197/314 variables, 117/119 constraints. Problems are: Problem set: 0 solved, 282 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/314 variables, 48/167 constraints. Problems are: Problem set: 0 solved, 282 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/314 variables, 282/449 constraints. Problems are: Problem set: 0 solved, 282 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/314 variables, 2/451 constraints. Problems are: Problem set: 0 solved, 282 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/314 variables, 0/451 constraints. Problems are: Problem set: 0 solved, 282 unsolved
At refinement iteration 8 (OVERLAPS) 0/314 variables, 0/451 constraints. Problems are: Problem set: 0 solved, 282 unsolved
No progress, stopping.
After SMT solving in domain Int declared 314/314 variables, and 451 constraints, problems are : Problem set: 0 solved, 282 unsolved in 27461 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 117/117 constraints, ReadFeed: 48/48 constraints, PredecessorRefiner: 282/282 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 2/2 constraints]
After SMT, in 35536ms problems are : Problem set: 0 solved, 282 unsolved
Search for dead transitions found 0 dead transitions in 35537ms
Starting structural reductions in LTL mode, iteration 1 : 117/195 places, 284/574 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 36114 ms. Remains : 117/195 places, 284/574 transitions.
[2026-05-25 01:12:30] [INFO ] Flatten gal took : 10 ms
[2026-05-25 01:12:30] [INFO ] Flatten gal took : 6 ms
[2026-05-25 01:12:30] [INFO ] Input system was already deterministic with 284 transitions.
[2026-05-25 01:12:30] [INFO ] Flatten gal took : 5 ms
[2026-05-25 01:12:30] [INFO ] Flatten gal took : 6 ms
[2026-05-25 01:12:30] [INFO ] Time to serialize gal into /tmp/CTLFireability16934562838657790115.gal : 2 ms
[2026-05-25 01:12:30] [INFO ] Time to serialize properties into /tmp/CTLFireability14320522208074773932.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/CTLFireability16934562838657790115.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14320522208074773932.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-25 01:13:00] [INFO ] Flatten gal took : 6 ms
[2026-05-25 01:13:00] [INFO ] Applying decomposition
[2026-05-25 01:13:00] [INFO ] Flatten gal took : 4 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/graph16855808114741174829.txt' '-o' '/tmp/graph16855808114741174829.bin' '-w' '/tmp/graph16855808114741174829.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16855808114741174829.bin' '-l' '-1' '-v' '-w' '/tmp/graph16855808114741174829.weights' '-q' '0' '-e' '0.001'
[2026-05-25 01:13:00] [INFO ] Decomposing Gal with order
[2026-05-25 01:13:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 01:13:00] [INFO ] Removed a total of 469 redundant transitions.
[2026-05-25 01:13:00] [INFO ] Flatten gal took : 12 ms
[2026-05-25 01:13:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 182 labels/synchronizations in 8 ms.
[2026-05-25 01:13:00] [INFO ] Time to serialize gal into /tmp/CTLFireability4486796323082299392.gal : 2 ms
[2026-05-25 01:13:00] [INFO ] Time to serialize properties into /tmp/CTLFireability728958669046931382.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/CTLFireability4486796323082299392.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability728958669046931382.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 : 195/195 places, 574/574 transitions.
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 22 place count 173 transition count 452
Iterating global reduction 0 with 22 rules applied. Total rules applied 44 place count 173 transition count 452
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 0 with 18 rules applied. Total rules applied 62 place count 173 transition count 434
Discarding 15 places :
Symmetric choice reduction at 1 with 15 rule applications. Total rules 77 place count 158 transition count 396
Iterating global reduction 1 with 15 rules applied. Total rules applied 92 place count 158 transition count 396
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 96 place count 158 transition count 392
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 103 place count 151 transition count 376
Iterating global reduction 2 with 7 rules applied. Total rules applied 110 place count 151 transition count 376
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 117 place count 144 transition count 350
Iterating global reduction 2 with 7 rules applied. Total rules applied 124 place count 144 transition count 350
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 131 place count 137 transition count 326
Iterating global reduction 2 with 7 rules applied. Total rules applied 138 place count 137 transition count 326
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 145 place count 130 transition count 306
Iterating global reduction 2 with 7 rules applied. Total rules applied 152 place count 130 transition count 306
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 159 place count 123 transition count 288
Iterating global reduction 2 with 7 rules applied. Total rules applied 166 place count 123 transition count 288
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 172 place count 117 transition count 276
Iterating global reduction 2 with 6 rules applied. Total rules applied 178 place count 117 transition count 276
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 184 place count 111 transition count 264
Iterating global reduction 2 with 6 rules applied. Total rules applied 190 place count 111 transition count 264
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 196 place count 105 transition count 252
Iterating global reduction 2 with 6 rules applied. Total rules applied 202 place count 105 transition count 252
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 205 place count 102 transition count 246
Iterating global reduction 2 with 3 rules applied. Total rules applied 208 place count 102 transition count 246
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 210 place count 100 transition count 242
Iterating global reduction 2 with 2 rules applied. Total rules applied 212 place count 100 transition count 242
Drop transitions (Redundant composition of simpler transitions.) removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 2 with 2 rules applied. Total rules applied 214 place count 100 transition count 240
Applied a total of 214 rules in 42 ms. Remains 100 /195 variables (removed 95) and now considering 240/574 (removed 334) transitions.
[2026-05-25 01:13:30] [INFO ] Flow matrix only has 164 transitions (discarded 76 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10680581843613045255.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16138496352030547751.kers'
[2026-05-25 01:13:30] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10680581843613045255.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16138496352030547751.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 164 rows 100 cols 456 entries
Finished phase 1 with 97 SingleSign rule and 1 generalized
[2026-05-25 01:13:30] [INFO ] Computed 2 invariants in 0 ms
Computed 2 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-16138496352030547751.kers
Total runtime 1 ms.
[2026-05-25 01:13:30] [INFO ] Implicit Places using invariants in 75 ms returned []
[2026-05-25 01:13:30] [INFO ] Flow matrix only has 164 transitions (discarded 76 similar events)
[2026-05-25 01:13:30] [INFO ] Invariant cache hit.
[2026-05-25 01:13:30] [INFO ] State equation strengthened by 39 read => feed constraints.
[2026-05-25 01:13:30] [INFO ] Implicit Places using invariants and state equation in 364 ms returned []
Implicit Place search using SMT with State Equation took 441 ms to find 0 implicit places.
[2026-05-25 01:13:30] [INFO ] Redundant transitions in 8 ms returned []
Running 238 sub problems to find dead transitions.
[2026-05-25 01:13:30] [INFO ] Flow matrix only has 164 transitions (discarded 76 similar events)
[2026-05-25 01:13:30] [INFO ] Invariant cache hit.
[2026-05-25 01:13:30] [INFO ] State equation strengthened by 39 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/100 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 238 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/100 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 238 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/100 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 238 unsolved
At refinement iteration 3 (OVERLAPS) 164/264 variables, 100/102 constraints. Problems are: Problem set: 0 solved, 238 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/264 variables, 39/141 constraints. Problems are: Problem set: 0 solved, 238 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/264 variables, 0/141 constraints. Problems are: Problem set: 0 solved, 238 unsolved
All remaining problems are real, not stopping.
At refinement iteration 6 (OVERLAPS) 0/264 variables, 0/141 constraints. Problems are: Problem set: 0 solved, 238 unsolved
No progress, stopping.
After SMT solving in domain Real declared 264/264 variables, and 141 constraints, problems are : Problem set: 0 solved, 238 unsolved in 6316 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 100/100 constraints, ReadFeed: 39/39 constraints, PredecessorRefiner: 238/238 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 238 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/100 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 238 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/100 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 238 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/100 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 238 unsolved
At refinement iteration 3 (OVERLAPS) 164/264 variables, 100/102 constraints. Problems are: Problem set: 0 solved, 238 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/264 variables, 39/141 constraints. Problems are: Problem set: 0 solved, 238 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/264 variables, 238/379 constraints. Problems are: Problem set: 0 solved, 238 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/264 variables, 5/384 constraints. Problems are: Problem set: 0 solved, 238 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/264 variables, 0/384 constraints. Problems are: Problem set: 0 solved, 238 unsolved
At refinement iteration 8 (OVERLAPS) 0/264 variables, 0/384 constraints. Problems are: Problem set: 0 solved, 238 unsolved
No progress, stopping.
After SMT solving in domain Int declared 264/264 variables, and 384 constraints, problems are : Problem set: 0 solved, 238 unsolved in 24278 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 100/100 constraints, ReadFeed: 39/39 constraints, PredecessorRefiner: 238/238 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 5/5 constraints]
After SMT, in 30651ms problems are : Problem set: 0 solved, 238 unsolved
Search for dead transitions found 0 dead transitions in 30652ms
Starting structural reductions in SI_CTL mode, iteration 1 : 100/195 places, 240/574 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 31152 ms. Remains : 100/195 places, 240/574 transitions.
[2026-05-25 01:14:01] [INFO ] Flatten gal took : 6 ms
[2026-05-25 01:14:01] [INFO ] Flatten gal took : 5 ms
[2026-05-25 01:14:01] [INFO ] Input system was already deterministic with 240 transitions.
[2026-05-25 01:14:01] [INFO ] Flatten gal took : 4 ms
[2026-05-25 01:14:01] [INFO ] Flatten gal took : 4 ms
[2026-05-25 01:14:01] [INFO ] Time to serialize gal into /tmp/CTLFireability1676875268932280907.gal : 1 ms
[2026-05-25 01:14:01] [INFO ] Time to serialize properties into /tmp/CTLFireability6273019374783288593.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/CTLFireability1676875268932280907.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6273019374783288593.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-25 01:14:31] [INFO ] Flatten gal took : 4 ms
[2026-05-25 01:14:31] [INFO ] Applying decomposition
[2026-05-25 01:14:31] [INFO ] Flatten gal took : 4 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/graph8279514831045572533.txt' '-o' '/tmp/graph8279514831045572533.bin' '-w' '/tmp/graph8279514831045572533.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph8279514831045572533.bin' '-l' '-1' '-v' '-w' '/tmp/graph8279514831045572533.weights' '-q' '0' '-e' '0.001'
[2026-05-25 01:14:31] [INFO ] Decomposing Gal with order
[2026-05-25 01:14:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 01:14:31] [INFO ] Removed a total of 397 redundant transitions.
[2026-05-25 01:14:31] [INFO ] Flatten gal took : 10 ms
[2026-05-25 01:14:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 118 labels/synchronizations in 4 ms.
[2026-05-25 01:14:31] [INFO ] Time to serialize gal into /tmp/CTLFireability18364458603934000084.gal : 1 ms
[2026-05-25 01:14:31] [INFO ] Time to serialize properties into /tmp/CTLFireability9373229446074182569.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/CTLFireability18364458603934000084.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9373229446074182569.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 : 195/195 places, 574/574 transitions.
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 20 place count 175 transition count 458
Iterating global reduction 0 with 20 rules applied. Total rules applied 40 place count 175 transition count 458
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 0 with 16 rules applied. Total rules applied 56 place count 175 transition count 442
Discarding 14 places :
Symmetric choice reduction at 1 with 14 rule applications. Total rules 70 place count 161 transition count 406
Iterating global reduction 1 with 14 rules applied. Total rules applied 84 place count 161 transition count 406
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 88 place count 161 transition count 402
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 95 place count 154 transition count 386
Iterating global reduction 2 with 7 rules applied. Total rules applied 102 place count 154 transition count 386
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 108 place count 148 transition count 364
Iterating global reduction 2 with 6 rules applied. Total rules applied 114 place count 148 transition count 364
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 119 place count 143 transition count 348
Iterating global reduction 2 with 5 rules applied. Total rules applied 124 place count 143 transition count 348
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 129 place count 138 transition count 334
Iterating global reduction 2 with 5 rules applied. Total rules applied 134 place count 138 transition count 334
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 139 place count 133 transition count 320
Iterating global reduction 2 with 5 rules applied. Total rules applied 144 place count 133 transition count 320
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 149 place count 128 transition count 310
Iterating global reduction 2 with 5 rules applied. Total rules applied 154 place count 128 transition count 310
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 159 place count 123 transition count 300
Iterating global reduction 2 with 5 rules applied. Total rules applied 164 place count 123 transition count 300
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 169 place count 118 transition count 290
Iterating global reduction 2 with 5 rules applied. Total rules applied 174 place count 118 transition count 290
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 176 place count 116 transition count 286
Iterating global reduction 2 with 2 rules applied. Total rules applied 178 place count 116 transition count 286
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 179 place count 115 transition count 284
Iterating global reduction 2 with 1 rules applied. Total rules applied 180 place count 115 transition count 284
Drop transitions (Redundant composition of simpler transitions.) removed 4 transitions
Redundant transition composition rules discarded 4 transitions
Iterating global reduction 2 with 4 rules applied. Total rules applied 184 place count 115 transition count 280
Applied a total of 184 rules in 35 ms. Remains 115 /195 variables (removed 80) and now considering 280/574 (removed 294) transitions.
[2026-05-25 01:15:01] [INFO ] Flow matrix only has 191 transitions (discarded 89 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3791798986489297585.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6594673148422014208.kers'
[2026-05-25 01:15:01] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3791798986489297585.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6594673148422014208.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 191 rows 115 cols 526 entries
Finished phase 1 with 112 SingleSign rule and 1 generalized
[2026-05-25 01:15:01] [INFO ] Computed 2 invariants in 0 ms
Computed 2 P flows in 0 ms.
Exported basis to /tmp/petrispot-output-6594673148422014208.kers
Total runtime 1 ms.
[2026-05-25 01:15:01] [INFO ] Implicit Places using invariants in 72 ms returned []
[2026-05-25 01:15:01] [INFO ] Flow matrix only has 191 transitions (discarded 89 similar events)
[2026-05-25 01:15:01] [INFO ] Invariant cache hit.
[2026-05-25 01:15:01] [INFO ] State equation strengthened by 45 read => feed constraints.
[2026-05-25 01:15:02] [INFO ] Implicit Places using invariants and state equation in 192 ms returned []
Implicit Place search using SMT with State Equation took 269 ms to find 0 implicit places.
[2026-05-25 01:15:02] [INFO ] Redundant transitions in 3 ms returned []
Running 278 sub problems to find dead transitions.
[2026-05-25 01:15:02] [INFO ] Flow matrix only has 191 transitions (discarded 89 similar events)
[2026-05-25 01:15:02] [INFO ] Invariant cache hit.
[2026-05-25 01:15:02] [INFO ] State equation strengthened by 45 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/115 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 278 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/115 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 278 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/115 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 278 unsolved
At refinement iteration 3 (OVERLAPS) 191/306 variables, 115/117 constraints. Problems are: Problem set: 0 solved, 278 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/306 variables, 45/162 constraints. Problems are: Problem set: 0 solved, 278 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/306 variables, 0/162 constraints. Problems are: Problem set: 0 solved, 278 unsolved
All remaining problems are real, not stopping.
At refinement iteration 6 (OVERLAPS) 0/306 variables, 0/162 constraints. Problems are: Problem set: 0 solved, 278 unsolved
No progress, stopping.
After SMT solving in domain Real declared 306/306 variables, and 162 constraints, problems are : Problem set: 0 solved, 278 unsolved in 7618 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 115/115 constraints, ReadFeed: 45/45 constraints, PredecessorRefiner: 278/278 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 278 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/115 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 278 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/115 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 278 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/115 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 278 unsolved
At refinement iteration 3 (OVERLAPS) 191/306 variables, 115/117 constraints. Problems are: Problem set: 0 solved, 278 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/306 variables, 45/162 constraints. Problems are: Problem set: 0 solved, 278 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/306 variables, 278/440 constraints. Problems are: Problem set: 0 solved, 278 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/306 variables, 2/442 constraints. Problems are: Problem set: 0 solved, 278 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/306 variables, 0/442 constraints. Problems are: Problem set: 0 solved, 278 unsolved
At refinement iteration 8 (OVERLAPS) 0/306 variables, 0/442 constraints. Problems are: Problem set: 0 solved, 278 unsolved
No progress, stopping.
After SMT solving in domain Int declared 306/306 variables, and 442 constraints, problems are : Problem set: 0 solved, 278 unsolved in 27948 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 115/115 constraints, ReadFeed: 45/45 constraints, PredecessorRefiner: 278/278 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 2/2 constraints]
After SMT, in 35622ms problems are : Problem set: 0 solved, 278 unsolved
Search for dead transitions found 0 dead transitions in 35622ms
Starting structural reductions in SI_CTL mode, iteration 1 : 115/195 places, 280/574 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 35934 ms. Remains : 115/195 places, 280/574 transitions.
[2026-05-25 01:15:37] [INFO ] Flatten gal took : 4 ms
[2026-05-25 01:15:37] [INFO ] Flatten gal took : 5 ms
[2026-05-25 01:15:37] [INFO ] Input system was already deterministic with 280 transitions.
[2026-05-25 01:15:37] [INFO ] Flatten gal took : 4 ms
[2026-05-25 01:15:37] [INFO ] Flatten gal took : 8 ms
[2026-05-25 01:15:37] [INFO ] Time to serialize gal into /tmp/CTLFireability17169606888922661037.gal : 1 ms
[2026-05-25 01:15:37] [INFO ] Time to serialize properties into /tmp/CTLFireability14622446006560652957.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/CTLFireability17169606888922661037.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14622446006560652957.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-25 01:16:07] [INFO ] Flatten gal took : 8 ms
[2026-05-25 01:16:07] [INFO ] Applying decomposition
[2026-05-25 01:16:07] [INFO ] Flatten gal took : 4 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/graph11003218174607110171.txt' '-o' '/tmp/graph11003218174607110171.bin' '-w' '/tmp/graph11003218174607110171.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11003218174607110171.bin' '-l' '-1' '-v' '-w' '/tmp/graph11003218174607110171.weights' '-q' '0' '-e' '0.001'
[2026-05-25 01:16:07] [INFO ] Decomposing Gal with order
[2026-05-25 01:16:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 01:16:07] [INFO ] Removed a total of 464 redundant transitions.
[2026-05-25 01:16:07] [INFO ] Flatten gal took : 13 ms
[2026-05-25 01:16:07] [INFO ] Fuse similar labels procedure discarded/fused a total of 147 labels/synchronizations in 6 ms.
[2026-05-25 01:16:07] [INFO ] Time to serialize gal into /tmp/CTLFireability17757021370562198515.gal : 2 ms
[2026-05-25 01:16:07] [INFO ] Time to serialize properties into /tmp/CTLFireability9227754792918630258.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/CTLFireability17757021370562198515.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9227754792918630258.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 : 195/195 places, 574/574 transitions.
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 19 place count 176 transition count 458
Iterating global reduction 0 with 19 rules applied. Total rules applied 38 place count 176 transition count 458
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 0 with 16 rules applied. Total rules applied 54 place count 176 transition count 442
Discarding 13 places :
Symmetric choice reduction at 1 with 13 rule applications. Total rules 67 place count 163 transition count 410
Iterating global reduction 1 with 13 rules applied. Total rules applied 80 place count 163 transition count 410
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 84 place count 163 transition count 406
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 89 place count 158 transition count 396
Iterating global reduction 2 with 5 rules applied. Total rules applied 94 place count 158 transition count 396
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 99 place count 153 transition count 376
Iterating global reduction 2 with 5 rules applied. Total rules applied 104 place count 153 transition count 376
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 109 place count 148 transition count 360
Iterating global reduction 2 with 5 rules applied. Total rules applied 114 place count 148 transition count 360
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 119 place count 143 transition count 346
Iterating global reduction 2 with 5 rules applied. Total rules applied 124 place count 143 transition count 346
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 129 place count 138 transition count 332
Iterating global reduction 2 with 5 rules applied. Total rules applied 134 place count 138 transition count 332
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 138 place count 134 transition count 324
Iterating global reduction 2 with 4 rules applied. Total rules applied 142 place count 134 transition count 324
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 146 place count 130 transition count 316
Iterating global reduction 2 with 4 rules applied. Total rules applied 150 place count 130 transition count 316
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 152 place count 128 transition count 312
Iterating global reduction 2 with 2 rules applied. Total rules applied 154 place count 128 transition count 312
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 155 place count 127 transition count 310
Iterating global reduction 2 with 1 rules applied. Total rules applied 156 place count 127 transition count 310
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 157 place count 126 transition count 308
Iterating global reduction 2 with 1 rules applied. Total rules applied 158 place count 126 transition count 308
Applied a total of 158 rules in 22 ms. Remains 126 /195 variables (removed 69) and now considering 308/574 (removed 266) transitions.
[2026-05-25 01:16:37] [INFO ] Flow matrix only has 215 transitions (discarded 93 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7147122757685057174.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8421492965901044321.kers'
[2026-05-25 01:16:37] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7147122757685057174.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8421492965901044321.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 215 rows 126 cols 602 entries
Finished phase 1 with 123 SingleSign rule and 1 generalized
[2026-05-25 01:16:37] [INFO ] Computed 2 invariants in 1 ms
Computed 2 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-8421492965901044321.kers
Total runtime 2 ms.
[2026-05-25 01:16:37] [INFO ] Implicit Places using invariants in 77 ms returned []
[2026-05-25 01:16:37] [INFO ] Flow matrix only has 215 transitions (discarded 93 similar events)
[2026-05-25 01:16:37] [INFO ] Invariant cache hit.
[2026-05-25 01:16:38] [INFO ] State equation strengthened by 51 read => feed constraints.
[2026-05-25 01:16:38] [INFO ] Implicit Places using invariants and state equation in 216 ms returned []
Implicit Place search using SMT with State Equation took 295 ms to find 0 implicit places.
Running 306 sub problems to find dead transitions.
[2026-05-25 01:16:38] [INFO ] Flow matrix only has 215 transitions (discarded 93 similar events)
[2026-05-25 01:16:38] [INFO ] Invariant cache hit.
[2026-05-25 01:16:38] [INFO ] State equation strengthened by 51 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/126 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 306 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/126 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 306 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/126 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 306 unsolved
At refinement iteration 3 (OVERLAPS) 215/341 variables, 126/128 constraints. Problems are: Problem set: 0 solved, 306 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/341 variables, 51/179 constraints. Problems are: Problem set: 0 solved, 306 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/341 variables, 0/179 constraints. Problems are: Problem set: 0 solved, 306 unsolved
All remaining problems are real, not stopping.
At refinement iteration 6 (OVERLAPS) 0/341 variables, 0/179 constraints. Problems are: Problem set: 0 solved, 306 unsolved
No progress, stopping.
After SMT solving in domain Real declared 341/341 variables, and 179 constraints, problems are : Problem set: 0 solved, 306 unsolved in 9075 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 126/126 constraints, ReadFeed: 51/51 constraints, PredecessorRefiner: 306/306 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 306 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/126 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 306 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/126 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 306 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/126 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 306 unsolved
At refinement iteration 3 (OVERLAPS) 215/341 variables, 126/128 constraints. Problems are: Problem set: 0 solved, 306 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/341 variables, 51/179 constraints. Problems are: Problem set: 0 solved, 306 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/341 variables, 306/485 constraints. Problems are: Problem set: 0 solved, 306 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/341 variables, 4/489 constraints. Problems are: Problem set: 0 solved, 306 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/341 variables, 0/489 constraints. Problems are: Problem set: 0 solved, 306 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 341/341 variables, and 489 constraints, problems are : Problem set: 0 solved, 306 unsolved in 30017 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 126/126 constraints, ReadFeed: 51/51 constraints, PredecessorRefiner: 306/306 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 4/4 constraints]
After SMT, in 39168ms problems are : Problem set: 0 solved, 306 unsolved
Search for dead transitions found 0 dead transitions in 39170ms
Starting structural reductions in LTL mode, iteration 1 : 126/195 places, 308/574 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 39488 ms. Remains : 126/195 places, 308/574 transitions.
[2026-05-25 01:17:17] [INFO ] Flatten gal took : 4 ms
[2026-05-25 01:17:17] [INFO ] Flatten gal took : 5 ms
[2026-05-25 01:17:17] [INFO ] Input system was already deterministic with 308 transitions.
[2026-05-25 01:17:17] [INFO ] Flatten gal took : 5 ms
[2026-05-25 01:17:17] [INFO ] Flatten gal took : 4 ms
[2026-05-25 01:17:17] [INFO ] Time to serialize gal into /tmp/CTLFireability823611035548112861.gal : 1 ms
[2026-05-25 01:17:17] [INFO ] Time to serialize properties into /tmp/CTLFireability6978051055132135148.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/CTLFireability823611035548112861.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6978051055132135148.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 01:17:47] [INFO ] Flatten gal took : 9 ms
[2026-05-25 01:17:47] [INFO ] Applying decomposition
[2026-05-25 01:17:47] [INFO ] Flatten gal took : 4 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/graph12951895463596151908.txt' '-o' '/tmp/graph12951895463596151908.bin' '-w' '/tmp/graph12951895463596151908.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12951895463596151908.bin' '-l' '-1' '-v' '-w' '/tmp/graph12951895463596151908.weights' '-q' '0' '-e' '0.001'
[2026-05-25 01:17:47] [INFO ] Decomposing Gal with order
[2026-05-25 01:17:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 01:17:47] [INFO ] Removed a total of 519 redundant transitions.
[2026-05-25 01:17:47] [INFO ] Flatten gal took : 14 ms
[2026-05-25 01:17:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 153 labels/synchronizations in 4 ms.
[2026-05-25 01:17:47] [INFO ] Time to serialize gal into /tmp/CTLFireability375409228009134015.gal : 2 ms
[2026-05-25 01:17:47] [INFO ] Time to serialize properties into /tmp/CTLFireability11843457690427179248.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/CTLFireability375409228009134015.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11843457690427179248.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 : 195/195 places, 574/574 transitions.
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 22 place count 173 transition count 452
Iterating global reduction 0 with 22 rules applied. Total rules applied 44 place count 173 transition count 452
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 0 with 18 rules applied. Total rules applied 62 place count 173 transition count 434
Discarding 15 places :
Symmetric choice reduction at 1 with 15 rule applications. Total rules 77 place count 158 transition count 396
Iterating global reduction 1 with 15 rules applied. Total rules applied 92 place count 158 transition count 396
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 96 place count 158 transition count 392
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 103 place count 151 transition count 376
Iterating global reduction 2 with 7 rules applied. Total rules applied 110 place count 151 transition count 376
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 117 place count 144 transition count 350
Iterating global reduction 2 with 7 rules applied. Total rules applied 124 place count 144 transition count 350
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 131 place count 137 transition count 326
Iterating global reduction 2 with 7 rules applied. Total rules applied 138 place count 137 transition count 326
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 145 place count 130 transition count 306
Iterating global reduction 2 with 7 rules applied. Total rules applied 152 place count 130 transition count 306
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 159 place count 123 transition count 288
Iterating global reduction 2 with 7 rules applied. Total rules applied 166 place count 123 transition count 288
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 173 place count 116 transition count 274
Iterating global reduction 2 with 7 rules applied. Total rules applied 180 place count 116 transition count 274
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 187 place count 109 transition count 260
Iterating global reduction 2 with 7 rules applied. Total rules applied 194 place count 109 transition count 260
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 201 place count 102 transition count 246
Iterating global reduction 2 with 7 rules applied. Total rules applied 208 place count 102 transition count 246
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 211 place count 99 transition count 240
Iterating global reduction 2 with 3 rules applied. Total rules applied 214 place count 99 transition count 240
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 216 place count 97 transition count 236
Iterating global reduction 2 with 2 rules applied. Total rules applied 218 place count 97 transition count 236
Applied a total of 218 rules in 21 ms. Remains 97 /195 variables (removed 98) and now considering 236/574 (removed 338) transitions.
[2026-05-25 01:18:17] [INFO ] Flow matrix only has 159 transitions (discarded 77 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10600081390248566986.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-18194313367931041021.kers'
[2026-05-25 01:18:17] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10600081390248566986.kers, --Pflows, --basisKERS=/tmp/petrispot-output-18194313367931041021.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 159 rows 97 cols 440 entries
Finished phase 1 with 94 SingleSign rule and 1 generalized
[2026-05-25 01:18:17] [INFO ] Computed 2 invariants in 1 ms
Computed 2 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-18194313367931041021.kers
Total runtime 1 ms.
[2026-05-25 01:18:17] [INFO ] Implicit Places using invariants in 78 ms returned []
[2026-05-25 01:18:17] [INFO ] Flow matrix only has 159 transitions (discarded 77 similar events)
[2026-05-25 01:18:17] [INFO ] Invariant cache hit.
[2026-05-25 01:18:17] [INFO ] State equation strengthened by 37 read => feed constraints.
[2026-05-25 01:18:17] [INFO ] Implicit Places using invariants and state equation in 208 ms returned []
Implicit Place search using SMT with State Equation took 286 ms to find 0 implicit places.
Running 234 sub problems to find dead transitions.
[2026-05-25 01:18:17] [INFO ] Flow matrix only has 159 transitions (discarded 77 similar events)
[2026-05-25 01:18:17] [INFO ] Invariant cache hit.
[2026-05-25 01:18:17] [INFO ] State equation strengthened by 37 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/97 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/97 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/97 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 3 (OVERLAPS) 159/256 variables, 97/99 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/256 variables, 37/136 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/256 variables, 0/136 constraints. Problems are: Problem set: 0 solved, 234 unsolved
All remaining problems are real, not stopping.
At refinement iteration 6 (OVERLAPS) 0/256 variables, 0/136 constraints. Problems are: Problem set: 0 solved, 234 unsolved
No progress, stopping.
After SMT solving in domain Real declared 256/256 variables, and 136 constraints, problems are : Problem set: 0 solved, 234 unsolved in 5859 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 97/97 constraints, ReadFeed: 37/37 constraints, PredecessorRefiner: 234/234 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 234 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/97 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/97 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/97 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 3 (OVERLAPS) 159/256 variables, 97/99 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/256 variables, 37/136 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/256 variables, 234/370 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/256 variables, 2/372 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/256 variables, 0/372 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 8 (OVERLAPS) 0/256 variables, 0/372 constraints. Problems are: Problem set: 0 solved, 234 unsolved
No progress, stopping.
After SMT solving in domain Int declared 256/256 variables, and 372 constraints, problems are : Problem set: 0 solved, 234 unsolved in 21800 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 97/97 constraints, ReadFeed: 37/37 constraints, PredecessorRefiner: 234/234 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 2/2 constraints]
After SMT, in 27717ms problems are : Problem set: 0 solved, 234 unsolved
Search for dead transitions found 0 dead transitions in 27718ms
Starting structural reductions in LTL mode, iteration 1 : 97/195 places, 236/574 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 28027 ms. Remains : 97/195 places, 236/574 transitions.
[2026-05-25 01:18:45] [INFO ] Flatten gal took : 6 ms
[2026-05-25 01:18:45] [INFO ] Flatten gal took : 4 ms
[2026-05-25 01:18:45] [INFO ] Input system was already deterministic with 236 transitions.
[2026-05-25 01:18:45] [INFO ] Flatten gal took : 3 ms
[2026-05-25 01:18:45] [INFO ] Flatten gal took : 3 ms
[2026-05-25 01:18:45] [INFO ] Time to serialize gal into /tmp/CTLFireability10944684288432734990.gal : 1 ms
[2026-05-25 01:18:45] [INFO ] Time to serialize properties into /tmp/CTLFireability14829441764408047069.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/CTLFireability10944684288432734990.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14829441764408047069.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-25 01:19:15] [INFO ] Flatten gal took : 4 ms
[2026-05-25 01:19:15] [INFO ] Applying decomposition
[2026-05-25 01:19:15] [INFO ] Flatten gal took : 8 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/graph11076302742074223783.txt' '-o' '/tmp/graph11076302742074223783.bin' '-w' '/tmp/graph11076302742074223783.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11076302742074223783.bin' '-l' '-1' '-v' '-w' '/tmp/graph11076302742074223783.weights' '-q' '0' '-e' '0.001'
[2026-05-25 01:19:15] [INFO ] Decomposing Gal with order
[2026-05-25 01:19:15] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 01:19:15] [INFO ] Removed a total of 389 redundant transitions.
[2026-05-25 01:19:15] [INFO ] Flatten gal took : 10 ms
[2026-05-25 01:19:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 125 labels/synchronizations in 3 ms.
[2026-05-25 01:19:15] [INFO ] Time to serialize gal into /tmp/CTLFireability12334644105354159053.gal : 2 ms
[2026-05-25 01:19:15] [INFO ] Time to serialize properties into /tmp/CTLFireability16139626296503129730.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/CTLFireability12334644105354159053.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16139626296503129730.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 : 195/195 places, 574/574 transitions.
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 21 place count 174 transition count 456
Iterating global reduction 0 with 21 rules applied. Total rules applied 42 place count 174 transition count 456
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 0 with 18 rules applied. Total rules applied 60 place count 174 transition count 438
Discarding 13 places :
Symmetric choice reduction at 1 with 13 rule applications. Total rules 73 place count 161 transition count 404
Iterating global reduction 1 with 13 rules applied. Total rules applied 86 place count 161 transition count 404
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 90 place count 161 transition count 400
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 96 place count 155 transition count 386
Iterating global reduction 2 with 6 rules applied. Total rules applied 102 place count 155 transition count 386
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 106 place count 151 transition count 372
Iterating global reduction 2 with 4 rules applied. Total rules applied 110 place count 151 transition count 372
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 114 place count 147 transition count 358
Iterating global reduction 2 with 4 rules applied. Total rules applied 118 place count 147 transition count 358
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 122 place count 143 transition count 346
Iterating global reduction 2 with 4 rules applied. Total rules applied 126 place count 143 transition count 346
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 130 place count 139 transition count 336
Iterating global reduction 2 with 4 rules applied. Total rules applied 134 place count 139 transition count 336
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 138 place count 135 transition count 328
Iterating global reduction 2 with 4 rules applied. Total rules applied 142 place count 135 transition count 328
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 146 place count 131 transition count 320
Iterating global reduction 2 with 4 rules applied. Total rules applied 150 place count 131 transition count 320
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 154 place count 127 transition count 312
Iterating global reduction 2 with 4 rules applied. Total rules applied 158 place count 127 transition count 312
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 159 place count 126 transition count 310
Iterating global reduction 2 with 1 rules applied. Total rules applied 160 place count 126 transition count 310
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 161 place count 125 transition count 308
Iterating global reduction 2 with 1 rules applied. Total rules applied 162 place count 125 transition count 308
Applied a total of 162 rules in 24 ms. Remains 125 /195 variables (removed 70) and now considering 308/574 (removed 266) transitions.
[2026-05-25 01:19:45] [INFO ] Flow matrix only has 210 transitions (discarded 98 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13940315831702853853.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16589841857355896968.kers'
[2026-05-25 01:19:45] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13940315831702853853.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16589841857355896968.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 210 rows 125 cols 578 entries
Finished phase 1 with 122 SingleSign rule and 1 generalized
[2026-05-25 01:19:45] [INFO ] Computed 2 invariants in 0 ms
Computed 2 P flows in 0 ms.
Exported basis to /tmp/petrispot-output-16589841857355896968.kers
Total runtime 1 ms.
[2026-05-25 01:19:45] [INFO ] Implicit Places using invariants in 66 ms returned []
[2026-05-25 01:19:45] [INFO ] Flow matrix only has 210 transitions (discarded 98 similar events)
[2026-05-25 01:19:45] [INFO ] Invariant cache hit.
[2026-05-25 01:19:45] [INFO ] State equation strengthened by 48 read => feed constraints.
[2026-05-25 01:19:46] [INFO ] Implicit Places using invariants and state equation in 196 ms returned []
Implicit Place search using SMT with State Equation took 273 ms to find 0 implicit places.
Running 306 sub problems to find dead transitions.
[2026-05-25 01:19:46] [INFO ] Flow matrix only has 210 transitions (discarded 98 similar events)
[2026-05-25 01:19:46] [INFO ] Invariant cache hit.
[2026-05-25 01:19:46] [INFO ] State equation strengthened by 48 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/125 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 306 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/125 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 306 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/125 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 306 unsolved
At refinement iteration 3 (OVERLAPS) 210/335 variables, 125/127 constraints. Problems are: Problem set: 0 solved, 306 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/335 variables, 48/175 constraints. Problems are: Problem set: 0 solved, 306 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/335 variables, 0/175 constraints. Problems are: Problem set: 0 solved, 306 unsolved
All remaining problems are real, not stopping.
At refinement iteration 6 (OVERLAPS) 0/335 variables, 0/175 constraints. Problems are: Problem set: 0 solved, 306 unsolved
No progress, stopping.
After SMT solving in domain Real declared 335/335 variables, and 175 constraints, problems are : Problem set: 0 solved, 306 unsolved in 9191 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 125/125 constraints, ReadFeed: 48/48 constraints, PredecessorRefiner: 306/306 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 306 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/125 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 306 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/125 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 306 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/125 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 306 unsolved
At refinement iteration 3 (OVERLAPS) 210/335 variables, 125/127 constraints. Problems are: Problem set: 0 solved, 306 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/335 variables, 48/175 constraints. Problems are: Problem set: 0 solved, 306 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/335 variables, 306/481 constraints. Problems are: Problem set: 0 solved, 306 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/335 variables, 1/482 constraints. Problems are: Problem set: 0 solved, 306 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/335 variables, 0/482 constraints. Problems are: Problem set: 0 solved, 306 unsolved
At refinement iteration 8 (OVERLAPS) 0/335 variables, 1/483 constraints. Problems are: Problem set: 0 solved, 306 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 335/335 variables, and 483 constraints, problems are : Problem set: 0 solved, 306 unsolved in 30019 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 125/125 constraints, ReadFeed: 48/48 constraints, PredecessorRefiner: 306/306 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 2/2 constraints]
After SMT, in 39279ms problems are : Problem set: 0 solved, 306 unsolved
Search for dead transitions found 0 dead transitions in 39280ms
Starting structural reductions in LTL mode, iteration 1 : 125/195 places, 308/574 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 39579 ms. Remains : 125/195 places, 308/574 transitions.
[2026-05-25 01:20:25] [INFO ] Flatten gal took : 3 ms
[2026-05-25 01:20:25] [INFO ] Flatten gal took : 4 ms
[2026-05-25 01:20:25] [INFO ] Input system was already deterministic with 308 transitions.
[2026-05-25 01:20:25] [INFO ] Flatten gal took : 4 ms
[2026-05-25 01:20:25] [INFO ] Flatten gal took : 4 ms
[2026-05-25 01:20:25] [INFO ] Time to serialize gal into /tmp/CTLFireability6261396367311007200.gal : 1 ms
[2026-05-25 01:20:25] [INFO ] Time to serialize properties into /tmp/CTLFireability153429383135864503.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/CTLFireability6261396367311007200.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability153429383135864503.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 01:20:55] [INFO ] Flatten gal took : 8 ms
[2026-05-25 01:20:55] [INFO ] Applying decomposition
[2026-05-25 01:20:55] [INFO ] Flatten gal took : 5 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/graph3669257005219530823.txt' '-o' '/tmp/graph3669257005219530823.bin' '-w' '/tmp/graph3669257005219530823.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph3669257005219530823.bin' '-l' '-1' '-v' '-w' '/tmp/graph3669257005219530823.weights' '-q' '0' '-e' '0.001'
[2026-05-25 01:20:55] [INFO ] Decomposing Gal with order
[2026-05-25 01:20:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 01:20:55] [INFO ] Removed a total of 515 redundant transitions.
[2026-05-25 01:20:55] [INFO ] Flatten gal took : 13 ms
[2026-05-25 01:20:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 167 labels/synchronizations in 4 ms.
[2026-05-25 01:20:55] [INFO ] Time to serialize gal into /tmp/CTLFireability5020966984903301908.gal : 2 ms
[2026-05-25 01:20:55] [INFO ] Time to serialize properties into /tmp/CTLFireability7417807666238390831.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/CTLFireability5020966984903301908.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7417807666238390831.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 : 195/195 places, 574/574 transitions.
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 22 place count 173 transition count 452
Iterating global reduction 0 with 22 rules applied. Total rules applied 44 place count 173 transition count 452
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 0 with 18 rules applied. Total rules applied 62 place count 173 transition count 434
Discarding 15 places :
Symmetric choice reduction at 1 with 15 rule applications. Total rules 77 place count 158 transition count 396
Iterating global reduction 1 with 15 rules applied. Total rules applied 92 place count 158 transition count 396
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 96 place count 158 transition count 392
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 103 place count 151 transition count 376
Iterating global reduction 2 with 7 rules applied. Total rules applied 110 place count 151 transition count 376
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 117 place count 144 transition count 350
Iterating global reduction 2 with 7 rules applied. Total rules applied 124 place count 144 transition count 350
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 131 place count 137 transition count 326
Iterating global reduction 2 with 7 rules applied. Total rules applied 138 place count 137 transition count 326
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 145 place count 130 transition count 306
Iterating global reduction 2 with 7 rules applied. Total rules applied 152 place count 130 transition count 306
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 159 place count 123 transition count 288
Iterating global reduction 2 with 7 rules applied. Total rules applied 166 place count 123 transition count 288
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 173 place count 116 transition count 274
Iterating global reduction 2 with 7 rules applied. Total rules applied 180 place count 116 transition count 274
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 187 place count 109 transition count 260
Iterating global reduction 2 with 7 rules applied. Total rules applied 194 place count 109 transition count 260
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 201 place count 102 transition count 246
Iterating global reduction 2 with 7 rules applied. Total rules applied 208 place count 102 transition count 246
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 211 place count 99 transition count 240
Iterating global reduction 2 with 3 rules applied. Total rules applied 214 place count 99 transition count 240
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 216 place count 97 transition count 236
Iterating global reduction 2 with 2 rules applied. Total rules applied 218 place count 97 transition count 236
Applied a total of 218 rules in 20 ms. Remains 97 /195 variables (removed 98) and now considering 236/574 (removed 338) transitions.
[2026-05-25 01:21:25] [INFO ] Flow matrix only has 159 transitions (discarded 77 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-992184898515172533.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1765405848478188931.kers'
[2026-05-25 01:21:25] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-992184898515172533.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1765405848478188931.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 159 rows 97 cols 440 entries
Finished phase 1 with 94 SingleSign rule and 1 generalized
[2026-05-25 01:21:25] [INFO ] Computed 2 invariants in 0 ms
Computed 2 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-1765405848478188931.kers
Total runtime 1 ms.
[2026-05-25 01:21:25] [INFO ] Implicit Places using invariants in 69 ms returned []
[2026-05-25 01:21:25] [INFO ] Flow matrix only has 159 transitions (discarded 77 similar events)
[2026-05-25 01:21:25] [INFO ] Invariant cache hit.
[2026-05-25 01:21:25] [INFO ] State equation strengthened by 37 read => feed constraints.
[2026-05-25 01:21:25] [INFO ] Implicit Places using invariants and state equation in 183 ms returned []
Implicit Place search using SMT with State Equation took 272 ms to find 0 implicit places.
Running 234 sub problems to find dead transitions.
[2026-05-25 01:21:25] [INFO ] Flow matrix only has 159 transitions (discarded 77 similar events)
[2026-05-25 01:21:25] [INFO ] Invariant cache hit.
[2026-05-25 01:21:25] [INFO ] State equation strengthened by 37 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/97 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/97 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/97 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 3 (OVERLAPS) 159/256 variables, 97/99 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/256 variables, 37/136 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/256 variables, 0/136 constraints. Problems are: Problem set: 0 solved, 234 unsolved
All remaining problems are real, not stopping.
At refinement iteration 6 (OVERLAPS) 0/256 variables, 0/136 constraints. Problems are: Problem set: 0 solved, 234 unsolved
No progress, stopping.
After SMT solving in domain Real declared 256/256 variables, and 136 constraints, problems are : Problem set: 0 solved, 234 unsolved in 5799 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 97/97 constraints, ReadFeed: 37/37 constraints, PredecessorRefiner: 234/234 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 234 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/97 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/97 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/97 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 3 (OVERLAPS) 159/256 variables, 97/99 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/256 variables, 37/136 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/256 variables, 234/370 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/256 variables, 2/372 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/256 variables, 0/372 constraints. Problems are: Problem set: 0 solved, 234 unsolved
At refinement iteration 8 (OVERLAPS) 0/256 variables, 0/372 constraints. Problems are: Problem set: 0 solved, 234 unsolved
No progress, stopping.
After SMT solving in domain Int declared 256/256 variables, and 372 constraints, problems are : Problem set: 0 solved, 234 unsolved in 21519 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 97/97 constraints, ReadFeed: 37/37 constraints, PredecessorRefiner: 234/234 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 2/2 constraints]
After SMT, in 27399ms problems are : Problem set: 0 solved, 234 unsolved
Search for dead transitions found 0 dead transitions in 27400ms
Starting structural reductions in LTL mode, iteration 1 : 97/195 places, 236/574 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 27694 ms. Remains : 97/195 places, 236/574 transitions.
[2026-05-25 01:21:53] [INFO ] Flatten gal took : 3 ms
[2026-05-25 01:21:53] [INFO ] Flatten gal took : 3 ms
[2026-05-25 01:21:53] [INFO ] Input system was already deterministic with 236 transitions.
[2026-05-25 01:21:53] [INFO ] Flatten gal took : 3 ms
[2026-05-25 01:21:53] [INFO ] Flatten gal took : 3 ms
[2026-05-25 01:21:53] [INFO ] Time to serialize gal into /tmp/CTLFireability8018062288863504041.gal : 1 ms
[2026-05-25 01:21:53] [INFO ] Time to serialize properties into /tmp/CTLFireability2663773144914068745.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/CTLFireability8018062288863504041.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2663773144914068745.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-25 01:22:23] [INFO ] Flatten gal took : 5 ms
[2026-05-25 01:22:23] [INFO ] Applying decomposition
[2026-05-25 01:22:23] [INFO ] Flatten gal took : 4 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/graph17097659114673082360.txt' '-o' '/tmp/graph17097659114673082360.bin' '-w' '/tmp/graph17097659114673082360.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph17097659114673082360.bin' '-l' '-1' '-v' '-w' '/tmp/graph17097659114673082360.weights' '-q' '0' '-e' '0.001'
[2026-05-25 01:22:23] [INFO ] Decomposing Gal with order
[2026-05-25 01:22:23] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 01:22:23] [INFO ] Removed a total of 389 redundant transitions.
[2026-05-25 01:22:23] [INFO ] Flatten gal took : 11 ms
[2026-05-25 01:22:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 127 labels/synchronizations in 2 ms.
[2026-05-25 01:22:23] [INFO ] Time to serialize gal into /tmp/CTLFireability5988295521026431785.gal : 1 ms
[2026-05-25 01:22:23] [INFO ] Time to serialize properties into /tmp/CTLFireability10176277603952929121.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/CTLFireability5988295521026431785.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10176277603952929121.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 : 195/195 places, 574/574 transitions.
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 18 place count 177 transition count 486
Iterating global reduction 0 with 18 rules applied. Total rules applied 36 place count 177 transition count 486
Ensure Unique test removed 28 transitions
Reduce isomorphic transitions removed 28 transitions.
Iterating post reduction 0 with 28 rules applied. Total rules applied 64 place count 177 transition count 458
Discarding 13 places :
Symmetric choice reduction at 1 with 13 rule applications. Total rules 77 place count 164 transition count 424
Iterating global reduction 1 with 13 rules applied. Total rules applied 90 place count 164 transition count 424
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 1 with 12 rules applied. Total rules applied 102 place count 164 transition count 412
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 108 place count 158 transition count 398
Iterating global reduction 2 with 6 rules applied. Total rules applied 114 place count 158 transition count 398
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 118 place count 154 transition count 384
Iterating global reduction 2 with 4 rules applied. Total rules applied 122 place count 154 transition count 384
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 126 place count 150 transition count 370
Iterating global reduction 2 with 4 rules applied. Total rules applied 130 place count 150 transition count 370
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 133 place count 147 transition count 360
Iterating global reduction 2 with 3 rules applied. Total rules applied 136 place count 147 transition count 360
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 139 place count 144 transition count 352
Iterating global reduction 2 with 3 rules applied. Total rules applied 142 place count 144 transition count 352
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 145 place count 141 transition count 346
Iterating global reduction 2 with 3 rules applied. Total rules applied 148 place count 141 transition count 346
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 151 place count 138 transition count 340
Iterating global reduction 2 with 3 rules applied. Total rules applied 154 place count 138 transition count 340
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 156 place count 136 transition count 336
Iterating global reduction 2 with 2 rules applied. Total rules applied 158 place count 136 transition count 336
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 160 place count 134 transition count 332
Iterating global reduction 2 with 2 rules applied. Total rules applied 162 place count 134 transition count 332
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 163 place count 133 transition count 330
Iterating global reduction 2 with 1 rules applied. Total rules applied 164 place count 133 transition count 330
Applied a total of 164 rules in 21 ms. Remains 133 /195 variables (removed 62) and now considering 330/574 (removed 244) transitions.
[2026-05-25 01:22:53] [INFO ] Flow matrix only has 226 transitions (discarded 104 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10272804441556728974.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17122883108023643003.kers'
[2026-05-25 01:22:53] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10272804441556728974.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17122883108023643003.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 226 rows 133 cols 624 entries
Finished phase 1 with 130 SingleSign rule and 1 generalized
[2026-05-25 01:22:53] [INFO ] Computed 2 invariants in 3 ms
Computed 2 P flows in 4 ms.
Exported basis to /tmp/petrispot-output-17122883108023643003.kers
Total runtime 5 ms.
[2026-05-25 01:22:53] [INFO ] Implicit Places using invariants in 82 ms returned []
[2026-05-25 01:22:53] [INFO ] Flow matrix only has 226 transitions (discarded 104 similar events)
[2026-05-25 01:22:53] [INFO ] Invariant cache hit.
[2026-05-25 01:22:53] [INFO ] State equation strengthened by 51 read => feed constraints.
[2026-05-25 01:22:53] [INFO ] Implicit Places using invariants and state equation in 195 ms returned []
Implicit Place search using SMT with State Equation took 278 ms to find 0 implicit places.
Running 328 sub problems to find dead transitions.
[2026-05-25 01:22:53] [INFO ] Flow matrix only has 226 transitions (discarded 104 similar events)
[2026-05-25 01:22:53] [INFO ] Invariant cache hit.
[2026-05-25 01:22:53] [INFO ] State equation strengthened by 51 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/133 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/133 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/133 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 3 (OVERLAPS) 226/359 variables, 133/135 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/359 variables, 51/186 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/359 variables, 0/186 constraints. Problems are: Problem set: 0 solved, 328 unsolved
All remaining problems are real, not stopping.
At refinement iteration 6 (OVERLAPS) 0/359 variables, 0/186 constraints. Problems are: Problem set: 0 solved, 328 unsolved
No progress, stopping.
After SMT solving in domain Real declared 359/359 variables, and 186 constraints, problems are : Problem set: 0 solved, 328 unsolved in 10436 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 133/133 constraints, ReadFeed: 51/51 constraints, PredecessorRefiner: 328/328 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 328 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/133 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/133 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/133 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 3 (OVERLAPS) 226/359 variables, 133/135 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/359 variables, 51/186 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/359 variables, 328/514 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/359 variables, 3/517 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/359 variables, 0/517 constraints. Problems are: Problem set: 0 solved, 328 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 359/359 variables, and 517 constraints, problems are : Problem set: 0 solved, 328 unsolved in 30018 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 133/133 constraints, ReadFeed: 51/51 constraints, PredecessorRefiner: 328/328 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 3/3 constraints]
After SMT, in 40535ms problems are : Problem set: 0 solved, 328 unsolved
Search for dead transitions found 0 dead transitions in 40536ms
Starting structural reductions in LTL mode, iteration 1 : 133/195 places, 330/574 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 40836 ms. Remains : 133/195 places, 330/574 transitions.
[2026-05-25 01:23:34] [INFO ] Flatten gal took : 4 ms
[2026-05-25 01:23:34] [INFO ] Flatten gal took : 4 ms
[2026-05-25 01:23:34] [INFO ] Input system was already deterministic with 330 transitions.
[2026-05-25 01:23:34] [INFO ] Flatten gal took : 4 ms
[2026-05-25 01:23:34] [INFO ] Flatten gal took : 4 ms
[2026-05-25 01:23:34] [INFO ] Time to serialize gal into /tmp/CTLFireability356430057750832536.gal : 2 ms
[2026-05-25 01:23:34] [INFO ] Time to serialize properties into /tmp/CTLFireability2794350993689775275.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/CTLFireability356430057750832536.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2794350993689775275.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 01:24:04] [INFO ] Flatten gal took : 6 ms
[2026-05-25 01:24:04] [INFO ] Applying decomposition
[2026-05-25 01:24:04] [INFO ] Flatten gal took : 6 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/graph9612777314306981915.txt' '-o' '/tmp/graph9612777314306981915.bin' '-w' '/tmp/graph9612777314306981915.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9612777314306981915.bin' '-l' '-1' '-v' '-w' '/tmp/graph9612777314306981915.weights' '-q' '0' '-e' '0.001'
[2026-05-25 01:24:04] [INFO ] Decomposing Gal with order
[2026-05-25 01:24:04] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 01:24:04] [INFO ] Removed a total of 548 redundant transitions.
[2026-05-25 01:24:04] [INFO ] Flatten gal took : 13 ms
[2026-05-25 01:24:04] [INFO ] Fuse similar labels procedure discarded/fused a total of 183 labels/synchronizations in 4 ms.
[2026-05-25 01:24:04] [INFO ] Time to serialize gal into /tmp/CTLFireability13603903155665770443.gal : 1 ms
[2026-05-25 01:24:04] [INFO ] Time to serialize properties into /tmp/CTLFireability1469834465316723122.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/CTLFireability13603903155665770443.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1469834465316723122.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 : 195/195 places, 574/574 transitions.
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 18 place count 177 transition count 486
Iterating global reduction 0 with 18 rules applied. Total rules applied 36 place count 177 transition count 486
Ensure Unique test removed 26 transitions
Reduce isomorphic transitions removed 26 transitions.
Iterating post reduction 0 with 26 rules applied. Total rules applied 62 place count 177 transition count 460
Discarding 10 places :
Symmetric choice reduction at 1 with 10 rule applications. Total rules 72 place count 167 transition count 434
Iterating global reduction 1 with 10 rules applied. Total rules applied 82 place count 167 transition count 434
Discarding 6 places :
Symmetric choice reduction at 1 with 6 rule applications. Total rules 88 place count 161 transition count 420
Iterating global reduction 1 with 6 rules applied. Total rules applied 94 place count 161 transition count 420
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 98 place count 157 transition count 406
Iterating global reduction 1 with 4 rules applied. Total rules applied 102 place count 157 transition count 406
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 106 place count 153 transition count 394
Iterating global reduction 1 with 4 rules applied. Total rules applied 110 place count 153 transition count 394
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 114 place count 149 transition count 380
Iterating global reduction 1 with 4 rules applied. Total rules applied 118 place count 149 transition count 380
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 122 place count 145 transition count 368
Iterating global reduction 1 with 4 rules applied. Total rules applied 126 place count 145 transition count 368
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 130 place count 141 transition count 360
Iterating global reduction 1 with 4 rules applied. Total rules applied 134 place count 141 transition count 360
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 138 place count 137 transition count 352
Iterating global reduction 1 with 4 rules applied. Total rules applied 142 place count 137 transition count 352
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 146 place count 133 transition count 344
Iterating global reduction 1 with 4 rules applied. Total rules applied 150 place count 133 transition count 344
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 153 place count 130 transition count 338
Iterating global reduction 1 with 3 rules applied. Total rules applied 156 place count 130 transition count 338
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 158 place count 128 transition count 334
Iterating global reduction 1 with 2 rules applied. Total rules applied 160 place count 128 transition count 334
Applied a total of 160 rules in 21 ms. Remains 128 /195 variables (removed 67) and now considering 334/574 (removed 240) transitions.
[2026-05-25 01:24:34] [INFO ] Flow matrix only has 221 transitions (discarded 113 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7474190217389891631.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4493445002006193129.kers'
[2026-05-25 01:24:34] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7474190217389891631.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4493445002006193129.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 221 rows 128 cols 598 entries
Finished phase 1 with 125 SingleSign rule and 1 generalized
[2026-05-25 01:24:34] [INFO ] Computed 2 invariants in 2 ms
Computed 2 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-4493445002006193129.kers
Total runtime 4 ms.
[2026-05-25 01:24:34] [INFO ] Implicit Places using invariants in 91 ms returned []
[2026-05-25 01:24:34] [INFO ] Flow matrix only has 221 transitions (discarded 113 similar events)
[2026-05-25 01:24:34] [INFO ] Invariant cache hit.
[2026-05-25 01:24:34] [INFO ] State equation strengthened by 46 read => feed constraints.
[2026-05-25 01:24:34] [INFO ] Implicit Places using invariants and state equation in 246 ms returned []
Implicit Place search using SMT with State Equation took 339 ms to find 0 implicit places.
Running 332 sub problems to find dead transitions.
[2026-05-25 01:24:34] [INFO ] Flow matrix only has 221 transitions (discarded 113 similar events)
[2026-05-25 01:24:34] [INFO ] Invariant cache hit.
[2026-05-25 01:24:34] [INFO ] State equation strengthened by 46 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/128 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 332 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/128 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 332 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/128 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 332 unsolved
At refinement iteration 3 (OVERLAPS) 221/349 variables, 128/130 constraints. Problems are: Problem set: 0 solved, 332 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/349 variables, 46/176 constraints. Problems are: Problem set: 0 solved, 332 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/349 variables, 0/176 constraints. Problems are: Problem set: 0 solved, 332 unsolved
All remaining problems are real, not stopping.
At refinement iteration 6 (OVERLAPS) 0/349 variables, 0/176 constraints. Problems are: Problem set: 0 solved, 332 unsolved
No progress, stopping.
After SMT solving in domain Real declared 349/349 variables, and 176 constraints, problems are : Problem set: 0 solved, 332 unsolved in 9978 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 128/128 constraints, ReadFeed: 46/46 constraints, PredecessorRefiner: 332/332 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 332 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/128 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 332 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/128 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 332 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/128 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 332 unsolved
At refinement iteration 3 (OVERLAPS) 221/349 variables, 128/130 constraints. Problems are: Problem set: 0 solved, 332 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/349 variables, 46/176 constraints. Problems are: Problem set: 0 solved, 332 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/349 variables, 332/508 constraints. Problems are: Problem set: 0 solved, 332 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/349 variables, 4/512 constraints. Problems are: Problem set: 0 solved, 332 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 349/349 variables, and 514 constraints, problems are : Problem set: 0 solved, 332 unsolved in 30027 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 1/1 constraints, State Equation: 128/128 constraints, ReadFeed: 46/46 constraints, PredecessorRefiner: 332/332 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 6/6 constraints]
After SMT, in 40084ms problems are : Problem set: 0 solved, 332 unsolved
Search for dead transitions found 0 dead transitions in 40085ms
Starting structural reductions in LTL mode, iteration 1 : 128/195 places, 334/574 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 40446 ms. Remains : 128/195 places, 334/574 transitions.
[2026-05-25 01:25:14] [INFO ] Flatten gal took : 3 ms
[2026-05-25 01:25:14] [INFO ] Flatten gal took : 5 ms
[2026-05-25 01:25:14] [INFO ] Input system was already deterministic with 334 transitions.
[2026-05-25 01:25:15] [INFO ] Flatten gal took : 5 ms
[2026-05-25 01:25:15] [INFO ] Flatten gal took : 4 ms
[2026-05-25 01:25:15] [INFO ] Time to serialize gal into /tmp/CTLFireability3479506538538084179.gal : 1 ms
[2026-05-25 01:25:15] [INFO ] Time to serialize properties into /tmp/CTLFireability6532907806693565675.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/CTLFireability3479506538538084179.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6532907806693565675.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-25 01:25:45] [INFO ] Flatten gal took : 4 ms
[2026-05-25 01:25:45] [INFO ] Applying decomposition
[2026-05-25 01:25:45] [INFO ] Flatten gal took : 6 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/graph3763854486737320082.txt' '-o' '/tmp/graph3763854486737320082.bin' '-w' '/tmp/graph3763854486737320082.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph3763854486737320082.bin' '-l' '-1' '-v' '-w' '/tmp/graph3763854486737320082.weights' '-q' '0' '-e' '0.001'
[2026-05-25 01:25:45] [INFO ] Decomposing Gal with order
[2026-05-25 01:25:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 01:25:45] [INFO ] Removed a total of 580 redundant transitions.
[2026-05-25 01:25:45] [INFO ] Flatten gal took : 17 ms
[2026-05-25 01:25:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 174 labels/synchronizations in 18 ms.
[2026-05-25 01:25:45] [INFO ] Time to serialize gal into /tmp/CTLFireability17492885168576597170.gal : 2 ms
[2026-05-25 01:25:45] [INFO ] Time to serialize properties into /tmp/CTLFireability5213890374037430926.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/CTLFireability17492885168576597170.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5213890374037430926.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 01:26:15] [INFO ] Flatten gal took : 12 ms
[2026-05-25 01:26:15] [INFO ] Flatten gal took : 15 ms
[2026-05-25 01:26:15] [INFO ] Applying decomposition
[2026-05-25 01:26:15] [INFO ] Flatten gal took : 7 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/graph1850579927597944266.txt' '-o' '/tmp/graph1850579927597944266.bin' '-w' '/tmp/graph1850579927597944266.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1850579927597944266.bin' '-l' '-1' '-v' '-w' '/tmp/graph1850579927597944266.weights' '-q' '0' '-e' '0.001'
[2026-05-25 01:26:15] [INFO ] Decomposing Gal with order
[2026-05-25 01:26:15] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 01:26:15] [INFO ] Removed a total of 818 redundant transitions.
[2026-05-25 01:26:15] [INFO ] Flatten gal took : 26 ms
[2026-05-25 01:26:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 312 labels/synchronizations in 6 ms.
[2026-05-25 01:26:15] [INFO ] Time to serialize gal into /tmp/CTLFireability1486486012544114099.gal : 3 ms
[2026-05-25 01:26:15] [INFO ] Time to serialize properties into /tmp/CTLFireability15566466838541082486.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/CTLFireability1486486012544114099.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15566466838541082486.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 11 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 01:52:38] [INFO ] Flatten gal took : 9 ms
[2026-05-25 01:52:38] [INFO ] Time to serialize gal into /tmp/CTLFireability9106303262985897430.gal : 3 ms
[2026-05-25 01:52:38] [INFO ] Time to serialize properties into /tmp/CTLFireability15991880186225221687.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/CTLFireability9106303262985897430.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15991880186225221687.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 11 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="FunctionPointer-PT-b008"
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 FunctionPointer-PT-b008, 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 r146-tall-177961073900074"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FunctionPointer-PT-b008.tgz
mv FunctionPointer-PT-b008 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 ;