About the Execution of ITS-Tools for FireWire-PT-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16200.308 | 3600000.00 | 3403656.00 | 151413.00 | ????F??????????? | 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-177955809000297.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 FireWire-PT-20, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r130-smll-177955809000297
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 648K
-rw-r--r-- 1 mcc users 7.5K Mar 7 05:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Mar 7 05:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Mar 7 05:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Mar 7 05:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 15 10:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 15 10:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 15 10:10 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 15 10:10 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Mar 7 05:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 112K Mar 7 05:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Mar 7 05:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 50K Mar 7 05:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 15 10:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 15 10:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 247K 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 FireWire-PT-20-CTLCardinality-2024-00
FORMULA_NAME FireWire-PT-20-CTLCardinality-2024-01
FORMULA_NAME FireWire-PT-20-CTLCardinality-2024-02
FORMULA_NAME FireWire-PT-20-CTLCardinality-2024-03
FORMULA_NAME FireWire-PT-20-CTLCardinality-2024-04
FORMULA_NAME FireWire-PT-20-CTLCardinality-2024-05
FORMULA_NAME FireWire-PT-20-CTLCardinality-2024-06
FORMULA_NAME FireWire-PT-20-CTLCardinality-2024-07
FORMULA_NAME FireWire-PT-20-CTLCardinality-2024-08
FORMULA_NAME FireWire-PT-20-CTLCardinality-2024-09
FORMULA_NAME FireWire-PT-20-CTLCardinality-2024-10
FORMULA_NAME FireWire-PT-20-CTLCardinality-2024-11
FORMULA_NAME FireWire-PT-20-CTLCardinality-2024-12
FORMULA_NAME FireWire-PT-20-CTLCardinality-2024-13
FORMULA_NAME FireWire-PT-20-CTLCardinality-2024-14
FORMULA_NAME FireWire-PT-20-CTLCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1779856876976
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FireWire-PT-20
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202604301425
[2026-05-27 04:41:19] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-27 04:41:19] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-27 04:41:19] [INFO ] Load time of PNML (sax parser for PT used): 263 ms
[2026-05-27 04:41:19] [INFO ] Transformed 626 places.
[2026-05-27 04:41:19] [INFO ] Transformed 1031 transitions.
[2026-05-27 04:41:19] [INFO ] Found NUPN structural information;
[2026-05-27 04:41:19] [INFO ] Parsed PT model containing 626 places and 1031 transitions and 3196 arcs in 481 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 24 ms.
Support contains 119 out of 626 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 626/626 places, 1031/1031 transitions.
Reduce places removed 12 places and 0 transitions.
Iterating post reduction 0 with 12 rules applied. Total rules applied 12 place count 614 transition count 1031
Discarding 100 places :
Symmetric choice reduction at 1 with 100 rule applications. Total rules 112 place count 514 transition count 931
Iterating global reduction 1 with 100 rules applied. Total rules applied 212 place count 514 transition count 931
Discarding 13 places :
Symmetric choice reduction at 1 with 13 rule applications. Total rules 225 place count 501 transition count 829
Iterating global reduction 1 with 13 rules applied. Total rules applied 238 place count 501 transition count 829
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 239 place count 501 transition count 828
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 242 place count 498 transition count 825
Iterating global reduction 2 with 3 rules applied. Total rules applied 245 place count 498 transition count 825
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 247 place count 498 transition count 823
Applied a total of 247 rules in 186 ms. Remains 498 /626 variables (removed 128) and now considering 823/1031 (removed 208) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7284836916532658159.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9902588407230425442.kers'
[2026-05-27 04:41:20] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7284836916532658159.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9902588407230425442.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 823 rows 498 cols 2556 entries
Finished phase 1 with 488 SingleSign rule and 0 generalized
[2026-05-27 04:41:20] [INFO ] Computed 10 invariants in 4 ms
Computed 10 P flows in 5 ms.
Exported basis to /tmp/petrispot-output-9902588407230425442.kers
Total runtime 6 ms.
[2026-05-27 04:41:21] [INFO ] Implicit Places using invariants in 999 ms returned []
[2026-05-27 04:41:21] [INFO ] Invariant cache hit.
[2026-05-27 04:41:22] [INFO ] Implicit Places using invariants and state equation in 1511 ms returned []
Implicit Place search using SMT with State Equation took 2559 ms to find 0 implicit places.
Running 822 sub problems to find dead transitions.
[2026-05-27 04:41:22] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/494 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 822 unsolved
SMT process timed out in 31017ms, After SMT, problems are : Problem set: 0 solved, 822 unsolved
Search for dead transitions found 0 dead transitions in 31058ms
Starting structural reductions in LTL mode, iteration 1 : 498/626 places, 823/1031 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 33936 ms. Remains : 498/626 places, 823/1031 transitions.
Starting structural reductions in LTL mode, iteration 0 : 498/498 places, 823/823 transitions.
Applied a total of 0 rules in 13 ms. Remains 498 /498 variables (removed 0) and now considering 823/823 (removed 0) transitions.
[2026-05-27 04:41:54] [INFO ] Invariant cache hit.
[2026-05-27 04:41:54] [INFO ] Implicit Places using invariants in 576 ms returned []
[2026-05-27 04:41:54] [INFO ] Invariant cache hit.
[2026-05-27 04:41:55] [INFO ] Implicit Places using invariants and state equation in 1296 ms returned []
Implicit Place search using SMT with State Equation took 1875 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 1891 ms. Remains : 498/498 places, 823/823 transitions.
Support contains 119 out of 498 places after structural reductions.
[2026-05-27 04:41:56] [INFO ] Flatten gal took : 172 ms
[2026-05-27 04:41:56] [INFO ] Flatten gal took : 115 ms
[2026-05-27 04:41:56] [INFO ] Input system was already deterministic with 823 transitions.
Support contains 107 out of 498 places (down from 119) after GAL structural reductions.
RANDOM walk for 40000 steps (14 resets) in 2909 ms. (13 steps per ms) remains 47/68 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 31 ms. (125 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4002 steps (8 resets) in 24 ms. (160 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 17 ms. (222 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 22 ms. (174 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 16 ms. (235 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 22 ms. (174 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4002 steps (8 resets) in 12 ms. (307 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 12 ms. (307 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 21 ms. (182 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 25 ms. (154 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 25 ms. (153 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 19 ms. (200 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 9 ms. (400 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 9 ms. (400 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 8 ms. (444 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 8 ms. (444 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 8 ms. (444 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 10 ms. (363 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 16 ms. (235 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 10 ms. (363 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 9 ms. (400 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 11 ms. (333 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 9 ms. (400 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 8 ms. (444 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 17 ms. (222 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 10 ms. (363 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4002 steps (8 resets) in 14 ms. (266 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 9 ms. (400 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 11 ms. (333 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 10 ms. (364 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 11 ms. (333 steps per ms) remains 47/47 properties
[2026-05-27 04:41:58] [INFO ] Invariant cache hit.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/77 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 47 unsolved
At refinement iteration 1 (OVERLAPS) 368/445 variables, 9/9 constraints. Problems are: Problem set: 0 solved, 47 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/445 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 47 unsolved
At refinement iteration 3 (OVERLAPS) 9/454 variables, 1/10 constraints. Problems are: Problem set: 0 solved, 47 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/454 variables, 0/10 constraints. Problems are: Problem set: 0 solved, 47 unsolved
At refinement iteration 5 (OVERLAPS) 785/1239 variables, 454/464 constraints. Problems are: Problem set: 0 solved, 47 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/1239 variables, 0/464 constraints. Problems are: Problem set: 0 solved, 47 unsolved
At refinement iteration 7 (OVERLAPS) 47/1286 variables, 25/489 constraints. Problems are: Problem set: 0 solved, 47 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1286/1321 variables, and 489 constraints, problems are : Problem set: 0 solved, 47 unsolved in 5012 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 479/498 constraints, PredecessorRefiner: 47/47 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 47 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/77 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 47 unsolved
At refinement iteration 1 (OVERLAPS) 368/445 variables, 9/9 constraints. Problems are: Problem set: 0 solved, 47 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/445 variables, 11/20 constraints. Problems are: Problem set: 0 solved, 47 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/445 variables, 1/21 constraints. Problems are: Problem set: 0 solved, 47 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 445/1321 variables, and 21 constraints, problems are : Problem set: 0 solved, 47 unsolved in 5022 ms.
Refiners :[Positive P Invariants (semi-flows): 9/10 constraints, State Equation: 0/498 constraints, PredecessorRefiner: 0/47 constraints, Known Traps: 12/12 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 10073ms problems are : Problem set: 0 solved, 47 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 77 out of 498 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 498/498 places, 823/823 transitions.
Graph (trivial) has 258 edges and 498 vertex of which 11 / 498 are part of one of the 3 SCC in 15 ms
Free SCC test removed 8 places
Drop transitions (Empty/Sink Transition effects.) removed 15 transitions
Reduce isomorphic transitions removed 15 transitions.
Graph (complete) has 1508 edges and 490 vertex of which 488 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.6 ms
Discarding 2 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 48 transitions
Trivial Post-agglo rules discarded 48 transitions
Performed 48 trivial Post agglomeration. Transition count delta: 48
Iterating post reduction 0 with 48 rules applied. Total rules applied 50 place count 488 transition count 760
Reduce places removed 48 places and 0 transitions.
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 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 1 with 52 rules applied. Total rules applied 102 place count 440 transition count 756
Reduce places removed 1 places and 0 transitions.
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Iterating post reduction 2 with 7 rules applied. Total rules applied 109 place count 439 transition count 750
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 3 with 6 rules applied. Total rules applied 115 place count 433 transition count 750
Performed 22 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 22 Pre rules applied. Total rules applied 115 place count 433 transition count 728
Deduced a syphon composed of 22 places in 3 ms
Reduce places removed 22 places and 0 transitions.
Iterating global reduction 4 with 44 rules applied. Total rules applied 159 place count 411 transition count 728
Discarding 10 places :
Symmetric choice reduction at 4 with 10 rule applications. Total rules 169 place count 401 transition count 717
Iterating global reduction 4 with 10 rules applied. Total rules applied 179 place count 401 transition count 717
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 180 place count 401 transition count 716
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1 Pre rules applied. Total rules applied 180 place count 401 transition count 715
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 182 place count 400 transition count 715
Performed 50 Post agglomeration using F-continuation condition with reduction of 1 identical transitions.
Deduced a syphon composed of 50 places in 16 ms
Reduce places removed 50 places and 0 transitions.
Iterating global reduction 5 with 100 rules applied. Total rules applied 282 place count 350 transition count 664
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 283 place count 350 transition count 663
Performed 23 Post agglomeration using F-continuation condition.Transition count delta: -44
Deduced a syphon composed of 23 places in 11 ms
Reduce places removed 23 places and 0 transitions.
Iterating global reduction 6 with 46 rules applied. Total rules applied 329 place count 327 transition count 707
Drop transitions (Redundant composition of simpler transitions.) removed 3 transitions
Redundant transition composition rules discarded 3 transitions
Iterating global reduction 6 with 3 rules applied. Total rules applied 332 place count 327 transition count 704
Free-agglomeration rule applied 27 times.
Iterating global reduction 6 with 27 rules applied. Total rules applied 359 place count 327 transition count 677
Reduce places removed 27 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 6 with 29 rules applied. Total rules applied 388 place count 300 transition count 675
Discarding 3 places :
Symmetric choice reduction at 7 with 3 rule applications. Total rules 391 place count 297 transition count 672
Iterating global reduction 7 with 3 rules applied. Total rules applied 394 place count 297 transition count 672
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 7 with 3 rules applied. Total rules applied 397 place count 297 transition count 669
Drop transitions (Redundant composition of simpler transitions.) removed 7 transitions
Redundant transition composition rules discarded 7 transitions
Iterating global reduction 8 with 7 rules applied. Total rules applied 404 place count 297 transition count 662
Partial Free-agglomeration rule applied 5 times.
Drop transitions (Partial Free agglomeration) removed 5 transitions
Iterating global reduction 8 with 5 rules applied. Total rules applied 409 place count 297 transition count 662
Partial Post-agglomeration rule applied 1 times.
Drop transitions (Partial Post agglomeration) removed 1 transitions
Iterating global reduction 8 with 1 rules applied. Total rules applied 410 place count 297 transition count 662
Applied a total of 410 rules in 595 ms. Remains 297 /498 variables (removed 201) and now considering 662/823 (removed 161) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 596 ms. Remains : 297/498 places, 662/823 transitions.
RANDOM walk for 40000 steps (1155 resets) in 974 ms. (41 steps per ms) remains 29/47 properties
BEST_FIRST walk for 4004 steps (17 resets) in 13 ms. (286 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4003 steps (21 resets) in 39 ms. (100 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (20 resets) in 23 ms. (166 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (22 resets) in 16 ms. (235 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4003 steps (19 resets) in 13 ms. (285 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (19 resets) in 11 ms. (333 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4003 steps (22 resets) in 14 ms. (266 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4003 steps (20 resets) in 19 ms. (200 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4001 steps (23 resets) in 11 ms. (333 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (21 resets) in 20 ms. (190 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4002 steps (20 resets) in 17 ms. (222 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (21 resets) in 18 ms. (210 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4002 steps (21 resets) in 12 ms. (307 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4003 steps (21 resets) in 14 ms. (266 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4003 steps (17 resets) in 14 ms. (266 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4003 steps (21 resets) in 11 ms. (333 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4003 steps (19 resets) in 21 ms. (181 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4004 steps (21 resets) in 25 ms. (154 steps per ms) remains 29/29 properties
BEST_FIRST walk for 4003 steps (21 resets) in 10 ms. (363 steps per ms) remains 28/29 properties
BEST_FIRST walk for 4003 steps (18 resets) in 11 ms. (333 steps per ms) remains 26/28 properties
BEST_FIRST walk for 4004 steps (21 resets) in 19 ms. (200 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (20 resets) in 15 ms. (250 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (18 resets) in 16 ms. (235 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (18 resets) in 12 ms. (308 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4003 steps (20 resets) in 16 ms. (235 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4003 steps (21 resets) in 10 ms. (363 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4001 steps (21 resets) in 11 ms. (333 steps per ms) remains 26/26 properties
[2026-05-27 04:42:09] [INFO ] Flow matrix only has 658 transitions (discarded 4 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17212996649658765843.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2748056456399886611.kers'
[2026-05-27 04:42:09] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17212996649658765843.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2748056456399886611.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 658 rows 297 cols 2312 entries
Finished phase 1 with 287 SingleSign rule and 0 generalized
[2026-05-27 04:42:09] [INFO ] Computed 10 invariants in 3 ms
Computed 10 P flows in 4 ms.
Exported basis to /tmp/petrispot-output-2748056456399886611.kers
Total runtime 4 ms.
[2026-05-27 04:42:09] [INFO ] State equation strengthened by 54 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/48 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 1 (OVERLAPS) 224/272 variables, 8/8 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/272 variables, 5/13 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/272 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 4 (OVERLAPS) 10/282 variables, 2/15 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/282 variables, 0/15 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 6 (OVERLAPS) 656/938 variables, 282/297 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/938 variables, 54/351 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/938 variables, 2/353 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/938 variables, 0/353 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 10 (OVERLAPS) 16/954 variables, 14/367 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/954 variables, 0/367 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 12 (OVERLAPS) 1/955 variables, 1/368 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/955 variables, 0/368 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 14 (OVERLAPS) 0/955 variables, 0/368 constraints. Problems are: Problem set: 0 solved, 26 unsolved
No progress, stopping.
After SMT solving in domain Real declared 955/955 variables, and 368 constraints, problems are : Problem set: 0 solved, 26 unsolved in 8704 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 297/297 constraints, ReadFeed: 54/54 constraints, PredecessorRefiner: 26/26 constraints, Known Traps: 7/7 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 26 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/48 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 1 (OVERLAPS) 224/272 variables, 8/8 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/272 variables, 7/15 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/272 variables, 4/19 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/272 variables, 1/20 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/272 variables, 0/20 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 6 (OVERLAPS) 10/282 variables, 2/22 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/282 variables, 2/24 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/282 variables, 0/24 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 9 (OVERLAPS) 656/938 variables, 282/306 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/938 variables, 54/360 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/938 variables, 25/385 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/938 variables, 1/386 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/938 variables, 3/389 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/938 variables, 0/389 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 15 (OVERLAPS) 16/954 variables, 14/403 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/954 variables, 1/404 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/954 variables, 0/404 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 18 (OVERLAPS) 1/955 variables, 1/405 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/955 variables, 2/407 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/955 variables, 0/407 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 21 (OVERLAPS) 0/955 variables, 1/408 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/955 variables, 0/408 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 23 (OVERLAPS) 0/955 variables, 1/409 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/955 variables, 0/409 constraints. Problems are: Problem set: 0 solved, 26 unsolved
At refinement iteration 25 (OVERLAPS) 0/955 variables, 0/409 constraints. Problems are: Problem set: 0 solved, 26 unsolved
No progress, stopping.
After SMT solving in domain Int declared 955/955 variables, and 409 constraints, problems are : Problem set: 0 solved, 26 unsolved in 38536 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 297/297 constraints, ReadFeed: 54/54 constraints, PredecessorRefiner: 26/26 constraints, Known Traps: 22/22 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 47266ms problems are : Problem set: 0 solved, 26 unsolved
Fused 26 Parikh solutions to 24 different solutions.
Parikh walk visited 0 properties in 11340 ms.
Support contains 48 out of 297 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 297/297 places, 662/662 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 9 transitions
Trivial Post-agglo rules discarded 9 transitions
Performed 9 trivial Post agglomeration. Transition count delta: 9
Iterating post reduction 0 with 9 rules applied. Total rules applied 9 place count 297 transition count 653
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 1 with 9 rules applied. Total rules applied 18 place count 288 transition count 653
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 3 Pre rules applied. Total rules applied 18 place count 288 transition count 650
Deduced a syphon composed of 3 places in 5 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 24 place count 285 transition count 650
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 26 place count 283 transition count 647
Iterating global reduction 2 with 2 rules applied. Total rules applied 28 place count 283 transition count 647
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Deduced a syphon composed of 6 places in 4 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 2 with 12 rules applied. Total rules applied 40 place count 277 transition count 641
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 43 place count 274 transition count 635
Iterating global reduction 2 with 3 rules applied. Total rules applied 46 place count 274 transition count 635
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: -21
Deduced a syphon composed of 9 places in 4 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 2 with 18 rules applied. Total rules applied 64 place count 265 transition count 656
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 70 place count 265 transition count 650
Drop transitions (Redundant composition of simpler transitions.) removed 11 transitions
Redundant transition composition rules discarded 11 transitions
Iterating global reduction 3 with 11 rules applied. Total rules applied 81 place count 265 transition count 639
Free-agglomeration rule applied 3 times.
Iterating global reduction 3 with 3 rules applied. Total rules applied 84 place count 265 transition count 636
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 3 with 3 rules applied. Total rules applied 87 place count 262 transition count 636
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 4 with 2 rules applied. Total rules applied 89 place count 262 transition count 732
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 91 place count 260 transition count 732
Partial Free-agglomeration rule applied 1 times.
Drop transitions (Partial Free agglomeration) removed 1 transitions
Iterating global reduction 5 with 1 rules applied. Total rules applied 92 place count 260 transition count 732
Applied a total of 92 rules in 149 ms. Remains 260 /297 variables (removed 37) and now considering 732/662 (removed -70) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 149 ms. Remains : 260/297 places, 732/662 transitions.
RANDOM walk for 40000 steps (1200 resets) in 462 ms. (86 steps per ms) remains 18/26 properties
BEST_FIRST walk for 4002 steps (24 resets) in 16 ms. (235 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4002 steps (22 resets) in 20 ms. (190 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4003 steps (24 resets) in 14 ms. (266 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4003 steps (19 resets) in 14 ms. (266 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4003 steps (30 resets) in 11 ms. (333 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4003 steps (24 resets) in 10 ms. (363 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (25 resets) in 10 ms. (364 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (22 resets) in 15 ms. (250 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (17 resets) in 11 ms. (333 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (26 resets) in 21 ms. (182 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4003 steps (18 resets) in 11 ms. (333 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (23 resets) in 11 ms. (333 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (22 resets) in 11 ms. (333 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4003 steps (24 resets) in 10 ms. (363 steps per ms) remains 18/18 properties
BEST_FIRST walk for 4004 steps (20 resets) in 20 ms. (190 steps per ms) remains 17/18 properties
BEST_FIRST walk for 4004 steps (28 resets) in 9 ms. (400 steps per ms) remains 17/17 properties
BEST_FIRST walk for 4002 steps (21 resets) in 11 ms. (333 steps per ms) remains 17/17 properties
BEST_FIRST walk for 4003 steps (23 resets) in 10 ms. (363 steps per ms) remains 17/17 properties
[2026-05-27 04:43:08] [INFO ] Flow matrix only has 725 transitions (discarded 7 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15545597650466363495.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7737408453314657540.kers'
[2026-05-27 04:43:08] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15545597650466363495.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7737408453314657540.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 725 rows 260 cols 2592 entries
Finished phase 1 with 250 SingleSign rule and 0 generalized
[2026-05-27 04:43:08] [INFO ] Computed 10 invariants in 3 ms
Computed 10 P flows in 4 ms.
Exported basis to /tmp/petrispot-output-7737408453314657540.kers
Total runtime 5 ms.
[2026-05-27 04:43:08] [INFO ] State equation strengthened by 100 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/32 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 1 (OVERLAPS) 202/234 variables, 7/7 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/234 variables, 3/10 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/234 variables, 0/10 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 4 (OVERLAPS) 13/247 variables, 3/13 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/247 variables, 6/19 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/247 variables, 0/19 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 7 (OVERLAPS) 725/972 variables, 247/266 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/972 variables, 100/366 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/972 variables, 1/367 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/972 variables, 1/368 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/972 variables, 0/368 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 12 (OVERLAPS) 13/985 variables, 13/381 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/985 variables, 0/381 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 14 (OVERLAPS) 0/985 variables, 0/381 constraints. Problems are: Problem set: 0 solved, 17 unsolved
No progress, stopping.
After SMT solving in domain Real declared 985/985 variables, and 381 constraints, problems are : Problem set: 0 solved, 17 unsolved in 5849 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 260/260 constraints, ReadFeed: 100/100 constraints, PredecessorRefiner: 17/17 constraints, Known Traps: 11/11 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 17 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/32 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 1 (OVERLAPS) 202/234 variables, 7/7 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/234 variables, 6/13 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/234 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 4 (OVERLAPS) 13/247 variables, 3/16 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/247 variables, 5/21 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/247 variables, 2/23 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/247 variables, 0/23 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 8 (OVERLAPS) 725/972 variables, 247/270 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/972 variables, 100/370 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/972 variables, 17/387 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/972 variables, 2/389 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/972 variables, 0/389 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 13 (OVERLAPS) 13/985 variables, 13/402 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/985 variables, 0/402 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 15 (OVERLAPS) 0/985 variables, 0/402 constraints. Problems are: Problem set: 0 solved, 17 unsolved
No progress, stopping.
After SMT solving in domain Int declared 985/985 variables, and 402 constraints, problems are : Problem set: 0 solved, 17 unsolved in 12098 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 260/260 constraints, ReadFeed: 100/100 constraints, PredecessorRefiner: 17/17 constraints, Known Traps: 15/15 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 17977ms problems are : Problem set: 0 solved, 17 unsolved
Fused 17 Parikh solutions to 16 different solutions.
Parikh walk visited 2 properties in 30526 ms.
Support contains 29 out of 260 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 260/260 places, 732/732 transitions.
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 0 with 4 rules applied. Total rules applied 4 place count 260 transition count 728
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 8 place count 256 transition count 728
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 8 place count 256 transition count 726
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 12 place count 254 transition count 726
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 13 place count 253 transition count 725
Iterating global reduction 2 with 1 rules applied. Total rules applied 14 place count 253 transition count 725
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 1 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 2 with 20 rules applied. Total rules applied 34 place count 243 transition count 715
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 38 place count 239 transition count 706
Iterating global reduction 2 with 4 rules applied. Total rules applied 42 place count 239 transition count 706
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 45 place count 239 transition count 703
Free-agglomeration rule applied 4 times.
Iterating global reduction 3 with 4 rules applied. Total rules applied 49 place count 239 transition count 699
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 3 with 4 rules applied. Total rules applied 53 place count 235 transition count 699
Drop transitions (Redundant composition of simpler transitions.) removed 3 transitions
Redundant transition composition rules discarded 3 transitions
Iterating global reduction 4 with 3 rules applied. Total rules applied 56 place count 235 transition count 696
Partial Free-agglomeration rule applied 2 times.
Drop transitions (Partial Free agglomeration) removed 2 transitions
Iterating global reduction 4 with 2 rules applied. Total rules applied 58 place count 235 transition count 696
Applied a total of 58 rules in 96 ms. Remains 235 /260 variables (removed 25) and now considering 696/732 (removed 36) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 96 ms. Remains : 235/260 places, 696/732 transitions.
[2026-05-27 04:43:56] [INFO ] Flatten gal took : 46 ms
[2026-05-27 04:43:56] [INFO ] Flatten gal took : 47 ms
[2026-05-27 04:43:57] [INFO ] Input system was already deterministic with 823 transitions.
Computed a total of 156 stabilizing places and 237 stable transitions
Graph (complete) has 1524 edges and 498 vertex of which 495 are kept as prefixes of interest. Removing 3 places using SCC suffix rule.21 ms
Starting structural reductions in LTL mode, iteration 0 : 498/498 places, 823/823 transitions.
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 495 transition count 823
Discarding 50 places :
Symmetric choice reduction at 1 with 50 rule applications. Total rules 53 place count 445 transition count 766
Iterating global reduction 1 with 50 rules applied. Total rules applied 103 place count 445 transition count 766
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 104 place count 445 transition count 765
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 123 place count 426 transition count 737
Iterating global reduction 2 with 19 rules applied. Total rules applied 142 place count 426 transition count 737
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 149 place count 419 transition count 724
Iterating global reduction 2 with 7 rules applied. Total rules applied 156 place count 419 transition count 724
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 157 place count 419 transition count 723
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 160 place count 416 transition count 715
Iterating global reduction 3 with 3 rules applied. Total rules applied 163 place count 416 transition count 715
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 166 place count 413 transition count 708
Iterating global reduction 3 with 3 rules applied. Total rules applied 169 place count 413 transition count 708
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 172 place count 410 transition count 700
Iterating global reduction 3 with 3 rules applied. Total rules applied 175 place count 410 transition count 700
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 178 place count 407 transition count 693
Iterating global reduction 3 with 3 rules applied. Total rules applied 181 place count 407 transition count 693
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 184 place count 404 transition count 685
Iterating global reduction 3 with 3 rules applied. Total rules applied 187 place count 404 transition count 685
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 190 place count 401 transition count 678
Iterating global reduction 3 with 3 rules applied. Total rules applied 193 place count 401 transition count 678
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 196 place count 398 transition count 670
Iterating global reduction 3 with 3 rules applied. Total rules applied 199 place count 398 transition count 670
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 202 place count 395 transition count 663
Iterating global reduction 3 with 3 rules applied. Total rules applied 205 place count 395 transition count 663
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 208 place count 392 transition count 655
Iterating global reduction 3 with 3 rules applied. Total rules applied 211 place count 392 transition count 655
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 214 place count 389 transition count 649
Iterating global reduction 3 with 3 rules applied. Total rules applied 217 place count 389 transition count 649
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 220 place count 386 transition count 643
Iterating global reduction 3 with 3 rules applied. Total rules applied 223 place count 386 transition count 643
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 226 place count 383 transition count 638
Iterating global reduction 3 with 3 rules applied. Total rules applied 229 place count 383 transition count 638
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 231 place count 381 transition count 636
Iterating global reduction 3 with 2 rules applied. Total rules applied 233 place count 381 transition count 636
Applied a total of 233 rules in 100 ms. Remains 381 /498 variables (removed 117) and now considering 636/823 (removed 187) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7462516219354992389.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13617895437973186879.kers'
[2026-05-27 04:43:57] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7462516219354992389.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13617895437973186879.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 636 rows 381 cols 1952 entries
Finished phase 1 with 371 SingleSign rule and 0 generalized
[2026-05-27 04:43:57] [INFO ] Computed 10 invariants in 3 ms
Computed 10 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-13617895437973186879.kers
Total runtime 4 ms.
[2026-05-27 04:43:57] [INFO ] Implicit Places using invariants in 315 ms returned []
[2026-05-27 04:43:57] [INFO ] Invariant cache hit.
[2026-05-27 04:43:58] [INFO ] Implicit Places using invariants and state equation in 743 ms returned []
Implicit Place search using SMT with State Equation took 1060 ms to find 0 implicit places.
Running 635 sub problems to find dead transitions.
[2026-05-27 04:43:58] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/380 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 635 unsolved
At refinement iteration 1 (OVERLAPS) 1/381 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 635 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 381/1017 variables, and 19 constraints, problems are : Problem set: 0 solved, 635 unsolved in 30036 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 0/381 constraints, PredecessorRefiner: 635/635 constraints, Known Traps: 9/9 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 635 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/380 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 635 unsolved
At refinement iteration 1 (OVERLAPS) 1/381 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 635 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/381 variables, 9/19 constraints. Problems are: Problem set: 0 solved, 635 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/381 variables, 2/21 constraints. Problems are: Problem set: 0 solved, 635 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 381/1017 variables, and 21 constraints, problems are : Problem set: 0 solved, 635 unsolved in 30029 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 0/381 constraints, PredecessorRefiner: 0/635 constraints, Known Traps: 11/11 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60231ms problems are : Problem set: 0 solved, 635 unsolved
Search for dead transitions found 0 dead transitions in 60233ms
Starting structural reductions in LTL mode, iteration 1 : 381/498 places, 636/823 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 61398 ms. Remains : 381/498 places, 636/823 transitions.
[2026-05-27 04:44:58] [INFO ] Flatten gal took : 48 ms
[2026-05-27 04:44:58] [INFO ] Flatten gal took : 47 ms
[2026-05-27 04:44:58] [INFO ] Input system was already deterministic with 636 transitions.
[2026-05-27 04:44:58] [INFO ] Flatten gal took : 44 ms
[2026-05-27 04:44:58] [INFO ] Flatten gal took : 41 ms
[2026-05-27 04:44:58] [INFO ] Time to serialize gal into /tmp/CTLCardinality17499350459029996207.gal : 30 ms
[2026-05-27 04:44:58] [INFO ] Time to serialize properties into /tmp/CTLCardinality8730832167273890547.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/CTLCardinality17499350459029996207.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8730832167273890547.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-27 04:45:28] [INFO ] Flatten gal took : 18 ms
[2026-05-27 04:45:28] [INFO ] Applying decomposition
[2026-05-27 04:45:28] [INFO ] Flatten gal took : 18 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/graph9835071639227906838.txt' '-o' '/tmp/graph9835071639227906838.bin' '-w' '/tmp/graph9835071639227906838.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9835071639227906838.bin' '-l' '-1' '-v' '-w' '/tmp/graph9835071639227906838.weights' '-q' '0' '-e' '0.001'
[2026-05-27 04:45:29] [INFO ] Decomposing Gal with order
[2026-05-27 04:45:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 04:45:29] [INFO ] Removed a total of 689 redundant transitions.
[2026-05-27 04:45:29] [INFO ] Flatten gal took : 157 ms
[2026-05-27 04:45:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 58 labels/synchronizations in 52 ms.
[2026-05-27 04:45:29] [INFO ] Time to serialize gal into /tmp/CTLCardinality398497887123999447.gal : 29 ms
[2026-05-27 04:45:29] [INFO ] Time to serialize properties into /tmp/CTLCardinality14463010248025497334.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/CTLCardinality398497887123999447.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14463010248025497334.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 : 498/498 places, 823/823 transitions.
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 495 transition count 823
Discarding 52 places :
Symmetric choice reduction at 1 with 52 rule applications. Total rules 55 place count 443 transition count 764
Iterating global reduction 1 with 52 rules applied. Total rules applied 107 place count 443 transition count 764
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 108 place count 443 transition count 763
Discarding 21 places :
Symmetric choice reduction at 2 with 21 rule applications. Total rules 129 place count 422 transition count 731
Iterating global reduction 2 with 21 rules applied. Total rules applied 150 place count 422 transition count 731
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 157 place count 415 transition count 718
Iterating global reduction 2 with 7 rules applied. Total rules applied 164 place count 415 transition count 718
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 165 place count 415 transition count 717
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 168 place count 412 transition count 709
Iterating global reduction 3 with 3 rules applied. Total rules applied 171 place count 412 transition count 709
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 174 place count 409 transition count 702
Iterating global reduction 3 with 3 rules applied. Total rules applied 177 place count 409 transition count 702
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 180 place count 406 transition count 694
Iterating global reduction 3 with 3 rules applied. Total rules applied 183 place count 406 transition count 694
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 186 place count 403 transition count 687
Iterating global reduction 3 with 3 rules applied. Total rules applied 189 place count 403 transition count 687
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 192 place count 400 transition count 679
Iterating global reduction 3 with 3 rules applied. Total rules applied 195 place count 400 transition count 679
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 198 place count 397 transition count 672
Iterating global reduction 3 with 3 rules applied. Total rules applied 201 place count 397 transition count 672
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 204 place count 394 transition count 664
Iterating global reduction 3 with 3 rules applied. Total rules applied 207 place count 394 transition count 664
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 210 place count 391 transition count 657
Iterating global reduction 3 with 3 rules applied. Total rules applied 213 place count 391 transition count 657
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 216 place count 388 transition count 649
Iterating global reduction 3 with 3 rules applied. Total rules applied 219 place count 388 transition count 649
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 222 place count 385 transition count 643
Iterating global reduction 3 with 3 rules applied. Total rules applied 225 place count 385 transition count 643
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 228 place count 382 transition count 637
Iterating global reduction 3 with 3 rules applied. Total rules applied 231 place count 382 transition count 637
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 234 place count 379 transition count 632
Iterating global reduction 3 with 3 rules applied. Total rules applied 237 place count 379 transition count 632
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 239 place count 377 transition count 630
Iterating global reduction 3 with 2 rules applied. Total rules applied 241 place count 377 transition count 630
Applied a total of 241 rules in 87 ms. Remains 377 /498 variables (removed 121) and now considering 630/823 (removed 193) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11986973734835802398.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8862379755620818420.kers'
[2026-05-27 04:45:59] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11986973734835802398.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8862379755620818420.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 630 rows 377 cols 1932 entries
Finished phase 1 with 367 SingleSign rule and 0 generalized
[2026-05-27 04:45:59] [INFO ] Computed 10 invariants in 2 ms
Computed 10 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-8862379755620818420.kers
Total runtime 4 ms.
[2026-05-27 04:46:00] [INFO ] Implicit Places using invariants in 324 ms returned []
[2026-05-27 04:46:00] [INFO ] Invariant cache hit.
[2026-05-27 04:46:00] [INFO ] Implicit Places using invariants and state equation in 860 ms returned []
Implicit Place search using SMT with State Equation took 1186 ms to find 0 implicit places.
Running 629 sub problems to find dead transitions.
[2026-05-27 04:46:00] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/376 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 629 unsolved
At refinement iteration 1 (OVERLAPS) 1/377 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 629 unsolved
SMT process timed out in 30485ms, After SMT, problems are : Problem set: 0 solved, 629 unsolved
Search for dead transitions found 0 dead transitions in 30488ms
Starting structural reductions in LTL mode, iteration 1 : 377/498 places, 630/823 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 31765 ms. Remains : 377/498 places, 630/823 transitions.
[2026-05-27 04:46:31] [INFO ] Flatten gal took : 27 ms
[2026-05-27 04:46:31] [INFO ] Flatten gal took : 27 ms
[2026-05-27 04:46:31] [INFO ] Input system was already deterministic with 630 transitions.
[2026-05-27 04:46:31] [INFO ] Flatten gal took : 27 ms
[2026-05-27 04:46:31] [INFO ] Flatten gal took : 35 ms
[2026-05-27 04:46:31] [INFO ] Time to serialize gal into /tmp/CTLCardinality13069779468585987305.gal : 9 ms
[2026-05-27 04:46:31] [INFO ] Time to serialize properties into /tmp/CTLCardinality14778346009196754709.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/CTLCardinality13069779468585987305.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14778346009196754709.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-27 04:47:01] [INFO ] Flatten gal took : 18 ms
[2026-05-27 04:47:01] [INFO ] Applying decomposition
[2026-05-27 04:47:01] [INFO ] Flatten gal took : 16 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/graph7193013447091673655.txt' '-o' '/tmp/graph7193013447091673655.bin' '-w' '/tmp/graph7193013447091673655.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7193013447091673655.bin' '-l' '-1' '-v' '-w' '/tmp/graph7193013447091673655.weights' '-q' '0' '-e' '0.001'
[2026-05-27 04:47:01] [INFO ] Decomposing Gal with order
[2026-05-27 04:47:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 04:47:01] [INFO ] Removed a total of 682 redundant transitions.
[2026-05-27 04:47:01] [INFO ] Flatten gal took : 45 ms
[2026-05-27 04:47:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 64 labels/synchronizations in 21 ms.
[2026-05-27 04:47:01] [INFO ] Time to serialize gal into /tmp/CTLCardinality1316560385590324942.gal : 11 ms
[2026-05-27 04:47:01] [INFO ] Time to serialize properties into /tmp/CTLCardinality6660139183668389222.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/CTLCardinality1316560385590324942.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6660139183668389222.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 : 498/498 places, 823/823 transitions.
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 496 transition count 823
Discarding 50 places :
Symmetric choice reduction at 1 with 50 rule applications. Total rules 52 place count 446 transition count 766
Iterating global reduction 1 with 50 rules applied. Total rules applied 102 place count 446 transition count 766
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 103 place count 446 transition count 765
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 122 place count 427 transition count 735
Iterating global reduction 2 with 19 rules applied. Total rules applied 141 place count 427 transition count 735
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 146 place count 422 transition count 725
Iterating global reduction 2 with 5 rules applied. Total rules applied 151 place count 422 transition count 725
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 152 place count 422 transition count 724
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 154 place count 420 transition count 719
Iterating global reduction 3 with 2 rules applied. Total rules applied 156 place count 420 transition count 719
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 158 place count 418 transition count 714
Iterating global reduction 3 with 2 rules applied. Total rules applied 160 place count 418 transition count 714
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 162 place count 416 transition count 709
Iterating global reduction 3 with 2 rules applied. Total rules applied 164 place count 416 transition count 709
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 166 place count 414 transition count 704
Iterating global reduction 3 with 2 rules applied. Total rules applied 168 place count 414 transition count 704
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 170 place count 412 transition count 699
Iterating global reduction 3 with 2 rules applied. Total rules applied 172 place count 412 transition count 699
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 174 place count 410 transition count 694
Iterating global reduction 3 with 2 rules applied. Total rules applied 176 place count 410 transition count 694
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 178 place count 408 transition count 689
Iterating global reduction 3 with 2 rules applied. Total rules applied 180 place count 408 transition count 689
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 182 place count 406 transition count 684
Iterating global reduction 3 with 2 rules applied. Total rules applied 184 place count 406 transition count 684
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 186 place count 404 transition count 679
Iterating global reduction 3 with 2 rules applied. Total rules applied 188 place count 404 transition count 679
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 190 place count 402 transition count 675
Iterating global reduction 3 with 2 rules applied. Total rules applied 192 place count 402 transition count 675
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 194 place count 400 transition count 671
Iterating global reduction 3 with 2 rules applied. Total rules applied 196 place count 400 transition count 671
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 198 place count 398 transition count 668
Iterating global reduction 3 with 2 rules applied. Total rules applied 200 place count 398 transition count 668
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 201 place count 397 transition count 667
Iterating global reduction 3 with 1 rules applied. Total rules applied 202 place count 397 transition count 667
Applied a total of 202 rules in 98 ms. Remains 397 /498 variables (removed 101) and now considering 667/823 (removed 156) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-5737321882280050133.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17757710943160637588.kers'
[2026-05-27 04:47:32] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5737321882280050133.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17757710943160637588.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 667 rows 397 cols 2068 entries
Finished phase 1 with 387 SingleSign rule and 0 generalized
[2026-05-27 04:47:32] [INFO ] Computed 10 invariants in 3 ms
Computed 10 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-17757710943160637588.kers
Total runtime 4 ms.
[2026-05-27 04:47:32] [INFO ] Implicit Places using invariants in 364 ms returned []
[2026-05-27 04:47:32] [INFO ] Invariant cache hit.
[2026-05-27 04:47:33] [INFO ] Implicit Places using invariants and state equation in 1043 ms returned []
Implicit Place search using SMT with State Equation took 1410 ms to find 0 implicit places.
Running 666 sub problems to find dead transitions.
[2026-05-27 04:47:33] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/395 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 666 unsolved
At refinement iteration 1 (OVERLAPS) 1/396 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 666 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 396/1064 variables, and 19 constraints, problems are : Problem set: 0 solved, 666 unsolved in 30030 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 0/397 constraints, PredecessorRefiner: 666/666 constraints, Known Traps: 9/9 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 666 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/395 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 666 unsolved
At refinement iteration 1 (OVERLAPS) 1/396 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 666 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/396 variables, 9/19 constraints. Problems are: Problem set: 0 solved, 666 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/396 variables, 2/21 constraints. Problems are: Problem set: 0 solved, 666 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 396/1064 variables, and 21 constraints, problems are : Problem set: 0 solved, 666 unsolved in 30029 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 0/397 constraints, PredecessorRefiner: 0/666 constraints, Known Traps: 11/11 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60251ms problems are : Problem set: 0 solved, 666 unsolved
Search for dead transitions found 0 dead transitions in 60254ms
Starting structural reductions in LTL mode, iteration 1 : 397/498 places, 667/823 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 61766 ms. Remains : 397/498 places, 667/823 transitions.
[2026-05-27 04:48:33] [INFO ] Flatten gal took : 23 ms
[2026-05-27 04:48:33] [INFO ] Flatten gal took : 22 ms
[2026-05-27 04:48:33] [INFO ] Input system was already deterministic with 667 transitions.
[2026-05-27 04:48:33] [INFO ] Flatten gal took : 22 ms
[2026-05-27 04:48:33] [INFO ] Flatten gal took : 28 ms
[2026-05-27 04:48:33] [INFO ] Time to serialize gal into /tmp/CTLCardinality14154322000691577359.gal : 9 ms
[2026-05-27 04:48:34] [INFO ] Time to serialize properties into /tmp/CTLCardinality772422532258512611.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/CTLCardinality14154322000691577359.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality772422532258512611.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-27 04:49:04] [INFO ] Flatten gal took : 13 ms
[2026-05-27 04:49:04] [INFO ] Applying decomposition
[2026-05-27 04:49:04] [INFO ] Flatten gal took : 14 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/graph11100639878984240955.txt' '-o' '/tmp/graph11100639878984240955.bin' '-w' '/tmp/graph11100639878984240955.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11100639878984240955.bin' '-l' '-1' '-v' '-w' '/tmp/graph11100639878984240955.weights' '-q' '0' '-e' '0.001'
[2026-05-27 04:49:04] [INFO ] Decomposing Gal with order
[2026-05-27 04:49:04] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 04:49:04] [INFO ] Removed a total of 735 redundant transitions.
[2026-05-27 04:49:04] [INFO ] Flatten gal took : 39 ms
[2026-05-27 04:49:04] [INFO ] Fuse similar labels procedure discarded/fused a total of 23 labels/synchronizations in 13 ms.
[2026-05-27 04:49:04] [INFO ] Time to serialize gal into /tmp/CTLCardinality3379046019314615893.gal : 8 ms
[2026-05-27 04:49:04] [INFO ] Time to serialize properties into /tmp/CTLCardinality3526293139764158279.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/CTLCardinality3379046019314615893.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3526293139764158279.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 : 498/498 places, 823/823 transitions.
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 495 transition count 823
Discarding 44 places :
Symmetric choice reduction at 1 with 44 rule applications. Total rules 47 place count 451 transition count 773
Iterating global reduction 1 with 44 rules applied. Total rules applied 91 place count 451 transition count 773
Discarding 18 places :
Symmetric choice reduction at 1 with 18 rule applications. Total rules 109 place count 433 transition count 745
Iterating global reduction 1 with 18 rules applied. Total rules applied 127 place count 433 transition count 745
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 131 place count 429 transition count 739
Iterating global reduction 1 with 4 rules applied. Total rules applied 135 place count 429 transition count 739
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 136 place count 429 transition count 738
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 137 place count 428 transition count 735
Iterating global reduction 2 with 1 rules applied. Total rules applied 138 place count 428 transition count 735
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 139 place count 427 transition count 733
Iterating global reduction 2 with 1 rules applied. Total rules applied 140 place count 427 transition count 733
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 141 place count 426 transition count 730
Iterating global reduction 2 with 1 rules applied. Total rules applied 142 place count 426 transition count 730
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 143 place count 425 transition count 728
Iterating global reduction 2 with 1 rules applied. Total rules applied 144 place count 425 transition count 728
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 145 place count 424 transition count 725
Iterating global reduction 2 with 1 rules applied. Total rules applied 146 place count 424 transition count 725
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 147 place count 423 transition count 723
Iterating global reduction 2 with 1 rules applied. Total rules applied 148 place count 423 transition count 723
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 149 place count 422 transition count 720
Iterating global reduction 2 with 1 rules applied. Total rules applied 150 place count 422 transition count 720
Applied a total of 150 rules in 96 ms. Remains 422 /498 variables (removed 76) and now considering 720/823 (removed 103) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6127792560473829972.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4564787860150330790.kers'
[2026-05-27 04:49:34] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6127792560473829972.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4564787860150330790.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 720 rows 422 cols 2256 entries
Finished phase 1 with 412 SingleSign rule and 0 generalized
[2026-05-27 04:49:34] [INFO ] Computed 10 invariants in 5 ms
Computed 10 P flows in 6 ms.
Exported basis to /tmp/petrispot-output-4564787860150330790.kers
Total runtime 8 ms.
[2026-05-27 04:49:34] [INFO ] Implicit Places using invariants in 535 ms returned []
[2026-05-27 04:49:34] [INFO ] Invariant cache hit.
[2026-05-27 04:49:36] [INFO ] Implicit Places using invariants and state equation in 1093 ms returned []
Implicit Place search using SMT with State Equation took 1635 ms to find 0 implicit places.
Running 719 sub problems to find dead transitions.
[2026-05-27 04:49:36] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/421 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 719 unsolved
At refinement iteration 1 (OVERLAPS) 1/422 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 719 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 422/1142 variables, and 13 constraints, problems are : Problem set: 0 solved, 719 unsolved in 30028 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 0/422 constraints, PredecessorRefiner: 719/719 constraints, Known Traps: 3/3 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 719 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/421 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 719 unsolved
At refinement iteration 1 (OVERLAPS) 1/422 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 719 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/422 variables, 3/13 constraints. Problems are: Problem set: 0 solved, 719 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/422 variables, 9/22 constraints. Problems are: Problem set: 0 solved, 719 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 422/1142 variables, and 23 constraints, problems are : Problem set: 0 solved, 719 unsolved in 30035 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 0/422 constraints, PredecessorRefiner: 0/719 constraints, Known Traps: 13/13 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60312ms problems are : Problem set: 0 solved, 719 unsolved
Search for dead transitions found 0 dead transitions in 60317ms
Starting structural reductions in LTL mode, iteration 1 : 422/498 places, 720/823 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 62053 ms. Remains : 422/498 places, 720/823 transitions.
[2026-05-27 04:50:36] [INFO ] Flatten gal took : 22 ms
[2026-05-27 04:50:36] [INFO ] Flatten gal took : 24 ms
[2026-05-27 04:50:36] [INFO ] Input system was already deterministic with 720 transitions.
[2026-05-27 04:50:36] [INFO ] Flatten gal took : 25 ms
[2026-05-27 04:50:36] [INFO ] Flatten gal took : 26 ms
[2026-05-27 04:50:36] [INFO ] Time to serialize gal into /tmp/CTLCardinality6357992647102237244.gal : 7 ms
[2026-05-27 04:50:36] [INFO ] Time to serialize properties into /tmp/CTLCardinality8186491154813817775.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/CTLCardinality6357992647102237244.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8186491154813817775.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-27 04:51:06] [INFO ] Flatten gal took : 14 ms
[2026-05-27 04:51:06] [INFO ] Applying decomposition
[2026-05-27 04:51:06] [INFO ] Flatten gal took : 13 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/graph11032244283064944103.txt' '-o' '/tmp/graph11032244283064944103.bin' '-w' '/tmp/graph11032244283064944103.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11032244283064944103.bin' '-l' '-1' '-v' '-w' '/tmp/graph11032244283064944103.weights' '-q' '0' '-e' '0.001'
[2026-05-27 04:51:06] [INFO ] Decomposing Gal with order
[2026-05-27 04:51:06] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 04:51:06] [INFO ] Removed a total of 806 redundant transitions.
[2026-05-27 04:51:06] [INFO ] Flatten gal took : 39 ms
[2026-05-27 04:51:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 24 labels/synchronizations in 13 ms.
[2026-05-27 04:51:06] [INFO ] Time to serialize gal into /tmp/CTLCardinality11036972837434215048.gal : 8 ms
[2026-05-27 04:51:06] [INFO ] Time to serialize properties into /tmp/CTLCardinality4990480457275744534.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/CTLCardinality11036972837434215048.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4990480457275744534.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 : 498/498 places, 823/823 transitions.
Graph (trivial) has 353 edges and 498 vertex of which 11 / 498 are part of one of the 3 SCC in 2 ms
Free SCC test removed 8 places
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Graph (complete) has 1514 edges and 490 vertex of which 487 are kept as prefixes of interest. Removing 3 places using SCC suffix rule.4 ms
Discarding 3 places :
Also discarding 0 output transitions
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 74 transitions
Trivial Post-agglo rules discarded 74 transitions
Performed 74 trivial Post agglomeration. Transition count delta: 74
Iterating post reduction 0 with 74 rules applied. Total rules applied 76 place count 486 transition count 739
Reduce places removed 74 places and 0 transitions.
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 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 1 with 78 rules applied. Total rules applied 154 place count 412 transition count 735
Reduce places removed 1 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 2 with 2 rules applied. Total rules applied 156 place count 411 transition count 734
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 157 place count 410 transition count 734
Performed 28 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 28 Pre rules applied. Total rules applied 157 place count 410 transition count 706
Deduced a syphon composed of 28 places in 0 ms
Reduce places removed 28 places and 0 transitions.
Iterating global reduction 4 with 56 rules applied. Total rules applied 213 place count 382 transition count 706
Discarding 33 places :
Symmetric choice reduction at 4 with 33 rule applications. Total rules 246 place count 349 transition count 665
Iterating global reduction 4 with 33 rules applied. Total rules applied 279 place count 349 transition count 665
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 280 place count 349 transition count 664
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 4 Pre rules applied. Total rules applied 280 place count 349 transition count 660
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 5 with 8 rules applied. Total rules applied 288 place count 345 transition count 660
Discarding 13 places :
Symmetric choice reduction at 5 with 13 rule applications. Total rules 301 place count 332 transition count 641
Iterating global reduction 5 with 13 rules applied. Total rules applied 314 place count 332 transition count 641
Discarding 5 places :
Symmetric choice reduction at 5 with 5 rule applications. Total rules 319 place count 327 transition count 631
Iterating global reduction 5 with 5 rules applied. Total rules applied 324 place count 327 transition count 631
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 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 5 with 2 rules applied. Total rules applied 326 place count 327 transition count 629
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 327 place count 326 transition count 629
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 329 place count 324 transition count 624
Iterating global reduction 7 with 2 rules applied. Total rules applied 331 place count 324 transition count 624
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 333 place count 322 transition count 619
Iterating global reduction 7 with 2 rules applied. Total rules applied 335 place count 322 transition count 619
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 337 place count 320 transition count 614
Iterating global reduction 7 with 2 rules applied. Total rules applied 339 place count 320 transition count 614
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 341 place count 318 transition count 609
Iterating global reduction 7 with 2 rules applied. Total rules applied 343 place count 318 transition count 609
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 345 place count 316 transition count 604
Iterating global reduction 7 with 2 rules applied. Total rules applied 347 place count 316 transition count 604
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 349 place count 314 transition count 599
Iterating global reduction 7 with 2 rules applied. Total rules applied 351 place count 314 transition count 599
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 353 place count 312 transition count 594
Iterating global reduction 7 with 2 rules applied. Total rules applied 355 place count 312 transition count 594
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 357 place count 310 transition count 589
Iterating global reduction 7 with 2 rules applied. Total rules applied 359 place count 310 transition count 589
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 361 place count 308 transition count 584
Iterating global reduction 7 with 2 rules applied. Total rules applied 363 place count 308 transition count 584
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 365 place count 306 transition count 580
Iterating global reduction 7 with 2 rules applied. Total rules applied 367 place count 306 transition count 580
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 369 place count 304 transition count 576
Iterating global reduction 7 with 2 rules applied. Total rules applied 371 place count 304 transition count 576
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 372 place count 303 transition count 574
Iterating global reduction 7 with 1 rules applied. Total rules applied 373 place count 303 transition count 574
Performed 27 Post agglomeration using F-continuation condition.Transition count delta: 27
Deduced a syphon composed of 27 places in 0 ms
Reduce places removed 27 places and 0 transitions.
Iterating global reduction 7 with 54 rules applied. Total rules applied 427 place count 276 transition count 547
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 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 7 with 2 rules applied. Total rules applied 429 place count 276 transition count 545
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 430 place count 275 transition count 545
Discarding 4 places :
Symmetric choice reduction at 9 with 4 rule applications. Total rules 434 place count 271 transition count 537
Iterating global reduction 9 with 4 rules applied. Total rules applied 438 place count 271 transition count 537
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 439 place count 270 transition count 534
Iterating global reduction 9 with 1 rules applied. Total rules applied 440 place count 270 transition count 534
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 441 place count 269 transition count 532
Iterating global reduction 9 with 1 rules applied. Total rules applied 442 place count 269 transition count 532
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 443 place count 268 transition count 529
Iterating global reduction 9 with 1 rules applied. Total rules applied 444 place count 268 transition count 529
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 445 place count 267 transition count 527
Iterating global reduction 9 with 1 rules applied. Total rules applied 446 place count 267 transition count 527
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 447 place count 266 transition count 524
Iterating global reduction 9 with 1 rules applied. Total rules applied 448 place count 266 transition count 524
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 449 place count 265 transition count 522
Iterating global reduction 9 with 1 rules applied. Total rules applied 450 place count 265 transition count 522
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 451 place count 264 transition count 519
Iterating global reduction 9 with 1 rules applied. Total rules applied 452 place count 264 transition count 519
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 453 place count 263 transition count 517
Iterating global reduction 9 with 1 rules applied. Total rules applied 454 place count 263 transition count 517
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 455 place count 262 transition count 514
Iterating global reduction 9 with 1 rules applied. Total rules applied 456 place count 262 transition count 514
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 457 place count 261 transition count 512
Iterating global reduction 9 with 1 rules applied. Total rules applied 458 place count 261 transition count 512
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 459 place count 260 transition count 510
Iterating global reduction 9 with 1 rules applied. Total rules applied 460 place count 260 transition count 510
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 461 place count 259 transition count 508
Iterating global reduction 9 with 1 rules applied. Total rules applied 462 place count 259 transition count 508
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 464 place count 257 transition count 506
Applied a total of 464 rules in 257 ms. Remains 257 /498 variables (removed 241) and now considering 506/823 (removed 317) transitions.
[2026-05-27 04:51:37] [INFO ] Flow matrix only has 501 transitions (discarded 5 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14403264864303587778.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5875047711230472935.kers'
[2026-05-27 04:51:37] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14403264864303587778.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5875047711230472935.kers]
Normalized transition count is 500 out of 501 initially.
Culled 0 columns in 0 ms.
// Phase 1: matrix 500 rows 257 cols 1652 entries
Finished phase 1 with 247 SingleSign rule and 0 generalized
[2026-05-27 04:51:37] [INFO ] Computed 10 invariants in 2 ms
Computed 10 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-5875047711230472935.kers
Total runtime 4 ms.
[2026-05-27 04:51:37] [INFO ] Implicit Places using invariants in 230 ms returned []
[2026-05-27 04:51:37] [INFO ] Flow matrix only has 501 transitions (discarded 5 similar events)
[2026-05-27 04:51:37] [INFO ] Invariant cache hit.
[2026-05-27 04:51:37] [INFO ] State equation strengthened by 3 read => feed constraints.
[2026-05-27 04:51:37] [INFO ] Implicit Places using invariants and state equation in 533 ms returned []
Implicit Place search using SMT with State Equation took 765 ms to find 0 implicit places.
[2026-05-27 04:51:37] [INFO ] Redundant transitions in 39 ms returned []
Running 493 sub problems to find dead transitions.
[2026-05-27 04:51:37] [INFO ] Flow matrix only has 501 transitions (discarded 5 similar events)
[2026-05-27 04:51:37] [INFO ] Invariant cache hit.
[2026-05-27 04:51:37] [INFO ] State equation strengthened by 3 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/254 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 493 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/254 variables, 8/18 constraints. Problems are: Problem set: 0 solved, 493 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/254 variables, 0/18 constraints. Problems are: Problem set: 0 solved, 493 unsolved
At refinement iteration 3 (OVERLAPS) 500/754 variables, 254/272 constraints. Problems are: Problem set: 0 solved, 493 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/754 variables, 3/275 constraints. Problems are: Problem set: 0 solved, 493 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 754/758 variables, and 275 constraints, problems are : Problem set: 0 solved, 493 unsolved in 30023 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 254/257 constraints, ReadFeed: 3/3 constraints, PredecessorRefiner: 493/493 constraints, Known Traps: 8/8 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 493 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/254 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 493 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/254 variables, 8/18 constraints. Problems are: Problem set: 0 solved, 493 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/254 variables, 0/18 constraints. Problems are: Problem set: 0 solved, 493 unsolved
At refinement iteration 3 (OVERLAPS) 500/754 variables, 254/272 constraints. Problems are: Problem set: 0 solved, 493 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/754 variables, 3/275 constraints. Problems are: Problem set: 0 solved, 493 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/754 variables, 493/768 constraints. Problems are: Problem set: 0 solved, 493 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 754/758 variables, and 768 constraints, problems are : Problem set: 0 solved, 493 unsolved in 30026 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 254/257 constraints, ReadFeed: 3/3 constraints, PredecessorRefiner: 493/493 constraints, Known Traps: 8/8 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60169ms problems are : Problem set: 0 solved, 493 unsolved
Search for dead transitions found 0 dead transitions in 60171ms
Starting structural reductions in SI_CTL mode, iteration 1 : 257/498 places, 506/823 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 61244 ms. Remains : 257/498 places, 506/823 transitions.
[2026-05-27 04:52:38] [INFO ] Flatten gal took : 21 ms
[2026-05-27 04:52:38] [INFO ] Flatten gal took : 22 ms
[2026-05-27 04:52:38] [INFO ] Input system was already deterministic with 506 transitions.
[2026-05-27 04:52:38] [INFO ] Flatten gal took : 55 ms
[2026-05-27 04:52:38] [INFO ] Flatten gal took : 40 ms
[2026-05-27 04:52:38] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8596448429687569383.gal : 7 ms
[2026-05-27 04:52:38] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5977283214433560798.prop : 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-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality8596448429687569383.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality5977283214433560798.prop' '--nowitness' '--gen-order' 'FOLLOW'
RANDOM walk for 40000 steps (1270 resets) in 481 ms. (82 steps per ms) remains 1/1 properties
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
BEST_FIRST walk for 40004 steps (215 resets) in 150 ms. (264 steps per ms) remains 1/1 properties
Loading property file /tmp/ReachabilityCardinality5977283214433560798.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :3 after 7
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :7 after 20
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :20 after 26
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :26 after 91
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :91 after 195
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :195 after 390
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :390 after 715
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :715 after 2605
SDD proceeding with computation,1 properties remain. new max is 2048
SDD size :2605 after 13646
SDD proceeding with computation,1 properties remain. new max is 4096
SDD size :13646 after 35996
SDD proceeding with computation,1 properties remain. new max is 8192
SDD size :35996 after 131729
Interrupted probabilistic random walk after 775086 steps, run timeout after 3001 ms. (steps per millisecond=258 ) properties seen :0 out of 1
Probabilistic random walk after 775086 steps, saw 161502 distinct states, run finished after 3009 ms. (steps per millisecond=257 ) properties seen :0
[2026-05-27 04:52:41] [INFO ] Flow matrix only has 501 transitions (discarded 5 similar events)
[2026-05-27 04:52:41] [INFO ] Invariant cache hit.
[2026-05-27 04:52:41] [INFO ] State equation strengthened by 3 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/2 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 66/68 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/68 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 155/223 variables, 68/70 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/223 variables, 0/70 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 270/493 variables, 37/107 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/493 variables, 1/108 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/493 variables, 0/108 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (OVERLAPS) 62/555 variables, 5/113 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/555 variables, 25/138 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/555 variables, 0/138 constraints. Problems are: Problem set: 0 solved, 1 unsolved
SDD proceeding with computation,1 properties remain. new max is 16384
SDD size :131729 after 402333
At refinement iteration 11 (OVERLAPS) 150/705 variables, 97/235 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/705 variables, 2/237 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/705 variables, 0/237 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 14 (OVERLAPS) 11/716 variables, 1/238 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/716 variables, 4/242 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/716 variables, 0/242 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 17 (OVERLAPS) 28/744 variables, 18/260 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/744 variables, 0/260 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 19 (OVERLAPS) 2/746 variables, 2/262 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/746 variables, 2/264 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/746 variables, 0/264 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 22 (OVERLAPS) 10/756 variables, 5/269 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/756 variables, 0/269 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 24 (OVERLAPS) 1/757 variables, 1/270 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/757 variables, 0/270 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 26 (OVERLAPS) 0/757 variables, 0/270 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Real declared 757/758 variables, and 270 constraints, problems are : Problem set: 0 solved, 1 unsolved in 328 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 257/257 constraints, ReadFeed: 3/3 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/2 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 66/68 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/68 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 155/223 variables, 68/70 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/223 variables, 0/70 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 270/493 variables, 37/107 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/493 variables, 1/108 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/493 variables, 1/109 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/493 variables, 0/109 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (OVERLAPS) 62/555 variables, 5/114 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/555 variables, 25/139 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/555 variables, 0/139 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 12 (OVERLAPS) 150/705 variables, 97/236 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/705 variables, 2/238 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/705 variables, 0/238 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 15 (OVERLAPS) 11/716 variables, 1/239 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/716 variables, 4/243 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/716 variables, 0/243 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 18 (OVERLAPS) 28/744 variables, 18/261 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/744 variables, 0/261 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 20 (OVERLAPS) 2/746 variables, 2/263 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/746 variables, 2/265 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/746 variables, 0/265 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 23 (OVERLAPS) 10/756 variables, 5/270 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/756 variables, 0/270 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 25 (OVERLAPS) 1/757 variables, 1/271 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 26 (INCLUDED_ONLY) 0/757 variables, 0/271 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 27 (OVERLAPS) 0/757 variables, 0/271 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Int declared 757/758 variables, and 271 constraints, problems are : Problem set: 0 solved, 1 unsolved in 566 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 257/257 constraints, ReadFeed: 3/3 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 900ms problems are : Problem set: 0 solved, 1 unsolved
Parikh walk visited 0 properties in 12 ms.
Support contains 2 out of 257 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 257/257 places, 506/506 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 0 with 6 rules applied. Total rules applied 6 place count 257 transition count 500
Performed 16 Post agglomeration using F-continuation condition.Transition count delta: 16
Deduced a syphon composed of 16 places in 1 ms
Reduce places removed 16 places and 0 transitions.
Iterating global reduction 1 with 32 rules applied. Total rules applied 38 place count 241 transition count 484
Performed 42 Post agglomeration using F-continuation condition with reduction of 9 identical transitions.
Deduced a syphon composed of 42 places in 1 ms
Reduce places removed 42 places and 0 transitions.
Iterating global reduction 1 with 84 rules applied. Total rules applied 122 place count 199 transition count 580
Drop transitions (Redundant composition of simpler transitions.) removed 3 transitions
Redundant transition composition rules discarded 3 transitions
Iterating global reduction 1 with 3 rules applied. Total rules applied 125 place count 199 transition count 577
Free-agglomeration rule applied 24 times.
Iterating global reduction 1 with 24 rules applied. Total rules applied 149 place count 199 transition count 553
Reduce places removed 24 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 1 with 33 rules applied. Total rules applied 182 place count 175 transition count 544
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 188 place count 169 transition count 538
Iterating global reduction 2 with 6 rules applied. Total rules applied 194 place count 169 transition count 538
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 2 with 9 rules applied. Total rules applied 203 place count 169 transition count 529
Drop transitions (Redundant composition of simpler transitions.) removed 27 transitions
Redundant transition composition rules discarded 27 transitions
Iterating global reduction 3 with 27 rules applied. Total rules applied 230 place count 169 transition count 502
Partial Free-agglomeration rule applied 3 times.
Drop transitions (Partial Free agglomeration) removed 3 transitions
Iterating global reduction 3 with 3 rules applied. Total rules applied 233 place count 169 transition count 502
Applied a total of 233 rules in 74 ms. Remains 169 /257 variables (removed 88) and now considering 502/506 (removed 4) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 75 ms. Remains : 169/257 places, 502/506 transitions.
RANDOM walk for 19848 steps (686 resets) in 150 ms. (131 steps per ms) remains 0/1 properties
FORMULA FireWire-PT-20-CTLCardinality-2024-04 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in SI_CTL mode, iteration 0 : 498/498 places, 823/823 transitions.
Graph (trivial) has 352 edges and 498 vertex of which 11 / 498 are part of one of the 3 SCC in 1 ms
Free SCC test removed 8 places
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Graph (complete) has 1514 edges and 490 vertex of which 487 are kept as prefixes of interest. Removing 3 places using SCC suffix rule.2 ms
Discarding 3 places :
Also discarding 0 output transitions
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 75 transitions
Trivial Post-agglo rules discarded 75 transitions
Performed 75 trivial Post agglomeration. Transition count delta: 75
Iterating post reduction 0 with 75 rules applied. Total rules applied 77 place count 486 transition count 738
Reduce places removed 75 places and 0 transitions.
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 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 1 with 79 rules applied. Total rules applied 156 place count 411 transition count 734
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 157 place count 410 transition count 734
Performed 27 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 27 Pre rules applied. Total rules applied 157 place count 410 transition count 707
Deduced a syphon composed of 27 places in 1 ms
Reduce places removed 27 places and 0 transitions.
Iterating global reduction 3 with 54 rules applied. Total rules applied 211 place count 383 transition count 707
Discarding 33 places :
Symmetric choice reduction at 3 with 33 rule applications. Total rules 244 place count 350 transition count 666
Iterating global reduction 3 with 33 rules applied. Total rules applied 277 place count 350 transition count 666
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 278 place count 350 transition count 665
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 5 Pre rules applied. Total rules applied 278 place count 350 transition count 660
Deduced a syphon composed of 5 places in 1 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 4 with 10 rules applied. Total rules applied 288 place count 345 transition count 660
Discarding 14 places :
Symmetric choice reduction at 4 with 14 rule applications. Total rules 302 place count 331 transition count 639
Iterating global reduction 4 with 14 rules applied. Total rules applied 316 place count 331 transition count 639
Discarding 5 places :
Symmetric choice reduction at 4 with 5 rule applications. Total rules 321 place count 326 transition count 629
Iterating global reduction 4 with 5 rules applied. Total rules applied 326 place count 326 transition count 629
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 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 4 with 2 rules applied. Total rules applied 328 place count 326 transition count 627
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 329 place count 325 transition count 627
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 331 place count 323 transition count 622
Iterating global reduction 6 with 2 rules applied. Total rules applied 333 place count 323 transition count 622
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 335 place count 321 transition count 617
Iterating global reduction 6 with 2 rules applied. Total rules applied 337 place count 321 transition count 617
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 339 place count 319 transition count 612
Iterating global reduction 6 with 2 rules applied. Total rules applied 341 place count 319 transition count 612
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 343 place count 317 transition count 607
Iterating global reduction 6 with 2 rules applied. Total rules applied 345 place count 317 transition count 607
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 347 place count 315 transition count 602
Iterating global reduction 6 with 2 rules applied. Total rules applied 349 place count 315 transition count 602
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 351 place count 313 transition count 597
Iterating global reduction 6 with 2 rules applied. Total rules applied 353 place count 313 transition count 597
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 355 place count 311 transition count 592
Iterating global reduction 6 with 2 rules applied. Total rules applied 357 place count 311 transition count 592
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 359 place count 309 transition count 587
Iterating global reduction 6 with 2 rules applied. Total rules applied 361 place count 309 transition count 587
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 363 place count 307 transition count 582
Iterating global reduction 6 with 2 rules applied. Total rules applied 365 place count 307 transition count 582
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 367 place count 305 transition count 578
Iterating global reduction 6 with 2 rules applied. Total rules applied 369 place count 305 transition count 578
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 371 place count 303 transition count 574
Iterating global reduction 6 with 2 rules applied. Total rules applied 373 place count 303 transition count 574
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 374 place count 302 transition count 572
Iterating global reduction 6 with 1 rules applied. Total rules applied 375 place count 302 transition count 572
Performed 26 Post agglomeration using F-continuation condition.Transition count delta: 26
Deduced a syphon composed of 26 places in 0 ms
Reduce places removed 26 places and 0 transitions.
Iterating global reduction 6 with 52 rules applied. Total rules applied 427 place count 276 transition count 546
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 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 6 with 2 rules applied. Total rules applied 429 place count 276 transition count 544
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 430 place count 275 transition count 544
Discarding 4 places :
Symmetric choice reduction at 8 with 4 rule applications. Total rules 434 place count 271 transition count 536
Iterating global reduction 8 with 4 rules applied. Total rules applied 438 place count 271 transition count 536
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 439 place count 270 transition count 533
Iterating global reduction 8 with 1 rules applied. Total rules applied 440 place count 270 transition count 533
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 441 place count 269 transition count 531
Iterating global reduction 8 with 1 rules applied. Total rules applied 442 place count 269 transition count 531
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 443 place count 268 transition count 528
Iterating global reduction 8 with 1 rules applied. Total rules applied 444 place count 268 transition count 528
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 445 place count 267 transition count 526
Iterating global reduction 8 with 1 rules applied. Total rules applied 446 place count 267 transition count 526
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 447 place count 266 transition count 523
Iterating global reduction 8 with 1 rules applied. Total rules applied 448 place count 266 transition count 523
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 449 place count 265 transition count 521
Iterating global reduction 8 with 1 rules applied. Total rules applied 450 place count 265 transition count 521
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 451 place count 264 transition count 518
Iterating global reduction 8 with 1 rules applied. Total rules applied 452 place count 264 transition count 518
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 453 place count 263 transition count 516
Iterating global reduction 8 with 1 rules applied. Total rules applied 454 place count 263 transition count 516
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 455 place count 262 transition count 513
Iterating global reduction 8 with 1 rules applied. Total rules applied 456 place count 262 transition count 513
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 457 place count 261 transition count 511
Iterating global reduction 8 with 1 rules applied. Total rules applied 458 place count 261 transition count 511
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 459 place count 260 transition count 509
Iterating global reduction 8 with 1 rules applied. Total rules applied 460 place count 260 transition count 509
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 461 place count 259 transition count 507
Iterating global reduction 8 with 1 rules applied. Total rules applied 462 place count 259 transition count 507
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 8 with 2 rules applied. Total rules applied 464 place count 257 transition count 505
Applied a total of 464 rules in 205 ms. Remains 257 /498 variables (removed 241) and now considering 505/823 (removed 318) transitions.
[2026-05-27 04:52:42] [INFO ] Flow matrix only has 500 transitions (discarded 5 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-2122444830357524444.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7203288809089735727.kers'
[2026-05-27 04:52:42] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2122444830357524444.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7203288809089735727.kers]
Normalized transition count is 499 out of 500 initially.
Culled 0 columns in 0 ms.
// Phase 1: matrix 499 rows 257 cols 1646 entries
Finished phase 1 with 247 SingleSign rule and 0 generalized
[2026-05-27 04:52:42] [INFO ] Computed 10 invariants in 2 ms
Computed 10 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-7203288809089735727.kers
Total runtime 3 ms.
[2026-05-27 04:52:43] [INFO ] Implicit Places using invariants in 269 ms returned []
[2026-05-27 04:52:43] [INFO ] Flow matrix only has 500 transitions (discarded 5 similar events)
[2026-05-27 04:52:43] [INFO ] Invariant cache hit.
[2026-05-27 04:52:43] [INFO ] State equation strengthened by 3 read => feed constraints.
[2026-05-27 04:52:43] [INFO ] Implicit Places using invariants and state equation in 844 ms returned []
Implicit Place search using SMT with State Equation took 1115 ms to find 0 implicit places.
[2026-05-27 04:52:43] [INFO ] Redundant transitions in 12 ms returned []
Running 492 sub problems to find dead transitions.
[2026-05-27 04:52:43] [INFO ] Flow matrix only has 500 transitions (discarded 5 similar events)
[2026-05-27 04:52:43] [INFO ] Invariant cache hit.
[2026-05-27 04:52:43] [INFO ] State equation strengthened by 3 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/254 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 492 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/254 variables, 8/18 constraints. Problems are: Problem set: 0 solved, 492 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/254 variables, 0/18 constraints. Problems are: Problem set: 0 solved, 492 unsolved
At refinement iteration 3 (OVERLAPS) 499/753 variables, 254/272 constraints. Problems are: Problem set: 0 solved, 492 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/753 variables, 3/275 constraints. Problems are: Problem set: 0 solved, 492 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 753/757 variables, and 275 constraints, problems are : Problem set: 0 solved, 492 unsolved in 30016 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 254/257 constraints, ReadFeed: 3/3 constraints, PredecessorRefiner: 492/492 constraints, Known Traps: 8/8 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 492 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/254 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 492 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/254 variables, 8/18 constraints. Problems are: Problem set: 0 solved, 492 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/254 variables, 0/18 constraints. Problems are: Problem set: 0 solved, 492 unsolved
At refinement iteration 3 (OVERLAPS) 499/753 variables, 254/272 constraints. Problems are: Problem set: 0 solved, 492 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/753 variables, 3/275 constraints. Problems are: Problem set: 0 solved, 492 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/753 variables, 492/767 constraints. Problems are: Problem set: 0 solved, 492 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 753/757 variables, and 767 constraints, problems are : Problem set: 0 solved, 492 unsolved in 30021 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 254/257 constraints, ReadFeed: 3/3 constraints, PredecessorRefiner: 492/492 constraints, Known Traps: 8/8 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60152ms problems are : Problem set: 0 solved, 492 unsolved
Search for dead transitions found 0 dead transitions in 60153ms
Starting structural reductions in SI_CTL mode, iteration 1 : 257/498 places, 505/823 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 61494 ms. Remains : 257/498 places, 505/823 transitions.
[2026-05-27 04:53:44] [INFO ] Flatten gal took : 18 ms
[2026-05-27 04:53:44] [INFO ] Flatten gal took : 16 ms
[2026-05-27 04:53:44] [INFO ] Input system was already deterministic with 505 transitions.
[2026-05-27 04:53:44] [INFO ] Flatten gal took : 16 ms
[2026-05-27 04:53:44] [INFO ] Flatten gal took : 17 ms
[2026-05-27 04:53:44] [INFO ] Time to serialize gal into /tmp/CTLCardinality10267652114775784476.gal : 4 ms
[2026-05-27 04:53:44] [INFO ] Time to serialize properties into /tmp/CTLCardinality10941189238346152601.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/CTLCardinality10267652114775784476.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10941189238346152601.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-27 04:54:14] [INFO ] Flatten gal took : 9 ms
[2026-05-27 04:54:14] [INFO ] Applying decomposition
[2026-05-27 04:54:14] [INFO ] Flatten gal took : 10 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/graph6819315859052953559.txt' '-o' '/tmp/graph6819315859052953559.bin' '-w' '/tmp/graph6819315859052953559.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6819315859052953559.bin' '-l' '-1' '-v' '-w' '/tmp/graph6819315859052953559.weights' '-q' '0' '-e' '0.001'
[2026-05-27 04:54:14] [INFO ] Decomposing Gal with order
[2026-05-27 04:54:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 04:54:14] [INFO ] Removed a total of 628 redundant transitions.
[2026-05-27 04:54:14] [INFO ] Flatten gal took : 25 ms
[2026-05-27 04:54:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 87 labels/synchronizations in 11 ms.
[2026-05-27 04:54:14] [INFO ] Time to serialize gal into /tmp/CTLCardinality5252356092500739998.gal : 5 ms
[2026-05-27 04:54:14] [INFO ] Time to serialize properties into /tmp/CTLCardinality13957291094483177730.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/CTLCardinality5252356092500739998.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13957291094483177730.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 : 498/498 places, 823/823 transitions.
Graph (trivial) has 350 edges and 498 vertex of which 8 / 498 are part of one of the 2 SCC in 1 ms
Free SCC test removed 6 places
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Graph (complete) has 1516 edges and 492 vertex of which 489 are kept as prefixes of interest. Removing 3 places using SCC suffix rule.2 ms
Discarding 3 places :
Also discarding 0 output transitions
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 74 transitions
Trivial Post-agglo rules discarded 74 transitions
Performed 74 trivial Post agglomeration. Transition count delta: 74
Iterating post reduction 0 with 74 rules applied. Total rules applied 76 place count 488 transition count 741
Reduce places removed 74 places and 0 transitions.
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 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 1 with 78 rules applied. Total rules applied 154 place count 414 transition count 737
Reduce places removed 1 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 2 with 2 rules applied. Total rules applied 156 place count 413 transition count 736
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 157 place count 412 transition count 736
Performed 27 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 27 Pre rules applied. Total rules applied 157 place count 412 transition count 709
Deduced a syphon composed of 27 places in 1 ms
Reduce places removed 27 places and 0 transitions.
Iterating global reduction 4 with 54 rules applied. Total rules applied 211 place count 385 transition count 709
Discarding 32 places :
Symmetric choice reduction at 4 with 32 rule applications. Total rules 243 place count 353 transition count 669
Iterating global reduction 4 with 32 rules applied. Total rules applied 275 place count 353 transition count 669
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 276 place count 353 transition count 668
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 5 Pre rules applied. Total rules applied 276 place count 353 transition count 663
Deduced a syphon composed of 5 places in 1 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 5 with 10 rules applied. Total rules applied 286 place count 348 transition count 663
Discarding 13 places :
Symmetric choice reduction at 5 with 13 rule applications. Total rules 299 place count 335 transition count 643
Iterating global reduction 5 with 13 rules applied. Total rules applied 312 place count 335 transition count 643
Discarding 5 places :
Symmetric choice reduction at 5 with 5 rule applications. Total rules 317 place count 330 transition count 633
Iterating global reduction 5 with 5 rules applied. Total rules applied 322 place count 330 transition count 633
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 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 5 with 2 rules applied. Total rules applied 324 place count 330 transition count 631
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 325 place count 329 transition count 631
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 327 place count 327 transition count 626
Iterating global reduction 7 with 2 rules applied. Total rules applied 329 place count 327 transition count 626
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 331 place count 325 transition count 621
Iterating global reduction 7 with 2 rules applied. Total rules applied 333 place count 325 transition count 621
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 335 place count 323 transition count 616
Iterating global reduction 7 with 2 rules applied. Total rules applied 337 place count 323 transition count 616
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 339 place count 321 transition count 611
Iterating global reduction 7 with 2 rules applied. Total rules applied 341 place count 321 transition count 611
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 343 place count 319 transition count 606
Iterating global reduction 7 with 2 rules applied. Total rules applied 345 place count 319 transition count 606
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 347 place count 317 transition count 601
Iterating global reduction 7 with 2 rules applied. Total rules applied 349 place count 317 transition count 601
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 351 place count 315 transition count 596
Iterating global reduction 7 with 2 rules applied. Total rules applied 353 place count 315 transition count 596
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 355 place count 313 transition count 591
Iterating global reduction 7 with 2 rules applied. Total rules applied 357 place count 313 transition count 591
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 359 place count 311 transition count 586
Iterating global reduction 7 with 2 rules applied. Total rules applied 361 place count 311 transition count 586
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 363 place count 309 transition count 582
Iterating global reduction 7 with 2 rules applied. Total rules applied 365 place count 309 transition count 582
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 367 place count 307 transition count 578
Iterating global reduction 7 with 2 rules applied. Total rules applied 369 place count 307 transition count 578
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 370 place count 306 transition count 576
Iterating global reduction 7 with 1 rules applied. Total rules applied 371 place count 306 transition count 576
Performed 26 Post agglomeration using F-continuation condition.Transition count delta: 26
Deduced a syphon composed of 26 places in 0 ms
Reduce places removed 26 places and 0 transitions.
Iterating global reduction 7 with 52 rules applied. Total rules applied 423 place count 280 transition count 550
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 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 7 with 2 rules applied. Total rules applied 425 place count 280 transition count 548
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 426 place count 279 transition count 548
Discarding 4 places :
Symmetric choice reduction at 9 with 4 rule applications. Total rules 430 place count 275 transition count 540
Iterating global reduction 9 with 4 rules applied. Total rules applied 434 place count 275 transition count 540
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 435 place count 274 transition count 537
Iterating global reduction 9 with 1 rules applied. Total rules applied 436 place count 274 transition count 537
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 437 place count 273 transition count 535
Iterating global reduction 9 with 1 rules applied. Total rules applied 438 place count 273 transition count 535
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 439 place count 272 transition count 532
Iterating global reduction 9 with 1 rules applied. Total rules applied 440 place count 272 transition count 532
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 441 place count 271 transition count 530
Iterating global reduction 9 with 1 rules applied. Total rules applied 442 place count 271 transition count 530
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 443 place count 270 transition count 527
Iterating global reduction 9 with 1 rules applied. Total rules applied 444 place count 270 transition count 527
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 445 place count 269 transition count 525
Iterating global reduction 9 with 1 rules applied. Total rules applied 446 place count 269 transition count 525
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 447 place count 268 transition count 522
Iterating global reduction 9 with 1 rules applied. Total rules applied 448 place count 268 transition count 522
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 449 place count 267 transition count 520
Iterating global reduction 9 with 1 rules applied. Total rules applied 450 place count 267 transition count 520
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 451 place count 266 transition count 517
Iterating global reduction 9 with 1 rules applied. Total rules applied 452 place count 266 transition count 517
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 453 place count 265 transition count 515
Iterating global reduction 9 with 1 rules applied. Total rules applied 454 place count 265 transition count 515
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 455 place count 264 transition count 513
Iterating global reduction 9 with 1 rules applied. Total rules applied 456 place count 264 transition count 513
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 457 place count 263 transition count 511
Iterating global reduction 9 with 1 rules applied. Total rules applied 458 place count 263 transition count 511
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 460 place count 261 transition count 509
Applied a total of 460 rules in 192 ms. Remains 261 /498 variables (removed 237) and now considering 509/823 (removed 314) transitions.
[2026-05-27 04:54:44] [INFO ] Flow matrix only has 508 transitions (discarded 1 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-2274726828299347260.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11404478878293592482.kers'
[2026-05-27 04:54:44] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2274726828299347260.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11404478878293592482.kers]
Normalized transition count is 507 out of 508 initially.
Culled 0 columns in 0 ms.
// Phase 1: matrix 507 rows 261 cols 1670 entries
Finished phase 1 with 251 SingleSign rule and 0 generalized
[2026-05-27 04:54:44] [INFO ] Computed 10 invariants in 2 ms
Computed 10 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-11404478878293592482.kers
Total runtime 3 ms.
[2026-05-27 04:54:44] [INFO ] Implicit Places using invariants in 221 ms returned []
[2026-05-27 04:54:44] [INFO ] Flow matrix only has 508 transitions (discarded 1 similar events)
[2026-05-27 04:54:44] [INFO ] Invariant cache hit.
[2026-05-27 04:54:45] [INFO ] State equation strengthened by 3 read => feed constraints.
[2026-05-27 04:54:45] [INFO ] Implicit Places using invariants and state equation in 818 ms returned []
Implicit Place search using SMT with State Equation took 1041 ms to find 0 implicit places.
[2026-05-27 04:54:45] [INFO ] Redundant transitions in 7 ms returned []
Running 496 sub problems to find dead transitions.
[2026-05-27 04:54:45] [INFO ] Flow matrix only has 508 transitions (discarded 1 similar events)
[2026-05-27 04:54:45] [INFO ] Invariant cache hit.
[2026-05-27 04:54:45] [INFO ] State equation strengthened by 3 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/258 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 496 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/258 variables, 9/19 constraints. Problems are: Problem set: 0 solved, 496 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/258 variables, 0/19 constraints. Problems are: Problem set: 0 solved, 496 unsolved
At refinement iteration 3 (OVERLAPS) 507/765 variables, 258/277 constraints. Problems are: Problem set: 0 solved, 496 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/765 variables, 3/280 constraints. Problems are: Problem set: 0 solved, 496 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 765/769 variables, and 280 constraints, problems are : Problem set: 0 solved, 496 unsolved in 30015 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 258/261 constraints, ReadFeed: 3/3 constraints, PredecessorRefiner: 496/496 constraints, Known Traps: 9/9 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 496 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/258 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 496 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/258 variables, 9/19 constraints. Problems are: Problem set: 0 solved, 496 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/258 variables, 0/19 constraints. Problems are: Problem set: 0 solved, 496 unsolved
At refinement iteration 3 (OVERLAPS) 507/765 variables, 258/277 constraints. Problems are: Problem set: 0 solved, 496 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/765 variables, 3/280 constraints. Problems are: Problem set: 0 solved, 496 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/765 variables, 496/776 constraints. Problems are: Problem set: 0 solved, 496 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 765/769 variables, and 776 constraints, problems are : Problem set: 0 solved, 496 unsolved in 30025 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 258/261 constraints, ReadFeed: 3/3 constraints, PredecessorRefiner: 496/496 constraints, Known Traps: 9/9 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60132ms problems are : Problem set: 0 solved, 496 unsolved
Search for dead transitions found 0 dead transitions in 60136ms
Starting structural reductions in SI_CTL mode, iteration 1 : 261/498 places, 509/823 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 61386 ms. Remains : 261/498 places, 509/823 transitions.
[2026-05-27 04:55:45] [INFO ] Flatten gal took : 16 ms
[2026-05-27 04:55:45] [INFO ] Flatten gal took : 18 ms
[2026-05-27 04:55:45] [INFO ] Input system was already deterministic with 509 transitions.
[2026-05-27 04:55:45] [INFO ] Flatten gal took : 18 ms
[2026-05-27 04:55:45] [INFO ] Flatten gal took : 17 ms
[2026-05-27 04:55:45] [INFO ] Time to serialize gal into /tmp/CTLCardinality14116051236420475417.gal : 4 ms
[2026-05-27 04:55:45] [INFO ] Time to serialize properties into /tmp/CTLCardinality17031823204415938998.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/CTLCardinality14116051236420475417.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17031823204415938998.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-27 04:56:15] [INFO ] Flatten gal took : 10 ms
[2026-05-27 04:56:15] [INFO ] Applying decomposition
[2026-05-27 04:56:15] [INFO ] Flatten gal took : 10 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/graph4353898963710976141.txt' '-o' '/tmp/graph4353898963710976141.bin' '-w' '/tmp/graph4353898963710976141.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph4353898963710976141.bin' '-l' '-1' '-v' '-w' '/tmp/graph4353898963710976141.weights' '-q' '0' '-e' '0.001'
[2026-05-27 04:56:16] [INFO ] Decomposing Gal with order
[2026-05-27 04:56:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 04:56:16] [INFO ] Removed a total of 631 redundant transitions.
[2026-05-27 04:56:16] [INFO ] Flatten gal took : 27 ms
[2026-05-27 04:56:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 67 labels/synchronizations in 7 ms.
[2026-05-27 04:56:16] [INFO ] Time to serialize gal into /tmp/CTLCardinality18008042539700071199.gal : 5 ms
[2026-05-27 04:56:16] [INFO ] Time to serialize properties into /tmp/CTLCardinality16427427630816747934.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/CTLCardinality18008042539700071199.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16427427630816747934.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 : 498/498 places, 823/823 transitions.
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 495 transition count 823
Discarding 51 places :
Symmetric choice reduction at 1 with 51 rule applications. Total rules 54 place count 444 transition count 765
Iterating global reduction 1 with 51 rules applied. Total rules applied 105 place count 444 transition count 765
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 106 place count 444 transition count 764
Discarding 21 places :
Symmetric choice reduction at 2 with 21 rule applications. Total rules 127 place count 423 transition count 732
Iterating global reduction 2 with 21 rules applied. Total rules applied 148 place count 423 transition count 732
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 155 place count 416 transition count 719
Iterating global reduction 2 with 7 rules applied. Total rules applied 162 place count 416 transition count 719
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 163 place count 416 transition count 718
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 166 place count 413 transition count 710
Iterating global reduction 3 with 3 rules applied. Total rules applied 169 place count 413 transition count 710
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 172 place count 410 transition count 703
Iterating global reduction 3 with 3 rules applied. Total rules applied 175 place count 410 transition count 703
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 178 place count 407 transition count 695
Iterating global reduction 3 with 3 rules applied. Total rules applied 181 place count 407 transition count 695
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 184 place count 404 transition count 688
Iterating global reduction 3 with 3 rules applied. Total rules applied 187 place count 404 transition count 688
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 190 place count 401 transition count 680
Iterating global reduction 3 with 3 rules applied. Total rules applied 193 place count 401 transition count 680
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 196 place count 398 transition count 673
Iterating global reduction 3 with 3 rules applied. Total rules applied 199 place count 398 transition count 673
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 202 place count 395 transition count 665
Iterating global reduction 3 with 3 rules applied. Total rules applied 205 place count 395 transition count 665
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 208 place count 392 transition count 658
Iterating global reduction 3 with 3 rules applied. Total rules applied 211 place count 392 transition count 658
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 214 place count 389 transition count 650
Iterating global reduction 3 with 3 rules applied. Total rules applied 217 place count 389 transition count 650
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 220 place count 386 transition count 644
Iterating global reduction 3 with 3 rules applied. Total rules applied 223 place count 386 transition count 644
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 225 place count 384 transition count 640
Iterating global reduction 3 with 2 rules applied. Total rules applied 227 place count 384 transition count 640
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 229 place count 382 transition count 636
Iterating global reduction 3 with 2 rules applied. Total rules applied 231 place count 382 transition count 636
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 233 place count 380 transition count 634
Iterating global reduction 3 with 2 rules applied. Total rules applied 235 place count 380 transition count 634
Applied a total of 235 rules in 87 ms. Remains 380 /498 variables (removed 118) and now considering 634/823 (removed 189) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-18033030968800830671.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-18369671343464668066.kers'
[2026-05-27 04:56:46] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-18033030968800830671.kers, --Pflows, --basisKERS=/tmp/petrispot-output-18369671343464668066.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 634 rows 380 cols 1944 entries
Finished phase 1 with 370 SingleSign rule and 0 generalized
[2026-05-27 04:56:46] [INFO ] Computed 10 invariants in 3 ms
Computed 10 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-18369671343464668066.kers
Total runtime 4 ms.
[2026-05-27 04:56:46] [INFO ] Implicit Places using invariants in 328 ms returned []
[2026-05-27 04:56:46] [INFO ] Invariant cache hit.
[2026-05-27 04:56:47] [INFO ] Implicit Places using invariants and state equation in 747 ms returned []
Implicit Place search using SMT with State Equation took 1081 ms to find 0 implicit places.
Running 633 sub problems to find dead transitions.
[2026-05-27 04:56:47] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/379 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 633 unsolved
At refinement iteration 1 (OVERLAPS) 1/380 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 633 unsolved
SMT process timed out in 30200ms, After SMT, problems are : Problem set: 0 solved, 633 unsolved
Search for dead transitions found 0 dead transitions in 30203ms
Starting structural reductions in LTL mode, iteration 1 : 380/498 places, 634/823 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 31373 ms. Remains : 380/498 places, 634/823 transitions.
[2026-05-27 04:57:17] [INFO ] Flatten gal took : 17 ms
[2026-05-27 04:57:17] [INFO ] Flatten gal took : 19 ms
[2026-05-27 04:57:17] [INFO ] Input system was already deterministic with 634 transitions.
[2026-05-27 04:57:17] [INFO ] Flatten gal took : 23 ms
[2026-05-27 04:57:17] [INFO ] Flatten gal took : 19 ms
[2026-05-27 04:57:17] [INFO ] Time to serialize gal into /tmp/CTLCardinality9267461053127763506.gal : 5 ms
[2026-05-27 04:57:17] [INFO ] Time to serialize properties into /tmp/CTLCardinality17309090012913361785.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/CTLCardinality9267461053127763506.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17309090012913361785.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-27 04:57:47] [INFO ] Flatten gal took : 12 ms
[2026-05-27 04:57:47] [INFO ] Applying decomposition
[2026-05-27 04:57:47] [INFO ] Flatten gal took : 13 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/graph4018413083627079832.txt' '-o' '/tmp/graph4018413083627079832.bin' '-w' '/tmp/graph4018413083627079832.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph4018413083627079832.bin' '-l' '-1' '-v' '-w' '/tmp/graph4018413083627079832.weights' '-q' '0' '-e' '0.001'
[2026-05-27 04:57:47] [INFO ] Decomposing Gal with order
[2026-05-27 04:57:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 04:57:47] [INFO ] Removed a total of 667 redundant transitions.
[2026-05-27 04:57:47] [INFO ] Flatten gal took : 31 ms
[2026-05-27 04:57:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 61 labels/synchronizations in 7 ms.
[2026-05-27 04:57:47] [INFO ] Time to serialize gal into /tmp/CTLCardinality5397194540033252668.gal : 7 ms
[2026-05-27 04:57:47] [INFO ] Time to serialize properties into /tmp/CTLCardinality6405170857368618277.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/CTLCardinality5397194540033252668.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6405170857368618277.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 : 498/498 places, 823/823 transitions.
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 495 transition count 823
Discarding 51 places :
Symmetric choice reduction at 1 with 51 rule applications. Total rules 54 place count 444 transition count 765
Iterating global reduction 1 with 51 rules applied. Total rules applied 105 place count 444 transition count 765
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 106 place count 444 transition count 764
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 126 place count 424 transition count 735
Iterating global reduction 2 with 20 rules applied. Total rules applied 146 place count 424 transition count 735
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 153 place count 417 transition count 722
Iterating global reduction 2 with 7 rules applied. Total rules applied 160 place count 417 transition count 722
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 161 place count 417 transition count 721
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 164 place count 414 transition count 713
Iterating global reduction 3 with 3 rules applied. Total rules applied 167 place count 414 transition count 713
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 170 place count 411 transition count 706
Iterating global reduction 3 with 3 rules applied. Total rules applied 173 place count 411 transition count 706
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 176 place count 408 transition count 698
Iterating global reduction 3 with 3 rules applied. Total rules applied 179 place count 408 transition count 698
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 182 place count 405 transition count 691
Iterating global reduction 3 with 3 rules applied. Total rules applied 185 place count 405 transition count 691
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 188 place count 402 transition count 683
Iterating global reduction 3 with 3 rules applied. Total rules applied 191 place count 402 transition count 683
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 194 place count 399 transition count 676
Iterating global reduction 3 with 3 rules applied. Total rules applied 197 place count 399 transition count 676
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 200 place count 396 transition count 668
Iterating global reduction 3 with 3 rules applied. Total rules applied 203 place count 396 transition count 668
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 206 place count 393 transition count 661
Iterating global reduction 3 with 3 rules applied. Total rules applied 209 place count 393 transition count 661
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 212 place count 390 transition count 653
Iterating global reduction 3 with 3 rules applied. Total rules applied 215 place count 390 transition count 653
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 218 place count 387 transition count 647
Iterating global reduction 3 with 3 rules applied. Total rules applied 221 place count 387 transition count 647
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 224 place count 384 transition count 641
Iterating global reduction 3 with 3 rules applied. Total rules applied 227 place count 384 transition count 641
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 230 place count 381 transition count 636
Iterating global reduction 3 with 3 rules applied. Total rules applied 233 place count 381 transition count 636
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 235 place count 379 transition count 634
Iterating global reduction 3 with 2 rules applied. Total rules applied 237 place count 379 transition count 634
Applied a total of 237 rules in 85 ms. Remains 379 /498 variables (removed 119) and now considering 634/823 (removed 189) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13529753334067557070.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15800795799767766103.kers'
[2026-05-27 04:58:17] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13529753334067557070.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15800795799767766103.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 634 rows 379 cols 1946 entries
Finished phase 1 with 369 SingleSign rule and 0 generalized
[2026-05-27 04:58:17] [INFO ] Computed 10 invariants in 3 ms
Computed 10 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-15800795799767766103.kers
Total runtime 4 ms.
[2026-05-27 04:58:18] [INFO ] Implicit Places using invariants in 300 ms returned []
[2026-05-27 04:58:18] [INFO ] Invariant cache hit.
[2026-05-27 04:58:19] [INFO ] Implicit Places using invariants and state equation in 791 ms returned []
Implicit Place search using SMT with State Equation took 1093 ms to find 0 implicit places.
Running 633 sub problems to find dead transitions.
[2026-05-27 04:58:19] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/378 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 633 unsolved
At refinement iteration 1 (OVERLAPS) 1/379 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 633 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 379/1013 variables, and 18 constraints, problems are : Problem set: 0 solved, 633 unsolved in 30027 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 0/379 constraints, PredecessorRefiner: 633/633 constraints, Known Traps: 8/8 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 633 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/378 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 633 unsolved
At refinement iteration 1 (OVERLAPS) 1/379 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 633 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/379 variables, 8/18 constraints. Problems are: Problem set: 0 solved, 633 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/379 variables, 10/28 constraints. Problems are: Problem set: 0 solved, 633 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 379/1013 variables, and 28 constraints, problems are : Problem set: 0 solved, 633 unsolved in 30026 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 0/379 constraints, PredecessorRefiner: 0/633 constraints, Known Traps: 18/18 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60191ms problems are : Problem set: 0 solved, 633 unsolved
Search for dead transitions found 0 dead transitions in 60193ms
Starting structural reductions in LTL mode, iteration 1 : 379/498 places, 634/823 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 61374 ms. Remains : 379/498 places, 634/823 transitions.
[2026-05-27 04:59:19] [INFO ] Flatten gal took : 18 ms
[2026-05-27 04:59:19] [INFO ] Flatten gal took : 20 ms
[2026-05-27 04:59:19] [INFO ] Input system was already deterministic with 634 transitions.
[2026-05-27 04:59:19] [INFO ] Flatten gal took : 20 ms
[2026-05-27 04:59:19] [INFO ] Flatten gal took : 20 ms
[2026-05-27 04:59:19] [INFO ] Time to serialize gal into /tmp/CTLCardinality12670992239963726000.gal : 5 ms
[2026-05-27 04:59:19] [INFO ] Time to serialize properties into /tmp/CTLCardinality1737861121454375512.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/CTLCardinality12670992239963726000.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1737861121454375512.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-27 04:59:49] [INFO ] Flatten gal took : 12 ms
[2026-05-27 04:59:49] [INFO ] Applying decomposition
[2026-05-27 04:59:49] [INFO ] Flatten gal took : 12 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/graph1727952373468706250.txt' '-o' '/tmp/graph1727952373468706250.bin' '-w' '/tmp/graph1727952373468706250.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1727952373468706250.bin' '-l' '-1' '-v' '-w' '/tmp/graph1727952373468706250.weights' '-q' '0' '-e' '0.001'
[2026-05-27 04:59:49] [INFO ] Decomposing Gal with order
[2026-05-27 04:59:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 04:59:49] [INFO ] Removed a total of 690 redundant transitions.
[2026-05-27 04:59:49] [INFO ] Flatten gal took : 28 ms
[2026-05-27 04:59:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 16 labels/synchronizations in 6 ms.
[2026-05-27 04:59:49] [INFO ] Time to serialize gal into /tmp/CTLCardinality4454481787417394948.gal : 5 ms
[2026-05-27 04:59:49] [INFO ] Time to serialize properties into /tmp/CTLCardinality16905892000375562633.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/CTLCardinality4454481787417394948.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16905892000375562633.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 : 498/498 places, 823/823 transitions.
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 495 transition count 823
Discarding 33 places :
Symmetric choice reduction at 1 with 33 rule applications. Total rules 36 place count 462 transition count 788
Iterating global reduction 1 with 33 rules applied. Total rules applied 69 place count 462 transition count 788
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 70 place count 462 transition count 787
Discarding 11 places :
Symmetric choice reduction at 2 with 11 rule applications. Total rules 81 place count 451 transition count 769
Iterating global reduction 2 with 11 rules applied. Total rules applied 92 place count 451 transition count 769
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 94 place count 449 transition count 765
Iterating global reduction 2 with 2 rules applied. Total rules applied 96 place count 449 transition count 765
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 97 place count 448 transition count 763
Iterating global reduction 2 with 1 rules applied. Total rules applied 98 place count 448 transition count 763
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 99 place count 447 transition count 760
Iterating global reduction 2 with 1 rules applied. Total rules applied 100 place count 447 transition count 760
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 101 place count 446 transition count 758
Iterating global reduction 2 with 1 rules applied. Total rules applied 102 place count 446 transition count 758
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 103 place count 445 transition count 755
Iterating global reduction 2 with 1 rules applied. Total rules applied 104 place count 445 transition count 755
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 105 place count 444 transition count 753
Iterating global reduction 2 with 1 rules applied. Total rules applied 106 place count 444 transition count 753
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 107 place count 443 transition count 750
Iterating global reduction 2 with 1 rules applied. Total rules applied 108 place count 443 transition count 750
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 109 place count 442 transition count 748
Iterating global reduction 2 with 1 rules applied. Total rules applied 110 place count 442 transition count 748
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 111 place count 441 transition count 745
Iterating global reduction 2 with 1 rules applied. Total rules applied 112 place count 441 transition count 745
Applied a total of 112 rules in 67 ms. Remains 441 /498 variables (removed 57) and now considering 745/823 (removed 78) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-512586160711654222.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1643665868709780065.kers'
[2026-05-27 05:00:19] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-512586160711654222.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1643665868709780065.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 745 rows 441 cols 2318 entries
Finished phase 1 with 431 SingleSign rule and 0 generalized
[2026-05-27 05:00:19] [INFO ] Computed 10 invariants in 3 ms
Computed 10 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-1643665868709780065.kers
Total runtime 4 ms.
[2026-05-27 05:00:20] [INFO ] Implicit Places using invariants in 475 ms returned []
[2026-05-27 05:00:20] [INFO ] Invariant cache hit.
[2026-05-27 05:00:21] [INFO ] Implicit Places using invariants and state equation in 941 ms returned []
Implicit Place search using SMT with State Equation took 1418 ms to find 0 implicit places.
Running 744 sub problems to find dead transitions.
[2026-05-27 05:00:21] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/440 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 744 unsolved
At refinement iteration 1 (OVERLAPS) 1/441 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 744 unsolved
SMT process timed out in 30245ms, After SMT, problems are : Problem set: 0 solved, 744 unsolved
Search for dead transitions found 0 dead transitions in 30247ms
Starting structural reductions in LTL mode, iteration 1 : 441/498 places, 745/823 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 31734 ms. Remains : 441/498 places, 745/823 transitions.
[2026-05-27 05:00:51] [INFO ] Flatten gal took : 15 ms
[2026-05-27 05:00:51] [INFO ] Flatten gal took : 17 ms
[2026-05-27 05:00:51] [INFO ] Input system was already deterministic with 745 transitions.
[2026-05-27 05:00:51] [INFO ] Flatten gal took : 17 ms
[2026-05-27 05:00:51] [INFO ] Flatten gal took : 18 ms
[2026-05-27 05:00:51] [INFO ] Time to serialize gal into /tmp/CTLCardinality8638729316083674636.gal : 4 ms
[2026-05-27 05:00:51] [INFO ] Time to serialize properties into /tmp/CTLCardinality10018998365298850474.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/CTLCardinality8638729316083674636.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10018998365298850474.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-27 05:01:21] [INFO ] Flatten gal took : 14 ms
[2026-05-27 05:01:21] [INFO ] Applying decomposition
[2026-05-27 05:01:21] [INFO ] Flatten gal took : 14 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/graph1438385686742209363.txt' '-o' '/tmp/graph1438385686742209363.bin' '-w' '/tmp/graph1438385686742209363.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1438385686742209363.bin' '-l' '-1' '-v' '-w' '/tmp/graph1438385686742209363.weights' '-q' '0' '-e' '0.001'
[2026-05-27 05:01:21] [INFO ] Decomposing Gal with order
[2026-05-27 05:01:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 05:01:21] [INFO ] Removed a total of 780 redundant transitions.
[2026-05-27 05:01:21] [INFO ] Flatten gal took : 35 ms
[2026-05-27 05:01:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 32 labels/synchronizations in 7 ms.
[2026-05-27 05:01:21] [INFO ] Time to serialize gal into /tmp/CTLCardinality2384628403254117928.gal : 5 ms
[2026-05-27 05:01:21] [INFO ] Time to serialize properties into /tmp/CTLCardinality6637137076203115039.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/CTLCardinality2384628403254117928.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6637137076203115039.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 : 498/498 places, 823/823 transitions.
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 495 transition count 823
Discarding 51 places :
Symmetric choice reduction at 1 with 51 rule applications. Total rules 54 place count 444 transition count 765
Iterating global reduction 1 with 51 rules applied. Total rules applied 105 place count 444 transition count 765
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 106 place count 444 transition count 764
Discarding 21 places :
Symmetric choice reduction at 2 with 21 rule applications. Total rules 127 place count 423 transition count 732
Iterating global reduction 2 with 21 rules applied. Total rules applied 148 place count 423 transition count 732
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 155 place count 416 transition count 719
Iterating global reduction 2 with 7 rules applied. Total rules applied 162 place count 416 transition count 719
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 163 place count 416 transition count 718
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 166 place count 413 transition count 710
Iterating global reduction 3 with 3 rules applied. Total rules applied 169 place count 413 transition count 710
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 172 place count 410 transition count 703
Iterating global reduction 3 with 3 rules applied. Total rules applied 175 place count 410 transition count 703
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 178 place count 407 transition count 695
Iterating global reduction 3 with 3 rules applied. Total rules applied 181 place count 407 transition count 695
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 184 place count 404 transition count 688
Iterating global reduction 3 with 3 rules applied. Total rules applied 187 place count 404 transition count 688
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 190 place count 401 transition count 680
Iterating global reduction 3 with 3 rules applied. Total rules applied 193 place count 401 transition count 680
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 196 place count 398 transition count 673
Iterating global reduction 3 with 3 rules applied. Total rules applied 199 place count 398 transition count 673
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 202 place count 395 transition count 665
Iterating global reduction 3 with 3 rules applied. Total rules applied 205 place count 395 transition count 665
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 208 place count 392 transition count 658
Iterating global reduction 3 with 3 rules applied. Total rules applied 211 place count 392 transition count 658
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 214 place count 389 transition count 650
Iterating global reduction 3 with 3 rules applied. Total rules applied 217 place count 389 transition count 650
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 220 place count 386 transition count 644
Iterating global reduction 3 with 3 rules applied. Total rules applied 223 place count 386 transition count 644
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 226 place count 383 transition count 638
Iterating global reduction 3 with 3 rules applied. Total rules applied 229 place count 383 transition count 638
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 232 place count 380 transition count 633
Iterating global reduction 3 with 3 rules applied. Total rules applied 235 place count 380 transition count 633
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 237 place count 378 transition count 631
Iterating global reduction 3 with 2 rules applied. Total rules applied 239 place count 378 transition count 631
Applied a total of 239 rules in 87 ms. Remains 378 /498 variables (removed 120) and now considering 631/823 (removed 192) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9719004545165748037.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-18089493708089058061.kers'
[2026-05-27 05:01:51] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9719004545165748037.kers, --Pflows, --basisKERS=/tmp/petrispot-output-18089493708089058061.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 631 rows 378 cols 1934 entries
Finished phase 1 with 368 SingleSign rule and 0 generalized
[2026-05-27 05:01:51] [INFO ] Computed 10 invariants in 3 ms
Computed 10 P flows in 4 ms.
Exported basis to /tmp/petrispot-output-18089493708089058061.kers
Total runtime 5 ms.
[2026-05-27 05:01:52] [INFO ] Implicit Places using invariants in 316 ms returned []
[2026-05-27 05:01:52] [INFO ] Invariant cache hit.
[2026-05-27 05:01:53] [INFO ] Implicit Places using invariants and state equation in 995 ms returned []
Implicit Place search using SMT with State Equation took 1313 ms to find 0 implicit places.
Running 630 sub problems to find dead transitions.
[2026-05-27 05:01:53] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/377 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 630 unsolved
At refinement iteration 1 (OVERLAPS) 1/378 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 630 unsolved
SMT process timed out in 30243ms, After SMT, problems are : Problem set: 0 solved, 630 unsolved
Search for dead transitions found 0 dead transitions in 30245ms
Starting structural reductions in LTL mode, iteration 1 : 378/498 places, 631/823 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 31649 ms. Remains : 378/498 places, 631/823 transitions.
[2026-05-27 05:02:23] [INFO ] Flatten gal took : 18 ms
[2026-05-27 05:02:23] [INFO ] Flatten gal took : 20 ms
[2026-05-27 05:02:23] [INFO ] Input system was already deterministic with 631 transitions.
[2026-05-27 05:02:23] [INFO ] Flatten gal took : 19 ms
[2026-05-27 05:02:23] [INFO ] Flatten gal took : 19 ms
[2026-05-27 05:02:23] [INFO ] Time to serialize gal into /tmp/CTLCardinality5791308796867151339.gal : 6 ms
[2026-05-27 05:02:23] [INFO ] Time to serialize properties into /tmp/CTLCardinality4682290165916737266.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/CTLCardinality5791308796867151339.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4682290165916737266.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-27 05:02:53] [INFO ] Flatten gal took : 13 ms
[2026-05-27 05:02:53] [INFO ] Applying decomposition
[2026-05-27 05:02:53] [INFO ] Flatten gal took : 12 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/graph4486071672250118898.txt' '-o' '/tmp/graph4486071672250118898.bin' '-w' '/tmp/graph4486071672250118898.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph4486071672250118898.bin' '-l' '-1' '-v' '-w' '/tmp/graph4486071672250118898.weights' '-q' '0' '-e' '0.001'
[2026-05-27 05:02:53] [INFO ] Decomposing Gal with order
[2026-05-27 05:02:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 05:02:53] [INFO ] Removed a total of 682 redundant transitions.
[2026-05-27 05:02:53] [INFO ] Flatten gal took : 27 ms
[2026-05-27 05:02:53] [INFO ] Fuse similar labels procedure discarded/fused a total of 12 labels/synchronizations in 4 ms.
[2026-05-27 05:02:53] [INFO ] Time to serialize gal into /tmp/CTLCardinality1943619728240040420.gal : 6 ms
[2026-05-27 05:02:53] [INFO ] Time to serialize properties into /tmp/CTLCardinality2440059798642320973.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/CTLCardinality1943619728240040420.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2440059798642320973.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 : 498/498 places, 823/823 transitions.
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 495 transition count 823
Discarding 50 places :
Symmetric choice reduction at 1 with 50 rule applications. Total rules 53 place count 445 transition count 766
Iterating global reduction 1 with 50 rules applied. Total rules applied 103 place count 445 transition count 766
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 104 place count 445 transition count 765
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 124 place count 425 transition count 735
Iterating global reduction 2 with 20 rules applied. Total rules applied 144 place count 425 transition count 735
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 151 place count 418 transition count 722
Iterating global reduction 2 with 7 rules applied. Total rules applied 158 place count 418 transition count 722
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 159 place count 418 transition count 721
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 162 place count 415 transition count 713
Iterating global reduction 3 with 3 rules applied. Total rules applied 165 place count 415 transition count 713
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 168 place count 412 transition count 706
Iterating global reduction 3 with 3 rules applied. Total rules applied 171 place count 412 transition count 706
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 173 place count 410 transition count 701
Iterating global reduction 3 with 2 rules applied. Total rules applied 175 place count 410 transition count 701
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 176 place count 409 transition count 698
Iterating global reduction 3 with 1 rules applied. Total rules applied 177 place count 409 transition count 698
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 178 place count 408 transition count 696
Iterating global reduction 3 with 1 rules applied. Total rules applied 179 place count 408 transition count 696
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 180 place count 407 transition count 693
Iterating global reduction 3 with 1 rules applied. Total rules applied 181 place count 407 transition count 693
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 182 place count 406 transition count 691
Iterating global reduction 3 with 1 rules applied. Total rules applied 183 place count 406 transition count 691
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 184 place count 405 transition count 688
Iterating global reduction 3 with 1 rules applied. Total rules applied 185 place count 405 transition count 688
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 186 place count 404 transition count 686
Iterating global reduction 3 with 1 rules applied. Total rules applied 187 place count 404 transition count 686
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 188 place count 403 transition count 684
Iterating global reduction 3 with 1 rules applied. Total rules applied 189 place count 403 transition count 684
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 190 place count 402 transition count 682
Iterating global reduction 3 with 1 rules applied. Total rules applied 191 place count 402 transition count 682
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 192 place count 401 transition count 681
Iterating global reduction 3 with 1 rules applied. Total rules applied 193 place count 401 transition count 681
Applied a total of 193 rules in 137 ms. Remains 401 /498 variables (removed 97) and now considering 681/823 (removed 142) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17086062995398212648.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11362350146386745278.kers'
[2026-05-27 05:03:23] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17086062995398212648.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11362350146386745278.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 681 rows 401 cols 2128 entries
Finished phase 1 with 391 SingleSign rule and 0 generalized
[2026-05-27 05:03:23] [INFO ] Computed 10 invariants in 5 ms
Computed 10 P flows in 5 ms.
Exported basis to /tmp/petrispot-output-11362350146386745278.kers
Total runtime 7 ms.
[2026-05-27 05:03:24] [INFO ] Implicit Places using invariants in 465 ms returned []
[2026-05-27 05:03:24] [INFO ] Invariant cache hit.
[2026-05-27 05:03:25] [INFO ] Implicit Places using invariants and state equation in 1098 ms returned []
Implicit Place search using SMT with State Equation took 1566 ms to find 0 implicit places.
Running 680 sub problems to find dead transitions.
[2026-05-27 05:03:25] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/400 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 680 unsolved
At refinement iteration 1 (OVERLAPS) 1/401 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 401/1082 variables, and 20 constraints, problems are : Problem set: 0 solved, 680 unsolved in 30033 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 0/401 constraints, PredecessorRefiner: 680/680 constraints, Known Traps: 10/10 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 680 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/400 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 680 unsolved
At refinement iteration 1 (OVERLAPS) 1/401 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 680 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/401 variables, 10/20 constraints. Problems are: Problem set: 0 solved, 680 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/401 variables, 2/22 constraints. Problems are: Problem set: 0 solved, 680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 401/1082 variables, and 22 constraints, problems are : Problem set: 0 solved, 680 unsolved in 30030 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 0/401 constraints, PredecessorRefiner: 0/680 constraints, Known Traps: 12/12 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60276ms problems are : Problem set: 0 solved, 680 unsolved
Search for dead transitions found 0 dead transitions in 60278ms
Starting structural reductions in LTL mode, iteration 1 : 401/498 places, 681/823 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 61984 ms. Remains : 401/498 places, 681/823 transitions.
[2026-05-27 05:04:25] [INFO ] Flatten gal took : 19 ms
[2026-05-27 05:04:25] [INFO ] Flatten gal took : 21 ms
[2026-05-27 05:04:25] [INFO ] Input system was already deterministic with 681 transitions.
[2026-05-27 05:04:25] [INFO ] Flatten gal took : 22 ms
[2026-05-27 05:04:25] [INFO ] Flatten gal took : 22 ms
[2026-05-27 05:04:25] [INFO ] Time to serialize gal into /tmp/CTLCardinality1128326925365304328.gal : 5 ms
[2026-05-27 05:04:25] [INFO ] Time to serialize properties into /tmp/CTLCardinality6004471547750863753.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/CTLCardinality1128326925365304328.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6004471547750863753.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-27 05:04:56] [INFO ] Flatten gal took : 13 ms
[2026-05-27 05:04:56] [INFO ] Applying decomposition
[2026-05-27 05:04:56] [INFO ] Flatten gal took : 12 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/graph13607993074305156245.txt' '-o' '/tmp/graph13607993074305156245.bin' '-w' '/tmp/graph13607993074305156245.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13607993074305156245.bin' '-l' '-1' '-v' '-w' '/tmp/graph13607993074305156245.weights' '-q' '0' '-e' '0.001'
[2026-05-27 05:04:56] [INFO ] Decomposing Gal with order
[2026-05-27 05:04:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 05:04:56] [INFO ] Removed a total of 765 redundant transitions.
[2026-05-27 05:04:56] [INFO ] Flatten gal took : 28 ms
[2026-05-27 05:04:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 50 labels/synchronizations in 12 ms.
[2026-05-27 05:04:56] [INFO ] Time to serialize gal into /tmp/CTLCardinality482601778954665197.gal : 5 ms
[2026-05-27 05:04:56] [INFO ] Time to serialize properties into /tmp/CTLCardinality13602342648889096473.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/CTLCardinality482601778954665197.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13602342648889096473.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 498/498 places, 823/823 transitions.
Graph (trivial) has 346 edges and 498 vertex of which 11 / 498 are part of one of the 3 SCC in 1 ms
Free SCC test removed 8 places
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Graph (complete) has 1514 edges and 490 vertex of which 488 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.2 ms
Discarding 2 places :
Also discarding 0 output transitions
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 71 transitions
Trivial Post-agglo rules discarded 71 transitions
Performed 71 trivial Post agglomeration. Transition count delta: 71
Iterating post reduction 0 with 71 rules applied. Total rules applied 73 place count 487 transition count 742
Reduce places removed 71 places and 0 transitions.
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 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 1 with 75 rules applied. Total rules applied 148 place count 416 transition count 738
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 149 place count 415 transition count 738
Performed 28 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 28 Pre rules applied. Total rules applied 149 place count 415 transition count 710
Deduced a syphon composed of 28 places in 0 ms
Reduce places removed 28 places and 0 transitions.
Iterating global reduction 3 with 56 rules applied. Total rules applied 205 place count 387 transition count 710
Discarding 32 places :
Symmetric choice reduction at 3 with 32 rule applications. Total rules 237 place count 355 transition count 670
Iterating global reduction 3 with 32 rules applied. Total rules applied 269 place count 355 transition count 670
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 270 place count 355 transition count 669
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 5 Pre rules applied. Total rules applied 270 place count 355 transition count 664
Deduced a syphon composed of 5 places in 0 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 4 with 10 rules applied. Total rules applied 280 place count 350 transition count 664
Discarding 12 places :
Symmetric choice reduction at 4 with 12 rule applications. Total rules 292 place count 338 transition count 645
Iterating global reduction 4 with 12 rules applied. Total rules applied 304 place count 338 transition count 645
Discarding 5 places :
Symmetric choice reduction at 4 with 5 rule applications. Total rules 309 place count 333 transition count 635
Iterating global reduction 4 with 5 rules applied. Total rules applied 314 place count 333 transition count 635
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 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 4 with 2 rules applied. Total rules applied 316 place count 333 transition count 633
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 317 place count 332 transition count 633
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 319 place count 330 transition count 628
Iterating global reduction 6 with 2 rules applied. Total rules applied 321 place count 330 transition count 628
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 323 place count 328 transition count 623
Iterating global reduction 6 with 2 rules applied. Total rules applied 325 place count 328 transition count 623
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 327 place count 326 transition count 618
Iterating global reduction 6 with 2 rules applied. Total rules applied 329 place count 326 transition count 618
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 331 place count 324 transition count 613
Iterating global reduction 6 with 2 rules applied. Total rules applied 333 place count 324 transition count 613
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 335 place count 322 transition count 608
Iterating global reduction 6 with 2 rules applied. Total rules applied 337 place count 322 transition count 608
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 339 place count 320 transition count 603
Iterating global reduction 6 with 2 rules applied. Total rules applied 341 place count 320 transition count 603
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 343 place count 318 transition count 598
Iterating global reduction 6 with 2 rules applied. Total rules applied 345 place count 318 transition count 598
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 347 place count 316 transition count 593
Iterating global reduction 6 with 2 rules applied. Total rules applied 349 place count 316 transition count 593
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 351 place count 314 transition count 588
Iterating global reduction 6 with 2 rules applied. Total rules applied 353 place count 314 transition count 588
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 355 place count 312 transition count 584
Iterating global reduction 6 with 2 rules applied. Total rules applied 357 place count 312 transition count 584
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 359 place count 310 transition count 580
Iterating global reduction 6 with 2 rules applied. Total rules applied 361 place count 310 transition count 580
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 362 place count 309 transition count 578
Iterating global reduction 6 with 1 rules applied. Total rules applied 363 place count 309 transition count 578
Performed 26 Post agglomeration using F-continuation condition.Transition count delta: 26
Deduced a syphon composed of 26 places in 0 ms
Reduce places removed 26 places and 0 transitions.
Iterating global reduction 6 with 52 rules applied. Total rules applied 415 place count 283 transition count 552
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 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 6 with 2 rules applied. Total rules applied 417 place count 283 transition count 550
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 418 place count 282 transition count 550
Discarding 4 places :
Symmetric choice reduction at 8 with 4 rule applications. Total rules 422 place count 278 transition count 542
Iterating global reduction 8 with 4 rules applied. Total rules applied 426 place count 278 transition count 542
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 427 place count 277 transition count 539
Iterating global reduction 8 with 1 rules applied. Total rules applied 428 place count 277 transition count 539
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 429 place count 276 transition count 537
Iterating global reduction 8 with 1 rules applied. Total rules applied 430 place count 276 transition count 537
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 431 place count 275 transition count 534
Iterating global reduction 8 with 1 rules applied. Total rules applied 432 place count 275 transition count 534
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 433 place count 274 transition count 532
Iterating global reduction 8 with 1 rules applied. Total rules applied 434 place count 274 transition count 532
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 435 place count 273 transition count 529
Iterating global reduction 8 with 1 rules applied. Total rules applied 436 place count 273 transition count 529
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 437 place count 272 transition count 527
Iterating global reduction 8 with 1 rules applied. Total rules applied 438 place count 272 transition count 527
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 439 place count 271 transition count 524
Iterating global reduction 8 with 1 rules applied. Total rules applied 440 place count 271 transition count 524
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 441 place count 270 transition count 522
Iterating global reduction 8 with 1 rules applied. Total rules applied 442 place count 270 transition count 522
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 443 place count 269 transition count 519
Iterating global reduction 8 with 1 rules applied. Total rules applied 444 place count 269 transition count 519
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 445 place count 268 transition count 517
Iterating global reduction 8 with 1 rules applied. Total rules applied 446 place count 268 transition count 517
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 447 place count 267 transition count 515
Iterating global reduction 8 with 1 rules applied. Total rules applied 448 place count 267 transition count 515
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 449 place count 266 transition count 513
Iterating global reduction 8 with 1 rules applied. Total rules applied 450 place count 266 transition count 513
Partial Post-agglomeration rule applied 1 times.
Drop transitions (Partial Post agglomeration) removed 1 transitions
Iterating global reduction 8 with 1 rules applied. Total rules applied 451 place count 266 transition count 513
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 8 with 2 rules applied. Total rules applied 453 place count 264 transition count 511
Applied a total of 453 rules in 264 ms. Remains 264 /498 variables (removed 234) and now considering 511/823 (removed 312) transitions.
[2026-05-27 05:05:26] [INFO ] Flow matrix only has 506 transitions (discarded 5 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4618337144561963960.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14066295874893131159.kers'
[2026-05-27 05:05:26] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4618337144561963960.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14066295874893131159.kers]
Normalized transition count is 505 out of 506 initially.
Culled 0 columns in 0 ms.
// Phase 1: matrix 505 rows 264 cols 1664 entries
Finished phase 1 with 254 SingleSign rule and 0 generalized
[2026-05-27 05:05:26] [INFO ] Computed 10 invariants in 4 ms
Computed 10 P flows in 4 ms.
Exported basis to /tmp/petrispot-output-14066295874893131159.kers
Total runtime 5 ms.
[2026-05-27 05:05:26] [INFO ] Implicit Places using invariants in 348 ms returned []
[2026-05-27 05:05:26] [INFO ] Flow matrix only has 506 transitions (discarded 5 similar events)
[2026-05-27 05:05:26] [INFO ] Invariant cache hit.
[2026-05-27 05:05:27] [INFO ] State equation strengthened by 3 read => feed constraints.
[2026-05-27 05:05:28] [INFO ] Implicit Places using invariants and state equation in 1193 ms returned []
Implicit Place search using SMT with State Equation took 1544 ms to find 0 implicit places.
[2026-05-27 05:05:28] [INFO ] Redundant transitions in 7 ms returned []
Running 498 sub problems to find dead transitions.
[2026-05-27 05:05:28] [INFO ] Flow matrix only has 506 transitions (discarded 5 similar events)
[2026-05-27 05:05:28] [INFO ] Invariant cache hit.
[2026-05-27 05:05:28] [INFO ] State equation strengthened by 3 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/260 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 498 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/260 variables, 9/19 constraints. Problems are: Problem set: 0 solved, 498 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/260 variables, 0/19 constraints. Problems are: Problem set: 0 solved, 498 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 3 (OVERLAPS) 505/765 variables, 260/279 constraints. Problems are: Problem set: 0 solved, 498 unsolved
SMT process timed out in 30135ms, After SMT, problems are : Problem set: 0 solved, 498 unsolved
Search for dead transitions found 0 dead transitions in 30137ms
Starting structural reductions in SI_CTL mode, iteration 1 : 264/498 places, 511/823 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 31963 ms. Remains : 264/498 places, 511/823 transitions.
[2026-05-27 05:05:58] [INFO ] Flatten gal took : 14 ms
[2026-05-27 05:05:58] [INFO ] Flatten gal took : 16 ms
[2026-05-27 05:05:58] [INFO ] Input system was already deterministic with 511 transitions.
[2026-05-27 05:05:58] [INFO ] Flatten gal took : 16 ms
[2026-05-27 05:05:58] [INFO ] Flatten gal took : 17 ms
[2026-05-27 05:05:58] [INFO ] Time to serialize gal into /tmp/CTLCardinality4962754730215500694.gal : 3 ms
[2026-05-27 05:05:58] [INFO ] Time to serialize properties into /tmp/CTLCardinality1905577094133964291.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/CTLCardinality4962754730215500694.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1905577094133964291.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-27 05:06:28] [INFO ] Flatten gal took : 10 ms
[2026-05-27 05:06:28] [INFO ] Applying decomposition
[2026-05-27 05:06:28] [INFO ] Flatten gal took : 10 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/graph12059545107666768511.txt' '-o' '/tmp/graph12059545107666768511.bin' '-w' '/tmp/graph12059545107666768511.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12059545107666768511.bin' '-l' '-1' '-v' '-w' '/tmp/graph12059545107666768511.weights' '-q' '0' '-e' '0.001'
[2026-05-27 05:06:28] [INFO ] Decomposing Gal with order
[2026-05-27 05:06:28] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 05:06:28] [INFO ] Removed a total of 631 redundant transitions.
[2026-05-27 05:06:28] [INFO ] Flatten gal took : 21 ms
[2026-05-27 05:06:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 84 labels/synchronizations in 7 ms.
[2026-05-27 05:06:28] [INFO ] Time to serialize gal into /tmp/CTLCardinality15341121563998904718.gal : 4 ms
[2026-05-27 05:06:28] [INFO ] Time to serialize properties into /tmp/CTLCardinality10787252601129705562.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/CTLCardinality15341121563998904718.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10787252601129705562.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 : 498/498 places, 823/823 transitions.
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 495 transition count 823
Discarding 50 places :
Symmetric choice reduction at 1 with 50 rule applications. Total rules 53 place count 445 transition count 766
Iterating global reduction 1 with 50 rules applied. Total rules applied 103 place count 445 transition count 766
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 104 place count 445 transition count 765
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 123 place count 426 transition count 736
Iterating global reduction 2 with 19 rules applied. Total rules applied 142 place count 426 transition count 736
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 148 place count 420 transition count 726
Iterating global reduction 2 with 6 rules applied. Total rules applied 154 place count 420 transition count 726
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 155 place count 420 transition count 725
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 157 place count 418 transition count 719
Iterating global reduction 3 with 2 rules applied. Total rules applied 159 place count 418 transition count 719
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 161 place count 416 transition count 715
Iterating global reduction 3 with 2 rules applied. Total rules applied 163 place count 416 transition count 715
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 165 place count 414 transition count 709
Iterating global reduction 3 with 2 rules applied. Total rules applied 167 place count 414 transition count 709
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 169 place count 412 transition count 705
Iterating global reduction 3 with 2 rules applied. Total rules applied 171 place count 412 transition count 705
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 173 place count 410 transition count 699
Iterating global reduction 3 with 2 rules applied. Total rules applied 175 place count 410 transition count 699
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 177 place count 408 transition count 695
Iterating global reduction 3 with 2 rules applied. Total rules applied 179 place count 408 transition count 695
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 181 place count 406 transition count 689
Iterating global reduction 3 with 2 rules applied. Total rules applied 183 place count 406 transition count 689
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 185 place count 404 transition count 685
Iterating global reduction 3 with 2 rules applied. Total rules applied 187 place count 404 transition count 685
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 188 place count 403 transition count 682
Iterating global reduction 3 with 1 rules applied. Total rules applied 189 place count 403 transition count 682
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 190 place count 402 transition count 680
Iterating global reduction 3 with 1 rules applied. Total rules applied 191 place count 402 transition count 680
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 192 place count 401 transition count 678
Iterating global reduction 3 with 1 rules applied. Total rules applied 193 place count 401 transition count 678
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 194 place count 400 transition count 676
Iterating global reduction 3 with 1 rules applied. Total rules applied 195 place count 400 transition count 676
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 196 place count 399 transition count 675
Iterating global reduction 3 with 1 rules applied. Total rules applied 197 place count 399 transition count 675
Applied a total of 197 rules in 90 ms. Remains 399 /498 variables (removed 99) and now considering 675/823 (removed 148) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-16271998063181921966.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16852064351386015661.kers'
[2026-05-27 05:06:58] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-16271998063181921966.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16852064351386015661.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 675 rows 399 cols 2100 entries
Finished phase 1 with 389 SingleSign rule and 0 generalized
[2026-05-27 05:06:58] [INFO ] Computed 10 invariants in 3 ms
Computed 10 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-16852064351386015661.kers
Total runtime 4 ms.
[2026-05-27 05:06:59] [INFO ] Implicit Places using invariants in 410 ms returned []
[2026-05-27 05:06:59] [INFO ] Invariant cache hit.
[2026-05-27 05:07:00] [INFO ] Implicit Places using invariants and state equation in 1230 ms returned []
Implicit Place search using SMT with State Equation took 1642 ms to find 0 implicit places.
Running 674 sub problems to find dead transitions.
[2026-05-27 05:07:00] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/398 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 674 unsolved
At refinement iteration 1 (OVERLAPS) 1/399 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 674 unsolved
SMT process timed out in 30506ms, After SMT, problems are : Problem set: 0 solved, 674 unsolved
Search for dead transitions found 0 dead transitions in 30507ms
Starting structural reductions in LTL mode, iteration 1 : 399/498 places, 675/823 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 32243 ms. Remains : 399/498 places, 675/823 transitions.
[2026-05-27 05:07:30] [INFO ] Flatten gal took : 19 ms
[2026-05-27 05:07:30] [INFO ] Flatten gal took : 21 ms
[2026-05-27 05:07:30] [INFO ] Input system was already deterministic with 675 transitions.
[2026-05-27 05:07:30] [INFO ] Flatten gal took : 21 ms
[2026-05-27 05:07:30] [INFO ] Flatten gal took : 21 ms
[2026-05-27 05:07:30] [INFO ] Time to serialize gal into /tmp/CTLCardinality10468105209101090263.gal : 5 ms
[2026-05-27 05:07:30] [INFO ] Time to serialize properties into /tmp/CTLCardinality8929035431611466349.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/CTLCardinality10468105209101090263.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8929035431611466349.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-27 05:08:01] [INFO ] Flatten gal took : 13 ms
[2026-05-27 05:08:01] [INFO ] Applying decomposition
[2026-05-27 05:08:01] [INFO ] Flatten gal took : 13 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/graph14683138693747129037.txt' '-o' '/tmp/graph14683138693747129037.bin' '-w' '/tmp/graph14683138693747129037.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph14683138693747129037.bin' '-l' '-1' '-v' '-w' '/tmp/graph14683138693747129037.weights' '-q' '0' '-e' '0.001'
[2026-05-27 05:08:01] [INFO ] Decomposing Gal with order
[2026-05-27 05:08:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 05:08:01] [INFO ] Removed a total of 750 redundant transitions.
[2026-05-27 05:08:01] [INFO ] Flatten gal took : 24 ms
[2026-05-27 05:08:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 31 labels/synchronizations in 6 ms.
[2026-05-27 05:08:01] [INFO ] Time to serialize gal into /tmp/CTLCardinality16881043660467274039.gal : 5 ms
[2026-05-27 05:08:01] [INFO ] Time to serialize properties into /tmp/CTLCardinality760446445344426448.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/CTLCardinality16881043660467274039.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality760446445344426448.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 : 498/498 places, 823/823 transitions.
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 495 transition count 823
Discarding 51 places :
Symmetric choice reduction at 1 with 51 rule applications. Total rules 54 place count 444 transition count 765
Iterating global reduction 1 with 51 rules applied. Total rules applied 105 place count 444 transition count 765
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 106 place count 444 transition count 764
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 125 place count 425 transition count 735
Iterating global reduction 2 with 19 rules applied. Total rules applied 144 place count 425 transition count 735
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 151 place count 418 transition count 722
Iterating global reduction 2 with 7 rules applied. Total rules applied 158 place count 418 transition count 722
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 159 place count 418 transition count 721
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 162 place count 415 transition count 713
Iterating global reduction 3 with 3 rules applied. Total rules applied 165 place count 415 transition count 713
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 168 place count 412 transition count 706
Iterating global reduction 3 with 3 rules applied. Total rules applied 171 place count 412 transition count 706
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 174 place count 409 transition count 698
Iterating global reduction 3 with 3 rules applied. Total rules applied 177 place count 409 transition count 698
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 180 place count 406 transition count 691
Iterating global reduction 3 with 3 rules applied. Total rules applied 183 place count 406 transition count 691
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 186 place count 403 transition count 683
Iterating global reduction 3 with 3 rules applied. Total rules applied 189 place count 403 transition count 683
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 192 place count 400 transition count 676
Iterating global reduction 3 with 3 rules applied. Total rules applied 195 place count 400 transition count 676
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 198 place count 397 transition count 668
Iterating global reduction 3 with 3 rules applied. Total rules applied 201 place count 397 transition count 668
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 204 place count 394 transition count 661
Iterating global reduction 3 with 3 rules applied. Total rules applied 207 place count 394 transition count 661
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 210 place count 391 transition count 653
Iterating global reduction 3 with 3 rules applied. Total rules applied 213 place count 391 transition count 653
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 216 place count 388 transition count 647
Iterating global reduction 3 with 3 rules applied. Total rules applied 219 place count 388 transition count 647
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 222 place count 385 transition count 641
Iterating global reduction 3 with 3 rules applied. Total rules applied 225 place count 385 transition count 641
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 228 place count 382 transition count 636
Iterating global reduction 3 with 3 rules applied. Total rules applied 231 place count 382 transition count 636
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 233 place count 380 transition count 634
Iterating global reduction 3 with 2 rules applied. Total rules applied 235 place count 380 transition count 634
Applied a total of 235 rules in 82 ms. Remains 380 /498 variables (removed 118) and now considering 634/823 (removed 189) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-2817693441707741482.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6539190858124031714.kers'
[2026-05-27 05:08:31] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2817693441707741482.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6539190858124031714.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 634 rows 380 cols 1942 entries
Finished phase 1 with 370 SingleSign rule and 0 generalized
[2026-05-27 05:08:31] [INFO ] Computed 10 invariants in 2 ms
Computed 10 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-6539190858124031714.kers
Total runtime 3 ms.
[2026-05-27 05:08:31] [INFO ] Implicit Places using invariants in 412 ms returned []
[2026-05-27 05:08:31] [INFO ] Invariant cache hit.
[2026-05-27 05:08:32] [INFO ] Implicit Places using invariants and state equation in 1001 ms returned []
Implicit Place search using SMT with State Equation took 1414 ms to find 0 implicit places.
Running 633 sub problems to find dead transitions.
[2026-05-27 05:08:32] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/379 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 633 unsolved
At refinement iteration 1 (OVERLAPS) 1/380 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 633 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 380/1014 variables, and 21 constraints, problems are : Problem set: 0 solved, 633 unsolved in 30027 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 0/380 constraints, PredecessorRefiner: 633/633 constraints, Known Traps: 11/11 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 633 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/379 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 633 unsolved
At refinement iteration 1 (OVERLAPS) 1/380 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 633 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/380 variables, 11/21 constraints. Problems are: Problem set: 0 solved, 633 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/380 variables, 10/31 constraints. Problems are: Problem set: 0 solved, 633 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 380/1014 variables, and 33 constraints, problems are : Problem set: 0 solved, 633 unsolved in 30029 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 0/380 constraints, PredecessorRefiner: 0/633 constraints, Known Traps: 23/23 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60200ms problems are : Problem set: 0 solved, 633 unsolved
Search for dead transitions found 0 dead transitions in 60202ms
Starting structural reductions in LTL mode, iteration 1 : 380/498 places, 634/823 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 61701 ms. Remains : 380/498 places, 634/823 transitions.
[2026-05-27 05:09:32] [INFO ] Flatten gal took : 17 ms
[2026-05-27 05:09:32] [INFO ] Flatten gal took : 20 ms
[2026-05-27 05:09:32] [INFO ] Input system was already deterministic with 634 transitions.
[2026-05-27 05:09:32] [INFO ] Flatten gal took : 19 ms
[2026-05-27 05:09:33] [INFO ] Flatten gal took : 19 ms
[2026-05-27 05:09:33] [INFO ] Time to serialize gal into /tmp/CTLCardinality1474179974772525824.gal : 7 ms
[2026-05-27 05:09:33] [INFO ] Time to serialize properties into /tmp/CTLCardinality2252029173172189376.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/CTLCardinality1474179974772525824.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2252029173172189376.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-27 05:10:03] [INFO ] Flatten gal took : 11 ms
[2026-05-27 05:10:03] [INFO ] Applying decomposition
[2026-05-27 05:10:03] [INFO ] Flatten gal took : 11 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/graph13557628494490628415.txt' '-o' '/tmp/graph13557628494490628415.bin' '-w' '/tmp/graph13557628494490628415.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13557628494490628415.bin' '-l' '-1' '-v' '-w' '/tmp/graph13557628494490628415.weights' '-q' '0' '-e' '0.001'
[2026-05-27 05:10:03] [INFO ] Decomposing Gal with order
[2026-05-27 05:10:03] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 05:10:03] [INFO ] Removed a total of 682 redundant transitions.
[2026-05-27 05:10:03] [INFO ] Flatten gal took : 21 ms
[2026-05-27 05:10:03] [INFO ] Fuse similar labels procedure discarded/fused a total of 8 labels/synchronizations in 3 ms.
[2026-05-27 05:10:03] [INFO ] Time to serialize gal into /tmp/CTLCardinality411431856694320238.gal : 4 ms
[2026-05-27 05:10:03] [INFO ] Time to serialize properties into /tmp/CTLCardinality10143932435037810574.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/CTLCardinality411431856694320238.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10143932435037810574.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 : 498/498 places, 823/823 transitions.
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 495 transition count 823
Discarding 50 places :
Symmetric choice reduction at 1 with 50 rule applications. Total rules 53 place count 445 transition count 766
Iterating global reduction 1 with 50 rules applied. Total rules applied 103 place count 445 transition count 766
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 104 place count 445 transition count 765
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 124 place count 425 transition count 734
Iterating global reduction 2 with 20 rules applied. Total rules applied 144 place count 425 transition count 734
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 151 place count 418 transition count 721
Iterating global reduction 2 with 7 rules applied. Total rules applied 158 place count 418 transition count 721
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 159 place count 418 transition count 720
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 161 place count 416 transition count 715
Iterating global reduction 3 with 2 rules applied. Total rules applied 163 place count 416 transition count 715
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 165 place count 414 transition count 710
Iterating global reduction 3 with 2 rules applied. Total rules applied 167 place count 414 transition count 710
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 169 place count 412 transition count 705
Iterating global reduction 3 with 2 rules applied. Total rules applied 171 place count 412 transition count 705
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 173 place count 410 transition count 700
Iterating global reduction 3 with 2 rules applied. Total rules applied 175 place count 410 transition count 700
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 177 place count 408 transition count 695
Iterating global reduction 3 with 2 rules applied. Total rules applied 179 place count 408 transition count 695
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 181 place count 406 transition count 690
Iterating global reduction 3 with 2 rules applied. Total rules applied 183 place count 406 transition count 690
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 185 place count 404 transition count 685
Iterating global reduction 3 with 2 rules applied. Total rules applied 187 place count 404 transition count 685
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 189 place count 402 transition count 680
Iterating global reduction 3 with 2 rules applied. Total rules applied 191 place count 402 transition count 680
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 193 place count 400 transition count 675
Iterating global reduction 3 with 2 rules applied. Total rules applied 195 place count 400 transition count 675
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 197 place count 398 transition count 671
Iterating global reduction 3 with 2 rules applied. Total rules applied 199 place count 398 transition count 671
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 201 place count 396 transition count 667
Iterating global reduction 3 with 2 rules applied. Total rules applied 203 place count 396 transition count 667
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 205 place count 394 transition count 664
Iterating global reduction 3 with 2 rules applied. Total rules applied 207 place count 394 transition count 664
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 208 place count 393 transition count 663
Iterating global reduction 3 with 1 rules applied. Total rules applied 209 place count 393 transition count 663
Applied a total of 209 rules in 83 ms. Remains 393 /498 variables (removed 105) and now considering 663/823 (removed 160) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6846079509058733216.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2476077488610878253.kers'
[2026-05-27 05:10:33] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6846079509058733216.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2476077488610878253.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 663 rows 393 cols 2056 entries
Finished phase 1 with 383 SingleSign rule and 0 generalized
[2026-05-27 05:10:33] [INFO ] Computed 10 invariants in 3 ms
Computed 10 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-2476077488610878253.kers
Total runtime 3 ms.
[2026-05-27 05:10:33] [INFO ] Implicit Places using invariants in 377 ms returned []
[2026-05-27 05:10:33] [INFO ] Invariant cache hit.
[2026-05-27 05:10:34] [INFO ] Implicit Places using invariants and state equation in 764 ms returned []
Implicit Place search using SMT with State Equation took 1143 ms to find 0 implicit places.
Running 662 sub problems to find dead transitions.
[2026-05-27 05:10:34] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/392 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 662 unsolved
At refinement iteration 1 (OVERLAPS) 1/393 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 662 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 393/1056 variables, and 20 constraints, problems are : Problem set: 0 solved, 662 unsolved in 30025 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 0/393 constraints, PredecessorRefiner: 662/662 constraints, Known Traps: 10/10 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 662 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/392 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 662 unsolved
At refinement iteration 1 (OVERLAPS) 1/393 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 662 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/393 variables, 10/20 constraints. Problems are: Problem set: 0 solved, 662 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/393 variables, 1/21 constraints. Problems are: Problem set: 0 solved, 662 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 393/1056 variables, and 21 constraints, problems are : Problem set: 0 solved, 662 unsolved in 30029 ms.
Refiners :[Positive P Invariants (semi-flows): 10/10 constraints, State Equation: 0/393 constraints, PredecessorRefiner: 0/662 constraints, Known Traps: 11/11 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60161ms problems are : Problem set: 0 solved, 662 unsolved
Search for dead transitions found 0 dead transitions in 60163ms
Starting structural reductions in LTL mode, iteration 1 : 393/498 places, 663/823 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 61391 ms. Remains : 393/498 places, 663/823 transitions.
[2026-05-27 05:11:34] [INFO ] Flatten gal took : 18 ms
[2026-05-27 05:11:34] [INFO ] Flatten gal took : 21 ms
[2026-05-27 05:11:34] [INFO ] Input system was already deterministic with 663 transitions.
[2026-05-27 05:11:34] [INFO ] Flatten gal took : 20 ms
[2026-05-27 05:11:34] [INFO ] Flatten gal took : 20 ms
[2026-05-27 05:11:34] [INFO ] Time to serialize gal into /tmp/CTLCardinality907484067337863889.gal : 4 ms
[2026-05-27 05:11:34] [INFO ] Time to serialize properties into /tmp/CTLCardinality6161462319268367243.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/CTLCardinality907484067337863889.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6161462319268367243.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-27 05:12:04] [INFO ] Flatten gal took : 12 ms
[2026-05-27 05:12:04] [INFO ] Applying decomposition
[2026-05-27 05:12:04] [INFO ] Flatten gal took : 12 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/graph6138047096454660354.txt' '-o' '/tmp/graph6138047096454660354.bin' '-w' '/tmp/graph6138047096454660354.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6138047096454660354.bin' '-l' '-1' '-v' '-w' '/tmp/graph6138047096454660354.weights' '-q' '0' '-e' '0.001'
[2026-05-27 05:12:04] [INFO ] Decomposing Gal with order
[2026-05-27 05:12:04] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 05:12:04] [INFO ] Removed a total of 733 redundant transitions.
[2026-05-27 05:12:04] [INFO ] Flatten gal took : 24 ms
[2026-05-27 05:12:04] [INFO ] Fuse similar labels procedure discarded/fused a total of 26 labels/synchronizations in 4 ms.
[2026-05-27 05:12:04] [INFO ] Time to serialize gal into /tmp/CTLCardinality12244852517058080339.gal : 5 ms
[2026-05-27 05:12:04] [INFO ] Time to serialize properties into /tmp/CTLCardinality7719697854843515362.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/CTLCardinality12244852517058080339.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7719697854843515362.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-27 05:12:35] [INFO ] Flatten gal took : 15 ms
[2026-05-27 05:12:35] [INFO ] Flatten gal took : 15 ms
[2026-05-27 05:12:35] [INFO ] Applying decomposition
[2026-05-27 05:12:35] [INFO ] Flatten gal took : 15 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/graph2003079982750727199.txt' '-o' '/tmp/graph2003079982750727199.bin' '-w' '/tmp/graph2003079982750727199.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph2003079982750727199.bin' '-l' '-1' '-v' '-w' '/tmp/graph2003079982750727199.weights' '-q' '0' '-e' '0.001'
[2026-05-27 05:12:35] [INFO ] Decomposing Gal with order
[2026-05-27 05:12:35] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 05:12:35] [INFO ] Removed a total of 845 redundant transitions.
[2026-05-27 05:12:35] [INFO ] Flatten gal took : 31 ms
[2026-05-27 05:12:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 24 labels/synchronizations in 6 ms.
[2026-05-27 05:12:35] [INFO ] Time to serialize gal into /tmp/CTLCardinality17063692591957688284.gal : 6 ms
[2026-05-27 05:12:35] [INFO ] Time to serialize properties into /tmp/CTLCardinality1897104936618021905.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/CTLCardinality17063692591957688284.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1897104936618021905.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 15 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
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -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 CTLCardinality -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="FireWire-PT-20"
export BK_EXAMINATION="CTLCardinality"
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 FireWire-PT-20, examination is CTLCardinality"
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-177955809000297"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FireWire-PT-20.tgz
mv FireWire-PT-20 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;