About the Execution of ITS-Tools for FamilyReunion-PT-L00020M0002C001P001G001
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16203.436 | 3600000.00 | 3191529.00 | 197172.50 | ???T?T?F???????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.r130-smll-177955808900106.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 FamilyReunion-PT-L00020M0002C001P001G001, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r130-smll-177955808900106
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.3M
-rw-r--r-- 1 mcc users 61K Mar 6 07:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 418K Mar 6 07:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 72K Mar 6 07:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 280K Mar 6 07:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 3 18:30 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 7.0K Mar 3 18:30 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 15K Mar 15 10:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Mar 15 10:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 32K Mar 15 10:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 96K Mar 15 10:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 53K Mar 6 07:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 349K Mar 6 07:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 124K Mar 6 07:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 478K Mar 6 07:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 15 10:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 9.4K Mar 15 10:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 24 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 1.3M 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 FamilyReunion-PT-L00020M0002C001P001G001-CTLFireability-2024-00
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLFireability-2024-01
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLFireability-2024-02
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLFireability-2024-03
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLFireability-2024-04
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLFireability-2024-05
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLFireability-2024-06
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLFireability-2024-07
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLFireability-2024-08
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLFireability-2024-09
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLFireability-2024-10
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLFireability-2024-11
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLFireability-2024-12
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLFireability-2024-13
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLFireability-2024-14
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLFireability-2024-15
=== Now, execution of the tool begins
BK_START 1779739065258
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FamilyReunion-PT-L00020M0002C001P001G001
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202604301425
[2026-05-25 19:57:47] [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 19:57:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-25 19:57:48] [INFO ] Load time of PNML (sax parser for PT used): 414 ms
[2026-05-25 19:57:48] [INFO ] Transformed 3271 places.
[2026-05-25 19:57:48] [INFO ] Transformed 2753 transitions.
[2026-05-25 19:57:48] [INFO ] Parsed PT model containing 3271 places and 2753 transitions and 8446 arcs in 644 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 55 ms.
Reduce places removed 11 places and 0 transitions.
Support contains 2189 out of 3260 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 3260/3260 places, 2753/2753 transitions.
Reduce places removed 76 places and 0 transitions.
Discarding 125 places :
Implicit places reduction removed 125 places
Iterating post reduction 0 with 201 rules applied. Total rules applied 201 place count 3059 transition count 2753
Discarding 158 places :
Symmetric choice reduction at 1 with 158 rule applications. Total rules 359 place count 2901 transition count 2575
Iterating global reduction 1 with 158 rules applied. Total rules applied 517 place count 2901 transition count 2575
Discarding 19 places :
Implicit places reduction removed 19 places
Iterating post reduction 1 with 19 rules applied. Total rules applied 536 place count 2882 transition count 2575
Discarding 17 places :
Symmetric choice reduction at 2 with 17 rule applications. Total rules 553 place count 2865 transition count 2558
Iterating global reduction 2 with 17 rules applied. Total rules applied 570 place count 2865 transition count 2558
Applied a total of 570 rules in 347 ms. Remains 2865 /3260 variables (removed 395) and now considering 2558/2753 (removed 195) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3775956157810472471.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11226393195613364741.kers'
[2026-05-25 19:57:49] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3775956157810472471.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11226393195613364741.kers]
Culled 0 columns in 2 ms.
// Phase 1: matrix 2558 rows 2865 cols 6864 entries
Finished phase 1 with 1826 SingleSign rule and 485 generalized
[2026-05-25 19:57:49] [INFO ] Computed 554 invariants in 28 ms
Computed 554 P flows in 29 ms.
Exported basis to /tmp/petrispot-output-11226393195613364741.kers
Total runtime 34 ms.
[2026-05-25 19:57:51] [INFO ] Implicit Places using invariants in 2191 ms returned [1924, 1925, 2165, 2166, 2167, 2168, 2169, 2170, 2171, 2172, 2173, 2174, 2175, 2176, 2177, 2178, 2179, 2180, 2182, 2183, 2184, 2695, 2697, 2698, 2699, 2700, 2701, 2702, 2703, 2704, 2705, 2706, 2707, 2708, 2710, 2711, 2712, 2713, 2714, 2715]
Discarding 40 places :
Implicit Place search using SMT only with invariants took 2251 ms to find 40 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2825/3260 places, 2558/2753 transitions.
Applied a total of 0 rules in 60 ms. Remains 2825 /2825 variables (removed 0) and now considering 2558/2558 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 2695 ms. Remains : 2825/3260 places, 2558/2753 transitions.
Starting structural reductions in LTL mode, iteration 0 : 2825/2825 places, 2558/2558 transitions.
Applied a total of 0 rules in 55 ms. Remains 2825 /2825 variables (removed 0) and now considering 2558/2558 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1667777250077078452.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5254174633464679075.kers'
[2026-05-25 19:57:51] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1667777250077078452.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5254174633464679075.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 2558 rows 2825 cols 6784 entries
Finished phase 1 with 1883 SingleSign rule and 428 generalized
[2026-05-25 19:57:51] [INFO ] Computed 514 invariants in 30 ms
Computed 514 P flows in 30 ms.
Exported basis to /tmp/petrispot-output-5254174633464679075.kers
Total runtime 36 ms.
[2026-05-25 19:57:52] [INFO ] Implicit Places using invariants in 1118 ms returned []
[2026-05-25 19:57:52] [INFO ] Invariant cache hit.
[2026-05-25 19:57:56] [INFO ] Implicit Places using invariants and state equation in 3556 ms returned []
Implicit Place search using SMT with State Equation took 4680 ms to find 0 implicit places.
Running 2537 sub problems to find dead transitions.
[2026-05-25 19:57:56] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/2804 variables, 511/511 constraints. Problems are: Problem set: 0 solved, 2537 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2804/5383 variables, and 511 constraints, problems are : Problem set: 0 solved, 2537 unsolved in 30210 ms.
Refiners :[Generalized P Invariants (flows): 511/514 constraints, State Equation: 0/2825 constraints, PredecessorRefiner: 2537/2537 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2537 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/2804 variables, 511/511 constraints. Problems are: Problem set: 0 solved, 2537 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 2804/5383 variables, and 511 constraints, problems are : Problem set: 0 solved, 2537 unsolved in 30138 ms.
Refiners :[Generalized P Invariants (flows): 511/514 constraints, State Equation: 0/2825 constraints, PredecessorRefiner: 0/2537 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 61879ms problems are : Problem set: 0 solved, 2537 unsolved
Search for dead transitions found 0 dead transitions in 61945ms
Finished structural reductions in LTL mode , in 1 iterations and 66748 ms. Remains : 2825/2825 places, 2558/2558 transitions.
Support contains 2189 out of 2825 places after structural reductions.
[2026-05-25 19:58:59] [INFO ] Flatten gal took : 393 ms
[2026-05-25 19:58:59] [INFO ] Flatten gal took : 164 ms
[2026-05-25 19:58:59] [INFO ] Input system was already deterministic with 2558 transitions.
Support contains 2068 out of 2825 places (down from 2189) after GAL structural reductions.
Reduction of identical properties reduced properties to check from 94 to 93
RANDOM walk for 40000 steps (32 resets) in 5210 ms. (7 steps per ms) remains 10/93 properties
BEST_FIRST walk for 40003 steps (8 resets) in 412 ms. (96 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40003 steps (8 resets) in 177 ms. (224 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 111 ms. (357 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40002 steps (8 resets) in 153 ms. (259 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 132 ms. (300 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 99 ms. (400 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 118 ms. (336 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 212 ms. (187 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40003 steps (8 resets) in 538 ms. (74 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40002 steps (8 resets) in 111 ms. (357 steps per ms) remains 10/10 properties
[2026-05-25 19:59:01] [INFO ] Invariant cache hit.
Excessive predecessor constraint size, skipping predecessor.
At refinement iteration 0 (INCLUDED_ONLY) 0/113 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 1 (OVERLAPS) 1786/1899 variables, 61/61 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1899 variables, 0/61 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 3 (OVERLAPS) 917/2816 variables, 452/513 constraints. Problems are: Problem set: 0 solved, 10 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2816/5383 variables, and 513 constraints, problems are : Problem set: 0 solved, 10 unsolved in 5030 ms.
Refiners :[Generalized P Invariants (flows): 513/514 constraints, State Equation: 0/2825 constraints, PredecessorRefiner: 10/9 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 10 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/113 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 1 (OVERLAPS) 1786/1899 variables, 61/61 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1899 variables, 0/61 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 3 (OVERLAPS) 917/2816 variables, 452/513 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2816 variables, 0/513 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 5 (OVERLAPS) 2/2818 variables, 1/514 constraints. Problems are: Problem set: 0 solved, 10 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 2818/5383 variables, and 514 constraints, problems are : Problem set: 0 solved, 10 unsolved in 5021 ms.
Refiners :[Generalized P Invariants (flows): 514/514 constraints, State Equation: 0/2825 constraints, PredecessorRefiner: 1/9 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 10108ms problems are : Problem set: 0 solved, 10 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 113 out of 2825 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2825/2825 places, 2558/2558 transitions.
Graph (complete) has 4058 edges and 2825 vertex of which 2740 are kept as prefixes of interest. Removing 85 places using SCC suffix rule.14 ms
Discarding 85 places :
Also discarding 83 output transitions
Drop transitions (Output transitions of discarded places.) removed 83 transitions
Drop transitions (Empty/Sink Transition effects.) removed 23 transitions
Reduce isomorphic transitions removed 23 transitions.
Discarding 251 places :
Implicit places reduction removed 251 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 1062 transitions
Trivial Post-agglo rules discarded 1062 transitions
Performed 1062 trivial Post agglomeration. Transition count delta: 1062
Iterating post reduction 0 with 1336 rules applied. Total rules applied 1337 place count 2489 transition count 1390
Reduce places removed 1062 places and 0 transitions.
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 38 transitions
Trivial Post-agglo rules discarded 38 transitions
Performed 38 trivial Post agglomeration. Transition count delta: 38
Iterating post reduction 1 with 1119 rules applied. Total rules applied 2456 place count 1427 transition count 1333
Reduce places removed 38 places and 0 transitions.
Performed 71 Post agglomeration using F-continuation condition.Transition count delta: 71
Iterating post reduction 2 with 109 rules applied. Total rules applied 2565 place count 1389 transition count 1262
Reduce places removed 71 places and 0 transitions.
Iterating post reduction 3 with 71 rules applied. Total rules applied 2636 place count 1318 transition count 1262
Performed 228 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 228 Pre rules applied. Total rules applied 2636 place count 1318 transition count 1034
Deduced a syphon composed of 228 places in 2 ms
Ensure Unique test removed 83 places
Reduce places removed 311 places and 0 transitions.
Iterating global reduction 4 with 539 rules applied. Total rules applied 3175 place count 1007 transition count 1034
Discarding 22 places :
Implicit places reduction removed 22 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 37 transitions
Trivial Post-agglo rules discarded 37 transitions
Performed 37 trivial Post agglomeration. Transition count delta: 37
Iterating post reduction 4 with 59 rules applied. Total rules applied 3234 place count 985 transition count 997
Reduce places removed 37 places and 0 transitions.
Performed 24 Post agglomeration using F-continuation condition.Transition count delta: 24
Iterating post reduction 5 with 61 rules applied. Total rules applied 3295 place count 948 transition count 973
Reduce places removed 24 places and 0 transitions.
Iterating post reduction 6 with 24 rules applied. Total rules applied 3319 place count 924 transition count 973
Discarding 146 places :
Symmetric choice reduction at 7 with 146 rule applications. Total rules 3465 place count 778 transition count 827
Iterating global reduction 7 with 146 rules applied. Total rules applied 3611 place count 778 transition count 827
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 2 places :
Implicit places reduction removed 2 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 50 transitions
Trivial Post-agglo rules discarded 50 transitions
Performed 50 trivial Post agglomeration. Transition count delta: 50
Iterating post reduction 7 with 54 rules applied. Total rules applied 3665 place count 776 transition count 775
Reduce places removed 50 places and 0 transitions.
Iterating post reduction 8 with 50 rules applied. Total rules applied 3715 place count 726 transition count 775
Performed 44 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 9 with 44 Pre rules applied. Total rules applied 3715 place count 726 transition count 731
Deduced a syphon composed of 44 places in 1 ms
Reduce places removed 44 places and 0 transitions.
Iterating global reduction 9 with 88 rules applied. Total rules applied 3803 place count 682 transition count 731
Discarding 3 places :
Symmetric choice reduction at 9 with 3 rule applications. Total rules 3806 place count 679 transition count 668
Iterating global reduction 9 with 3 rules applied. Total rules applied 3809 place count 679 transition count 668
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Discarding 24 places :
Implicit places reduction removed 24 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 22 transitions
Trivial Post-agglo rules discarded 22 transitions
Performed 22 trivial Post agglomeration. Transition count delta: 22
Iterating post reduction 9 with 62 rules applied. Total rules applied 3871 place count 655 transition count 630
Reduce places removed 22 places and 0 transitions.
Iterating post reduction 10 with 22 rules applied. Total rules applied 3893 place count 633 transition count 630
Performed 22 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 11 with 22 Pre rules applied. Total rules applied 3893 place count 633 transition count 608
Deduced a syphon composed of 22 places in 1 ms
Reduce places removed 22 places and 0 transitions.
Iterating global reduction 11 with 44 rules applied. Total rules applied 3937 place count 611 transition count 608
Performed 78 Post agglomeration using F-continuation condition.Transition count delta: 78
Deduced a syphon composed of 78 places in 4 ms
Ensure Unique test removed 15 places
Reduce places removed 93 places and 0 transitions.
Iterating global reduction 11 with 171 rules applied. Total rules applied 4108 place count 518 transition count 530
Drop transitions (Redundant composition of simpler transitions.) removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 11 with 2 rules applied. Total rules applied 4110 place count 518 transition count 528
Free-agglomeration rule applied 2 times.
Iterating global reduction 11 with 2 rules applied. Total rules applied 4112 place count 518 transition count 526
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 11 with 2 rules applied. Total rules applied 4114 place count 516 transition count 526
Free-agglomeration rule (complex) applied 42 times.
Iterating global reduction 12 with 42 rules applied. Total rules applied 4156 place count 516 transition count 484
Reduce places removed 42 places and 0 transitions.
Iterating post reduction 12 with 42 rules applied. Total rules applied 4198 place count 474 transition count 484
Partial Free-agglomeration rule applied 19 times.
Drop transitions (Partial Free agglomeration) removed 19 transitions
Iterating global reduction 13 with 19 rules applied. Total rules applied 4217 place count 474 transition count 484
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 13 with 1 rules applied. Total rules applied 4218 place count 473 transition count 483
Applied a total of 4218 rules in 806 ms. Remains 473 /2825 variables (removed 2352) and now considering 483/2558 (removed 2075) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 807 ms. Remains : 473/2825 places, 483/2558 transitions.
RANDOM walk for 40000 steps (188 resets) in 458 ms. (87 steps per ms) remains 0/10 properties
[2026-05-25 19:59:13] [INFO ] Flatten gal took : 83 ms
[2026-05-25 19:59:13] [INFO ] Flatten gal took : 91 ms
[2026-05-25 19:59:13] [INFO ] Input system was already deterministic with 2558 transitions.
Computed a total of 2825 stabilizing places and 2558 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 2825 transition count 2558
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
AF dead knowledge conclusive for 1 formulas.
FORMULA FamilyReunion-PT-L00020M0002C001P001G001-CTLFireability-2024-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Starting structural reductions in LTL mode, iteration 0 : 2825/2825 places, 2558/2558 transitions.
Discarding 127 places :
Implicit places reduction removed 127 places
Iterating post reduction 0 with 127 rules applied. Total rules applied 127 place count 2698 transition count 2558
Discarding 115 places :
Symmetric choice reduction at 1 with 115 rule applications. Total rules 242 place count 2583 transition count 2442
Iterating global reduction 1 with 115 rules applied. Total rules applied 357 place count 2583 transition count 2442
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 360 place count 2580 transition count 2419
Iterating global reduction 1 with 3 rules applied. Total rules applied 363 place count 2580 transition count 2419
Discarding 2 places :
Implicit places reduction removed 2 places
Iterating post reduction 1 with 2 rules applied. Total rules applied 365 place count 2578 transition count 2419
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 366 place count 2577 transition count 2398
Iterating global reduction 2 with 1 rules applied. Total rules applied 367 place count 2577 transition count 2398
Applied a total of 367 rules in 806 ms. Remains 2577 /2825 variables (removed 248) and now considering 2398/2558 (removed 160) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10104414672886424007.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6586428410090280240.kers'
[2026-05-25 19:59:14] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10104414672886424007.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6586428410090280240.kers]
Culled 0 columns in 2 ms.
// Phase 1: matrix 2398 rows 2577 cols 6057 entries
Finished phase 1 with 1854 SingleSign rule and 338 generalized
[2026-05-25 19:59:14] [INFO ] Computed 385 invariants in 22 ms
Computed 385 P flows in 23 ms.
Exported basis to /tmp/petrispot-output-6586428410090280240.kers
Total runtime 26 ms.
[2026-05-25 19:59:16] [INFO ] Implicit Places using invariants in 1815 ms returned [231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 462, 862, 863, 864, 865, 866, 867, 868, 869, 870, 871, 872, 873, 874, 875, 876, 877, 878, 879, 880, 881, 882, 1433, 1434, 1435, 1436, 1437, 1438, 1439, 1440, 1441, 1442, 1443, 1444, 1445, 1446, 1447, 1448, 1449, 1450, 1451, 1452, 1453, 1667, 1668, 1669, 1670, 1671, 1672, 1673, 1674, 1675, 1676, 1677, 1678, 1679, 1680, 1681, 1682, 1683, 1684, 1685, 1686, 1687, 1921, 1922, 2366]
Discarding 88 places :
Implicit Place search using SMT only with invariants took 1829 ms to find 88 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2489/2825 places, 2398/2558 transitions.
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 41 place count 2448 transition count 2357
Iterating global reduction 0 with 41 rules applied. Total rules applied 82 place count 2448 transition count 2357
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 102 place count 2428 transition count 2317
Iterating global reduction 0 with 20 rules applied. Total rules applied 122 place count 2428 transition count 2317
Applied a total of 122 rules in 483 ms. Remains 2428 /2489 variables (removed 61) and now considering 2317/2398 (removed 81) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1358267456327009118.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15875138548841440906.kers'
[2026-05-25 19:59:16] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1358267456327009118.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15875138548841440906.kers]
Culled 0 columns in 4 ms.
// Phase 1: matrix 2317 rows 2428 cols 5576 entries
Finished phase 1 with 1858 SingleSign rule and 273 generalized
[2026-05-25 19:59:16] [INFO ] Computed 297 invariants in 28 ms
Computed 297 P flows in 28 ms.
Exported basis to /tmp/petrispot-output-15875138548841440906.kers
Total runtime 33 ms.
[2026-05-25 19:59:17] [INFO ] Implicit Places using invariants in 1200 ms returned []
[2026-05-25 19:59:17] [INFO ] Invariant cache hit.
[2026-05-25 19:59:23] [INFO ] Implicit Places using invariants and state equation in 5331 ms returned []
Implicit Place search using SMT with State Equation took 6535 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 2428/2825 places, 2317/2558 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 9655 ms. Remains : 2428/2825 places, 2317/2558 transitions.
[2026-05-25 19:59:23] [INFO ] Flatten gal took : 93 ms
[2026-05-25 19:59:23] [INFO ] Flatten gal took : 98 ms
[2026-05-25 19:59:23] [INFO ] Input system was already deterministic with 2317 transitions.
[2026-05-25 19:59:23] [INFO ] Flatten gal took : 70 ms
[2026-05-25 19:59:23] [INFO ] Flatten gal took : 58 ms
[2026-05-25 19:59:23] [INFO ] Time to serialize gal into /tmp/CTLFireability8325677259923488094.gal : 49 ms
[2026-05-25 19:59:23] [INFO ] Time to serialize properties into /tmp/CTLFireability13734599634680754324.ctl : 11 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/CTLFireability8325677259923488094.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13734599634680754324.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 19:59:54] [INFO ] Flatten gal took : 55 ms
[2026-05-25 19:59:54] [INFO ] Applying decomposition
[2026-05-25 19:59:54] [INFO ] Flatten gal took : 57 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/graph9581569789248177991.txt' '-o' '/tmp/graph9581569789248177991.bin' '-w' '/tmp/graph9581569789248177991.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9581569789248177991.bin' '-l' '-1' '-v' '-w' '/tmp/graph9581569789248177991.weights' '-q' '0' '-e' '0.001'
[2026-05-25 19:59:54] [INFO ] Decomposing Gal with order
[2026-05-25 19:59:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 19:59:55] [INFO ] Removed a total of 480 redundant transitions.
[2026-05-25 19:59:55] [INFO ] Flatten gal took : 301 ms
[2026-05-25 19:59:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 4 labels/synchronizations in 41 ms.
[2026-05-25 19:59:55] [INFO ] Time to serialize gal into /tmp/CTLFireability12936741988296490125.gal : 52 ms
[2026-05-25 19:59:55] [INFO ] Time to serialize properties into /tmp/CTLFireability3975182298590041654.ctl : 6 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12936741988296490125.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3975182298590041654.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 : 2825/2825 places, 2558/2558 transitions.
Discarding 190 places :
Implicit places reduction removed 190 places
Iterating post reduction 0 with 190 rules applied. Total rules applied 190 place count 2635 transition count 2558
Discarding 137 places :
Symmetric choice reduction at 1 with 137 rule applications. Total rules 327 place count 2498 transition count 2420
Iterating global reduction 1 with 137 rules applied. Total rules applied 464 place count 2498 transition count 2420
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 1 with 19 rules applied. Total rules applied 483 place count 2498 transition count 2401
Discarding 47 places :
Symmetric choice reduction at 2 with 47 rule applications. Total rules 530 place count 2451 transition count 2314
Iterating global reduction 2 with 47 rules applied. Total rules applied 577 place count 2451 transition count 2314
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 4 places :
Implicit places reduction removed 4 places
Iterating post reduction 2 with 6 rules applied. Total rules applied 583 place count 2447 transition count 2312
Discarding 84 places :
Symmetric choice reduction at 3 with 84 rule applications. Total rules 667 place count 2363 transition count 2228
Iterating global reduction 3 with 84 rules applied. Total rules applied 751 place count 2363 transition count 2228
Discarding 24 places :
Symmetric choice reduction at 3 with 24 rule applications. Total rules 775 place count 2339 transition count 2144
Iterating global reduction 3 with 24 rules applied. Total rules applied 799 place count 2339 transition count 2144
Discarding 21 places :
Implicit places reduction removed 21 places
Iterating post reduction 3 with 21 rules applied. Total rules applied 820 place count 2318 transition count 2144
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 862 place count 2276 transition count 2102
Iterating global reduction 4 with 42 rules applied. Total rules applied 904 place count 2276 transition count 2102
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 946 place count 2234 transition count 2060
Iterating global reduction 4 with 42 rules applied. Total rules applied 988 place count 2234 transition count 2060
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1030 place count 2192 transition count 2018
Iterating global reduction 4 with 42 rules applied. Total rules applied 1072 place count 2192 transition count 2018
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1114 place count 2150 transition count 1976
Iterating global reduction 4 with 42 rules applied. Total rules applied 1156 place count 2150 transition count 1976
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1198 place count 2108 transition count 1934
Iterating global reduction 4 with 42 rules applied. Total rules applied 1240 place count 2108 transition count 1934
Applied a total of 1240 rules in 1348 ms. Remains 2108 /2825 variables (removed 717) and now considering 1934/2558 (removed 624) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1813990464018717807.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10607969894040435731.kers'
[2026-05-25 20:00:27] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1813990464018717807.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10607969894040435731.kers]
Culled 0 columns in 2 ms.
// Phase 1: matrix 1934 rows 2108 cols 4791 entries
Finished phase 1 with 1536 SingleSign rule and 273 generalized
[2026-05-25 20:00:27] [INFO ] Computed 299 invariants in 17 ms
Computed 299 P flows in 25 ms.
Exported basis to /tmp/petrispot-output-10607969894040435731.kers
Total runtime 27 ms.
[2026-05-25 20:00:28] [INFO ] Implicit Places using invariants in 1603 ms returned [147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 884, 885, 886, 887, 888, 889, 890, 891, 892, 893, 894, 895, 896, 897, 898, 899, 900, 901, 902, 903, 904, 1158, 1201, 1202, 1203, 1204, 1205, 1206, 1207, 1208, 1209, 1210, 1211, 1212, 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1264, 1624, 1625, 1626, 1627, 1628, 1629, 1630, 1631, 1632, 1633, 1634, 1635, 1636, 1637, 1638, 1639, 1640, 1641, 1642, 1643, 1644, 1918]
Discarding 108 places :
Implicit Place search using SMT only with invariants took 1606 ms to find 108 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2000/2825 places, 1934/2558 transitions.
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 41 place count 1959 transition count 1893
Iterating global reduction 0 with 41 rules applied. Total rules applied 82 place count 1959 transition count 1893
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 102 place count 1939 transition count 1853
Iterating global reduction 0 with 20 rules applied. Total rules applied 122 place count 1939 transition count 1853
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 142 place count 1919 transition count 1833
Iterating global reduction 0 with 20 rules applied. Total rules applied 162 place count 1919 transition count 1833
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 182 place count 1899 transition count 1813
Iterating global reduction 0 with 20 rules applied. Total rules applied 202 place count 1899 transition count 1813
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 222 place count 1879 transition count 1793
Iterating global reduction 0 with 20 rules applied. Total rules applied 242 place count 1879 transition count 1793
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 262 place count 1859 transition count 1773
Iterating global reduction 0 with 20 rules applied. Total rules applied 282 place count 1859 transition count 1773
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 302 place count 1839 transition count 1753
Iterating global reduction 0 with 20 rules applied. Total rules applied 322 place count 1839 transition count 1753
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 342 place count 1819 transition count 1733
Iterating global reduction 0 with 20 rules applied. Total rules applied 362 place count 1819 transition count 1733
Applied a total of 362 rules in 887 ms. Remains 1819 /2000 variables (removed 181) and now considering 1733/1934 (removed 201) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4988873061608074858.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10596018196081376619.kers'
[2026-05-25 20:00:29] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4988873061608074858.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10596018196081376619.kers]
Culled 0 columns in 2 ms.
// Phase 1: matrix 1733 rows 1819 cols 3970 entries
Finished phase 1 with 1481 SingleSign rule and 147 generalized
[2026-05-25 20:00:29] [INFO ] Computed 191 invariants in 17 ms
Computed 191 P flows in 18 ms.
Exported basis to /tmp/petrispot-output-10596018196081376619.kers
Total runtime 20 ms.
[2026-05-25 20:00:30] [INFO ] Implicit Places using invariants in 637 ms returned []
[2026-05-25 20:00:30] [INFO ] Invariant cache hit.
[2026-05-25 20:00:33] [INFO ] Implicit Places using invariants and state equation in 2893 ms returned []
Implicit Place search using SMT with State Equation took 3534 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1819/2825 places, 1733/2558 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 7376 ms. Remains : 1819/2825 places, 1733/2558 transitions.
[2026-05-25 20:00:33] [INFO ] Flatten gal took : 43 ms
[2026-05-25 20:00:33] [INFO ] Flatten gal took : 57 ms
[2026-05-25 20:00:33] [INFO ] Input system was already deterministic with 1733 transitions.
[2026-05-25 20:00:33] [INFO ] Flatten gal took : 59 ms
[2026-05-25 20:00:33] [INFO ] Flatten gal took : 55 ms
[2026-05-25 20:00:33] [INFO ] Time to serialize gal into /tmp/CTLFireability15647380726222577285.gal : 13 ms
[2026-05-25 20:00:33] [INFO ] Time to serialize properties into /tmp/CTLFireability4565464196256401816.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15647380726222577285.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4565464196256401816.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 20:01:03] [INFO ] Flatten gal took : 33 ms
[2026-05-25 20:01:03] [INFO ] Applying decomposition
[2026-05-25 20:01:03] [INFO ] Flatten gal took : 36 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/graph2400231656140612552.txt' '-o' '/tmp/graph2400231656140612552.bin' '-w' '/tmp/graph2400231656140612552.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph2400231656140612552.bin' '-l' '-1' '-v' '-w' '/tmp/graph2400231656140612552.weights' '-q' '0' '-e' '0.001'
[2026-05-25 20:01:03] [INFO ] Decomposing Gal with order
[2026-05-25 20:01:04] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 20:01:04] [INFO ] Removed a total of 258 redundant transitions.
[2026-05-25 20:01:04] [INFO ] Flatten gal took : 96 ms
[2026-05-25 20:01:04] [INFO ] Fuse similar labels procedure discarded/fused a total of 42 labels/synchronizations in 15 ms.
[2026-05-25 20:01:04] [INFO ] Time to serialize gal into /tmp/CTLFireability13288428213221478123.gal : 20 ms
[2026-05-25 20:01:04] [INFO ] Time to serialize properties into /tmp/CTLFireability3646449874702882865.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13288428213221478123.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3646449874702882865.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 : 2825/2825 places, 2558/2558 transitions.
Discarding 253 places :
Implicit places reduction removed 253 places
Iterating post reduction 0 with 253 rules applied. Total rules applied 253 place count 2572 transition count 2558
Discarding 116 places :
Symmetric choice reduction at 1 with 116 rule applications. Total rules 369 place count 2456 transition count 2441
Iterating global reduction 1 with 116 rules applied. Total rules applied 485 place count 2456 transition count 2441
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 1 with 19 rules applied. Total rules applied 504 place count 2456 transition count 2422
Discarding 46 places :
Symmetric choice reduction at 2 with 46 rule applications. Total rules 550 place count 2410 transition count 2356
Iterating global reduction 2 with 46 rules applied. Total rules applied 596 place count 2410 transition count 2356
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 2 places :
Implicit places reduction removed 2 places
Iterating post reduction 2 with 4 rules applied. Total rules applied 600 place count 2408 transition count 2354
Discarding 42 places :
Symmetric choice reduction at 3 with 42 rule applications. Total rules 642 place count 2366 transition count 2312
Iterating global reduction 3 with 42 rules applied. Total rules applied 684 place count 2366 transition count 2312
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 686 place count 2364 transition count 2270
Iterating global reduction 3 with 2 rules applied. Total rules applied 688 place count 2364 transition count 2270
Discarding 21 places :
Implicit places reduction removed 21 places
Iterating post reduction 3 with 21 rules applied. Total rules applied 709 place count 2343 transition count 2270
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 751 place count 2301 transition count 2228
Iterating global reduction 4 with 42 rules applied. Total rules applied 793 place count 2301 transition count 2228
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 835 place count 2259 transition count 2186
Iterating global reduction 4 with 42 rules applied. Total rules applied 877 place count 2259 transition count 2186
Applied a total of 877 rules in 739 ms. Remains 2259 /2825 variables (removed 566) and now considering 2186/2558 (removed 372) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13559467577379912687.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5842111471274465006.kers'
[2026-05-25 20:01:35] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13559467577379912687.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5842111471274465006.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 2186 rows 2259 cols 5299 entries
Finished phase 1 with 1788 SingleSign rule and 233 generalized
[2026-05-25 20:01:35] [INFO ] Computed 238 invariants in 17 ms
Computed 238 P flows in 18 ms.
Exported basis to /tmp/petrispot-output-5842111471274465006.kers
Total runtime 21 ms.
[2026-05-25 20:01:36] [INFO ] Implicit Places using invariants in 1439 ms returned [147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 1264, 1370, 1730, 1731, 1732, 1733, 1734, 1735, 1736, 1737, 1738, 1739, 1740, 1741, 1742, 1743, 1744, 1745, 1746, 1747, 1748, 1749, 1750, 2110, 2111]
Discarding 67 places :
Implicit Place search using SMT only with invariants took 1442 ms to find 67 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2192/2825 places, 2186/2558 transitions.
Applied a total of 0 rules in 135 ms. Remains 2192 /2192 variables (removed 0) and now considering 2186/2186 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 2318 ms. Remains : 2192/2825 places, 2186/2558 transitions.
[2026-05-25 20:01:37] [INFO ] Flatten gal took : 74 ms
[2026-05-25 20:01:37] [INFO ] Flatten gal took : 67 ms
[2026-05-25 20:01:37] [INFO ] Input system was already deterministic with 2186 transitions.
[2026-05-25 20:01:37] [INFO ] Flatten gal took : 66 ms
[2026-05-25 20:01:37] [INFO ] Flatten gal took : 66 ms
[2026-05-25 20:01:37] [INFO ] Time to serialize gal into /tmp/CTLFireability10827622895470950501.gal : 13 ms
[2026-05-25 20:01:37] [INFO ] Time to serialize properties into /tmp/CTLFireability12232909689549392765.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/CTLFireability10827622895470950501.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12232909689549392765.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 20:02:07] [INFO ] Flatten gal took : 68 ms
[2026-05-25 20:02:07] [INFO ] Applying decomposition
[2026-05-25 20:02:07] [INFO ] Flatten gal took : 72 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/graph17558737609317733513.txt' '-o' '/tmp/graph17558737609317733513.bin' '-w' '/tmp/graph17558737609317733513.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph17558737609317733513.bin' '-l' '-1' '-v' '-w' '/tmp/graph17558737609317733513.weights' '-q' '0' '-e' '0.001'
[2026-05-25 20:02:07] [INFO ] Decomposing Gal with order
[2026-05-25 20:02:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 20:02:08] [INFO ] Removed a total of 441 redundant transitions.
[2026-05-25 20:02:08] [INFO ] Flatten gal took : 102 ms
[2026-05-25 20:02:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 58 labels/synchronizations in 15 ms.
[2026-05-25 20:02:08] [INFO ] Time to serialize gal into /tmp/CTLFireability3246586793283914607.gal : 21 ms
[2026-05-25 20:02:08] [INFO ] Time to serialize properties into /tmp/CTLFireability18308938525016184559.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3246586793283914607.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18308938525016184559.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 : 2825/2825 places, 2558/2558 transitions.
Graph (complete) has 4058 edges and 2825 vertex of which 2346 are kept as prefixes of interest. Removing 479 places using SCC suffix rule.10 ms
Discarding 479 places :
Also discarding 474 output transitions
Drop transitions (Output transitions of discarded places.) removed 474 transitions
Reduce places removed 21 places and 21 transitions.
Discarding 253 places :
Implicit places reduction removed 253 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 961 transitions
Trivial Post-agglo rules discarded 961 transitions
Performed 961 trivial Post agglomeration. Transition count delta: 961
Iterating post reduction 0 with 1214 rules applied. Total rules applied 1215 place count 2072 transition count 1102
Reduce places removed 961 places and 0 transitions.
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 19 transitions
Trivial Post-agglo rules discarded 19 transitions
Performed 19 trivial Post agglomeration. Transition count delta: 19
Iterating post reduction 1 with 999 rules applied. Total rules applied 2214 place count 1111 transition count 1064
Reduce places removed 19 places and 0 transitions.
Performed 82 Post agglomeration using F-continuation condition.Transition count delta: 82
Iterating post reduction 2 with 101 rules applied. Total rules applied 2315 place count 1092 transition count 982
Reduce places removed 82 places and 0 transitions.
Iterating post reduction 3 with 82 rules applied. Total rules applied 2397 place count 1010 transition count 982
Performed 251 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 251 Pre rules applied. Total rules applied 2397 place count 1010 transition count 731
Deduced a syphon composed of 251 places in 0 ms
Ensure Unique test removed 105 places
Reduce places removed 356 places and 0 transitions.
Iterating global reduction 4 with 607 rules applied. Total rules applied 3004 place count 654 transition count 731
Drop transitions (Trivial Post-Agglo cleanup.) removed 42 transitions
Trivial Post-agglo rules discarded 42 transitions
Performed 42 trivial Post agglomeration. Transition count delta: 42
Iterating post reduction 4 with 42 rules applied. Total rules applied 3046 place count 654 transition count 689
Reduce places removed 42 places and 0 transitions.
Iterating post reduction 5 with 42 rules applied. Total rules applied 3088 place count 612 transition count 689
Performed 21 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 21 Pre rules applied. Total rules applied 3088 place count 612 transition count 668
Deduced a syphon composed of 21 places in 0 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 6 with 42 rules applied. Total rules applied 3130 place count 591 transition count 668
Discarding 26 places :
Symmetric choice reduction at 6 with 26 rule applications. Total rules 3156 place count 565 transition count 642
Iterating global reduction 6 with 26 rules applied. Total rules applied 3182 place count 565 transition count 642
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 2 places :
Implicit places reduction removed 2 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 6 with 10 rules applied. Total rules applied 3192 place count 563 transition count 634
Reduce places removed 6 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 7 with 8 rules applied. Total rules applied 3200 place count 557 transition count 632
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 8 with 2 rules applied. Total rules applied 3202 place count 555 transition count 632
Performed 21 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 9 with 21 Pre rules applied. Total rules applied 3202 place count 555 transition count 611
Deduced a syphon composed of 21 places in 0 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 9 with 42 rules applied. Total rules applied 3244 place count 534 transition count 611
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 3245 place count 533 transition count 590
Iterating global reduction 9 with 1 rules applied. Total rules applied 3246 place count 533 transition count 590
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Discarding 2 places :
Implicit places reduction removed 2 places
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 9 with 25 rules applied. Total rules applied 3271 place count 531 transition count 567
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 10 with 2 rules applied. Total rules applied 3273 place count 529 transition count 567
Performed 21 Post agglomeration using F-continuation condition.Transition count delta: 21
Deduced a syphon composed of 21 places in 1 ms
Ensure Unique test removed 19 places
Reduce places removed 40 places and 0 transitions.
Iterating global reduction 11 with 61 rules applied. Total rules applied 3334 place count 489 transition count 546
Applied a total of 3334 rules in 241 ms. Remains 489 /2825 variables (removed 2336) and now considering 546/2558 (removed 2012) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11376668403185121916.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3572190959446428406.kers'
[2026-05-25 20:02:38] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11376668403185121916.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3572190959446428406.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 546 rows 489 cols 1371 entries
Finished phase 1 with 380 SingleSign rule and 63 generalized
[2026-05-25 20:02:38] [INFO ] Computed 46 invariants in 8 ms
Computed 46 P flows in 8 ms.
Exported basis to /tmp/petrispot-output-3572190959446428406.kers
Total runtime 9 ms.
[2026-05-25 20:02:39] [INFO ] Implicit Places using invariants in 244 ms returned [21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 444, 464, 465]
Discarding 24 places :
Implicit Place search using SMT only with invariants took 248 ms to find 24 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 465/2825 places, 546/2558 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 63 transitions
Trivial Post-agglo rules discarded 63 transitions
Performed 63 trivial Post agglomeration. Transition count delta: 63
Iterating post reduction 0 with 63 rules applied. Total rules applied 63 place count 465 transition count 483
Reduce places removed 63 places and 0 transitions.
Performed 21 Post agglomeration using F-continuation condition.Transition count delta: 21
Iterating post reduction 1 with 84 rules applied. Total rules applied 147 place count 402 transition count 462
Reduce places removed 21 places and 0 transitions.
Iterating post reduction 2 with 21 rules applied. Total rules applied 168 place count 381 transition count 462
Applied a total of 168 rules in 21 ms. Remains 381 /465 variables (removed 84) and now considering 462/546 (removed 84) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-5622482630374590262.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2135428611851847806.kers'
[2026-05-25 20:02:39] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5622482630374590262.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2135428611851847806.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 462 rows 381 cols 1092 entries
Finished phase 1 with 338 SingleSign rule and 21 generalized
[2026-05-25 20:02:39] [INFO ] Computed 22 invariants in 3 ms
Computed 22 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-2135428611851847806.kers
Total runtime 4 ms.
[2026-05-25 20:02:39] [INFO ] Implicit Places using invariants in 96 ms returned []
[2026-05-25 20:02:39] [INFO ] Invariant cache hit.
[2026-05-25 20:02:39] [INFO ] Implicit Places using invariants and state equation in 309 ms returned []
Implicit Place search using SMT with State Equation took 407 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 381/2825 places, 462/2558 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 919 ms. Remains : 381/2825 places, 462/2558 transitions.
[2026-05-25 20:02:39] [INFO ] Flatten gal took : 8 ms
[2026-05-25 20:02:39] [INFO ] Flatten gal took : 10 ms
[2026-05-25 20:02:39] [INFO ] Input system was already deterministic with 462 transitions.
[2026-05-25 20:02:39] [INFO ] Flatten gal took : 10 ms
[2026-05-25 20:02:39] [INFO ] Flatten gal took : 9 ms
[2026-05-25 20:02:39] [INFO ] Time to serialize gal into /tmp/CTLFireability9504470530243757620.gal : 3 ms
[2026-05-25 20:02:39] [INFO ] Time to serialize properties into /tmp/CTLFireability12313542206509160234.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/CTLFireability9504470530243757620.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12313542206509160234.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 20:03:09] [INFO ] Flatten gal took : 8 ms
[2026-05-25 20:03:09] [INFO ] Applying decomposition
[2026-05-25 20:03:09] [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/graph2317398815526633306.txt' '-o' '/tmp/graph2317398815526633306.bin' '-w' '/tmp/graph2317398815526633306.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph2317398815526633306.bin' '-l' '-1' '-v' '-w' '/tmp/graph2317398815526633306.weights' '-q' '0' '-e' '0.001'
[2026-05-25 20:03:09] [INFO ] Decomposing Gal with order
[2026-05-25 20:03:09] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 20:03:09] [INFO ] Removed a total of 180 redundant transitions.
[2026-05-25 20:03:09] [INFO ] Flatten gal took : 45 ms
[2026-05-25 20:03:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2026-05-25 20:03:09] [INFO ] Time to serialize gal into /tmp/CTLFireability9595717322014737467.gal : 8 ms
[2026-05-25 20:03:09] [INFO ] Time to serialize properties into /tmp/CTLFireability9913756962559557313.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9595717322014737467.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9913756962559557313.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.89524e+27,4.17357,84024,1119,134,181439,513,536,196608,53,4122,0
Converting to forward existential form...Done !
original formula: E(!((((((((i4.u17.c3_2_0>=1)||(i13.u112.c3_3_0>=1))||((i2.u15.c3_0_0>=1)||(i3.u16.c3_1_0>=1)))||(((i8.u116.c3_10_0>=1)||(i5.u117.c3_11_0>...9633
=> equivalent forward existential formula: [(FwdU(Init,!((((((((i4.u17.c3_2_0>=1)||(i13.u112.c3_3_0>=1))||((i2.u15.c3_0_0>=1)||(i3.u16.c3_1_0>=1)))||(((i8....6750
Detected timeout of ITS tools.
java.io.IOException: Stream closed
at java.base/java.io.BufferedInputStream.ensureOpen(BufferedInputStream.java:206)
at java.base/java.io.BufferedInputStream.implRead(BufferedInputStream.java:411)
at java.base/java.io.BufferedInputStream.read(BufferedInputStream.java:405)
at java.base/sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:350)
at java.base/sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:393)
at java.base/sun.nio.cs.StreamDecoder.lockedRead(StreamDecoder.java:217)
at java.base/sun.nio.cs.StreamDecoder.read(StreamDecoder.java:171)
at java.base/java.io.InputStreamReader.read(InputStreamReader.java:188)
at java.base/java.io.BufferedReader.fill(BufferedReader.java:160)
at java.base/java.io.BufferedReader.implReadLine(BufferedReader.java:370)
at java.base/java.io.BufferedReader.readLine(BufferedReader.java:347)
at java.base/java.io.BufferedReader.readLine(BufferedReader.java:436)
at fr.lip6.move.gal.application.runner.its.ITSRunner$ITSInterpreter.run(ITSRunner.java:211)
at java.base/java.lang.Thread.run(Thread.java:1583)
Starting structural reductions in SI_CTL mode, iteration 0 : 2825/2825 places, 2558/2558 transitions.
Graph (complete) has 4058 edges and 2825 vertex of which 2409 are kept as prefixes of interest. Removing 416 places using SCC suffix rule.5 ms
Discarding 416 places :
Also discarding 432 output transitions
Drop transitions (Output transitions of discarded places.) removed 432 transitions
Reduce places removed 21 places and 21 transitions.
Discarding 190 places :
Implicit places reduction removed 190 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 732 transitions
Trivial Post-agglo rules discarded 732 transitions
Performed 732 trivial Post agglomeration. Transition count delta: 732
Iterating post reduction 0 with 922 rules applied. Total rules applied 923 place count 2198 transition count 1373
Reduce places removed 732 places and 0 transitions.
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 38 transitions
Trivial Post-agglo rules discarded 38 transitions
Performed 38 trivial Post agglomeration. Transition count delta: 38
Iterating post reduction 1 with 789 rules applied. Total rules applied 1712 place count 1466 transition count 1316
Reduce places removed 38 places and 0 transitions.
Performed 126 Post agglomeration using F-continuation condition.Transition count delta: 126
Iterating post reduction 2 with 164 rules applied. Total rules applied 1876 place count 1428 transition count 1190
Reduce places removed 126 places and 0 transitions.
Iterating post reduction 3 with 126 rules applied. Total rules applied 2002 place count 1302 transition count 1190
Performed 270 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 270 Pre rules applied. Total rules applied 2002 place count 1302 transition count 920
Deduced a syphon composed of 270 places in 0 ms
Ensure Unique test removed 84 places
Reduce places removed 354 places and 0 transitions.
Iterating global reduction 4 with 624 rules applied. Total rules applied 2626 place count 948 transition count 920
Discarding 21 places :
Implicit places reduction removed 21 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 42 transitions
Trivial Post-agglo rules discarded 42 transitions
Performed 42 trivial Post agglomeration. Transition count delta: 42
Iterating post reduction 4 with 63 rules applied. Total rules applied 2689 place count 927 transition count 878
Reduce places removed 42 places and 0 transitions.
Iterating post reduction 5 with 42 rules applied. Total rules applied 2731 place count 885 transition count 878
Discarding 68 places :
Symmetric choice reduction at 6 with 68 rule applications. Total rules 2799 place count 817 transition count 810
Iterating global reduction 6 with 68 rules applied. Total rules applied 2867 place count 817 transition count 810
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 2 places :
Implicit places reduction removed 2 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 29 transitions
Trivial Post-agglo rules discarded 29 transitions
Performed 29 trivial Post agglomeration. Transition count delta: 29
Iterating post reduction 6 with 33 rules applied. Total rules applied 2900 place count 815 transition count 779
Reduce places removed 29 places and 0 transitions.
Iterating post reduction 7 with 29 rules applied. Total rules applied 2929 place count 786 transition count 779
Performed 21 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 21 Pre rules applied. Total rules applied 2929 place count 786 transition count 758
Deduced a syphon composed of 21 places in 0 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 8 with 42 rules applied. Total rules applied 2971 place count 765 transition count 758
Discarding 3 places :
Symmetric choice reduction at 8 with 3 rule applications. Total rules 2974 place count 762 transition count 695
Iterating global reduction 8 with 3 rules applied. Total rules applied 2977 place count 762 transition count 695
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Discarding 25 places :
Implicit places reduction removed 25 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 23 transitions
Trivial Post-agglo rules discarded 23 transitions
Performed 23 trivial Post agglomeration. Transition count delta: 23
Iterating post reduction 8 with 69 rules applied. Total rules applied 3046 place count 737 transition count 651
Reduce places removed 23 places and 0 transitions.
Iterating post reduction 9 with 23 rules applied. Total rules applied 3069 place count 714 transition count 651
Performed 23 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 10 with 23 Pre rules applied. Total rules applied 3069 place count 714 transition count 628
Deduced a syphon composed of 23 places in 0 ms
Reduce places removed 23 places and 0 transitions.
Iterating global reduction 10 with 46 rules applied. Total rules applied 3115 place count 691 transition count 628
Performed 19 Post agglomeration using F-continuation condition.Transition count delta: 19
Deduced a syphon composed of 19 places in 0 ms
Ensure Unique test removed 19 places
Reduce places removed 38 places and 0 transitions.
Iterating global reduction 10 with 57 rules applied. Total rules applied 3172 place count 653 transition count 609
Applied a total of 3172 rules in 187 ms. Remains 653 /2825 variables (removed 2172) and now considering 609/2558 (removed 1949) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6803980969762422720.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1195113937323517497.kers'
[2026-05-25 20:03:40] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6803980969762422720.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1195113937323517497.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 609 rows 653 cols 1554 entries
Finished phase 1 with 399 SingleSign rule and 147 generalized
[2026-05-25 20:03:40] [INFO ] Computed 107 invariants in 4 ms
Computed 107 P flows in 21 ms.
Exported basis to /tmp/petrispot-output-1195113937323517497.kers
Total runtime 22 ms.
[2026-05-25 20:03:40] [INFO ] Implicit Places using invariants in 398 ms returned [42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 588, 589]
Discarding 23 places :
Implicit Place search using SMT only with invariants took 400 ms to find 23 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 630/2825 places, 609/2558 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 21 transitions
Trivial Post-agglo rules discarded 21 transitions
Performed 21 trivial Post agglomeration. Transition count delta: 21
Iterating post reduction 0 with 21 rules applied. Total rules applied 21 place count 630 transition count 588
Reduce places removed 21 places and 0 transitions.
Iterating post reduction 1 with 21 rules applied. Total rules applied 42 place count 609 transition count 588
Performed 21 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 21 Pre rules applied. Total rules applied 42 place count 609 transition count 567
Deduced a syphon composed of 21 places in 0 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 2 with 42 rules applied. Total rules applied 84 place count 588 transition count 567
Applied a total of 84 rules in 17 ms. Remains 588 /630 variables (removed 42) and now considering 567/609 (removed 42) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15444640618385518723.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-12622779560940040538.kers'
[2026-05-25 20:03:40] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15444640618385518723.kers, --Pflows, --basisKERS=/tmp/petrispot-output-12622779560940040538.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 567 rows 588 cols 1281 entries
Finished phase 1 with 420 SingleSign rule and 84 generalized
[2026-05-25 20:03:40] [INFO ] Computed 84 invariants in 2 ms
Computed 84 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-12622779560940040538.kers
Total runtime 3 ms.
[2026-05-25 20:03:40] [INFO ] Implicit Places using invariants in 236 ms returned []
[2026-05-25 20:03:40] [INFO ] Invariant cache hit.
[2026-05-25 20:03:41] [INFO ] Implicit Places using invariants and state equation in 623 ms returned []
Implicit Place search using SMT with State Equation took 861 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 588/2825 places, 567/2558 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 1465 ms. Remains : 588/2825 places, 567/2558 transitions.
[2026-05-25 20:03:41] [INFO ] Flatten gal took : 13 ms
[2026-05-25 20:03:41] [INFO ] Flatten gal took : 14 ms
[2026-05-25 20:03:41] [INFO ] Input system was already deterministic with 567 transitions.
[2026-05-25 20:03:41] [INFO ] Flatten gal took : 14 ms
[2026-05-25 20:03:41] [INFO ] Flatten gal took : 14 ms
[2026-05-25 20:03:41] [INFO ] Time to serialize gal into /tmp/CTLFireability18033232826558433399.gal : 4 ms
[2026-05-25 20:03:41] [INFO ] Time to serialize properties into /tmp/CTLFireability16706079969148096264.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/CTLFireability18033232826558433399.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16706079969148096264.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.27374e+29,4.28822,96576,2,30652,5,449899,6,0,2901,402930,0
Converting to forward existential form...Done !
original formula: EF((EF((((((((l2_8_0<1)&&(l2_6_0<1))&&((l2_4_0<1)&&(l2_2_0<1)))&&(((l2_16_0<1)&&(l2_14_0<1))&&((l2_12_0<1)&&(l2_10_0<1))))&&((((l2_3_1<1)...4860
=> equivalent forward existential formula: ([((FwdU(Init,TRUE) * E(TRUE U (((((((l2_8_0<1)&&(l2_6_0<1))&&((l2_4_0<1)&&(l2_2_0<1)))&&(((l2_16_0<1)&&(l2_14_0...7427
java.io.IOException: Stream closed
at java.base/java.io.BufferedInputStream.ensureOpen(BufferedInputStream.java:206)
at java.base/java.io.BufferedInputStream.implRead(BufferedInputStream.java:411)
at java.base/java.io.BufferedInputStream.read(BufferedInputStream.java:405)
at java.base/sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:350)
at java.base/sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:393)
at java.base/sun.nio.cs.StreamDecoder.lockedRead(StreamDecoder.java:217)
at java.base/sun.nio.cs.StreamDecoder.read(StreamDecoder.java:171)
at java.base/java.io.InputStreamReader.read(InputStreamReader.java:188)
at java.base/java.io.BufferedReader.fill(BufferedReader.java:160)
at java.base/java.io.BufferedReader.implReadLine(BufferedReader.java:370)
at java.base/java.io.BufferedReader.readLine(BufferedReader.java:347)
at java.base/java.io.BufferedReader.readLine(BufferedReader.java:436)
at fr.lip6.move.gal.application.runner.its.ITSRunner$ITSInterpreter.run(ITSRunner.java:211)
at java.base/java.lang.Thread.run(Thread.java:1583)
Detected timeout of ITS tools.
[2026-05-25 20:04:11] [INFO ] Flatten gal took : 9 ms
[2026-05-25 20:04:11] [INFO ] Applying decomposition
[2026-05-25 20:04:11] [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/graph1087318512928992628.txt' '-o' '/tmp/graph1087318512928992628.bin' '-w' '/tmp/graph1087318512928992628.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1087318512928992628.bin' '-l' '-1' '-v' '-w' '/tmp/graph1087318512928992628.weights' '-q' '0' '-e' '0.001'
[2026-05-25 20:04:11] [INFO ] Decomposing Gal with order
[2026-05-25 20:04:11] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 20:04:11] [INFO ] Removed a total of 62 redundant transitions.
[2026-05-25 20:04:11] [INFO ] Flatten gal took : 21 ms
[2026-05-25 20:04:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 40 labels/synchronizations in 4 ms.
[2026-05-25 20:04:11] [INFO ] Time to serialize gal into /tmp/CTLFireability6372808764401283220.gal : 6 ms
[2026-05-25 20:04:11] [INFO ] Time to serialize properties into /tmp/CTLFireability13881556607046287289.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6372808764401283220.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13881556607046287289.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.27374e+29,0.16389,8464,382,33,2478,226,593,1911,43,419,0
Converting to forward existential form...Done !
original formula: EF((EF((((((((i17.i0.u24.l2_8_0<1)&&(i19.i0.u22.l2_6_0<1))&&((i18.i0.u69.l2_4_0<1)&&(i4.i2.u130.l2_2_0<1)))&&(((i11.i1.u76.l2_16_0<1)&&(i...8299
=> equivalent forward existential formula: ([((FwdU(Init,TRUE) * E(TRUE U (((((((i17.i0.u24.l2_8_0<1)&&(i19.i0.u22.l2_6_0<1))&&((i18.i0.u69.l2_4_0<1)&&(i4....13260
Reverse transition relation is NOT exact ! Due to transitions i0.t211, i1.t220, i2.t232, i3.t244, i4.t215, i5.t237, i6.t238, i7.t247, i8.t216, i9.t229, i10...372
(forward)formula 0,1,0.371556,10124,1,0,11652,255,5711,11981,189,477,30335
FORMULA FamilyReunion-PT-L00020M0002C001P001G001-CTLFireability-2024-05 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is TRUE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 2825/2825 places, 2558/2558 transitions.
Discarding 190 places :
Implicit places reduction removed 190 places
Iterating post reduction 0 with 190 rules applied. Total rules applied 190 place count 2635 transition count 2558
Discarding 157 places :
Symmetric choice reduction at 1 with 157 rule applications. Total rules 347 place count 2478 transition count 2400
Iterating global reduction 1 with 157 rules applied. Total rules applied 504 place count 2478 transition count 2400
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 1 with 19 rules applied. Total rules applied 523 place count 2478 transition count 2381
Discarding 48 places :
Symmetric choice reduction at 2 with 48 rule applications. Total rules 571 place count 2430 transition count 2293
Iterating global reduction 2 with 48 rules applied. Total rules applied 619 place count 2430 transition count 2293
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 4 places :
Implicit places reduction removed 4 places
Iterating post reduction 2 with 6 rules applied. Total rules applied 625 place count 2426 transition count 2291
Discarding 85 places :
Symmetric choice reduction at 3 with 85 rule applications. Total rules 710 place count 2341 transition count 2186
Iterating global reduction 3 with 85 rules applied. Total rules applied 795 place count 2341 transition count 2186
Discarding 45 places :
Symmetric choice reduction at 3 with 45 rule applications. Total rules 840 place count 2296 transition count 2081
Iterating global reduction 3 with 45 rules applied. Total rules applied 885 place count 2296 transition count 2081
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Discarding 63 places :
Implicit places reduction removed 63 places
Iterating post reduction 3 with 84 rules applied. Total rules applied 969 place count 2233 transition count 2060
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1011 place count 2191 transition count 2018
Iterating global reduction 4 with 42 rules applied. Total rules applied 1053 place count 2191 transition count 2018
Applied a total of 1053 rules in 1283 ms. Remains 2191 /2825 variables (removed 634) and now considering 2018/2558 (removed 540) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10484529901471316483.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11104942032281053910.kers'
[2026-05-25 20:04:13] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10484529901471316483.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11104942032281053910.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 2018 rows 2191 cols 4812 entries
Finished phase 1 with 1703 SingleSign rule and 231 generalized
[2026-05-25 20:04:13] [INFO ] Computed 257 invariants in 14 ms
Computed 257 P flows in 14 ms.
Exported basis to /tmp/petrispot-output-11104942032281053910.kers
Total runtime 17 ms.
[2026-05-25 20:04:14] [INFO ] Implicit Places using invariants in 1024 ms returned [147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 420, 1199, 1347, 1707, 1708, 1709, 1710, 1711, 1712, 1713, 1714, 1715, 1716, 1717, 1718, 1719, 1720, 1721, 1722, 1723, 1724, 1725, 1726, 1727, 2001]
Discarding 46 places :
Implicit Place search using SMT only with invariants took 1026 ms to find 46 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2145/2825 places, 2018/2558 transitions.
Applied a total of 0 rules in 130 ms. Remains 2145 /2145 variables (removed 0) and now considering 2018/2018 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 2440 ms. Remains : 2145/2825 places, 2018/2558 transitions.
[2026-05-25 20:04:14] [INFO ] Flatten gal took : 26 ms
[2026-05-25 20:04:14] [INFO ] Flatten gal took : 28 ms
[2026-05-25 20:04:14] [INFO ] Input system was already deterministic with 2018 transitions.
[2026-05-25 20:04:14] [INFO ] Flatten gal took : 30 ms
[2026-05-25 20:04:14] [INFO ] Flatten gal took : 29 ms
[2026-05-25 20:04:14] [INFO ] Time to serialize gal into /tmp/CTLFireability6689334123512649876.gal : 7 ms
[2026-05-25 20:04:14] [INFO ] Time to serialize properties into /tmp/CTLFireability1632041863090997937.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/CTLFireability6689334123512649876.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1632041863090997937.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 20:04:44] [INFO ] Flatten gal took : 31 ms
[2026-05-25 20:04:44] [INFO ] Applying decomposition
[2026-05-25 20:04:44] [INFO ] Flatten gal took : 29 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/graph15808204425444800483.txt' '-o' '/tmp/graph15808204425444800483.bin' '-w' '/tmp/graph15808204425444800483.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph15808204425444800483.bin' '-l' '-1' '-v' '-w' '/tmp/graph15808204425444800483.weights' '-q' '0' '-e' '0.001'
[2026-05-25 20:04:44] [INFO ] Decomposing Gal with order
[2026-05-25 20:04:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 20:04:45] [INFO ] Removed a total of 116 redundant transitions.
[2026-05-25 20:04:45] [INFO ] Flatten gal took : 73 ms
[2026-05-25 20:04:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 3 ms.
[2026-05-25 20:04:45] [INFO ] Time to serialize gal into /tmp/CTLFireability1328664273043000840.gal : 16 ms
[2026-05-25 20:04:45] [INFO ] Time to serialize properties into /tmp/CTLFireability5880093398691933278.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/CTLFireability1328664273043000840.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5880093398691933278.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 2825/2825 places, 2558/2558 transitions.
Graph (complete) has 4058 edges and 2825 vertex of which 2582 are kept as prefixes of interest. Removing 243 places using SCC suffix rule.3 ms
Discarding 243 places :
Also discarding 242 output transitions
Drop transitions (Output transitions of discarded places.) removed 242 transitions
Reduce places removed 21 places and 21 transitions.
Discarding 253 places :
Implicit places reduction removed 253 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 1108 transitions
Trivial Post-agglo rules discarded 1108 transitions
Performed 1108 trivial Post agglomeration. Transition count delta: 1108
Iterating post reduction 0 with 1361 rules applied. Total rules applied 1362 place count 2308 transition count 1187
Reduce places removed 1108 places and 0 transitions.
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 38 transitions
Trivial Post-agglo rules discarded 38 transitions
Performed 38 trivial Post agglomeration. Transition count delta: 38
Iterating post reduction 1 with 1165 rules applied. Total rules applied 2527 place count 1200 transition count 1130
Reduce places removed 38 places and 0 transitions.
Iterating post reduction 2 with 38 rules applied. Total rules applied 2565 place count 1162 transition count 1130
Performed 125 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 125 Pre rules applied. Total rules applied 2565 place count 1162 transition count 1005
Deduced a syphon composed of 125 places in 0 ms
Ensure Unique test removed 42 places
Reduce places removed 167 places and 0 transitions.
Iterating global reduction 3 with 292 rules applied. Total rules applied 2857 place count 995 transition count 1005
Drop transitions (Trivial Post-Agglo cleanup.) removed 42 transitions
Trivial Post-agglo rules discarded 42 transitions
Performed 42 trivial Post agglomeration. Transition count delta: 42
Iterating post reduction 3 with 42 rules applied. Total rules applied 2899 place count 995 transition count 963
Reduce places removed 42 places and 0 transitions.
Iterating post reduction 4 with 42 rules applied. Total rules applied 2941 place count 953 transition count 963
Discarding 110 places :
Symmetric choice reduction at 5 with 110 rule applications. Total rules 3051 place count 843 transition count 853
Iterating global reduction 5 with 110 rules applied. Total rules applied 3161 place count 843 transition count 853
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 2 places :
Implicit places reduction removed 2 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 52 transitions
Trivial Post-agglo rules discarded 52 transitions
Performed 52 trivial Post agglomeration. Transition count delta: 52
Iterating post reduction 5 with 56 rules applied. Total rules applied 3217 place count 841 transition count 799
Reduce places removed 52 places and 0 transitions.
Iterating post reduction 6 with 52 rules applied. Total rules applied 3269 place count 789 transition count 799
Performed 39 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 39 Pre rules applied. Total rules applied 3269 place count 789 transition count 760
Deduced a syphon composed of 39 places in 1 ms
Reduce places removed 39 places and 0 transitions.
Iterating global reduction 7 with 78 rules applied. Total rules applied 3347 place count 750 transition count 760
Discarding 4 places :
Symmetric choice reduction at 7 with 4 rule applications. Total rules 3351 place count 746 transition count 696
Iterating global reduction 7 with 4 rules applied. Total rules applied 3355 place count 746 transition count 696
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Discarding 25 places :
Implicit places reduction removed 25 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 44 transitions
Trivial Post-agglo rules discarded 44 transitions
Performed 44 trivial Post agglomeration. Transition count delta: 44
Iterating post reduction 7 with 90 rules applied. Total rules applied 3445 place count 721 transition count 631
Reduce places removed 44 places and 0 transitions.
Iterating post reduction 8 with 44 rules applied. Total rules applied 3489 place count 677 transition count 631
Performed 24 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 9 with 24 Pre rules applied. Total rules applied 3489 place count 677 transition count 607
Deduced a syphon composed of 24 places in 1 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 9 with 48 rules applied. Total rules applied 3537 place count 653 transition count 607
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 3538 place count 652 transition count 586
Iterating global reduction 9 with 1 rules applied. Total rules applied 3539 place count 652 transition count 586
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Discarding 42 places :
Implicit places reduction removed 42 places
Performed 21 Post agglomeration using F-continuation condition.Transition count delta: 21
Iterating post reduction 9 with 84 rules applied. Total rules applied 3623 place count 610 transition count 544
Reduce places removed 21 places and 0 transitions.
Iterating post reduction 10 with 21 rules applied. Total rules applied 3644 place count 589 transition count 544
Performed 21 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 11 with 21 Pre rules applied. Total rules applied 3644 place count 589 transition count 523
Deduced a syphon composed of 21 places in 0 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 11 with 42 rules applied. Total rules applied 3686 place count 568 transition count 523
Performed 19 Post agglomeration using F-continuation condition.Transition count delta: 19
Deduced a syphon composed of 19 places in 0 ms
Ensure Unique test removed 19 places
Reduce places removed 38 places and 0 transitions.
Iterating global reduction 11 with 57 rules applied. Total rules applied 3743 place count 530 transition count 504
Applied a total of 3743 rules in 118 ms. Remains 530 /2825 variables (removed 2295) and now considering 504/2558 (removed 2054) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13002725951824520714.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1387205256252942433.kers'
[2026-05-25 20:05:15] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13002725951824520714.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1387205256252942433.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 504 rows 530 cols 1365 entries
Finished phase 1 with 339 SingleSign rule and 103 generalized
[2026-05-25 20:05:15] [INFO ] Computed 88 invariants in 3 ms
Computed 88 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-1387205256252942433.kers
Total runtime 4 ms.
[2026-05-25 20:05:15] [INFO ] Implicit Places using invariants in 432 ms returned [126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 231, 423, 424]
Discarding 24 places :
Implicit Place search using SMT only with invariants took 434 ms to find 24 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 506/2825 places, 504/2558 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 84 transitions
Trivial Post-agglo rules discarded 84 transitions
Performed 84 trivial Post agglomeration. Transition count delta: 84
Iterating post reduction 0 with 84 rules applied. Total rules applied 84 place count 506 transition count 420
Reduce places removed 84 places and 0 transitions.
Performed 21 Post agglomeration using F-continuation condition.Transition count delta: 21
Iterating post reduction 1 with 105 rules applied. Total rules applied 189 place count 422 transition count 399
Reduce places removed 21 places and 0 transitions.
Iterating post reduction 2 with 21 rules applied. Total rules applied 210 place count 401 transition count 399
Performed 21 Post agglomeration using F-continuation condition.Transition count delta: 21
Deduced a syphon composed of 21 places in 0 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 3 with 42 rules applied. Total rules applied 252 place count 380 transition count 378
Applied a total of 252 rules in 20 ms. Remains 380 /506 variables (removed 126) and now considering 378/504 (removed 126) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-5266737360761234234.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3209475749700834939.kers'
[2026-05-25 20:05:16] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5266737360761234234.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3209475749700834939.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 378 rows 380 cols 1008 entries
Finished phase 1 with 295 SingleSign rule and 21 generalized
[2026-05-25 20:05:16] [INFO ] Computed 64 invariants in 3 ms
Computed 64 P flows in 4 ms.
Exported basis to /tmp/petrispot-output-3209475749700834939.kers
Total runtime 4 ms.
[2026-05-25 20:05:16] [INFO ] Implicit Places using invariants in 158 ms returned []
[2026-05-25 20:05:16] [INFO ] Invariant cache hit.
[2026-05-25 20:05:16] [INFO ] Implicit Places using invariants and state equation in 420 ms returned []
Implicit Place search using SMT with State Equation took 580 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 380/2825 places, 378/2558 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 1153 ms. Remains : 380/2825 places, 378/2558 transitions.
[2026-05-25 20:05:16] [INFO ] Flatten gal took : 9 ms
[2026-05-25 20:05:16] [INFO ] Flatten gal took : 11 ms
[2026-05-25 20:05:16] [INFO ] Input system was already deterministic with 378 transitions.
[2026-05-25 20:05:16] [INFO ] Flatten gal took : 10 ms
[2026-05-25 20:05:16] [INFO ] Flatten gal took : 10 ms
[2026-05-25 20:05:16] [INFO ] Time to serialize gal into /tmp/CTLFireability12666650836431433569.gal : 3 ms
[2026-05-25 20:05:16] [INFO ] Time to serialize properties into /tmp/CTLFireability13832890364315802394.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/CTLFireability12666650836431433569.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13832890364315802394.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 20:05:46] [INFO ] Flatten gal took : 6 ms
[2026-05-25 20:05:46] [INFO ] Applying decomposition
[2026-05-25 20:05:46] [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/graph13798468856506056629.txt' '-o' '/tmp/graph13798468856506056629.bin' '-w' '/tmp/graph13798468856506056629.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13798468856506056629.bin' '-l' '-1' '-v' '-w' '/tmp/graph13798468856506056629.weights' '-q' '0' '-e' '0.001'
[2026-05-25 20:05:46] [INFO ] Decomposing Gal with order
[2026-05-25 20:05:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 20:05:46] [INFO ] Removed a total of 250 redundant transitions.
[2026-05-25 20:05:46] [INFO ] Flatten gal took : 15 ms
[2026-05-25 20:05:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2026-05-25 20:05:46] [INFO ] Time to serialize gal into /tmp/CTLFireability14553446595248121694.gal : 3 ms
[2026-05-25 20:05:46] [INFO ] Time to serialize properties into /tmp/CTLFireability13384860199421689274.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/CTLFireability14553446595248121694.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13384860199421689274.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.51607e+30,0.080251,6728,153,7,605,167,270,289,22,165,0
Converting to forward existential form...Done !
original formula: EG(AG(!(E(((((((((((i12.u37.cg0_2>=1)&&(u57.g0_0>=1))||((i12.u37.cg0_2>=1)&&(u58.g0_1>=1)))||(((i19.u50.cg0_7>=1)&&(u58.g0_1>=1))||((i15....5519
=> equivalent forward existential formula: [FwdG(Init,!(E(TRUE U !(!(E(((((((((((i12.u37.cg0_2>=1)&&(u57.g0_0>=1))||((i12.u37.cg0_2>=1)&&(u58.g0_1>=1)))||(...5586
Reverse transition relation is NOT exact ! Due to transitions t84, t85, t86, t87, t88, t89, t90, t91, t92, t93, t94, t95, t96, t97, t98, t99, t100, t101, t...398
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
(forward)formula 0,0,0.878961,34616,1,0,97806,167,3791,42473,106,165,90811
FORMULA FamilyReunion-PT-L00020M0002C001P001G001-CTLFireability-2024-07 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is FALSE !
***************************************
Starting structural reductions in SI_CTL mode, iteration 0 : 2825/2825 places, 2558/2558 transitions.
Graph (complete) has 4058 edges and 2825 vertex of which 2737 are kept as prefixes of interest. Removing 88 places using SCC suffix rule.3 ms
Discarding 88 places :
Also discarding 89 output transitions
Drop transitions (Output transitions of discarded places.) removed 89 transitions
Reduce places removed 21 places and 21 transitions.
Discarding 252 places :
Implicit places reduction removed 252 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 1225 transitions
Trivial Post-agglo rules discarded 1225 transitions
Performed 1225 trivial Post agglomeration. Transition count delta: 1225
Iterating post reduction 0 with 1477 rules applied. Total rules applied 1478 place count 2464 transition count 1223
Reduce places removed 1225 places and 0 transitions.
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 38 transitions
Trivial Post-agglo rules discarded 38 transitions
Performed 38 trivial Post agglomeration. Transition count delta: 38
Iterating post reduction 1 with 1282 rules applied. Total rules applied 2760 place count 1239 transition count 1166
Reduce places removed 38 places and 0 transitions.
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Iterating post reduction 2 with 63 rules applied. Total rules applied 2823 place count 1201 transition count 1141
Reduce places removed 25 places and 0 transitions.
Iterating post reduction 3 with 25 rules applied. Total rules applied 2848 place count 1176 transition count 1141
Performed 230 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 230 Pre rules applied. Total rules applied 2848 place count 1176 transition count 911
Deduced a syphon composed of 230 places in 0 ms
Ensure Unique test removed 105 places
Reduce places removed 335 places and 0 transitions.
Iterating global reduction 4 with 565 rules applied. Total rules applied 3413 place count 841 transition count 911
Drop transitions (Trivial Post-Agglo cleanup.) removed 62 transitions
Trivial Post-agglo rules discarded 62 transitions
Performed 62 trivial Post agglomeration. Transition count delta: 62
Iterating post reduction 4 with 62 rules applied. Total rules applied 3475 place count 841 transition count 849
Reduce places removed 62 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 5 with 63 rules applied. Total rules applied 3538 place count 779 transition count 848
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 3539 place count 778 transition count 848
Discarding 151 places :
Symmetric choice reduction at 7 with 151 rule applications. Total rules 3690 place count 627 transition count 677
Iterating global reduction 7 with 151 rules applied. Total rules applied 3841 place count 627 transition count 677
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 2 places :
Implicit places reduction removed 2 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 52 transitions
Trivial Post-agglo rules discarded 52 transitions
Performed 52 trivial Post agglomeration. Transition count delta: 52
Iterating post reduction 7 with 56 rules applied. Total rules applied 3897 place count 625 transition count 623
Reduce places removed 52 places and 0 transitions.
Iterating post reduction 8 with 52 rules applied. Total rules applied 3949 place count 573 transition count 623
Performed 42 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 9 with 42 Pre rules applied. Total rules applied 3949 place count 573 transition count 581
Deduced a syphon composed of 42 places in 1 ms
Reduce places removed 42 places and 0 transitions.
Iterating global reduction 9 with 84 rules applied. Total rules applied 4033 place count 531 transition count 581
Discarding 3 places :
Symmetric choice reduction at 9 with 3 rule applications. Total rules 4036 place count 528 transition count 518
Iterating global reduction 9 with 3 rules applied. Total rules applied 4039 place count 528 transition count 518
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Discarding 5 places :
Implicit places reduction removed 5 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 23 transitions
Trivial Post-agglo rules discarded 23 transitions
Performed 23 trivial Post agglomeration. Transition count delta: 23
Iterating post reduction 9 with 48 rules applied. Total rules applied 4087 place count 523 transition count 475
Reduce places removed 23 places and 0 transitions.
Iterating post reduction 10 with 23 rules applied. Total rules applied 4110 place count 500 transition count 475
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 11 with 3 Pre rules applied. Total rules applied 4110 place count 500 transition count 472
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 11 with 6 rules applied. Total rules applied 4116 place count 497 transition count 472
Discarding 21 places :
Symmetric choice reduction at 11 with 21 rule applications. Total rules 4137 place count 476 transition count 451
Iterating global reduction 11 with 21 rules applied. Total rules applied 4158 place count 476 transition count 451
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Iterating post reduction 11 with 21 rules applied. Total rules applied 4179 place count 476 transition count 430
Performed 59 Post agglomeration using F-continuation condition.Transition count delta: 59
Deduced a syphon composed of 59 places in 0 ms
Ensure Unique test removed 18 places
Reduce places removed 77 places and 0 transitions.
Iterating global reduction 12 with 136 rules applied. Total rules applied 4315 place count 399 transition count 371
Partial Post-agglomeration rule applied 2 times.
Drop transitions (Partial Post agglomeration) removed 2 transitions
Iterating global reduction 12 with 2 rules applied. Total rules applied 4317 place count 399 transition count 371
Applied a total of 4317 rules in 162 ms. Remains 399 /2825 variables (removed 2426) and now considering 371/2558 (removed 2187) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8843773393482102580.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9334992038152806406.kers'
[2026-05-25 20:05:47] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8843773393482102580.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9334992038152806406.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 371 rows 399 cols 1233 entries
Finished phase 1 with 160 SingleSign rule and 127 generalized
[2026-05-25 20:05:47] [INFO ] Computed 112 invariants in 4 ms
Computed 112 P flows in 5 ms.
Exported basis to /tmp/petrispot-output-9334992038152806406.kers
Total runtime 8 ms.
[2026-05-25 20:05:48] [INFO ] Implicit Places using invariants in 565 ms returned [21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 195, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 279, 281, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 374, 377]
[2026-05-25 20:05:48] [INFO ] Actually due to overlaps returned [377, 279, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 281, 343, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 195, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 344, 345, 346, 347, 348, 349, 350]
Discarding 87 places :
Implicit Place search using SMT only with invariants took 568 ms to find 87 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 312/2825 places, 371/2558 transitions.
Graph (complete) has 520 edges and 312 vertex of which 271 are kept as prefixes of interest. Removing 41 places using SCC suffix rule.1 ms
Discarding 41 places :
Also discarding 21 output transitions
Drop transitions (Output transitions of discarded places.) removed 21 transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 62 transitions
Trivial Post-agglo rules discarded 62 transitions
Performed 62 trivial Post agglomeration. Transition count delta: 62
Iterating post reduction 0 with 62 rules applied. Total rules applied 63 place count 271 transition count 288
Reduce places removed 62 places and 0 transitions.
Iterating post reduction 1 with 62 rules applied. Total rules applied 125 place count 209 transition count 288
Performed 41 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 41 Pre rules applied. Total rules applied 125 place count 209 transition count 247
Deduced a syphon composed of 41 places in 0 ms
Reduce places removed 41 places and 0 transitions.
Iterating global reduction 2 with 82 rules applied. Total rules applied 207 place count 168 transition count 247
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 226 place count 149 transition count 228
Iterating global reduction 2 with 19 rules applied. Total rules applied 245 place count 149 transition count 228
Discarding 18 places :
Symmetric choice reduction at 2 with 18 rule applications. Total rules 263 place count 131 transition count 192
Iterating global reduction 2 with 18 rules applied. Total rules applied 281 place count 131 transition count 192
Discarding 17 places :
Symmetric choice reduction at 2 with 17 rule applications. Total rules 298 place count 114 transition count 175
Iterating global reduction 2 with 17 rules applied. Total rules applied 315 place count 114 transition count 175
Discarding 16 places :
Symmetric choice reduction at 2 with 16 rule applications. Total rules 331 place count 98 transition count 143
Iterating global reduction 2 with 16 rules applied. Total rules applied 347 place count 98 transition count 143
Discarding 15 places :
Symmetric choice reduction at 2 with 15 rule applications. Total rules 362 place count 83 transition count 113
Iterating global reduction 2 with 15 rules applied. Total rules applied 377 place count 83 transition count 113
Discarding 15 places :
Symmetric choice reduction at 2 with 15 rule applications. Total rules 392 place count 68 transition count 98
Iterating global reduction 2 with 15 rules applied. Total rules applied 407 place count 68 transition count 98
Discarding 14 places :
Symmetric choice reduction at 2 with 14 rule applications. Total rules 421 place count 54 transition count 70
Iterating global reduction 2 with 14 rules applied. Total rules applied 435 place count 54 transition count 70
Applied a total of 435 rules in 27 ms. Remains 54 /312 variables (removed 258) and now considering 70/371 (removed 301) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8148882650447996211.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2336562150710588797.kers'
[2026-05-25 20:05:48] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8148882650447996211.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2336562150710588797.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 70 rows 54 cols 185 entries
Finished phase 1 with 39 SingleSign rule and 10 generalized
[2026-05-25 20:05:48] [INFO ] Computed 5 invariants in 0 ms
Computed 5 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-2336562150710588797.kers
Total runtime 1 ms.
[2026-05-25 20:05:48] [INFO ] Implicit Places using invariants in 46 ms returned [50]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 48 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 53/2825 places, 70/2558 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 52 transition count 68
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 52 transition count 68
Applied a total of 2 rules in 1 ms. Remains 52 /53 variables (removed 1) and now considering 68/70 (removed 2) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7979695705563997899.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17948869483033098494.kers'
[2026-05-25 20:05:48] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7979695705563997899.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17948869483033098494.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 68 rows 52 cols 176 entries
Finished phase 1 with 39 SingleSign rule and 9 generalized
[2026-05-25 20:05:48] [INFO ] Computed 4 invariants in 0 ms
Computed 4 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-17948869483033098494.kers
Total runtime 1 ms.
[2026-05-25 20:05:48] [INFO ] Implicit Places using invariants in 119 ms returned []
[2026-05-25 20:05:48] [INFO ] Invariant cache hit.
[2026-05-25 20:05:48] [INFO ] Implicit Places using invariants and state equation in 188 ms returned []
Implicit Place search using SMT with State Equation took 310 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 3 : 52/2825 places, 68/2558 transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 1116 ms. Remains : 52/2825 places, 68/2558 transitions.
[2026-05-25 20:05:48] [INFO ] Flatten gal took : 3 ms
[2026-05-25 20:05:48] [INFO ] Flatten gal took : 2 ms
[2026-05-25 20:05:48] [INFO ] Input system was already deterministic with 68 transitions.
[2026-05-25 20:05:48] [INFO ] Flatten gal took : 1 ms
[2026-05-25 20:05:48] [INFO ] Flatten gal took : 2 ms
[2026-05-25 20:05:48] [INFO ] Time to serialize gal into /tmp/CTLFireability17582317725366282632.gal : 0 ms
[2026-05-25 20:05:48] [INFO ] Time to serialize properties into /tmp/CTLFireability17153474223172796859.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/CTLFireability17582317725366282632.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17153474223172796859.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.78276e+11,9.64087,175960,2,28251,5,1.02904e+06,6,0,269,1.10979e+06,0
Converting to forward existential form...Done !
original formula: EF(!(E(EF((EF((c3_6_1>=1)) * !(((l3_4_2>=1)&&(ml1_4_2>=1))))) U (!((AG(((m8_2>=1)&&(lm4_19>=1))) + (((p1_13_1>=1)&&(c4_1>=1))&&(lc2_0>=1)...202
=> equivalent forward existential formula: [(FwdU(Init,TRUE) * !(E(E(TRUE U (E(TRUE U (c3_6_1>=1)) * !(((l3_4_2>=1)&&(ml1_4_2>=1))))) U (!((!(E(TRUE U !(((...284
Reverse transition relation is NOT exact ! Due to transitions t4, t17, t18, t21, t22, t25, t27, t32, t36, t37, t39, t43, t46, t47, t55, t58, t62, t63, t66,...254
Detected timeout of ITS tools.
[2026-05-25 20:06:18] [INFO ] Flatten gal took : 2 ms
[2026-05-25 20:06:18] [INFO ] Applying decomposition
[2026-05-25 20:06:18] [INFO ] Flatten gal took : 2 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/graph5804418228420378936.txt' '-o' '/tmp/graph5804418228420378936.bin' '-w' '/tmp/graph5804418228420378936.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5804418228420378936.bin' '-l' '-1' '-v' '-w' '/tmp/graph5804418228420378936.weights' '-q' '0' '-e' '0.001'
[2026-05-25 20:06:18] [INFO ] Decomposing Gal with order
[2026-05-25 20:06:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 20:06:18] [INFO ] Removed a total of 41 redundant transitions.
[2026-05-25 20:06:18] [INFO ] Flatten gal took : 4 ms
[2026-05-25 20:06:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 18 labels/synchronizations in 1 ms.
[2026-05-25 20:06:18] [INFO ] Time to serialize gal into /tmp/CTLFireability7472649949054000904.gal : 1 ms
[2026-05-25 20:06:18] [INFO ] Time to serialize properties into /tmp/CTLFireability1733237445113420476.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/CTLFireability7472649949054000904.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1733237445113420476.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 : 2825/2825 places, 2558/2558 transitions.
Discarding 252 places :
Implicit places reduction removed 252 places
Iterating post reduction 0 with 252 rules applied. Total rules applied 252 place count 2573 transition count 2558
Discarding 154 places :
Symmetric choice reduction at 1 with 154 rule applications. Total rules 406 place count 2419 transition count 2403
Iterating global reduction 1 with 154 rules applied. Total rules applied 560 place count 2419 transition count 2403
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 1 with 19 rules applied. Total rules applied 579 place count 2419 transition count 2384
Discarding 46 places :
Symmetric choice reduction at 2 with 46 rule applications. Total rules 625 place count 2373 transition count 2298
Iterating global reduction 2 with 46 rules applied. Total rules applied 671 place count 2373 transition count 2298
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Discarding 3 places :
Implicit places reduction removed 3 places
Iterating post reduction 2 with 4 rules applied. Total rules applied 675 place count 2370 transition count 2297
Discarding 83 places :
Symmetric choice reduction at 3 with 83 rule applications. Total rules 758 place count 2287 transition count 2214
Iterating global reduction 3 with 83 rules applied. Total rules applied 841 place count 2287 transition count 2214
Discarding 22 places :
Symmetric choice reduction at 3 with 22 rule applications. Total rules 863 place count 2265 transition count 2172
Iterating global reduction 3 with 22 rules applied. Total rules applied 885 place count 2265 transition count 2172
Discarding 21 places :
Symmetric choice reduction at 3 with 21 rule applications. Total rules 906 place count 2244 transition count 2151
Iterating global reduction 3 with 21 rules applied. Total rules applied 927 place count 2244 transition count 2151
Discarding 20 places :
Symmetric choice reduction at 3 with 20 rule applications. Total rules 947 place count 2224 transition count 2131
Iterating global reduction 3 with 20 rules applied. Total rules applied 967 place count 2224 transition count 2131
Discarding 20 places :
Symmetric choice reduction at 3 with 20 rule applications. Total rules 987 place count 2204 transition count 2111
Iterating global reduction 3 with 20 rules applied. Total rules applied 1007 place count 2204 transition count 2111
Discarding 20 places :
Symmetric choice reduction at 3 with 20 rule applications. Total rules 1027 place count 2184 transition count 2091
Iterating global reduction 3 with 20 rules applied. Total rules applied 1047 place count 2184 transition count 2091
Discarding 20 places :
Symmetric choice reduction at 3 with 20 rule applications. Total rules 1067 place count 2164 transition count 2071
Iterating global reduction 3 with 20 rules applied. Total rules applied 1087 place count 2164 transition count 2071
Discarding 20 places :
Symmetric choice reduction at 3 with 20 rule applications. Total rules 1107 place count 2144 transition count 2051
Iterating global reduction 3 with 20 rules applied. Total rules applied 1127 place count 2144 transition count 2051
Discarding 20 places :
Symmetric choice reduction at 3 with 20 rule applications. Total rules 1147 place count 2124 transition count 2031
Iterating global reduction 3 with 20 rules applied. Total rules applied 1167 place count 2124 transition count 2031
Discarding 20 places :
Symmetric choice reduction at 3 with 20 rule applications. Total rules 1187 place count 2104 transition count 2011
Iterating global reduction 3 with 20 rules applied. Total rules applied 1207 place count 2104 transition count 2011
Discarding 20 places :
Symmetric choice reduction at 3 with 20 rule applications. Total rules 1227 place count 2084 transition count 1991
Iterating global reduction 3 with 20 rules applied. Total rules applied 1247 place count 2084 transition count 1991
Discarding 20 places :
Symmetric choice reduction at 3 with 20 rule applications. Total rules 1267 place count 2064 transition count 1971
Iterating global reduction 3 with 20 rules applied. Total rules applied 1287 place count 2064 transition count 1971
Discarding 20 places :
Symmetric choice reduction at 3 with 20 rule applications. Total rules 1307 place count 2044 transition count 1951
Iterating global reduction 3 with 20 rules applied. Total rules applied 1327 place count 2044 transition count 1951
Discarding 20 places :
Symmetric choice reduction at 3 with 20 rule applications. Total rules 1347 place count 2024 transition count 1931
Iterating global reduction 3 with 20 rules applied. Total rules applied 1367 place count 2024 transition count 1931
Discarding 20 places :
Symmetric choice reduction at 3 with 20 rule applications. Total rules 1387 place count 2004 transition count 1911
Iterating global reduction 3 with 20 rules applied. Total rules applied 1407 place count 2004 transition count 1911
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Iterating post reduction 3 with 20 rules applied. Total rules applied 1427 place count 2004 transition count 1891
Applied a total of 1427 rules in 3993 ms. Remains 2004 /2825 variables (removed 821) and now considering 1891/2558 (removed 667) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1701080584017056873.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6039656965537717220.kers'
[2026-05-25 20:06:52] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1701080584017056873.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6039656965537717220.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 1891 rows 2004 cols 4650 entries
Finished phase 1 with 1533 SingleSign rule and 212 generalized
[2026-05-25 20:06:52] [INFO ] Computed 259 invariants in 16 ms
Computed 259 P flows in 17 ms.
Exported basis to /tmp/petrispot-output-6039656965537717220.kers
Total runtime 19 ms.
[2026-05-25 20:06:54] [INFO ] Implicit Places using invariants in 1208 ms returned [147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 661, 662, 663, 664, 665, 666, 667, 668, 669, 670, 671, 672, 673, 674, 675, 676, 677, 678, 679, 680, 681, 983, 1048, 1049, 1050, 1051, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1269, 1270, 1271, 1272, 1273, 1274, 1275, 1276, 1278, 1279, 1280, 1520, 1521, 1522, 1523, 1524, 1525, 1526, 1527, 1528, 1529, 1530, 1531, 1532, 1533, 1534, 1535, 1536, 1537, 1538, 1539, 1540, 1814]
Discarding 127 places :
Implicit Place search using SMT only with invariants took 1213 ms to find 127 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1877/2825 places, 1891/2558 transitions.
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 41 place count 1836 transition count 1850
Iterating global reduction 0 with 41 rules applied. Total rules applied 82 place count 1836 transition count 1850
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 102 place count 1816 transition count 1810
Iterating global reduction 0 with 20 rules applied. Total rules applied 122 place count 1816 transition count 1810
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 142 place count 1796 transition count 1790
Iterating global reduction 0 with 20 rules applied. Total rules applied 162 place count 1796 transition count 1790
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 182 place count 1776 transition count 1770
Iterating global reduction 0 with 20 rules applied. Total rules applied 202 place count 1776 transition count 1770
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 222 place count 1756 transition count 1750
Iterating global reduction 0 with 20 rules applied. Total rules applied 242 place count 1756 transition count 1750
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 262 place count 1736 transition count 1730
Iterating global reduction 0 with 20 rules applied. Total rules applied 282 place count 1736 transition count 1730
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 301 place count 1717 transition count 1692
Iterating global reduction 0 with 19 rules applied. Total rules applied 320 place count 1717 transition count 1692
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 339 place count 1698 transition count 1673
Iterating global reduction 0 with 19 rules applied. Total rules applied 358 place count 1698 transition count 1673
Applied a total of 358 rules in 1624 ms. Remains 1698 /1877 variables (removed 179) and now considering 1673/1891 (removed 218) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3341407972225106233.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15503145312762415105.kers'
[2026-05-25 20:06:55] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3341407972225106233.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15503145312762415105.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 1673 rows 1698 cols 3799 entries
Finished phase 1 with 1458 SingleSign rule and 108 generalized
[2026-05-25 20:06:55] [INFO ] Computed 132 invariants in 13 ms
Computed 132 P flows in 13 ms.
Exported basis to /tmp/petrispot-output-15503145312762415105.kers
Total runtime 15 ms.
[2026-05-25 20:06:56] [INFO ] Implicit Places using invariants in 674 ms returned []
[2026-05-25 20:06:56] [INFO ] Invariant cache hit.
[2026-05-25 20:06:59] [INFO ] Implicit Places using invariants and state equation in 3292 ms returned []
Implicit Place search using SMT with State Equation took 3969 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1698/2825 places, 1673/2558 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 10801 ms. Remains : 1698/2825 places, 1673/2558 transitions.
[2026-05-25 20:06:59] [INFO ] Flatten gal took : 23 ms
[2026-05-25 20:06:59] [INFO ] Flatten gal took : 24 ms
[2026-05-25 20:06:59] [INFO ] Input system was already deterministic with 1673 transitions.
[2026-05-25 20:06:59] [INFO ] Flatten gal took : 31 ms
[2026-05-25 20:06:59] [INFO ] Flatten gal took : 23 ms
[2026-05-25 20:06:59] [INFO ] Time to serialize gal into /tmp/CTLFireability16990592487596778739.gal : 6 ms
[2026-05-25 20:06:59] [INFO ] Time to serialize properties into /tmp/CTLFireability8930437449282994116.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/CTLFireability16990592487596778739.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8930437449282994116.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 20:07:29] [INFO ] Flatten gal took : 23 ms
[2026-05-25 20:07:29] [INFO ] Applying decomposition
[2026-05-25 20:07:30] [INFO ] Flatten gal took : 23 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/graph14365056936769800569.txt' '-o' '/tmp/graph14365056936769800569.bin' '-w' '/tmp/graph14365056936769800569.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph14365056936769800569.bin' '-l' '-1' '-v' '-w' '/tmp/graph14365056936769800569.weights' '-q' '0' '-e' '0.001'
[2026-05-25 20:07:30] [INFO ] Decomposing Gal with order
[2026-05-25 20:07:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 20:07:30] [INFO ] Removed a total of 295 redundant transitions.
[2026-05-25 20:07:30] [INFO ] Flatten gal took : 74 ms
[2026-05-25 20:07:30] [INFO ] Fuse similar labels procedure discarded/fused a total of 4 labels/synchronizations in 9 ms.
[2026-05-25 20:07:30] [INFO ] Time to serialize gal into /tmp/CTLFireability5445125160456897427.gal : 19 ms
[2026-05-25 20:07:30] [INFO ] Time to serialize properties into /tmp/CTLFireability17460358943100440639.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/CTLFireability5445125160456897427.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17460358943100440639.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 : 2825/2825 places, 2558/2558 transitions.
Discarding 252 places :
Implicit places reduction removed 252 places
Iterating post reduction 0 with 252 rules applied. Total rules applied 252 place count 2573 transition count 2558
Discarding 154 places :
Symmetric choice reduction at 1 with 154 rule applications. Total rules 406 place count 2419 transition count 2403
Iterating global reduction 1 with 154 rules applied. Total rules applied 560 place count 2419 transition count 2403
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 1 with 19 rules applied. Total rules applied 579 place count 2419 transition count 2384
Discarding 46 places :
Symmetric choice reduction at 2 with 46 rule applications. Total rules 625 place count 2373 transition count 2318
Iterating global reduction 2 with 46 rules applied. Total rules applied 671 place count 2373 transition count 2318
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 2 with 2 rules applied. Total rules applied 673 place count 2372 transition count 2317
Discarding 63 places :
Symmetric choice reduction at 3 with 63 rule applications. Total rules 736 place count 2309 transition count 2254
Iterating global reduction 3 with 63 rules applied. Total rules applied 799 place count 2309 transition count 2254
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 801 place count 2307 transition count 2212
Iterating global reduction 3 with 2 rules applied. Total rules applied 803 place count 2307 transition count 2212
Discarding 21 places :
Implicit places reduction removed 21 places
Iterating post reduction 3 with 21 rules applied. Total rules applied 824 place count 2286 transition count 2212
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 866 place count 2244 transition count 2170
Iterating global reduction 4 with 42 rules applied. Total rules applied 908 place count 2244 transition count 2170
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 950 place count 2202 transition count 2128
Iterating global reduction 4 with 42 rules applied. Total rules applied 992 place count 2202 transition count 2128
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1034 place count 2160 transition count 2086
Iterating global reduction 4 with 42 rules applied. Total rules applied 1076 place count 2160 transition count 2086
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1118 place count 2118 transition count 2044
Iterating global reduction 4 with 42 rules applied. Total rules applied 1160 place count 2118 transition count 2044
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1202 place count 2076 transition count 2002
Iterating global reduction 4 with 42 rules applied. Total rules applied 1244 place count 2076 transition count 2002
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1286 place count 2034 transition count 1960
Iterating global reduction 4 with 42 rules applied. Total rules applied 1328 place count 2034 transition count 1960
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1370 place count 1992 transition count 1918
Iterating global reduction 4 with 42 rules applied. Total rules applied 1412 place count 1992 transition count 1918
Discarding 41 places :
Symmetric choice reduction at 4 with 41 rule applications. Total rules 1453 place count 1951 transition count 1877
Iterating global reduction 4 with 41 rules applied. Total rules applied 1494 place count 1951 transition count 1877
Discarding 40 places :
Symmetric choice reduction at 4 with 40 rule applications. Total rules 1534 place count 1911 transition count 1837
Iterating global reduction 4 with 40 rules applied. Total rules applied 1574 place count 1911 transition count 1837
Discarding 40 places :
Symmetric choice reduction at 4 with 40 rule applications. Total rules 1614 place count 1871 transition count 1797
Iterating global reduction 4 with 40 rules applied. Total rules applied 1654 place count 1871 transition count 1797
Discarding 39 places :
Symmetric choice reduction at 4 with 39 rule applications. Total rules 1693 place count 1832 transition count 1758
Iterating global reduction 4 with 39 rules applied. Total rules applied 1732 place count 1832 transition count 1758
Discarding 38 places :
Symmetric choice reduction at 4 with 38 rule applications. Total rules 1770 place count 1794 transition count 1720
Iterating global reduction 4 with 38 rules applied. Total rules applied 1808 place count 1794 transition count 1720
Discarding 38 places :
Symmetric choice reduction at 4 with 38 rule applications. Total rules 1846 place count 1756 transition count 1682
Iterating global reduction 4 with 38 rules applied. Total rules applied 1884 place count 1756 transition count 1682
Ensure Unique test removed 38 transitions
Reduce isomorphic transitions removed 38 transitions.
Discarding 17 places :
Implicit places reduction removed 17 places
Iterating post reduction 4 with 55 rules applied. Total rules applied 1939 place count 1739 transition count 1644
Applied a total of 1939 rules in 3725 ms. Remains 1739 /2825 variables (removed 1086) and now considering 1644/2558 (removed 914) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1656026465785075313.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17447005878148602620.kers'
[2026-05-25 20:08:04] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1656026465785075313.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17447005878148602620.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 1644 rows 1739 cols 4086 entries
Finished phase 1 with 1319 SingleSign rule and 197 generalized
[2026-05-25 20:08:04] [INFO ] Computed 223 invariants in 12 ms
Computed 223 P flows in 12 ms.
Exported basis to /tmp/petrispot-output-17447005878148602620.kers
Total runtime 14 ms.
[2026-05-25 20:08:05] [INFO ] Implicit Places using invariants in 1388 ms returned [147, 148, 149, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 506, 507, 508, 509, 510, 511, 512, 513, 514, 515, 516, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 739, 782, 783, 784, 785, 786, 787, 788, 789, 790, 791, 792, 793, 794, 795, 796, 797, 798, 799, 800, 801, 802, 845, 1209, 1210, 1211, 1212, 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1222, 1223, 1224, 1225, 1226, 1227, 1228, 1229, 1590]
Discarding 90 places :
Implicit Place search using SMT only with invariants took 1395 ms to find 90 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1649/2825 places, 1644/2558 transitions.
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 40 place count 1609 transition count 1604
Iterating global reduction 0 with 40 rules applied. Total rules applied 80 place count 1609 transition count 1604
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 99 place count 1590 transition count 1566
Iterating global reduction 0 with 19 rules applied. Total rules applied 118 place count 1590 transition count 1566
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 137 place count 1571 transition count 1547
Iterating global reduction 0 with 19 rules applied. Total rules applied 156 place count 1571 transition count 1547
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 175 place count 1552 transition count 1528
Iterating global reduction 0 with 19 rules applied. Total rules applied 194 place count 1552 transition count 1528
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 213 place count 1533 transition count 1509
Iterating global reduction 0 with 19 rules applied. Total rules applied 232 place count 1533 transition count 1509
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 251 place count 1514 transition count 1490
Iterating global reduction 0 with 19 rules applied. Total rules applied 270 place count 1514 transition count 1490
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 288 place count 1496 transition count 1454
Iterating global reduction 0 with 18 rules applied. Total rules applied 306 place count 1496 transition count 1454
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 324 place count 1478 transition count 1436
Iterating global reduction 0 with 18 rules applied. Total rules applied 342 place count 1478 transition count 1436
Applied a total of 342 rules in 1182 ms. Remains 1478 /1649 variables (removed 171) and now considering 1436/1644 (removed 208) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14389255948580629794.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1846861422154096193.kers'
[2026-05-25 20:08:06] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14389255948580629794.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1846861422154096193.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 1436 rows 1478 cols 3350 entries
Finished phase 1 with 1237 SingleSign rule and 108 generalized
[2026-05-25 20:08:06] [INFO ] Computed 133 invariants in 8 ms
Computed 133 P flows in 9 ms.
Exported basis to /tmp/petrispot-output-1846861422154096193.kers
Total runtime 11 ms.
[2026-05-25 20:08:07] [INFO ] Implicit Places using invariants in 571 ms returned []
[2026-05-25 20:08:07] [INFO ] Invariant cache hit.
[2026-05-25 20:08:10] [INFO ] Implicit Places using invariants and state equation in 2811 ms returned []
Implicit Place search using SMT with State Equation took 3385 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1478/2825 places, 1436/2558 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 9687 ms. Remains : 1478/2825 places, 1436/2558 transitions.
[2026-05-25 20:08:10] [INFO ] Flatten gal took : 19 ms
[2026-05-25 20:08:10] [INFO ] Flatten gal took : 21 ms
[2026-05-25 20:08:10] [INFO ] Input system was already deterministic with 1436 transitions.
[2026-05-25 20:08:10] [INFO ] Flatten gal took : 20 ms
[2026-05-25 20:08:10] [INFO ] Flatten gal took : 21 ms
[2026-05-25 20:08:10] [INFO ] Time to serialize gal into /tmp/CTLFireability8862882338871150987.gal : 4 ms
[2026-05-25 20:08:10] [INFO ] Time to serialize properties into /tmp/CTLFireability16845690206872216873.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/CTLFireability8862882338871150987.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16845690206872216873.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 20:08:40] [INFO ] Flatten gal took : 20 ms
[2026-05-25 20:08:40] [INFO ] Applying decomposition
[2026-05-25 20:08:40] [INFO ] Flatten gal took : 21 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/graph3472202497363485498.txt' '-o' '/tmp/graph3472202497363485498.bin' '-w' '/tmp/graph3472202497363485498.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph3472202497363485498.bin' '-l' '-1' '-v' '-w' '/tmp/graph3472202497363485498.weights' '-q' '0' '-e' '0.001'
[2026-05-25 20:08:40] [INFO ] Decomposing Gal with order
[2026-05-25 20:08:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 20:08:40] [INFO ] Removed a total of 323 redundant transitions.
[2026-05-25 20:08:40] [INFO ] Flatten gal took : 80 ms
[2026-05-25 20:08:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 77 labels/synchronizations in 24 ms.
[2026-05-25 20:08:40] [INFO ] Time to serialize gal into /tmp/CTLFireability11749317916627779891.gal : 23 ms
[2026-05-25 20:08:40] [INFO ] Time to serialize properties into /tmp/CTLFireability11289755475408185265.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/CTLFireability11749317916627779891.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11289755475408185265.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 : 2825/2825 places, 2558/2558 transitions.
Discarding 250 places :
Implicit places reduction removed 250 places
Iterating post reduction 0 with 250 rules applied. Total rules applied 250 place count 2575 transition count 2558
Discarding 156 places :
Symmetric choice reduction at 1 with 156 rule applications. Total rules 406 place count 2419 transition count 2402
Iterating global reduction 1 with 156 rules applied. Total rules applied 562 place count 2419 transition count 2402
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 1 with 19 rules applied. Total rules applied 581 place count 2419 transition count 2383
Discarding 46 places :
Symmetric choice reduction at 2 with 46 rule applications. Total rules 627 place count 2373 transition count 2317
Iterating global reduction 2 with 46 rules applied. Total rules applied 673 place count 2373 transition count 2317
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 4 places :
Implicit places reduction removed 4 places
Iterating post reduction 2 with 6 rules applied. Total rules applied 679 place count 2369 transition count 2315
Discarding 62 places :
Symmetric choice reduction at 3 with 62 rule applications. Total rules 741 place count 2307 transition count 2233
Iterating global reduction 3 with 62 rules applied. Total rules applied 803 place count 2307 transition count 2233
Discarding 43 places :
Symmetric choice reduction at 3 with 43 rule applications. Total rules 846 place count 2264 transition count 2170
Iterating global reduction 3 with 43 rules applied. Total rules applied 889 place count 2264 transition count 2170
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Discarding 21 places :
Implicit places reduction removed 21 places
Iterating post reduction 3 with 42 rules applied. Total rules applied 931 place count 2243 transition count 2149
Discarding 21 places :
Symmetric choice reduction at 4 with 21 rule applications. Total rules 952 place count 2222 transition count 2128
Iterating global reduction 4 with 21 rules applied. Total rules applied 973 place count 2222 transition count 2128
Discarding 21 places :
Symmetric choice reduction at 4 with 21 rule applications. Total rules 994 place count 2201 transition count 2107
Iterating global reduction 4 with 21 rules applied. Total rules applied 1015 place count 2201 transition count 2107
Discarding 21 places :
Symmetric choice reduction at 4 with 21 rule applications. Total rules 1036 place count 2180 transition count 2086
Iterating global reduction 4 with 21 rules applied. Total rules applied 1057 place count 2180 transition count 2086
Discarding 20 places :
Symmetric choice reduction at 4 with 20 rule applications. Total rules 1077 place count 2160 transition count 2066
Iterating global reduction 4 with 20 rules applied. Total rules applied 1097 place count 2160 transition count 2066
Discarding 19 places :
Symmetric choice reduction at 4 with 19 rule applications. Total rules 1116 place count 2141 transition count 2047
Iterating global reduction 4 with 19 rules applied. Total rules applied 1135 place count 2141 transition count 2047
Discarding 19 places :
Symmetric choice reduction at 4 with 19 rule applications. Total rules 1154 place count 2122 transition count 2028
Iterating global reduction 4 with 19 rules applied. Total rules applied 1173 place count 2122 transition count 2028
Discarding 19 places :
Symmetric choice reduction at 4 with 19 rule applications. Total rules 1192 place count 2103 transition count 2009
Iterating global reduction 4 with 19 rules applied. Total rules applied 1211 place count 2103 transition count 2009
Discarding 18 places :
Symmetric choice reduction at 4 with 18 rule applications. Total rules 1229 place count 2085 transition count 1991
Iterating global reduction 4 with 18 rules applied. Total rules applied 1247 place count 2085 transition count 1991
Discarding 18 places :
Symmetric choice reduction at 4 with 18 rule applications. Total rules 1265 place count 2067 transition count 1973
Iterating global reduction 4 with 18 rules applied. Total rules applied 1283 place count 2067 transition count 1973
Discarding 18 places :
Symmetric choice reduction at 4 with 18 rule applications. Total rules 1301 place count 2049 transition count 1955
Iterating global reduction 4 with 18 rules applied. Total rules applied 1319 place count 2049 transition count 1955
Discarding 18 places :
Symmetric choice reduction at 4 with 18 rule applications. Total rules 1337 place count 2031 transition count 1937
Iterating global reduction 4 with 18 rules applied. Total rules applied 1355 place count 2031 transition count 1937
Discarding 18 places :
Symmetric choice reduction at 4 with 18 rule applications. Total rules 1373 place count 2013 transition count 1919
Iterating global reduction 4 with 18 rules applied. Total rules applied 1391 place count 2013 transition count 1919
Discarding 17 places :
Symmetric choice reduction at 4 with 17 rule applications. Total rules 1408 place count 1996 transition count 1902
Iterating global reduction 4 with 17 rules applied. Total rules applied 1425 place count 1996 transition count 1902
Ensure Unique test removed 17 transitions
Reduce isomorphic transitions removed 17 transitions.
Iterating post reduction 4 with 17 rules applied. Total rules applied 1442 place count 1996 transition count 1885
Applied a total of 1442 rules in 3557 ms. Remains 1996 /2825 variables (removed 829) and now considering 1885/2558 (removed 673) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-5466568248192111500.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8375306904272334739.kers'
[2026-05-25 20:09:14] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5466568248192111500.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8375306904272334739.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 1885 rows 1996 cols 4597 entries
Finished phase 1 with 1565 SingleSign rule and 192 generalized
[2026-05-25 20:09:14] [INFO ] Computed 239 invariants in 15 ms
Computed 239 P flows in 16 ms.
Exported basis to /tmp/petrispot-output-8375306904272334739.kers
Total runtime 17 ms.
[2026-05-25 20:09:15] [INFO ] Implicit Places using invariants in 1205 ms returned [147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 367, 632, 633, 634, 635, 636, 637, 638, 639, 640, 641, 642, 643, 644, 645, 646, 647, 648, 649, 650, 651, 652, 1042, 1043, 1044, 1045, 1046, 1047, 1048, 1049, 1050, 1051, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1269, 1270, 1271, 1272, 1273, 1274, 1275, 1512, 1513, 1514, 1515, 1516, 1517, 1518, 1519, 1520, 1521, 1522, 1523, 1524, 1525, 1526, 1527, 1528, 1529, 1530, 1531, 1532, 1806]
Discarding 107 places :
Implicit Place search using SMT only with invariants took 1207 ms to find 107 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1889/2825 places, 1885/2558 transitions.
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 41 place count 1848 transition count 1844
Iterating global reduction 0 with 41 rules applied. Total rules applied 82 place count 1848 transition count 1844
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 102 place count 1828 transition count 1804
Iterating global reduction 0 with 20 rules applied. Total rules applied 122 place count 1828 transition count 1804
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 141 place count 1809 transition count 1766
Iterating global reduction 0 with 19 rules applied. Total rules applied 160 place count 1809 transition count 1766
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 179 place count 1790 transition count 1747
Iterating global reduction 0 with 19 rules applied. Total rules applied 198 place count 1790 transition count 1747
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 217 place count 1771 transition count 1728
Iterating global reduction 0 with 19 rules applied. Total rules applied 236 place count 1771 transition count 1728
Discarding 38 places :
Symmetric choice reduction at 0 with 38 rule applications. Total rules 274 place count 1733 transition count 1690
Iterating global reduction 0 with 38 rules applied. Total rules applied 312 place count 1733 transition count 1690
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 331 place count 1714 transition count 1652
Iterating global reduction 0 with 19 rules applied. Total rules applied 350 place count 1714 transition count 1652
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 369 place count 1695 transition count 1633
Iterating global reduction 0 with 19 rules applied. Total rules applied 388 place count 1695 transition count 1633
Applied a total of 388 rules in 1254 ms. Remains 1695 /1889 variables (removed 194) and now considering 1633/1885 (removed 252) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3593819311465287698.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-12884725686527752012.kers'
[2026-05-25 20:09:16] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3593819311465287698.kers, --Pflows, --basisKERS=/tmp/petrispot-output-12884725686527752012.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 1633 rows 1695 cols 3640 entries
Finished phase 1 with 1452 SingleSign rule and 111 generalized
[2026-05-25 20:09:16] [INFO ] Computed 132 invariants in 12 ms
Computed 132 P flows in 13 ms.
Exported basis to /tmp/petrispot-output-12884725686527752012.kers
Total runtime 14 ms.
[2026-05-25 20:09:17] [INFO ] Implicit Places using invariants in 591 ms returned []
[2026-05-25 20:09:17] [INFO ] Invariant cache hit.
[2026-05-25 20:09:20] [INFO ] Implicit Places using invariants and state equation in 3292 ms returned []
Implicit Place search using SMT with State Equation took 3886 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1695/2825 places, 1633/2558 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 9904 ms. Remains : 1695/2825 places, 1633/2558 transitions.
[2026-05-25 20:09:20] [INFO ] Flatten gal took : 21 ms
[2026-05-25 20:09:20] [INFO ] Flatten gal took : 22 ms
[2026-05-25 20:09:20] [INFO ] Input system was already deterministic with 1633 transitions.
[2026-05-25 20:09:20] [INFO ] Flatten gal took : 21 ms
[2026-05-25 20:09:20] [INFO ] Flatten gal took : 22 ms
[2026-05-25 20:09:20] [INFO ] Time to serialize gal into /tmp/CTLFireability2078503308680392327.gal : 5 ms
[2026-05-25 20:09:20] [INFO ] Time to serialize properties into /tmp/CTLFireability10687145024300882297.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/CTLFireability2078503308680392327.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10687145024300882297.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 20:09:50] [INFO ] Flatten gal took : 23 ms
[2026-05-25 20:09:50] [INFO ] Applying decomposition
[2026-05-25 20:09:50] [INFO ] Flatten gal took : 24 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/graph15704620330992730823.txt' '-o' '/tmp/graph15704620330992730823.bin' '-w' '/tmp/graph15704620330992730823.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph15704620330992730823.bin' '-l' '-1' '-v' '-w' '/tmp/graph15704620330992730823.weights' '-q' '0' '-e' '0.001'
[2026-05-25 20:09:51] [INFO ] Decomposing Gal with order
[2026-05-25 20:09:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 20:09:51] [INFO ] Removed a total of 186 redundant transitions.
[2026-05-25 20:09:51] [INFO ] Flatten gal took : 52 ms
[2026-05-25 20:09:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 2 labels/synchronizations in 6 ms.
[2026-05-25 20:09:51] [INFO ] Time to serialize gal into /tmp/CTLFireability4227895276548714255.gal : 13 ms
[2026-05-25 20:09:51] [INFO ] Time to serialize properties into /tmp/CTLFireability12264950148391605667.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/CTLFireability4227895276548714255.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12264950148391605667.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 : 2825/2825 places, 2558/2558 transitions.
Discarding 253 places :
Implicit places reduction removed 253 places
Iterating post reduction 0 with 253 rules applied. Total rules applied 253 place count 2572 transition count 2558
Discarding 156 places :
Symmetric choice reduction at 1 with 156 rule applications. Total rules 409 place count 2416 transition count 2401
Iterating global reduction 1 with 156 rules applied. Total rules applied 565 place count 2416 transition count 2401
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 1 with 19 rules applied. Total rules applied 584 place count 2416 transition count 2382
Discarding 47 places :
Symmetric choice reduction at 2 with 47 rule applications. Total rules 631 place count 2369 transition count 2315
Iterating global reduction 2 with 47 rules applied. Total rules applied 678 place count 2369 transition count 2315
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 2 places :
Implicit places reduction removed 2 places
Iterating post reduction 2 with 4 rules applied. Total rules applied 682 place count 2367 transition count 2313
Discarding 64 places :
Symmetric choice reduction at 3 with 64 rule applications. Total rules 746 place count 2303 transition count 2229
Iterating global reduction 3 with 64 rules applied. Total rules applied 810 place count 2303 transition count 2229
Discarding 24 places :
Symmetric choice reduction at 3 with 24 rule applications. Total rules 834 place count 2279 transition count 2145
Iterating global reduction 3 with 24 rules applied. Total rules applied 858 place count 2279 transition count 2145
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Discarding 63 places :
Implicit places reduction removed 63 places
Iterating post reduction 3 with 84 rules applied. Total rules applied 942 place count 2216 transition count 2124
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 984 place count 2174 transition count 2082
Iterating global reduction 4 with 42 rules applied. Total rules applied 1026 place count 2174 transition count 2082
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1068 place count 2132 transition count 2040
Iterating global reduction 4 with 42 rules applied. Total rules applied 1110 place count 2132 transition count 2040
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1152 place count 2090 transition count 1998
Iterating global reduction 4 with 42 rules applied. Total rules applied 1194 place count 2090 transition count 1998
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1236 place count 2048 transition count 1956
Iterating global reduction 4 with 42 rules applied. Total rules applied 1278 place count 2048 transition count 1956
Discarding 41 places :
Symmetric choice reduction at 4 with 41 rule applications. Total rules 1319 place count 2007 transition count 1915
Iterating global reduction 4 with 41 rules applied. Total rules applied 1360 place count 2007 transition count 1915
Discarding 41 places :
Symmetric choice reduction at 4 with 41 rule applications. Total rules 1401 place count 1966 transition count 1874
Iterating global reduction 4 with 41 rules applied. Total rules applied 1442 place count 1966 transition count 1874
Discarding 41 places :
Symmetric choice reduction at 4 with 41 rule applications. Total rules 1483 place count 1925 transition count 1833
Iterating global reduction 4 with 41 rules applied. Total rules applied 1524 place count 1925 transition count 1833
Discarding 41 places :
Symmetric choice reduction at 4 with 41 rule applications. Total rules 1565 place count 1884 transition count 1792
Iterating global reduction 4 with 41 rules applied. Total rules applied 1606 place count 1884 transition count 1792
Discarding 41 places :
Symmetric choice reduction at 4 with 41 rule applications. Total rules 1647 place count 1843 transition count 1751
Iterating global reduction 4 with 41 rules applied. Total rules applied 1688 place count 1843 transition count 1751
Discarding 41 places :
Symmetric choice reduction at 4 with 41 rule applications. Total rules 1729 place count 1802 transition count 1710
Iterating global reduction 4 with 41 rules applied. Total rules applied 1770 place count 1802 transition count 1710
Discarding 40 places :
Symmetric choice reduction at 4 with 40 rule applications. Total rules 1810 place count 1762 transition count 1670
Iterating global reduction 4 with 40 rules applied. Total rules applied 1850 place count 1762 transition count 1670
Discarding 40 places :
Symmetric choice reduction at 4 with 40 rule applications. Total rules 1890 place count 1722 transition count 1630
Iterating global reduction 4 with 40 rules applied. Total rules applied 1930 place count 1722 transition count 1630
Discarding 39 places :
Symmetric choice reduction at 4 with 39 rule applications. Total rules 1969 place count 1683 transition count 1591
Iterating global reduction 4 with 39 rules applied. Total rules applied 2008 place count 1683 transition count 1591
Ensure Unique test removed 39 transitions
Reduce isomorphic transitions removed 39 transitions.
Discarding 19 places :
Implicit places reduction removed 19 places
Iterating post reduction 4 with 58 rules applied. Total rules applied 2066 place count 1664 transition count 1552
Applied a total of 2066 rules in 3681 ms. Remains 1664 /2825 variables (removed 1161) and now considering 1552/2558 (removed 1006) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17981029299450139905.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16575411318010814663.kers'
[2026-05-25 20:10:25] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17981029299450139905.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16575411318010814663.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 1552 rows 1664 cols 3744 entries
Finished phase 1 with 1336 SingleSign rule and 151 generalized
[2026-05-25 20:10:25] [INFO ] Computed 177 invariants in 11 ms
Computed 177 P flows in 11 ms.
Exported basis to /tmp/petrispot-output-16575411318010814663.kers
Total runtime 13 ms.
[2026-05-25 20:10:26] [INFO ] Implicit Places using invariants in 1223 ms returned [147, 148, 282, 668, 711, 712, 713, 714, 715, 716, 717, 718, 719, 720, 721, 722, 723, 724, 725, 726, 727, 728, 729, 730, 731, 774, 1134, 1135, 1136, 1137, 1138, 1139, 1140, 1141, 1142, 1143, 1144, 1145, 1146, 1147, 1148, 1149, 1150, 1151, 1152, 1153, 1154, 1514]
Discarding 48 places :
Implicit Place search using SMT only with invariants took 1225 ms to find 48 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1616/2825 places, 1552/2558 transitions.
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 41 place count 1575 transition count 1511
Iterating global reduction 0 with 41 rules applied. Total rules applied 82 place count 1575 transition count 1511
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 102 place count 1555 transition count 1471
Iterating global reduction 0 with 20 rules applied. Total rules applied 122 place count 1555 transition count 1471
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 142 place count 1535 transition count 1451
Iterating global reduction 0 with 20 rules applied. Total rules applied 162 place count 1535 transition count 1451
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 182 place count 1515 transition count 1431
Iterating global reduction 0 with 20 rules applied. Total rules applied 202 place count 1515 transition count 1431
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 222 place count 1495 transition count 1411
Iterating global reduction 0 with 20 rules applied. Total rules applied 242 place count 1495 transition count 1411
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 262 place count 1475 transition count 1391
Iterating global reduction 0 with 20 rules applied. Total rules applied 282 place count 1475 transition count 1391
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 302 place count 1455 transition count 1371
Iterating global reduction 0 with 20 rules applied. Total rules applied 322 place count 1455 transition count 1371
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 342 place count 1435 transition count 1351
Iterating global reduction 0 with 20 rules applied. Total rules applied 362 place count 1435 transition count 1351
Applied a total of 362 rules in 966 ms. Remains 1435 /1616 variables (removed 181) and now considering 1351/1552 (removed 201) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-2885630133047604887.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-892721997577636622.kers'
[2026-05-25 20:10:27] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2885630133047604887.kers, --Pflows, --basisKERS=/tmp/petrispot-output-892721997577636622.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 1351 rows 1435 cols 3083 entries
Finished phase 1 with 1201 SingleSign rule and 105 generalized
[2026-05-25 20:10:27] [INFO ] Computed 129 invariants in 8 ms
Computed 129 P flows in 8 ms.
Exported basis to /tmp/petrispot-output-892721997577636622.kers
Total runtime 10 ms.
[2026-05-25 20:10:27] [INFO ] Implicit Places using invariants in 612 ms returned []
[2026-05-25 20:10:27] [INFO ] Invariant cache hit.
[2026-05-25 20:10:30] [INFO ] Implicit Places using invariants and state equation in 2224 ms returned []
Implicit Place search using SMT with State Equation took 2839 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1435/2825 places, 1351/2558 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 8711 ms. Remains : 1435/2825 places, 1351/2558 transitions.
[2026-05-25 20:10:30] [INFO ] Flatten gal took : 19 ms
[2026-05-25 20:10:30] [INFO ] Flatten gal took : 20 ms
[2026-05-25 20:10:30] [INFO ] Input system was already deterministic with 1351 transitions.
[2026-05-25 20:10:30] [INFO ] Flatten gal took : 19 ms
[2026-05-25 20:10:30] [INFO ] Flatten gal took : 19 ms
[2026-05-25 20:10:30] [INFO ] Time to serialize gal into /tmp/CTLFireability15500357343255639400.gal : 5 ms
[2026-05-25 20:10:30] [INFO ] Time to serialize properties into /tmp/CTLFireability12687346554116907679.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/CTLFireability15500357343255639400.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12687346554116907679.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 20:11:00] [INFO ] Flatten gal took : 18 ms
[2026-05-25 20:11:00] [INFO ] Applying decomposition
[2026-05-25 20:11:00] [INFO ] Flatten gal took : 19 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/graph1597763484080068957.txt' '-o' '/tmp/graph1597763484080068957.bin' '-w' '/tmp/graph1597763484080068957.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1597763484080068957.bin' '-l' '-1' '-v' '-w' '/tmp/graph1597763484080068957.weights' '-q' '0' '-e' '0.001'
[2026-05-25 20:11:00] [INFO ] Decomposing Gal with order
[2026-05-25 20:11:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 20:11:00] [INFO ] Removed a total of 197 redundant transitions.
[2026-05-25 20:11:00] [INFO ] Flatten gal took : 43 ms
[2026-05-25 20:11:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 46 labels/synchronizations in 13 ms.
[2026-05-25 20:11:00] [INFO ] Time to serialize gal into /tmp/CTLFireability995797037433083333.gal : 13 ms
[2026-05-25 20:11:00] [INFO ] Time to serialize properties into /tmp/CTLFireability5231574890077345181.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/CTLFireability995797037433083333.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5231574890077345181.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...261
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 2825/2825 places, 2558/2558 transitions.
Discarding 252 places :
Implicit places reduction removed 252 places
Iterating post reduction 0 with 252 rules applied. Total rules applied 252 place count 2573 transition count 2558
Discarding 156 places :
Symmetric choice reduction at 1 with 156 rule applications. Total rules 408 place count 2417 transition count 2401
Iterating global reduction 1 with 156 rules applied. Total rules applied 564 place count 2417 transition count 2401
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 1 with 19 rules applied. Total rules applied 583 place count 2417 transition count 2382
Discarding 47 places :
Symmetric choice reduction at 2 with 47 rule applications. Total rules 630 place count 2370 transition count 2295
Iterating global reduction 2 with 47 rules applied. Total rules applied 677 place count 2370 transition count 2295
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 4 places :
Implicit places reduction removed 4 places
Iterating post reduction 2 with 6 rules applied. Total rules applied 683 place count 2366 transition count 2293
Discarding 83 places :
Symmetric choice reduction at 3 with 83 rule applications. Total rules 766 place count 2283 transition count 2210
Iterating global reduction 3 with 83 rules applied. Total rules applied 849 place count 2283 transition count 2210
Discarding 21 places :
Symmetric choice reduction at 3 with 21 rule applications. Total rules 870 place count 2262 transition count 2149
Iterating global reduction 3 with 21 rules applied. Total rules applied 891 place count 2262 transition count 2149
Discarding 21 places :
Implicit places reduction removed 21 places
Iterating post reduction 3 with 21 rules applied. Total rules applied 912 place count 2241 transition count 2149
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 954 place count 2199 transition count 2107
Iterating global reduction 4 with 42 rules applied. Total rules applied 996 place count 2199 transition count 2107
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1038 place count 2157 transition count 2065
Iterating global reduction 4 with 42 rules applied. Total rules applied 1080 place count 2157 transition count 2065
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1122 place count 2115 transition count 2023
Iterating global reduction 4 with 42 rules applied. Total rules applied 1164 place count 2115 transition count 2023
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1206 place count 2073 transition count 1981
Iterating global reduction 4 with 42 rules applied. Total rules applied 1248 place count 2073 transition count 1981
Discarding 41 places :
Symmetric choice reduction at 4 with 41 rule applications. Total rules 1289 place count 2032 transition count 1940
Iterating global reduction 4 with 41 rules applied. Total rules applied 1330 place count 2032 transition count 1940
Discarding 40 places :
Symmetric choice reduction at 4 with 40 rule applications. Total rules 1370 place count 1992 transition count 1900
Iterating global reduction 4 with 40 rules applied. Total rules applied 1410 place count 1992 transition count 1900
Discarding 40 places :
Symmetric choice reduction at 4 with 40 rule applications. Total rules 1450 place count 1952 transition count 1860
Iterating global reduction 4 with 40 rules applied. Total rules applied 1490 place count 1952 transition count 1860
Discarding 40 places :
Symmetric choice reduction at 4 with 40 rule applications. Total rules 1530 place count 1912 transition count 1820
Iterating global reduction 4 with 40 rules applied. Total rules applied 1570 place count 1912 transition count 1820
Discarding 40 places :
Symmetric choice reduction at 4 with 40 rule applications. Total rules 1610 place count 1872 transition count 1780
Iterating global reduction 4 with 40 rules applied. Total rules applied 1650 place count 1872 transition count 1780
Discarding 40 places :
Symmetric choice reduction at 4 with 40 rule applications. Total rules 1690 place count 1832 transition count 1740
Iterating global reduction 4 with 40 rules applied. Total rules applied 1730 place count 1832 transition count 1740
Discarding 39 places :
Symmetric choice reduction at 4 with 39 rule applications. Total rules 1769 place count 1793 transition count 1701
Iterating global reduction 4 with 39 rules applied. Total rules applied 1808 place count 1793 transition count 1701
Discarding 39 places :
Symmetric choice reduction at 4 with 39 rule applications. Total rules 1847 place count 1754 transition count 1662
Iterating global reduction 4 with 39 rules applied. Total rules applied 1886 place count 1754 transition count 1662
Discarding 39 places :
Symmetric choice reduction at 4 with 39 rule applications. Total rules 1925 place count 1715 transition count 1623
Iterating global reduction 4 with 39 rules applied. Total rules applied 1964 place count 1715 transition count 1623
Ensure Unique test removed 39 transitions
Reduce isomorphic transitions removed 39 transitions.
Discarding 18 places :
Implicit places reduction removed 18 places
Iterating post reduction 4 with 57 rules applied. Total rules applied 2021 place count 1697 transition count 1584
Applied a total of 2021 rules in 3466 ms. Remains 1697 /2825 variables (removed 1128) and now considering 1584/2558 (removed 974) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8421474942930699016.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10893471997954063527.kers'
[2026-05-25 20:11:34] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8421474942930699016.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10893471997954063527.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 1584 rows 1697 cols 3896 entries
Finished phase 1 with 1285 SingleSign rule and 193 generalized
[2026-05-25 20:11:34] [INFO ] Computed 219 invariants in 12 ms
Computed 219 P flows in 12 ms.
Exported basis to /tmp/petrispot-output-10893471997954063527.kers
Total runtime 14 ms.
[2026-05-25 20:11:35] [INFO ] Implicit Places using invariants in 1248 ms returned [147, 148, 149, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 507, 508, 509, 510, 511, 512, 513, 514, 515, 516, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 744, 787, 788, 789, 790, 791, 792, 793, 794, 795, 796, 797, 798, 799, 800, 801, 802, 803, 804, 805, 806, 807, 850, 1210, 1211, 1212, 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1222, 1223, 1224, 1225, 1226, 1227, 1228, 1229, 1230, 1507]
Discarding 90 places :
Implicit Place search using SMT only with invariants took 1255 ms to find 90 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1607/2825 places, 1584/2558 transitions.
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 41 place count 1566 transition count 1543
Iterating global reduction 0 with 41 rules applied. Total rules applied 82 place count 1566 transition count 1543
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 102 place count 1546 transition count 1503
Iterating global reduction 0 with 20 rules applied. Total rules applied 122 place count 1546 transition count 1503
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 142 place count 1526 transition count 1483
Iterating global reduction 0 with 20 rules applied. Total rules applied 162 place count 1526 transition count 1483
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 182 place count 1506 transition count 1463
Iterating global reduction 0 with 20 rules applied. Total rules applied 202 place count 1506 transition count 1463
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 222 place count 1486 transition count 1443
Iterating global reduction 0 with 20 rules applied. Total rules applied 242 place count 1486 transition count 1443
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 262 place count 1466 transition count 1423
Iterating global reduction 0 with 20 rules applied. Total rules applied 282 place count 1466 transition count 1423
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 301 place count 1447 transition count 1385
Iterating global reduction 0 with 19 rules applied. Total rules applied 320 place count 1447 transition count 1385
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 339 place count 1428 transition count 1366
Iterating global reduction 0 with 19 rules applied. Total rules applied 358 place count 1428 transition count 1366
Applied a total of 358 rules in 1126 ms. Remains 1428 /1607 variables (removed 179) and now considering 1366/1584 (removed 218) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7876788314004049488.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-12782089656072661.kers'
[2026-05-25 20:11:36] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7876788314004049488.kers, --Pflows, --basisKERS=/tmp/petrispot-output-12782089656072661.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 1366 rows 1428 cols 3097 entries
Finished phase 1 with 1213 SingleSign rule and 86 generalized
[2026-05-25 20:11:36] [INFO ] Computed 129 invariants in 9 ms
Computed 129 P flows in 9 ms.
Exported basis to /tmp/petrispot-output-12782089656072661.kers
Total runtime 11 ms.
[2026-05-25 20:11:37] [INFO ] Implicit Places using invariants in 505 ms returned []
[2026-05-25 20:11:37] [INFO ] Invariant cache hit.
[2026-05-25 20:11:39] [INFO ] Implicit Places using invariants and state equation in 1999 ms returned []
Implicit Place search using SMT with State Equation took 2510 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1428/2825 places, 1366/2558 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 8357 ms. Remains : 1428/2825 places, 1366/2558 transitions.
[2026-05-25 20:11:39] [INFO ] Flatten gal took : 20 ms
[2026-05-25 20:11:39] [INFO ] Flatten gal took : 21 ms
[2026-05-25 20:11:39] [INFO ] Input system was already deterministic with 1366 transitions.
[2026-05-25 20:11:39] [INFO ] Flatten gal took : 19 ms
[2026-05-25 20:11:39] [INFO ] Flatten gal took : 24 ms
[2026-05-25 20:11:39] [INFO ] Time to serialize gal into /tmp/CTLFireability11802310302237831456.gal : 5 ms
[2026-05-25 20:11:39] [INFO ] Time to serialize properties into /tmp/CTLFireability3632272014398166785.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/CTLFireability11802310302237831456.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3632272014398166785.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 20:12:09] [INFO ] Flatten gal took : 19 ms
[2026-05-25 20:12:09] [INFO ] Applying decomposition
[2026-05-25 20:12:09] [INFO ] Flatten gal took : 22 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/graph12739504994800727633.txt' '-o' '/tmp/graph12739504994800727633.bin' '-w' '/tmp/graph12739504994800727633.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12739504994800727633.bin' '-l' '-1' '-v' '-w' '/tmp/graph12739504994800727633.weights' '-q' '0' '-e' '0.001'
[2026-05-25 20:12:09] [INFO ] Decomposing Gal with order
[2026-05-25 20:12:09] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 20:12:09] [INFO ] Removed a total of 166 redundant transitions.
[2026-05-25 20:12:09] [INFO ] Flatten gal took : 66 ms
[2026-05-25 20:12:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 4 labels/synchronizations in 24 ms.
[2026-05-25 20:12:09] [INFO ] Time to serialize gal into /tmp/CTLFireability1639681688360232039.gal : 13 ms
[2026-05-25 20:12:09] [INFO ] Time to serialize properties into /tmp/CTLFireability14530835143523056983.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/CTLFireability1639681688360232039.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14530835143523056983.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 : 2825/2825 places, 2558/2558 transitions.
Discarding 250 places :
Implicit places reduction removed 250 places
Iterating post reduction 0 with 250 rules applied. Total rules applied 250 place count 2575 transition count 2558
Discarding 153 places :
Symmetric choice reduction at 1 with 153 rule applications. Total rules 403 place count 2422 transition count 2404
Iterating global reduction 1 with 153 rules applied. Total rules applied 556 place count 2422 transition count 2404
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 1 with 19 rules applied. Total rules applied 575 place count 2422 transition count 2385
Discarding 47 places :
Symmetric choice reduction at 2 with 47 rule applications. Total rules 622 place count 2375 transition count 2318
Iterating global reduction 2 with 47 rules applied. Total rules applied 669 place count 2375 transition count 2318
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 4 places :
Implicit places reduction removed 4 places
Iterating post reduction 2 with 6 rules applied. Total rules applied 675 place count 2371 transition count 2316
Discarding 62 places :
Symmetric choice reduction at 3 with 62 rule applications. Total rules 737 place count 2309 transition count 2254
Iterating global reduction 3 with 62 rules applied. Total rules applied 799 place count 2309 transition count 2254
Discarding 22 places :
Symmetric choice reduction at 3 with 22 rule applications. Total rules 821 place count 2287 transition count 2192
Iterating global reduction 3 with 22 rules applied. Total rules applied 843 place count 2287 transition count 2192
Discarding 21 places :
Implicit places reduction removed 21 places
Iterating post reduction 3 with 21 rules applied. Total rules applied 864 place count 2266 transition count 2192
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 906 place count 2224 transition count 2150
Iterating global reduction 4 with 42 rules applied. Total rules applied 948 place count 2224 transition count 2150
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 990 place count 2182 transition count 2108
Iterating global reduction 4 with 42 rules applied. Total rules applied 1032 place count 2182 transition count 2108
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1074 place count 2140 transition count 2066
Iterating global reduction 4 with 42 rules applied. Total rules applied 1116 place count 2140 transition count 2066
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1158 place count 2098 transition count 2024
Iterating global reduction 4 with 42 rules applied. Total rules applied 1200 place count 2098 transition count 2024
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1242 place count 2056 transition count 1982
Iterating global reduction 4 with 42 rules applied. Total rules applied 1284 place count 2056 transition count 1982
Discarding 41 places :
Symmetric choice reduction at 4 with 41 rule applications. Total rules 1325 place count 2015 transition count 1941
Iterating global reduction 4 with 41 rules applied. Total rules applied 1366 place count 2015 transition count 1941
Discarding 41 places :
Symmetric choice reduction at 4 with 41 rule applications. Total rules 1407 place count 1974 transition count 1900
Iterating global reduction 4 with 41 rules applied. Total rules applied 1448 place count 1974 transition count 1900
Discarding 39 places :
Symmetric choice reduction at 4 with 39 rule applications. Total rules 1487 place count 1935 transition count 1861
Iterating global reduction 4 with 39 rules applied. Total rules applied 1526 place count 1935 transition count 1861
Discarding 39 places :
Symmetric choice reduction at 4 with 39 rule applications. Total rules 1565 place count 1896 transition count 1822
Iterating global reduction 4 with 39 rules applied. Total rules applied 1604 place count 1896 transition count 1822
Discarding 39 places :
Symmetric choice reduction at 4 with 39 rule applications. Total rules 1643 place count 1857 transition count 1783
Iterating global reduction 4 with 39 rules applied. Total rules applied 1682 place count 1857 transition count 1783
Discarding 39 places :
Symmetric choice reduction at 4 with 39 rule applications. Total rules 1721 place count 1818 transition count 1744
Iterating global reduction 4 with 39 rules applied. Total rules applied 1760 place count 1818 transition count 1744
Discarding 39 places :
Symmetric choice reduction at 4 with 39 rule applications. Total rules 1799 place count 1779 transition count 1705
Iterating global reduction 4 with 39 rules applied. Total rules applied 1838 place count 1779 transition count 1705
Discarding 38 places :
Symmetric choice reduction at 4 with 38 rule applications. Total rules 1876 place count 1741 transition count 1667
Iterating global reduction 4 with 38 rules applied. Total rules applied 1914 place count 1741 transition count 1667
Ensure Unique test removed 38 transitions
Reduce isomorphic transitions removed 38 transitions.
Discarding 18 places :
Implicit places reduction removed 18 places
Iterating post reduction 4 with 56 rules applied. Total rules applied 1970 place count 1723 transition count 1629
Applied a total of 1970 rules in 3955 ms. Remains 1723 /2825 variables (removed 1102) and now considering 1629/2558 (removed 929) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11551536770049410026.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17087980007464807917.kers'
[2026-05-25 20:12:43] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11551536770049410026.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17087980007464807917.kers]
Culled 0 columns in 2 ms.
// Phase 1: matrix 1629 rows 1723 cols 4033 entries
Finished phase 1 with 1306 SingleSign rule and 196 generalized
[2026-05-25 20:12:43] [INFO ] Computed 221 invariants in 21 ms
Computed 221 P flows in 21 ms.
Exported basis to /tmp/petrispot-output-17087980007464807917.kers
Total runtime 24 ms.
[2026-05-25 20:12:44] [INFO ] Implicit Places using invariants in 1320 ms returned [147, 148, 149, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 511, 512, 514, 515, 516, 517, 518, 519, 520, 521, 523, 524, 525, 526, 527, 528, 529, 530, 531, 812, 813, 814, 815, 816, 817, 818, 819, 820, 821, 822, 823, 824, 825, 826, 827, 828, 829, 830, 831, 832, 875, 1236, 1237, 1238, 1239, 1240, 1241, 1242, 1243, 1245, 1246, 1247, 1248, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256, 1532]
Discarding 86 places :
Implicit Place search using SMT only with invariants took 1322 ms to find 86 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1637/2825 places, 1629/2558 transitions.
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 40 place count 1597 transition count 1589
Iterating global reduction 0 with 40 rules applied. Total rules applied 80 place count 1597 transition count 1589
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 99 place count 1578 transition count 1551
Iterating global reduction 0 with 19 rules applied. Total rules applied 118 place count 1578 transition count 1551
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 136 place count 1560 transition count 1515
Iterating global reduction 0 with 18 rules applied. Total rules applied 154 place count 1560 transition count 1515
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 172 place count 1542 transition count 1497
Iterating global reduction 0 with 18 rules applied. Total rules applied 190 place count 1542 transition count 1497
Discarding 16 places :
Symmetric choice reduction at 0 with 16 rule applications. Total rules 206 place count 1526 transition count 1481
Iterating global reduction 0 with 16 rules applied. Total rules applied 222 place count 1526 transition count 1481
Discarding 32 places :
Symmetric choice reduction at 0 with 32 rule applications. Total rules 254 place count 1494 transition count 1449
Iterating global reduction 0 with 32 rules applied. Total rules applied 286 place count 1494 transition count 1449
Discarding 16 places :
Symmetric choice reduction at 0 with 16 rule applications. Total rules 302 place count 1478 transition count 1417
Iterating global reduction 0 with 16 rules applied. Total rules applied 318 place count 1478 transition count 1417
Discarding 16 places :
Symmetric choice reduction at 0 with 16 rule applications. Total rules 334 place count 1462 transition count 1401
Iterating global reduction 0 with 16 rules applied. Total rules applied 350 place count 1462 transition count 1401
Applied a total of 350 rules in 1179 ms. Remains 1462 /1637 variables (removed 175) and now considering 1401/1629 (removed 228) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10552980675813686818.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13300330375023884357.kers'
[2026-05-25 20:12:46] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10552980675813686818.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13300330375023884357.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 1401 rows 1462 cols 3200 entries
Finished phase 1 with 1235 SingleSign rule and 92 generalized
[2026-05-25 20:12:46] [INFO ] Computed 135 invariants in 9 ms
Computed 135 P flows in 9 ms.
Exported basis to /tmp/petrispot-output-13300330375023884357.kers
Total runtime 11 ms.
[2026-05-25 20:12:46] [INFO ] Implicit Places using invariants in 794 ms returned []
[2026-05-25 20:12:46] [INFO ] Invariant cache hit.
[2026-05-25 20:12:49] [INFO ] Implicit Places using invariants and state equation in 2084 ms returned []
Implicit Place search using SMT with State Equation took 2881 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1462/2825 places, 1401/2558 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 9339 ms. Remains : 1462/2825 places, 1401/2558 transitions.
[2026-05-25 20:12:49] [INFO ] Flatten gal took : 29 ms
[2026-05-25 20:12:49] [INFO ] Flatten gal took : 21 ms
[2026-05-25 20:12:49] [INFO ] Input system was already deterministic with 1401 transitions.
[2026-05-25 20:12:49] [INFO ] Flatten gal took : 19 ms
[2026-05-25 20:12:49] [INFO ] Flatten gal took : 21 ms
[2026-05-25 20:12:49] [INFO ] Time to serialize gal into /tmp/CTLFireability13358293297955067211.gal : 4 ms
[2026-05-25 20:12:49] [INFO ] Time to serialize properties into /tmp/CTLFireability13783031155236631151.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/CTLFireability13358293297955067211.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13783031155236631151.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 20:13:19] [INFO ] Flatten gal took : 19 ms
[2026-05-25 20:13:19] [INFO ] Applying decomposition
[2026-05-25 20:13:19] [INFO ] Flatten gal took : 19 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/graph18293109257391763289.txt' '-o' '/tmp/graph18293109257391763289.bin' '-w' '/tmp/graph18293109257391763289.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph18293109257391763289.bin' '-l' '-1' '-v' '-w' '/tmp/graph18293109257391763289.weights' '-q' '0' '-e' '0.001'
[2026-05-25 20:13:19] [INFO ] Decomposing Gal with order
[2026-05-25 20:13:19] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 20:13:19] [INFO ] Removed a total of 179 redundant transitions.
[2026-05-25 20:13:19] [INFO ] Flatten gal took : 41 ms
[2026-05-25 20:13:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2026-05-25 20:13:19] [INFO ] Time to serialize gal into /tmp/CTLFireability341896907162489658.gal : 10 ms
[2026-05-25 20:13:19] [INFO ] Time to serialize properties into /tmp/CTLFireability4068441853731669799.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/CTLFireability341896907162489658.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4068441853731669799.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 : 2825/2825 places, 2558/2558 transitions.
Graph (complete) has 4058 edges and 2825 vertex of which 2737 are kept as prefixes of interest. Removing 88 places using SCC suffix rule.3 ms
Discarding 88 places :
Also discarding 88 output transitions
Drop transitions (Output transitions of discarded places.) removed 88 transitions
Reduce places removed 18 places and 18 transitions.
Discarding 252 places :
Implicit places reduction removed 252 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 1251 transitions
Trivial Post-agglo rules discarded 1251 transitions
Performed 1251 trivial Post agglomeration. Transition count delta: 1251
Iterating post reduction 0 with 1503 rules applied. Total rules applied 1504 place count 2467 transition count 1201
Reduce places removed 1251 places and 0 transitions.
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 38 transitions
Trivial Post-agglo rules discarded 38 transitions
Performed 38 trivial Post agglomeration. Transition count delta: 38
Iterating post reduction 1 with 1308 rules applied. Total rules applied 2812 place count 1216 transition count 1144
Reduce places removed 38 places and 0 transitions.
Performed 13 Post agglomeration using F-continuation condition.Transition count delta: 13
Iterating post reduction 2 with 51 rules applied. Total rules applied 2863 place count 1178 transition count 1131
Reduce places removed 13 places and 0 transitions.
Iterating post reduction 3 with 13 rules applied. Total rules applied 2876 place count 1165 transition count 1131
Performed 229 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 229 Pre rules applied. Total rules applied 2876 place count 1165 transition count 902
Deduced a syphon composed of 229 places in 1 ms
Ensure Unique test removed 105 places
Reduce places removed 334 places and 0 transitions.
Iterating global reduction 4 with 563 rules applied. Total rules applied 3439 place count 831 transition count 902
Drop transitions (Trivial Post-Agglo cleanup.) removed 62 transitions
Trivial Post-agglo rules discarded 62 transitions
Performed 62 trivial Post agglomeration. Transition count delta: 62
Iterating post reduction 4 with 62 rules applied. Total rules applied 3501 place count 831 transition count 840
Reduce places removed 62 places and 0 transitions.
Iterating post reduction 5 with 62 rules applied. Total rules applied 3563 place count 769 transition count 840
Discarding 150 places :
Symmetric choice reduction at 6 with 150 rule applications. Total rules 3713 place count 619 transition count 670
Iterating global reduction 6 with 150 rules applied. Total rules applied 3863 place count 619 transition count 670
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 2 places :
Implicit places reduction removed 2 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 51 transitions
Trivial Post-agglo rules discarded 51 transitions
Performed 51 trivial Post agglomeration. Transition count delta: 51
Iterating post reduction 6 with 55 rules applied. Total rules applied 3918 place count 617 transition count 617
Reduce places removed 51 places and 0 transitions.
Iterating post reduction 7 with 51 rules applied. Total rules applied 3969 place count 566 transition count 617
Performed 41 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 41 Pre rules applied. Total rules applied 3969 place count 566 transition count 576
Deduced a syphon composed of 41 places in 0 ms
Reduce places removed 41 places and 0 transitions.
Iterating global reduction 8 with 82 rules applied. Total rules applied 4051 place count 525 transition count 576
Discarding 4 places :
Symmetric choice reduction at 8 with 4 rule applications. Total rules 4055 place count 521 transition count 511
Iterating global reduction 8 with 4 rules applied. Total rules applied 4059 place count 521 transition count 511
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Discarding 25 places :
Implicit places reduction removed 25 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 43 transitions
Trivial Post-agglo rules discarded 43 transitions
Performed 43 trivial Post agglomeration. Transition count delta: 43
Iterating post reduction 8 with 88 rules applied. Total rules applied 4147 place count 496 transition count 448
Reduce places removed 43 places and 0 transitions.
Iterating post reduction 9 with 43 rules applied. Total rules applied 4190 place count 453 transition count 448
Performed 23 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 10 with 23 Pre rules applied. Total rules applied 4190 place count 453 transition count 425
Deduced a syphon composed of 23 places in 0 ms
Reduce places removed 23 places and 0 transitions.
Iterating global reduction 10 with 46 rules applied. Total rules applied 4236 place count 430 transition count 425
Discarding 39 places :
Symmetric choice reduction at 10 with 39 rule applications. Total rules 4275 place count 391 transition count 366
Iterating global reduction 10 with 39 rules applied. Total rules applied 4314 place count 391 transition count 366
Ensure Unique test removed 38 transitions
Reduce isomorphic transitions removed 38 transitions.
Discarding 2 places :
Implicit places reduction removed 2 places
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 10 with 41 rules applied. Total rules applied 4355 place count 389 transition count 327
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 11 with 1 rules applied. Total rules applied 4356 place count 388 transition count 327
Performed 17 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 12 with 17 Pre rules applied. Total rules applied 4356 place count 388 transition count 310
Deduced a syphon composed of 17 places in 0 ms
Ensure Unique test removed 16 places
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 12 with 50 rules applied. Total rules applied 4406 place count 355 transition count 310
Performed 40 Post agglomeration using F-continuation condition.Transition count delta: 40
Deduced a syphon composed of 40 places in 1 ms
Ensure Unique test removed 18 places
Reduce places removed 58 places and 0 transitions.
Iterating global reduction 12 with 98 rules applied. Total rules applied 4504 place count 297 transition count 270
Reduce places removed 16 places and 16 transitions.
Iterating global reduction 12 with 16 rules applied. Total rules applied 4520 place count 281 transition count 254
Applied a total of 4520 rules in 157 ms. Remains 281 /2825 variables (removed 2544) and now considering 254/2558 (removed 2304) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-16645614534852737678.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-998371515692542770.kers'
[2026-05-25 20:13:49] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-16645614534852737678.kers, --Pflows, --basisKERS=/tmp/petrispot-output-998371515692542770.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 254 rows 281 cols 847 entries
Finished phase 1 with 98 SingleSign rule and 109 generalized
[2026-05-25 20:13:49] [INFO ] Computed 74 invariants in 3 ms
Computed 74 P flows in 4 ms.
Exported basis to /tmp/petrispot-output-998371515692542770.kers
Total runtime 5 ms.
[2026-05-25 20:13:50] [INFO ] Implicit Places using invariants in 449 ms returned [10, 11, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 131, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 219, 223, 245, 255, 259]
[2026-05-25 20:13:50] [INFO ] Actually due to overlaps returned [219, 245, 259, 10, 11, 223, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 131, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216]
Discarding 48 places :
Implicit Place search using SMT only with invariants took 465 ms to find 48 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 233/2825 places, 254/2558 transitions.
Graph (complete) has 345 edges and 233 vertex of which 192 are kept as prefixes of interest. Removing 41 places using SCC suffix rule.1 ms
Discarding 41 places :
Also discarding 21 output transitions
Drop transitions (Output transitions of discarded places.) removed 21 transitions
Reduce places removed 15 places and 15 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 9 transitions
Trivial Post-agglo rules discarded 9 transitions
Performed 9 trivial Post agglomeration. Transition count delta: 9
Iterating post reduction 0 with 9 rules applied. Total rules applied 10 place count 177 transition count 209
Reduce places removed 9 places and 0 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 1 with 12 rules applied. Total rules applied 22 place count 168 transition count 206
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 25 place count 165 transition count 206
Performed 39 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 39 Pre rules applied. Total rules applied 25 place count 165 transition count 167
Deduced a syphon composed of 39 places in 0 ms
Reduce places removed 39 places and 0 transitions.
Iterating global reduction 3 with 78 rules applied. Total rules applied 103 place count 126 transition count 167
Discarding 19 places :
Symmetric choice reduction at 3 with 19 rule applications. Total rules 122 place count 107 transition count 148
Iterating global reduction 3 with 19 rules applied. Total rules applied 141 place count 107 transition count 148
Discarding 18 places :
Symmetric choice reduction at 3 with 18 rule applications. Total rules 159 place count 89 transition count 112
Iterating global reduction 3 with 18 rules applied. Total rules applied 177 place count 89 transition count 112
Discarding 18 places :
Symmetric choice reduction at 3 with 18 rule applications. Total rules 195 place count 71 transition count 94
Iterating global reduction 3 with 18 rules applied. Total rules applied 213 place count 71 transition count 94
Discarding 17 places :
Symmetric choice reduction at 3 with 17 rule applications. Total rules 230 place count 54 transition count 60
Iterating global reduction 3 with 17 rules applied. Total rules applied 247 place count 54 transition count 60
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 249 place count 53 transition count 59
Applied a total of 249 rules in 18 ms. Remains 53 /233 variables (removed 180) and now considering 59/254 (removed 195) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12462143003951883057.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-18242166290711674386.kers'
[2026-05-25 20:13:50] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12462143003951883057.kers, --Pflows, --basisKERS=/tmp/petrispot-output-18242166290711674386.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 59 rows 53 cols 142 entries
Finished phase 1 with 41 SingleSign rule and 6 generalized
[2026-05-25 20:13:50] [INFO ] Computed 6 invariants in 0 ms
Computed 6 P flows in 0 ms.
Exported basis to /tmp/petrispot-output-18242166290711674386.kers
Total runtime 0 ms.
[2026-05-25 20:13:50] [INFO ] Implicit Places using invariants in 41 ms returned [46]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 44 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 52/2825 places, 59/2558 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 51 transition count 57
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 51 transition count 57
Applied a total of 2 rules in 2 ms. Remains 51 /52 variables (removed 1) and now considering 57/59 (removed 2) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14593859493078699729.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1729722380111924134.kers'
[2026-05-25 20:13:50] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14593859493078699729.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1729722380111924134.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 57 rows 51 cols 133 entries
Finished phase 1 with 41 SingleSign rule and 5 generalized
[2026-05-25 20:13:50] [INFO ] Computed 5 invariants in 0 ms
Computed 5 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-1729722380111924134.kers
Total runtime 1 ms.
[2026-05-25 20:13:50] [INFO ] Implicit Places using invariants in 42 ms returned []
[2026-05-25 20:13:50] [INFO ] Invariant cache hit.
[2026-05-25 20:13:50] [INFO ] Implicit Places using invariants and state equation in 55 ms returned []
Implicit Place search using SMT with State Equation took 126 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 3 : 51/2825 places, 57/2558 transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 813 ms. Remains : 51/2825 places, 57/2558 transitions.
[2026-05-25 20:13:50] [INFO ] Flatten gal took : 1 ms
[2026-05-25 20:13:50] [INFO ] Flatten gal took : 1 ms
[2026-05-25 20:13:50] [INFO ] Input system was already deterministic with 57 transitions.
[2026-05-25 20:13:50] [INFO ] Flatten gal took : 1 ms
[2026-05-25 20:13:50] [INFO ] Flatten gal took : 0 ms
[2026-05-25 20:13:50] [INFO ] Time to serialize gal into /tmp/CTLFireability4700875752183859531.gal : 1 ms
[2026-05-25 20:13:50] [INFO ] Time to serialize properties into /tmp/CTLFireability7880137595267401297.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/CTLFireability4700875752183859531.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7880137595267401297.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,8.49496e+09,0.221925,9260,2,2336,5,30234,6,0,253,31108,0
Converting to forward existential form...Done !
original formula: EG((EG(((((((lm0_18<1)||(l4_0_2>=1))||((l1_7>=1)&&(ml0_7_2>=1)))&&(c4_0>=1))&&((lc2_11>=1)&&((l37_4_N>=1)||((l1_0>=1)&&(ml0_0_2>=1))))) +...271
=> equivalent forward existential formula: [FwdG(Init,(EG(((((((lm0_18<1)||(l4_0_2>=1))||((l1_7>=1)&&(ml0_7_2>=1)))&&(c4_0>=1))&&((lc2_11>=1)&&((l37_4_N>=1...371
Reverse transition relation is NOT exact ! Due to transitions t7, t10, t19, t20, t25, t26, t29, t32, t33, t35, t36, t37, t41, t44, t46, t51, t52, Intersec...244
(forward)formula 0,1,10.5297,235092,1,0,703,1.33042e+06,153,320,1675,1.68581e+06,770
FORMULA FamilyReunion-PT-L00020M0002C001P001G001-CTLFireability-2024-15 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is TRUE !
***************************************
[2026-05-25 20:14:01] [INFO ] Flatten gal took : 53 ms
[2026-05-25 20:14:01] [INFO ] Flatten gal took : 54 ms
[2026-05-25 20:14:01] [INFO ] Applying decomposition
[2026-05-25 20:14:01] [INFO ] Flatten gal took : 74 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/graph10641443281368904832.txt' '-o' '/tmp/graph10641443281368904832.bin' '-w' '/tmp/graph10641443281368904832.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10641443281368904832.bin' '-l' '-1' '-v' '-w' '/tmp/graph10641443281368904832.weights' '-q' '0' '-e' '0.001'
[2026-05-25 20:14:01] [INFO ] Decomposing Gal with order
[2026-05-25 20:14:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 20:14:02] [INFO ] Removed a total of 654 redundant transitions.
[2026-05-25 20:14:02] [INFO ] Flatten gal took : 181 ms
[2026-05-25 20:14:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 60 labels/synchronizations in 47 ms.
[2026-05-25 20:14:02] [INFO ] Time to serialize gal into /tmp/CTLFireability204793819779196361.gal : 31 ms
[2026-05-25 20:14:02] [INFO ] Time to serialize properties into /tmp/CTLFireability14524859499863351703.ctl : 13 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/CTLFireability204793819779196361.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14524859499863351703.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 12 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 20:39:35] [INFO ] Flatten gal took : 5015 ms
[2026-05-25 20:39:36] [INFO ] Time to serialize gal into /tmp/CTLFireability12023154315556558581.gal : 154 ms
[2026-05-25 20:39:36] [INFO ] Time to serialize properties into /tmp/CTLFireability5824948499753004232.ctl : 147 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/CTLFireability12023154315556558581.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5824948499753004232.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 12 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FamilyReunion-PT-L00020M0002C001P001G001"
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 FamilyReunion-PT-L00020M0002C001P001G001, 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 r130-smll-177955808900106"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-PT-L00020M0002C001P001G001.tgz
mv FamilyReunion-PT-L00020M0002C001P001G001 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 ;