About the Execution of ITS-Tools for FamilyReunion-PT-L00050M0005C002P002G001
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 12187.348 | 3600000.00 | 3735787.00 | 17523.10 | ??TFF?????T?T??? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2026-input.r130-smll-177955808900114.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-L00050M0005C002P002G001, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r130-smll-177955808900114
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.3M
-rw-r--r-- 1 mcc users 45K Mar 6 05:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 278K Mar 6 05:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 237K Mar 6 05:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 842K Mar 6 05:12 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 34K Mar 15 10:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 157K Mar 15 10:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 89K Mar 15 10:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 264K Mar 15 10:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 168K Mar 6 05:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.1M Mar 6 05:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 328K Mar 6 05:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.2M Mar 6 05:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 11K Mar 15 10:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 29K 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 4.7M Mar 3 18:30 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-CTLFireability-2024-00
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-CTLFireability-2024-01
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-CTLFireability-2024-02
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-CTLFireability-2024-03
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-CTLFireability-2024-04
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-CTLFireability-2024-05
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-CTLFireability-2024-06
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-CTLFireability-2024-07
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-CTLFireability-2024-08
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-CTLFireability-2024-09
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-CTLFireability-2024-10
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-CTLFireability-2024-11
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-CTLFireability-2024-12
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-CTLFireability-2024-13
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-CTLFireability-2024-14
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-CTLFireability-2024-15
=== Now, execution of the tool begins
BK_START 1779746505972
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-L00050M0005C002P002G001
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202604301425
[2026-05-25 22:01:48] [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 22:01:48] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-25 22:01:49] [INFO ] Load time of PNML (sax parser for PT used): 994 ms
[2026-05-25 22:01:49] [INFO ] Transformed 12194 places.
[2026-05-25 22:01:49] [INFO ] Transformed 10560 transitions.
[2026-05-25 22:01:49] [INFO ] Parsed PT model containing 12194 places and 10560 transitions and 32238 arcs in 1289 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 106 ms.
Reduce places removed 17 places and 0 transitions.
Support contains 7498 out of 12177 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 12177/12177 places, 10560/10560 transitions.
Reduce places removed 173 places and 0 transitions.
Discarding 609 places :
Implicit places reduction removed 609 places
Iterating post reduction 0 with 782 rules applied. Total rules applied 782 place count 11395 transition count 10560
Discarding 549 places :
Symmetric choice reduction at 1 with 549 rule applications. Total rules 1331 place count 10846 transition count 9962
Iterating global reduction 1 with 549 rules applied. Total rules applied 1880 place count 10846 transition count 9962
Discarding 49 places :
Implicit places reduction removed 49 places
Iterating post reduction 1 with 49 rules applied. Total rules applied 1929 place count 10797 transition count 9962
Discarding 100 places :
Symmetric choice reduction at 2 with 100 rule applications. Total rules 2029 place count 10697 transition count 9862
Iterating global reduction 2 with 100 rules applied. Total rules applied 2129 place count 10697 transition count 9862
Ensure Unique test removed 100 transitions
Reduce isomorphic transitions removed 100 transitions.
Discarding 49 places :
Implicit places reduction removed 49 places
Iterating post reduction 2 with 149 rules applied. Total rules applied 2278 place count 10648 transition count 9762
Applied a total of 2278 rules in 2179 ms. Remains 10648 /12177 variables (removed 1529) and now considering 9762/10560 (removed 798) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3076403240230343322.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5859168471011212690.kers'
[2026-05-25 22:01:52] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3076403240230343322.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5859168471011212690.kers]
Culled 0 columns in 12 ms.
// Phase 1: matrix 9762 rows 10648 cols 25618 entries
Finished phase 1 with 6904 SingleSign rule and 1794 generalized
[2026-05-25 22:01:53] [INFO ] Computed 1950 invariants in 181 ms
Computed 1950 P flows in 182 ms.
Exported basis to /tmp/petrispot-output-5859168471011212690.kers
Total runtime 192 ms.
[2026-05-25 22:01:59] [INFO ] Implicit Places using invariants in 6576 ms returned [357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 3881, 3883, 3884, 3885, 3886, 3887, 3888, 3889, 3890, 3891, 3892, 3893, 3894, 3896, 3897, 3898, 3899, 3900, 3901, 3902, 3903, 3904, 3905, 3906, 3907, 3908, 3909, 3910, 3911, 3912, 3913, 3914, 3915, 3916, 3917, 3918, 3919, 3920, 3921, 3922, 3923, 3925, 3926, 3927, 3928, 3929, 3930, 3931, 7569, 7570, 7571, 7572, 7574, 7575, 7576, 7577, 7578, 7579, 7580, 7581, 7584, 7585, 7586, 7587, 7588, 7589, 7590, 7591, 7592, 7593, 7594, 7595, 7596, 7597, 7598, 7600, 7601, 7602, 7603, 7604, 7605, 7608, 7609, 7610, 7611, 7612, 7613, 7614, 7615, 7616, 7617, 7618, 7619, 7722, 7723, 8858, 8859, 8860, 8861, 8862, 8863, 8864, 8865, 8866, 8867, 8868, 8869, 8870, 8871, 8872, 8873, 8874, 8875, 8876, 8877, 8878, 8879, 8880, 8881, 8882, 8883, 8884, 8885, 8886, 8887, 8888, 8889, 8890, 8891, 8892, 8893, 8895, 8896, 8897, 8898, 8899, 8900, 8901, 8902, 8903, 8904, 8905, 8906, 8907, 8908]
Discarding 194 places :
Implicit Place search using SMT only with invariants took 6646 ms to find 194 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 10454/12177 places, 9762/10560 transitions.
Applied a total of 0 rules in 340 ms. Remains 10454 /10454 variables (removed 0) and now considering 9762/9762 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 9191 ms. Remains : 10454/12177 places, 9762/10560 transitions.
Starting structural reductions in LTL mode, iteration 0 : 10454/10454 places, 9762/9762 transitions.
Applied a total of 0 rules in 362 ms. Remains 10454 /10454 variables (removed 0) and now considering 9762/9762 (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-12023462126905214431.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-463129365344843685.kers'
[2026-05-25 22:02:00] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12023462126905214431.kers, --Pflows, --basisKERS=/tmp/petrispot-output-463129365344843685.kers]
Culled 0 columns in 19 ms.
// Phase 1: matrix 9762 rows 10454 cols 24985 entries
Finished phase 1 with 7341 SingleSign rule and 1357 generalized
[2026-05-25 22:02:00] [INFO ] Computed 1756 invariants in 245 ms
Computed 1756 P flows in 246 ms.
Exported basis to /tmp/petrispot-output-463129365344843685.kers
Total runtime 257 ms.
[2026-05-25 22:02:04] [INFO ] Implicit Places using invariants in 4202 ms returned []
Implicit Place search using SMT only with invariants took 4214 ms to find 0 implicit places.
Running 9711 sub problems to find dead transitions.
[2026-05-25 22:02:04] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/10403 variables, 1753/1753 constraints. Problems are: Problem set: 0 solved, 9711 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 10403/20216 variables, and 1753 constraints, problems are : Problem set: 0 solved, 9711 unsolved in 30439 ms.
Refiners :[Generalized P Invariants (flows): 1753/1756 constraints, State Equation: 0/10454 constraints, PredecessorRefiner: 9711/9711 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 9711 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/10403 variables, 1753/1753 constraints. Problems are: Problem set: 0 solved, 9711 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 10403/20216 variables, and 1753 constraints, problems are : Problem set: 0 solved, 9711 unsolved in 30311 ms.
Refiners :[Generalized P Invariants (flows): 1753/1756 constraints, State Equation: 0/10454 constraints, PredecessorRefiner: 0/9711 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 71079ms problems are : Problem set: 0 solved, 9711 unsolved
Search for dead transitions found 0 dead transitions in 71221ms
Finished structural reductions in LTL mode , in 1 iterations and 75927 ms. Remains : 10454/10454 places, 9762/9762 transitions.
Support contains 7498 out of 10454 places after structural reductions.
[2026-05-25 22:03:17] [INFO ] Flatten gal took : 689 ms
[2026-05-25 22:03:17] [INFO ] Flatten gal took : 396 ms
[2026-05-25 22:03:18] [INFO ] Input system was already deterministic with 9762 transitions.
Support contains 7345 out of 10454 places (down from 7498) after GAL structural reductions.
RANDOM walk for 40000 steps (12 resets) in 4465 ms. (8 steps per ms) remains 10/78 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1450 ms. (27 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 131 ms. (303 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40003 steps (8 resets) in 126 ms. (314 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 145 ms. (274 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 124 ms. (320 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 122 ms. (325 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 113 ms. (350 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 110 ms. (360 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 362 ms. (110 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40003 steps (8 resets) in 85 ms. (465 steps per ms) remains 10/10 properties
[2026-05-25 22:03:21] [INFO ] Invariant cache hit.
Excessive predecessor constraint size, skipping predecessor.
At refinement iteration 0 (INCLUDED_ONLY) 0/271 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 1 (OVERLAPS) 5723/5994 variables, 71/71 constraints. Problems are: Problem set: 0 solved, 10 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 5994/20216 variables, and 71 constraints, problems are : Problem set: 0 solved, 10 unsolved in 5184 ms.
Refiners :[Generalized P Invariants (flows): 71/1756 constraints, State Equation: 0/10454 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/271 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 10 unsolved
At refinement iteration 1 (OVERLAPS) 5723/5994 variables, 71/71 constraints. Problems are: Problem set: 0 solved, 10 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 5994/20216 variables, and 71 constraints, problems are : Problem set: 0 solved, 10 unsolved in 5149 ms.
Refiners :[Generalized P Invariants (flows): 71/1756 constraints, State Equation: 0/10454 constraints, PredecessorRefiner: 1/9 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 10451ms problems are : Problem set: 0 solved, 10 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 271 out of 10454 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 10454/10454 places, 9762/9762 transitions.
Graph (complete) has 14958 edges and 10454 vertex of which 9952 are kept as prefixes of interest. Removing 502 places using SCC suffix rule.44 ms
Discarding 502 places :
Also discarding 451 output transitions
Drop transitions (Output transitions of discarded places.) removed 451 transitions
Drop transitions (Empty/Sink Transition effects.) removed 99 transitions
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 102 transitions.
Discarding 1227 places :
Implicit places reduction removed 1227 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 5525 transitions
Trivial Post-agglo rules discarded 5525 transitions
Performed 5525 trivial Post agglomeration. Transition count delta: 5525
Iterating post reduction 0 with 6854 rules applied. Total rules applied 6855 place count 8725 transition count 3684
Reduce places removed 5525 places and 0 transitions.
Performed 460 Post agglomeration using F-continuation condition.Transition count delta: 460
Iterating post reduction 1 with 5985 rules applied. Total rules applied 12840 place count 3200 transition count 3224
Reduce places removed 460 places and 0 transitions.
Iterating post reduction 2 with 460 rules applied. Total rules applied 13300 place count 2740 transition count 3224
Performed 615 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 615 Pre rules applied. Total rules applied 13300 place count 2740 transition count 2609
Deduced a syphon composed of 615 places in 2 ms
Ensure Unique test removed 306 places
Reduce places removed 921 places and 0 transitions.
Iterating global reduction 3 with 1536 rules applied. Total rules applied 14836 place count 1819 transition count 2609
Drop transitions (Trivial Post-Agglo cleanup.) removed 204 transitions
Trivial Post-agglo rules discarded 204 transitions
Performed 204 trivial Post agglomeration. Transition count delta: 204
Iterating post reduction 3 with 204 rules applied. Total rules applied 15040 place count 1819 transition count 2405
Reduce places removed 204 places and 0 transitions.
Iterating post reduction 4 with 204 rules applied. Total rules applied 15244 place count 1615 transition count 2405
Discarding 511 places :
Symmetric choice reduction at 5 with 511 rule applications. Total rules 15755 place count 1104 transition count 1849
Iterating global reduction 5 with 511 rules applied. Total rules applied 16266 place count 1104 transition count 1849
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 107 transitions
Trivial Post-agglo rules discarded 107 transitions
Performed 107 trivial Post agglomeration. Transition count delta: 107
Iterating post reduction 5 with 111 rules applied. Total rules applied 16377 place count 1102 transition count 1740
Reduce places removed 107 places and 0 transitions.
Iterating post reduction 6 with 107 rules applied. Total rules applied 16484 place count 995 transition count 1740
Performed 51 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 51 Pre rules applied. Total rules applied 16484 place count 995 transition count 1689
Deduced a syphon composed of 51 places in 2 ms
Reduce places removed 51 places and 0 transitions.
Iterating global reduction 7 with 102 rules applied. Total rules applied 16586 place count 944 transition count 1689
Discarding 4 places :
Symmetric choice reduction at 7 with 4 rule applications. Total rules 16590 place count 940 transition count 1485
Iterating global reduction 7 with 4 rules applied. Total rules applied 16594 place count 940 transition count 1485
Ensure Unique test removed 200 transitions
Reduce isomorphic transitions removed 200 transitions.
Discarding 52 places :
Implicit places reduction removed 52 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 304 rules applied. Total rules applied 16898 place count 888 transition count 1233
Reduce places removed 52 places and 0 transitions.
Iterating post reduction 8 with 52 rules applied. Total rules applied 16950 place count 836 transition count 1233
Performed 51 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 9 with 51 Pre rules applied. Total rules applied 16950 place count 836 transition count 1182
Deduced a syphon composed of 51 places in 1 ms
Reduce places removed 51 places and 0 transitions.
Iterating global reduction 9 with 102 rules applied. Total rules applied 17052 place count 785 transition count 1182
Discarding 4 places :
Symmetric choice reduction at 9 with 4 rule applications. Total rules 17056 place count 781 transition count 1178
Iterating global reduction 9 with 4 rules applied. Total rules applied 17060 place count 781 transition count 1178
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 9 with 4 rules applied. Total rules applied 17064 place count 781 transition count 1174
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 101
Deduced a syphon composed of 101 places in 1 ms
Ensure Unique test removed 50 places
Reduce places removed 151 places and 0 transitions.
Iterating global reduction 10 with 252 rules applied. Total rules applied 17316 place count 630 transition count 1073
Performed 50 Post agglomeration using F-continuation condition.Transition count delta: 50
Deduced a syphon composed of 50 places in 1 ms
Reduce places removed 50 places and 0 transitions.
Iterating global reduction 10 with 100 rules applied. Total rules applied 17416 place count 580 transition count 1023
Free-agglomeration rule (complex) applied 11 times.
Iterating global reduction 10 with 11 rules applied. Total rules applied 17427 place count 580 transition count 1012
Ensure Unique test removed 4 places
Reduce places removed 15 places and 0 transitions.
Iterating post reduction 10 with 15 rules applied. Total rules applied 17442 place count 565 transition count 1012
Partial Free-agglomeration rule applied 1 times.
Drop transitions (Partial Free agglomeration) removed 1 transitions
Iterating global reduction 11 with 1 rules applied. Total rules applied 17443 place count 565 transition count 1012
Partial Post-agglomeration rule applied 2 times.
Drop transitions (Partial Post agglomeration) removed 2 transitions
Iterating global reduction 11 with 2 rules applied. Total rules applied 17445 place count 565 transition count 1012
Applied a total of 17445 rules in 1000 ms. Remains 565 /10454 variables (removed 9889) and now considering 1012/9762 (removed 8750) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1001 ms. Remains : 565/10454 places, 1012/9762 transitions.
RANDOM walk for 40000 steps (108 resets) in 1037 ms. (38 steps per ms) remains 0/10 properties
[2026-05-25 22:03:33] [INFO ] Flatten gal took : 235 ms
[2026-05-25 22:03:33] [INFO ] Flatten gal took : 369 ms
[2026-05-25 22:03:34] [INFO ] Input system was already deterministic with 9762 transitions.
Computed a total of 10454 stabilizing places and 9762 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 10454 transition count 9762
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 3 formulas.
FORMULA FamilyReunion-PT-L00050M0005C002P002G001-CTLFireability-2024-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FamilyReunion-PT-L00050M0005C002P002G001-CTLFireability-2024-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Starting structural reductions in LTL mode, iteration 0 : 10454/10454 places, 9762/9762 transitions.
Discarding 921 places :
Implicit places reduction removed 921 places
Iterating post reduction 0 with 921 rules applied. Total rules applied 921 place count 9533 transition count 9762
Discarding 824 places :
Symmetric choice reduction at 1 with 824 rule applications. Total rules 1745 place count 8709 transition count 8936
Iterating global reduction 1 with 824 rules applied. Total rules applied 2569 place count 8709 transition count 8936
Discarding 61 places :
Symmetric choice reduction at 1 with 61 rule applications. Total rules 2630 place count 8648 transition count 8725
Iterating global reduction 1 with 61 rules applied. Total rules applied 2691 place count 8648 transition count 8725
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 53 places :
Implicit places reduction removed 53 places
Iterating post reduction 1 with 55 rules applied. Total rules applied 2746 place count 8595 transition count 8723
Discarding 102 places :
Symmetric choice reduction at 2 with 102 rule applications. Total rules 2848 place count 8493 transition count 8621
Iterating global reduction 2 with 102 rules applied. Total rules applied 2950 place count 8493 transition count 8621
Discarding 102 places :
Symmetric choice reduction at 2 with 102 rule applications. Total rules 3052 place count 8391 transition count 8519
Iterating global reduction 2 with 102 rules applied. Total rules applied 3154 place count 8391 transition count 8519
Applied a total of 3154 rules in 8676 ms. Remains 8391 /10454 variables (removed 2063) and now considering 8519/9762 (removed 1243) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7575515114689756546.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8654825622000124227.kers'
[2026-05-25 22:03:43] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7575515114689756546.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8654825622000124227.kers]
Culled 0 columns in 12 ms.
// Phase 1: matrix 8519 rows 8391 cols 20080 entries
Finished phase 1 with 6839 SingleSign rule and 770 generalized
[2026-05-25 22:03:43] [INFO ] Computed 782 invariants in 216 ms
Computed 782 P flows in 216 ms.
Exported basis to /tmp/petrispot-output-8654825622000124227.kers
Total runtime 226 ms.
[2026-05-25 22:03:48] [INFO ] Implicit Places using invariants in 4642 ms returned [357, 358, 665, 666, 667, 668, 669, 670, 671, 672, 673, 674, 675, 676, 677, 678, 679, 680, 681, 682, 683, 684, 685, 686, 687, 688, 689, 690, 691, 692, 693, 694, 695, 696, 697, 698, 699, 700, 701, 702, 703, 704, 705, 706, 707, 708, 709, 710, 711, 712, 713, 714, 715, 3422, 3423, 3424, 5110, 5468, 5469, 5470, 5471, 5472, 5473, 5474, 5475, 5476, 5477, 5478, 5479, 5480, 5481, 5482, 5483, 5484, 5485, 5486, 5487, 5488, 5489, 5490, 5491, 5492, 5493, 5494, 5495, 5496, 5497, 5498, 5499, 5500, 5501, 5502, 5503, 5504, 5505, 5506, 5507, 5508, 5509, 5510, 5511, 5512, 5513, 5514, 5515, 5516, 5517, 5518, 6188, 6189, 6190, 6191, 6192, 6193, 7012, 7931]
Discarding 116 places :
Implicit Place search using SMT only with invariants took 4652 ms to find 116 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 8275/10454 places, 8519/9762 transitions.
Discarding 101 places :
Symmetric choice reduction at 0 with 101 rule applications. Total rules 101 place count 8174 transition count 8418
Iterating global reduction 0 with 101 rules applied. Total rules applied 202 place count 8174 transition count 8418
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 252 place count 8124 transition count 8318
Iterating global reduction 0 with 50 rules applied. Total rules applied 302 place count 8124 transition count 8318
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 352 place count 8074 transition count 8268
Iterating global reduction 0 with 50 rules applied. Total rules applied 402 place count 8074 transition count 8268
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 452 place count 8024 transition count 8218
Iterating global reduction 0 with 50 rules applied. Total rules applied 502 place count 8024 transition count 8218
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 552 place count 7974 transition count 8168
Iterating global reduction 0 with 50 rules applied. Total rules applied 602 place count 7974 transition count 8168
Applied a total of 602 rules in 9107 ms. Remains 7974 /8275 variables (removed 301) and now considering 8168/8519 (removed 351) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11655196156135722931.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11890835913450003742.kers'
[2026-05-25 22:03:57] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11655196156135722931.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11890835913450003742.kers]
Culled 0 columns in 7 ms.
// Phase 1: matrix 8168 rows 7974 cols 18834 entries
Finished phase 1 with 6696 SingleSign rule and 612 generalized
[2026-05-25 22:03:57] [INFO ] Computed 666 invariants in 88 ms
Computed 666 P flows in 88 ms.
Exported basis to /tmp/petrispot-output-11890835913450003742.kers
Total runtime 96 ms.
[2026-05-25 22:04:00] [INFO ] Implicit Places using invariants in 3058 ms returned []
[2026-05-25 22:04:00] [INFO ] Invariant cache hit.
[2026-05-25 22:04:38] [INFO ] Performed 5764/7974 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 22:04:39] [INFO ] Implicit Places using invariants and state equation in 38981 ms returned []
Implicit Place search using SMT with State Equation took 42042 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 7974/10454 places, 8168/9762 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 64480 ms. Remains : 7974/10454 places, 8168/9762 transitions.
[2026-05-25 22:04:39] [INFO ] Flatten gal took : 154 ms
[2026-05-25 22:04:39] [INFO ] Flatten gal took : 208 ms
[2026-05-25 22:04:40] [INFO ] Input system was already deterministic with 8168 transitions.
[2026-05-25 22:04:40] [INFO ] Flatten gal took : 159 ms
[2026-05-25 22:04:40] [INFO ] Flatten gal took : 159 ms
[2026-05-25 22:04:40] [INFO ] Time to serialize gal into /tmp/CTLFireability13558040315305568225.gal : 110 ms
[2026-05-25 22:04:40] [INFO ] Time to serialize properties into /tmp/CTLFireability4838615811998437537.ctl : 37 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13558040315305568225.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4838615811998437537.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 22:05:10] [INFO ] Flatten gal took : 152 ms
[2026-05-25 22:05:10] [INFO ] Applying decomposition
[2026-05-25 22:05:10] [INFO ] Flatten gal took : 158 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/graph15193425386446788167.txt' '-o' '/tmp/graph15193425386446788167.bin' '-w' '/tmp/graph15193425386446788167.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph15193425386446788167.bin' '-l' '-1' '-v' '-w' '/tmp/graph15193425386446788167.weights' '-q' '0' '-e' '0.001'
[2026-05-25 22:05:11] [INFO ] Decomposing Gal with order
[2026-05-25 22:05:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 22:05:17] [INFO ] Removed a total of 1556 redundant transitions.
[2026-05-25 22:05:17] [INFO ] Flatten gal took : 649 ms
[2026-05-25 22:05:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 158 labels/synchronizations in 145 ms.
[2026-05-25 22:05:21] [INFO ] Time to serialize gal into /tmp/CTLFireability8345360504083042390.gal : 110 ms
[2026-05-25 22:05:21] [INFO ] Time to serialize properties into /tmp/CTLFireability7320600609585860610.ctl : 19 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/CTLFireability8345360504083042390.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7320600609585860610.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 : 10454/10454 places, 9762/9762 transitions.
Discarding 921 places :
Implicit places reduction removed 921 places
Iterating post reduction 0 with 921 rules applied. Total rules applied 921 place count 9533 transition count 9762
Discarding 773 places :
Symmetric choice reduction at 1 with 773 rule applications. Total rules 1694 place count 8760 transition count 8987
Iterating global reduction 1 with 773 rules applied. Total rules applied 2467 place count 8760 transition count 8987
Discarding 260 places :
Symmetric choice reduction at 1 with 260 rule applications. Total rules 2727 place count 8500 transition count 8577
Iterating global reduction 1 with 260 rules applied. Total rules applied 2987 place count 8500 transition count 8577
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 53 places :
Implicit places reduction removed 53 places
Iterating post reduction 1 with 55 rules applied. Total rules applied 3042 place count 8447 transition count 8575
Discarding 159 places :
Symmetric choice reduction at 2 with 159 rule applications. Total rules 3201 place count 8288 transition count 8416
Iterating global reduction 2 with 159 rules applied. Total rules applied 3360 place count 8288 transition count 8416
Discarding 108 places :
Symmetric choice reduction at 2 with 108 rule applications. Total rules 3468 place count 8180 transition count 8008
Iterating global reduction 2 with 108 rules applied. Total rules applied 3576 place count 8180 transition count 8008
Discarding 6 places :
Implicit places reduction removed 6 places
Iterating post reduction 2 with 6 rules applied. Total rules applied 3582 place count 8174 transition count 8008
Applied a total of 3582 rules in 9613 ms. Remains 8174 /10454 variables (removed 2280) and now considering 8008/9762 (removed 1754) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17805984595199281897.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15851145767406875518.kers'
[2026-05-25 22:06:00] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17805984595199281897.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15851145767406875518.kers]
Culled 0 columns in 7 ms.
// Phase 1: matrix 8008 rows 8174 cols 18638 entries
Finished phase 1 with 6633 SingleSign rule and 765 generalized
[2026-05-25 22:06:00] [INFO ] Computed 776 invariants in 94 ms
Computed 776 P flows in 94 ms.
Exported basis to /tmp/petrispot-output-15851145767406875518.kers
Total runtime 103 ms.
[2026-05-25 22:06:04] [INFO ] Implicit Places using invariants in 3414 ms returned [357, 358, 665, 666, 667, 668, 669, 670, 671, 672, 673, 674, 675, 676, 677, 678, 679, 680, 681, 682, 683, 684, 685, 686, 687, 688, 689, 690, 691, 692, 693, 694, 695, 696, 697, 698, 699, 700, 701, 702, 703, 704, 705, 706, 707, 708, 709, 710, 711, 712, 713, 714, 715, 3116, 3117, 3118, 5058, 5416, 5417, 5418, 5419, 5420, 5421, 5422, 5423, 5424, 5425, 5426, 5427, 5428, 5429, 5430, 5431, 5432, 5433, 5434, 5435, 5436, 5437, 5438, 5439, 5440, 5441, 5442, 5443, 5444, 5445, 5446, 5447, 5448, 5449, 5450, 5451, 5452, 5453, 5454, 5455, 5456, 5457, 5458, 5459, 5460, 5461, 5462, 5463, 5464, 5465, 5466, 5824, 6795, 7714]
Discarding 111 places :
Implicit Place search using SMT only with invariants took 3422 ms to find 111 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 8063/10454 places, 8008/9762 transitions.
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 50 place count 8013 transition count 7958
Iterating global reduction 0 with 50 rules applied. Total rules applied 100 place count 8013 transition count 7958
Applied a total of 100 rules in 3490 ms. Remains 8013 /8063 variables (removed 50) and now considering 7958/8008 (removed 50) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10489246827182747939.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13629006201052437370.kers'
[2026-05-25 22:06:07] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10489246827182747939.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13629006201052437370.kers]
Culled 0 columns in 7 ms.
// Phase 1: matrix 7958 rows 8013 cols 17700 entries
Finished phase 1 with 6787 SingleSign rule and 561 generalized
[2026-05-25 22:06:07] [INFO ] Computed 665 invariants in 71 ms
Computed 665 P flows in 72 ms.
Exported basis to /tmp/petrispot-output-13629006201052437370.kers
Total runtime 78 ms.
[2026-05-25 22:06:10] [INFO ] Implicit Places using invariants in 2755 ms returned []
[2026-05-25 22:06:10] [INFO ] Invariant cache hit.
[2026-05-25 22:06:27] [INFO ] Implicit Places using invariants and state equation in 16666 ms returned []
Implicit Place search using SMT with State Equation took 19430 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 8013/10454 places, 7958/9762 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 35955 ms. Remains : 8013/10454 places, 7958/9762 transitions.
[2026-05-25 22:06:27] [INFO ] Flatten gal took : 217 ms
[2026-05-25 22:06:27] [INFO ] Flatten gal took : 203 ms
[2026-05-25 22:06:28] [INFO ] Input system was already deterministic with 7958 transitions.
[2026-05-25 22:06:28] [INFO ] Flatten gal took : 152 ms
[2026-05-25 22:06:28] [INFO ] Flatten gal took : 156 ms
[2026-05-25 22:06:28] [INFO ] Time to serialize gal into /tmp/CTLFireability17671344608206467451.gal : 33 ms
[2026-05-25 22:06:28] [INFO ] Time to serialize properties into /tmp/CTLFireability5644423625237799636.ctl : 10 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/CTLFireability17671344608206467451.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5644423625237799636.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 22:06:58] [INFO ] Flatten gal took : 144 ms
[2026-05-25 22:06:58] [INFO ] Applying decomposition
[2026-05-25 22:06:58] [INFO ] Flatten gal took : 150 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph12564057989182592212.txt' '-o' '/tmp/graph12564057989182592212.bin' '-w' '/tmp/graph12564057989182592212.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12564057989182592212.bin' '-l' '-1' '-v' '-w' '/tmp/graph12564057989182592212.weights' '-q' '0' '-e' '0.001'
[2026-05-25 22:06:59] [INFO ] Decomposing Gal with order
[2026-05-25 22:07:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 22:07:04] [INFO ] Removed a total of 990 redundant transitions.
[2026-05-25 22:07:04] [INFO ] Flatten gal took : 316 ms
[2026-05-25 22:07:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 24 labels/synchronizations in 36 ms.
[2026-05-25 22:07:08] [INFO ] Time to serialize gal into /tmp/CTLFireability13392181469463891377.gal : 69 ms
[2026-05-25 22:07:08] [INFO ] Time to serialize properties into /tmp/CTLFireability17806178386195535263.ctl : 8 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13392181469463891377.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17806178386195535263.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 10454/10454 places, 9762/9762 transitions.
Graph (complete) has 14958 edges and 10454 vertex of which 6500 are kept as prefixes of interest. Removing 3954 places using SCC suffix rule.24 ms
Discarding 3954 places :
Also discarding 3993 output transitions
Drop transitions (Output transitions of discarded places.) removed 3993 transitions
Discarding 921 places :
Implicit places reduction removed 921 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 3111 transitions
Trivial Post-agglo rules discarded 3111 transitions
Performed 3111 trivial Post agglomeration. Transition count delta: 3111
Iterating post reduction 0 with 4032 rules applied. Total rules applied 4033 place count 5579 transition count 2658
Reduce places removed 3111 places and 0 transitions.
Performed 306 Post agglomeration using F-continuation condition.Transition count delta: 306
Iterating post reduction 1 with 3417 rules applied. Total rules applied 7450 place count 2468 transition count 2352
Reduce places removed 306 places and 0 transitions.
Iterating post reduction 2 with 306 rules applied. Total rules applied 7756 place count 2162 transition count 2352
Performed 345 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 345 Pre rules applied. Total rules applied 7756 place count 2162 transition count 2007
Deduced a syphon composed of 345 places in 1 ms
Reduce places removed 345 places and 0 transitions.
Iterating global reduction 3 with 690 rules applied. Total rules applied 8446 place count 1817 transition count 2007
Discarding 261 places :
Symmetric choice reduction at 3 with 261 rule applications. Total rules 8707 place count 1556 transition count 1746
Iterating global reduction 3 with 261 rules applied. Total rules applied 8968 place count 1556 transition count 1746
Performed 45 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 45 Pre rules applied. Total rules applied 8968 place count 1556 transition count 1701
Deduced a syphon composed of 45 places in 0 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 3 with 90 rules applied. Total rules applied 9058 place count 1511 transition count 1701
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 9063 place count 1506 transition count 1446
Iterating global reduction 3 with 5 rules applied. Total rules applied 9068 place count 1506 transition count 1446
Discarding 6 places :
Implicit places reduction removed 6 places
Iterating post reduction 3 with 6 rules applied. Total rules applied 9074 place count 1500 transition count 1446
Performed 6 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 6 Pre rules applied. Total rules applied 9074 place count 1500 transition count 1440
Deduced a syphon composed of 6 places in 1 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 4 with 12 rules applied. Total rules applied 9086 place count 1494 transition count 1440
Applied a total of 9086 rules in 650 ms. Remains 1494 /10454 variables (removed 8960) and now considering 1440/9762 (removed 8322) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-16626881317405500323.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17685777296524408791.kers'
[2026-05-25 22:07:39] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-16626881317405500323.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17685777296524408791.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 1440 rows 1494 cols 3812 entries
Finished phase 1 with 828 SingleSign rule and 357 generalized
[2026-05-25 22:07:39] [INFO ] Computed 309 invariants in 13 ms
Computed 309 P flows in 14 ms.
Exported basis to /tmp/petrispot-output-17685777296524408791.kers
Total runtime 15 ms.
[2026-05-25 22:07:40] [INFO ] Implicit Places using invariants in 597 ms returned [102, 103, 1391]
Discarding 3 places :
Implicit Place search using SMT only with invariants took 600 ms to find 3 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1491/10454 places, 1440/9762 transitions.
Performed 63 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 63 Pre rules applied. Total rules applied 0 place count 1491 transition count 1377
Deduced a syphon composed of 63 places in 1 ms
Reduce places removed 63 places and 0 transitions.
Iterating global reduction 0 with 126 rules applied. Total rules applied 126 place count 1428 transition count 1377
Applied a total of 126 rules in 93 ms. Remains 1428 /1491 variables (removed 63) and now considering 1377/1440 (removed 63) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-5614138853773809558.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5027155768102385429.kers'
[2026-05-25 22:07:40] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5614138853773809558.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5027155768102385429.kers]
Culled 0 columns in 2 ms.
// Phase 1: matrix 1377 rows 1428 cols 3315 entries
Finished phase 1 with 816 SingleSign rule and 306 generalized
[2026-05-25 22:07:40] [INFO ] Computed 306 invariants in 14 ms
Computed 306 P flows in 14 ms.
Exported basis to /tmp/petrispot-output-5027155768102385429.kers
Total runtime 16 ms.
[2026-05-25 22:07:40] [INFO ] Implicit Places using invariants in 513 ms returned []
[2026-05-25 22:07:40] [INFO ] Invariant cache hit.
[2026-05-25 22:07:42] [INFO ] Implicit Places using invariants and state equation in 1360 ms returned []
Implicit Place search using SMT with State Equation took 1876 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 1428/10454 places, 1377/9762 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 3220 ms. Remains : 1428/10454 places, 1377/9762 transitions.
[2026-05-25 22:07:42] [INFO ] Flatten gal took : 21 ms
[2026-05-25 22:07:42] [INFO ] Flatten gal took : 24 ms
[2026-05-25 22:07:42] [INFO ] Input system was already deterministic with 1377 transitions.
[2026-05-25 22:07:42] [INFO ] Flatten gal took : 23 ms
[2026-05-25 22:07:42] [INFO ] Flatten gal took : 24 ms
[2026-05-25 22:07:42] [INFO ] Time to serialize gal into /tmp/CTLFireability1761510901144453270.gal : 5 ms
[2026-05-25 22:07:42] [INFO ] Time to serialize properties into /tmp/CTLFireability8350152513503293273.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/CTLFireability1761510901144453270.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8350152513503293273.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,2.80621e+69,2.20689,16544,2,3309,5,15983,6,0,6990,10899,0
Converting to forward existential form...Done !
original formula: E(AG((((((((l0_6>=1)||(l0_8>=1))||((l0_2>=1)||(l0_4>=1)))||(((l0_14>=1)||(l0_16>=1))||((l0_10>=1)||(l0_12>=1))))||((((l0_22>=1)||(l0_24>=...11468
=> equivalent forward existential formula: ([FwdG(FwdU(Init,!(E(TRUE U !((((((((l0_6>=1)||(l0_8>=1))||((l0_2>=1)||(l0_4>=1)))||(((l0_14>=1)||(l0_16>=1))||(...12264
Reverse transition relation is NOT exact ! Due to transitions t663, t664, t665, t666, t667, t668, t669, t670, t671, t672, t673, t674, t675, t676, t677, t67...470
Detected timeout of ITS tools.
[2026-05-25 22:08:12] [INFO ] Flatten gal took : 25 ms
[2026-05-25 22:08:12] [INFO ] Applying decomposition
[2026-05-25 22:08:12] [INFO ] Flatten gal took : 25 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/graph9747198432470263411.txt' '-o' '/tmp/graph9747198432470263411.bin' '-w' '/tmp/graph9747198432470263411.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9747198432470263411.bin' '-l' '-1' '-v' '-w' '/tmp/graph9747198432470263411.weights' '-q' '0' '-e' '0.001'
[2026-05-25 22:08:12] [INFO ] Decomposing Gal with order
[2026-05-25 22:08:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 22:08:12] [INFO ] Flatten gal took : 70 ms
[2026-05-25 22:08:12] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 4 ms.
[2026-05-25 22:08:12] [INFO ] Time to serialize gal into /tmp/CTLFireability9969122458373374064.gal : 16 ms
[2026-05-25 22:08:12] [INFO ] Time to serialize properties into /tmp/CTLFireability11469326511531432727.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/CTLFireability9969122458373374064.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11469326511531432727.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.80621e+69,0.593147,14696,244,78,1495,493,402,1538,86,2003,0
Converting to forward existential form...Done !
original formula: E(AG((((((((i1.u2.l0_6>=1)||(i40.u15.l0_8>=1))||((i0.u0.l0_2>=1)||(i6.u14.l0_4>=1)))||(((i9.u21.l0_14>=1)||(i10.u23.l0_16>=1))||((i41.u17...17644
=> equivalent forward existential formula: ([FwdG(FwdU(Init,!(E(TRUE U !((((((((i1.u2.l0_6>=1)||(i40.u15.l0_8>=1))||((i0.u0.l0_2>=1)||(i6.u14.l0_4>=1)))||(...18828
Reverse transition relation is NOT exact ! Due to transitions i0.u386.t665, i1.u361.t669, i2.u379.t701, i3.u380.t702, i4.u406.t712, i5.u357.t663, i6.u359.t...919
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
(forward)formula 0,0,2.40601,66308,1,0,171383,1695,10074,116483,609,6450,205552
FORMULA FamilyReunion-PT-L00050M0005C002P002G001-CTLFireability-2024-03 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is FALSE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 10454/10454 places, 9762/9762 transitions.
Discarding 921 places :
Implicit places reduction removed 921 places
Iterating post reduction 0 with 921 rules applied. Total rules applied 921 place count 9533 transition count 9762
Discarding 773 places :
Symmetric choice reduction at 1 with 773 rule applications. Total rules 1694 place count 8760 transition count 8987
Iterating global reduction 1 with 773 rules applied. Total rules applied 2467 place count 8760 transition count 8987
Discarding 362 places :
Symmetric choice reduction at 1 with 362 rule applications. Total rules 2829 place count 8398 transition count 8475
Iterating global reduction 1 with 362 rules applied. Total rules applied 3191 place count 8398 transition count 8475
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 53 places :
Implicit places reduction removed 53 places
Iterating post reduction 1 with 55 rules applied. Total rules applied 3246 place count 8345 transition count 8473
Discarding 161 places :
Symmetric choice reduction at 2 with 161 rule applications. Total rules 3407 place count 8184 transition count 8212
Iterating global reduction 2 with 161 rules applied. Total rules applied 3568 place count 8184 transition count 8212
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 3573 place count 8179 transition count 7957
Iterating global reduction 2 with 5 rules applied. Total rules applied 3578 place count 8179 transition count 7957
Discarding 6 places :
Implicit places reduction removed 6 places
Iterating post reduction 2 with 6 rules applied. Total rules applied 3584 place count 8173 transition count 7957
Applied a total of 3584 rules in 9464 ms. Remains 8173 /10454 variables (removed 2281) and now considering 7957/9762 (removed 1805) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14706549504862642753.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-18319055759830453711.kers'
[2026-05-25 22:08:24] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14706549504862642753.kers, --Pflows, --basisKERS=/tmp/petrispot-output-18319055759830453711.kers]
Culled 0 columns in 7 ms.
// Phase 1: matrix 7957 rows 8173 cols 18587 entries
Finished phase 1 with 6634 SingleSign rule and 763 generalized
[2026-05-25 22:08:24] [INFO ] Computed 776 invariants in 134 ms
Computed 776 P flows in 135 ms.
Exported basis to /tmp/petrispot-output-18319055759830453711.kers
Total runtime 141 ms.
[2026-05-25 22:08:28] [INFO ] Implicit Places using invariants in 3705 ms returned [357, 358, 1991, 3420, 3421, 3422, 4955, 5313, 5314, 5315, 5316, 5317, 5318, 5319, 5320, 5321, 5322, 5323, 5324, 5325, 5326, 5327, 5328, 5329, 5330, 5331, 5332, 5333, 5334, 5335, 5336, 5337, 5338, 5339, 5340, 5341, 5342, 5343, 5344, 5345, 5346, 5347, 5348, 5349, 5350, 5351, 5352, 5353, 5354, 5355, 5356, 5357, 5358, 5359, 5360, 5361, 5362, 5363, 5721, 6692, 7713]
Discarding 61 places :
Implicit Place search using SMT only with invariants took 3710 ms to find 61 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 8112/10454 places, 7957/9762 transitions.
Applied a total of 0 rules in 1782 ms. Remains 8112 /8112 variables (removed 0) and now considering 7957/7957 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 14957 ms. Remains : 8112/10454 places, 7957/9762 transitions.
[2026-05-25 22:08:30] [INFO ] Flatten gal took : 129 ms
[2026-05-25 22:08:30] [INFO ] Flatten gal took : 142 ms
[2026-05-25 22:08:30] [INFO ] Input system was already deterministic with 7957 transitions.
[2026-05-25 22:08:30] [INFO ] Flatten gal took : 138 ms
[2026-05-25 22:08:31] [INFO ] Flatten gal took : 143 ms
[2026-05-25 22:08:31] [INFO ] Time to serialize gal into /tmp/CTLFireability17951905757813053044.gal : 27 ms
[2026-05-25 22:08:31] [INFO ] Time to serialize properties into /tmp/CTLFireability744612167765559538.ctl : 5 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17951905757813053044.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability744612167765559538.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 22:09:01] [INFO ] Flatten gal took : 181 ms
[2026-05-25 22:09:01] [INFO ] Applying decomposition
[2026-05-25 22:09:01] [INFO ] Flatten gal took : 144 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/graph14626755443058242685.txt' '-o' '/tmp/graph14626755443058242685.bin' '-w' '/tmp/graph14626755443058242685.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph14626755443058242685.bin' '-l' '-1' '-v' '-w' '/tmp/graph14626755443058242685.weights' '-q' '0' '-e' '0.001'
[2026-05-25 22:09:02] [INFO ] Decomposing Gal with order
[2026-05-25 22:09:03] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 22:09:07] [INFO ] Removed a total of 887 redundant transitions.
[2026-05-25 22:09:07] [INFO ] Flatten gal took : 262 ms
[2026-05-25 22:09:10] [INFO ] Fuse similar labels procedure discarded/fused a total of 241 labels/synchronizations in 127 ms.
[2026-05-25 22:09:10] [INFO ] Time to serialize gal into /tmp/CTLFireability17130962941082619475.gal : 54 ms
[2026-05-25 22:09:10] [INFO ] Time to serialize properties into /tmp/CTLFireability11483989766726745193.ctl : 14 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/CTLFireability17130962941082619475.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11483989766726745193.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 : 10454/10454 places, 9762/9762 transitions.
Discarding 1227 places :
Implicit places reduction removed 1227 places
Iterating post reduction 0 with 1227 rules applied. Total rules applied 1227 place count 9227 transition count 9762
Discarding 677 places :
Symmetric choice reduction at 1 with 677 rule applications. Total rules 1904 place count 8550 transition count 9083
Iterating global reduction 1 with 677 rules applied. Total rules applied 2581 place count 8550 transition count 9083
Discarding 157 places :
Symmetric choice reduction at 1 with 157 rule applications. Total rules 2738 place count 8393 transition count 8776
Iterating global reduction 1 with 157 rules applied. Total rules applied 2895 place count 8393 transition count 8776
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 53 places :
Implicit places reduction removed 53 places
Iterating post reduction 1 with 55 rules applied. Total rules applied 2950 place count 8340 transition count 8774
Discarding 53 places :
Symmetric choice reduction at 2 with 53 rule applications. Total rules 3003 place count 8287 transition count 8621
Iterating global reduction 2 with 53 rules applied. Total rules applied 3056 place count 8287 transition count 8621
Discarding 103 places :
Symmetric choice reduction at 2 with 103 rule applications. Total rules 3159 place count 8184 transition count 8468
Iterating global reduction 2 with 103 rules applied. Total rules applied 3262 place count 8184 transition count 8468
Ensure Unique test removed 102 transitions
Reduce isomorphic transitions removed 102 transitions.
Discarding 54 places :
Implicit places reduction removed 54 places
Iterating post reduction 2 with 156 rules applied. Total rules applied 3418 place count 8130 transition count 8366
Applied a total of 3418 rules in 15058 ms. Remains 8130 /10454 variables (removed 2324) and now considering 8366/9762 (removed 1396) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14078038199917479826.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6070709232838166842.kers'
[2026-05-25 22:09:56] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14078038199917479826.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6070709232838166842.kers]
Culled 0 columns in 8 ms.
// Phase 1: matrix 8366 rows 8130 cols 18850 entries
Finished phase 1 with 7298 SingleSign rule and 410 generalized
[2026-05-25 22:09:56] [INFO ] Computed 422 invariants in 188 ms
Computed 422 P flows in 189 ms.
Exported basis to /tmp/petrispot-output-6070709232838166842.kers
Total runtime 199 ms.
[2026-05-25 22:09:59] [INFO ] Implicit Places using invariants in 3708 ms returned [357, 358, 1430, 4390, 4748, 4749, 4750, 4751, 4752, 4753, 4754, 4755, 4756, 4757, 4758, 4759, 4760, 4761, 4762, 4763, 4764, 4765, 4766, 4767, 4768, 4769, 4770, 4771, 4772, 4773, 4774, 4775, 4776, 4777, 4778, 4779, 4780, 4781, 4782, 4783, 4784, 4785, 4786, 4787, 4788, 4789, 4790, 4791, 4792, 4793, 4794, 4795, 4796, 4797, 4798, 5468, 5469, 5470, 5471, 5472, 5473, 6547, 7670]
Discarding 63 places :
Implicit Place search using SMT only with invariants took 3713 ms to find 63 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 8067/10454 places, 8366/9762 transitions.
Discarding 101 places :
Symmetric choice reduction at 0 with 101 rule applications. Total rules 101 place count 7966 transition count 8265
Iterating global reduction 0 with 101 rules applied. Total rules applied 202 place count 7966 transition count 8265
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 252 place count 7916 transition count 8165
Iterating global reduction 0 with 50 rules applied. Total rules applied 302 place count 7916 transition count 8165
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 352 place count 7866 transition count 8115
Iterating global reduction 0 with 50 rules applied. Total rules applied 402 place count 7866 transition count 8115
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 452 place count 7816 transition count 8065
Iterating global reduction 0 with 50 rules applied. Total rules applied 502 place count 7816 transition count 8065
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 552 place count 7766 transition count 8015
Iterating global reduction 0 with 50 rules applied. Total rules applied 602 place count 7766 transition count 8015
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 652 place count 7716 transition count 7965
Iterating global reduction 0 with 50 rules applied. Total rules applied 702 place count 7716 transition count 7965
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 752 place count 7666 transition count 7915
Iterating global reduction 0 with 50 rules applied. Total rules applied 802 place count 7666 transition count 7915
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 852 place count 7616 transition count 7865
Iterating global reduction 0 with 50 rules applied. Total rules applied 902 place count 7616 transition count 7865
Applied a total of 902 rules in 24823 ms. Remains 7616 /8067 variables (removed 451) and now considering 7865/8366 (removed 501) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-5922167287818569053.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11198173515622600794.kers'
[2026-05-25 22:10:24] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5922167287818569053.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11198173515622600794.kers]
Culled 0 columns in 8 ms.
// Phase 1: matrix 7865 rows 7616 cols 17209 entries
Finished phase 1 with 6951 SingleSign rule and 306 generalized
[2026-05-25 22:10:24] [INFO ] Computed 359 invariants in 185 ms
Computed 359 P flows in 185 ms.
Exported basis to /tmp/petrispot-output-11198173515622600794.kers
Total runtime 194 ms.
[2026-05-25 22:10:27] [INFO ] Implicit Places using invariants in 2728 ms returned []
[2026-05-25 22:10:27] [INFO ] Invariant cache hit.
[2026-05-25 22:11:06] [INFO ] Performed 6595/7616 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 22:11:09] [INFO ] Implicit Places using invariants and state equation in 42644 ms returned []
Implicit Place search using SMT with State Equation took 45387 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 7616/10454 places, 7865/9762 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 88983 ms. Remains : 7616/10454 places, 7865/9762 transitions.
[2026-05-25 22:11:10] [INFO ] Flatten gal took : 178 ms
[2026-05-25 22:11:10] [INFO ] Flatten gal took : 191 ms
[2026-05-25 22:11:10] [INFO ] Input system was already deterministic with 7865 transitions.
[2026-05-25 22:11:10] [INFO ] Flatten gal took : 134 ms
[2026-05-25 22:11:10] [INFO ] Flatten gal took : 137 ms
[2026-05-25 22:11:10] [INFO ] Time to serialize gal into /tmp/CTLFireability1646758007015348251.gal : 26 ms
[2026-05-25 22:11:10] [INFO ] Time to serialize properties into /tmp/CTLFireability16458600220203095551.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/CTLFireability1646758007015348251.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16458600220203095551.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 22:11:41] [INFO ] Flatten gal took : 127 ms
[2026-05-25 22:11:41] [INFO ] Applying decomposition
[2026-05-25 22:11:41] [INFO ] Flatten gal took : 131 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/graph13436966952439416075.txt' '-o' '/tmp/graph13436966952439416075.bin' '-w' '/tmp/graph13436966952439416075.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13436966952439416075.bin' '-l' '-1' '-v' '-w' '/tmp/graph13436966952439416075.weights' '-q' '0' '-e' '0.001'
[2026-05-25 22:11:41] [INFO ] Decomposing Gal with order
[2026-05-25 22:11:42] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 22:11:47] [INFO ] Removed a total of 1768 redundant transitions.
[2026-05-25 22:11:47] [INFO ] Flatten gal took : 236 ms
[2026-05-25 22:11:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 21 ms.
[2026-05-25 22:11:49] [INFO ] Time to serialize gal into /tmp/CTLFireability14228834426545483664.gal : 51 ms
[2026-05-25 22:11:49] [INFO ] Time to serialize properties into /tmp/CTLFireability3194083428490980633.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/CTLFireability14228834426545483664.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3194083428490980633.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 : 10454/10454 places, 9762/9762 transitions.
Discarding 615 places :
Implicit places reduction removed 615 places
Iterating post reduction 0 with 615 rules applied. Total rules applied 615 place count 9839 transition count 9762
Discarding 671 places :
Symmetric choice reduction at 1 with 671 rule applications. Total rules 1286 place count 9168 transition count 9089
Iterating global reduction 1 with 671 rules applied. Total rules applied 1957 place count 9168 transition count 9089
Discarding 412 places :
Symmetric choice reduction at 1 with 412 rule applications. Total rules 2369 place count 8756 transition count 8527
Iterating global reduction 1 with 412 rules applied. Total rules applied 2781 place count 8756 transition count 8527
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 53 places :
Implicit places reduction removed 53 places
Iterating post reduction 1 with 55 rules applied. Total rules applied 2836 place count 8703 transition count 8525
Discarding 161 places :
Symmetric choice reduction at 2 with 161 rule applications. Total rules 2997 place count 8542 transition count 8264
Iterating global reduction 2 with 161 rules applied. Total rules applied 3158 place count 8542 transition count 8264
Discarding 108 places :
Symmetric choice reduction at 2 with 108 rule applications. Total rules 3266 place count 8434 transition count 7856
Iterating global reduction 2 with 108 rules applied. Total rules applied 3374 place count 8434 transition count 7856
Ensure Unique test removed 102 transitions
Reduce isomorphic transitions removed 102 transitions.
Discarding 60 places :
Implicit places reduction removed 60 places
Iterating post reduction 2 with 162 rules applied. Total rules applied 3536 place count 8374 transition count 7754
Applied a total of 3536 rules in 11725 ms. Remains 8374 /10454 variables (removed 2080) and now considering 7754/9762 (removed 2008) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-16634763998342481974.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10920224475785764075.kers'
[2026-05-25 22:12:31] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-16634763998342481974.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10920224475785764075.kers]
Culled 0 columns in 7 ms.
// Phase 1: matrix 7754 rows 8374 cols 18481 entries
Finished phase 1 with 6375 SingleSign rule and 971 generalized
[2026-05-25 22:12:31] [INFO ] Computed 1028 invariants in 94 ms
Computed 1028 P flows in 95 ms.
Exported basis to /tmp/petrispot-output-10920224475785764075.kers
Total runtime 104 ms.
[2026-05-25 22:12:36] [INFO ] Implicit Places using invariants in 4916 ms returned [357, 358, 1430, 4696, 5360, 5361, 5362, 5363, 5364, 5365, 5366, 5367, 5368, 5369, 5370, 5371, 5372, 5373, 5374, 5375, 5376, 5377, 5378, 5379, 5380, 5381, 5382, 5383, 5384, 5385, 5386, 5387, 5388, 5389, 5390, 5391, 5392, 5393, 5394, 5395, 5396, 5397, 5398, 5399, 5400, 5401, 5402, 5403, 5404, 5405, 5406, 5407, 5408, 5409, 5410, 6023, 6893, 7914]
Discarding 58 places :
Implicit Place search using SMT only with invariants took 4922 ms to find 58 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 8316/10454 places, 7754/9762 transitions.
Discarding 101 places :
Symmetric choice reduction at 0 with 101 rule applications. Total rules 101 place count 8215 transition count 7653
Iterating global reduction 0 with 101 rules applied. Total rules applied 202 place count 8215 transition count 7653
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 252 place count 8165 transition count 7553
Iterating global reduction 0 with 50 rules applied. Total rules applied 302 place count 8165 transition count 7553
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 352 place count 8115 transition count 7503
Iterating global reduction 0 with 50 rules applied. Total rules applied 402 place count 8115 transition count 7503
Applied a total of 402 rules in 8581 ms. Remains 8115 /8316 variables (removed 201) and now considering 7503/7754 (removed 251) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7383832923202644645.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8615288442479936738.kers'
[2026-05-25 22:12:44] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7383832923202644645.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8615288442479936738.kers]
Culled 0 columns in 6 ms.
// Phase 1: matrix 7503 rows 8115 cols 17147 entries
Finished phase 1 with 6278 SingleSign rule and 867 generalized
[2026-05-25 22:12:44] [INFO ] Computed 970 invariants in 77 ms
Computed 970 P flows in 77 ms.
Exported basis to /tmp/petrispot-output-8615288442479936738.kers
Total runtime 83 ms.
[2026-05-25 22:12:48] [INFO ] Implicit Places using invariants in 3362 ms returned []
[2026-05-25 22:12:48] [INFO ] Invariant cache hit.
[2026-05-25 22:13:03] [INFO ] Implicit Places using invariants and state equation in 15841 ms returned []
Implicit Place search using SMT with State Equation took 19205 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 8115/10454 places, 7503/9762 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 44435 ms. Remains : 8115/10454 places, 7503/9762 transitions.
[2026-05-25 22:13:03] [INFO ] Flatten gal took : 122 ms
[2026-05-25 22:13:04] [INFO ] Flatten gal took : 218 ms
[2026-05-25 22:13:04] [INFO ] Input system was already deterministic with 7503 transitions.
[2026-05-25 22:13:04] [INFO ] Flatten gal took : 213 ms
[2026-05-25 22:13:05] [INFO ] Flatten gal took : 193 ms
[2026-05-25 22:13:05] [INFO ] Time to serialize gal into /tmp/CTLFireability4665080321082721415.gal : 26 ms
[2026-05-25 22:13:05] [INFO ] Time to serialize properties into /tmp/CTLFireability15874398635340035108.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/CTLFireability4665080321082721415.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15874398635340035108.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 22:13:35] [INFO ] Flatten gal took : 128 ms
[2026-05-25 22:13:35] [INFO ] Applying decomposition
[2026-05-25 22:13:35] [INFO ] Flatten gal took : 135 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/graph12390175890084670266.txt' '-o' '/tmp/graph12390175890084670266.bin' '-w' '/tmp/graph12390175890084670266.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12390175890084670266.bin' '-l' '-1' '-v' '-w' '/tmp/graph12390175890084670266.weights' '-q' '0' '-e' '0.001'
[2026-05-25 22:13:35] [INFO ] Decomposing Gal with order
[2026-05-25 22:13:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 22:13:41] [INFO ] Removed a total of 862 redundant transitions.
[2026-05-25 22:13:41] [INFO ] Flatten gal took : 247 ms
[2026-05-25 22:13:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 239 labels/synchronizations in 59 ms.
[2026-05-25 22:13:46] [INFO ] Time to serialize gal into /tmp/CTLFireability10628711201965927623.gal : 52 ms
[2026-05-25 22:13:46] [INFO ] Time to serialize properties into /tmp/CTLFireability14890834412342736521.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/CTLFireability10628711201965927623.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14890834412342736521.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 10454/10454 places, 9762/9762 transitions.
Graph (complete) has 14958 edges and 10454 vertex of which 10096 are kept as prefixes of interest. Removing 358 places using SCC suffix rule.10 ms
Discarding 358 places :
Also discarding 358 output transitions
Drop transitions (Output transitions of discarded places.) removed 358 transitions
Reduce places removed 50 places and 50 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 1222 places :
Implicit places reduction removed 1222 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 5985 transitions
Trivial Post-agglo rules discarded 5985 transitions
Performed 5985 trivial Post agglomeration. Transition count delta: 5985
Iterating post reduction 0 with 7209 rules applied. Total rules applied 7210 place count 8824 transition count 3367
Reduce places removed 5985 places and 0 transitions.
Performed 17 Post agglomeration using F-continuation condition.Transition count delta: 17
Iterating post reduction 1 with 6002 rules applied. Total rules applied 13212 place count 2839 transition count 3350
Reduce places removed 17 places and 0 transitions.
Iterating post reduction 2 with 17 rules applied. Total rules applied 13229 place count 2822 transition count 3350
Performed 719 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 719 Pre rules applied. Total rules applied 13229 place count 2822 transition count 2631
Deduced a syphon composed of 719 places in 1 ms
Ensure Unique test removed 306 places
Reduce places removed 1025 places and 0 transitions.
Iterating global reduction 3 with 1744 rules applied. Total rules applied 14973 place count 1797 transition count 2631
Drop transitions (Trivial Post-Agglo cleanup.) removed 203 transitions
Trivial Post-agglo rules discarded 203 transitions
Performed 203 trivial Post agglomeration. Transition count delta: 203
Iterating post reduction 3 with 203 rules applied. Total rules applied 15176 place count 1797 transition count 2428
Reduce places removed 203 places and 0 transitions.
Iterating post reduction 4 with 203 rules applied. Total rules applied 15379 place count 1594 transition count 2428
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1 Pre rules applied. Total rules applied 15379 place count 1594 transition count 2427
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 15381 place count 1593 transition count 2427
Discarding 617 places :
Symmetric choice reduction at 5 with 617 rule applications. Total rules 15998 place count 976 transition count 1762
Iterating global reduction 5 with 617 rules applied. Total rules applied 16615 place count 976 transition count 1762
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 105 transitions
Trivial Post-agglo rules discarded 105 transitions
Performed 105 trivial Post agglomeration. Transition count delta: 105
Iterating post reduction 5 with 109 rules applied. Total rules applied 16724 place count 974 transition count 1655
Reduce places removed 105 places and 0 transitions.
Iterating post reduction 6 with 105 rules applied. Total rules applied 16829 place count 869 transition count 1655
Performed 102 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 102 Pre rules applied. Total rules applied 16829 place count 869 transition count 1553
Deduced a syphon composed of 102 places in 0 ms
Reduce places removed 102 places and 0 transitions.
Iterating global reduction 7 with 204 rules applied. Total rules applied 17033 place count 767 transition count 1553
Discarding 6 places :
Symmetric choice reduction at 7 with 6 rule applications. Total rules 17039 place count 761 transition count 1247
Iterating global reduction 7 with 6 rules applied. Total rules applied 17045 place count 761 transition count 1247
Ensure Unique test removed 296 transitions
Reduce isomorphic transitions removed 296 transitions.
Discarding 102 places :
Implicit places reduction removed 102 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 101 transitions
Trivial Post-agglo rules discarded 101 transitions
Performed 101 trivial Post agglomeration. Transition count delta: 101
Iterating post reduction 7 with 499 rules applied. Total rules applied 17544 place count 659 transition count 850
Reduce places removed 101 places and 0 transitions.
Iterating post reduction 8 with 101 rules applied. Total rules applied 17645 place count 558 transition count 850
Performed 51 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 9 with 51 Pre rules applied. Total rules applied 17645 place count 558 transition count 799
Deduced a syphon composed of 51 places in 0 ms
Reduce places removed 51 places and 0 transitions.
Iterating global reduction 9 with 102 rules applied. Total rules applied 17747 place count 507 transition count 799
Discarding 4 places :
Symmetric choice reduction at 9 with 4 rule applications. Total rules 17751 place count 503 transition count 795
Iterating global reduction 9 with 4 rules applied. Total rules applied 17755 place count 503 transition count 795
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 9 with 4 rules applied. Total rules applied 17759 place count 503 transition count 791
Performed 105 Post agglomeration using F-continuation condition.Transition count delta: 105
Deduced a syphon composed of 105 places in 0 ms
Reduce places removed 105 places and 0 transitions.
Iterating global reduction 10 with 210 rules applied. Total rules applied 17969 place count 398 transition count 686
Applied a total of 17969 rules in 434 ms. Remains 398 /10454 variables (removed 10056) and now considering 686/9762 (removed 9076) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10398840758433006910.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13824559289155500190.kers'
[2026-05-25 22:14:17] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10398840758433006910.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13824559289155500190.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 686 rows 398 cols 2539 entries
Finished phase 1 with 201 SingleSign rule and 124 generalized
[2026-05-25 22:14:17] [INFO ] Computed 73 invariants in 7 ms
Computed 73 P flows in 8 ms.
Exported basis to /tmp/petrispot-output-13824559289155500190.kers
Total runtime 9 ms.
[2026-05-25 22:14:17] [INFO ] Implicit Places using invariants in 450 ms returned [53, 78, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 237, 238, 239, 246, 247, 248, 327, 330, 331, 345]
Discarding 60 places :
Implicit Place search using SMT only with invariants took 451 ms to find 60 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 338/10454 places, 686/9762 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 57 transitions
Trivial Post-agglo rules discarded 57 transitions
Performed 57 trivial Post agglomeration. Transition count delta: 57
Iterating post reduction 0 with 57 rules applied. Total rules applied 57 place count 338 transition count 629
Reduce places removed 57 places and 0 transitions.
Iterating post reduction 1 with 57 rules applied. Total rules applied 114 place count 281 transition count 629
Performed 52 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 52 Pre rules applied. Total rules applied 114 place count 281 transition count 577
Deduced a syphon composed of 52 places in 1 ms
Reduce places removed 52 places and 0 transitions.
Iterating global reduction 2 with 104 rules applied. Total rules applied 218 place count 229 transition count 577
Discarding 46 places :
Symmetric choice reduction at 2 with 46 rule applications. Total rules 264 place count 183 transition count 487
Iterating global reduction 2 with 46 rules applied. Total rules applied 310 place count 183 transition count 487
Discarding 43 places :
Symmetric choice reduction at 2 with 43 rule applications. Total rules 353 place count 140 transition count 319
Iterating global reduction 2 with 43 rules applied. Total rules applied 396 place count 140 transition count 319
Discarding 30 places :
Symmetric choice reduction at 2 with 30 rule applications. Total rules 426 place count 110 transition count 199
Iterating global reduction 2 with 30 rules applied. Total rules applied 456 place count 110 transition count 199
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 2 with 2 rules applied. Total rules applied 458 place count 109 transition count 198
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 459 place count 108 transition count 196
Iterating global reduction 2 with 1 rules applied. Total rules applied 460 place count 108 transition count 196
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 461 place count 107 transition count 192
Iterating global reduction 2 with 1 rules applied. Total rules applied 462 place count 107 transition count 192
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 463 place count 106 transition count 188
Iterating global reduction 2 with 1 rules applied. Total rules applied 464 place count 106 transition count 188
Applied a total of 464 rules in 21 ms. Remains 106 /338 variables (removed 232) and now considering 188/686 (removed 498) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1173850385510732770.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8285296405753755249.kers'
[2026-05-25 22:14:17] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1173850385510732770.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8285296405753755249.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 188 rows 106 cols 540 entries
Finished phase 1 with 77 SingleSign rule and 16 generalized
[2026-05-25 22:14:17] [INFO ] Computed 13 invariants in 1 ms
Computed 13 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-8285296405753755249.kers
Total runtime 1 ms.
[2026-05-25 22:14:17] [INFO ] Implicit Places using invariants in 146 ms returned []
[2026-05-25 22:14:17] [INFO ] Invariant cache hit.
[2026-05-25 22:14:17] [INFO ] Implicit Places using invariants and state equation in 117 ms returned []
Implicit Place search using SMT with State Equation took 270 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 106/10454 places, 188/9762 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 1177 ms. Remains : 106/10454 places, 188/9762 transitions.
[2026-05-25 22:14:17] [INFO ] Flatten gal took : 4 ms
[2026-05-25 22:14:17] [INFO ] Flatten gal took : 4 ms
[2026-05-25 22:14:17] [INFO ] Input system was already deterministic with 188 transitions.
[2026-05-25 22:14:17] [INFO ] Flatten gal took : 3 ms
[2026-05-25 22:14:17] [INFO ] Flatten gal took : 4 ms
[2026-05-25 22:14:17] [INFO ] Time to serialize gal into /tmp/CTLFireability5128818779991796941.gal : 1 ms
[2026-05-25 22:14:17] [INFO ] Time to serialize properties into /tmp/CTLFireability4172128831680625482.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/CTLFireability5128818779991796941.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4172128831680625482.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 22:14:47] [INFO ] Flatten gal took : 4 ms
[2026-05-25 22:14:47] [INFO ] Applying decomposition
[2026-05-25 22:14:47] [INFO ] Flatten gal took : 3 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/graph12340864918211089806.txt' '-o' '/tmp/graph12340864918211089806.bin' '-w' '/tmp/graph12340864918211089806.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12340864918211089806.bin' '-l' '-1' '-v' '-w' '/tmp/graph12340864918211089806.weights' '-q' '0' '-e' '0.001'
[2026-05-25 22:14:47] [INFO ] Decomposing Gal with order
[2026-05-25 22:14:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 22:14:47] [INFO ] Removed a total of 165 redundant transitions.
[2026-05-25 22:14:47] [INFO ] Flatten gal took : 8 ms
[2026-05-25 22:14:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 38 labels/synchronizations in 3 ms.
[2026-05-25 22:14:47] [INFO ] Time to serialize gal into /tmp/CTLFireability15540525035234564873.gal : 2 ms
[2026-05-25 22:14:47] [INFO ] Time to serialize properties into /tmp/CTLFireability8360224542654866455.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/CTLFireability15540525035234564873.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8360224542654866455.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 : 10454/10454 places, 9762/9762 transitions.
Graph (complete) has 14958 edges and 10454 vertex of which 9836 are kept as prefixes of interest. Removing 618 places using SCC suffix rule.9 ms
Discarding 618 places :
Also discarding 667 output transitions
Drop transitions (Output transitions of discarded places.) removed 667 transitions
Reduce places removed 51 places and 51 transitions.
Discarding 1226 places :
Implicit places reduction removed 1226 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 5887 transitions
Trivial Post-agglo rules discarded 5887 transitions
Performed 5887 trivial Post agglomeration. Transition count delta: 5887
Iterating post reduction 0 with 7113 rules applied. Total rules applied 7114 place count 8559 transition count 3157
Reduce places removed 5887 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 5888 rules applied. Total rules applied 13002 place count 2672 transition count 3156
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 13003 place count 2671 transition count 3156
Performed 662 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 662 Pre rules applied. Total rules applied 13003 place count 2671 transition count 2494
Deduced a syphon composed of 662 places in 1 ms
Ensure Unique test removed 306 places
Reduce places removed 968 places and 0 transitions.
Iterating global reduction 3 with 1630 rules applied. Total rules applied 14633 place count 1703 transition count 2494
Drop transitions (Trivial Post-Agglo cleanup.) removed 204 transitions
Trivial Post-agglo rules discarded 204 transitions
Performed 204 trivial Post agglomeration. Transition count delta: 204
Iterating post reduction 3 with 204 rules applied. Total rules applied 14837 place count 1703 transition count 2290
Reduce places removed 204 places and 0 transitions.
Iterating post reduction 4 with 204 rules applied. Total rules applied 15041 place count 1499 transition count 2290
Discarding 619 places :
Symmetric choice reduction at 5 with 619 rule applications. Total rules 15660 place count 880 transition count 1622
Iterating global reduction 5 with 619 rules applied. Total rules applied 16279 place count 880 transition count 1622
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 107 transitions
Trivial Post-agglo rules discarded 107 transitions
Performed 107 trivial Post agglomeration. Transition count delta: 107
Iterating post reduction 5 with 111 rules applied. Total rules applied 16390 place count 878 transition count 1513
Reduce places removed 107 places and 0 transitions.
Iterating post reduction 6 with 107 rules applied. Total rules applied 16497 place count 771 transition count 1513
Performed 54 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 54 Pre rules applied. Total rules applied 16497 place count 771 transition count 1459
Deduced a syphon composed of 54 places in 0 ms
Reduce places removed 54 places and 0 transitions.
Iterating global reduction 7 with 108 rules applied. Total rules applied 16605 place count 717 transition count 1459
Discarding 8 places :
Symmetric choice reduction at 7 with 8 rule applications. Total rules 16613 place count 709 transition count 1051
Iterating global reduction 7 with 8 rules applied. Total rules applied 16621 place count 709 transition count 1051
Ensure Unique test removed 399 transitions
Reduce isomorphic transitions removed 399 transitions.
Discarding 153 places :
Implicit places reduction removed 153 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 153 transitions
Trivial Post-agglo rules discarded 153 transitions
Performed 153 trivial Post agglomeration. Transition count delta: 153
Iterating post reduction 7 with 705 rules applied. Total rules applied 17326 place count 556 transition count 499
Reduce places removed 153 places and 0 transitions.
Iterating post reduction 8 with 153 rules applied. Total rules applied 17479 place count 403 transition count 499
Performed 101 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 9 with 101 Pre rules applied. Total rules applied 17479 place count 403 transition count 398
Deduced a syphon composed of 101 places in 0 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 9 with 202 rules applied. Total rules applied 17681 place count 302 transition count 398
Discarding 57 places :
Symmetric choice reduction at 9 with 57 rule applications. Total rules 17738 place count 245 transition count 341
Iterating global reduction 9 with 57 rules applied. Total rules applied 17795 place count 245 transition count 341
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 9 with 8 rules applied. Total rules applied 17803 place count 245 transition count 333
Discarding 49 places :
Symmetric choice reduction at 10 with 49 rule applications. Total rules 17852 place count 196 transition count 284
Iterating global reduction 10 with 49 rules applied. Total rules applied 17901 place count 196 transition count 284
Discarding 43 places :
Symmetric choice reduction at 10 with 43 rule applications. Total rules 17944 place count 153 transition count 241
Iterating global reduction 10 with 43 rules applied. Total rules applied 17987 place count 153 transition count 241
Discarding 42 places :
Symmetric choice reduction at 10 with 42 rule applications. Total rules 18029 place count 111 transition count 157
Iterating global reduction 10 with 42 rules applied. Total rules applied 18071 place count 111 transition count 157
Discarding 40 places :
Symmetric choice reduction at 10 with 40 rule applications. Total rules 18111 place count 71 transition count 77
Iterating global reduction 10 with 40 rules applied. Total rules applied 18151 place count 71 transition count 77
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Deduced a syphon composed of 9 places in 0 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 10 with 18 rules applied. Total rules applied 18169 place count 62 transition count 68
Applied a total of 18169 rules in 346 ms. Remains 62 /10454 variables (removed 10392) and now considering 68/9762 (removed 9694) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1290757914037111532.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16778186334354855082.kers'
[2026-05-25 22:15:18] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1290757914037111532.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16778186334354855082.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 68 rows 62 cols 225 entries
Finished phase 1 with 31 SingleSign rule and 16 generalized
[2026-05-25 22:15:18] [INFO ] Computed 15 invariants in 0 ms
Computed 15 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-16778186334354855082.kers
Total runtime 1 ms.
[2026-05-25 22:15:18] [INFO ] Implicit Places using invariants in 59 ms returned [11, 12, 21, 45, 46, 47, 48, 49, 50, 59]
Discarding 10 places :
Implicit Place search using SMT only with invariants took 60 ms to find 10 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 52/10454 places, 68/9762 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 5 transitions
Trivial Post-agglo rules discarded 5 transitions
Performed 5 trivial Post agglomeration. Transition count delta: 5
Iterating post reduction 0 with 5 rules applied. Total rules applied 5 place count 52 transition count 63
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 1 with 5 rules applied. Total rules applied 10 place count 47 transition count 63
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 10 place count 47 transition count 61
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 14 place count 45 transition count 61
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 20 place count 39 transition count 54
Iterating global reduction 2 with 6 rules applied. Total rules applied 26 place count 39 transition count 54
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 31 place count 34 transition count 44
Iterating global reduction 2 with 5 rules applied. Total rules applied 36 place count 34 transition count 44
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 41 place count 29 transition count 34
Iterating global reduction 2 with 5 rules applied. Total rules applied 46 place count 29 transition count 34
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 50 place count 27 transition count 32
Applied a total of 50 rules in 3 ms. Remains 27 /52 variables (removed 25) and now considering 32/68 (removed 36) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15365228927309294667.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8940745272102340353.kers'
[2026-05-25 22:15:18] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15365228927309294667.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8940745272102340353.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 32 rows 27 cols 92 entries
Finished phase 1 with 17 SingleSign rule and 5 generalized
[2026-05-25 22:15:18] [INFO ] Computed 5 invariants in 0 ms
Computed 5 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-8940745272102340353.kers
Total runtime 1 ms.
[2026-05-25 22:15:18] [INFO ] Implicit Places using invariants in 32 ms returned [9]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 32 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 26/10454 places, 32/9762 transitions.
Applied a total of 0 rules in 1 ms. Remains 26 /26 variables (removed 0) and now considering 32/32 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 442 ms. Remains : 26/10454 places, 32/9762 transitions.
[2026-05-25 22:15:18] [INFO ] Flatten gal took : 0 ms
[2026-05-25 22:15:18] [INFO ] Flatten gal took : 0 ms
[2026-05-25 22:15:18] [INFO ] Input system was already deterministic with 32 transitions.
[2026-05-25 22:15:18] [INFO ] Flatten gal took : 1 ms
[2026-05-25 22:15:18] [INFO ] Flatten gal took : 1 ms
[2026-05-25 22:15:18] [INFO ] Time to serialize gal into /tmp/CTLFireability16695420681458417208.gal : 1 ms
[2026-05-25 22:15:18] [INFO ] Time to serialize properties into /tmp/CTLFireability6107813402750015610.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/CTLFireability16695420681458417208.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6107813402750015610.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.87476e+08,1.05016,24868,2,10962,5,135426,6,0,132,134568,0
Converting to forward existential form...Done !
original formula: ((EF(((l34_43>=1)&&(gl0_43_0>=1))) + AG((m10_28_3<1))) + AF(AG(((m2_40_2<1)||(lm1_40_2<1)))))
=> equivalent forward existential formula: [FwdG((Init * !((E(TRUE U ((l34_43>=1)&&(gl0_43_0>=1))) + !(E(TRUE U !((m10_28_3<1))))))),!(!(E(TRUE U !(((m2_40...189
Reverse transition relation is NOT exact ! Due to transitions t5, t6, t10, t11, t15, t20, t21, t22, t23, t26, t27, t28, t29, Intersection with reachable a...223
Detected timeout of ITS tools.
[2026-05-25 22:15:48] [INFO ] Flatten gal took : 0 ms
[2026-05-25 22:15:48] [INFO ] Applying decomposition
[2026-05-25 22:15:48] [INFO ] Flatten gal took : 0 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/graph12088532203241642921.txt' '-o' '/tmp/graph12088532203241642921.bin' '-w' '/tmp/graph12088532203241642921.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12088532203241642921.bin' '-l' '-1' '-v' '-w' '/tmp/graph12088532203241642921.weights' '-q' '0' '-e' '0.001'
[2026-05-25 22:15:48] [INFO ] Decomposing Gal with order
[2026-05-25 22:15:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 22:15:48] [INFO ] Removed a total of 25 redundant transitions.
[2026-05-25 22:15:48] [INFO ] Flatten gal took : 1 ms
[2026-05-25 22:15:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 4 labels/synchronizations in 0 ms.
[2026-05-25 22:15:48] [INFO ] Time to serialize gal into /tmp/CTLFireability16991072423550414830.gal : 1 ms
[2026-05-25 22:15:48] [INFO ] Time to serialize properties into /tmp/CTLFireability9140340242234570533.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/CTLFireability16991072423550414830.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9140340242234570533.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 : 10454/10454 places, 9762/9762 transitions.
Graph (complete) has 14958 edges and 10454 vertex of which 8165 are kept as prefixes of interest. Removing 2289 places using SCC suffix rule.7 ms
Discarding 2289 places :
Also discarding 2284 output transitions
Drop transitions (Output transitions of discarded places.) removed 2284 transitions
Reduce places removed 51 places and 51 transitions.
Discarding 1227 places :
Implicit places reduction removed 1227 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 5532 transitions
Trivial Post-agglo rules discarded 5532 transitions
Performed 5532 trivial Post agglomeration. Transition count delta: 5532
Iterating post reduction 0 with 6759 rules applied. Total rules applied 6760 place count 6887 transition count 1895
Reduce places removed 5532 places and 0 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 1 with 5535 rules applied. Total rules applied 12295 place count 1355 transition count 1892
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 12298 place count 1352 transition count 1892
Performed 462 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 462 Pre rules applied. Total rules applied 12298 place count 1352 transition count 1430
Deduced a syphon composed of 462 places in 0 ms
Ensure Unique test removed 156 places
Reduce places removed 618 places and 0 transitions.
Iterating global reduction 3 with 1080 rules applied. Total rules applied 13378 place count 734 transition count 1430
Drop transitions (Trivial Post-Agglo cleanup.) removed 150 transitions
Trivial Post-agglo rules discarded 150 transitions
Performed 150 trivial Post agglomeration. Transition count delta: 150
Iterating post reduction 3 with 150 rules applied. Total rules applied 13528 place count 734 transition count 1280
Reduce places removed 150 places and 0 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 4 with 153 rules applied. Total rules applied 13681 place count 584 transition count 1277
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 13684 place count 581 transition count 1277
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 1 Pre rules applied. Total rules applied 13684 place count 581 transition count 1276
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 13686 place count 580 transition count 1276
Discarding 316 places :
Symmetric choice reduction at 6 with 316 rule applications. Total rules 14002 place count 264 transition count 862
Iterating global reduction 6 with 316 rules applied. Total rules applied 14318 place count 264 transition count 862
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Discarding 2 places :
Implicit places reduction removed 2 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 6 with 9 rules applied. Total rules applied 14327 place count 262 transition count 855
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 7 with 4 rules applied. Total rules applied 14331 place count 258 transition count 855
Performed 54 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 54 Pre rules applied. Total rules applied 14331 place count 258 transition count 801
Deduced a syphon composed of 54 places in 1 ms
Reduce places removed 54 places and 0 transitions.
Iterating global reduction 8 with 108 rules applied. Total rules applied 14439 place count 204 transition count 801
Discarding 48 places :
Symmetric choice reduction at 8 with 48 rule applications. Total rules 14487 place count 156 transition count 419
Iterating global reduction 8 with 48 rules applied. Total rules applied 14535 place count 156 transition count 419
Ensure Unique test removed 264 transitions
Reduce isomorphic transitions removed 264 transitions.
Discarding 8 places :
Implicit places reduction removed 8 places
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 8 with 281 rules applied. Total rules applied 14816 place count 148 transition count 146
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 9 with 9 rules applied. Total rules applied 14825 place count 139 transition count 146
Performed 7 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 10 with 7 Pre rules applied. Total rules applied 14825 place count 139 transition count 139
Deduced a syphon composed of 7 places in 0 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 10 with 14 rules applied. Total rules applied 14839 place count 132 transition count 139
Discarding 56 places :
Symmetric choice reduction at 10 with 56 rule applications. Total rules 14895 place count 76 transition count 83
Iterating global reduction 10 with 56 rules applied. Total rules applied 14951 place count 76 transition count 83
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 10 with 11 rules applied. Total rules applied 14962 place count 76 transition count 72
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 11 with 1 rules applied. Total rules applied 14963 place count 75 transition count 72
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 12 with 2 Pre rules applied. Total rules applied 14963 place count 75 transition count 70
Deduced a syphon composed of 2 places in 0 ms
Ensure Unique test removed 2 places
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 12 with 6 rules applied. Total rules applied 14969 place count 71 transition count 70
Discarding 46 places :
Symmetric choice reduction at 12 with 46 rule applications. Total rules 15015 place count 25 transition count 24
Iterating global reduction 12 with 46 rules applied. Total rules applied 15061 place count 25 transition count 24
Discarding 1 places :
Symmetric choice reduction at 12 with 1 rule applications. Total rules 15062 place count 24 transition count 23
Iterating global reduction 12 with 1 rules applied. Total rules applied 15063 place count 24 transition count 23
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 12 with 2 rules applied. Total rules applied 15065 place count 23 transition count 22
Discarding 1 places :
Symmetric choice reduction at 12 with 1 rule applications. Total rules 15066 place count 22 transition count 21
Iterating global reduction 12 with 1 rules applied. Total rules applied 15067 place count 22 transition count 21
Discarding 1 places :
Symmetric choice reduction at 12 with 1 rule applications. Total rules 15068 place count 21 transition count 20
Iterating global reduction 12 with 1 rules applied. Total rules applied 15069 place count 21 transition count 20
Reduce places removed 3 places and 3 transitions.
Iterating global reduction 12 with 3 rules applied. Total rules applied 15072 place count 18 transition count 17
Applied a total of 15072 rules in 214 ms. Remains 18 /10454 variables (removed 10436) and now considering 17/9762 (removed 9745) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6851397128084414307.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5670691866650837194.kers'
[2026-05-25 22:16:18] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6851397128084414307.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5670691866650837194.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 17 rows 18 cols 44 entries
Finished phase 1 with 9 SingleSign rule and 6 generalized
[2026-05-25 22:16:18] [INFO ] Computed 3 invariants in 0 ms
Computed 3 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-5670691866650837194.kers
Total runtime 1 ms.
[2026-05-25 22:16:18] [INFO ] Implicit Places using invariants in 36 ms returned [11, 14]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 37 ms to find 2 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 16/10454 places, 17/9762 transitions.
Graph (complete) has 15 edges and 16 vertex of which 14 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.0 ms
Discarding 2 places :
Also discarding 2 output transitions
Drop transitions (Output transitions of discarded places.) removed 2 transitions
Reduce places removed 2 places and 2 transitions.
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 1 place count 12 transition count 12
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 3 place count 11 transition count 12
Applied a total of 3 rules in 1 ms. Remains 11 /16 variables (removed 5) and now considering 12/17 (removed 5) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11790940881523707456.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17437528547992584347.kers'
[2026-05-25 22:16:18] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11790940881523707456.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17437528547992584347.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 12 rows 11 cols 22 entries
Finished phase 1 with 9 SingleSign rule and 1 generalized
[2026-05-25 22:16:18] [INFO ] Computed 1 invariants in 0 ms
Computed 1 P flows in 0 ms.
Exported basis to /tmp/petrispot-output-17437528547992584347.kers
Total runtime 0 ms.
[2026-05-25 22:16:18] [INFO ] Implicit Places using invariants in 22 ms returned []
[2026-05-25 22:16:18] [INFO ] Invariant cache hit.
[2026-05-25 22:16:18] [INFO ] Implicit Places using invariants and state equation in 27 ms returned []
Implicit Place search using SMT with State Equation took 51 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 11/10454 places, 12/9762 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 304 ms. Remains : 11/10454 places, 12/9762 transitions.
[2026-05-25 22:16:18] [INFO ] Flatten gal took : 1 ms
[2026-05-25 22:16:18] [INFO ] Flatten gal took : 1 ms
[2026-05-25 22:16:18] [INFO ] Input system was already deterministic with 12 transitions.
[2026-05-25 22:16:18] [INFO ] Flatten gal took : 0 ms
[2026-05-25 22:16:18] [INFO ] Flatten gal took : 1 ms
[2026-05-25 22:16:18] [INFO ] Time to serialize gal into /tmp/CTLFireability267663456642127975.gal : 0 ms
[2026-05-25 22:16:18] [INFO ] Time to serialize properties into /tmp/CTLFireability16962448897820250063.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/CTLFireability267663456642127975.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16962448897820250063.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,72,0.005135,3800,2,22,5,85,6,0,53,60,0
Converting to forward existential form...Done !
original formula: EF((E((lp0_29>=1) U AF(((l31_21>=1)&&(cl2_21_1>=1)))) + (m7_6_4>=1)))
=> equivalent forward existential formula: ([(FwdU(FwdU(Init,TRUE),(lp0_29>=1)) * !(EG(!(((l31_21>=1)&&(cl2_21_1>=1))))))] != FALSE + [(FwdU(Init,TRUE) * (...177
Reverse transition relation is NOT exact ! Due to transitions t1, t5, t6, t8, t10, Intersection with reachable at each step enabled. (destroyed/reverse/in...179
Hit Full ! (commute/partial/dont) 10/0/2
(forward)formula 0,1,0.011716,4352,1,0,80,1076,53,38,291,1463,89
FORMULA FamilyReunion-PT-L00050M0005C002P002G001-CTLFireability-2024-10 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is TRUE !
***************************************
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in SI_CTL mode, iteration 0 : 10454/10454 places, 9762/9762 transitions.
Graph (complete) has 14958 edges and 10454 vertex of which 9836 are kept as prefixes of interest. Removing 618 places using SCC suffix rule.10 ms
Discarding 618 places :
Also discarding 667 output transitions
Drop transitions (Output transitions of discarded places.) removed 667 transitions
Reduce places removed 51 places and 51 transitions.
Discarding 1227 places :
Implicit places reduction removed 1227 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 5878 transitions
Trivial Post-agglo rules discarded 5878 transitions
Performed 5878 trivial Post agglomeration. Transition count delta: 5878
Iterating post reduction 0 with 7105 rules applied. Total rules applied 7106 place count 8558 transition count 3166
Reduce places removed 5878 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 5880 rules applied. Total rules applied 12986 place count 2680 transition count 3164
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 12988 place count 2678 transition count 3164
Performed 666 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 666 Pre rules applied. Total rules applied 12988 place count 2678 transition count 2498
Deduced a syphon composed of 666 places in 2 ms
Ensure Unique test removed 306 places
Reduce places removed 972 places and 0 transitions.
Iterating global reduction 3 with 1638 rules applied. Total rules applied 14626 place count 1706 transition count 2498
Drop transitions (Trivial Post-Agglo cleanup.) removed 203 transitions
Trivial Post-agglo rules discarded 203 transitions
Performed 203 trivial Post agglomeration. Transition count delta: 203
Iterating post reduction 3 with 203 rules applied. Total rules applied 14829 place count 1706 transition count 2295
Reduce places removed 203 places and 0 transitions.
Iterating post reduction 4 with 203 rules applied. Total rules applied 15032 place count 1503 transition count 2295
Discarding 613 places :
Symmetric choice reduction at 5 with 613 rule applications. Total rules 15645 place count 890 transition count 1633
Iterating global reduction 5 with 613 rules applied. Total rules applied 16258 place count 890 transition count 1633
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 103 transitions
Trivial Post-agglo rules discarded 103 transitions
Performed 103 trivial Post agglomeration. Transition count delta: 103
Iterating post reduction 5 with 105 rules applied. Total rules applied 16363 place count 889 transition count 1529
Reduce places removed 103 places and 0 transitions.
Iterating post reduction 6 with 103 rules applied. Total rules applied 16466 place count 786 transition count 1529
Performed 52 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 52 Pre rules applied. Total rules applied 16466 place count 786 transition count 1477
Deduced a syphon composed of 52 places in 0 ms
Reduce places removed 52 places and 0 transitions.
Iterating global reduction 7 with 104 rules applied. Total rules applied 16570 place count 734 transition count 1477
Discarding 5 places :
Symmetric choice reduction at 7 with 5 rule applications. Total rules 16575 place count 729 transition count 1222
Iterating global reduction 7 with 5 rules applied. Total rules applied 16580 place count 729 transition count 1222
Ensure Unique test removed 246 transitions
Reduce isomorphic transitions removed 246 transitions.
Iterating post reduction 7 with 246 rules applied. Total rules applied 16826 place count 729 transition count 976
Discarding 6 places :
Symmetric choice reduction at 8 with 6 rule applications. Total rules 16832 place count 723 transition count 970
Iterating global reduction 8 with 6 rules applied. Total rules applied 16838 place count 723 transition count 970
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 8 with 6 rules applied. Total rules applied 16844 place count 723 transition count 964
Performed 56 Post agglomeration using F-continuation condition.Transition count delta: 56
Deduced a syphon composed of 56 places in 1 ms
Reduce places removed 56 places and 0 transitions.
Iterating global reduction 9 with 112 rules applied. Total rules applied 16956 place count 667 transition count 908
Applied a total of 16956 rules in 512 ms. Remains 667 /10454 variables (removed 9787) and now considering 908/9762 (removed 8854) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8804003697502385915.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17453895094064414941.kers'
[2026-05-25 22:16:19] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8804003697502385915.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17453895094064414941.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 908 rows 667 cols 2937 entries
Finished phase 1 with 290 SingleSign rule and 209 generalized
[2026-05-25 22:16:19] [INFO ] Computed 168 invariants in 8 ms
Computed 168 P flows in 8 ms.
Exported basis to /tmp/petrispot-output-17453895094064414941.kers
Total runtime 10 ms.
[2026-05-25 22:16:20] [INFO ] Implicit Places using invariants in 730 ms returned [51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 438, 439, 440, 441, 442, 513, 514, 515, 516, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 531, 532, 533, 534, 535, 536, 537, 538, 539, 540, 541, 542, 543, 544, 545, 546, 547, 548, 549, 550, 551, 552, 553, 554, 555, 556, 557, 558, 559, 560, 561, 562]
Discarding 158 places :
Implicit Place search using SMT only with invariants took 732 ms to find 158 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 509/10454 places, 908/9762 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 8 transitions
Trivial Post-agglo rules discarded 8 transitions
Performed 8 trivial Post agglomeration. Transition count delta: 8
Iterating post reduction 0 with 8 rules applied. Total rules applied 8 place count 509 transition count 900
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 1 with 8 rules applied. Total rules applied 16 place count 501 transition count 900
Performed 100 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 100 Pre rules applied. Total rules applied 16 place count 501 transition count 800
Deduced a syphon composed of 100 places in 1 ms
Reduce places removed 100 places and 0 transitions.
Iterating global reduction 2 with 200 rules applied. Total rules applied 216 place count 401 transition count 800
Discarding 47 places :
Symmetric choice reduction at 2 with 47 rule applications. Total rules 263 place count 354 transition count 753
Iterating global reduction 2 with 47 rules applied. Total rules applied 310 place count 354 transition count 753
Discarding 47 places :
Symmetric choice reduction at 2 with 47 rule applications. Total rules 357 place count 307 transition count 659
Iterating global reduction 2 with 47 rules applied. Total rules applied 404 place count 307 transition count 659
Discarding 47 places :
Symmetric choice reduction at 2 with 47 rule applications. Total rules 451 place count 260 transition count 565
Iterating global reduction 2 with 47 rules applied. Total rules applied 498 place count 260 transition count 565
Discarding 46 places :
Symmetric choice reduction at 2 with 46 rule applications. Total rules 544 place count 214 transition count 473
Iterating global reduction 2 with 46 rules applied. Total rules applied 590 place count 214 transition count 473
Discarding 45 places :
Symmetric choice reduction at 2 with 45 rule applications. Total rules 635 place count 169 transition count 383
Iterating global reduction 2 with 45 rules applied. Total rules applied 680 place count 169 transition count 383
Discarding 41 places :
Symmetric choice reduction at 2 with 41 rule applications. Total rules 721 place count 128 transition count 260
Iterating global reduction 2 with 41 rules applied. Total rules applied 762 place count 128 transition count 260
Discarding 39 places :
Symmetric choice reduction at 2 with 39 rule applications. Total rules 801 place count 89 transition count 143
Iterating global reduction 2 with 39 rules applied. Total rules applied 840 place count 89 transition count 143
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 844 place count 87 transition count 141
Applied a total of 844 rules in 35 ms. Remains 87 /509 variables (removed 422) and now considering 141/908 (removed 767) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1810594581360989342.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13316484058918446262.kers'
[2026-05-25 22:16:20] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1810594581360989342.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13316484058918446262.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 141 rows 87 cols 408 entries
Finished phase 1 with 59 SingleSign rule and 18 generalized
[2026-05-25 22:16:20] [INFO ] Computed 10 invariants in 0 ms
Computed 10 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-13316484058918446262.kers
Total runtime 1 ms.
[2026-05-25 22:16:20] [INFO ] Implicit Places using invariants in 74 ms returned []
[2026-05-25 22:16:20] [INFO ] Invariant cache hit.
[2026-05-25 22:16:20] [INFO ] Implicit Places using invariants and state equation in 112 ms returned []
Implicit Place search using SMT with State Equation took 188 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 87/10454 places, 141/9762 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 1467 ms. Remains : 87/10454 places, 141/9762 transitions.
[2026-05-25 22:16:20] [INFO ] Flatten gal took : 3 ms
[2026-05-25 22:16:20] [INFO ] Flatten gal took : 2 ms
[2026-05-25 22:16:20] [INFO ] Input system was already deterministic with 141 transitions.
[2026-05-25 22:16:20] [INFO ] Flatten gal took : 3 ms
[2026-05-25 22:16:20] [INFO ] Flatten gal took : 2 ms
[2026-05-25 22:16:20] [INFO ] Time to serialize gal into /tmp/CTLFireability1702114486884243619.gal : 0 ms
[2026-05-25 22:16:20] [INFO ] Time to serialize properties into /tmp/CTLFireability17394922614159069786.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/CTLFireability1702114486884243619.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17394922614159069786.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 22:16:50] [INFO ] Flatten gal took : 3 ms
[2026-05-25 22:16:50] [INFO ] Applying decomposition
[2026-05-25 22:16:50] [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/graph3118403674045270265.txt' '-o' '/tmp/graph3118403674045270265.bin' '-w' '/tmp/graph3118403674045270265.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph3118403674045270265.bin' '-l' '-1' '-v' '-w' '/tmp/graph3118403674045270265.weights' '-q' '0' '-e' '0.001'
[2026-05-25 22:16:50] [INFO ] Decomposing Gal with order
[2026-05-25 22:16:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 22:16:50] [INFO ] Removed a total of 150 redundant transitions.
[2026-05-25 22:16:50] [INFO ] Flatten gal took : 5 ms
[2026-05-25 22:16:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 29 labels/synchronizations in 2 ms.
[2026-05-25 22:16:50] [INFO ] Time to serialize gal into /tmp/CTLFireability10120166509213245217.gal : 1 ms
[2026-05-25 22:16:50] [INFO ] Time to serialize properties into /tmp/CTLFireability9832014378297862725.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/CTLFireability10120166509213245217.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9832014378297862725.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 : 10454/10454 places, 9762/9762 transitions.
Graph (complete) has 14958 edges and 10454 vertex of which 5802 are kept as prefixes of interest. Removing 4652 places using SCC suffix rule.7 ms
Discarding 4652 places :
Also discarding 4684 output transitions
Drop transitions (Output transitions of discarded places.) removed 4684 transitions
Reduce places removed 51 places and 51 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Discarding 1226 places :
Implicit places reduction removed 1226 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 4035 transitions
Trivial Post-agglo rules discarded 4035 transitions
Performed 4035 trivial Post agglomeration. Transition count delta: 4035
Iterating post reduction 0 with 5262 rules applied. Total rules applied 5263 place count 4525 transition count 991
Reduce places removed 4035 places and 0 transitions.
Iterating post reduction 1 with 4035 rules applied. Total rules applied 9298 place count 490 transition count 991
Performed 55 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 55 Pre rules applied. Total rules applied 9298 place count 490 transition count 936
Deduced a syphon composed of 55 places in 0 ms
Ensure Unique test removed 1 places
Reduce places removed 56 places and 0 transitions.
Iterating global reduction 2 with 111 rules applied. Total rules applied 9409 place count 434 transition count 936
Discarding 308 places :
Symmetric choice reduction at 2 with 308 rule applications. Total rules 9717 place count 126 transition count 378
Iterating global reduction 2 with 308 rules applied. Total rules applied 10025 place count 126 transition count 378
Ensure Unique test removed 244 transitions
Reduce isomorphic transitions removed 244 transitions.
Iterating post reduction 2 with 244 rules applied. Total rules applied 10269 place count 126 transition count 134
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 10269 place count 126 transition count 133
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 10271 place count 125 transition count 133
Discarding 59 places :
Symmetric choice reduction at 3 with 59 rule applications. Total rules 10330 place count 66 transition count 74
Iterating global reduction 3 with 59 rules applied. Total rules applied 10389 place count 66 transition count 74
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 3 with 10 rules applied. Total rules applied 10399 place count 66 transition count 64
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 2 Pre rules applied. Total rules applied 10399 place count 66 transition count 62
Deduced a syphon composed of 2 places in 0 ms
Ensure Unique test removed 2 places
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 4 with 6 rules applied. Total rules applied 10405 place count 62 transition count 62
Discarding 48 places :
Symmetric choice reduction at 4 with 48 rule applications. Total rules 10453 place count 14 transition count 14
Iterating global reduction 4 with 48 rules applied. Total rules applied 10501 place count 14 transition count 14
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 4 with 2 rules applied. Total rules applied 10503 place count 13 transition count 13
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 10505 place count 11 transition count 11
Applied a total of 10505 rules in 75 ms. Remains 11 /10454 variables (removed 10443) and now considering 11/9762 (removed 9751) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17655761636579383241.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5129956203827877722.kers'
[2026-05-25 22:17:20] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17655761636579383241.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5129956203827877722.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 11 rows 11 cols 25 entries
Finished phase 1 with 7 SingleSign rule and 2 generalized
[2026-05-25 22:17:20] [INFO ] Computed 2 invariants in 0 ms
Computed 2 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-5129956203827877722.kers
Total runtime 1 ms.
[2026-05-25 22:17:20] [INFO ] Implicit Places using invariants in 34 ms returned [6]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 36 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 10/10454 places, 11/9762 transitions.
Graph (complete) has 10 edges and 10 vertex of which 9 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.0 ms
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Reduce places removed 1 places and 1 transitions.
Applied a total of 1 rules in 0 ms. Remains 8 /10 variables (removed 2) and now considering 9/11 (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-5669667314035841438.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14771808520004839840.kers'
[2026-05-25 22:17:20] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5669667314035841438.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14771808520004839840.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 9 rows 8 cols 16 entries
Finished phase 1 with 6 SingleSign rule and 1 generalized
[2026-05-25 22:17:20] [INFO ] Computed 1 invariants in 0 ms
Computed 1 P flows in 0 ms.
Exported basis to /tmp/petrispot-output-14771808520004839840.kers
Total runtime 0 ms.
[2026-05-25 22:17:20] [INFO ] Implicit Places using invariants in 24 ms returned []
[2026-05-25 22:17:20] [INFO ] Invariant cache hit.
[2026-05-25 22:17:20] [INFO ] Implicit Places using invariants and state equation in 24 ms returned []
Implicit Place search using SMT with State Equation took 50 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 8/10454 places, 9/9762 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 162 ms. Remains : 8/10454 places, 9/9762 transitions.
[2026-05-25 22:17:20] [INFO ] Flatten gal took : 0 ms
[2026-05-25 22:17:20] [INFO ] Flatten gal took : 1 ms
[2026-05-25 22:17:20] [INFO ] Input system was already deterministic with 9 transitions.
[2026-05-25 22:17:20] [INFO ] Flatten gal took : 0 ms
[2026-05-25 22:17:20] [INFO ] Flatten gal took : 0 ms
[2026-05-25 22:17:20] [INFO ] Time to serialize gal into /tmp/CTLFireability5062008968250746255.gal : 0 ms
[2026-05-25 22:17:20] [INFO ] Time to serialize properties into /tmp/CTLFireability1071932107814398940.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/CTLFireability5062008968250746255.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1071932107814398940.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,20,0.003311,3788,2,30,5,106,6,0,39,94,0
Converting to forward existential form...Done !
original formula: AF(AG(!(E((p6_26_1>=1) U EG(((l7_27_1>=1)&&(ml3_27_1>=1)))))))
=> equivalent forward existential formula: [FwdG(Init,!(!(E(TRUE U !(!(E((p6_26_1>=1) U EG(((l7_27_1>=1)&&(ml3_27_1>=1))))))))))] = FALSE
Reverse transition relation is NOT exact ! Due to transitions t2, t3, t6, t8, Intersection with reachable at each step enabled. (destroyed/reverse/interse...173
dead was empty
(forward)formula 0,1,0.006903,4328,1,0,31,410,46,12,188,501,31
FORMULA FamilyReunion-PT-L00050M0005C002P002G001-CTLFireability-2024-12 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is TRUE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 10454/10454 places, 9762/9762 transitions.
Discarding 1226 places :
Implicit places reduction removed 1226 places
Iterating post reduction 0 with 1226 rules applied. Total rules applied 1226 place count 9228 transition count 9762
Discarding 923 places :
Symmetric choice reduction at 1 with 923 rule applications. Total rules 2149 place count 8305 transition count 8837
Iterating global reduction 1 with 923 rules applied. Total rules applied 3072 place count 8305 transition count 8837
Discarding 408 places :
Symmetric choice reduction at 1 with 408 rule applications. Total rules 3480 place count 7897 transition count 8279
Iterating global reduction 1 with 408 rules applied. Total rules applied 3888 place count 7897 transition count 8279
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 53 places :
Implicit places reduction removed 53 places
Iterating post reduction 1 with 55 rules applied. Total rules applied 3943 place count 7844 transition count 8277
Discarding 158 places :
Symmetric choice reduction at 2 with 158 rule applications. Total rules 4101 place count 7686 transition count 8069
Iterating global reduction 2 with 158 rules applied. Total rules applied 4259 place count 7686 transition count 8069
Discarding 154 places :
Symmetric choice reduction at 2 with 154 rule applications. Total rules 4413 place count 7532 transition count 7765
Iterating global reduction 2 with 154 rules applied. Total rules applied 4567 place count 7532 transition count 7765
Ensure Unique test removed 50 transitions
Reduce isomorphic transitions removed 50 transitions.
Discarding 3 places :
Implicit places reduction removed 3 places
Iterating post reduction 2 with 53 rules applied. Total rules applied 4620 place count 7529 transition count 7715
Discarding 102 places :
Symmetric choice reduction at 3 with 102 rule applications. Total rules 4722 place count 7427 transition count 7613
Iterating global reduction 3 with 102 rules applied. Total rules applied 4824 place count 7427 transition count 7613
Discarding 102 places :
Symmetric choice reduction at 3 with 102 rule applications. Total rules 4926 place count 7325 transition count 7511
Iterating global reduction 3 with 102 rules applied. Total rules applied 5028 place count 7325 transition count 7511
Discarding 102 places :
Symmetric choice reduction at 3 with 102 rule applications. Total rules 5130 place count 7223 transition count 7409
Iterating global reduction 3 with 102 rules applied. Total rules applied 5232 place count 7223 transition count 7409
Discarding 102 places :
Symmetric choice reduction at 3 with 102 rule applications. Total rules 5334 place count 7121 transition count 7307
Iterating global reduction 3 with 102 rules applied. Total rules applied 5436 place count 7121 transition count 7307
Discarding 102 places :
Symmetric choice reduction at 3 with 102 rule applications. Total rules 5538 place count 7019 transition count 7205
Iterating global reduction 3 with 102 rules applied. Total rules applied 5640 place count 7019 transition count 7205
Discarding 102 places :
Symmetric choice reduction at 3 with 102 rule applications. Total rules 5742 place count 6917 transition count 7103
Iterating global reduction 3 with 102 rules applied. Total rules applied 5844 place count 6917 transition count 7103
Discarding 102 places :
Symmetric choice reduction at 3 with 102 rule applications. Total rules 5946 place count 6815 transition count 7001
Iterating global reduction 3 with 102 rules applied. Total rules applied 6048 place count 6815 transition count 7001
Discarding 102 places :
Symmetric choice reduction at 3 with 102 rule applications. Total rules 6150 place count 6713 transition count 6899
Iterating global reduction 3 with 102 rules applied. Total rules applied 6252 place count 6713 transition count 6899
Discarding 102 places :
Symmetric choice reduction at 3 with 102 rule applications. Total rules 6354 place count 6611 transition count 6797
Iterating global reduction 3 with 102 rules applied. Total rules applied 6456 place count 6611 transition count 6797
Discarding 102 places :
Symmetric choice reduction at 3 with 102 rule applications. Total rules 6558 place count 6509 transition count 6695
Iterating global reduction 3 with 102 rules applied. Total rules applied 6660 place count 6509 transition count 6695
Discarding 102 places :
Symmetric choice reduction at 3 with 102 rule applications. Total rules 6762 place count 6407 transition count 6593
Iterating global reduction 3 with 102 rules applied. Total rules applied 6864 place count 6407 transition count 6593
Discarding 102 places :
Symmetric choice reduction at 3 with 102 rule applications. Total rules 6966 place count 6305 transition count 6491
Iterating global reduction 3 with 102 rules applied. Total rules applied 7068 place count 6305 transition count 6491
Discarding 102 places :
Symmetric choice reduction at 3 with 102 rule applications. Total rules 7170 place count 6203 transition count 6389
Iterating global reduction 3 with 102 rules applied. Total rules applied 7272 place count 6203 transition count 6389
Ensure Unique test removed 102 transitions
Reduce isomorphic transitions removed 102 transitions.
Iterating post reduction 3 with 102 rules applied. Total rules applied 7374 place count 6203 transition count 6287
Applied a total of 7374 rules in 45642 ms. Remains 6203 /10454 variables (removed 4251) and now considering 6287/9762 (removed 3475) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-2324312916904631018.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6865056297056739833.kers'
[2026-05-25 22:18:06] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2324312916904631018.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6865056297056739833.kers]
Culled 0 columns in 9 ms.
// Phase 1: matrix 6287 rows 6203 cols 14490 entries
Finished phase 1 with 5267 SingleSign rule and 462 generalized
[2026-05-25 22:18:06] [INFO ] Computed 474 invariants in 179 ms
Computed 474 P flows in 180 ms.
Exported basis to /tmp/petrispot-output-6865056297056739833.kers
Total runtime 192 ms.
[2026-05-25 22:18:10] [INFO ] Implicit Places using invariants in 3786 ms returned [357, 358, 563, 564, 565, 566, 567, 568, 569, 570, 571, 572, 573, 574, 575, 576, 577, 578, 579, 580, 581, 582, 583, 584, 585, 586, 587, 588, 589, 590, 591, 592, 593, 594, 595, 596, 597, 598, 599, 600, 601, 602, 603, 604, 605, 606, 607, 608, 609, 610, 611, 612, 613, 3373, 3629, 3630, 3631, 3632, 3633, 3634, 3635, 3636, 3637, 3638, 3639, 3640, 3641, 3642, 3643, 3644, 3645, 3646, 3647, 3648, 3649, 3650, 3651, 3652, 3653, 3654, 3655, 3656, 3657, 3658, 3659, 3660, 3661, 3662, 3663, 3664, 3665, 3666, 3667, 3668, 3669, 3670, 3671, 3672, 3673, 3674, 3675, 3676, 3677, 3678, 3679, 4245, 4247, 4248, 4250, 4823, 5743]
Discarding 111 places :
Implicit Place search using SMT only with invariants took 3794 ms to find 111 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 6092/10454 places, 6287/9762 transitions.
Discarding 101 places :
Symmetric choice reduction at 0 with 101 rule applications. Total rules 101 place count 5991 transition count 6186
Iterating global reduction 0 with 101 rules applied. Total rules applied 202 place count 5991 transition count 6186
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 252 place count 5941 transition count 6086
Iterating global reduction 0 with 50 rules applied. Total rules applied 302 place count 5941 transition count 6086
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 352 place count 5891 transition count 6036
Iterating global reduction 0 with 50 rules applied. Total rules applied 402 place count 5891 transition count 6036
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 452 place count 5841 transition count 5986
Iterating global reduction 0 with 50 rules applied. Total rules applied 502 place count 5841 transition count 5986
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 552 place count 5791 transition count 5936
Iterating global reduction 0 with 50 rules applied. Total rules applied 602 place count 5791 transition count 5936
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 652 place count 5741 transition count 5886
Iterating global reduction 0 with 50 rules applied. Total rules applied 702 place count 5741 transition count 5886
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 752 place count 5691 transition count 5836
Iterating global reduction 0 with 50 rules applied. Total rules applied 802 place count 5691 transition count 5836
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 852 place count 5641 transition count 5786
Iterating global reduction 0 with 50 rules applied. Total rules applied 902 place count 5641 transition count 5786
Applied a total of 902 rules in 15159 ms. Remains 5641 /6092 variables (removed 451) and now considering 5786/6287 (removed 501) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3967307363532285408.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16105362993210397153.kers'
[2026-05-25 22:18:25] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3967307363532285408.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16105362993210397153.kers]
Culled 0 columns in 5 ms.
// Phase 1: matrix 5786 rows 5641 cols 12959 entries
Finished phase 1 with 4971 SingleSign rule and 307 generalized
[2026-05-25 22:18:25] [INFO ] Computed 363 invariants in 98 ms
Computed 363 P flows in 98 ms.
Exported basis to /tmp/petrispot-output-16105362993210397153.kers
Total runtime 105 ms.
[2026-05-25 22:18:27] [INFO ] Implicit Places using invariants in 2628 ms returned []
[2026-05-25 22:18:27] [INFO ] Invariant cache hit.
[2026-05-25 22:18:52] [INFO ] Implicit Places using invariants and state equation in 24574 ms returned []
Implicit Place search using SMT with State Equation took 27213 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 5641/10454 places, 5786/9762 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 91810 ms. Remains : 5641/10454 places, 5786/9762 transitions.
[2026-05-25 22:18:52] [INFO ] Flatten gal took : 110 ms
[2026-05-25 22:18:52] [INFO ] Flatten gal took : 117 ms
[2026-05-25 22:18:52] [INFO ] Input system was already deterministic with 5786 transitions.
[2026-05-25 22:18:53] [INFO ] Flatten gal took : 105 ms
[2026-05-25 22:18:53] [INFO ] Flatten gal took : 105 ms
[2026-05-25 22:18:53] [INFO ] Time to serialize gal into /tmp/CTLFireability4979780453755776458.gal : 19 ms
[2026-05-25 22:18:53] [INFO ] Time to serialize properties into /tmp/CTLFireability14914125014813304087.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/CTLFireability4979780453755776458.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14914125014813304087.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 22:19:23] [INFO ] Flatten gal took : 97 ms
[2026-05-25 22:19:23] [INFO ] Applying decomposition
[2026-05-25 22:19:23] [INFO ] Flatten gal took : 102 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph1377769861991859249.txt' '-o' '/tmp/graph1377769861991859249.bin' '-w' '/tmp/graph1377769861991859249.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1377769861991859249.bin' '-l' '-1' '-v' '-w' '/tmp/graph1377769861991859249.weights' '-q' '0' '-e' '0.001'
[2026-05-25 22:19:23] [INFO ] Decomposing Gal with order
[2026-05-25 22:19:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 22:19:26] [INFO ] Removed a total of 1299 redundant transitions.
[2026-05-25 22:19:26] [INFO ] Flatten gal took : 181 ms
[2026-05-25 22:19:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 6 labels/synchronizations in 58 ms.
[2026-05-25 22:19:26] [INFO ] Time to serialize gal into /tmp/CTLFireability3014767035343352963.gal : 45 ms
[2026-05-25 22:19:26] [INFO ] Time to serialize properties into /tmp/CTLFireability3070518901847107746.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/CTLFireability3014767035343352963.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3070518901847107746.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 : 10454/10454 places, 9762/9762 transitions.
Discarding 1226 places :
Implicit places reduction removed 1226 places
Iterating post reduction 0 with 1226 rules applied. Total rules applied 1226 place count 9228 transition count 9762
Discarding 926 places :
Symmetric choice reduction at 1 with 926 rule applications. Total rules 2152 place count 8302 transition count 8834
Iterating global reduction 1 with 926 rules applied. Total rules applied 3078 place count 8302 transition count 8834
Discarding 412 places :
Symmetric choice reduction at 1 with 412 rule applications. Total rules 3490 place count 7890 transition count 8272
Iterating global reduction 1 with 412 rules applied. Total rules applied 3902 place count 7890 transition count 8272
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 53 places :
Implicit places reduction removed 53 places
Iterating post reduction 1 with 55 rules applied. Total rules applied 3957 place count 7837 transition count 8270
Discarding 161 places :
Symmetric choice reduction at 2 with 161 rule applications. Total rules 4118 place count 7676 transition count 8009
Iterating global reduction 2 with 161 rules applied. Total rules applied 4279 place count 7676 transition count 8009
Discarding 210 places :
Symmetric choice reduction at 2 with 210 rule applications. Total rules 4489 place count 7466 transition count 7499
Iterating global reduction 2 with 210 rules applied. Total rules applied 4699 place count 7466 transition count 7499
Ensure Unique test removed 102 transitions
Reduce isomorphic transitions removed 102 transitions.
Discarding 60 places :
Implicit places reduction removed 60 places
Iterating post reduction 2 with 162 rules applied. Total rules applied 4861 place count 7406 transition count 7397
Discarding 255 places :
Symmetric choice reduction at 3 with 255 rule applications. Total rules 5116 place count 7151 transition count 7142
Iterating global reduction 3 with 255 rules applied. Total rules applied 5371 place count 7151 transition count 7142
Discarding 255 places :
Symmetric choice reduction at 3 with 255 rule applications. Total rules 5626 place count 6896 transition count 6887
Iterating global reduction 3 with 255 rules applied. Total rules applied 5881 place count 6896 transition count 6887
Discarding 255 places :
Symmetric choice reduction at 3 with 255 rule applications. Total rules 6136 place count 6641 transition count 6632
Iterating global reduction 3 with 255 rules applied. Total rules applied 6391 place count 6641 transition count 6632
Discarding 255 places :
Symmetric choice reduction at 3 with 255 rule applications. Total rules 6646 place count 6386 transition count 6377
Iterating global reduction 3 with 255 rules applied. Total rules applied 6901 place count 6386 transition count 6377
Discarding 255 places :
Symmetric choice reduction at 3 with 255 rule applications. Total rules 7156 place count 6131 transition count 6122
Iterating global reduction 3 with 255 rules applied. Total rules applied 7411 place count 6131 transition count 6122
Discarding 255 places :
Symmetric choice reduction at 3 with 255 rule applications. Total rules 7666 place count 5876 transition count 5867
Iterating global reduction 3 with 255 rules applied. Total rules applied 7921 place count 5876 transition count 5867
Discarding 255 places :
Symmetric choice reduction at 3 with 255 rule applications. Total rules 8176 place count 5621 transition count 5612
Iterating global reduction 3 with 255 rules applied. Total rules applied 8431 place count 5621 transition count 5612
Discarding 255 places :
Symmetric choice reduction at 3 with 255 rule applications. Total rules 8686 place count 5366 transition count 5357
Iterating global reduction 3 with 255 rules applied. Total rules applied 8941 place count 5366 transition count 5357
Discarding 255 places :
Symmetric choice reduction at 3 with 255 rule applications. Total rules 9196 place count 5111 transition count 5102
Iterating global reduction 3 with 255 rules applied. Total rules applied 9451 place count 5111 transition count 5102
Discarding 254 places :
Symmetric choice reduction at 3 with 254 rule applications. Total rules 9705 place count 4857 transition count 4848
Iterating global reduction 3 with 254 rules applied. Total rules applied 9959 place count 4857 transition count 4848
Discarding 254 places :
Symmetric choice reduction at 3 with 254 rule applications. Total rules 10213 place count 4603 transition count 4594
Iterating global reduction 3 with 254 rules applied. Total rules applied 10467 place count 4603 transition count 4594
Discarding 254 places :
Symmetric choice reduction at 3 with 254 rule applications. Total rules 10721 place count 4349 transition count 4340
Iterating global reduction 3 with 254 rules applied. Total rules applied 10975 place count 4349 transition count 4340
Discarding 254 places :
Symmetric choice reduction at 3 with 254 rule applications. Total rules 11229 place count 4095 transition count 4086
Iterating global reduction 3 with 254 rules applied. Total rules applied 11483 place count 4095 transition count 4086
Ensure Unique test removed 254 transitions
Reduce isomorphic transitions removed 254 transitions.
Discarding 2 places :
Implicit places reduction removed 2 places
Iterating post reduction 3 with 256 rules applied. Total rules applied 11739 place count 4093 transition count 3832
Applied a total of 11739 rules in 36987 ms. Remains 4093 /10454 variables (removed 6361) and now considering 3832/9762 (removed 5930) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17964782428218872729.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-18435057940746864636.kers'
[2026-05-25 22:20:33] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17964782428218872729.kers, --Pflows, --basisKERS=/tmp/petrispot-output-18435057940746864636.kers]
Culled 0 columns in 6 ms.
// Phase 1: matrix 3832 rows 4093 cols 9044 entries
Finished phase 1 with 3271 SingleSign rule and 407 generalized
[2026-05-25 22:20:34] [INFO ] Computed 415 invariants in 59 ms
Computed 415 P flows in 60 ms.
Exported basis to /tmp/petrispot-output-18435057940746864636.kers
Total runtime 63 ms.
[2026-05-25 22:20:36] [INFO ] Implicit Places using invariants in 2867 ms returned [667, 1588, 1691, 1692, 1693, 1694, 1695, 1696, 1697, 1698, 1699, 1700, 1701, 1702, 1703, 1704, 1705, 1706, 1707, 1708, 1709, 1710, 1711, 1712, 1713, 1714, 1715, 1716, 1717, 1718, 1719, 1720, 1721, 1722, 1723, 1724, 1725, 1726, 1727, 1728, 1729, 1730, 1731, 1732, 1733, 1734, 1735, 1736, 1737, 1738, 1739, 1740, 1741, 1844, 2714, 3633]
Discarding 56 places :
Implicit Place search using SMT only with invariants took 2871 ms to find 56 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 4037/10454 places, 3832/9762 transitions.
Discarding 101 places :
Symmetric choice reduction at 0 with 101 rule applications. Total rules 101 place count 3936 transition count 3731
Iterating global reduction 0 with 101 rules applied. Total rules applied 202 place count 3936 transition count 3731
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 252 place count 3886 transition count 3631
Iterating global reduction 0 with 50 rules applied. Total rules applied 302 place count 3886 transition count 3631
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 352 place count 3836 transition count 3581
Iterating global reduction 0 with 50 rules applied. Total rules applied 402 place count 3836 transition count 3581
Discarding 49 places :
Symmetric choice reduction at 0 with 49 rule applications. Total rules 451 place count 3787 transition count 3532
Iterating global reduction 0 with 49 rules applied. Total rules applied 500 place count 3787 transition count 3532
Discarding 49 places :
Symmetric choice reduction at 0 with 49 rule applications. Total rules 549 place count 3738 transition count 3483
Iterating global reduction 0 with 49 rules applied. Total rules applied 598 place count 3738 transition count 3483
Discarding 49 places :
Symmetric choice reduction at 0 with 49 rule applications. Total rules 647 place count 3689 transition count 3434
Iterating global reduction 0 with 49 rules applied. Total rules applied 696 place count 3689 transition count 3434
Discarding 49 places :
Symmetric choice reduction at 0 with 49 rule applications. Total rules 745 place count 3640 transition count 3385
Iterating global reduction 0 with 49 rules applied. Total rules applied 794 place count 3640 transition count 3385
Discarding 49 places :
Symmetric choice reduction at 0 with 49 rule applications. Total rules 843 place count 3591 transition count 3336
Iterating global reduction 0 with 49 rules applied. Total rules applied 892 place count 3591 transition count 3336
Applied a total of 892 rules in 7324 ms. Remains 3591 /4037 variables (removed 446) and now considering 3336/3832 (removed 496) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14350121370139883206.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10026449560055183401.kers'
[2026-05-25 22:20:44] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14350121370139883206.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10026449560055183401.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 3336 rows 3591 cols 7440 entries
Finished phase 1 with 2976 SingleSign rule and 256 generalized
[2026-05-25 22:20:44] [INFO ] Computed 359 invariants in 27 ms
Computed 359 P flows in 31 ms.
Exported basis to /tmp/petrispot-output-10026449560055183401.kers
Total runtime 35 ms.
[2026-05-25 22:20:45] [INFO ] Implicit Places using invariants in 1693 ms returned []
[2026-05-25 22:20:45] [INFO ] Invariant cache hit.
[2026-05-25 22:20:51] [INFO ] Implicit Places using invariants and state equation in 5287 ms returned []
Implicit Place search using SMT with State Equation took 6986 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3591/10454 places, 3336/9762 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 54170 ms. Remains : 3591/10454 places, 3336/9762 transitions.
[2026-05-25 22:20:51] [INFO ] Flatten gal took : 51 ms
[2026-05-25 22:20:51] [INFO ] Flatten gal took : 54 ms
[2026-05-25 22:20:51] [INFO ] Input system was already deterministic with 3336 transitions.
[2026-05-25 22:20:51] [INFO ] Flatten gal took : 52 ms
[2026-05-25 22:20:51] [INFO ] Flatten gal took : 54 ms
[2026-05-25 22:20:51] [INFO ] Time to serialize gal into /tmp/CTLFireability2125113744673054666.gal : 13 ms
[2026-05-25 22:20:51] [INFO ] Time to serialize properties into /tmp/CTLFireability3066255761695418098.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/CTLFireability2125113744673054666.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3066255761695418098.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 22:21:21] [INFO ] Flatten gal took : 51 ms
[2026-05-25 22:21:21] [INFO ] Applying decomposition
[2026-05-25 22:21:21] [INFO ] Flatten gal took : 54 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/graph10897384132247011044.txt' '-o' '/tmp/graph10897384132247011044.bin' '-w' '/tmp/graph10897384132247011044.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10897384132247011044.bin' '-l' '-1' '-v' '-w' '/tmp/graph10897384132247011044.weights' '-q' '0' '-e' '0.001'
[2026-05-25 22:21:21] [INFO ] Decomposing Gal with order
[2026-05-25 22:21:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 22:21:22] [INFO ] Removed a total of 150 redundant transitions.
[2026-05-25 22:21:22] [INFO ] Flatten gal took : 105 ms
[2026-05-25 22:21:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 6 ms.
[2026-05-25 22:21:22] [INFO ] Time to serialize gal into /tmp/CTLFireability2838538156939263716.gal : 25 ms
[2026-05-25 22:21:22] [INFO ] Time to serialize properties into /tmp/CTLFireability17400528122938756907.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/CTLFireability2838538156939263716.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17400528122938756907.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 : 10454/10454 places, 9762/9762 transitions.
Discarding 1224 places :
Implicit places reduction removed 1224 places
Iterating post reduction 0 with 1224 rules applied. Total rules applied 1224 place count 9230 transition count 9762
Discarding 922 places :
Symmetric choice reduction at 1 with 922 rule applications. Total rules 2146 place count 8308 transition count 8839
Iterating global reduction 1 with 922 rules applied. Total rules applied 3068 place count 8308 transition count 8839
Discarding 409 places :
Symmetric choice reduction at 1 with 409 rule applications. Total rules 3477 place count 7899 transition count 8380
Iterating global reduction 1 with 409 rules applied. Total rules applied 3886 place count 7899 transition count 8380
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 1 with 2 rules applied. Total rules applied 3888 place count 7898 transition count 8379
Discarding 59 places :
Symmetric choice reduction at 2 with 59 rule applications. Total rules 3947 place count 7839 transition count 8220
Iterating global reduction 2 with 59 rules applied. Total rules applied 4006 place count 7839 transition count 8220
Discarding 157 places :
Symmetric choice reduction at 2 with 157 rule applications. Total rules 4163 place count 7682 transition count 7863
Iterating global reduction 2 with 157 rules applied. Total rules applied 4320 place count 7682 transition count 7863
Ensure Unique test removed 102 transitions
Reduce isomorphic transitions removed 102 transitions.
Discarding 51 places :
Implicit places reduction removed 51 places
Iterating post reduction 2 with 153 rules applied. Total rules applied 4473 place count 7631 transition count 7761
Discarding 203 places :
Symmetric choice reduction at 3 with 203 rule applications. Total rules 4676 place count 7428 transition count 7558
Iterating global reduction 3 with 203 rules applied. Total rules applied 4879 place count 7428 transition count 7558
Discarding 203 places :
Symmetric choice reduction at 3 with 203 rule applications. Total rules 5082 place count 7225 transition count 7355
Iterating global reduction 3 with 203 rules applied. Total rules applied 5285 place count 7225 transition count 7355
Discarding 202 places :
Symmetric choice reduction at 3 with 202 rule applications. Total rules 5487 place count 7023 transition count 7153
Iterating global reduction 3 with 202 rules applied. Total rules applied 5689 place count 7023 transition count 7153
Discarding 202 places :
Symmetric choice reduction at 3 with 202 rule applications. Total rules 5891 place count 6821 transition count 6951
Iterating global reduction 3 with 202 rules applied. Total rules applied 6093 place count 6821 transition count 6951
Discarding 201 places :
Symmetric choice reduction at 3 with 201 rule applications. Total rules 6294 place count 6620 transition count 6750
Iterating global reduction 3 with 201 rules applied. Total rules applied 6495 place count 6620 transition count 6750
Discarding 199 places :
Symmetric choice reduction at 3 with 199 rule applications. Total rules 6694 place count 6421 transition count 6551
Iterating global reduction 3 with 199 rules applied. Total rules applied 6893 place count 6421 transition count 6551
Discarding 199 places :
Symmetric choice reduction at 3 with 199 rule applications. Total rules 7092 place count 6222 transition count 6352
Iterating global reduction 3 with 199 rules applied. Total rules applied 7291 place count 6222 transition count 6352
Discarding 199 places :
Symmetric choice reduction at 3 with 199 rule applications. Total rules 7490 place count 6023 transition count 6153
Iterating global reduction 3 with 199 rules applied. Total rules applied 7689 place count 6023 transition count 6153
Discarding 199 places :
Symmetric choice reduction at 3 with 199 rule applications. Total rules 7888 place count 5824 transition count 5954
Iterating global reduction 3 with 199 rules applied. Total rules applied 8087 place count 5824 transition count 5954
Discarding 199 places :
Symmetric choice reduction at 3 with 199 rule applications. Total rules 8286 place count 5625 transition count 5755
Iterating global reduction 3 with 199 rules applied. Total rules applied 8485 place count 5625 transition count 5755
Discarding 199 places :
Symmetric choice reduction at 3 with 199 rule applications. Total rules 8684 place count 5426 transition count 5556
Iterating global reduction 3 with 199 rules applied. Total rules applied 8883 place count 5426 transition count 5556
Discarding 199 places :
Symmetric choice reduction at 3 with 199 rule applications. Total rules 9082 place count 5227 transition count 5357
Iterating global reduction 3 with 199 rules applied. Total rules applied 9281 place count 5227 transition count 5357
Discarding 198 places :
Symmetric choice reduction at 3 with 198 rule applications. Total rules 9479 place count 5029 transition count 5159
Iterating global reduction 3 with 198 rules applied. Total rules applied 9677 place count 5029 transition count 5159
Ensure Unique test removed 198 transitions
Reduce isomorphic transitions removed 198 transitions.
Iterating post reduction 3 with 198 rules applied. Total rules applied 9875 place count 5029 transition count 4961
Applied a total of 9875 rules in 39635 ms. Remains 5029 /10454 variables (removed 5425) and now considering 4961/9762 (removed 4801) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13638439660212671386.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3433128534539892218.kers'
[2026-05-25 22:22:32] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13638439660212671386.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3433128534539892218.kers]
Culled 0 columns in 4 ms.
// Phase 1: matrix 4961 rows 5029 cols 11846 entries
Finished phase 1 with 4131 SingleSign rule and 418 generalized
[2026-05-25 22:22:32] [INFO ] Computed 480 invariants in 59 ms
Computed 480 P flows in 60 ms.
Exported basis to /tmp/petrispot-output-3433128534539892218.kers
Total runtime 65 ms.
[2026-05-25 22:22:35] [INFO ] Implicit Places using invariants in 2936 ms returned [357, 834, 1470, 1471, 2409, 2410, 2411, 2412, 2413, 2414, 2415, 2416, 2417, 2418, 2419, 2420, 2421, 2422, 2423, 2424, 2425, 2426, 2427, 2428, 2429, 2430, 2431, 2432, 2433, 2434, 2435, 2436, 2437, 2438, 2439, 2440, 2441, 2442, 2443, 2444, 2445, 2446, 2447, 2448, 2449, 2450, 2451, 2452, 2453, 2454, 2455, 2456, 2457, 2458, 2459, 2924, 2925, 2926, 2927, 2928, 2929, 3496, 4621, 4622, 4623, 4624, 4625, 4626, 4627, 4628, 4629, 4630, 4631, 4632, 4633, 4634, 4635, 4636, 4637, 4638, 4639, 4640, 4641, 4642, 4643, 4644, 4645, 4646, 4647, 4648, 4649, 4650, 4651, 4652, 4653, 4654, 4655, 4656, 4657, 4658, 4659, 4660, 4661, 4662, 4663, 4664, 4665, 4666, 4667, 4668, 4669, 4670, 4671]
Discarding 113 places :
Implicit Place search using SMT only with invariants took 2940 ms to find 113 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 4916/10454 places, 4961/9762 transitions.
Discarding 101 places :
Symmetric choice reduction at 0 with 101 rule applications. Total rules 101 place count 4815 transition count 4860
Iterating global reduction 0 with 101 rules applied. Total rules applied 202 place count 4815 transition count 4860
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 252 place count 4765 transition count 4760
Iterating global reduction 0 with 50 rules applied. Total rules applied 302 place count 4765 transition count 4760
Discarding 49 places :
Symmetric choice reduction at 0 with 49 rule applications. Total rules 351 place count 4716 transition count 4662
Iterating global reduction 0 with 49 rules applied. Total rules applied 400 place count 4716 transition count 4662
Discarding 48 places :
Symmetric choice reduction at 0 with 48 rule applications. Total rules 448 place count 4668 transition count 4614
Iterating global reduction 0 with 48 rules applied. Total rules applied 496 place count 4668 transition count 4614
Discarding 47 places :
Symmetric choice reduction at 0 with 47 rule applications. Total rules 543 place count 4621 transition count 4567
Iterating global reduction 0 with 47 rules applied. Total rules applied 590 place count 4621 transition count 4567
Discarding 94 places :
Symmetric choice reduction at 0 with 94 rule applications. Total rules 684 place count 4527 transition count 4473
Iterating global reduction 0 with 94 rules applied. Total rules applied 778 place count 4527 transition count 4473
Discarding 47 places :
Symmetric choice reduction at 0 with 47 rule applications. Total rules 825 place count 4480 transition count 4379
Iterating global reduction 0 with 47 rules applied. Total rules applied 872 place count 4480 transition count 4379
Discarding 47 places :
Symmetric choice reduction at 0 with 47 rule applications. Total rules 919 place count 4433 transition count 4332
Iterating global reduction 0 with 47 rules applied. Total rules applied 966 place count 4433 transition count 4332
Applied a total of 966 rules in 8662 ms. Remains 4433 /4916 variables (removed 483) and now considering 4332/4961 (removed 629) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9314335546207357991.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3023317064525872020.kers'
[2026-05-25 22:22:44] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9314335546207357991.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3023317064525872020.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 4332 rows 4433 cols 9924 entries
Finished phase 1 with 3703 SingleSign rule and 363 generalized
[2026-05-25 22:22:44] [INFO ] Computed 367 invariants in 49 ms
Computed 367 P flows in 50 ms.
Exported basis to /tmp/petrispot-output-3023317064525872020.kers
Total runtime 53 ms.
[2026-05-25 22:22:46] [INFO ] Implicit Places using invariants in 1893 ms returned []
[2026-05-25 22:22:46] [INFO ] Invariant cache hit.
[2026-05-25 22:22:58] [INFO ] Implicit Places using invariants and state equation in 12719 ms returned []
Implicit Place search using SMT with State Equation took 14614 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 4433/10454 places, 4332/9762 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 65851 ms. Remains : 4433/10454 places, 4332/9762 transitions.
[2026-05-25 22:22:58] [INFO ] Flatten gal took : 72 ms
[2026-05-25 22:22:58] [INFO ] Flatten gal took : 76 ms
[2026-05-25 22:22:59] [INFO ] Input system was already deterministic with 4332 transitions.
[2026-05-25 22:22:59] [INFO ] Flatten gal took : 72 ms
[2026-05-25 22:22:59] [INFO ] Flatten gal took : 75 ms
[2026-05-25 22:22:59] [INFO ] Time to serialize gal into /tmp/CTLFireability9320155924499644465.gal : 15 ms
[2026-05-25 22:22:59] [INFO ] Time to serialize properties into /tmp/CTLFireability11128120879350431107.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/CTLFireability9320155924499644465.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11128120879350431107.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 22:23:29] [INFO ] Flatten gal took : 72 ms
[2026-05-25 22:23:29] [INFO ] Applying decomposition
[2026-05-25 22:23:29] [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/graph10847410583532927956.txt' '-o' '/tmp/graph10847410583532927956.bin' '-w' '/tmp/graph10847410583532927956.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10847410583532927956.bin' '-l' '-1' '-v' '-w' '/tmp/graph10847410583532927956.weights' '-q' '0' '-e' '0.001'
[2026-05-25 22:23:29] [INFO ] Decomposing Gal with order
[2026-05-25 22:23:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 22:23:31] [INFO ] Removed a total of 879 redundant transitions.
[2026-05-25 22:23:31] [INFO ] Flatten gal took : 138 ms
[2026-05-25 22:23:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 92 labels/synchronizations in 46 ms.
[2026-05-25 22:23:31] [INFO ] Time to serialize gal into /tmp/CTLFireability2348140052904843509.gal : 36 ms
[2026-05-25 22:23:31] [INFO ] Time to serialize properties into /tmp/CTLFireability15647261522687346468.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/CTLFireability2348140052904843509.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15647261522687346468.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 22:24:01] [INFO ] Flatten gal took : 222 ms
[2026-05-25 22:24:02] [INFO ] Flatten gal took : 358 ms
[2026-05-25 22:24:02] [INFO ] Applying decomposition
[2026-05-25 22:24:02] [INFO ] Flatten gal took : 230 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/graph9644375712455811440.txt' '-o' '/tmp/graph9644375712455811440.bin' '-w' '/tmp/graph9644375712455811440.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9644375712455811440.bin' '-l' '-1' '-v' '-w' '/tmp/graph9644375712455811440.weights' '-q' '0' '-e' '0.001'
[2026-05-25 22:24:03] [INFO ] Decomposing Gal with order
[2026-05-25 22:24:05] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 22:24:14] [INFO ] Removed a total of 2627 redundant transitions.
[2026-05-25 22:24:15] [INFO ] Flatten gal took : 421 ms
[2026-05-25 22:24:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 362 labels/synchronizations in 79 ms.
[2026-05-25 22:24:42] [INFO ] Time to serialize gal into /tmp/CTLFireability16519926033893399385.gal : 72 ms
[2026-05-25 22:24:42] [INFO ] Time to serialize properties into /tmp/CTLFireability2416840992458941928.ctl : 28 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/CTLFireability16519926033893399385.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2416840992458941928.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 11 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 22:52:07] [INFO ] Flatten gal took : 252 ms
[2026-05-25 22:52:07] [INFO ] Time to serialize gal into /tmp/CTLFireability13602867972445679044.gal : 62 ms
[2026-05-25 22:52:07] [INFO ] Time to serialize properties into /tmp/CTLFireability7972974603328506906.ctl : 25 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/CTLFireability13602867972445679044.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7972974603328506906.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 11 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FamilyReunion-PT-L00050M0005C002P002G001"
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-L00050M0005C002P002G001, 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-177955808900114"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-PT-L00050M0005C002P002G001.tgz
mv FamilyReunion-PT-L00050M0005C002P002G001 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 ;