About the Execution of ITS-Tools for FamilyReunion-COL-L00100M0010C005P005G002
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8077.987 | 3600000.00 | 4107239.00 | 10559.00 | TTFTF??TFFF?F?TF | 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-177955808900027.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2026-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5973
Executing tool itstools
Input is FamilyReunion-COL-L00100M0010C005P005G002, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r130-smll-177955808900027
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 656K
-rw-r--r-- 1 mcc users 7.1K Mar 6 05:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Mar 6 05:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Mar 6 05:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K Mar 6 05:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 3 18:30 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 7.0K Mar 3 18:30 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.0K Mar 15 10:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Mar 15 10:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Mar 15 10:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 15 10:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Mar 6 05:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 153K Mar 6 05:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Mar 6 05:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 70K Mar 6 05:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 15 10:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 15 10:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 3 18:30 equiv_pt
-rw-r--r-- 1 mcc users 24 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 5 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 140K Mar 3 18:30 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-00
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-01
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-02
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-03
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-04
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-05
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-06
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-07
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-08
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-09
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-10
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-11
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-12
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-13
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-14
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-15
=== Now, execution of the tool begins
BK_START 1779637799172
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=LTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FamilyReunion-COL-L00100M0010C005P005G002
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is COL
LTLCardinality COL
Running Version 202604301425
[2026-05-24 15:50:01] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-24 15:50:01] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-24 15:50:01] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2026-05-24 15:50:02] [WARNING] Using fallBack plugin, rng conformance not checked
[2026-05-24 15:50:03] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1411 ms
[2026-05-24 15:50:03] [INFO ] Detected 5 constant HL places corresponding to 31 PT places.
[2026-05-24 15:50:03] [INFO ] Imported 104 HL places and 66 HL transitions for a total of 40706 PT places and 36972.0 transition bindings in 61 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 21 ms.
Working with output stream class java.io.PrintStream
[2026-05-24 15:50:03] [INFO ] Built PT skeleton of HLPN with 104 places and 66 transitions 198 arcs in 14 ms.
[2026-05-24 15:50:03] [INFO ] Skeletonized 16 HLPN properties in 3 ms.
Initial state reduction rules removed 2 formulas.
FORMULA FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Computed a total of 104 stabilizing places and 66 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 104 transition count 66
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Remains 14 properties that can be checked using skeleton over-approximation.
Reduce places removed 5 places and 0 transitions.
FORMULA FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Computed a total of 99 stabilizing places and 66 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 99 transition count 66
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
RANDOM walk for 40204 steps (8 resets) in 377 ms. (106 steps per ms) remains 20/36 properties
BEST_FIRST walk for 4002 steps (8 resets) in 84 ms. (47 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4002 steps (8 resets) in 49 ms. (80 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 37 ms. (105 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 55 ms. (71 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 34 ms. (114 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 34 ms. (114 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 33 ms. (117 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 22 ms. (174 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 18 ms. (210 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 17 ms. (222 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 18 ms. (210 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 49 ms. (80 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 26 ms. (148 steps per ms) remains 20/20 properties
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-5164428555605100832.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4277362870442797641.kers'
[2026-05-24 15:50:04] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5164428555605100832.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4277362870442797641.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 66 rows 99 cols 188 entries
Finished phase 1 with 45 SingleSign rule and 21 generalized
[2026-05-24 15:50:04] [INFO ] Computed 33 invariants in 0 ms
Computed 33 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-4277362870442797641.kers
Total runtime 2 ms.
Problem AtomicPropp18 is UNSAT
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/24 variables, 0/0 constraints. Problems are: Problem set: 1 solved, 19 unsolved
At refinement iteration 1 (OVERLAPS) 46/70 variables, 8/8 constraints. Problems are: Problem set: 1 solved, 19 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/70 variables, 3/11 constraints. Problems are: Problem set: 1 solved, 19 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/70 variables, 0/11 constraints. Problems are: Problem set: 1 solved, 19 unsolved
At refinement iteration 4 (OVERLAPS) 29/99 variables, 22/33 constraints. Problems are: Problem set: 1 solved, 19 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/99 variables, 0/33 constraints. Problems are: Problem set: 1 solved, 19 unsolved
At refinement iteration 6 (OVERLAPS) 66/165 variables, 99/132 constraints. Problems are: Problem set: 1 solved, 19 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/165 variables, 0/132 constraints. Problems are: Problem set: 1 solved, 19 unsolved
At refinement iteration 8 (OVERLAPS) 0/165 variables, 0/132 constraints. Problems are: Problem set: 1 solved, 19 unsolved
No progress, stopping.
After SMT solving in domain Real declared 165/165 variables, and 132 constraints, problems are : Problem set: 1 solved, 19 unsolved in 1349 ms.
Refiners :[Positive P Invariants (semi-flows): 8/8 constraints, Generalized P Invariants (flows): 25/25 constraints, State Equation: 99/99 constraints, PredecessorRefiner: 20/20 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 1 solved, 19 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/22 variables, 0/0 constraints. Problems are: Problem set: 1 solved, 19 unsolved
At refinement iteration 1 (OVERLAPS) 47/69 variables, 8/8 constraints. Problems are: Problem set: 1 solved, 19 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/69 variables, 3/11 constraints. Problems are: Problem set: 1 solved, 19 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/69 variables, 0/11 constraints. Problems are: Problem set: 1 solved, 19 unsolved
At refinement iteration 4 (OVERLAPS) 30/99 variables, 22/33 constraints. Problems are: Problem set: 1 solved, 19 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/99 variables, 0/33 constraints. Problems are: Problem set: 1 solved, 19 unsolved
At refinement iteration 6 (OVERLAPS) 66/165 variables, 99/132 constraints. Problems are: Problem set: 1 solved, 19 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/165 variables, 19/151 constraints. Problems are: Problem set: 1 solved, 19 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/165 variables, 0/151 constraints. Problems are: Problem set: 1 solved, 19 unsolved
At refinement iteration 9 (OVERLAPS) 0/165 variables, 0/151 constraints. Problems are: Problem set: 1 solved, 19 unsolved
No progress, stopping.
After SMT solving in domain Int declared 165/165 variables, and 151 constraints, problems are : Problem set: 1 solved, 19 unsolved in 1730 ms.
Refiners :[Positive P Invariants (semi-flows): 8/8 constraints, Generalized P Invariants (flows): 25/25 constraints, State Equation: 99/99 constraints, PredecessorRefiner: 19/20 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 3188ms problems are : Problem set: 1 solved, 19 unsolved
Fused 19 Parikh solutions to 14 different solutions.
Finished Parikh walk after 1832 steps, including 0 resets, run visited all 1 properties in 12 ms. (steps per millisecond=152 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Parikh walk visited 19 properties in 3402 ms.
Successfully simplified 1 atomic propositions for a total of 13 simplifications.
[2026-05-24 15:50:11] [INFO ] Flatten gal took : 55 ms
[2026-05-24 15:50:11] [INFO ] Flatten gal took : 16 ms
Transition Gate2ANDJoin forces synchronizations/join behavior on parameter l of sort LegalResident
Transition ReceiveLangChoice forces synchronizations/join behavior on parameter m of sort MICSystem
Symmetric sort wr.t. initial and guards and successors and join/free detected :CINFORMI
Symmetric sort wr.t. initial detected :CINFORMI
Symmetric sort wr.t. initial and guards detected :CINFORMI
Applying symmetric unfolding of full symmetric sort :CINFORMI domain size was 6
Transition Gate1ANDJoin forces synchronizations/join behavior on parameter p of sort PublicAdminOffice
Symmetric sort wr.t. initial and guards and successors and join/free detected :GovernmentCommission
Symmetric sort wr.t. initial detected :GovernmentCommission
Symmetric sort wr.t. initial and guards detected :GovernmentCommission
Applying symmetric unfolding of full symmetric sort :GovernmentCommission domain size was 3
Symmetric sort wr.t. initial and guards and successors and join/free detected :Response
Symmetric sort wr.t. initial detected :Response
Transition SendClearanceToRel : guard parameter $r(Response:2) in guard (EQ $r 0)introduces in Response(2) partition with 2 elements
[2026-05-24 15:50:11] [INFO ] Unfolded HLPN to a Petri net with 37039 places and 31114 transitions 89397 arcs in 553 ms.
[2026-05-24 15:50:11] [INFO ] Unfolded 13 HLPN properties in 2 ms.
Deduced a syphon composed of 101 places in 327 ms
Reduce places removed 122 places and 0 transitions.
Support contains 12252 out of 36917 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 36917/36917 places, 31114/31114 transitions.
Reduce places removed 103 places and 0 transitions.
Discarding 2424 places :
Implicit places reduction removed 2424 places
Iterating post reduction 0 with 2527 rules applied. Total rules applied 2527 place count 34390 transition count 31114
Applied a total of 2527 rules in 1100 ms. Remains 34390 /36917 variables (removed 2527) and now considering 31114/31114 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9779716941432690352.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5938507738148154634.kers'
[2026-05-24 15:50:14] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9779716941432690352.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5938507738148154634.kers]
Culled 0 columns in 66 ms.
// Phase 1: matrix 31114 rows 34390 cols 84145 entries
Finished phase 1 with 20024 SingleSign rule and 8090 generalized
[2026-05-24 15:50:15] [INFO ] Computed 6276 invariants in 1231 ms
Computed 6276 P flows in 1233 ms.
Exported basis to /tmp/petrispot-output-5938507738148154634.kers
Total runtime 1262 ms.
[2026-05-24 15:51:05] [INFO ] Performed 16599/34390 implicitness test of which 102 returned IMPLICIT in 30 seconds.
[2026-05-24 15:51:35] [INFO ] Performed 27582/34390 implicitness test of which 390 returned IMPLICIT in 60 seconds.
[2026-05-24 15:51:51] [INFO ] Implicit Places using invariants in 97155 ms returned [2828, 2829, 2830, 2831, 2832, 2833, 2834, 2835, 2836, 2837, 2838, 2839, 2840, 2841, 2842, 2843, 2844, 2845, 2846, 2847, 2848, 2849, 2850, 2851, 2852, 2853, 2854, 2855, 2856, 2857, 2858, 2859, 2860, 2861, 2862, 2863, 2864, 2865, 2866, 2867, 2868, 2869, 2870, 2871, 2872, 2873, 2874, 2875, 2876, 2877, 2878, 2879, 2880, 2881, 2882, 2883, 2884, 2885, 2886, 2887, 2888, 2889, 2890, 2891, 2892, 2893, 2894, 2895, 2896, 2897, 2898, 2899, 2900, 2901, 2902, 2903, 2904, 2905, 2906, 2907, 2908, 2909, 2910, 2911, 2912, 2913, 2914, 2915, 2916, 2917, 2918, 2919, 2920, 2921, 2922, 2923, 2924, 2925, 2926, 2927, 2928, 6666, 19799, 22123, 22124, 22125, 22126, 22127, 22128, 22129, 22130, 22131, 22132, 22133, 22134, 22135, 22136, 22137, 22138, 22139, 22140, 22141, 22142, 22143, 22144, 22145, 22146, 22147, 22148, 22149, 22150, 22151, 22152, 22153, 22154, 22155, 22156, 22157, 22158, 22159, 22160, 22161, 22162, 22163, 22164, 22165, 22166, 22167, 22168, 22169, 22170, 22171, 22172, 22173, 22174, 22175, 22176, 22177, 22178, 22179, 22180, 22181, 22182, 22183, 22184, 22185, 22186, 22187, 22188, 22189, 22190, 22191, 22192, 22193, 22194, 22195, 22196, 22197, 22198, 22199, 22200, 22201, 22202, 22203, 22204, 22205, 22206, 22207, 22208, 22209, 22210, 22211, 22212, 22213, 22214, 22215, 22216, 22217, 22218, 22219, 22220, 22221, 22222, 22223, 26578, 26579, 26580, 26581, 26582, 26583, 26584, 26585, 26586, 26587, 26588, 26589, 26590, 26591, 26592, 26593, 26594, 26595, 26596, 26597, 26598, 26599, 26600, 26601, 26602, 26603, 26604, 26605, 26606, 26607, 26608, 26609, 26610, 26611, 26612, 26613, 26614, 26615, 26616, 26617, 26618, 26619, 26620, 26621, 26622, 26623, 26624, 26625, 26626, 26627, 26628, 26629, 26630, 26631, 26632, 26633, 26634, 26635, 26636, 26637, 26638, 26639, 26640, 26641, 26642, 26643, 26644, 26645, 26646, 26647, 26648, 26649, 26650, 26651, 26652, 26653, 26654, 26655, 26656, 26657, 26658, 26659, 26660, 26661, 26662, 26663, 26664, 26665, 26666, 26667, 26668, 26669, 26670, 26671, 26672, 26673, 26674, 26675, 26676, 26677, 26678, 27498, 27499, 27500, 27501, 27502, 27503, 27504, 27505, 27506, 27507, 27508, 27509, 27510, 27511, 27512, 27513, 27514, 27515, 27516, 27517, 27518, 27519, 27520, 27521, 27522, 27523, 27524, 27525, 27526, 27527, 27528, 27529, 27530, 27531, 27532, 27533, 27534, 27535, 27536, 27537, 27538, 27539, 27540, 27541, 27542, 27543, 27544, 27545, 27546, 27547, 27548, 27549, 27550, 27551, 27552, 27553, 27554, 27555, 27556, 27557, 27558, 27559, 27560, 27561, 27562, 27563, 27564, 27565, 27566, 27567, 27568, 27569, 27570, 27571, 27572, 27573, 27574, 27575, 27576, 27577, 27578, 27579, 27580, 27581, 27582, 27583, 27584, 27585, 27586, 27587, 27588, 27589, 27590, 27591, 27592, 27593, 27594, 27595, 27596, 27597, 27598]
Discarding 406 places :
Implicit Place search using SMT only with invariants took 97237 ms to find 406 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 33984/36917 places, 31114/31114 transitions.
Applied a total of 0 rules in 194 ms. Remains 33984 /33984 variables (removed 0) and now considering 31114/31114 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 98549 ms. Remains : 33984/36917 places, 31114/31114 transitions.
Starting structural reductions in LTL mode, iteration 0 : 33984/33984 places, 31114/31114 transitions.
Applied a total of 0 rules in 178 ms. Remains 33984 /33984 variables (removed 0) and now considering 31114/31114 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1116306114584649413.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-18227399341495602209.kers'
[2026-05-24 15:51:51] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1116306114584649413.kers, --Pflows, --basisKERS=/tmp/petrispot-output-18227399341495602209.kers]
Culled 0 columns in 72 ms.
// Phase 1: matrix 31114 rows 33984 cols 80307 entries
Finished phase 1 with 21943 SingleSign rule and 6171 generalized
[2026-05-24 15:51:52] [INFO ] Computed 5870 invariants in 996 ms
Computed 5870 P flows in 997 ms.
Exported basis to /tmp/petrispot-output-18227399341495602209.kers
Total runtime 1038 ms.
[2026-05-24 15:52:40] [INFO ] Performed 22727/33984 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-24 15:52:55] [INFO ] Implicit Places using invariants in 63677 ms returned []
Implicit Place search using SMT only with invariants took 63687 ms to find 0 implicit places.
Running 31013 sub problems to find dead transitions.
[2026-05-24 15:52:55] [INFO ] Invariant cache hit.
SMT process timed out in 124024ms, After SMT, problems are : Problem set: 0 solved, 31013 unsolved
Search for dead transitions found 0 dead transitions in 124281ms
Finished structural reductions in LTL mode , in 1 iterations and 188379 ms. Remains : 33984/33984 places, 31114/31114 transitions.
Support contains 12252 out of 33984 places after structural reductions.
[2026-05-24 15:55:01] [INFO ] Flatten gal took : 1356 ms
[2026-05-24 15:55:02] [INFO ] Flatten gal took : 791 ms
[2026-05-24 15:55:04] [INFO ] Input system was already deterministic with 31114 transitions.
Support contains 12050 out of 33984 places (down from 12252) after GAL structural reductions.
RANDOM walk for 40003 steps (8 resets) in 7895 ms. (5 steps per ms) remains 10/34 properties
BEST_FIRST walk for 40004 steps (8 resets) in 124 ms. (320 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 844 ms. (47 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 231 ms. (172 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 335 ms. (119 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 387 ms. (103 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 286 ms. (139 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 207 ms. (192 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1494 ms. (26 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1334 ms. (29 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 372 ms. (107 steps per ms) remains 10/10 properties
[2026-05-24 15:55:08] [INFO ] Invariant cache hit.
Excessive predecessor constraint size, skipping predecessor.
Problem AtomicPropp17 is UNSAT
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/4053 variables, 0/0 constraints. Problems are: Problem set: 1 solved, 9 unsolved
SMT process timed out in 5208ms, After SMT, problems are : Problem set: 1 solved, 9 unsolved
Fused 9 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 3941 out of 33984 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 33984/33984 places, 31114/31114 transitions.
Graph (complete) has 48694 edges and 33984 vertex of which 33955 are kept as prefixes of interest. Removing 29 places using SCC suffix rule.114 ms
Discarding 29 places :
Also discarding 6 output transitions
Drop transitions (Output transitions of discarded places.) removed 6 transitions
Discarding 3434 places :
Implicit places reduction removed 3434 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 15453 transitions
Trivial Post-agglo rules discarded 15453 transitions
Performed 15453 trivial Post agglomeration. Transition count delta: 15453
Iterating post reduction 0 with 18887 rules applied. Total rules applied 18888 place count 30521 transition count 15655
Reduce places removed 15453 places and 0 transitions.
Performed 1919 Post agglomeration using F-continuation condition.Transition count delta: 1919
Iterating post reduction 1 with 17372 rules applied. Total rules applied 36260 place count 15068 transition count 13736
Reduce places removed 1919 places and 0 transitions.
Iterating post reduction 2 with 1919 rules applied. Total rules applied 38179 place count 13149 transition count 13736
Performed 2121 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 2121 Pre rules applied. Total rules applied 38179 place count 13149 transition count 11615
Deduced a syphon composed of 2121 places in 10 ms
Ensure Unique test removed 909 places
Reduce places removed 3030 places and 0 transitions.
Iterating global reduction 3 with 5151 rules applied. Total rules applied 43330 place count 10119 transition count 11615
Discarding 101 places :
Implicit places reduction removed 101 places
Performed 606 Post agglomeration using F-continuation condition.Transition count delta: 606
Iterating post reduction 3 with 707 rules applied. Total rules applied 44037 place count 10018 transition count 11009
Reduce places removed 606 places and 0 transitions.
Iterating post reduction 4 with 606 rules applied. Total rules applied 44643 place count 9412 transition count 11009
Discarding 505 places :
Symmetric choice reduction at 5 with 505 rule applications. Total rules 45148 place count 8907 transition count 10504
Iterating global reduction 5 with 505 rules applied. Total rules applied 45653 place count 8907 transition count 10504
Performed 1212 Post agglomeration using F-continuation condition.Transition count delta: 1212
Deduced a syphon composed of 1212 places in 4 ms
Ensure Unique test removed 1111 places
Reduce places removed 2323 places and 0 transitions.
Iterating global reduction 5 with 3535 rules applied. Total rules applied 49188 place count 6584 transition count 9292
Free-agglomeration rule applied 1111 times.
Iterating global reduction 5 with 1111 rules applied. Total rules applied 50299 place count 6584 transition count 8181
Reduce places removed 1111 places and 0 transitions.
Iterating post reduction 5 with 1111 rules applied. Total rules applied 51410 place count 5473 transition count 8181
Applied a total of 51410 rules in 7746 ms. Remains 5473 /33984 variables (removed 28511) and now considering 8181/31114 (removed 22933) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 7748 ms. Remains : 5473/33984 places, 8181/31114 transitions.
RANDOM walk for 5483 steps (0 resets) in 730 ms. (7 steps per ms) remains 0/9 properties
FORMULA FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-09 FALSE TECHNIQUES REACHABILITY_KNOWLEDGE
Successfully simplified 1 atomic propositions for a total of 12 simplifications.
Computed a total of 33984 stabilizing places and 31114 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 33984 transition count 31114
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G(F((p0||G(p1)))))'
Support contains 202 out of 33984 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 33984/33984 places, 31114/31114 transitions.
Graph (complete) has 48694 edges and 33984 vertex of which 33146 are kept as prefixes of interest. Removing 838 places using SCC suffix rule.118 ms
Discarding 838 places :
Also discarding 713 output transitions
Drop transitions (Output transitions of discarded places.) removed 713 transitions
Reduce places removed 101 places and 101 transitions.
Discarding 4646 places :
Implicit places reduction removed 4646 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 20907 transitions
Trivial Post-agglo rules discarded 20907 transitions
Performed 20907 trivial Post agglomeration. Transition count delta: 20907
Iterating post reduction 0 with 25553 rules applied. Total rules applied 25554 place count 28399 transition count 9393
Reduce places removed 20907 places and 0 transitions.
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 101
Iterating post reduction 1 with 21008 rules applied. Total rules applied 46562 place count 7492 transition count 9292
Reduce places removed 101 places and 0 transitions.
Iterating post reduction 2 with 101 rules applied. Total rules applied 46663 place count 7391 transition count 9292
Performed 2222 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 2222 Pre rules applied. Total rules applied 46663 place count 7391 transition count 7070
Deduced a syphon composed of 2222 places in 3 ms
Ensure Unique test removed 1010 places
Reduce places removed 3232 places and 0 transitions.
Iterating global reduction 3 with 5454 rules applied. Total rules applied 52117 place count 4159 transition count 7070
Drop transitions (Trivial Post-Agglo cleanup.) removed 707 transitions
Trivial Post-agglo rules discarded 707 transitions
Performed 707 trivial Post agglomeration. Transition count delta: 707
Iterating post reduction 3 with 707 rules applied. Total rules applied 52824 place count 4159 transition count 6363
Reduce places removed 707 places and 0 transitions.
Iterating post reduction 4 with 707 rules applied. Total rules applied 53531 place count 3452 transition count 6363
Performed 101 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 101 Pre rules applied. Total rules applied 53531 place count 3452 transition count 6262
Deduced a syphon composed of 101 places in 1 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 5 with 202 rules applied. Total rules applied 53733 place count 3351 transition count 6262
Discarding 2030 places :
Symmetric choice reduction at 5 with 2030 rule applications. Total rules 55763 place count 1321 transition count 3232
Iterating global reduction 5 with 2030 rules applied. Total rules applied 57793 place count 1321 transition count 3232
Ensure Unique test removed 1010 transitions
Reduce isomorphic transitions removed 1010 transitions.
Iterating post reduction 5 with 1010 rules applied. Total rules applied 58803 place count 1321 transition count 2222
Performed 202 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 202 Pre rules applied. Total rules applied 58803 place count 1321 transition count 2020
Deduced a syphon composed of 202 places in 0 ms
Reduce places removed 202 places and 0 transitions.
Iterating global reduction 6 with 404 rules applied. Total rules applied 59207 place count 1119 transition count 2020
Discarding 5 places :
Symmetric choice reduction at 6 with 5 rule applications. Total rules 59212 place count 1114 transition count 1515
Iterating global reduction 6 with 5 rules applied. Total rules applied 59217 place count 1114 transition count 1515
Ensure Unique test removed 505 transitions
Reduce isomorphic transitions removed 505 transitions.
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 101
Iterating post reduction 6 with 606 rules applied. Total rules applied 59823 place count 1114 transition count 909
Reduce places removed 101 places and 0 transitions.
Iterating post reduction 7 with 101 rules applied. Total rules applied 59924 place count 1013 transition count 909
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 101
Deduced a syphon composed of 101 places in 1 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 8 with 202 rules applied. Total rules applied 60126 place count 912 transition count 808
Reduce places removed 101 places and 101 transitions.
Iterating global reduction 8 with 101 rules applied. Total rules applied 60227 place count 811 transition count 707
Applied a total of 60227 rules in 2423 ms. Remains 811 /33984 variables (removed 33173) and now considering 707/31114 (removed 30407) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-236982329510921167.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3945732897908295730.kers'
[2026-05-24 15:55:25] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-236982329510921167.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3945732897908295730.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 707 rows 811 cols 1919 entries
Finished phase 1 with 505 SingleSign rule and 202 generalized
[2026-05-24 15:55:25] [INFO ] Computed 104 invariants in 19 ms
Computed 104 P flows in 19 ms.
Exported basis to /tmp/petrispot-output-3945732897908295730.kers
Total runtime 20 ms.
[2026-05-24 15:55:25] [INFO ] Implicit Places using invariants in 612 ms returned [304, 507, 609, 610, 611, 612, 613, 614, 615, 616, 617, 618, 619, 620, 621, 622, 623, 624, 625, 626, 627, 628, 629, 630, 631, 632, 633, 634, 635, 636, 637, 638, 639, 640, 641, 642, 643, 644, 645, 646, 647, 648, 649, 650, 651, 652, 653, 654, 655, 656, 657, 658, 659, 660, 661, 662, 663, 664, 665, 666, 667, 668, 669, 670, 671, 672, 673, 674, 675, 676, 677, 678, 679, 680, 681, 682, 683, 684, 685, 686, 687, 688, 689, 690, 691, 692, 693, 694, 695, 696, 697, 698, 699, 700, 701, 702, 703, 704, 705, 706, 707, 708, 709]
Discarding 103 places :
Implicit Place search using SMT only with invariants took 614 ms to find 103 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 708/33984 places, 707/31114 transitions.
Reduce places removed 101 places and 101 transitions.
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 101
Iterating post reduction 0 with 101 rules applied. Total rules applied 101 place count 607 transition count 505
Reduce places removed 101 places and 0 transitions.
Iterating post reduction 1 with 101 rules applied. Total rules applied 202 place count 506 transition count 505
Applied a total of 202 rules in 24 ms. Remains 506 /708 variables (removed 202) and now considering 505/707 (removed 202) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13831803590734698285.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1387968011393952864.kers'
[2026-05-24 15:55:25] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13831803590734698285.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1387968011393952864.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 505 rows 506 cols 1010 entries
Finished phase 1 with 404 SingleSign rule and 101 generalized
[2026-05-24 15:55:25] [INFO ] Computed 1 invariants in 4 ms
Computed 1 P flows in 5 ms.
Exported basis to /tmp/petrispot-output-1387968011393952864.kers
Total runtime 5 ms.
[2026-05-24 15:55:25] [INFO ] Implicit Places using invariants in 284 ms returned []
[2026-05-24 15:55:25] [INFO ] Invariant cache hit.
[2026-05-24 15:55:26] [INFO ] Implicit Places using invariants and state equation in 667 ms returned []
Implicit Place search using SMT with State Equation took 953 ms to find 0 implicit places.
Starting structural reductions in SI_LTL mode, iteration 2 : 506/33984 places, 505/31114 transitions.
Finished structural reductions in SI_LTL mode , in 2 iterations and 4015 ms. Remains : 506/33984 places, 505/31114 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G(F((p0||G(p1)))))'
Stuttering acceptance computed with spot in 324 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Running random walk in product with property : FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-00
Product exploration explored 100000 steps with 471 reset in 1703 ms.
Product exploration explored 100000 steps with 471 reset in 1370 ms.
Computed a total of 506 stabilizing places and 505 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 506 transition count 505
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Property proved to be true by K+ with min(!phi)
Knowledge based reduction with 10 factoid took 37 ms. Proved property starting from automaton with 2 states, 4 edges and 2 AP (stutter insensitive
Knowledge-based reduction took 433 ms.
FORMULA FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-00 TRUE TECHNIQUES KNOWLEDGE
Treatment of property FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-00 finished in 8011 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(G(p0)))'
Support contains 1 out of 33984 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 33984/33984 places, 31114/31114 transitions.
Graph (complete) has 48694 edges and 33984 vertex of which 32641 are kept as prefixes of interest. Removing 1343 places using SCC suffix rule.39 ms
Discarding 1343 places :
Also discarding 1218 output transitions
Drop transitions (Output transitions of discarded places.) removed 1218 transitions
Reduce places removed 101 places and 101 transitions.
Discarding 4646 places :
Implicit places reduction removed 4646 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 20907 transitions
Trivial Post-agglo rules discarded 20907 transitions
Performed 20907 trivial Post agglomeration. Transition count delta: 20907
Iterating post reduction 0 with 25553 rules applied. Total rules applied 25554 place count 27894 transition count 8888
Reduce places removed 20907 places and 0 transitions.
Iterating post reduction 1 with 20907 rules applied. Total rules applied 46461 place count 6987 transition count 8888
Performed 2222 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2222 Pre rules applied. Total rules applied 46461 place count 6987 transition count 6666
Deduced a syphon composed of 2222 places in 2 ms
Ensure Unique test removed 1010 places
Reduce places removed 3232 places and 0 transitions.
Iterating global reduction 2 with 5454 rules applied. Total rules applied 51915 place count 3755 transition count 6666
Drop transitions (Trivial Post-Agglo cleanup.) removed 707 transitions
Trivial Post-agglo rules discarded 707 transitions
Performed 707 trivial Post agglomeration. Transition count delta: 707
Iterating post reduction 2 with 707 rules applied. Total rules applied 52622 place count 3755 transition count 5959
Reduce places removed 707 places and 0 transitions.
Iterating post reduction 3 with 707 rules applied. Total rules applied 53329 place count 3048 transition count 5959
Performed 101 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 101 Pre rules applied. Total rules applied 53329 place count 3048 transition count 5858
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 4 with 202 rules applied. Total rules applied 53531 place count 2947 transition count 5858
Discarding 2130 places :
Symmetric choice reduction at 4 with 2130 rule applications. Total rules 55661 place count 817 transition count 2728
Iterating global reduction 4 with 2130 rules applied. Total rules applied 57791 place count 817 transition count 2728
Ensure Unique test removed 1010 transitions
Reduce isomorphic transitions removed 1010 transitions.
Iterating post reduction 4 with 1010 rules applied. Total rules applied 58801 place count 817 transition count 1718
Performed 102 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 102 Pre rules applied. Total rules applied 58801 place count 817 transition count 1616
Deduced a syphon composed of 102 places in 1 ms
Reduce places removed 102 places and 0 transitions.
Iterating global reduction 5 with 204 rules applied. Total rules applied 59005 place count 715 transition count 1616
Discarding 5 places :
Symmetric choice reduction at 5 with 5 rule applications. Total rules 59010 place count 710 transition count 1111
Iterating global reduction 5 with 5 rules applied. Total rules applied 59015 place count 710 transition count 1111
Ensure Unique test removed 505 transitions
Reduce isomorphic transitions removed 505 transitions.
Discarding 101 places :
Implicit places reduction removed 101 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 101 transitions
Trivial Post-agglo rules discarded 101 transitions
Performed 101 trivial Post agglomeration. Transition count delta: 101
Iterating post reduction 5 with 707 rules applied. Total rules applied 59722 place count 609 transition count 505
Reduce places removed 101 places and 0 transitions.
Iterating post reduction 6 with 101 rules applied. Total rules applied 59823 place count 508 transition count 505
Performed 101 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 101 Pre rules applied. Total rules applied 59823 place count 508 transition count 404
Deduced a syphon composed of 101 places in 0 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 7 with 202 rules applied. Total rules applied 60025 place count 407 transition count 404
Discarding 100 places :
Symmetric choice reduction at 7 with 100 rule applications. Total rules 60125 place count 307 transition count 304
Iterating global reduction 7 with 100 rules applied. Total rules applied 60225 place count 307 transition count 304
Discarding 100 places :
Symmetric choice reduction at 7 with 100 rule applications. Total rules 60325 place count 207 transition count 204
Ensure Unique test removed 1 places
Iterating global reduction 7 with 101 rules applied. Total rules applied 60426 place count 206 transition count 204
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 1 Pre rules applied. Total rules applied 60426 place count 206 transition count 203
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 60428 place count 205 transition count 203
Discarding 100 places :
Symmetric choice reduction at 7 with 100 rule applications. Total rules 60528 place count 105 transition count 103
Ensure Unique test removed 1 places
Iterating global reduction 7 with 101 rules applied. Total rules applied 60629 place count 104 transition count 103
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 2 Pre rules applied. Total rules applied 60629 place count 104 transition count 101
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 7 with 4 rules applied. Total rules applied 60633 place count 102 transition count 101
Discarding 100 places :
Symmetric choice reduction at 7 with 100 rule applications. Total rules 60733 place count 2 transition count 1
Iterating global reduction 7 with 100 rules applied. Total rules applied 60833 place count 2 transition count 1
Applied a total of 60833 rules in 1811 ms. Remains 2 /33984 variables (removed 33982) and now considering 1/31114 (removed 31113) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12036416697758708721.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6778233426747690262.kers'
[2026-05-24 15:55:32] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12036416697758708721.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6778233426747690262.kers]
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 0 ms.
// Phase 1: matrix 1 rows 1 cols 1 entries
Finished phase 1 with 1 SingleSign rule and 0 generalized
[2026-05-24 15:55:32] [INFO ] Computed 1 invariants in 0 ms
Computed 1 P flows in 0 ms.
Exported basis to /tmp/petrispot-output-6778233426747690262.kers
Total runtime 0 ms.
[2026-05-24 15:55:32] [INFO ] Implicit Places using invariants in 22 ms returned []
[2026-05-24 15:55:32] [INFO ] Invariant cache hit.
[2026-05-24 15:55:32] [INFO ] Implicit Places using invariants and state equation in 28 ms returned []
Implicit Place search using SMT with State Equation took 53 ms to find 0 implicit places.
[2026-05-24 15:55:32] [INFO ] Redundant transitions in 0 ms returned []
Running 0 sub problems to find dead transitions.
Search for dead transitions found 0 dead transitions in 0ms
Starting structural reductions in SI_LTL mode, iteration 1 : 2/33984 places, 1/31114 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 1871 ms. Remains : 2/33984 places, 1/31114 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(G(p0)))'
Stuttering acceptance computed with spot in 37 ms :[(NOT p0)]
Running random walk in product with property : FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-01
Product exploration explored 100000 steps with 980 reset in 112 ms.
Product exploration explored 100000 steps with 980 reset in 150 ms.
Computed a total of 2 stabilizing places and 1 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 2 transition count 1
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Knowledge based reduction with 4 factoid took 51 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
RANDOM walk for 408 steps (0 resets) in 4 ms. (81 steps per ms) remains 0/1 properties
Knowledge based reduction with 4 factoid took 58 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 36 ms :[(NOT p0)]
[2026-05-24 15:55:32] [INFO ] Invariant cache hit.
[2026-05-24 15:55:32] [INFO ] [Real]Absence check using 1 positive place invariants in 0 ms returned sat
[2026-05-24 15:55:32] [INFO ] [Real]Absence check using state equation in 3 ms returned sat
[2026-05-24 15:55:32] [INFO ] Computed and/alt/rep : 0/0/0 causal constraints (skipped 0 transitions) in 0 ms.
[2026-05-24 15:55:32] [INFO ] Added : 0 causal constraints over 0 iterations in 2 ms. Result :sat
Could not prove EG (NOT p0)
Knowledge-based reduction took 206 ms.
Stuttering acceptance computed with spot in 34 ms :[(NOT p0)]
Support contains 1 out of 2 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2/2 places, 1/1 transitions.
Applied a total of 0 rules in 0 ms. Remains 2 /2 variables (removed 0) and now considering 1/1 (removed 0) transitions.
[2026-05-24 15:55:32] [INFO ] Invariant cache hit.
[2026-05-24 15:55:32] [INFO ] Implicit Places using invariants in 15 ms returned []
[2026-05-24 15:55:32] [INFO ] Invariant cache hit.
[2026-05-24 15:55:33] [INFO ] Implicit Places using invariants and state equation in 21 ms returned []
Implicit Place search using SMT with State Equation took 38 ms to find 0 implicit places.
[2026-05-24 15:55:33] [INFO ] Redundant transitions in 0 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 44 ms. Remains : 2/2 places, 1/1 transitions.
Computed a total of 2 stabilizing places and 1 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 2 transition count 1
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Knowledge based reduction with 4 factoid took 46 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
RANDOM walk for 408 steps (0 resets) in 4 ms. (81 steps per ms) remains 0/1 properties
Knowledge based reduction with 4 factoid took 54 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 34 ms :[(NOT p0)]
[2026-05-24 15:55:33] [INFO ] Invariant cache hit.
[2026-05-24 15:55:33] [INFO ] [Real]Absence check using 1 positive place invariants in 1 ms returned sat
[2026-05-24 15:55:33] [INFO ] [Real]Absence check using state equation in 2 ms returned sat
[2026-05-24 15:55:33] [INFO ] Computed and/alt/rep : 0/0/0 causal constraints (skipped 0 transitions) in 0 ms.
[2026-05-24 15:55:33] [INFO ] Added : 0 causal constraints over 0 iterations in 2 ms. Result :sat
Could not prove EG (NOT p0)
Knowledge-based reduction took 189 ms.
Stuttering acceptance computed with spot in 51 ms :[(NOT p0)]
Stuttering acceptance computed with spot in 50 ms :[(NOT p0)]
Product exploration explored 100000 steps with 980 reset in 76 ms.
Product exploration explored 100000 steps with 980 reset in 491 ms.
Built C files in :
/tmp/ltsmin8518923414580003390
[2026-05-24 15:55:33] [INFO ] Computing symmetric may disable matrix : 1 transitions.
[2026-05-24 15:55:33] [INFO ] Computation of Complete disable matrix. took 1 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-24 15:55:33] [INFO ] Computing symmetric may enable matrix : 1 transitions.
[2026-05-24 15:55:33] [INFO ] Computation of Complete enable matrix. took 1 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-24 15:55:33] [INFO ] Computing Do-Not-Accords matrix : 1 transitions.
[2026-05-24 15:55:33] [INFO ] Computation of Completed DNA matrix. took 0 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-24 15:55:33] [INFO ] Built C files in 34ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8518923414580003390
Running compilation step : cd /tmp/ltsmin8518923414580003390;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
Compilation finished in 346 ms.
Running link step : cd /tmp/ltsmin8518923414580003390;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 51 ms.
Running LTSmin : cd /tmp/ltsmin8518923414580003390;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--hoa' '/tmp/stateBased12455656287782553984.hoa' '--buchi-type=spotba'
LTSmin run took 50 ms.
FORMULA FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-01 TRUE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Treatment of property FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-01 finished in 3914 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(((p0&&(F(p1) U p2)) U (p1||X(G(p1)))))'
Support contains 1414 out of 33984 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 33984/33984 places, 31114/31114 transitions.
Reduce places removed 226 places and 0 transitions.
Discarding 3535 places :
Implicit places reduction removed 3535 places
Iterating post reduction 0 with 3761 rules applied. Total rules applied 3761 place count 30223 transition count 31114
Applied a total of 3761 rules in 352 ms. Remains 30223 /33984 variables (removed 3761) and now considering 31114/31114 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-245236218957567451.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7730403925969819214.kers'
[2026-05-24 15:55:34] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-245236218957567451.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7730403925969819214.kers]
Culled 0 columns in 61 ms.
// Phase 1: matrix 31114 rows 30223 cols 71110 entries
Finished phase 1 with 25877 SingleSign rule and 2121 generalized
[2026-05-24 15:55:35] [INFO ] Computed 2225 invariants in 594 ms
Computed 2225 P flows in 595 ms.
Exported basis to /tmp/petrispot-output-7730403925969819214.kers
Total runtime 635 ms.
[2026-05-24 15:55:57] [INFO ] Implicit Places using invariants in 22332 ms returned []
Implicit Place search using SMT only with invariants took 22333 ms to find 0 implicit places.
Running 31013 sub problems to find dead transitions.
[2026-05-24 15:55:57] [INFO ] Invariant cache hit.
SMT process timed out in 123974ms, After SMT, problems are : Problem set: 0 solved, 31013 unsolved
Search for dead transitions found 0 dead transitions in 124142ms
Starting structural reductions in LTL mode, iteration 1 : 30223/33984 places, 31114/31114 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 146927 ms. Remains : 30223/33984 places, 31114/31114 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(((p0&&(F(p1) U p2)) U (p1||X(G(p1)))))'
Stuttering acceptance computed with spot in 224 ms :[(NOT p1), (NOT p1), (NOT p1), (AND (NOT p1) (NOT p2)), true, (NOT p2)]
Running random walk in product with property : FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-02
Entered a terminal (fully accepting) state of product in 537 steps with 0 reset in 93 ms.
FORMULA FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-02 FALSE TECHNIQUES STUTTER_TEST
Treatment of property FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-02 finished in 147419 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X((F(p0)||(p1 U (p2||G(p1))))))'
Support contains 815 out of 33984 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 33984/33984 places, 31114/31114 transitions.
Reduce places removed 220 places and 0 transitions.
Discarding 4545 places :
Implicit places reduction removed 4545 places
Iterating post reduction 0 with 4765 rules applied. Total rules applied 4765 place count 29219 transition count 31114
Applied a total of 4765 rules in 457 ms. Remains 29219 /33984 variables (removed 4765) and now considering 31114/31114 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13752329874192472375.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-421936106494192431.kers'
[2026-05-24 15:58:02] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13752329874192472375.kers, --Pflows, --basisKERS=/tmp/petrispot-output-421936106494192431.kers]
Culled 0 columns in 41 ms.
// Phase 1: matrix 31114 rows 29219 cols 69696 entries
Finished phase 1 with 26287 SingleSign rule and 1716 generalized
[2026-05-24 15:58:04] [INFO ] Computed 1216 invariants in 1904 ms
Computed 1216 P flows in 1905 ms.
Exported basis to /tmp/petrispot-output-421936106494192431.kers
Total runtime 1931 ms.
[2026-05-24 15:58:28] [INFO ] Implicit Places using invariants in 25838 ms returned [27597, 27598, 27599, 27600, 27601, 27602, 27603, 27604, 27605, 27606, 27607, 27608, 27609, 27610, 27611, 27612, 27613, 27614, 27615, 27616, 27617, 27618, 27619, 27620, 27621, 27622, 27623, 27624, 27625, 27626, 27627, 27628, 27629, 27630, 27631, 27632, 27633, 27634, 27635, 27636, 27637, 27638, 27639, 27640, 27641, 27642, 27643, 27644, 27645, 27646, 27647, 27648, 27649, 27650, 27651, 27652, 27653, 27654, 27655, 27656, 27657, 27658, 27659, 27660, 27661, 27662, 27663, 27664, 27665, 27666, 27667, 27668, 27669, 27670, 27671, 27672, 27673, 27674, 27675, 27676, 27677, 27678, 27679, 27680, 27681, 27682, 27683, 27684, 27685, 27686, 27687, 27688, 27689, 27690, 27691, 27692, 27693, 27694, 27695, 27696, 27697]
Discarding 101 places :
Implicit Place search using SMT only with invariants took 25858 ms to find 101 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 29118/33984 places, 31114/31114 transitions.
Applied a total of 0 rules in 136 ms. Remains 29118 /29118 variables (removed 0) and now considering 31114/31114 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 26453 ms. Remains : 29118/33984 places, 31114/31114 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X((F(p0)||(p1 U (p2||G(p1))))))'
Stuttering acceptance computed with spot in 136 ms :[(NOT p0), (AND (NOT p0) (NOT p2) (NOT p1)), (AND (NOT p0) (NOT p2) (NOT p1))]
Running random walk in product with property : FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-03
Product exploration explored 100000 steps with 50000 reset in 8629 ms.
Product exploration explored 100000 steps with 50000 reset in 8237 ms.
Computed a total of 29118 stabilizing places and 31114 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 29118 transition count 31114
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Property proved to be true by K+ with min(!phi)
Knowledge based reduction with 14 factoid took 12 ms. Proved property starting from automaton with 3 states, 4 edges and 3 AP (stutter sensitive
Knowledge-based reduction took 21715 ms.
FORMULA FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-03 TRUE TECHNIQUES KNOWLEDGE
Treatment of property FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-03 finished in 65318 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(G((p0||X(X((p1&&X(p2))))||G(p3)))))'
Support contains 2626 out of 33984 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 33984/33984 places, 31114/31114 transitions.
Reduce places removed 226 places and 0 transitions.
Discarding 2424 places :
Implicit places reduction removed 2424 places
Iterating post reduction 0 with 2650 rules applied. Total rules applied 2650 place count 31334 transition count 31114
Applied a total of 2650 rules in 322 ms. Remains 31334 /33984 variables (removed 2650) and now considering 31114/31114 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11413080436260704783.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-12633616284035707215.kers'
[2026-05-24 15:59:07] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11413080436260704783.kers, --Pflows, --basisKERS=/tmp/petrispot-output-12633616284035707215.kers]
Culled 0 columns in 58 ms.
// Phase 1: matrix 31114 rows 31334 cols 73332 entries
Finished phase 1 with 24766 SingleSign rule and 3232 generalized
[2026-05-24 15:59:08] [INFO ] Computed 3336 invariants in 723 ms
Computed 3336 P flows in 724 ms.
Exported basis to /tmp/petrispot-output-12633616284035707215.kers
Total runtime 761 ms.
[2026-05-24 15:59:37] [INFO ] Implicit Places using invariants in 30365 ms returned [29718, 29719, 29720, 29721, 29722, 29723, 29724, 29725, 29726, 29727, 29728, 29729, 29730, 29731, 29732, 29733, 29734, 29735, 29736, 29737, 29738, 29739, 29740, 29741, 29742, 29743, 29744, 29745, 29746, 29747, 29748, 29749, 29750, 29751, 29752, 29753, 29754, 29755, 29756, 29757, 29758, 29759, 29760, 29761, 29762, 29763, 29764, 29765, 29766, 29767, 29768, 29769, 29770, 29771, 29772, 29773, 29774, 29775, 29776, 29777, 29778, 29779, 29780, 29781, 29782, 29783, 29784, 29785, 29786, 29787, 29788, 29789, 29790, 29791, 29792, 29793, 29794, 29795, 29796, 29797, 29798, 29799, 29800, 29801, 29802, 29803, 29804, 29805, 29806, 29807, 29808, 29809, 29810, 29811, 29812, 29813, 29814, 29815, 29816, 29817, 29818]
Discarding 101 places :
Implicit Place search using SMT only with invariants took 30381 ms to find 101 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 31233/33984 places, 31114/31114 transitions.
Applied a total of 0 rules in 115 ms. Remains 31233 /31233 variables (removed 0) and now considering 31114/31114 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 30820 ms. Remains : 31233/33984 places, 31114/31114 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(G((p0||X(X((p1&&X(p2))))||G(p3)))))'
Stuttering acceptance computed with spot in 520 ms :[(OR (AND (NOT p0) (NOT p1) (NOT p3)) (AND (NOT p0) (NOT p2) (NOT p3))), (OR (AND (NOT p0) (NOT p1) (NOT p3)) (AND (NOT p0) (NOT p2) (NOT p3))), (OR (NOT p1) (NOT p2)), (OR (AND (NOT p2) (NOT p3)) (AND (NOT p1) (NOT p3))), (OR (NOT p1) (NOT p2)), true, (NOT p2), (OR (AND (NOT p1) (NOT p3)) (AND (NOT p2) (NOT p3))), (NOT p3), (AND (NOT p3) (NOT p2))]
Running random walk in product with property : FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-04
Entered a terminal (fully accepting) state of product in 4 steps with 0 reset in 3 ms.
FORMULA FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-04 FALSE TECHNIQUES STUTTER_TEST
Treatment of property FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-04 finished in 31484 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(p0))'
Support contains 202 out of 33984 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 33984/33984 places, 31114/31114 transitions.
Graph (complete) has 48694 edges and 33984 vertex of which 23948 are kept as prefixes of interest. Removing 10036 places using SCC suffix rule.50 ms
Discarding 10036 places :
Also discarding 9601 output transitions
Drop transitions (Output transitions of discarded places.) removed 9601 transitions
Discarding 4444 places :
Implicit places reduction removed 4444 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 16766 transitions
Trivial Post-agglo rules discarded 16766 transitions
Performed 16766 trivial Post agglomeration. Transition count delta: 16766
Iterating post reduction 0 with 21210 rules applied. Total rules applied 21211 place count 19504 transition count 4747
Reduce places removed 16766 places and 0 transitions.
Iterating post reduction 1 with 16766 rules applied. Total rules applied 37977 place count 2738 transition count 4747
Performed 101 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 101 Pre rules applied. Total rules applied 37977 place count 2738 transition count 4646
Deduced a syphon composed of 101 places in 1 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 2 with 202 rules applied. Total rules applied 38179 place count 2637 transition count 4646
Discarding 2020 places :
Symmetric choice reduction at 2 with 2020 rule applications. Total rules 40199 place count 617 transition count 2626
Iterating global reduction 2 with 2020 rules applied. Total rules applied 42219 place count 617 transition count 2626
Performed 101 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 101 Pre rules applied. Total rules applied 42219 place count 617 transition count 2525
Deduced a syphon composed of 101 places in 0 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 2 with 202 rules applied. Total rules applied 42421 place count 516 transition count 2525
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 42431 place count 506 transition count 1515
Iterating global reduction 2 with 10 rules applied. Total rules applied 42441 place count 506 transition count 1515
Ensure Unique test removed 1010 transitions
Reduce isomorphic transitions removed 1010 transitions.
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 101
Iterating post reduction 2 with 1111 rules applied. Total rules applied 43552 place count 506 transition count 404
Reduce places removed 101 places and 0 transitions.
Iterating post reduction 3 with 101 rules applied. Total rules applied 43653 place count 405 transition count 404
Applied a total of 43653 rules in 747 ms. Remains 405 /33984 variables (removed 33579) and now considering 404/31114 (removed 30710) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-16106624223445385644.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14580256150868791450.kers'
[2026-05-24 15:59:39] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-16106624223445385644.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14580256150868791450.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 404 rows 405 cols 909 entries
Finished phase 1 with 303 SingleSign rule and 101 generalized
[2026-05-24 15:59:39] [INFO ] Computed 1 invariants in 3 ms
Computed 1 P flows in 4 ms.
Exported basis to /tmp/petrispot-output-14580256150868791450.kers
Total runtime 4 ms.
[2026-05-24 15:59:39] [INFO ] Implicit Places using invariants in 223 ms returned [202]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 224 ms to find 1 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 404/33984 places, 404/31114 transitions.
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 101
Iterating post reduction 0 with 101 rules applied. Total rules applied 101 place count 404 transition count 303
Reduce places removed 101 places and 0 transitions.
Iterating post reduction 1 with 101 rules applied. Total rules applied 202 place count 303 transition count 303
Applied a total of 202 rules in 7 ms. Remains 303 /404 variables (removed 101) and now considering 303/404 (removed 101) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-5224324729943578182.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1628461190554947107.kers'
[2026-05-24 15:59:39] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5224324729943578182.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1628461190554947107.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 303 rows 303 cols 505 entries
Finished phase 1 with 303 SingleSign rule and 0 generalized
[2026-05-24 15:59:39] [INFO ] Computed 0 invariants in 1 ms
Computed 0 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-1628461190554947107.kers
Total runtime 2 ms.
[2026-05-24 15:59:39] [INFO ] Implicit Places using invariants in 85 ms returned []
[2026-05-24 15:59:39] [INFO ] Invariant cache hit.
[2026-05-24 15:59:40] [INFO ] Implicit Places using invariants and state equation in 283 ms returned []
Implicit Place search using SMT with State Equation took 375 ms to find 0 implicit places.
Starting structural reductions in SI_LTL mode, iteration 2 : 303/33984 places, 303/31114 transitions.
Finished structural reductions in SI_LTL mode , in 2 iterations and 1354 ms. Remains : 303/33984 places, 303/31114 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(p0))'
Stuttering acceptance computed with spot in 51 ms :[(NOT p0)]
Running random walk in product with property : FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-05
Product exploration explored 100000 steps with 730 reset in 2104 ms.
Product exploration explored 100000 steps with 726 reset in 1666 ms.
Computed a total of 303 stabilizing places and 303 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 303 transition count 303
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Knowledge based reduction with 4 factoid took 46 ms. Reduced automaton from 1 states, 1 edges and 1 AP (stutter insensitive) to 1 states, 1 edges and 1 AP (stutter insensitive).
RANDOM walk for 522 steps (0 resets) in 14 ms. (34 steps per ms) remains 0/1 properties
Knowledge based reduction with 4 factoid took 61 ms. Reduced automaton from 1 states, 1 edges and 1 AP (stutter insensitive) to 1 states, 1 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 39 ms :[(NOT p0)]
[2026-05-24 15:59:44] [INFO ] Invariant cache hit.
[2026-05-24 15:59:58] [INFO ] [Real]Absence check using state equation in 9145 ms returned sat
[2026-05-24 15:59:58] [INFO ] Solution in real domain found non-integer solution.
[2026-05-24 16:00:00] [INFO ] [Nat]Absence check using state equation in 827 ms returned sat
[2026-05-24 16:00:00] [INFO ] Computed and/alt/rep : 202/202/202 causal constraints (skipped 0 transitions) in 19 ms.
[2026-05-24 16:00:00] [INFO ] Added : 0 causal constraints over 0 iterations in 72 ms. Result :sat
Could not prove EG (NOT p0)
Knowledge-based reduction took 16603 ms.
Stuttering acceptance computed with spot in 36 ms :[(NOT p0)]
Support contains 202 out of 303 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 303/303 places, 303/303 transitions.
Applied a total of 0 rules in 3 ms. Remains 303 /303 variables (removed 0) and now considering 303/303 (removed 0) transitions.
[2026-05-24 16:00:00] [INFO ] Invariant cache hit.
[2026-05-24 16:00:00] [INFO ] Implicit Places using invariants in 54 ms returned []
[2026-05-24 16:00:00] [INFO ] Invariant cache hit.
[2026-05-24 16:00:00] [INFO ] Implicit Places using invariants and state equation in 273 ms returned []
Implicit Place search using SMT with State Equation took 329 ms to find 0 implicit places.
[2026-05-24 16:00:00] [INFO ] Redundant transitions in 32 ms returned []
Running 202 sub problems to find dead transitions.
[2026-05-24 16:00:00] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/202 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 202 unsolved
At refinement iteration 1 (OVERLAPS) 303/505 variables, 202/202 constraints. Problems are: Problem set: 0 solved, 202 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/505 variables, 0/202 constraints. Problems are: Problem set: 0 solved, 202 unsolved
At refinement iteration 3 (OVERLAPS) 101/606 variables, 101/303 constraints. Problems are: Problem set: 0 solved, 202 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/606 variables, 0/303 constraints. Problems are: Problem set: 0 solved, 202 unsolved
At refinement iteration 5 (OVERLAPS) 0/606 variables, 0/303 constraints. Problems are: Problem set: 0 solved, 202 unsolved
No progress, stopping.
After SMT solving in domain Real declared 606/606 variables, and 303 constraints, problems are : Problem set: 0 solved, 202 unsolved in 25121 ms.
Refiners :[State Equation: 303/303 constraints, PredecessorRefiner: 202/202 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 202 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/202 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 202 unsolved
At refinement iteration 1 (OVERLAPS) 303/505 variables, 202/202 constraints. Problems are: Problem set: 0 solved, 202 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/505 variables, 202/404 constraints. Problems are: Problem set: 0 solved, 202 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/505 variables, 0/404 constraints. Problems are: Problem set: 0 solved, 202 unsolved
At refinement iteration 4 (OVERLAPS) 101/606 variables, 101/505 constraints. Problems are: Problem set: 0 solved, 202 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/606 variables, 0/505 constraints. Problems are: Problem set: 0 solved, 202 unsolved
At refinement iteration 6 (OVERLAPS) 0/606 variables, 0/505 constraints. Problems are: Problem set: 0 solved, 202 unsolved
No progress, stopping.
After SMT solving in domain Int declared 606/606 variables, and 505 constraints, problems are : Problem set: 0 solved, 202 unsolved in 18922 ms.
Refiners :[State Equation: 303/303 constraints, PredecessorRefiner: 202/202 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 44197ms problems are : Problem set: 0 solved, 202 unsolved
Search for dead transitions found 0 dead transitions in 44198ms
Finished structural reductions in SI_LTL mode , in 1 iterations and 44572 ms. Remains : 303/303 places, 303/303 transitions.
Computed a total of 303 stabilizing places and 303 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 303 transition count 303
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Knowledge based reduction with 4 factoid took 74 ms. Reduced automaton from 1 states, 1 edges and 1 AP (stutter insensitive) to 1 states, 1 edges and 1 AP (stutter insensitive).
RANDOM walk for 540 steps (0 resets) in 20 ms. (25 steps per ms) remains 0/1 properties
Knowledge based reduction with 4 factoid took 85 ms. Reduced automaton from 1 states, 1 edges and 1 AP (stutter insensitive) to 1 states, 1 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 54 ms :[(NOT p0)]
[2026-05-24 16:00:45] [INFO ] Invariant cache hit.
[2026-05-24 16:01:00] [INFO ] [Real]Absence check using state equation in 9462 ms returned sat
[2026-05-24 16:01:00] [INFO ] Solution in real domain found non-integer solution.
[2026-05-24 16:01:02] [INFO ] [Nat]Absence check using state equation in 833 ms returned sat
[2026-05-24 16:01:02] [INFO ] Computed and/alt/rep : 202/202/202 causal constraints (skipped 0 transitions) in 18 ms.
[2026-05-24 16:01:02] [INFO ] Added : 0 causal constraints over 0 iterations in 67 ms. Result :sat
Could not prove EG (NOT p0)
Knowledge-based reduction took 17330 ms.
Stuttering acceptance computed with spot in 36 ms :[(NOT p0)]
Stuttering acceptance computed with spot in 36 ms :[(NOT p0)]
Product exploration explored 100000 steps with 729 reset in 1820 ms.
Product exploration explored 100000 steps with 729 reset in 1634 ms.
Built C files in :
/tmp/ltsmin11121071614267178400
[2026-05-24 16:01:05] [INFO ] Computing symmetric may disable matrix : 303 transitions.
[2026-05-24 16:01:05] [INFO ] Computation of Complete disable matrix. took 1 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-24 16:01:05] [INFO ] Computing symmetric may enable matrix : 303 transitions.
[2026-05-24 16:01:05] [INFO ] Computation of Complete enable matrix. took 1 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-24 16:01:06] [INFO ] Computing Do-Not-Accords matrix : 303 transitions.
[2026-05-24 16:01:06] [INFO ] Computation of Completed DNA matrix. took 9 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-24 16:01:06] [INFO ] Built C files in 45ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11121071614267178400
Running compilation step : cd /tmp/ltsmin11121071614267178400;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
Compilation finished in 814 ms.
Running link step : cd /tmp/ltsmin11121071614267178400;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 35 ms.
Running LTSmin : cd /tmp/ltsmin11121071614267178400;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--hoa' '/tmp/stateBased4975835550981436209.hoa' '--buchi-type=spotba'
WARNING : LTS min runner thread was asked to interrupt. Dying gracefully.
Support contains 202 out of 303 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 303/303 places, 303/303 transitions.
Applied a total of 0 rules in 6 ms. Remains 303 /303 variables (removed 0) and now considering 303/303 (removed 0) transitions.
[2026-05-24 16:01:20] [INFO ] Invariant cache hit.
[2026-05-24 16:01:21] [INFO ] Implicit Places using invariants in 53 ms returned []
[2026-05-24 16:01:21] [INFO ] Invariant cache hit.
[2026-05-24 16:01:21] [INFO ] Implicit Places using invariants and state equation in 235 ms returned []
Implicit Place search using SMT with State Equation took 290 ms to find 0 implicit places.
[2026-05-24 16:01:21] [INFO ] Redundant transitions in 7 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 310 ms. Remains : 303/303 places, 303/303 transitions.
Built C files in :
/tmp/ltsmin17328609892910561820
[2026-05-24 16:01:21] [INFO ] Computing symmetric may disable matrix : 303 transitions.
[2026-05-24 16:01:21] [INFO ] Computation of Complete disable matrix. took 1 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-24 16:01:21] [INFO ] Computing symmetric may enable matrix : 303 transitions.
[2026-05-24 16:01:21] [INFO ] Computation of Complete enable matrix. took 1 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-24 16:01:21] [INFO ] Computing Do-Not-Accords matrix : 303 transitions.
[2026-05-24 16:01:21] [INFO ] Computation of Completed DNA matrix. took 10 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-24 16:01:21] [INFO ] Built C files in 53ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin17328609892910561820
Running compilation step : cd /tmp/ltsmin17328609892910561820;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
Compilation finished in 1104 ms.
Running link step : cd /tmp/ltsmin17328609892910561820;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 35 ms.
Running LTSmin : cd /tmp/ltsmin17328609892910561820;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--hoa' '/tmp/stateBased1623291402946434334.hoa' '--buchi-type=spotba'
WARNING : LTS min runner thread was asked to interrupt. Dying gracefully.
[2026-05-24 16:01:37] [INFO ] Flatten gal took : 5 ms
[2026-05-24 16:01:37] [INFO ] Flatten gal took : 4 ms
[2026-05-24 16:01:37] [INFO ] Time to serialize gal into /tmp/LTL3214745317882528355.gal : 6 ms
[2026-05-24 16:01:37] [INFO ] Time to serialize properties into /tmp/LTL4060975806605944983.prop : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL3214745317882528355.gal' '-t' 'CGAL' '-hoa' '/tmp/aut16739217819857020607.hoa' '-atoms' '/tmp/LTL4060975806605944983.prop' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...318
Loading property file /tmp/LTL4060975806605944983.prop.
Loaded 1 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut16739217819857020607.hoa
Reverse transition relation is NOT exact ! Due to transitions t22624, t22625, t22626, t22627, t22628, t22629, t22630, t22631, t22632, t22633, t22634, t2263...971
Computing Next relation with stutter on 1 deadlock states
Detected timeout of ITS tools.
[2026-05-24 16:01:52] [INFO ] Flatten gal took : 4 ms
[2026-05-24 16:01:52] [INFO ] Flatten gal took : 3 ms
[2026-05-24 16:01:52] [INFO ] Time to serialize gal into /tmp/LTL12140299961274053724.gal : 3 ms
[2026-05-24 16:01:52] [INFO ] Time to serialize properties into /tmp/LTL13648366298313176043.ltl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL12140299961274053724.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL13648366298313176043.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...277
Read 1 LTL properties
Checking formula 0 : !((F("((((((((l11_0+l11_1)+(l11_2+l11_3))+((l11_4+l11_5)+(l11_6+l11_7)))+(((l11_8+l11_9)+(l11_10+l11_11))+((l11_12+l11_13)+(l11_14+l11...1727
Formula 0 simplified : G!"((((((((l11_0+l11_1)+(l11_2+l11_3))+((l11_4+l11_5)+(l11_6+l11_7)))+(((l11_8+l11_9)+(l11_10+l11_11))+((l11_12+l11_13)+(l11_14+l11_...1723
Reverse transition relation is NOT exact ! Due to transitions t22624, t22625, t22626, t22627, t22628, t22629, t22630, t22631, t22632, t22633, t22634, t2263...971
Computing Next relation with stutter on 1 deadlock states
Detected timeout of ITS tools.
[2026-05-24 16:02:08] [INFO ] Flatten gal took : 4 ms
[2026-05-24 16:02:08] [INFO ] Applying decomposition
[2026-05-24 16:02:08] [INFO ] Flatten gal took : 4 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph17437439010058229813.txt' '-o' '/tmp/graph17437439010058229813.bin' '-w' '/tmp/graph17437439010058229813.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph17437439010058229813.bin' '-l' '-1' '-v' '-w' '/tmp/graph17437439010058229813.weights' '-q' '0' '-e' '0.001'
[2026-05-24 16:02:08] [INFO ] Decomposing Gal with order
[2026-05-24 16:02:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 16:02:08] [INFO ] Flatten gal took : 158 ms
[2026-05-24 16:02:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 6 ms.
[2026-05-24 16:02:08] [INFO ] Time to serialize gal into /tmp/LTL5884811491761923491.gal : 8 ms
[2026-05-24 16:02:08] [INFO ] Time to serialize properties into /tmp/LTL14921493498201762507.ltl : 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-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL5884811491761923491.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL14921493498201762507.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...276
Read 1 LTL properties
Checking formula 0 : !((F("((((((((gu0.l11_0+gu0.l11_1)+(gu0.l11_2+gu0.l11_3))+((gu0.l11_4+gu0.l11_5)+(gu0.l11_6+gu0.l11_7)))+(((gu0.l11_8+gu0.l11_9)+(gu0....2535
Formula 0 simplified : G!"((((((((gu0.l11_0+gu0.l11_1)+(gu0.l11_2+gu0.l11_3))+((gu0.l11_4+gu0.l11_5)+(gu0.l11_6+gu0.l11_7)))+(((gu0.l11_8+gu0.l11_9)+(gu0.l...2531
Reverse transition relation is NOT exact ! Due to transitions gu0.t22624, gu0.t22625, gu0.t22626, gu0.t22627, gu0.t22628, gu0.t22629, gu0.t22630, gu0.t2263...1375
Computing Next relation with stutter on 1 deadlock states
Detected timeout of ITS tools.
Treatment of property FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-05 finished in 164908 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(F(((p0 U (F(p1) U p2))&&X(p0)))))'
Support contains 808 out of 33984 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 33984/33984 places, 31114/31114 transitions.
Reduce places removed 226 places and 0 transitions.
Discarding 4646 places :
Implicit places reduction removed 4646 places
Iterating post reduction 0 with 4872 rules applied. Total rules applied 4872 place count 29112 transition count 31114
Applied a total of 4872 rules in 450 ms. Remains 29112 /33984 variables (removed 4872) and now considering 31114/31114 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7359531197932825620.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11074132781006699613.kers'
[2026-05-24 16:02:24] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7359531197932825620.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11074132781006699613.kers]
Culled 0 columns in 57 ms.
// Phase 1: matrix 31114 rows 29112 cols 68888 entries
Finished phase 1 with 26988 SingleSign rule and 1010 generalized
[2026-05-24 16:02:26] [INFO ] Computed 1114 invariants in 1948 ms
Computed 1114 P flows in 1949 ms.
Exported basis to /tmp/petrispot-output-11074132781006699613.kers
Total runtime 1983 ms.
[2026-05-24 16:02:43] [INFO ] Implicit Places using invariants in 19078 ms returned [27496, 27497, 27498, 27499, 27500, 27501, 27502, 27503, 27504, 27505, 27506, 27507, 27508, 27509, 27510, 27511, 27512, 27513, 27514, 27515, 27516, 27517, 27518, 27519, 27520, 27521, 27522, 27523, 27524, 27525, 27526, 27527, 27528, 27529, 27530, 27531, 27532, 27533, 27534, 27535, 27536, 27537, 27538, 27539, 27540, 27541, 27542, 27543, 27544, 27545, 27546, 27547, 27548, 27549, 27550, 27551, 27552, 27553, 27554, 27555, 27556, 27557, 27558, 27559, 27560, 27561, 27562, 27563, 27564, 27565, 27566, 27567, 27568, 27569, 27570, 27571, 27572, 27573, 27574, 27575, 27576, 27577, 27578, 27579, 27580, 27581, 27582, 27583, 27584, 27585, 27586, 27587, 27588, 27589, 27590, 27591, 27592, 27593, 27594, 27595, 27596]
Discarding 101 places :
Implicit Place search using SMT only with invariants took 19094 ms to find 101 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 29011/33984 places, 31114/31114 transitions.
Applied a total of 0 rules in 149 ms. Remains 29011 /29011 variables (removed 0) and now considering 31114/31114 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 19696 ms. Remains : 29011/33984 places, 31114/31114 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(F(((p0 U (F(p1) U p2))&&X(p0)))))'
Stuttering acceptance computed with spot in 476 ms :[(OR (NOT p2) (NOT p0)), (OR (NOT p2) (NOT p0)), (OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p1))), (NOT p2), (NOT p0), (AND (NOT p1) (NOT p2)), (NOT p2), (AND (NOT p0) (NOT p1))]
Running random walk in product with property : FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-06
Product exploration explored 100000 steps with 31 reset in 6871 ms.
Product exploration explored 100000 steps with 31 reset in 6566 ms.
Computed a total of 29011 stabilizing places and 31114 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 29011 transition count 31114
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Knowledge based reduction with 18 factoid took 89 ms. Reduced automaton from 8 states, 22 edges and 3 AP (stutter sensitive) to 8 states, 21 edges and 3 AP (stutter sensitive).
RANDOM walk for 40000 steps (8 resets) in 2261 ms. (17 steps per ms) remains 2/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 700 ms. (57 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 795 ms. (50 steps per ms) remains 2/2 properties
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14990652524697636540.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17489111576572951300.kers'
[2026-05-24 16:03:20] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14990652524697636540.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17489111576572951300.kers]
Culled 0 columns in 32 ms.
// Phase 1: matrix 31114 rows 29011 cols 68181 entries
Finished phase 1 with 26988 SingleSign rule and 1010 generalized
[2026-05-24 16:03:22] [INFO ] Computed 1013 invariants in 1912 ms
Computed 1013 P flows in 1913 ms.
Exported basis to /tmp/petrispot-output-17489111576572951300.kers
Total runtime 1936 ms.
At refinement iteration 0 (INCLUDED_ONLY) 0/808 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 26570/60125 variables, and 708 constraints, problems are : Problem set: 0 solved, 2 unsolved in 5009 ms.
Refiners :[Generalized P Invariants (flows): 708/1013 constraints, State Equation: 0/29011 constraints, PredecessorRefiner: 2/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/808 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 26570/60125 variables, and 708 constraints, problems are : Problem set: 0 solved, 2 unsolved in 5009 ms.
Refiners :[Generalized P Invariants (flows): 708/1013 constraints, State Equation: 0/29011 constraints, PredecessorRefiner: 2/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 12089ms problems are : Problem set: 0 solved, 2 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 808 out of 29011 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 29011/29011 places, 31114/31114 transitions.
Graph (complete) has 37067 edges and 29011 vertex of which 26984 are kept as prefixes of interest. Removing 2027 places using SCC suffix rule.12 ms
Discarding 2027 places :
Also discarding 2026 output transitions
Drop transitions (Output transitions of discarded places.) removed 2026 transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 20402 transitions
Trivial Post-agglo rules discarded 20402 transitions
Performed 20402 trivial Post agglomeration. Transition count delta: 20402
Iterating post reduction 0 with 20402 rules applied. Total rules applied 20403 place count 26984 transition count 8686
Reduce places removed 20402 places and 0 transitions.
Iterating post reduction 1 with 20402 rules applied. Total rules applied 40805 place count 6582 transition count 8686
Performed 1313 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1313 Pre rules applied. Total rules applied 40805 place count 6582 transition count 7373
Deduced a syphon composed of 1313 places in 2 ms
Ensure Unique test removed 202 places
Reduce places removed 1515 places and 0 transitions.
Iterating global reduction 2 with 2828 rules applied. Total rules applied 43633 place count 5067 transition count 7373
Discarding 707 places :
Implicit places reduction removed 707 places
Performed 606 Post agglomeration using F-continuation condition.Transition count delta: 606
Iterating post reduction 2 with 1313 rules applied. Total rules applied 44946 place count 4360 transition count 6767
Reduce places removed 606 places and 0 transitions.
Iterating post reduction 3 with 606 rules applied. Total rules applied 45552 place count 3754 transition count 6767
Performed 101 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 101 Pre rules applied. Total rules applied 45552 place count 3754 transition count 6666
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 4 with 202 rules applied. Total rules applied 45754 place count 3653 transition count 6666
Discarding 1530 places :
Symmetric choice reduction at 4 with 1530 rule applications. Total rules 47284 place count 2123 transition count 3636
Iterating global reduction 4 with 1530 rules applied. Total rules applied 48814 place count 2123 transition count 3636
Ensure Unique test removed 1010 transitions
Reduce isomorphic transitions removed 1010 transitions.
Iterating post reduction 4 with 1010 rules applied. Total rules applied 49824 place count 2123 transition count 2626
Performed 202 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 202 Pre rules applied. Total rules applied 49824 place count 2123 transition count 2424
Deduced a syphon composed of 202 places in 0 ms
Reduce places removed 202 places and 0 transitions.
Iterating global reduction 5 with 404 rules applied. Total rules applied 50228 place count 1921 transition count 2424
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 101
Deduced a syphon composed of 101 places in 0 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 5 with 202 rules applied. Total rules applied 50430 place count 1820 transition count 2323
Free-agglomeration rule (complex) applied 707 times.
Iterating global reduction 5 with 707 rules applied. Total rules applied 51137 place count 1820 transition count 1616
Reduce places removed 707 places and 0 transitions.
Iterating post reduction 5 with 707 rules applied. Total rules applied 51844 place count 1113 transition count 1616
Reduce places removed 101 places and 101 transitions.
Iterating global reduction 6 with 101 rules applied. Total rules applied 51945 place count 1012 transition count 1515
Applied a total of 51945 rules in 1924 ms. Remains 1012 /29011 variables (removed 27999) and now considering 1515/31114 (removed 29599) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1924 ms. Remains : 1012/29011 places, 1515/31114 transitions.
RANDOM walk for 1960 steps (0 resets) in 93 ms. (20 steps per ms) remains 0/2 properties
Knowledge based reduction with 18 factoid took 252 ms. Reduced automaton from 8 states, 21 edges and 3 AP (stutter sensitive) to 8 states, 21 edges and 3 AP (stutter sensitive).
Stuttering acceptance computed with spot in 328 ms :[(OR (NOT p0) (NOT p2)), (OR (NOT p2) (NOT p0)), (OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p1))), (NOT p2), (NOT p0), (AND (NOT p1) (NOT p2)), (NOT p2), (AND (NOT p0) (NOT p1))]
[2026-05-24 16:03:35] [INFO ] Invariant cache hit.
Could not prove EG (NOT p0)
[2026-05-24 16:03:42] [INFO ] Invariant cache hit.
Could not prove EG (NOT p2)
Knowledge-based reduction took 53129 ms.
Stuttering acceptance computed with spot in 340 ms :[(OR (NOT p0) (NOT p2)), (OR (NOT p2) (NOT p0)), (OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p1))), (NOT p2), (NOT p0), (AND (NOT p1) (NOT p2)), (NOT p2), (AND (NOT p0) (NOT p1))]
Support contains 808 out of 29011 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 29011/29011 places, 31114/31114 transitions.
Applied a total of 0 rules in 162 ms. Remains 29011 /29011 variables (removed 0) and now considering 31114/31114 (removed 0) transitions.
[2026-05-24 16:03:51] [INFO ] Invariant cache hit.
[2026-05-24 16:04:06] [INFO ] Implicit Places using invariants in 15055 ms returned []
Implicit Place search using SMT only with invariants took 15056 ms to find 0 implicit places.
Running 31013 sub problems to find dead transitions.
[2026-05-24 16:04:06] [INFO ] Invariant cache hit.
SMT process timed out in 121217ms, After SMT, problems are : Problem set: 0 solved, 31013 unsolved
Search for dead transitions found 0 dead transitions in 121278ms
Finished structural reductions in LTL mode , in 1 iterations and 136528 ms. Remains : 29011/29011 places, 31114/31114 transitions.
Computed a total of 29011 stabilizing places and 31114 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 29011 transition count 31114
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Knowledge based reduction with 12 factoid took 89 ms. Reduced automaton from 8 states, 21 edges and 3 AP (stutter sensitive) to 8 states, 21 edges and 3 AP (stutter sensitive).
RANDOM walk for 40001 steps (8 resets) in 3510 ms. (11 steps per ms) remains 2/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 765 ms. (52 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 710 ms. (56 steps per ms) remains 2/2 properties
[2026-05-24 16:06:29] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/808 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 26570/60125 variables, and 708 constraints, problems are : Problem set: 0 solved, 2 unsolved in 5010 ms.
Refiners :[Generalized P Invariants (flows): 708/1013 constraints, State Equation: 0/29011 constraints, PredecessorRefiner: 2/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/808 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 26570/60125 variables, and 708 constraints, problems are : Problem set: 0 solved, 2 unsolved in 5009 ms.
Refiners :[Generalized P Invariants (flows): 708/1013 constraints, State Equation: 0/29011 constraints, PredecessorRefiner: 2/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 10102ms problems are : Problem set: 0 solved, 2 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 808 out of 29011 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 29011/29011 places, 31114/31114 transitions.
Graph (complete) has 37067 edges and 29011 vertex of which 26984 are kept as prefixes of interest. Removing 2027 places using SCC suffix rule.12 ms
Discarding 2027 places :
Also discarding 2026 output transitions
Drop transitions (Output transitions of discarded places.) removed 2026 transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 20402 transitions
Trivial Post-agglo rules discarded 20402 transitions
Performed 20402 trivial Post agglomeration. Transition count delta: 20402
Iterating post reduction 0 with 20402 rules applied. Total rules applied 20403 place count 26984 transition count 8686
Reduce places removed 20402 places and 0 transitions.
Iterating post reduction 1 with 20402 rules applied. Total rules applied 40805 place count 6582 transition count 8686
Performed 1313 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1313 Pre rules applied. Total rules applied 40805 place count 6582 transition count 7373
Deduced a syphon composed of 1313 places in 2 ms
Ensure Unique test removed 202 places
Reduce places removed 1515 places and 0 transitions.
Iterating global reduction 2 with 2828 rules applied. Total rules applied 43633 place count 5067 transition count 7373
Discarding 707 places :
Implicit places reduction removed 707 places
Performed 606 Post agglomeration using F-continuation condition.Transition count delta: 606
Iterating post reduction 2 with 1313 rules applied. Total rules applied 44946 place count 4360 transition count 6767
Reduce places removed 606 places and 0 transitions.
Iterating post reduction 3 with 606 rules applied. Total rules applied 45552 place count 3754 transition count 6767
Performed 101 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 101 Pre rules applied. Total rules applied 45552 place count 3754 transition count 6666
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 4 with 202 rules applied. Total rules applied 45754 place count 3653 transition count 6666
Discarding 1530 places :
Symmetric choice reduction at 4 with 1530 rule applications. Total rules 47284 place count 2123 transition count 3636
Iterating global reduction 4 with 1530 rules applied. Total rules applied 48814 place count 2123 transition count 3636
Ensure Unique test removed 1010 transitions
Reduce isomorphic transitions removed 1010 transitions.
Iterating post reduction 4 with 1010 rules applied. Total rules applied 49824 place count 2123 transition count 2626
Performed 202 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 202 Pre rules applied. Total rules applied 49824 place count 2123 transition count 2424
Deduced a syphon composed of 202 places in 0 ms
Reduce places removed 202 places and 0 transitions.
Iterating global reduction 5 with 404 rules applied. Total rules applied 50228 place count 1921 transition count 2424
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 101
Deduced a syphon composed of 101 places in 0 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 5 with 202 rules applied. Total rules applied 50430 place count 1820 transition count 2323
Free-agglomeration rule (complex) applied 707 times.
Iterating global reduction 5 with 707 rules applied. Total rules applied 51137 place count 1820 transition count 1616
Reduce places removed 707 places and 0 transitions.
Iterating post reduction 5 with 707 rules applied. Total rules applied 51844 place count 1113 transition count 1616
Reduce places removed 101 places and 101 transitions.
Iterating global reduction 6 with 101 rules applied. Total rules applied 51945 place count 1012 transition count 1515
Applied a total of 51945 rules in 1830 ms. Remains 1012 /29011 variables (removed 27999) and now considering 1515/31114 (removed 29599) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1831 ms. Remains : 1012/29011 places, 1515/31114 transitions.
RANDOM walk for 1955 steps (0 resets) in 98 ms. (19 steps per ms) remains 0/2 properties
Knowledge based reduction with 12 factoid took 253 ms. Reduced automaton from 8 states, 21 edges and 3 AP (stutter sensitive) to 8 states, 21 edges and 3 AP (stutter sensitive).
Stuttering acceptance computed with spot in 450 ms :[(OR (NOT p0) (NOT p2)), (OR (NOT p2) (NOT p0)), (OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p1))), (NOT p2), (NOT p0), (AND (NOT p1) (NOT p2)), (NOT p2), (AND (NOT p0) (NOT p1))]
[2026-05-24 16:06:42] [INFO ] Invariant cache hit.
Could not prove EG (NOT p0)
[2026-05-24 16:06:50] [INFO ] Invariant cache hit.
Could not prove EG (NOT p2)
Knowledge-based reduction took 51257 ms.
Stuttering acceptance computed with spot in 296 ms :[(OR (NOT p0) (NOT p2)), (OR (NOT p2) (NOT p0)), (OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p1))), (NOT p2), (NOT p0), (AND (NOT p1) (NOT p2)), (NOT p2), (AND (NOT p0) (NOT p1))]
Stuttering acceptance computed with spot in 366 ms :[(OR (NOT p0) (NOT p2)), (OR (NOT p2) (NOT p0)), (OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p1))), (NOT p2), (NOT p0), (AND (NOT p1) (NOT p2)), (NOT p2), (AND (NOT p0) (NOT p1))]
Product exploration explored 100000 steps with 31 reset in 5812 ms.
Product exploration explored 100000 steps with 31 reset in 5398 ms.
Spot run failed in 121 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/autstates.py", line 2, in
import spot
ModuleNotFoundError: No module named 'spot'
java.io.IOException
at fr.lip6.move.gal.application.runner.spot.SpotRunner.computeForwardClosedSI(SpotRunner.java:551)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.treatPartialPOR(LTLPropertySolver.java:419)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.checkLTLProperty(LTLPropertySolver.java:280)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.runStutteringLTLTest(LTLPropertySolver.java:217)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.runStructuralLTLCheck(LTLPropertySolver.java:66)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:849)
at fr.lip6.move.gal.application.Application.start(Application.java:195)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:219)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:615)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:563)
at org.eclipse.equinox.launcher.Main.run(Main.java:1415)
at org.eclipse.equinox.launcher.Main.main(Main.java:1387)
Built C files in :
/tmp/ltsmin16232130271271969305
[2026-05-24 16:07:11] [INFO ] Built C files in 403ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin16232130271271969305
Running compilation step : cd /tmp/ltsmin16232130271271969305;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin16232130271271969305;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin16232130271271969305;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
Support contains 808 out of 29011 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 29011/29011 places, 31114/31114 transitions.
Applied a total of 0 rules in 194 ms. Remains 29011 /29011 variables (removed 0) and now considering 31114/31114 (removed 0) transitions.
[2026-05-24 16:07:14] [INFO ] Invariant cache hit.
[2026-05-24 16:07:29] [INFO ] Implicit Places using invariants in 14920 ms returned []
Implicit Place search using SMT only with invariants took 14922 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 15118 ms. Remains : 29011/29011 places, 31114/31114 transitions.
Built C files in :
/tmp/ltsmin3016066537136944883
[2026-05-24 16:07:29] [INFO ] Built C files in 514ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin3016066537136944883
Running compilation step : cd /tmp/ltsmin3016066537136944883;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin3016066537136944883;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin3016066537136944883;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2026-05-24 16:07:34] [INFO ] Flatten gal took : 990 ms
[2026-05-24 16:07:35] [INFO ] Flatten gal took : 712 ms
[2026-05-24 16:07:35] [INFO ] Time to serialize gal into /tmp/LTL12164735543807752187.gal : 170 ms
[2026-05-24 16:07:35] [INFO ] Time to serialize properties into /tmp/LTL16158579088943451690.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL12164735543807752187.gal' '-t' 'CGAL' '-hoa' '/tmp/aut8462149327063254794.hoa' '-atoms' '/tmp/LTL16158579088943451690.prop' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...319
Loading property file /tmp/LTL16158579088943451690.prop.
Loaded 3 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut8462149327063254794.hoa
Detected timeout of ITS tools.
[2026-05-24 16:07:51] [INFO ] Flatten gal took : 556 ms
[2026-05-24 16:07:52] [INFO ] Flatten gal took : 575 ms
[2026-05-24 16:07:52] [INFO ] Time to serialize gal into /tmp/LTL8901438699070669216.gal : 125 ms
[2026-05-24 16:07:52] [INFO ] Time to serialize properties into /tmp/LTL5222203186333740322.ltl : 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-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL8901438699070669216.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL5222203186333740322.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...275
Read 1 LTL properties
Checking formula 0 : !((X(F((("((((((((l30_0+l30_1)+(l30_2+l30_3))+((l30_4+l30_5)+(l30_6+l30_7)))+(((l30_8+l30_9)+(l30_10+l30_11))+((l30_12+l30_13)+(l30_14...8114
Formula 0 simplified : XG((!"((((((((l30_0+l30_1)+(l30_2+l30_3))+((l30_4+l30_5)+(l30_6+l30_7)))+(((l30_8+l30_9)+(l30_10+l30_11))+((l30_12+l30_13)+(l30_14+l...8106
Detected timeout of ITS tools.
[2026-05-24 16:08:08] [INFO ] Flatten gal took : 559 ms
[2026-05-24 16:08:08] [INFO ] Applying decomposition
[2026-05-24 16:08:08] [INFO ] Flatten gal took : 576 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/graph12233918012346729627.txt' '-o' '/tmp/graph12233918012346729627.bin' '-w' '/tmp/graph12233918012346729627.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12233918012346729627.bin' '-l' '-1' '-v' '-w' '/tmp/graph12233918012346729627.weights' '-q' '0' '-e' '0.001'
[2026-05-24 16:08:11] [INFO ] Decomposing Gal with order
[2026-05-24 16:08:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 16:13:25] [INFO ] Removed a total of 7132 redundant transitions.
[2026-05-24 16:13:26] [INFO ] Flatten gal took : 2709 ms
[2026-05-24 16:13:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 83 labels/synchronizations in 383 ms.
[2026-05-24 16:13:41] [INFO ] Time to serialize gal into /tmp/LTL7590293119592209581.gal : 302 ms
[2026-05-24 16:13:41] [INFO ] Time to serialize properties into /tmp/LTL11997550926400097385.ltl : 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-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL7590293119592209581.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL11997550926400097385.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...276
Read 1 LTL properties
Detected timeout of ITS tools.
Treatment of property FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-06 finished in 692627 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(G((G(p0)||X(p1)))))'
Support contains 1218 out of 33984 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 33984/33984 places, 31114/31114 transitions.
Reduce places removed 226 places and 0 transitions.
Discarding 4646 places :
Implicit places reduction removed 4646 places
Iterating post reduction 0 with 4872 rules applied. Total rules applied 4872 place count 29112 transition count 31114
Applied a total of 4872 rules in 327 ms. Remains 29112 /33984 variables (removed 4872) and now considering 31114/31114 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13662651891989022889.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11657812861559821163.kers'
[2026-05-24 16:13:56] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13662651891989022889.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11657812861559821163.kers]
Culled 0 columns in 38 ms.
// Phase 1: matrix 31114 rows 29112 cols 68888 entries
Finished phase 1 with 26988 SingleSign rule and 1010 generalized
[2026-05-24 16:13:58] [INFO ] Computed 1114 invariants in 1847 ms
Computed 1114 P flows in 1848 ms.
Exported basis to /tmp/petrispot-output-11657812861559821163.kers
Total runtime 1871 ms.
[2026-05-24 16:14:15] [INFO ] Implicit Places using invariants in 19333 ms returned [27496, 27497, 27498, 27499, 27500, 27501, 27502, 27503, 27504, 27505, 27506, 27507, 27508, 27509, 27510, 27511, 27512, 27513, 27514, 27515, 27516, 27517, 27518, 27519, 27520, 27521, 27522, 27523, 27524, 27525, 27526, 27527, 27528, 27529, 27530, 27531, 27532, 27533, 27534, 27535, 27536, 27537, 27538, 27539, 27540, 27541, 27542, 27543, 27544, 27545, 27546, 27547, 27548, 27549, 27550, 27551, 27552, 27553, 27554, 27555, 27556, 27557, 27558, 27559, 27560, 27561, 27562, 27563, 27564, 27565, 27566, 27567, 27568, 27569, 27570, 27571, 27572, 27573, 27574, 27575, 27576, 27577, 27578, 27579, 27580, 27581, 27582, 27583, 27584, 27585, 27586, 27587, 27588, 27589, 27590, 27591, 27592, 27593, 27594, 27595, 27596]
Discarding 101 places :
Implicit Place search using SMT only with invariants took 19350 ms to find 101 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 29011/33984 places, 31114/31114 transitions.
Applied a total of 0 rules in 113 ms. Remains 29011 /29011 variables (removed 0) and now considering 31114/31114 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 19792 ms. Remains : 29011/33984 places, 31114/31114 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(G((G(p0)||X(p1)))))'
Stuttering acceptance computed with spot in 238 ms :[true, (NOT p1), (AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p1) (NOT p0)), (AND (NOT p0) (NOT p1))]
Running random walk in product with property : FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-10
Entered a terminal (fully accepting) state of product in 3695 steps with 0 reset in 147 ms.
FORMULA FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-10 FALSE TECHNIQUES STUTTER_TEST
Treatment of property FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-10 finished in 20292 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(((G(p1) U X(X(G((F(p2) U p3)))))&&p0)))'
Support contains 1521 out of 33984 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 33984/33984 places, 31114/31114 transitions.
Reduce places removed 220 places and 0 transitions.
Discarding 4646 places :
Implicit places reduction removed 4646 places
Iterating post reduction 0 with 4866 rules applied. Total rules applied 4866 place count 29118 transition count 31114
Applied a total of 4866 rules in 687 ms. Remains 29118 /33984 variables (removed 4866) and now considering 31114/31114 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12468425304755519211.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7575227164810343031.kers'
[2026-05-24 16:14:17] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12468425304755519211.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7575227164810343031.kers]
Culled 0 columns in 36 ms.
// Phase 1: matrix 31114 rows 29118 cols 68894 entries
Finished phase 1 with 26993 SingleSign rule and 1010 generalized
[2026-05-24 16:14:19] [INFO ] Computed 1115 invariants in 1878 ms
Computed 1115 P flows in 1879 ms.
Exported basis to /tmp/petrispot-output-7575227164810343031.kers
Total runtime 1902 ms.
[2026-05-24 16:14:42] [INFO ] Implicit Places using invariants in 25427 ms returned []
Implicit Place search using SMT only with invariants took 25428 ms to find 0 implicit places.
Running 31013 sub problems to find dead transitions.
[2026-05-24 16:14:42] [INFO ] Invariant cache hit.
SMT process timed out in 124431ms, After SMT, problems are : Problem set: 0 solved, 31013 unsolved
Search for dead transitions found 0 dead transitions in 124496ms
Starting structural reductions in LTL mode, iteration 1 : 29118/33984 places, 31114/31114 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 150644 ms. Remains : 29118/33984 places, 31114/31114 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(((G(p1) U X(X(G((F(p2) U p3)))))&&p0)))'
Stuttering acceptance computed with spot in 1057 ms :[(OR (NOT p0) (NOT p3)), (OR (NOT p0) (NOT p3)), true, (NOT p3), (AND (NOT p1) (NOT p3)), (NOT p3), (NOT p2), (NOT p3), (AND (NOT p2) (NOT p1) (NOT p3)), (NOT p3), (AND (NOT p1) (NOT p3)), (NOT p3), (AND (NOT p2) (NOT p1)), (AND (NOT p2) (NOT p3)), (AND (NOT p2) (NOT p3)), (NOT p3), (AND (NOT p2) (NOT p1) (NOT p3)), (AND (NOT p1) (NOT p3)), (AND (NOT p2) (NOT p3)), (NOT p3)]
Running random walk in product with property : FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-11
Product exploration explored 100000 steps with 34 reset in 6390 ms.
Product exploration explored 100000 steps with 34 reset in 6203 ms.
Computed a total of 29118 stabilizing places and 31114 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 29118 transition count 31114
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Knowledge based reduction with 14 factoid took 242 ms. Reduced automaton from 20 states, 49 edges and 4 AP (stutter sensitive) to 6 states, 9 edges and 2 AP (stutter sensitive).
RANDOM walk for 11668 steps (0 resets) in 1852 ms. (6 steps per ms) remains 0/3 properties
Knowledge based reduction with 14 factoid took 421 ms. Reduced automaton from 6 states, 9 edges and 2 AP (stutter sensitive) to 6 states, 9 edges and 2 AP (stutter sensitive).
Stuttering acceptance computed with spot in 308 ms :[(NOT p3), (NOT p3), (NOT p3), (NOT p3), (NOT p2), (NOT p3)]
Knowledge-based reduction took 29221 ms.
Stuttering acceptance computed with spot in 307 ms :[(NOT p3), (NOT p3), (NOT p3), (NOT p3), (NOT p2), (NOT p3)]
Support contains 1218 out of 29118 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions in LTL mode, iteration 0 : 29118/29118 places, 31114/31114 transitions.
Applied a total of 0 rules in 156 ms. Remains 29118 /29118 variables (removed 0) and now considering 31114/31114 (removed 0) transitions.
[2026-05-24 16:17:30] [INFO ] Invariant cache hit.
[2026-05-24 16:17:53] [INFO ] Implicit Places using invariants in 22379 ms returned []
Implicit Place search using SMT only with invariants took 22380 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 22538 ms. Remains : 29118/29118 places, 31114/31114 transitions.
Computed a total of 29118 stabilizing places and 31114 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 29118 transition count 31114
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Knowledge based reduction with 3 factoid took 55 ms. Reduced automaton from 6 states, 9 edges and 2 AP (stutter sensitive) to 6 states, 9 edges and 2 AP (stutter sensitive).
RANDOM walk for 11478 steps (0 resets) in 1038 ms. (11 steps per ms) remains 0/3 properties
Knowledge based reduction with 3 factoid took 151 ms. Reduced automaton from 6 states, 9 edges and 2 AP (stutter sensitive) to 6 states, 9 edges and 2 AP (stutter sensitive).
Stuttering acceptance computed with spot in 308 ms :[(NOT p3), (NOT p3), (NOT p3), (NOT p3), (NOT p2), (NOT p3)]
Knowledge-based reduction took 24121 ms.
Stuttering acceptance computed with spot in 308 ms :[(NOT p3), (NOT p3), (NOT p3), (NOT p3), (NOT p2), (NOT p3)]
Stuttering acceptance computed with spot in 308 ms :[(NOT p3), (NOT p3), (NOT p3), (NOT p3), (NOT p2), (NOT p3)]
Product exploration explored 100000 steps with 34 reset in 6676 ms.
Product exploration explored 100000 steps with 34 reset in 6376 ms.
Spot run failed in 51 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/autstates.py", line 2, in
import spot
ModuleNotFoundError: No module named 'spot'
java.io.IOException
at fr.lip6.move.gal.application.runner.spot.SpotRunner.computeForwardClosedSI(SpotRunner.java:551)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.treatPartialPOR(LTLPropertySolver.java:419)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.checkLTLProperty(LTLPropertySolver.java:280)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.runStutteringLTLTest(LTLPropertySolver.java:217)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.runStructuralLTLCheck(LTLPropertySolver.java:66)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:849)
at fr.lip6.move.gal.application.Application.start(Application.java:195)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:219)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:615)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:563)
at org.eclipse.equinox.launcher.Main.run(Main.java:1415)
at org.eclipse.equinox.launcher.Main.main(Main.java:1387)
Built C files in :
/tmp/ltsmin11317470597578049807
[2026-05-24 16:18:31] [INFO ] Built C files in 275ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11317470597578049807
Running compilation step : cd /tmp/ltsmin11317470597578049807;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin11317470597578049807;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin11317470597578049807;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
Support contains 1218 out of 29118 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 29118/29118 places, 31114/31114 transitions.
Applied a total of 0 rules in 101 ms. Remains 29118 /29118 variables (removed 0) and now considering 31114/31114 (removed 0) transitions.
[2026-05-24 16:18:34] [INFO ] Invariant cache hit.
[2026-05-24 16:18:54] [INFO ] Implicit Places using invariants in 20299 ms returned []
Implicit Place search using SMT only with invariants took 20301 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 20404 ms. Remains : 29118/29118 places, 31114/31114 transitions.
Built C files in :
/tmp/ltsmin2361076881576397166
[2026-05-24 16:18:55] [INFO ] Built C files in 223ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin2361076881576397166
Running compilation step : cd /tmp/ltsmin2361076881576397166;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin2361076881576397166;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin2361076881576397166;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2026-05-24 16:18:59] [INFO ] Flatten gal took : 608 ms
[2026-05-24 16:18:59] [INFO ] Flatten gal took : 770 ms
[2026-05-24 16:18:59] [INFO ] Time to serialize gal into /tmp/LTL9530530810837326032.gal : 98 ms
[2026-05-24 16:18:59] [INFO ] Time to serialize properties into /tmp/LTL10247296271221210809.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL9530530810837326032.gal' '-t' 'CGAL' '-hoa' '/tmp/aut16891760920403157835.hoa' '-atoms' '/tmp/LTL10247296271221210809.prop' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...319
Loading property file /tmp/LTL10247296271221210809.prop.
Loaded 2 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut16891760920403157835.hoa
Detected timeout of ITS tools.
[2026-05-24 16:19:16] [INFO ] Flatten gal took : 588 ms
[2026-05-24 16:19:16] [INFO ] Flatten gal took : 588 ms
[2026-05-24 16:19:16] [INFO ] Time to serialize gal into /tmp/LTL10697143613814313490.gal : 104 ms
[2026-05-24 16:19:16] [INFO ] Time to serialize properties into /tmp/LTL16989503136590966437.ltl : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL10697143613814313490.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL16989503136590966437.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...277
Read 1 LTL properties
Checking formula 0 : !((X(("(((((((((lp0_0+lp0_1)+(lp0_2+lp0_3))+((lp0_4+lp0_5)+(lp0_6+lp0_7)))+(((lp0_8+lp0_9)+(lp0_10+lp0_11))+((lp0_12+lp0_13)+(lp0_14+l...25976
Formula 0 simplified : X(!"(((((((((lp0_0+lp0_1)+(lp0_2+lp0_3))+((lp0_4+lp0_5)+(lp0_6+lp0_7)))+(((lp0_8+lp0_9)+(lp0_10+lp0_11))+((lp0_12+lp0_13)+(lp0_14+lp...25964
Detected timeout of ITS tools.
[2026-05-24 16:19:32] [INFO ] Flatten gal took : 695 ms
[2026-05-24 16:19:32] [INFO ] Applying decomposition
[2026-05-24 16:19:33] [INFO ] Flatten gal took : 600 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/graph9179470423298780540.txt' '-o' '/tmp/graph9179470423298780540.bin' '-w' '/tmp/graph9179470423298780540.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9179470423298780540.bin' '-l' '-1' '-v' '-w' '/tmp/graph9179470423298780540.weights' '-q' '0' '-e' '0.001'
[2026-05-24 16:19:38] [INFO ] Decomposing Gal with order
[2026-05-24 16:19:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 16:24:38] [INFO ] Removed a total of 5654 redundant transitions.
[2026-05-24 16:24:39] [INFO ] Flatten gal took : 5779 ms
[2026-05-24 16:24:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 649 labels/synchronizations in 561 ms.
[2026-05-24 16:24:52] [INFO ] Time to serialize gal into /tmp/LTL9333879080034580094.gal : 217 ms
[2026-05-24 16:24:52] [INFO ] Time to serialize properties into /tmp/LTL7116911126028884256.ltl : 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-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL9333879080034580094.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL7116911126028884256.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...275
Read 1 LTL properties
Checking formula 0 : !((X(("(((((((((gi1.gu4008.lp0_0+gi1.gu4008.lp0_1)+(gi1.gu4008.lp0_2+gi1.gu4008.lp0_3))+((gi1.gu4008.lp0_4+gi1.gu4008.lp0_5)+(gi1.gu40...45654
Formula 0 simplified : X(!"(((((((((gi1.gu4008.lp0_0+gi1.gu4008.lp0_1)+(gi1.gu4008.lp0_2+gi1.gu4008.lp0_3))+((gi1.gu4008.lp0_4+gi1.gu4008.lp0_5)+(gi1.gu400...45642
Detected timeout of ITS tools.
Treatment of property FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-11 finished in 651489 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X((X(X((X(X(p0)) U (X(X(G(p0)))||(p1&&X(X(p0))))))) U G(p2))))'
Support contains 1920 out of 33984 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 33984/33984 places, 31114/31114 transitions.
Reduce places removed 125 places and 0 transitions.
Discarding 3535 places :
Implicit places reduction removed 3535 places
Iterating post reduction 0 with 3660 rules applied. Total rules applied 3660 place count 30324 transition count 31114
Applied a total of 3660 rules in 622 ms. Remains 30324 /33984 variables (removed 3660) and now considering 31114/31114 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9567246047636693574.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17411687467257085492.kers'
[2026-05-24 16:25:08] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9567246047636693574.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17411687467257085492.kers]
Culled 0 columns in 38 ms.
// Phase 1: matrix 31114 rows 30324 cols 71312 entries
Finished phase 1 with 26079 SingleSign rule and 1919 generalized
[2026-05-24 16:25:10] [INFO ] Computed 2326 invariants in 1515 ms
Computed 2326 P flows in 1516 ms.
Exported basis to /tmp/petrispot-output-17411687467257085492.kers
Total runtime 1540 ms.
[2026-05-24 16:25:51] [INFO ] Performed 29405/30324 implicitness test of which 101 returned IMPLICIT in 30 seconds.
[2026-05-24 16:25:55] [INFO ] Implicit Places using invariants in 46437 ms returned [28708, 28709, 28710, 28711, 28712, 28713, 28714, 28715, 28716, 28717, 28718, 28719, 28720, 28721, 28722, 28723, 28724, 28725, 28726, 28727, 28728, 28729, 28730, 28731, 28732, 28733, 28734, 28735, 28736, 28737, 28738, 28739, 28740, 28741, 28742, 28743, 28744, 28745, 28746, 28747, 28748, 28749, 28750, 28751, 28752, 28753, 28754, 28755, 28756, 28757, 28758, 28759, 28760, 28761, 28762, 28763, 28764, 28765, 28766, 28767, 28768, 28769, 28770, 28771, 28772, 28773, 28774, 28775, 28776, 28777, 28778, 28779, 28780, 28781, 28782, 28783, 28784, 28785, 28786, 28787, 28788, 28789, 28790, 28791, 28792, 28793, 28794, 28795, 28796, 28797, 28798, 28799, 28800, 28801, 28802, 28803, 28804, 28805, 28806, 28807, 28808]
Discarding 101 places :
Implicit Place search using SMT only with invariants took 46462 ms to find 101 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 30223/33984 places, 31114/31114 transitions.
Applied a total of 0 rules in 178 ms. Remains 30223 /30223 variables (removed 0) and now considering 31114/31114 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 47264 ms. Remains : 30223/33984 places, 31114/31114 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X((X(X((X(X(p0)) U (X(X(G(p0)))||(p1&&X(X(p0))))))) U G(p2))))'
Stuttering acceptance computed with spot in 614 ms :[(NOT p2), (NOT p2), (NOT p0), (AND (NOT p0) (NOT p2)), (NOT p0), (NOT p0), (NOT p0), (AND (NOT p0) (NOT p2)), true, (AND (NOT p0) (NOT p2)), (AND (NOT p2) (NOT p0)), (AND (NOT p2) p0)]
Running random walk in product with property : FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-12
Entered a terminal (fully accepting) state of product in 7 steps with 0 reset in 2 ms.
FORMULA FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-12 FALSE TECHNIQUES STUTTER_TEST
Treatment of property FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-12 finished in 48095 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X((F(G(p0))||G(p1)))))'
Support contains 1414 out of 33984 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 33984/33984 places, 31114/31114 transitions.
Reduce places removed 226 places and 0 transitions.
Discarding 4646 places :
Implicit places reduction removed 4646 places
Iterating post reduction 0 with 4872 rules applied. Total rules applied 4872 place count 29112 transition count 31114
Applied a total of 4872 rules in 571 ms. Remains 29112 /33984 variables (removed 4872) and now considering 31114/31114 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10760837646425341077.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6206723127763407859.kers'
[2026-05-24 16:25:56] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10760837646425341077.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6206723127763407859.kers]
Culled 0 columns in 37 ms.
// Phase 1: matrix 31114 rows 29112 cols 68888 entries
Finished phase 1 with 26988 SingleSign rule and 1010 generalized
[2026-05-24 16:25:58] [INFO ] Computed 1114 invariants in 1752 ms
Computed 1114 P flows in 1753 ms.
Exported basis to /tmp/petrispot-output-6206723127763407859.kers
Total runtime 1778 ms.
[2026-05-24 16:26:18] [INFO ] Implicit Places using invariants in 21366 ms returned [27496, 27497, 27498, 27499, 27500, 27501, 27502, 27503, 27504, 27505, 27506, 27507, 27508, 27509, 27510, 27511, 27512, 27513, 27514, 27515, 27516, 27517, 27518, 27519, 27520, 27521, 27522, 27523, 27524, 27525, 27526, 27527, 27528, 27529, 27530, 27531, 27532, 27533, 27534, 27535, 27536, 27537, 27538, 27539, 27540, 27541, 27542, 27543, 27544, 27545, 27546, 27547, 27548, 27549, 27550, 27551, 27552, 27553, 27554, 27555, 27556, 27557, 27558, 27559, 27560, 27561, 27562, 27563, 27564, 27565, 27566, 27567, 27568, 27569, 27570, 27571, 27572, 27573, 27574, 27575, 27576, 27577, 27578, 27579, 27580, 27581, 27582, 27583, 27584, 27585, 27586, 27587, 27588, 27589, 27590, 27591, 27592, 27593, 27594, 27595, 27596]
Discarding 101 places :
Implicit Place search using SMT only with invariants took 21388 ms to find 101 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 29011/33984 places, 31114/31114 transitions.
Applied a total of 0 rules in 168 ms. Remains 29011 /29011 variables (removed 0) and now considering 31114/31114 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 22128 ms. Remains : 29011/33984 places, 31114/31114 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X((F(G(p0))||G(p1)))))'
Stuttering acceptance computed with spot in 203 ms :[(AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Running random walk in product with property : FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-13
Product exploration explored 100000 steps with 17 reset in 6993 ms.
Product exploration explored 100000 steps with 17 reset in 6869 ms.
Computed a total of 29011 stabilizing places and 31114 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 29011 transition count 31114
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Knowledge based reduction with 4 factoid took 53 ms. Reduced automaton from 4 states, 6 edges and 2 AP (stutter sensitive) to 4 states, 6 edges and 2 AP (stutter sensitive).
RANDOM walk for 40000 steps (8 resets) in 3604 ms. (11 steps per ms) remains 1/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1042 ms. (38 steps per ms) remains 1/1 properties
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-5042537347592546441.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16786766008261770055.kers'
[2026-05-24 16:26:59] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5042537347592546441.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16786766008261770055.kers]
Culled 0 columns in 59 ms.
// Phase 1: matrix 31114 rows 29011 cols 68181 entries
Finished phase 1 with 26988 SingleSign rule and 1010 generalized
[2026-05-24 16:27:01] [INFO ] Computed 1013 invariants in 2132 ms
Computed 1013 P flows in 2133 ms.
Exported basis to /tmp/petrispot-output-16786766008261770055.kers
Total runtime 2157 ms.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/1313 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 25360/60125 variables, and 2 constraints, problems are : Problem set: 0 solved, 1 unsolved in 5009 ms.
Refiners :[Generalized P Invariants (flows): 2/1013 constraints, State Equation: 0/29011 constraints, PredecessorRefiner: 1/0 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/1313 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 25360/60125 variables, and 2 constraints, problems are : Problem set: 0 solved, 1 unsolved in 5010 ms.
Refiners :[Generalized P Invariants (flows): 2/1013 constraints, State Equation: 0/29011 constraints, PredecessorRefiner: 1/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 12309ms problems are : Problem set: 0 solved, 1 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 1313 out of 29011 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 29011/29011 places, 31114/31114 transitions.
Graph (complete) has 37067 edges and 29011 vertex of which 28702 are kept as prefixes of interest. Removing 309 places using SCC suffix rule.14 ms
Discarding 309 places :
Also discarding 309 output transitions
Drop transitions (Output transitions of discarded places.) removed 309 transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 19796 transitions
Trivial Post-agglo rules discarded 19796 transitions
Performed 19796 trivial Post agglomeration. Transition count delta: 19796
Iterating post reduction 0 with 19796 rules applied. Total rules applied 19797 place count 28702 transition count 11009
Reduce places removed 19796 places and 0 transitions.
Performed 1111 Post agglomeration using F-continuation condition.Transition count delta: 1111
Iterating post reduction 1 with 20907 rules applied. Total rules applied 40704 place count 8906 transition count 9898
Reduce places removed 1111 places and 0 transitions.
Iterating post reduction 2 with 1111 rules applied. Total rules applied 41815 place count 7795 transition count 9898
Performed 2323 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 2323 Pre rules applied. Total rules applied 41815 place count 7795 transition count 7575
Deduced a syphon composed of 2323 places in 2 ms
Ensure Unique test removed 1010 places
Reduce places removed 3333 places and 0 transitions.
Iterating global reduction 3 with 5656 rules applied. Total rules applied 47471 place count 4462 transition count 7575
Drop transitions (Trivial Post-Agglo cleanup.) removed 707 transitions
Trivial Post-agglo rules discarded 707 transitions
Performed 707 trivial Post agglomeration. Transition count delta: 707
Iterating post reduction 3 with 707 rules applied. Total rules applied 48178 place count 4462 transition count 6868
Reduce places removed 707 places and 0 transitions.
Iterating post reduction 4 with 707 rules applied. Total rules applied 48885 place count 3755 transition count 6868
Performed 101 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 101 Pre rules applied. Total rules applied 48885 place count 3755 transition count 6767
Deduced a syphon composed of 101 places in 1 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 5 with 202 rules applied. Total rules applied 49087 place count 3654 transition count 6767
Discarding 1520 places :
Symmetric choice reduction at 5 with 1520 rule applications. Total rules 50607 place count 2134 transition count 4747
Iterating global reduction 5 with 1520 rules applied. Total rules applied 52127 place count 2134 transition count 4747
Ensure Unique test removed 505 transitions
Reduce isomorphic transitions removed 505 transitions.
Iterating post reduction 5 with 505 rules applied. Total rules applied 52632 place count 2134 transition count 4242
Performed 202 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 202 Pre rules applied. Total rules applied 52632 place count 2134 transition count 4040
Deduced a syphon composed of 202 places in 1 ms
Reduce places removed 202 places and 0 transitions.
Iterating global reduction 6 with 404 rules applied. Total rules applied 53036 place count 1932 transition count 4040
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 101
Deduced a syphon composed of 101 places in 0 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 6 with 202 rules applied. Total rules applied 53238 place count 1831 transition count 3939
Free-agglomeration rule (complex) applied 202 times.
Iterating global reduction 6 with 202 rules applied. Total rules applied 53440 place count 1831 transition count 3737
Reduce places removed 202 places and 0 transitions.
Iterating post reduction 6 with 202 rules applied. Total rules applied 53642 place count 1629 transition count 3737
Applied a total of 53642 rules in 2327 ms. Remains 1629 /29011 variables (removed 27382) and now considering 3737/31114 (removed 27377) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2327 ms. Remains : 1629/29011 places, 3737/31114 transitions.
RANDOM walk for 16112 steps (48 resets) in 1247 ms. (12 steps per ms) remains 0/1 properties
Knowledge based reduction with 4 factoid took 71 ms. Reduced automaton from 4 states, 6 edges and 2 AP (stutter sensitive) to 4 states, 6 edges and 2 AP (stutter sensitive).
Stuttering acceptance computed with spot in 134 ms :[(AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Knowledge-based reduction took 42111 ms.
Stuttering acceptance computed with spot in 157 ms :[(AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Support contains 1414 out of 29011 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 29011/29011 places, 31114/31114 transitions.
Applied a total of 0 rules in 166 ms. Remains 29011 /29011 variables (removed 0) and now considering 31114/31114 (removed 0) transitions.
[2026-05-24 16:27:14] [INFO ] Invariant cache hit.
[2026-05-24 16:27:29] [INFO ] Implicit Places using invariants in 15096 ms returned []
Implicit Place search using SMT only with invariants took 15097 ms to find 0 implicit places.
Running 31013 sub problems to find dead transitions.
[2026-05-24 16:27:30] [INFO ] Invariant cache hit.
SMT process timed out in 147952ms, After SMT, problems are : Problem set: 0 solved, 31013 unsolved
Search for dead transitions found 0 dead transitions in 148014ms
Finished structural reductions in LTL mode , in 1 iterations and 163311 ms. Remains : 29011/29011 places, 31114/31114 transitions.
Computed a total of 29011 stabilizing places and 31114 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 29011 transition count 31114
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Knowledge based reduction with 4 factoid took 50 ms. Reduced automaton from 4 states, 6 edges and 2 AP (stutter sensitive) to 4 states, 6 edges and 2 AP (stutter sensitive).
RANDOM walk for 40000 steps (8 resets) in 2628 ms. (15 steps per ms) remains 1/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1766 ms. (22 steps per ms) remains 1/1 properties
[2026-05-24 16:30:22] [INFO ] Invariant cache hit.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/1313 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 25360/60125 variables, and 2 constraints, problems are : Problem set: 0 solved, 1 unsolved in 5009 ms.
Refiners :[Generalized P Invariants (flows): 2/1013 constraints, State Equation: 0/29011 constraints, PredecessorRefiner: 1/0 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/1313 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 25360/60125 variables, and 2 constraints, problems are : Problem set: 0 solved, 1 unsolved in 5010 ms.
Refiners :[Generalized P Invariants (flows): 2/1013 constraints, State Equation: 0/29011 constraints, PredecessorRefiner: 1/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 10108ms problems are : Problem set: 0 solved, 1 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 1313 out of 29011 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 29011/29011 places, 31114/31114 transitions.
Graph (complete) has 37067 edges and 29011 vertex of which 28702 are kept as prefixes of interest. Removing 309 places using SCC suffix rule.14 ms
Discarding 309 places :
Also discarding 309 output transitions
Drop transitions (Output transitions of discarded places.) removed 309 transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 19796 transitions
Trivial Post-agglo rules discarded 19796 transitions
Performed 19796 trivial Post agglomeration. Transition count delta: 19796
Iterating post reduction 0 with 19796 rules applied. Total rules applied 19797 place count 28702 transition count 11009
Reduce places removed 19796 places and 0 transitions.
Performed 1111 Post agglomeration using F-continuation condition.Transition count delta: 1111
Iterating post reduction 1 with 20907 rules applied. Total rules applied 40704 place count 8906 transition count 9898
Reduce places removed 1111 places and 0 transitions.
Iterating post reduction 2 with 1111 rules applied. Total rules applied 41815 place count 7795 transition count 9898
Performed 2323 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 2323 Pre rules applied. Total rules applied 41815 place count 7795 transition count 7575
Deduced a syphon composed of 2323 places in 3 ms
Ensure Unique test removed 1010 places
Reduce places removed 3333 places and 0 transitions.
Iterating global reduction 3 with 5656 rules applied. Total rules applied 47471 place count 4462 transition count 7575
Drop transitions (Trivial Post-Agglo cleanup.) removed 707 transitions
Trivial Post-agglo rules discarded 707 transitions
Performed 707 trivial Post agglomeration. Transition count delta: 707
Iterating post reduction 3 with 707 rules applied. Total rules applied 48178 place count 4462 transition count 6868
Reduce places removed 707 places and 0 transitions.
Iterating post reduction 4 with 707 rules applied. Total rules applied 48885 place count 3755 transition count 6868
Performed 101 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 101 Pre rules applied. Total rules applied 48885 place count 3755 transition count 6767
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 5 with 202 rules applied. Total rules applied 49087 place count 3654 transition count 6767
Discarding 1520 places :
Symmetric choice reduction at 5 with 1520 rule applications. Total rules 50607 place count 2134 transition count 4747
Iterating global reduction 5 with 1520 rules applied. Total rules applied 52127 place count 2134 transition count 4747
Ensure Unique test removed 505 transitions
Reduce isomorphic transitions removed 505 transitions.
Iterating post reduction 5 with 505 rules applied. Total rules applied 52632 place count 2134 transition count 4242
Performed 202 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 202 Pre rules applied. Total rules applied 52632 place count 2134 transition count 4040
Deduced a syphon composed of 202 places in 1 ms
Reduce places removed 202 places and 0 transitions.
Iterating global reduction 6 with 404 rules applied. Total rules applied 53036 place count 1932 transition count 4040
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 101
Deduced a syphon composed of 101 places in 1 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 6 with 202 rules applied. Total rules applied 53238 place count 1831 transition count 3939
Free-agglomeration rule (complex) applied 202 times.
Iterating global reduction 6 with 202 rules applied. Total rules applied 53440 place count 1831 transition count 3737
Reduce places removed 202 places and 0 transitions.
Iterating post reduction 6 with 202 rules applied. Total rules applied 53642 place count 1629 transition count 3737
Applied a total of 53642 rules in 2291 ms. Remains 1629 /29011 variables (removed 27382) and now considering 3737/31114 (removed 27377) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2291 ms. Remains : 1629/29011 places, 3737/31114 transitions.
RANDOM walk for 27044 steps (84 resets) in 2232 ms. (12 steps per ms) remains 0/1 properties
Knowledge based reduction with 4 factoid took 100 ms. Reduced automaton from 4 states, 6 edges and 2 AP (stutter sensitive) to 4 states, 6 edges and 2 AP (stutter sensitive).
Stuttering acceptance computed with spot in 190 ms :[(AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Knowledge-based reduction took 37712 ms.
Stuttering acceptance computed with spot in 190 ms :[(AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Stuttering acceptance computed with spot in 194 ms :[(AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Product exploration explored 100000 steps with 17 reset in 6827 ms.
Product exploration explored 100000 steps with 17 reset in 6390 ms.
Spot run failed in 53 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/autstates.py", line 2, in
import spot
ModuleNotFoundError: No module named 'spot'
java.io.IOException
at fr.lip6.move.gal.application.runner.spot.SpotRunner.computeForwardClosedSI(SpotRunner.java:551)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.treatPartialPOR(LTLPropertySolver.java:419)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.checkLTLProperty(LTLPropertySolver.java:280)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.runStutteringLTLTest(LTLPropertySolver.java:217)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.runStructuralLTLCheck(LTLPropertySolver.java:66)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:849)
at fr.lip6.move.gal.application.Application.start(Application.java:195)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:219)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:615)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:563)
at org.eclipse.equinox.launcher.Main.run(Main.java:1415)
at org.eclipse.equinox.launcher.Main.main(Main.java:1387)
Built C files in :
/tmp/ltsmin13485400975415475586
[2026-05-24 16:30:49] [INFO ] Built C files in 265ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin13485400975415475586
Running compilation step : cd /tmp/ltsmin13485400975415475586;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin13485400975415475586;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin13485400975415475586;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
Support contains 1414 out of 29011 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 29011/29011 places, 31114/31114 transitions.
Applied a total of 0 rules in 110 ms. Remains 29011 /29011 variables (removed 0) and now considering 31114/31114 (removed 0) transitions.
[2026-05-24 16:30:52] [INFO ] Invariant cache hit.
[2026-05-24 16:31:08] [INFO ] Implicit Places using invariants in 15657 ms returned []
Implicit Place search using SMT only with invariants took 15659 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 15770 ms. Remains : 29011/29011 places, 31114/31114 transitions.
Built C files in :
/tmp/ltsmin14014094064476005136
[2026-05-24 16:31:08] [INFO ] Built C files in 205ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin14014094064476005136
Running compilation step : cd /tmp/ltsmin14014094064476005136;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin14014094064476005136;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin14014094064476005136;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2026-05-24 16:31:12] [INFO ] Flatten gal took : 681 ms
[2026-05-24 16:31:13] [INFO ] Flatten gal took : 584 ms
[2026-05-24 16:31:13] [INFO ] Time to serialize gal into /tmp/LTL16115866340281271283.gal : 104 ms
[2026-05-24 16:31:13] [INFO ] Time to serialize properties into /tmp/LTL11661262497859590007.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-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL16115866340281271283.gal' '-t' 'CGAL' '-hoa' '/tmp/aut992145689429570119.hoa' '-atoms' '/tmp/LTL11661262497859590007.prop' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...318
Loading property file /tmp/LTL11661262497859590007.prop.
Loaded 2 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut992145689429570119.hoa
Detected timeout of ITS tools.
[2026-05-24 16:31:29] [INFO ] Flatten gal took : 560 ms
[2026-05-24 16:31:30] [INFO ] Flatten gal took : 586 ms
[2026-05-24 16:31:30] [INFO ] Time to serialize gal into /tmp/LTL16876903071977308586.gal : 103 ms
[2026-05-24 16:31:30] [INFO ] Time to serialize properties into /tmp/LTL6893665204063002181.ltl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL16876903071977308586.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL6893665204063002181.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...276
Read 1 LTL properties
Checking formula 0 : !((X(X((F(G("((((((((l26_0+l26_1)+(l26_2+l26_3))+((l26_4+l26_5)+(l26_6+l26_7)))+(((l26_8+l26_9)+(l26_10+l26_11))+((l26_12+l26_13)+(l26...12860
Formula 0 simplified : XX(GF!"((((((((l26_0+l26_1)+(l26_2+l26_3))+((l26_4+l26_5)+(l26_6+l26_7)))+(((l26_8+l26_9)+(l26_10+l26_11))+((l26_12+l26_13)+(l26_14+...12848
Detected timeout of ITS tools.
[2026-05-24 16:31:46] [INFO ] Flatten gal took : 559 ms
[2026-05-24 16:31:46] [INFO ] Applying decomposition
[2026-05-24 16:31:46] [INFO ] Flatten gal took : 583 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/graph9739979587193413863.txt' '-o' '/tmp/graph9739979587193413863.bin' '-w' '/tmp/graph9739979587193413863.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9739979587193413863.bin' '-l' '-1' '-v' '-w' '/tmp/graph9739979587193413863.weights' '-q' '0' '-e' '0.001'
[2026-05-24 16:31:52] [INFO ] Decomposing Gal with order
[2026-05-24 16:32:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 16:37:28] [INFO ] Removed a total of 7138 redundant transitions.
[2026-05-24 16:37:29] [INFO ] Flatten gal took : 6110 ms
[2026-05-24 16:37:37] [INFO ] Fuse similar labels procedure discarded/fused a total of 202 labels/synchronizations in 789 ms.
[2026-05-24 16:37:42] [INFO ] Time to serialize gal into /tmp/LTL9617536203707612553.gal : 221 ms
[2026-05-24 16:37:42] [INFO ] Time to serialize properties into /tmp/LTL7001749074372673862.ltl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL9617536203707612553.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL7001749074372673862.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...275
Read 1 LTL properties
Checking formula 0 : !((X(X((F(G("((((((((gi0.gu10970.l26_0+gi0.gu10970.l26_1)+(gi0.gu10970.l26_2+gi0.gu10970.l26_3))+((gi0.gu10970.l26_4+gi0.gu10970.l26_5...23263
Formula 0 simplified : XX(GF!"((((((((gi0.gu10970.l26_0+gi0.gu10970.l26_1)+(gi0.gu10970.l26_2+gi0.gu10970.l26_3))+((gi0.gu10970.l26_4+gi0.gu10970.l26_5)+(g...23251
Detected timeout of ITS tools.
Treatment of property FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-13 finished in 721948 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((G((G(F(p0)) U ((p1 U X(p0)) U p2))) U p1))'
Support contains 606 out of 33984 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 33984/33984 places, 31114/31114 transitions.
Reduce places removed 24 places and 0 transitions.
Discarding 4545 places :
Implicit places reduction removed 4545 places
Iterating post reduction 0 with 4569 rules applied. Total rules applied 4569 place count 29415 transition count 31114
Applied a total of 4569 rules in 429 ms. Remains 29415 /33984 variables (removed 4569) and now considering 31114/31114 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8107404694738208407.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7782941782490947486.kers'
[2026-05-24 16:37:58] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8107404694738208407.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7782941782490947486.kers]
Culled 0 columns in 37 ms.
// Phase 1: matrix 31114 rows 29415 cols 69393 entries
Finished phase 1 with 27089 SingleSign rule and 1010 generalized
[2026-05-24 16:38:00] [INFO ] Computed 1316 invariants in 1833 ms
Computed 1316 P flows in 1834 ms.
Exported basis to /tmp/petrispot-output-7782941782490947486.kers
Total runtime 1857 ms.
[2026-05-24 16:38:36] [INFO ] Implicit Places using invariants in 37888 ms returned [27799, 27800, 27801, 27802, 27803, 27804, 27805, 27806, 27807, 27808, 27809, 27810, 27811, 27812, 27813, 27814, 27815, 27816, 27817, 27818, 27819, 27820, 27821, 27822, 27823, 27824, 27825, 27826, 27827, 27828, 27829, 27830, 27831, 27832, 27833, 27834, 27835, 27836, 27837, 27838, 27839, 27840, 27841, 27842, 27843, 27844, 27845, 27846, 27847, 27848, 27849, 27850, 27851, 27852, 27853, 27854, 27855, 27856, 27857, 27858, 27859, 27860, 27861, 27862, 27863, 27864, 27865, 27866, 27867, 27868, 27869, 27870, 27871, 27872, 27873, 27874, 27875, 27876, 27877, 27878, 27879, 27880, 27881, 27882, 27883, 27884, 27885, 27886, 27887, 27888, 27889, 27890, 27891, 27892, 27893, 27894, 27895, 27896, 27897, 27898, 27899]
Discarding 101 places :
Implicit Place search using SMT only with invariants took 37912 ms to find 101 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 29314/33984 places, 31114/31114 transitions.
Applied a total of 0 rules in 134 ms. Remains 29314 /29314 variables (removed 0) and now considering 31114/31114 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 38477 ms. Remains : 29314/33984 places, 31114/31114 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((G((G(F(p0)) U ((p1 U X(p0)) U p2))) U p1))'
Stuttering acceptance computed with spot in 387 ms :[(NOT p1), (NOT p2), (NOT p0), (NOT p0), (NOT p2), (NOT p0), (NOT p0)]
Running random walk in product with property : FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-15
Product exploration explored 100000 steps with 32 reset in 3249 ms.
Product exploration explored 100000 steps with 32 reset in 3037 ms.
Computed a total of 29314 stabilizing places and 31114 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 29314 transition count 31114
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Property proved to be false by K+ with min(phi)
Knowledge based reduction with 16 factoid took 33 ms. Proved property starting from automaton with 7 states, 22 edges and 3 AP (stutter sensitive
Knowledge-based reduction took 24789 ms.
FORMULA FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-15 FALSE TECHNIQUES KNOWLEDGE
Treatment of property FamilyReunion-COL-L00100M0010C005P005G002-LTLCardinality-15 finished in 70127 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(p0))'
Spot run failed in 52 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/senseclsl.py", line 2, in
import spot, sys
ModuleNotFoundError: No module named 'spot'
Warning : SL/CL computation failed.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(F(((p0 U (F(p1) U p2))&&X(p0)))))'
Spot run failed in 49 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/senseclsl.py", line 2, in
import spot, sys
ModuleNotFoundError: No module named 'spot'
Warning : SL/CL computation failed.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(((G(p1) U X(X(G((F(p2) U p3)))))&&p0)))'
Spot run failed in 52 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/senseclsl.py", line 2, in
import spot, sys
ModuleNotFoundError: No module named 'spot'
Warning : SL/CL computation failed.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X((F(G(p0))||G(p1)))))'
Spot run failed in 48 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/senseclsl.py", line 2, in
import spot, sys
ModuleNotFoundError: No module named 'spot'
Warning : SL/CL computation failed.
[2026-05-24 16:39:09] [INFO ] Flatten gal took : 856 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin11559067981384460499
[2026-05-24 16:39:09] [INFO ] Too many transitions (31114) to apply POR reductions. Disabling POR matrices.
[2026-05-24 16:39:10] [INFO ] Built C files in 254ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11559067981384460499
Running compilation step : cd /tmp/ltsmin11559067981384460499;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '180' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
[2026-05-24 16:39:10] [INFO ] Applying decomposition
[2026-05-24 16:39:10] [INFO ] Flatten gal took : 804 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/graph15040462084647285907.txt' '-o' '/tmp/graph15040462084647285907.bin' '-w' '/tmp/graph15040462084647285907.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph15040462084647285907.bin' '-l' '-1' '-v' '-w' '/tmp/graph15040462084647285907.weights' '-q' '0' '-e' '0.001'
[2026-05-24 16:39:19] [INFO ] Decomposing Gal with order
[2026-05-24 16:39:35] [INFO ] Rewriting arrays to variables to allow decomposition.
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin11559067981384460499;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '180' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 180 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin11559067981384460499;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '180' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 180 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2026-05-24 16:44:57] [INFO ] Removed a total of 4583 redundant transitions.
[2026-05-24 16:44:58] [INFO ] Flatten gal took : 8262 ms
[2026-05-24 16:45:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 1289 labels/synchronizations in 571 ms.
[2026-05-24 16:45:04] [INFO ] Time to serialize gal into /tmp/LTLCardinality17284512598907839586.gal : 194 ms
[2026-05-24 16:45:04] [INFO ] Time to serialize properties into /tmp/LTLCardinality7176533632134832822.ltl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTLCardinality17284512598907839586.gal' '-t' 'CGAL' '-LTL' '/tmp/LTLCardinality7176533632134832822.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...298
Read 4 LTL properties
Checking formula 0 : !((F("((((((((gi78.gi0.gi0.gi0.gi0.gu145.l11_0+gi78.gi0.gi0.gi0.gi0.gu145.l11_1)+(gi78.gi0.gi0.gi0.gi0.gu145.l11_2+gi78.gi0.gi0.gi0.gi...7181
Formula 0 simplified : G!"((((((((gi78.gi0.gi0.gi0.gi0.gu145.l11_0+gi78.gi0.gi0.gi0.gi0.gu145.l11_1)+(gi78.gi0.gi0.gi0.gi0.gu145.l11_2+gi78.gi0.gi0.gi0.gi0...7177
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
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution LTLCardinality -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 LTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FamilyReunion-COL-L00100M0010C005P005G002"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5973"
echo " Executing tool itstools"
echo " Input is FamilyReunion-COL-L00100M0010C005P005G002, examination is LTLCardinality"
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-177955808900027"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-COL-L00100M0010C005P005G002.tgz
mv FamilyReunion-COL-L00100M0010C005P005G002 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "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 [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.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 [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;