About the Execution of ITS-Tools for FamilyReunion-PT-L00100M0010C005P005G002
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7387.728 | 3600000.00 | 4088007.00 | 10756.40 | T?FTF??TFFFFTFFF | 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-177955808900123.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2026-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5973
Executing tool itstools
Input is FamilyReunion-PT-L00100M0010C005P005G002, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r130-smll-177955808900123
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 42M
-rw-r--r-- 1 mcc users 307K Mar 6 05:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.8M Mar 6 05:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.2M Mar 6 05:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 4.1M 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 123K Mar 15 10:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 503K Mar 15 10:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 563K Mar 15 10:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.5M Mar 15 10:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.2M Mar 6 05:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 7.3M Mar 6 05:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 1.6M Mar 6 05:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 5.4M Mar 6 05:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 56K Mar 15 10:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 168K Mar 15 10:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 24 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 17M Mar 3 18:30 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-00
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-01
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-02
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-03
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-04
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-05
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-06
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-07
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-08
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-09
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-10
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-11
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-12
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-13
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-14
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-15
=== Now, execution of the tool begins
BK_START 1779757364342
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=LTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FamilyReunion-PT-L00100M0010C005P005G002
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
LTLCardinality PT
Running Version 202604301425
[2026-05-26 01:02:46] [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-26 01:02:46] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-26 01:02:48] [INFO ] Load time of PNML (sax parser for PT used): 1536 ms
[2026-05-26 01:02:48] [INFO ] Transformed 40605 places.
[2026-05-26 01:02:48] [INFO ] Transformed 36871 transitions.
[2026-05-26 01:02:48] [INFO ] Parsed PT model containing 40605 places and 36871 transitions and 112728 arcs in 2162 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 176 ms.
Working with output stream class java.io.PrintStream
Initial state reduction rules removed 3 formulas.
Reduce places removed 31 places and 0 transitions.
FORMULA FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 6702 out of 40574 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 40574/40574 places, 36871/36871 transitions.
Reduce places removed 226 places and 0 transitions.
Discarding 3332 places :
Implicit places reduction removed 3332 places
Iterating post reduction 0 with 3558 rules applied. Total rules applied 3558 place count 37016 transition count 36871
Discarding 202 places :
Symmetric choice reduction at 1 with 202 rule applications. Total rules 3760 place count 36814 transition count 36467
Iterating global reduction 1 with 202 rules applied. Total rules applied 3962 place count 36814 transition count 36467
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 3964 place count 36812 transition count 36265
Iterating global reduction 1 with 2 rules applied. Total rules applied 3966 place count 36812 transition count 36265
Applied a total of 3966 rules in 2164 ms. Remains 36812 /40574 variables (removed 3762) and now considering 36265/36871 (removed 606) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-18329998650563017838.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14805488619402387524.kers'
[2026-05-26 01:02:52] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-18329998650563017838.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14805488619402387524.kers]
Culled 0 columns in 54 ms.
// Phase 1: matrix 36265 rows 36812 cols 95251 entries
Finished phase 1 with 25895 SingleSign rule and 5556 generalized
[2026-05-26 01:02:54] [INFO ] Computed 5361 invariants in 1478 ms
Computed 5361 P flows in 1480 ms.
Exported basis to /tmp/petrispot-output-14805488619402387524.kers
Total runtime 1515 ms.
[2026-05-26 01:03:43] [INFO ] Performed 6873/36812 implicitness test of which 202 returned IMPLICIT in 30 seconds.
[2026-05-26 01:04:13] [INFO ] Performed 21124/36812 implicitness test of which 303 returned IMPLICIT in 60 seconds.
[2026-05-26 01:04:43] [INFO ] Performed 33004/36812 implicitness test of which 706 returned IMPLICIT in 90 seconds.
[2026-05-26 01:04:51] [INFO ] Implicit Places using invariants in 118568 ms returned [707, 708, 709, 710, 711, 712, 713, 714, 715, 716, 717, 718, 719, 720, 721, 722, 723, 724, 725, 726, 727, 728, 729, 730, 731, 732, 733, 734, 735, 736, 737, 738, 739, 740, 741, 742, 743, 744, 745, 746, 747, 748, 749, 750, 751, 752, 753, 754, 755, 756, 757, 758, 759, 760, 761, 762, 763, 764, 765, 766, 767, 768, 769, 770, 771, 772, 773, 774, 775, 776, 777, 778, 779, 780, 781, 782, 783, 784, 785, 786, 787, 788, 789, 790, 791, 792, 793, 794, 795, 796, 797, 798, 799, 800, 801, 802, 803, 804, 805, 806, 807, 1919, 1920, 1921, 1922, 1923, 1924, 1925, 1926, 1927, 1928, 1929, 1930, 1931, 1932, 1933, 1934, 1935, 1936, 1937, 1938, 1939, 1940, 1941, 1942, 1943, 1944, 1945, 1946, 1947, 1948, 1949, 1950, 1951, 1952, 1953, 1954, 1955, 1956, 1957, 1958, 1959, 1960, 1961, 1962, 1963, 1964, 1965, 1966, 1967, 1968, 1969, 1970, 1971, 1972, 1973, 1974, 1975, 1976, 1977, 1978, 1979, 1980, 1981, 1982, 1983, 1984, 1985, 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 12026, 12027, 12028, 12029, 12030, 12031, 12032, 12033, 12034, 12035, 12036, 12037, 12038, 12039, 12040, 12041, 12042, 12043, 12044, 12045, 12046, 12047, 12048, 12050, 12051, 12052, 12053, 12054, 12055, 12056, 12057, 12058, 12059, 12060, 12061, 12062, 12063, 12064, 12065, 12066, 12067, 12068, 12069, 12070, 12071, 12072, 12073, 12074, 12075, 12076, 12077, 12078, 12079, 12080, 12081, 12082, 12083, 12084, 12085, 12086, 12087, 12088, 12089, 12090, 12091, 12092, 12093, 12094, 12095, 12096, 12097, 12098, 12099, 12100, 12101, 12102, 12103, 12104, 12105, 12106, 12107, 12108, 12109, 12110, 12111, 12112, 12113, 12114, 12115, 12116, 12117, 12118, 12119, 12120, 12121, 12122, 12123, 12124, 12125, 12126, 20317, 21530, 21531, 21532, 21533, 21534, 21535, 21536, 21537, 21538, 21539, 21540, 21541, 21542, 21543, 21544, 21545, 21546, 21547, 21548, 21549, 21550, 21551, 21552, 21553, 21554, 21555, 21556, 21557, 21558, 21559, 21560, 21561, 21562, 21563, 21564, 21565, 21566, 21567, 21568, 21569, 21570, 21571, 21572, 21573, 21574, 21575, 21576, 21577, 21578, 21579, 21580, 21581, 21582, 21583, 21584, 21585, 21586, 21587, 21588, 21589, 21590, 21591, 21592, 21593, 21594, 21595, 21596, 21597, 21598, 21599, 21600, 21601, 21602, 21603, 21604, 21605, 21606, 21607, 21608, 21609, 21610, 21611, 21612, 21613, 21614, 21615, 21616, 21617, 21618, 21619, 21620, 21621, 21622, 21623, 21624, 21625, 21626, 21627, 21628, 21629, 21630, 24470, 24471, 24472, 24473, 24474, 24475, 24476, 24477, 24478, 24479, 24480, 24481, 24482, 24483, 24484, 24485, 24486, 24487, 24488, 24489, 24490, 24491, 24492, 24493, 24494, 24495, 24496, 24497, 24498, 24499, 24500, 24501, 24502, 24503, 24504, 24505, 24506, 24507, 24508, 24509, 24510, 24511, 24512, 24513, 24514, 24515, 24516, 24517, 24518, 24520, 24521, 24522, 24523, 24524, 24525, 24526, 24527, 24528, 24529, 24530, 24531, 24532, 24533, 24534, 24535, 24536, 24537, 24538, 24539, 24540, 24541, 24542, 24543, 24544, 24545, 24546, 24547, 24548, 24549, 24550, 24551, 24552, 24553, 24554, 24555, 24556, 24557, 24558, 24559, 24560, 24561, 24562, 24563, 24564, 24565, 24566, 24567, 24568, 24569, 24570, 24773, 24774, 24775, 24776, 24777, 24778, 24779, 24780, 24781, 24782, 24783, 24784, 24785, 24786, 24787, 24788, 24789, 24790, 24791, 24792, 24793, 24794, 24795, 24796, 24797, 24798, 24799, 24800, 24801, 24802, 24803, 24804, 24805, 24806, 24807, 24808, 24809, 24810, 24811, 24812, 24813, 24814, 24815, 24816, 24817, 24818, 24819, 24820, 24821, 24822, 24823, 24824, 24825, 24826, 24827, 24828, 24829, 24830, 24831, 24832, 24833, 24834, 24835, 24836, 24837, 24838, 24839, 24840, 24841, 24842, 24843, 24844, 24845, 24846, 24847, 24848, 24849, 24850, 24851, 24852, 24853, 24854, 24855, 24856, 24857, 24858, 24859, 24860, 24861, 24862, 24863, 24864, 24865, 24866, 24867, 24868, 24869, 24870, 24871, 24872, 24873, 30330, 30331, 30332, 30333, 30334, 30335, 30336, 30337, 30338, 30339, 30340, 30341, 30342, 30343, 30344, 30345, 30346, 30347, 30348, 30349, 30350, 30351, 30352, 30353, 30354, 30355, 30356, 30357, 30358, 30359, 30360, 30361, 30362, 30363, 30364, 30365, 30366, 30367, 30368, 30369, 30370, 30371, 30372, 30373, 30374, 30375, 30376, 30377, 30378, 30379, 30380, 30381, 30382, 30383, 30384, 30385, 30386, 30387, 30388, 30389, 30390, 30391, 30392, 30393, 30394, 30395, 30396, 30397, 30398, 30399, 30400, 30401, 30402, 30403, 30404, 30405, 30406, 30407, 30408, 30409, 30410, 30411, 30412, 30413, 30414, 30415, 30416, 30417, 30418, 30419, 30420, 30421, 30422, 30423, 30424, 30425, 30426, 30427, 30428, 30429, 30430]
Discarding 706 places :
Implicit Place search using SMT only with invariants took 118708 ms to find 706 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 36106/40574 places, 36265/36871 transitions.
Applied a total of 0 rules in 214 ms. Remains 36106 /36106 variables (removed 0) and now considering 36265/36265 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 121121 ms. Remains : 36106/40574 places, 36265/36871 transitions.
Starting structural reductions in LTL mode, iteration 0 : 36106/36106 places, 36265/36265 transitions.
Applied a total of 0 rules in 179 ms. Remains 36106 /36106 variables (removed 0) and now considering 36265/36265 (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-6513177510016056210.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17001314784902750259.kers'
[2026-05-26 01:04:51] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6513177510016056210.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17001314784902750259.kers]
Culled 0 columns in 51 ms.
// Phase 1: matrix 36265 rows 36106 cols 90116 entries
Finished phase 1 with 27410 SingleSign rule and 4041 generalized
[2026-05-26 01:04:52] [INFO ] Computed 4655 invariants in 1148 ms
Computed 4655 P flows in 1149 ms.
Exported basis to /tmp/petrispot-output-17001314784902750259.kers
Total runtime 1181 ms.
[2026-05-26 01:05:39] [INFO ] Performed 21009/36106 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-26 01:05:59] [INFO ] Implicit Places using invariants in 67919 ms returned []
Implicit Place search using SMT only with invariants took 67923 ms to find 0 implicit places.
Running 36164 sub problems to find dead transitions.
[2026-05-26 01:05:59] [INFO ] Invariant cache hit.
SMT process timed out in 170759ms, After SMT, problems are : Problem set: 0 solved, 36164 unsolved
Search for dead transitions found 0 dead transitions in 171011ms
Finished structural reductions in LTL mode , in 1 iterations and 239317 ms. Remains : 36106/36106 places, 36265/36265 transitions.
Support contains 6702 out of 36106 places after structural reductions.
[2026-05-26 01:08:52] [INFO ] Flatten gal took : 1576 ms
[2026-05-26 01:08:53] [INFO ] Flatten gal took : 920 ms
[2026-05-26 01:08:56] [INFO ] Input system was already deterministic with 36265 transitions.
Support contains 6601 out of 36106 places (down from 6702) after GAL structural reductions.
RANDOM walk for 40000 steps (8 resets) in 6588 ms. (6 steps per ms) remains 14/34 properties
BEST_FIRST walk for 40004 steps (8 resets) in 222 ms. (179 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1179 ms. (33 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1037 ms. (38 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 463 ms. (86 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 209 ms. (190 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 200 ms. (199 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40003 steps (8 resets) in 204 ms. (195 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 214 ms. (186 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40003 steps (8 resets) in 207 ms. (192 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 164 ms. (242 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 164 ms. (242 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 154 ms. (258 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 153 ms. (259 steps per ms) remains 14/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 161 ms. (246 steps per ms) remains 14/14 properties
[2026-05-26 01:08:59] [INFO ] Invariant cache hit.
Excessive predecessor constraint size, skipping predecessor.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/1536 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 14 unsolved
SMT process timed out in 5486ms, After SMT, problems are : Problem set: 0 solved, 14 unsolved
Fused 14 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 1536 out of 36106 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 36106/36106 places, 36265/36265 transitions.
Graph (complete) has 52835 edges and 36106 vertex of which 34598 are kept as prefixes of interest. Removing 1508 places using SCC suffix rule.116 ms
Discarding 1508 places :
Also discarding 1501 output transitions
Drop transitions (Output transitions of discarded places.) removed 1501 transitions
Discarding 3334 places :
Implicit places reduction removed 3334 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 20487 transitions
Trivial Post-agglo rules discarded 20487 transitions
Performed 20487 trivial Post agglomeration. Transition count delta: 20487
Iterating post reduction 0 with 23821 rules applied. Total rules applied 23822 place count 31264 transition count 14277
Reduce places removed 20487 places and 0 transitions.
Performed 617 Post agglomeration using F-continuation condition.Transition count delta: 617
Iterating post reduction 1 with 21104 rules applied. Total rules applied 44926 place count 10777 transition count 13660
Reduce places removed 617 places and 0 transitions.
Iterating post reduction 2 with 617 rules applied. Total rules applied 45543 place count 10160 transition count 13660
Performed 2122 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 2122 Pre rules applied. Total rules applied 45543 place count 10160 transition count 11538
Deduced a syphon composed of 2122 places in 7 ms
Ensure Unique test removed 807 places
Reduce places removed 2929 places and 0 transitions.
Iterating global reduction 3 with 5051 rules applied. Total rules applied 50594 place count 7231 transition count 11538
Discarding 1 places :
Implicit places reduction removed 1 places
Performed 606 Post agglomeration using F-continuation condition.Transition count delta: 606
Iterating post reduction 3 with 607 rules applied. Total rules applied 51201 place count 7230 transition count 10932
Reduce places removed 606 places and 0 transitions.
Iterating post reduction 4 with 606 rules applied. Total rules applied 51807 place count 6624 transition count 10932
Discarding 2636 places :
Symmetric choice reduction at 5 with 2636 rule applications. Total rules 54443 place count 3988 transition count 8100
Iterating global reduction 5 with 2636 rules applied. Total rules applied 57079 place count 3988 transition count 8100
Ensure Unique test removed 405 transitions
Reduce isomorphic transitions removed 405 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 5 with 406 rules applied. Total rules applied 57485 place count 3988 transition count 7694
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 57486 place count 3987 transition count 7694
Performed 202 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 202 Pre rules applied. Total rules applied 57486 place count 3987 transition count 7492
Deduced a syphon composed of 202 places in 5 ms
Reduce places removed 202 places and 0 transitions.
Iterating global reduction 7 with 404 rules applied. Total rules applied 57890 place count 3785 transition count 7492
Discarding 596 places :
Symmetric choice reduction at 7 with 596 rule applications. Total rules 58486 place count 3189 transition count 5996
Iterating global reduction 7 with 596 rules applied. Total rules applied 59082 place count 3189 transition count 5996
Ensure Unique test removed 909 transitions
Reduce isomorphic transitions removed 909 transitions.
Iterating post reduction 7 with 909 rules applied. Total rules applied 59991 place count 3189 transition count 5087
Performed 299 Post agglomeration using F-continuation condition.Transition count delta: 299
Deduced a syphon composed of 299 places in 6 ms
Reduce places removed 299 places and 0 transitions.
Iterating global reduction 8 with 598 rules applied. Total rules applied 60589 place count 2890 transition count 4788
Performed 99 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 99 places in 7 ms
Reduce places removed 99 places and 0 transitions.
Iterating global reduction 8 with 198 rules applied. Total rules applied 60787 place count 2791 transition count 4788
Free-agglomeration rule applied 1 times.
Iterating global reduction 8 with 1 rules applied. Total rules applied 60788 place count 2791 transition count 4787
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 60789 place count 2790 transition count 4787
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 9 with 3 rules applied. Total rules applied 60792 place count 2790 transition count 4785
Ensure Unique test removed 1 places
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 9 with 4 rules applied. Total rules applied 60796 place count 2786 transition count 4785
Applied a total of 60796 rules in 6012 ms. Remains 2786 /36106 variables (removed 33320) and now considering 4785/36265 (removed 31480) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 6012 ms. Remains : 2786/36106 places, 4785/36265 transitions.
RANDOM walk for 40000 steps (28 resets) in 2921 ms. (13 steps per ms) remains 6/14 properties
BEST_FIRST walk for 40004 steps (8 resets) in 169 ms. (235 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (8 resets) in 149 ms. (266 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (8 resets) in 156 ms. (254 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (8 resets) in 144 ms. (275 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (8 resets) in 145 ms. (274 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (8 resets) in 152 ms. (261 steps per ms) remains 6/6 properties
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15955827720148504890.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3437258750061086130.kers'
[2026-05-26 01:09:12] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15955827720148504890.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3437258750061086130.kers]
Culled 0 columns in 4 ms.
// Phase 1: matrix 4785 rows 2786 cols 16338 entries
Finished phase 1 with 1869 SingleSign rule and 506 generalized
[2026-05-26 01:09:12] [INFO ] Computed 411 invariants in 57 ms
Computed 411 P flows in 58 ms.
Exported basis to /tmp/petrispot-output-3437258750061086130.kers
Total runtime 65 ms.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/7 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 1 (OVERLAPS) 1867/1874 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1874 variables, 1/3 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1874 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 4 (OVERLAPS) 912/2786 variables, 409/412 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/2786 variables, 0/412 constraints. Problems are: Problem set: 0 solved, 6 unsolved
Problem AtomicPropp18 is UNSAT
Problem AtomicPropp20 is UNSAT
Problem AtomicPropp21 is UNSAT
Problem AtomicPropp22 is UNSAT
Problem AtomicPropp33 is UNSAT
At refinement iteration 6 (OVERLAPS) 4785/7571 variables, 2786/3198 constraints. Problems are: Problem set: 5 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/7571 variables, 0/3198 constraints. Problems are: Problem set: 5 solved, 1 unsolved
At refinement iteration 8 (OVERLAPS) 0/7571 variables, 0/3198 constraints. Problems are: Problem set: 5 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Real declared 7571/7571 variables, and 3198 constraints, problems are : Problem set: 5 solved, 1 unsolved in 7372 ms.
Refiners :[Positive P Invariants (semi-flows): 2/2 constraints, Generalized P Invariants (flows): 409/409 constraints, State Equation: 2786/2786 constraints, PredecessorRefiner: 6/6 constraints, Known Traps: 1/1 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 5 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/2 variables, 0/0 constraints. Problems are: Problem set: 5 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 23/25 variables, 1/1 constraints. Problems are: Problem set: 5 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/25 variables, 0/1 constraints. Problems are: Problem set: 5 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 1845/1870 variables, 1/2 constraints. Problems are: Problem set: 5 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1870 variables, 1/3 constraints. Problems are: Problem set: 5 solved, 1 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/1870 variables, 0/3 constraints. Problems are: Problem set: 5 solved, 1 unsolved
At refinement iteration 6 (OVERLAPS) 916/2786 variables, 409/412 constraints. Problems are: Problem set: 5 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/2786 variables, 0/412 constraints. Problems are: Problem set: 5 solved, 1 unsolved
At refinement iteration 8 (OVERLAPS) 4785/7571 variables, 2786/3198 constraints. Problems are: Problem set: 5 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/7571 variables, 1/3199 constraints. Problems are: Problem set: 5 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/7571 variables, 0/3199 constraints. Problems are: Problem set: 5 solved, 1 unsolved
At refinement iteration 11 (OVERLAPS) 0/7571 variables, 0/3199 constraints. Problems are: Problem set: 5 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Int declared 7571/7571 variables, and 3199 constraints, problems are : Problem set: 5 solved, 1 unsolved in 3756 ms.
Refiners :[Positive P Invariants (semi-flows): 2/2 constraints, Generalized P Invariants (flows): 409/409 constraints, State Equation: 2786/2786 constraints, PredecessorRefiner: 1/6 constraints, Known Traps: 1/1 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 11238ms problems are : Problem set: 5 solved, 1 unsolved
Finished Parikh walk after 30 steps, including 0 resets, run visited all 1 properties in 2 ms. (steps per millisecond=15 )
Parikh walk visited 1 properties in 15 ms.
Successfully simplified 5 atomic propositions for a total of 13 simplifications.
FORMULA FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Computed a total of 36106 stabilizing places and 36265 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 36106 transition count 36265
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 36106 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 36106/36106 places, 36265/36265 transitions.
Graph (complete) has 52835 edges and 36106 vertex of which 35379 are kept as prefixes of interest. Removing 727 places using SCC suffix rule.132 ms
Discarding 727 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 3334 places :
Implicit places reduction removed 3334 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 22307 transitions
Trivial Post-agglo rules discarded 22307 transitions
Performed 22307 trivial Post agglomeration. Transition count delta: 22307
Iterating post reduction 0 with 25641 rules applied. Total rules applied 25642 place count 31944 transition count 13144
Reduce places removed 22307 places and 0 transitions.
Iterating post reduction 1 with 22307 rules applied. Total rules applied 47949 place count 9637 transition count 13144
Performed 2322 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2322 Pre rules applied. Total rules applied 47949 place count 9637 transition count 10822
Deduced a syphon composed of 2322 places in 10 ms
Ensure Unique test removed 909 places
Reduce places removed 3231 places and 0 transitions.
Iterating global reduction 2 with 5553 rules applied. Total rules applied 53502 place count 6406 transition count 10822
Drop transitions (Trivial Post-Agglo cleanup.) removed 606 transitions
Trivial Post-agglo rules discarded 606 transitions
Performed 606 trivial Post agglomeration. Transition count delta: 606
Iterating post reduction 2 with 606 rules applied. Total rules applied 54108 place count 6406 transition count 10216
Reduce places removed 606 places and 0 transitions.
Iterating post reduction 3 with 606 rules applied. Total rules applied 54714 place count 5800 transition count 10216
Performed 101 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 101 Pre rules applied. Total rules applied 54714 place count 5800 transition count 10115
Deduced a syphon composed of 101 places in 7 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 4 with 202 rules applied. Total rules applied 54916 place count 5699 transition count 10115
Discarding 3547 places :
Symmetric choice reduction at 4 with 3547 rule applications. Total rules 58463 place count 2152 transition count 6568
Iterating global reduction 4 with 3547 rules applied. Total rules applied 62010 place count 2152 transition count 6568
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 4 with 707 rules applied. Total rules applied 62717 place count 2051 transition count 5962
Reduce places removed 101 places and 0 transitions.
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 101
Iterating post reduction 5 with 202 rules applied. Total rules applied 62919 place count 1950 transition count 5861
Reduce places removed 101 places and 0 transitions.
Iterating post reduction 6 with 101 rules applied. Total rules applied 63020 place count 1849 transition count 5861
Performed 304 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 304 Pre rules applied. Total rules applied 63020 place count 1849 transition count 5557
Deduced a syphon composed of 304 places in 3 ms
Reduce places removed 304 places and 0 transitions.
Iterating global reduction 7 with 608 rules applied. Total rules applied 63628 place count 1545 transition count 5557
Discarding 22 places :
Symmetric choice reduction at 7 with 22 rule applications. Total rules 63650 place count 1523 transition count 3335
Iterating global reduction 7 with 22 rules applied. Total rules applied 63672 place count 1523 transition count 3335
Ensure Unique test removed 2020 transitions
Reduce isomorphic transitions removed 2020 transitions.
Discarding 103 places :
Implicit places reduction removed 103 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 101 transitions
Trivial Post-agglo rules discarded 101 transitions
Performed 101 trivial Post agglomeration. Transition count delta: 101
Iterating post reduction 7 with 2224 rules applied. Total rules applied 65896 place count 1420 transition count 1214
Reduce places removed 101 places and 0 transitions.
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 101
Iterating post reduction 8 with 202 rules applied. Total rules applied 66098 place count 1319 transition count 1113
Reduce places removed 101 places and 0 transitions.
Iterating post reduction 9 with 101 rules applied. Total rules applied 66199 place count 1218 transition count 1113
Performed 103 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 10 with 103 Pre rules applied. Total rules applied 66199 place count 1218 transition count 1010
Deduced a syphon composed of 103 places in 1 ms
Reduce places removed 103 places and 0 transitions.
Iterating global reduction 10 with 206 rules applied. Total rules applied 66405 place count 1115 transition count 1010
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 10 with 202 rules applied. Total rules applied 66607 place count 1014 transition count 909
Reduce places removed 101 places and 101 transitions.
Iterating global reduction 10 with 101 rules applied. Total rules applied 66708 place count 913 transition count 808
Applied a total of 66708 rules in 3171 ms. Remains 913 /36106 variables (removed 35193) and now considering 808/36265 (removed 35457) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13409303181969115848.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11229708086160671806.kers'
[2026-05-26 01:09:27] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13409303181969115848.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11229708086160671806.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 808 rows 913 cols 2323 entries
Finished phase 1 with 505 SingleSign rule and 303 generalized
[2026-05-26 01:09:27] [INFO ] Computed 105 invariants in 21 ms
Computed 105 P flows in 21 ms.
Exported basis to /tmp/petrispot-output-11229708086160671806.kers
Total runtime 23 ms.
[2026-05-26 01:09:28] [INFO ] Implicit Places using invariants in 816 ms returned [0, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 608, 811]
Discarding 104 places :
Implicit Place search using SMT only with invariants took 827 ms to find 104 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 809/36106 places, 808/36265 transitions.
Reduce places removed 101 places and 101 transitions.
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 0 with 101 rules applied. Total rules applied 101 place count 708 transition count 606
Reduce places removed 101 places and 0 transitions.
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 101
Iterating post reduction 1 with 202 rules applied. Total rules applied 303 place count 607 transition count 505
Reduce places removed 101 places and 0 transitions.
Iterating post reduction 2 with 101 rules applied. Total rules applied 404 place count 506 transition count 505
Applied a total of 404 rules in 35 ms. Remains 506 /809 variables (removed 303) and now considering 505/808 (removed 303) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8056008138916516113.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16389793290012636089.kers'
[2026-05-26 01:09:28] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8056008138916516113.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16389793290012636089.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-26 01:09:28] [INFO ] Computed 1 invariants in 5 ms
Computed 1 P flows in 6 ms.
Exported basis to /tmp/petrispot-output-16389793290012636089.kers
Total runtime 6 ms.
[2026-05-26 01:09:28] [INFO ] Implicit Places using invariants in 287 ms returned []
[2026-05-26 01:09:28] [INFO ] Invariant cache hit.
[2026-05-26 01:09:29] [INFO ] Implicit Places using invariants and state equation in 599 ms returned []
Implicit Place search using SMT with State Equation took 889 ms to find 0 implicit places.
Starting structural reductions in SI_LTL mode, iteration 2 : 506/36106 places, 505/36265 transitions.
Finished structural reductions in SI_LTL mode , in 2 iterations and 4923 ms. Remains : 506/36106 places, 505/36265 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 469 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Running random walk in product with property : FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-00
Product exploration explored 100000 steps with 471 reset in 1648 ms.
Product exploration explored 100000 steps with 471 reset in 1368 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 14 ms. Proved property starting from automaton with 2 states, 4 edges and 2 AP (stutter insensitive
Knowledge-based reduction took 389 ms.
FORMULA FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-00 TRUE TECHNIQUES KNOWLEDGE
Treatment of property FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-00 finished in 8941 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 6 out of 36106 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 36106/36106 places, 36265/36265 transitions.
Graph (complete) has 52835 edges and 36106 vertex of which 34472 are kept as prefixes of interest. Removing 1634 places using SCC suffix rule.37 ms
Discarding 1634 places :
Also discarding 1824 output transitions
Drop transitions (Output transitions of discarded places.) removed 1824 transitions
Reduce places removed 101 places and 101 transitions.
Discarding 3334 places :
Implicit places reduction removed 3334 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 21300 transitions
Trivial Post-agglo rules discarded 21300 transitions
Performed 21300 trivial Post agglomeration. Transition count delta: 21300
Iterating post reduction 0 with 24634 rules applied. Total rules applied 24635 place count 31037 transition count 13040
Reduce places removed 21300 places and 0 transitions.
Iterating post reduction 1 with 21300 rules applied. Total rules applied 45935 place count 9737 transition count 13040
Performed 2222 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2222 Pre rules applied. Total rules applied 45935 place count 9737 transition count 10818
Deduced a syphon composed of 2222 places in 5 ms
Ensure Unique test removed 909 places
Reduce places removed 3131 places and 0 transitions.
Iterating global reduction 2 with 5353 rules applied. Total rules applied 51288 place count 6606 transition count 10818
Drop transitions (Trivial Post-Agglo cleanup.) removed 606 transitions
Trivial Post-agglo rules discarded 606 transitions
Performed 606 trivial Post agglomeration. Transition count delta: 606
Iterating post reduction 2 with 606 rules applied. Total rules applied 51894 place count 6606 transition count 10212
Reduce places removed 606 places and 0 transitions.
Iterating post reduction 3 with 606 rules applied. Total rules applied 52500 place count 6000 transition count 10212
Performed 101 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 101 Pre rules applied. Total rules applied 52500 place count 6000 transition count 10111
Deduced a syphon composed of 101 places in 4 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 4 with 202 rules applied. Total rules applied 52702 place count 5899 transition count 10111
Discarding 3640 places :
Symmetric choice reduction at 4 with 3640 rule applications. Total rules 56342 place count 2259 transition count 6471
Iterating global reduction 4 with 3640 rules applied. Total rules applied 59982 place count 2259 transition count 6471
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 203 transitions
Trivial Post-agglo rules discarded 203 transitions
Performed 203 trivial Post agglomeration. Transition count delta: 203
Iterating post reduction 4 with 809 rules applied. Total rules applied 60791 place count 2158 transition count 5763
Reduce places removed 203 places and 0 transitions.
Iterating post reduction 5 with 203 rules applied. Total rules applied 60994 place count 1955 transition count 5763
Performed 302 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 302 Pre rules applied. Total rules applied 60994 place count 1955 transition count 5461
Deduced a syphon composed of 302 places in 1 ms
Reduce places removed 302 places and 0 transitions.
Iterating global reduction 6 with 604 rules applied. Total rules applied 61598 place count 1653 transition count 5461
Discarding 15 places :
Symmetric choice reduction at 6 with 15 rule applications. Total rules 61613 place count 1638 transition count 3946
Iterating global reduction 6 with 15 rules applied. Total rules applied 61628 place count 1638 transition count 3946
Ensure Unique test removed 1515 transitions
Reduce isomorphic transitions removed 1515 transitions.
Discarding 1 places :
Implicit places reduction removed 1 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 6 with 1617 rules applied. Total rules applied 63245 place count 1637 transition count 2330
Reduce places removed 101 places and 0 transitions.
Iterating post reduction 7 with 101 rules applied. Total rules applied 63346 place count 1536 transition count 2330
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 1 Pre rules applied. Total rules applied 63346 place count 1536 transition count 2329
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 8 with 2 rules applied. Total rules applied 63348 place count 1535 transition count 2329
Performed 202 Post agglomeration using F-continuation condition.Transition count delta: 202
Deduced a syphon composed of 202 places in 0 ms
Reduce places removed 202 places and 0 transitions.
Iterating global reduction 8 with 404 rules applied. Total rules applied 63752 place count 1333 transition count 2127
Reduce places removed 101 places and 101 transitions.
Iterating global reduction 8 with 101 rules applied. Total rules applied 63853 place count 1232 transition count 2026
Applied a total of 63853 rules in 3128 ms. Remains 1232 /36106 variables (removed 34874) and now considering 2026/36265 (removed 34239) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17865065067549401317.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15787665119871244442.kers'
[2026-05-26 01:09:36] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17865065067549401317.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15787665119871244442.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 2026 rows 1232 cols 7486 entries
Finished phase 1 with 724 SingleSign rule and 302 generalized
[2026-05-26 01:09:36] [INFO ] Computed 206 invariants in 25 ms
Computed 206 P flows in 25 ms.
Exported basis to /tmp/petrispot-output-15787665119871244442.kers
Total runtime 28 ms.
[2026-05-26 01:09:38] [INFO ] Implicit Places using invariants in 2291 ms returned [107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 927, 928, 929, 930, 931, 932, 933, 934, 935, 936, 937, 938, 939, 940, 941, 942, 943, 944, 945, 946, 947, 948, 949, 950, 951, 952, 953, 954, 955, 956, 957, 958, 959, 960, 961, 962, 963, 964, 965, 966, 967, 968, 969, 970, 971, 972, 973, 974, 975, 976, 977, 978, 979, 980, 981, 982, 983, 984, 985, 986, 987, 988, 989, 990, 991, 992, 993, 994, 995, 996, 997, 998, 999, 1000, 1001, 1002, 1003, 1004, 1005, 1006, 1007, 1008, 1009, 1010, 1011, 1012, 1013, 1014, 1015, 1016, 1017, 1018, 1019, 1020, 1021, 1022, 1023, 1024, 1025, 1026, 1027, 1028, 1029]
Discarding 204 places :
Implicit Place search using SMT only with invariants took 2294 ms to find 204 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 1028/36106 places, 2026/36265 transitions.
Reduce places removed 101 places and 101 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 606 transitions
Trivial Post-agglo rules discarded 606 transitions
Performed 606 trivial Post agglomeration. Transition count delta: 606
Iterating post reduction 0 with 606 rules applied. Total rules applied 606 place count 927 transition count 1319
Reduce places removed 606 places and 0 transitions.
Iterating post reduction 1 with 606 rules applied. Total rules applied 1212 place count 321 transition count 1319
Performed 101 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 101 Pre rules applied. Total rules applied 1212 place count 321 transition count 1218
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 1414 place count 220 transition count 1218
Discarding 100 places :
Symmetric choice reduction at 2 with 100 rule applications. Total rules 1514 place count 120 transition count 618
Iterating global reduction 2 with 100 rules applied. Total rules applied 1614 place count 120 transition count 618
Discarding 100 places :
Symmetric choice reduction at 2 with 100 rule applications. Total rules 1714 place count 20 transition count 18
Iterating global reduction 2 with 100 rules applied. Total rules applied 1814 place count 20 transition count 18
Applied a total of 1814 rules in 24 ms. Remains 20 /1028 variables (removed 1008) and now considering 18/2026 (removed 2008) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17231026918909784654.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-18424519097260067691.kers'
[2026-05-26 01:09:38] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17231026918909784654.kers, --Pflows, --basisKERS=/tmp/petrispot-output-18424519097260067691.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 18 rows 20 cols 48 entries
Finished phase 1 with 18 SingleSign rule and 0 generalized
[2026-05-26 01:09:38] [INFO ] Computed 2 invariants in 0 ms
Computed 2 P flows in 0 ms.
Exported basis to /tmp/petrispot-output-18424519097260067691.kers
Total runtime 0 ms.
[2026-05-26 01:09:38] [INFO ] Implicit Places using invariants in 31 ms returned [6]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 32 ms to find 1 implicit places.
Starting structural reductions in SI_LTL mode, iteration 2 : 19/36106 places, 18/36265 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 0 with 6 rules applied. Total rules applied 6 place count 19 transition count 12
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 12 place count 13 transition count 12
Applied a total of 12 rules in 2 ms. Remains 13 /19 variables (removed 6) and now considering 12/18 (removed 6) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6559971455617739474.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8794120977888625183.kers'
[2026-05-26 01:09:38] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6559971455617739474.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8794120977888625183.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 12 rows 13 cols 24 entries
Finished phase 1 with 12 SingleSign rule and 0 generalized
[2026-05-26 01:09:38] [INFO ] Computed 1 invariants in 0 ms
Computed 1 P flows in 0 ms.
Exported basis to /tmp/petrispot-output-8794120977888625183.kers
Total runtime 0 ms.
[2026-05-26 01:09:38] [INFO ] Implicit Places using invariants in 18 ms returned []
[2026-05-26 01:09:38] [INFO ] Invariant cache hit.
[2026-05-26 01:09:38] [INFO ] Implicit Places using invariants and state equation in 24 ms returned []
Implicit Place search using SMT with State Equation took 45 ms to find 0 implicit places.
Starting structural reductions in SI_LTL mode, iteration 3 : 13/36106 places, 12/36265 transitions.
Finished structural reductions in SI_LTL mode , in 3 iterations and 5526 ms. Remains : 13/36106 places, 12/36265 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 36 ms :[(NOT p0)]
Running random walk in product with property : FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-01
Product exploration explored 100000 steps with 492 reset in 318 ms.
Product exploration explored 100000 steps with 492 reset in 583 ms.
Computed a total of 13 stabilizing places and 12 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 13 transition count 12
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 54 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 816 steps (0 resets) in 6 ms. (116 steps per ms) remains 0/1 properties
Knowledge based reduction with 4 factoid took 59 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-26 01:09:40] [INFO ] Invariant cache hit.
[2026-05-26 01:09:40] [INFO ] [Real]Absence check using 1 positive place invariants in 1 ms returned sat
[2026-05-26 01:09:40] [INFO ] [Real]Absence check using state equation in 22 ms returned sat
[2026-05-26 01:09:40] [INFO ] Solution in real domain found non-integer solution.
[2026-05-26 01:09:40] [INFO ] [Nat]Absence check using 1 positive place invariants in 1 ms returned sat
[2026-05-26 01:09:40] [INFO ] [Nat]Absence check using state equation in 9 ms returned sat
[2026-05-26 01:09:40] [INFO ] Computed and/alt/rep : 6/6/6 causal constraints (skipped 0 transitions) in 2 ms.
[2026-05-26 01:09:40] [INFO ] Added : 1 causal constraints over 1 iterations in 21 ms. Result :sat
Could not prove EG (NOT p0)
Knowledge-based reduction took 323 ms.
Stuttering acceptance computed with spot in 38 ms :[(NOT p0)]
Support contains 6 out of 13 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 13/13 places, 12/12 transitions.
Applied a total of 0 rules in 0 ms. Remains 13 /13 variables (removed 0) and now considering 12/12 (removed 0) transitions.
[2026-05-26 01:09:40] [INFO ] Invariant cache hit.
[2026-05-26 01:09:40] [INFO ] Implicit Places using invariants in 18 ms returned []
[2026-05-26 01:09:40] [INFO ] Invariant cache hit.
[2026-05-26 01:09:40] [INFO ] Implicit Places using invariants and state equation in 24 ms returned []
Implicit Place search using SMT with State Equation took 44 ms to find 0 implicit places.
[2026-05-26 01:09:40] [INFO ] Redundant transitions in 0 ms returned []
Running 6 sub problems to find dead transitions.
[2026-05-26 01:09:40] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/6 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 1 (OVERLAPS) 7/13 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/13 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 3 (OVERLAPS) 12/25 variables, 13/14 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/25 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 5 (OVERLAPS) 0/25 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 6 unsolved
No progress, stopping.
After SMT solving in domain Real declared 25/25 variables, and 14 constraints, problems are : Problem set: 0 solved, 6 unsolved in 125 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, State Equation: 13/13 constraints, PredecessorRefiner: 6/6 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 6 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/6 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 1 (OVERLAPS) 7/13 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/13 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 3 (OVERLAPS) 12/25 variables, 13/14 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/25 variables, 6/20 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/25 variables, 0/20 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 6 (OVERLAPS) 0/25 variables, 0/20 constraints. Problems are: Problem set: 0 solved, 6 unsolved
No progress, stopping.
After SMT solving in domain Int declared 25/25 variables, and 20 constraints, problems are : Problem set: 0 solved, 6 unsolved in 130 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, State Equation: 13/13 constraints, PredecessorRefiner: 6/6 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 257ms problems are : Problem set: 0 solved, 6 unsolved
Search for dead transitions found 0 dead transitions in 258ms
Finished structural reductions in SI_LTL mode , in 1 iterations and 308 ms. Remains : 13/13 places, 12/12 transitions.
Computed a total of 13 stabilizing places and 12 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 13 transition count 12
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 79 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 814 steps (0 resets) in 6 ms. (116 steps per ms) remains 0/1 properties
Knowledge based reduction with 4 factoid took 73 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 43 ms :[(NOT p0)]
[2026-05-26 01:09:40] [INFO ] Invariant cache hit.
[2026-05-26 01:09:40] [INFO ] [Real]Absence check using 1 positive place invariants in 1 ms returned sat
[2026-05-26 01:09:40] [INFO ] [Real]Absence check using state equation in 9 ms returned sat
[2026-05-26 01:09:40] [INFO ] Solution in real domain found non-integer solution.
[2026-05-26 01:09:40] [INFO ] [Nat]Absence check using 1 positive place invariants in 1 ms returned sat
[2026-05-26 01:09:40] [INFO ] [Nat]Absence check using state equation in 11 ms returned sat
[2026-05-26 01:09:40] [INFO ] Computed and/alt/rep : 6/6/6 causal constraints (skipped 0 transitions) in 3 ms.
[2026-05-26 01:09:40] [INFO ] Added : 1 causal constraints over 1 iterations in 11 ms. Result :sat
Could not prove EG (NOT p0)
Knowledge-based reduction took 328 ms.
Stuttering acceptance computed with spot in 52 ms :[(NOT p0)]
Stuttering acceptance computed with spot in 38 ms :[(NOT p0)]
Product exploration explored 100000 steps with 492 reset in 231 ms.
Product exploration explored 100000 steps with 492 reset in 224 ms.
Built C files in :
/tmp/ltsmin3479191091853766678
[2026-05-26 01:09:41] [INFO ] Computing symmetric may disable matrix : 12 transitions.
[2026-05-26 01:09:41] [INFO ] Computation of Complete disable matrix. took 1 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-26 01:09:41] [INFO ] Computing symmetric may enable matrix : 12 transitions.
[2026-05-26 01:09:41] [INFO ] Computation of Complete enable matrix. took 0 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-26 01:09:41] [INFO ] Computing Do-Not-Accords matrix : 12 transitions.
[2026-05-26 01:09:41] [INFO ] Computation of Completed DNA matrix. took 0 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-26 01:09:41] [INFO ] Built C files in 23ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin3479191091853766678
Running compilation step : cd /tmp/ltsmin3479191091853766678;'/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 426 ms.
Running link step : cd /tmp/ltsmin3479191091853766678;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 59 ms.
Running LTSmin : cd /tmp/ltsmin3479191091853766678;'/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/stateBased3051585354383045688.hoa' '--buchi-type=spotba'
WARNING : LTS min runner thread was asked to interrupt. Dying gracefully.
Support contains 6 out of 13 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 13/13 places, 12/12 transitions.
Applied a total of 0 rules in 0 ms. Remains 13 /13 variables (removed 0) and now considering 12/12 (removed 0) transitions.
[2026-05-26 01:09:56] [INFO ] Invariant cache hit.
[2026-05-26 01:09:56] [INFO ] Implicit Places using invariants in 21 ms returned []
[2026-05-26 01:09:56] [INFO ] Invariant cache hit.
[2026-05-26 01:09:56] [INFO ] Implicit Places using invariants and state equation in 26 ms returned []
Implicit Place search using SMT with State Equation took 49 ms to find 0 implicit places.
[2026-05-26 01:09:56] [INFO ] Redundant transitions in 0 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 55 ms. Remains : 13/13 places, 12/12 transitions.
Built C files in :
/tmp/ltsmin7253849800532167206
[2026-05-26 01:09:56] [INFO ] Computing symmetric may disable matrix : 12 transitions.
[2026-05-26 01:09:56] [INFO ] Computation of Complete disable matrix. took 0 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-26 01:09:56] [INFO ] Computing symmetric may enable matrix : 12 transitions.
[2026-05-26 01:09:56] [INFO ] Computation of Complete enable matrix. took 1 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-26 01:09:56] [INFO ] Computing Do-Not-Accords matrix : 12 transitions.
[2026-05-26 01:09:56] [INFO ] Computation of Completed DNA matrix. took 0 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-26 01:09:56] [INFO ] Built C files in 3ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin7253849800532167206
Running compilation step : cd /tmp/ltsmin7253849800532167206;'/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 94 ms.
Running link step : cd /tmp/ltsmin7253849800532167206;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 31 ms.
Running LTSmin : cd /tmp/ltsmin7253849800532167206;'/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/stateBased4159319114707930577.hoa' '--buchi-type=spotba'
WARNING : LTS min runner thread was asked to interrupt. Dying gracefully.
[2026-05-26 01:10:12] [INFO ] Flatten gal took : 1 ms
[2026-05-26 01:10:12] [INFO ] Flatten gal took : 1 ms
[2026-05-26 01:10:12] [INFO ] Time to serialize gal into /tmp/LTL12669228720961007274.gal : 2 ms
[2026-05-26 01:10:12] [INFO ] Time to serialize properties into /tmp/LTL8804163557326123955.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/LTL12669228720961007274.gal' '-t' 'CGAL' '-hoa' '/tmp/aut13601533979238708231.hoa' '-atoms' '/tmp/LTL8804163557326123955.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/LTL8804163557326123955.prop.
Loaded 1 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut13601533979238708231.hoa
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Computing Next relation with stutter on 1.01341e+08 deadlock states
Detected timeout of ITS tools.
[2026-05-26 01:10:28] [INFO ] Flatten gal took : 0 ms
[2026-05-26 01:10:28] [INFO ] Flatten gal took : 0 ms
[2026-05-26 01:10:28] [INFO ] Time to serialize gal into /tmp/LTL6851668315520654119.gal : 0 ms
[2026-05-26 01:10:28] [INFO ] Time to serialize properties into /tmp/LTL4759885267520469575.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/LTL6851668315520654119.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL4759885267520469575.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 : !((F(G("((((c7_0+c7_1)+(c7_2+c7_3))+(c7_4+c7_5))>=3)"))))
Formula 0 simplified : GF!"((((c7_0+c7_1)+(c7_2+c7_3))+(c7_4+c7_5))>=3)"
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Computing Next relation with stutter on 1.01341e+08 deadlock states
Detected timeout of ITS tools.
[2026-05-26 01:10:43] [INFO ] Flatten gal took : 1 ms
[2026-05-26 01:10:43] [INFO ] Applying decomposition
[2026-05-26 01:10:43] [INFO ] Flatten gal took : 0 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph17568290157587833842.txt' '-o' '/tmp/graph17568290157587833842.bin' '-w' '/tmp/graph17568290157587833842.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph17568290157587833842.bin' '-l' '-1' '-v' '-w' '/tmp/graph17568290157587833842.weights' '-q' '0' '-e' '0.001'
[2026-05-26 01:10:43] [INFO ] Decomposing Gal with order
[2026-05-26 01:10:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 01:10:43] [INFO ] Flatten gal took : 77 ms
[2026-05-26 01:10:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2026-05-26 01:10:43] [INFO ] Time to serialize gal into /tmp/LTL15416233412410177720.gal : 1 ms
[2026-05-26 01:10:43] [INFO ] Time to serialize properties into /tmp/LTL9716140563660501685.ltl : 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/LTL15416233412410177720.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL9716140563660501685.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(G("((((gu0.c7_0+gu0.c7_1)+(gu0.c7_2+gu0.c7_3))+(gu0.c7_4+gu0.c7_5))>=3)"))))
Formula 0 simplified : GF!"((((gu0.c7_0+gu0.c7_1)+(gu0.c7_2+gu0.c7_3))+(gu0.c7_4+gu0.c7_5))>=3)"
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Computing Next relation with stutter on 1.01341e+08 deadlock states
Detected timeout of ITS tools.
Treatment of property FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-01 finished in 84996 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 36106 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 36106/36106 places, 36265/36265 transitions.
Reduce places removed 115 places and 0 transitions.
Discarding 2223 places :
Implicit places reduction removed 2223 places
Iterating post reduction 0 with 2338 rules applied. Total rules applied 2338 place count 33768 transition count 36265
Applied a total of 2338 rules in 415 ms. Remains 33768 /36106 variables (removed 2338) and now considering 36265/36265 (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-14871369775238145933.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6403415256642561468.kers'
[2026-05-26 01:10:58] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14871369775238145933.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6403415256642561468.kers]
Culled 0 columns in 89 ms.
// Phase 1: matrix 36265 rows 33768 cols 84054 entries
Finished phase 1 with 29217 SingleSign rule and 2222 generalized
[2026-05-26 01:11:00] [INFO ] Computed 2329 invariants in 1201 ms
Computed 2329 P flows in 1213 ms.
Exported basis to /tmp/petrispot-output-6403415256642561468.kers
Total runtime 1263 ms.
[2026-05-26 01:11:29] [INFO ] Implicit Places using invariants in 31086 ms returned [10712, 21837, 25878, 25879, 25880, 25881, 25882, 25883, 25884, 25885, 25886, 25887, 25888, 25889, 25890, 25891, 25892, 25893, 25894, 25895, 25896, 25897, 25898, 25899, 25900, 25901, 25902, 25903, 25904, 25905, 25906, 25907, 25908, 25909, 25910, 25911, 25912, 25913, 25914, 25915, 25916, 25917, 25918, 25919, 25920, 25921, 25922, 25923, 25924, 25925, 25926, 25927, 25928, 25929, 25930, 25931, 25932, 25933, 25934, 25935, 25936, 25937, 25938, 25939, 25940, 25941, 25942, 25943, 25944, 25945, 25946, 25947, 25948, 25949, 25950, 25951, 25952, 25953, 25954, 25955, 25956, 25957, 25958, 25959, 25960, 25961, 25962, 25963, 25964, 25965, 25966, 25967, 25968, 25969, 25970, 25971, 25972, 25973, 25974, 25975, 25976, 25977, 25978]
Discarding 103 places :
Implicit Place search using SMT only with invariants took 31106 ms to find 103 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 33665/36106 places, 36265/36265 transitions.
Applied a total of 0 rules in 171 ms. Remains 33665 /33665 variables (removed 0) and now considering 36265/36265 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 31695 ms. Remains : 33665/36106 places, 36265/36265 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 244 ms :[(NOT p1), (NOT p1), (NOT p1), (AND (NOT p1) (NOT p2)), true, (NOT p2)]
Running random walk in product with property : FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-02
Entered a terminal (fully accepting) state of product in 605 steps with 0 reset in 138 ms.
FORMULA FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-02 FALSE TECHNIQUES STUTTER_TEST
Treatment of property FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-02 finished in 32323 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 817 out of 36106 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 36106/36106 places, 36265/36265 transitions.
Reduce places removed 109 places and 0 transitions.
Discarding 3334 places :
Implicit places reduction removed 3334 places
Iterating post reduction 0 with 3443 rules applied. Total rules applied 3443 place count 32663 transition count 36265
Applied a total of 3443 rules in 584 ms. Remains 32663 /36106 variables (removed 3443) and now considering 36265/36265 (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-18011037634472741950.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17546377552318026543.kers'
[2026-05-26 01:11:31] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-18011037634472741950.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17546377552318026543.kers]
Culled 0 columns in 43 ms.
// Phase 1: matrix 36265 rows 32663 cols 82438 entries
Finished phase 1 with 29727 SingleSign rule and 1717 generalized
[2026-05-26 01:11:34] [INFO ] Computed 1219 invariants in 2886 ms
Computed 1219 P flows in 2887 ms.
Exported basis to /tmp/petrispot-output-17546377552318026543.kers
Total runtime 2923 ms.
[2026-05-26 01:12:06] [INFO ] Implicit Places using invariants in 34908 ms returned [10712, 20726, 31344, 31345, 31346, 31347, 31348, 31349, 31350, 31351, 31352, 31353, 31354, 31355, 31356, 31357, 31358, 31359, 31360, 31361, 31362, 31363, 31364, 31365, 31366, 31367, 31368, 31369, 31370, 31371, 31372, 31373, 31374, 31375, 31376, 31377, 31378, 31379, 31380, 31381, 31382, 31383, 31384, 31385, 31386, 31387, 31388, 31389, 31390, 31391, 31392, 31393, 31394, 31395, 31396, 31397, 31398, 31399, 31400, 31401, 31402, 31403, 31404, 31405, 31406, 31407, 31408, 31409, 31410, 31411, 31412, 31413, 31414, 31415, 31416, 31417, 31418, 31419, 31420, 31421, 31422, 31423, 31424, 31425, 31426, 31427, 31428, 31429, 31430, 31431, 31432, 31433, 31434, 31435, 31436, 31437, 31438, 31439, 31440, 31441, 31442, 31443, 31444]
Discarding 103 places :
Implicit Place search using SMT only with invariants took 34936 ms to find 103 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 32560/36106 places, 36265/36265 transitions.
Applied a total of 0 rules in 180 ms. Remains 32560 /32560 variables (removed 0) and now considering 36265/36265 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 35702 ms. Remains : 32560/36106 places, 36265/36265 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 140 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-PT-L00100M0010C005P005G002-LTLCardinality-03
Product exploration explored 100000 steps with 50000 reset in 9536 ms.
Product exploration explored 100000 steps with 50000 reset in 9469 ms.
Computed a total of 32560 stabilizing places and 36265 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 32560 transition count 36265
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 37 ms. Proved property starting from automaton with 3 states, 4 edges and 3 AP (stutter sensitive
Knowledge-based reduction took 38403 ms.
FORMULA FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-03 TRUE TECHNIQUES KNOWLEDGE
Treatment of property FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-03 finished in 93426 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 3131 out of 36106 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 36106/36106 places, 36265/36265 transitions.
Reduce places removed 115 places and 0 transitions.
Discarding 1112 places :
Implicit places reduction removed 1112 places
Iterating post reduction 0 with 1227 rules applied. Total rules applied 1227 place count 34879 transition count 36265
Applied a total of 1227 rules in 366 ms. Remains 34879 /36106 variables (removed 1227) and now considering 36265/36265 (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-13039921679189123524.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1824809510996461187.kers'
[2026-05-26 01:13:04] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13039921679189123524.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1824809510996461187.kers]
Culled 0 columns in 74 ms.
// Phase 1: matrix 36265 rows 34879 cols 86276 entries
Finished phase 1 with 28106 SingleSign rule and 3333 generalized
[2026-05-26 01:13:05] [INFO ] Computed 3440 invariants in 1332 ms
Computed 3440 P flows in 1333 ms.
Exported basis to /tmp/petrispot-output-1824809510996461187.kers
Total runtime 1388 ms.
[2026-05-26 01:13:46] [INFO ] Implicit Places using invariants in 41486 ms returned [11823, 22948, 26989, 26990, 26991, 26992, 26993, 26994, 26995, 26996, 26997, 26998, 26999, 27000, 27001, 27002, 27003, 27004, 27005, 27006, 27007, 27008, 27009, 27010, 27011, 27012, 27013, 27014, 27015, 27016, 27017, 27018, 27019, 27020, 27021, 27022, 27023, 27024, 27025, 27026, 27027, 27028, 27029, 27030, 27031, 27032, 27033, 27034, 27035, 27036, 27037, 27038, 27039, 27040, 27041, 27042, 27043, 27044, 27045, 27046, 27047, 27048, 27049, 27050, 27051, 27052, 27053, 27054, 27055, 27056, 27057, 27058, 27059, 27060, 27061, 27062, 27063, 27064, 27065, 27066, 27067, 27068, 27069, 27070, 27071, 27072, 27073, 27074, 27075, 27076, 27077, 27078, 27079, 27080, 27081, 27082, 27083, 27084, 27085, 27086, 27087, 27088, 27089, 33566, 33567, 33568, 33569, 33570, 33571, 33572, 33573, 33574, 33575, 33576, 33577, 33578, 33579, 33580, 33581, 33582, 33583, 33584, 33585, 33586, 33587, 33588, 33589, 33590, 33591, 33592, 33593, 33594, 33595, 33596, 33597, 33598, 33599, 33600, 33601, 33602, 33603, 33604, 33605, 33606, 33607, 33608, 33609, 33610, 33611, 33612, 33613, 33614, 33615, 33616, 33617, 33618, 33619, 33620, 33621, 33622, 33623, 33624, 33625, 33626, 33627, 33628, 33629, 33630, 33631, 33632, 33633, 33634, 33635, 33636, 33637, 33638, 33639, 33640, 33641, 33642, 33643, 33644, 33645, 33646, 33647, 33648, 33649, 33650, 33651, 33652, 33653, 33654, 33655, 33656, 33657, 33658, 33659, 33660, 33661, 33662, 33663, 33664, 33665, 33666]
Discarding 204 places :
Implicit Place search using SMT only with invariants took 41522 ms to find 204 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 34675/36106 places, 36265/36265 transitions.
Applied a total of 0 rules in 250 ms. Remains 34675 /34675 variables (removed 0) and now considering 36265/36265 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 42139 ms. Remains : 34675/36106 places, 36265/36265 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 549 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-PT-L00100M0010C005P005G002-LTLCardinality-04
Entered a terminal (fully accepting) state of product in 8 steps with 0 reset in 4 ms.
FORMULA FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-04 FALSE TECHNIQUES STUTTER_TEST
Treatment of property FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-04 finished in 42964 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 36106 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 36106/36106 places, 36265/36265 transitions.
Graph (complete) has 52835 edges and 36106 vertex of which 22839 are kept as prefixes of interest. Removing 13267 places using SCC suffix rule.53 ms
Discarding 13267 places :
Also discarding 14752 output transitions
Drop transitions (Output transitions of discarded places.) removed 14752 transitions
Discarding 3334 places :
Implicit places reduction removed 3334 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 20100 rules applied. Total rules applied 20101 place count 19505 transition count 4747
Reduce places removed 16766 places and 0 transitions.
Iterating post reduction 1 with 16766 rules applied. Total rules applied 36867 place count 2739 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 36867 place count 2739 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 37069 place count 2638 transition count 4646
Discarding 2020 places :
Symmetric choice reduction at 2 with 2020 rule applications. Total rules 39089 place count 618 transition count 2626
Iterating global reduction 2 with 2020 rules applied. Total rules applied 41109 place count 618 transition count 2626
Performed 100 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 100 Pre rules applied. Total rules applied 41109 place count 618 transition count 2526
Deduced a syphon composed of 100 places in 0 ms
Reduce places removed 100 places and 0 transitions.
Iterating global reduction 2 with 200 rules applied. Total rules applied 41309 place count 518 transition count 2526
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 41319 place count 508 transition count 1516
Iterating global reduction 2 with 10 rules applied. Total rules applied 41329 place count 508 transition count 1516
Ensure Unique test removed 1010 transitions
Reduce isomorphic transitions removed 1010 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 101
Iterating post reduction 2 with 1112 rules applied. Total rules applied 42441 place count 507 transition count 405
Reduce places removed 101 places and 0 transitions.
Iterating post reduction 3 with 101 rules applied. Total rules applied 42542 place count 406 transition count 405
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 1 Pre rules applied. Total rules applied 42542 place count 406 transition count 404
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 42544 place count 405 transition count 404
Applied a total of 42544 rules in 1109 ms. Remains 405 /36106 variables (removed 35701) and now considering 404/36265 (removed 35861) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4178369397009399506.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-101305247875196154.kers'
[2026-05-26 01:13:48] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4178369397009399506.kers, --Pflows, --basisKERS=/tmp/petrispot-output-101305247875196154.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-26 01:13:48] [INFO ] Computed 1 invariants in 3 ms
Computed 1 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-101305247875196154.kers
Total runtime 4 ms.
[2026-05-26 01:13:48] [INFO ] Implicit Places using invariants in 303 ms returned [202]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 305 ms to find 1 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 404/36106 places, 404/36265 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 12 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-538314574922456802.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7939419902977878528.kers'
[2026-05-26 01:13:48] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-538314574922456802.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7939419902977878528.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-26 01:13:48] [INFO ] Computed 0 invariants in 2 ms
Computed 0 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-7939419902977878528.kers
Total runtime 3 ms.
[2026-05-26 01:13:48] [INFO ] Implicit Places using invariants in 93 ms returned []
[2026-05-26 01:13:48] [INFO ] Invariant cache hit.
[2026-05-26 01:13:48] [INFO ] Implicit Places using invariants and state equation in 312 ms returned []
Implicit Place search using SMT with State Equation took 408 ms to find 0 implicit places.
Starting structural reductions in SI_LTL mode, iteration 2 : 303/36106 places, 303/36265 transitions.
Finished structural reductions in SI_LTL mode , in 2 iterations and 1834 ms. Remains : 303/36106 places, 303/36265 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 56 ms :[(NOT p0)]
Running random walk in product with property : FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-05
Product exploration explored 100000 steps with 731 reset in 2013 ms.
Product exploration explored 100000 steps with 726 reset in 1661 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 75 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 542 steps (0 resets) in 31 ms. (16 steps per ms) remains 0/1 properties
Knowledge based reduction with 4 factoid took 82 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 50 ms :[(NOT p0)]
[2026-05-26 01:13:53] [INFO ] Invariant cache hit.
[2026-05-26 01:14:08] [INFO ] [Real]Absence check using state equation in 9239 ms returned unknown
Could not prove EG (NOT p0)
Knowledge-based reduction took 15488 ms.
Stuttering acceptance computed with spot in 37 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-26 01:14:08] [INFO ] Invariant cache hit.
[2026-05-26 01:14:08] [INFO ] Implicit Places using invariants in 60 ms returned []
[2026-05-26 01:14:08] [INFO ] Invariant cache hit.
[2026-05-26 01:14:08] [INFO ] Implicit Places using invariants and state equation in 225 ms returned []
Implicit Place search using SMT with State Equation took 296 ms to find 0 implicit places.
[2026-05-26 01:14:08] [INFO ] Redundant transitions in 19 ms returned []
Running 202 sub problems to find dead transitions.
[2026-05-26 01:14:08] [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 24121 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 16490 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 40625ms problems are : Problem set: 0 solved, 202 unsolved
Search for dead transitions found 0 dead transitions in 40626ms
Finished structural reductions in SI_LTL mode , in 1 iterations and 40950 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 73 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 496 steps (0 resets) in 20 ms. (23 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 51 ms :[(NOT p0)]
[2026-05-26 01:14:49] [INFO ] Invariant cache hit.
[2026-05-26 01:15:04] [INFO ] [Real]Absence check using state equation in 9134 ms returned unknown
Could not prove EG (NOT p0)
Knowledge-based reduction took 15543 ms.
Stuttering acceptance computed with spot in 36 ms :[(NOT p0)]
Stuttering acceptance computed with spot in 33 ms :[(NOT p0)]
Product exploration explored 100000 steps with 730 reset in 1986 ms.
Product exploration explored 100000 steps with 725 reset in 1629 ms.
Built C files in :
/tmp/ltsmin15765140946354438569
[2026-05-26 01:15:08] [INFO ] Computing symmetric may disable matrix : 303 transitions.
[2026-05-26 01:15:08] [INFO ] Computation of Complete disable matrix. took 1 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-26 01:15:08] [INFO ] Computing symmetric may enable matrix : 303 transitions.
[2026-05-26 01:15:08] [INFO ] Computation of Complete enable matrix. took 0 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-26 01:15:08] [INFO ] Computing Do-Not-Accords matrix : 303 transitions.
[2026-05-26 01:15:08] [INFO ] Computation of Completed DNA matrix. took 9 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-26 01:15:08] [INFO ] Built C files in 45ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15765140946354438569
Running compilation step : cd /tmp/ltsmin15765140946354438569;'/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 1033 ms.
Running link step : cd /tmp/ltsmin15765140946354438569;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 36 ms.
Running LTSmin : cd /tmp/ltsmin15765140946354438569;'/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/stateBased16150202528719788180.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 3 ms. Remains 303 /303 variables (removed 0) and now considering 303/303 (removed 0) transitions.
[2026-05-26 01:15:23] [INFO ] Invariant cache hit.
[2026-05-26 01:15:23] [INFO ] Implicit Places using invariants in 58 ms returned []
[2026-05-26 01:15:23] [INFO ] Invariant cache hit.
[2026-05-26 01:15:23] [INFO ] Implicit Places using invariants and state equation in 225 ms returned []
Implicit Place search using SMT with State Equation took 285 ms to find 0 implicit places.
[2026-05-26 01:15:23] [INFO ] Redundant transitions in 5 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 298 ms. Remains : 303/303 places, 303/303 transitions.
Built C files in :
/tmp/ltsmin13974758955433797232
[2026-05-26 01:15:23] [INFO ] Computing symmetric may disable matrix : 303 transitions.
[2026-05-26 01:15:23] [INFO ] Computation of Complete disable matrix. took 1 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-26 01:15:23] [INFO ] Computing symmetric may enable matrix : 303 transitions.
[2026-05-26 01:15:23] [INFO ] Computation of Complete enable matrix. took 0 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-26 01:15:23] [INFO ] Computing Do-Not-Accords matrix : 303 transitions.
[2026-05-26 01:15:23] [INFO ] Computation of Completed DNA matrix. took 7 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-26 01:15:23] [INFO ] Built C files in 36ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin13974758955433797232
Running compilation step : cd /tmp/ltsmin13974758955433797232;'/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 842 ms.
Running link step : cd /tmp/ltsmin13974758955433797232;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 69 ms.
Running LTSmin : cd /tmp/ltsmin13974758955433797232;'/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/stateBased2755048793398929731.hoa' '--buchi-type=spotba'
WARNING : LTS min runner thread was asked to interrupt. Dying gracefully.
[2026-05-26 01:15:39] [INFO ] Flatten gal took : 25 ms
[2026-05-26 01:15:39] [INFO ] Flatten gal took : 10 ms
[2026-05-26 01:15:39] [INFO ] Time to serialize gal into /tmp/LTL15379343049603273071.gal : 4 ms
[2026-05-26 01:15:39] [INFO ] Time to serialize properties into /tmp/LTL4472769018582911193.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/LTL15379343049603273071.gal' '-t' 'CGAL' '-hoa' '/tmp/aut18167466700682007711.hoa' '-atoms' '/tmp/LTL4472769018582911193.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/LTL4472769018582911193.prop.
Loaded 1 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut18167466700682007711.hoa
Reverse transition relation is NOT exact ! Due to transitions t1938, t1939, t1940, t1941, t1942, t1943, t1944, t1945, t1946, t1947, t1948, t1949, t1950, t1...870
Computing Next relation with stutter on 1 deadlock states
Detected timeout of ITS tools.
[2026-05-26 01:15:55] [INFO ] Flatten gal took : 7 ms
[2026-05-26 01:15:55] [INFO ] Flatten gal took : 6 ms
[2026-05-26 01:15:55] [INFO ] Time to serialize gal into /tmp/LTL979974822202780060.gal : 3 ms
[2026-05-26 01:15:55] [INFO ] Time to serialize properties into /tmp/LTL11105502410008073670.ltl : 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/LTL979974822202780060.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL11105502410008073670.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 : !((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 t1938, t1939, t1940, t1941, t1942, t1943, t1944, t1945, t1946, t1947, t1948, t1949, t1950, t1...870
Computing Next relation with stutter on 1 deadlock states
Detected timeout of ITS tools.
[2026-05-26 01:16:10] [INFO ] Flatten gal took : 6 ms
[2026-05-26 01:16:10] [INFO ] Applying decomposition
[2026-05-26 01:16:10] [INFO ] Flatten gal took : 5 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph13446698868603406641.txt' '-o' '/tmp/graph13446698868603406641.bin' '-w' '/tmp/graph13446698868603406641.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13446698868603406641.bin' '-l' '-1' '-v' '-w' '/tmp/graph13446698868603406641.weights' '-q' '0' '-e' '0.001'
[2026-05-26 01:16:10] [INFO ] Decomposing Gal with order
[2026-05-26 01:16:10] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 01:16:10] [INFO ] Flatten gal took : 75 ms
[2026-05-26 01:16:10] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 4 ms.
[2026-05-26 01:16:10] [INFO ] Time to serialize gal into /tmp/LTL13025132647452751933.gal : 4 ms
[2026-05-26 01:16:10] [INFO ] Time to serialize properties into /tmp/LTL1142435963090442743.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/LTL13025132647452751933.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL1142435963090442743.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.t1938, gu0.t1939, gu0.t1940, gu0.t1941, gu0.t1942, gu0.t1943, gu0.t1944, gu0.t1945, gu0.t...1274
Computing Next relation with stutter on 1 deadlock states
Detected timeout of ITS tools.
Treatment of property FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-05 finished in 158655 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 36106 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 36106/36106 places, 36265/36265 transitions.
Reduce places removed 115 places and 0 transitions.
Discarding 3334 places :
Implicit places reduction removed 3334 places
Iterating post reduction 0 with 3449 rules applied. Total rules applied 3449 place count 32657 transition count 36265
Applied a total of 3449 rules in 421 ms. Remains 32657 /36106 variables (removed 3449) and now considering 36265/36265 (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-8892421080999928914.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17580280561463154252.kers'
[2026-05-26 01:16:26] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8892421080999928914.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17580280561463154252.kers]
Culled 0 columns in 47 ms.
// Phase 1: matrix 36265 rows 32657 cols 81832 entries
Finished phase 1 with 30328 SingleSign rule and 1111 generalized
[2026-05-26 01:16:28] [INFO ] Computed 1218 invariants in 2662 ms
Computed 1218 P flows in 2663 ms.
Exported basis to /tmp/petrispot-output-17580280561463154252.kers
Total runtime 2692 ms.
[2026-05-26 01:16:54] [INFO ] Implicit Places using invariants in 28658 ms returned [10712, 20726, 24767, 24768, 24769, 24770, 24771, 24772, 24773, 24774, 24775, 24776, 24777, 24778, 24779, 24780, 24781, 24782, 24783, 24784, 24785, 24786, 24787, 24788, 24789, 24790, 24791, 24792, 24793, 24794, 24795, 24796, 24797, 24798, 24799, 24800, 24801, 24802, 24803, 24804, 24805, 24806, 24807, 24808, 24809, 24810, 24811, 24812, 24813, 24814, 24815, 24816, 24817, 24818, 24819, 24820, 24821, 24822, 24823, 24824, 24825, 24826, 24827, 24828, 24829, 24830, 24831, 24832, 24833, 24834, 24835, 24836, 24837, 24838, 24839, 24840, 24841, 24842, 24843, 24844, 24845, 24846, 24847, 24848, 24849, 24850, 24851, 24852, 24853, 24854, 24855, 24856, 24857, 24858, 24859, 24860, 24861, 24862, 24863, 24864, 24865, 24866, 24867, 31344, 31345, 31346, 31347, 31348, 31349, 31350, 31351, 31352, 31353, 31354, 31355, 31356, 31357, 31358, 31359, 31360, 31361, 31362, 31363, 31364, 31365, 31366, 31367, 31368, 31369, 31370, 31371, 31372, 31373, 31374, 31375, 31376, 31377, 31378, 31379, 31380, 31381, 31382, 31383, 31384, 31385, 31386, 31387, 31388, 31389, 31390, 31391, 31392, 31393, 31394, 31395, 31396, 31397, 31398, 31399, 31400, 31401, 31402, 31403, 31404, 31405, 31406, 31407, 31408, 31409, 31410, 31411, 31412, 31413, 31414, 31415, 31416, 31417, 31418, 31419, 31420, 31421, 31422, 31423, 31424, 31425, 31426, 31427, 31428, 31429, 31430, 31431, 31432, 31433, 31434, 31435, 31436, 31437, 31438, 31439, 31440, 31441, 31442, 31443, 31444]
Discarding 204 places :
Implicit Place search using SMT only with invariants took 28680 ms to find 204 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 32453/36106 places, 36265/36265 transitions.
Applied a total of 0 rules in 171 ms. Remains 32453 /32453 variables (removed 0) and now considering 36265/36265 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 29274 ms. Remains : 32453/36106 places, 36265/36265 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 309 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-PT-L00100M0010C005P005G002-LTLCardinality-06
Product exploration explored 100000 steps with 31 reset in 7216 ms.
Product exploration explored 100000 steps with 31 reset in 7684 ms.
Computed a total of 32453 stabilizing places and 36265 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 32453 transition count 36265
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 99 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 2832 ms. (14 steps per ms) remains 2/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 961 ms. (41 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1139 ms. (35 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-11340446286361356175.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4535400757993756600.kers'
[2026-05-26 01:17:46] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11340446286361356175.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4535400757993756600.kers]
Culled 0 columns in 41 ms.
// Phase 1: matrix 36265 rows 32453 cols 80402 entries
Finished phase 1 with 30429 SingleSign rule and 1010 generalized
[2026-05-26 01:17:50] [INFO ] Computed 1014 invariants in 3655 ms
Computed 1014 P flows in 3656 ms.
Exported basis to /tmp/petrispot-output-4535400757993756600.kers
Total runtime 3710 ms.
At refinement iteration 0 (INCLUDED_ONLY) 0/808 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
SMT process timed out in 8884ms, After SMT, problems are : Problem set: 0 solved, 2 unsolved
Fused 2 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 808 out of 32453 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 32453/32453 places, 36265/36265 transitions.
Graph (complete) has 44137 edges and 32453 vertex of which 27994 are kept as prefixes of interest. Removing 4459 places using SCC suffix rule.19 ms
Discarding 4459 places :
Also discarding 5662 output transitions
Drop transitions (Output transitions of discarded places.) removed 5662 transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 21210 transitions
Trivial Post-agglo rules discarded 21210 transitions
Performed 21210 trivial Post agglomeration. Transition count delta: 21210
Iterating post reduction 0 with 21210 rules applied. Total rules applied 21211 place count 27994 transition count 9393
Reduce places removed 21210 places and 0 transitions.
Ensure Unique test removed 505 transitions
Reduce isomorphic transitions removed 505 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 202 transitions
Trivial Post-agglo rules discarded 202 transitions
Performed 202 trivial Post agglomeration. Transition count delta: 202
Iterating post reduction 1 with 21917 rules applied. Total rules applied 43128 place count 6784 transition count 8686
Reduce places removed 202 places and 0 transitions.
Iterating post reduction 2 with 202 rules applied. Total rules applied 43330 place count 6582 transition count 8686
Performed 1313 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1313 Pre rules applied. Total rules applied 43330 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 3 with 2828 rules applied. Total rules applied 46158 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 3 with 1313 rules applied. Total rules applied 47471 place count 4360 transition count 6767
Reduce places removed 606 places and 0 transitions.
Iterating post reduction 4 with 606 rules applied. Total rules applied 48077 place count 3754 transition count 6767
Performed 101 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 101 Pre rules applied. Total rules applied 48077 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 5 with 202 rules applied. Total rules applied 48279 place count 3653 transition count 6666
Discarding 1530 places :
Symmetric choice reduction at 5 with 1530 rule applications. Total rules 49809 place count 2123 transition count 3636
Iterating global reduction 5 with 1530 rules applied. Total rules applied 51339 place count 2123 transition count 3636
Ensure Unique test removed 1010 transitions
Reduce isomorphic transitions removed 1010 transitions.
Iterating post reduction 5 with 1010 rules applied. Total rules applied 52349 place count 2123 transition count 2626
Performed 202 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 202 Pre rules applied. Total rules applied 52349 place count 2123 transition count 2424
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 52753 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 6 with 202 rules applied. Total rules applied 52955 place count 1820 transition count 2323
Free-agglomeration rule (complex) applied 707 times.
Iterating global reduction 6 with 707 rules applied. Total rules applied 53662 place count 1820 transition count 1616
Reduce places removed 707 places and 0 transitions.
Iterating post reduction 6 with 707 rules applied. Total rules applied 54369 place count 1113 transition count 1616
Reduce places removed 101 places and 101 transitions.
Iterating global reduction 7 with 101 rules applied. Total rules applied 54470 place count 1012 transition count 1515
Applied a total of 54470 rules in 2158 ms. Remains 1012 /32453 variables (removed 31441) and now considering 1515/36265 (removed 34750) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2158 ms. Remains : 1012/32453 places, 1515/36265 transitions.
RANDOM walk for 1937 steps (0 resets) in 106 ms. (18 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 362 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-26 01:17:58] [INFO ] Invariant cache hit.
Could not prove EG (NOT p0)
[2026-05-26 01:18:08] [INFO ] Invariant cache hit.
Could not prove EG (NOT p2)
Knowledge-based reduction took 67793 ms.
Stuttering acceptance computed with spot in 404 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 32453 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 32453/32453 places, 36265/36265 transitions.
Applied a total of 0 rules in 261 ms. Remains 32453 /32453 variables (removed 0) and now considering 36265/36265 (removed 0) transitions.
[2026-05-26 01:18:18] [INFO ] Invariant cache hit.
[2026-05-26 01:18:38] [INFO ] Implicit Places using invariants in 19938 ms returned []
Implicit Place search using SMT only with invariants took 19939 ms to find 0 implicit places.
Running 36164 sub problems to find dead transitions.
[2026-05-26 01:18:39] [INFO ] Invariant cache hit.
SMT process timed out in 164323ms, After SMT, problems are : Problem set: 0 solved, 36164 unsolved
Search for dead transitions found 0 dead transitions in 164440ms
Finished structural reductions in LTL mode , in 1 iterations and 184722 ms. Remains : 32453/32453 places, 36265/36265 transitions.
Computed a total of 32453 stabilizing places and 36265 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 32453 transition count 36265
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 126 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 40000 steps (8 resets) in 3267 ms. (12 steps per ms) remains 2/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 971 ms. (41 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1015 ms. (39 steps per ms) remains 2/2 properties
[2026-05-26 01:22:02] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/808 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
SMT process timed out in 5108ms, After SMT, problems are : Problem set: 0 solved, 2 unsolved
Fused 2 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 808 out of 32453 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 32453/32453 places, 36265/36265 transitions.
Graph (complete) has 44137 edges and 32453 vertex of which 27994 are kept as prefixes of interest. Removing 4459 places using SCC suffix rule.21 ms
Discarding 4459 places :
Also discarding 5662 output transitions
Drop transitions (Output transitions of discarded places.) removed 5662 transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 21210 transitions
Trivial Post-agglo rules discarded 21210 transitions
Performed 21210 trivial Post agglomeration. Transition count delta: 21210
Iterating post reduction 0 with 21210 rules applied. Total rules applied 21211 place count 27994 transition count 9393
Reduce places removed 21210 places and 0 transitions.
Ensure Unique test removed 505 transitions
Reduce isomorphic transitions removed 505 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 202 transitions
Trivial Post-agglo rules discarded 202 transitions
Performed 202 trivial Post agglomeration. Transition count delta: 202
Iterating post reduction 1 with 21917 rules applied. Total rules applied 43128 place count 6784 transition count 8686
Reduce places removed 202 places and 0 transitions.
Iterating post reduction 2 with 202 rules applied. Total rules applied 43330 place count 6582 transition count 8686
Performed 1313 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1313 Pre rules applied. Total rules applied 43330 place count 6582 transition count 7373
Deduced a syphon composed of 1313 places in 3 ms
Ensure Unique test removed 202 places
Reduce places removed 1515 places and 0 transitions.
Iterating global reduction 3 with 2828 rules applied. Total rules applied 46158 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 3 with 1313 rules applied. Total rules applied 47471 place count 4360 transition count 6767
Reduce places removed 606 places and 0 transitions.
Iterating post reduction 4 with 606 rules applied. Total rules applied 48077 place count 3754 transition count 6767
Performed 101 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 101 Pre rules applied. Total rules applied 48077 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 5 with 202 rules applied. Total rules applied 48279 place count 3653 transition count 6666
Discarding 1530 places :
Symmetric choice reduction at 5 with 1530 rule applications. Total rules 49809 place count 2123 transition count 3636
Iterating global reduction 5 with 1530 rules applied. Total rules applied 51339 place count 2123 transition count 3636
Ensure Unique test removed 1010 transitions
Reduce isomorphic transitions removed 1010 transitions.
Iterating post reduction 5 with 1010 rules applied. Total rules applied 52349 place count 2123 transition count 2626
Performed 202 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 202 Pre rules applied. Total rules applied 52349 place count 2123 transition count 2424
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 52753 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 6 with 202 rules applied. Total rules applied 52955 place count 1820 transition count 2323
Free-agglomeration rule (complex) applied 707 times.
Iterating global reduction 6 with 707 rules applied. Total rules applied 53662 place count 1820 transition count 1616
Reduce places removed 707 places and 0 transitions.
Iterating post reduction 6 with 707 rules applied. Total rules applied 54369 place count 1113 transition count 1616
Reduce places removed 101 places and 101 transitions.
Iterating global reduction 7 with 101 rules applied. Total rules applied 54470 place count 1012 transition count 1515
Applied a total of 54470 rules in 2097 ms. Remains 1012 /32453 variables (removed 31441) and now considering 1515/36265 (removed 34750) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2097 ms. Remains : 1012/32453 places, 1515/36265 transitions.
RANDOM walk for 1967 steps (0 resets) in 110 ms. (17 steps per ms) remains 0/2 properties
Knowledge based reduction with 12 factoid took 329 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 469 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-26 01:22:11] [INFO ] Invariant cache hit.
Could not prove EG (NOT p0)
[2026-05-26 01:22:20] [INFO ] Invariant cache hit.
Could not prove EG (NOT p2)
Knowledge-based reduction took 66698 ms.
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))]
Stuttering acceptance computed with spot in 372 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 6035 ms.
Product exploration explored 100000 steps with 31 reset in 5951 ms.
Spot run failed in 115 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/ltsmin10570965242964067421
[2026-05-26 01:22:43] [INFO ] Built C files in 512ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin10570965242964067421
Running compilation step : cd /tmp/ltsmin10570965242964067421;'/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/ltsmin10570965242964067421;'/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/ltsmin10570965242964067421;'/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 32453 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 32453/32453 places, 36265/36265 transitions.
Applied a total of 0 rules in 258 ms. Remains 32453 /32453 variables (removed 0) and now considering 36265/36265 (removed 0) transitions.
[2026-05-26 01:22:46] [INFO ] Invariant cache hit.
[2026-05-26 01:23:07] [INFO ] Implicit Places using invariants in 20279 ms returned []
Implicit Place search using SMT only with invariants took 20280 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 20541 ms. Remains : 32453/32453 places, 36265/36265 transitions.
Built C files in :
/tmp/ltsmin2410875815595066513
[2026-05-26 01:23:07] [INFO ] Built C files in 337ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin2410875815595066513
Running compilation step : cd /tmp/ltsmin2410875815595066513;'/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/ltsmin2410875815595066513;'/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/ltsmin2410875815595066513;'/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-26 01:23:11] [INFO ] Flatten gal took : 713 ms
[2026-05-26 01:23:12] [INFO ] Flatten gal took : 704 ms
[2026-05-26 01:23:12] [INFO ] Time to serialize gal into /tmp/LTL1718157166782974827.gal : 208 ms
[2026-05-26 01:23:12] [INFO ] Time to serialize properties into /tmp/LTL11607907365866071771.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/LTL1718157166782974827.gal' '-t' 'CGAL' '-hoa' '/tmp/aut11844725684637338410.hoa' '-atoms' '/tmp/LTL11607907365866071771.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/LTL11607907365866071771.prop.
Loaded 3 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut11844725684637338410.hoa
Detected timeout of ITS tools.
[2026-05-26 01:23:29] [INFO ] Flatten gal took : 707 ms
[2026-05-26 01:23:30] [INFO ] Flatten gal took : 731 ms
[2026-05-26 01:23:30] [INFO ] Time to serialize gal into /tmp/LTL9737389651614071583.gal : 150 ms
[2026-05-26 01:23:30] [INFO ] Time to serialize properties into /tmp/LTL8234464442969457136.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/LTL9737389651614071583.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL8234464442969457136.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...8776
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...8768
Detected timeout of ITS tools.
[2026-05-26 01:23:45] [INFO ] Flatten gal took : 677 ms
[2026-05-26 01:23:45] [INFO ] Applying decomposition
[2026-05-26 01:23:46] [INFO ] Flatten gal took : 720 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/graph18162036572684012414.txt' '-o' '/tmp/graph18162036572684012414.bin' '-w' '/tmp/graph18162036572684012414.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph18162036572684012414.bin' '-l' '-1' '-v' '-w' '/tmp/graph18162036572684012414.weights' '-q' '0' '-e' '0.001'
[2026-05-26 01:23:49] [INFO ] Decomposing Gal with order
[2026-05-26 01:24:04] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 01:32:09] [INFO ] Removed a total of 9773 redundant transitions.
[2026-05-26 01:32:10] [INFO ] Flatten gal took : 3417 ms
[2026-05-26 01:32:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 206 labels/synchronizations in 419 ms.
[2026-05-26 01:32:23] [INFO ] Time to serialize gal into /tmp/LTL10149537528774572840.gal : 266 ms
[2026-05-26 01:32:23] [INFO ] Time to serialize properties into /tmp/LTL4078191242248810531.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/LTL10149537528774572840.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL4078191242248810531.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-PT-L00100M0010C005P005G002-LTLCardinality-06 finished in 972876 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 U (!p1||G(!p0))))'
Support contains 3 out of 36106 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 36106/36106 places, 36265/36265 transitions.
Graph (complete) has 52835 edges and 36106 vertex of which 34585 are kept as prefixes of interest. Removing 1521 places using SCC suffix rule.40 ms
Discarding 1521 places :
Also discarding 1507 output transitions
Drop transitions (Output transitions of discarded places.) removed 1507 transitions
Reduce places removed 101 places and 101 transitions.
Discarding 3334 places :
Implicit places reduction removed 3334 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 21612 transitions
Trivial Post-agglo rules discarded 21612 transitions
Performed 21612 trivial Post agglomeration. Transition count delta: 21612
Iterating post reduction 0 with 24946 rules applied. Total rules applied 24947 place count 31150 transition count 13045
Reduce places removed 21612 places and 0 transitions.
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 101
Iterating post reduction 1 with 21713 rules applied. Total rules applied 46660 place count 9538 transition count 12944
Reduce places removed 101 places and 0 transitions.
Iterating post reduction 2 with 101 rules applied. Total rules applied 46761 place count 9437 transition count 12944
Performed 2223 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 2223 Pre rules applied. Total rules applied 46761 place count 9437 transition count 10721
Deduced a syphon composed of 2223 places in 5 ms
Ensure Unique test removed 909 places
Reduce places removed 3132 places and 0 transitions.
Iterating global reduction 3 with 5355 rules applied. Total rules applied 52116 place count 6305 transition count 10721
Drop transitions (Trivial Post-Agglo cleanup.) removed 606 transitions
Trivial Post-agglo rules discarded 606 transitions
Performed 606 trivial Post agglomeration. Transition count delta: 606
Iterating post reduction 3 with 606 rules applied. Total rules applied 52722 place count 6305 transition count 10115
Reduce places removed 606 places and 0 transitions.
Iterating post reduction 4 with 606 rules applied. Total rules applied 53328 place count 5699 transition count 10115
Performed 101 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 101 Pre rules applied. Total rules applied 53328 place count 5699 transition count 10014
Deduced a syphon composed of 101 places in 4 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 5 with 202 rules applied. Total rules applied 53530 place count 5598 transition count 10014
Discarding 3647 places :
Symmetric choice reduction at 5 with 3647 rule applications. Total rules 57177 place count 1951 transition count 6167
Iterating global reduction 5 with 3647 rules applied. Total rules applied 60824 place count 1951 transition count 6167
Ensure Unique test removed 405 transitions
Reduce isomorphic transitions removed 405 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 5 with 407 rules applied. Total rules applied 61231 place count 1951 transition count 5760
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 6 with 2 rules applied. Total rules applied 61233 place count 1949 transition count 5760
Performed 304 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 304 Pre rules applied. Total rules applied 61233 place count 1949 transition count 5456
Deduced a syphon composed of 304 places in 1 ms
Reduce places removed 304 places and 0 transitions.
Iterating global reduction 7 with 608 rules applied. Total rules applied 61841 place count 1645 transition count 5456
Discarding 19 places :
Symmetric choice reduction at 7 with 19 rule applications. Total rules 61860 place count 1626 transition count 3537
Iterating global reduction 7 with 19 rules applied. Total rules applied 61879 place count 1626 transition count 3537
Ensure Unique test removed 1919 transitions
Reduce isomorphic transitions removed 1919 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 7 with 2121 rules applied. Total rules applied 64000 place count 1525 transition count 1517
Reduce places removed 101 places and 0 transitions.
Iterating post reduction 8 with 101 rules applied. Total rules applied 64101 place count 1424 transition count 1517
Performed 101 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 9 with 101 Pre rules applied. Total rules applied 64101 place count 1424 transition count 1416
Deduced a syphon composed of 101 places in 0 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 9 with 202 rules applied. Total rules applied 64303 place count 1323 transition count 1416
Performed 203 Post agglomeration using F-continuation condition.Transition count delta: 203
Deduced a syphon composed of 203 places in 0 ms
Reduce places removed 203 places and 0 transitions.
Iterating global reduction 9 with 406 rules applied. Total rules applied 64709 place count 1120 transition count 1213
Performed 100 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 100 places in 0 ms
Reduce places removed 100 places and 0 transitions.
Iterating global reduction 9 with 200 rules applied. Total rules applied 64909 place count 1020 transition count 1213
Applied a total of 64909 rules in 2831 ms. Remains 1020 /36106 variables (removed 35086) and now considering 1213/36265 (removed 35052) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17498280165686664347.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9529824426764139415.kers'
[2026-05-26 01:32:41] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17498280165686664347.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9529824426764139415.kers]
Culled 0 columns in 2 ms.
// Phase 1: matrix 1213 rows 1020 cols 4245 entries
Finished phase 1 with 409 SingleSign rule and 403 generalized
[2026-05-26 01:32:41] [INFO ] Computed 208 invariants in 22 ms
Computed 208 P flows in 23 ms.
Exported basis to /tmp/petrispot-output-9529824426764139415.kers
Total runtime 24 ms.
[2026-05-26 01:32:42] [INFO ] Implicit Places using invariants in 1249 ms returned [101, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 610, 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, 710, 711, 712, 713, 714, 918]
Discarding 205 places :
Implicit Place search using SMT only with invariants took 1251 ms to find 205 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 815/36106 places, 1213/36265 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 202 transitions
Trivial Post-agglo rules discarded 202 transitions
Performed 202 trivial Post agglomeration. Transition count delta: 202
Iterating post reduction 0 with 202 rules applied. Total rules applied 202 place count 815 transition count 1011
Reduce places removed 202 places and 0 transitions.
Iterating post reduction 1 with 202 rules applied. Total rules applied 404 place count 613 transition count 1011
Performed 101 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 101 Pre rules applied. Total rules applied 404 place count 613 transition count 910
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 606 place count 512 transition count 910
Discarding 99 places :
Symmetric choice reduction at 2 with 99 rule applications. Total rules 705 place count 413 transition count 811
Iterating global reduction 2 with 99 rules applied. Total rules applied 804 place count 413 transition count 811
Discarding 99 places :
Symmetric choice reduction at 2 with 99 rule applications. Total rules 903 place count 314 transition count 712
Iterating global reduction 2 with 99 rules applied. Total rules applied 1002 place count 314 transition count 712
Discarding 98 places :
Symmetric choice reduction at 2 with 98 rule applications. Total rules 1100 place count 216 transition count 320
Iterating global reduction 2 with 98 rules applied. Total rules applied 1198 place count 216 transition count 320
Discarding 98 places :
Symmetric choice reduction at 2 with 98 rule applications. Total rules 1296 place count 118 transition count 222
Iterating global reduction 2 with 98 rules applied. Total rules applied 1394 place count 118 transition count 222
Discarding 98 places :
Symmetric choice reduction at 2 with 98 rule applications. Total rules 1492 place count 20 transition count 26
Iterating global reduction 2 with 98 rules applied. Total rules applied 1590 place count 20 transition count 26
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 1592 place count 19 transition count 26
Applied a total of 1592 rules in 40 ms. Remains 19 /815 variables (removed 796) and now considering 26/1213 (removed 1187) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15672533311199448677.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-12207544615219364803.kers'
[2026-05-26 01:32:42] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15672533311199448677.kers, --Pflows, --basisKERS=/tmp/petrispot-output-12207544615219364803.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 26 rows 19 cols 73 entries
Finished phase 1 with 15 SingleSign rule and 1 generalized
[2026-05-26 01:32:42] [INFO ] Computed 3 invariants in 0 ms
Computed 3 P flows in 0 ms.
Exported basis to /tmp/petrispot-output-12207544615219364803.kers
Total runtime 0 ms.
[2026-05-26 01:32:42] [INFO ] Implicit Places using invariants in 27 ms returned []
[2026-05-26 01:32:42] [INFO ] Invariant cache hit.
[2026-05-26 01:32:42] [INFO ] Implicit Places using invariants and state equation in 37 ms returned []
Implicit Place search using SMT with State Equation took 66 ms to find 0 implicit places.
Starting structural reductions in SI_LTL mode, iteration 2 : 19/36106 places, 26/36265 transitions.
Finished structural reductions in SI_LTL mode , in 2 iterations and 4188 ms. Remains : 19/36106 places, 26/36265 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 U (!p1||G(!p0))))'
Stuttering acceptance computed with spot in 55 ms :[true, (AND p1 p0)]
Running random walk in product with property : FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-10
Entered a terminal (fully accepting) state of product in 78 steps with 0 reset in 0 ms.
FORMULA FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-10 FALSE TECHNIQUES STUTTER_TEST
Treatment of property FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-10 finished in 4286 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&&F(p1))) U X(X(X(G(p2)))))))'
Support contains 6 out of 36106 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 36106/36106 places, 36265/36265 transitions.
Reduce places removed 115 places and 0 transitions.
Discarding 3334 places :
Implicit places reduction removed 3334 places
Iterating post reduction 0 with 3449 rules applied. Total rules applied 3449 place count 32657 transition count 36265
Applied a total of 3449 rules in 403 ms. Remains 32657 /36106 variables (removed 3449) and now considering 36265/36265 (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-833355424225223082.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10960465787507623094.kers'
[2026-05-26 01:32:43] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-833355424225223082.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10960465787507623094.kers]
Culled 0 columns in 71 ms.
// Phase 1: matrix 36265 rows 32657 cols 81832 entries
Finished phase 1 with 30328 SingleSign rule and 1111 generalized
[2026-05-26 01:32:46] [INFO ] Computed 1218 invariants in 2667 ms
Computed 1218 P flows in 2667 ms.
Exported basis to /tmp/petrispot-output-10960465787507623094.kers
Total runtime 2695 ms.
[2026-05-26 01:33:14] [INFO ] Implicit Places using invariants in 30859 ms returned [10712, 20726, 24767, 24768, 24769, 24770, 24771, 24772, 24773, 24774, 24775, 24776, 24777, 24778, 24779, 24780, 24781, 24782, 24783, 24784, 24785, 24786, 24787, 24788, 24789, 24790, 24791, 24792, 24793, 24794, 24795, 24796, 24797, 24798, 24799, 24800, 24801, 24802, 24803, 24804, 24805, 24806, 24807, 24808, 24809, 24810, 24811, 24812, 24813, 24814, 24815, 24816, 24817, 24818, 24819, 24820, 24821, 24822, 24823, 24824, 24825, 24826, 24827, 24828, 24829, 24830, 24831, 24832, 24833, 24834, 24835, 24836, 24837, 24838, 24839, 24840, 24841, 24842, 24843, 24844, 24845, 24846, 24847, 24848, 24849, 24850, 24851, 24852, 24853, 24854, 24855, 24856, 24857, 24858, 24859, 24860, 24861, 24862, 24863, 24864, 24865, 24866, 24867, 31344, 31345, 31346, 31347, 31348, 31349, 31350, 31351, 31352, 31353, 31354, 31355, 31356, 31357, 31358, 31359, 31360, 31361, 31362, 31363, 31364, 31365, 31366, 31367, 31368, 31369, 31370, 31371, 31372, 31373, 31374, 31375, 31376, 31377, 31378, 31379, 31380, 31381, 31382, 31383, 31384, 31385, 31386, 31387, 31388, 31389, 31390, 31391, 31392, 31393, 31394, 31395, 31396, 31397, 31398, 31399, 31400, 31401, 31402, 31403, 31404, 31405, 31406, 31407, 31408, 31409, 31410, 31411, 31412, 31413, 31414, 31415, 31416, 31417, 31418, 31419, 31420, 31421, 31422, 31423, 31424, 31425, 31426, 31427, 31428, 31429, 31430, 31431, 31432, 31433, 31434, 31435, 31436, 31437, 31438, 31439, 31440, 31441, 31442, 31443, 31444]
Discarding 204 places :
Implicit Place search using SMT only with invariants took 30887 ms to find 204 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 32453/36106 places, 36265/36265 transitions.
Applied a total of 0 rules in 214 ms. Remains 32453 /32453 variables (removed 0) and now considering 36265/36265 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 31506 ms. Remains : 32453/36106 places, 36265/36265 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&&F(p1))) U X(X(X(G(p2)))))))'
Stuttering acceptance computed with spot in 403 ms :[(NOT p2), (OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p2))), (AND (NOT p1) (NOT p2)), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p1) (NOT p2))), (AND (NOT p1) (NOT p2)), (NOT p2), (OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p2))), (AND (NOT p1) (NOT p2)), (OR (NOT p0) (NOT p1)), (NOT p1)]
Running random walk in product with property : FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-12
Product exploration explored 100000 steps with 19 reset in 3242 ms.
Product exploration explored 100000 steps with 19 reset in 3876 ms.
Computed a total of 32453 stabilizing places and 36265 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 32453 transition count 36265
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 12 factoid took 15 ms. Proved property starting from automaton with 10 states, 18 edges and 3 AP (stutter sensitive
Knowledge-based reduction took 32202 ms.
FORMULA FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-12 TRUE TECHNIQUES KNOWLEDGE
Treatment of property FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-12 finished in 71588 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(p0) U (p1||G(p2))))'
Support contains 5 out of 36106 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 36106/36106 places, 36265/36265 transitions.
Graph (complete) has 52835 edges and 36106 vertex of which 33069 are kept as prefixes of interest. Removing 3037 places using SCC suffix rule.63 ms
Discarding 3037 places :
Also discarding 3122 output transitions
Drop transitions (Output transitions of discarded places.) removed 3122 transitions
Reduce places removed 101 places and 101 transitions.
Discarding 3334 places :
Implicit places reduction removed 3334 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 21295 transitions
Trivial Post-agglo rules discarded 21295 transitions
Performed 21295 trivial Post agglomeration. Transition count delta: 21295
Iterating post reduction 0 with 24629 rules applied. Total rules applied 24630 place count 29634 transition count 11747
Reduce places removed 21295 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 21296 rules applied. Total rules applied 45926 place count 8339 transition count 11746
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 45927 place count 8338 transition count 11746
Performed 2123 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 2123 Pre rules applied. Total rules applied 45927 place count 8338 transition count 9623
Deduced a syphon composed of 2123 places in 4 ms
Ensure Unique test removed 908 places
Reduce places removed 3031 places and 0 transitions.
Iterating global reduction 3 with 5154 rules applied. Total rules applied 51081 place count 5307 transition count 9623
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 605 transitions
Trivial Post-agglo rules discarded 605 transitions
Performed 605 trivial Post agglomeration. Transition count delta: 605
Iterating post reduction 3 with 606 rules applied. Total rules applied 51687 place count 5306 transition count 9018
Reduce places removed 605 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 4 with 606 rules applied. Total rules applied 52293 place count 4701 transition count 9017
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 52294 place count 4700 transition count 9017
Performed 101 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 101 Pre rules applied. Total rules applied 52294 place count 4700 transition count 8916
Deduced a syphon composed of 101 places in 3 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 6 with 202 rules applied. Total rules applied 52496 place count 4599 transition count 8916
Discarding 3146 places :
Symmetric choice reduction at 6 with 3146 rule applications. Total rules 55642 place count 1453 transition count 5280
Iterating global reduction 6 with 3146 rules applied. Total rules applied 58788 place count 1453 transition count 5280
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 202 transitions
Trivial Post-agglo rules discarded 202 transitions
Performed 202 trivial Post agglomeration. Transition count delta: 202
Iterating post reduction 6 with 808 rules applied. Total rules applied 59596 place count 1352 transition count 4573
Reduce places removed 202 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 7 with 203 rules applied. Total rules applied 59799 place count 1150 transition count 4572
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 59800 place count 1149 transition count 4572
Performed 301 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 9 with 301 Pre rules applied. Total rules applied 59800 place count 1149 transition count 4271
Deduced a syphon composed of 301 places in 1 ms
Reduce places removed 301 places and 0 transitions.
Iterating global reduction 9 with 602 rules applied. Total rules applied 60402 place count 848 transition count 4271
Discarding 116 places :
Symmetric choice reduction at 9 with 116 rule applications. Total rules 60518 place count 732 transition count 2649
Iterating global reduction 9 with 116 rules applied. Total rules applied 60634 place count 732 transition count 2649
Ensure Unique test removed 1816 transitions
Reduce isomorphic transitions removed 1816 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 99 transitions
Trivial Post-agglo rules discarded 99 transitions
Performed 99 trivial Post agglomeration. Transition count delta: 99
Iterating post reduction 9 with 1915 rules applied. Total rules applied 62549 place count 732 transition count 734
Reduce places removed 99 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 10 with 100 rules applied. Total rules applied 62649 place count 633 transition count 733
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 11 with 1 rules applied. Total rules applied 62650 place count 632 transition count 733
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 12 with 1 Pre rules applied. Total rules applied 62650 place count 632 transition count 732
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 12 with 2 rules applied. Total rules applied 62652 place count 631 transition count 732
Performed 104 Post agglomeration using F-continuation condition.Transition count delta: 104
Deduced a syphon composed of 104 places in 1 ms
Reduce places removed 104 places and 0 transitions.
Iterating global reduction 12 with 208 rules applied. Total rules applied 62860 place count 527 transition count 628
Reduce places removed 100 places and 100 transitions.
Iterating global reduction 12 with 100 rules applied. Total rules applied 62960 place count 427 transition count 528
Applied a total of 62960 rules in 2762 ms. Remains 427 /36106 variables (removed 35679) and now considering 528/36265 (removed 35737) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6821590038535416949.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4581867163355089471.kers'
[2026-05-26 01:33:57] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6821590038535416949.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4581867163355089471.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 528 rows 427 cols 2085 entries
Finished phase 1 with 115 SingleSign rule and 205 generalized
[2026-05-26 01:33:57] [INFO ] Computed 107 invariants in 6 ms
Computed 107 P flows in 7 ms.
Exported basis to /tmp/petrispot-output-4581867163355089471.kers
Total runtime 8 ms.
[2026-05-26 01:33:58] [INFO ] Implicit Places using invariants in 795 ms returned [7, 8, 117, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224]
Discarding 105 places :
Implicit Place search using SMT only with invariants took 797 ms to find 105 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 322/36106 places, 528/36265 transitions.
Graph (complete) has 628 edges and 322 vertex of which 320 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.0 ms
Discarding 2 places :
Also discarding 2 output transitions
Drop transitions (Output transitions of discarded places.) removed 2 transitions
Reduce places removed 98 places and 98 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 222 transition count 427
Reduce places removed 1 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 221 transition count 426
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 5 place count 220 transition count 426
Performed 101 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 101 Pre rules applied. Total rules applied 5 place count 220 transition count 325
Deduced a syphon composed of 101 places in 0 ms
Ensure Unique test removed 1 places
Reduce places removed 102 places and 0 transitions.
Iterating global reduction 3 with 203 rules applied. Total rules applied 208 place count 118 transition count 325
Discarding 98 places :
Symmetric choice reduction at 3 with 98 rule applications. Total rules 306 place count 20 transition count 31
Iterating global reduction 3 with 98 rules applied. Total rules applied 404 place count 20 transition count 31
Applied a total of 404 rules in 15 ms. Remains 20 /322 variables (removed 302) and now considering 31/528 (removed 497) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-16137073852736455626.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16896318632828587365.kers'
[2026-05-26 01:33:58] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-16137073852736455626.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16896318632828587365.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 31 rows 20 cols 71 entries
Finished phase 1 with 16 SingleSign rule and 3 generalized
[2026-05-26 01:33:58] [INFO ] Computed 1 invariants in 0 ms
Computed 1 P flows in 0 ms.
Exported basis to /tmp/petrispot-output-16896318632828587365.kers
Total runtime 0 ms.
[2026-05-26 01:33:58] [INFO ] Implicit Places using invariants in 30 ms returned []
[2026-05-26 01:33:58] [INFO ] Invariant cache hit.
[2026-05-26 01:33:58] [INFO ] Implicit Places using invariants and state equation in 44 ms returned []
Implicit Place search using SMT with State Equation took 76 ms to find 0 implicit places.
Starting structural reductions in SI_LTL mode, iteration 2 : 20/36106 places, 31/36265 transitions.
Finished structural reductions in SI_LTL mode , in 2 iterations and 3650 ms. Remains : 20/36106 places, 31/36265 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(p0) U (p1||G(p2))))'
Stuttering acceptance computed with spot in 155 ms :[(AND (NOT p1) (NOT p2)), true, (NOT p0), (NOT p2), (AND (NOT p0) (NOT p2))]
Running random walk in product with property : FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-13
Entered a terminal (fully accepting) state of product in 25 steps with 0 reset in 0 ms.
FORMULA FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-13 FALSE TECHNIQUES STUTTER_TEST
Treatment of property FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-13 finished in 3856 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(F(p0)))'
Support contains 2 out of 36106 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 36106/36106 places, 36265/36265 transitions.
Graph (complete) has 52835 edges and 36106 vertex of which 29821 are kept as prefixes of interest. Removing 6285 places using SCC suffix rule.39 ms
Discarding 6285 places :
Also discarding 6969 output transitions
Drop transitions (Output transitions of discarded places.) removed 6969 transitions
Reduce places removed 101 places and 101 transitions.
Discarding 3334 places :
Implicit places reduction removed 3334 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 20593 transitions
Trivial Post-agglo rules discarded 20593 transitions
Performed 20593 trivial Post agglomeration. Transition count delta: 20593
Iterating post reduction 0 with 23927 rules applied. Total rules applied 23928 place count 26386 transition count 8602
Reduce places removed 20593 places and 0 transitions.
Iterating post reduction 1 with 20593 rules applied. Total rules applied 44521 place count 5793 transition count 8602
Performed 1515 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1515 Pre rules applied. Total rules applied 44521 place count 5793 transition count 7087
Deduced a syphon composed of 1515 places in 2 ms
Ensure Unique test removed 606 places
Reduce places removed 2121 places and 0 transitions.
Iterating global reduction 2 with 3636 rules applied. Total rules applied 48157 place count 3672 transition count 7087
Drop transitions (Trivial Post-Agglo cleanup.) removed 606 transitions
Trivial Post-agglo rules discarded 606 transitions
Performed 606 trivial Post agglomeration. Transition count delta: 606
Iterating post reduction 2 with 606 rules applied. Total rules applied 48763 place count 3672 transition count 6481
Reduce places removed 606 places and 0 transitions.
Iterating post reduction 3 with 606 rules applied. Total rules applied 49369 place count 3066 transition count 6481
Discarding 2132 places :
Symmetric choice reduction at 4 with 2132 rule applications. Total rules 51501 place count 934 transition count 3859
Iterating global reduction 4 with 2132 rules applied. Total rules applied 53633 place count 934 transition count 3859
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 203 transitions
Trivial Post-agglo rules discarded 203 transitions
Performed 203 trivial Post agglomeration. Transition count delta: 203
Iterating post reduction 4 with 809 rules applied. Total rules applied 54442 place count 833 transition count 3151
Reduce places removed 203 places and 0 transitions.
Iterating post reduction 5 with 203 rules applied. Total rules applied 54645 place count 630 transition count 3151
Performed 201 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 201 Pre rules applied. Total rules applied 54645 place count 630 transition count 2950
Deduced a syphon composed of 201 places in 1 ms
Reduce places removed 201 places and 0 transitions.
Iterating global reduction 6 with 402 rules applied. Total rules applied 55047 place count 429 transition count 2950
Discarding 112 places :
Symmetric choice reduction at 6 with 112 rule applications. Total rules 55159 place count 317 transition count 1830
Iterating global reduction 6 with 112 rules applied. Total rules applied 55271 place count 317 transition count 1830
Ensure Unique test removed 1414 transitions
Reduce isomorphic transitions removed 1414 transitions.
Iterating post reduction 6 with 1414 rules applied. Total rules applied 56685 place count 317 transition count 416
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 1 Pre rules applied. Total rules applied 56685 place count 317 transition count 415
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 56687 place count 316 transition count 415
Discarding 97 places :
Symmetric choice reduction at 7 with 97 rule applications. Total rules 56784 place count 219 transition count 221
Iterating global reduction 7 with 97 rules applied. Total rules applied 56881 place count 219 transition count 221
Discarding 97 places :
Symmetric choice reduction at 7 with 97 rule applications. Total rules 56978 place count 122 transition count 124
Iterating global reduction 7 with 97 rules applied. Total rules applied 57075 place count 122 transition count 124
Discarding 97 places :
Symmetric choice reduction at 7 with 97 rule applications. Total rules 57172 place count 25 transition count 27
Iterating global reduction 7 with 97 rules applied. Total rules applied 57269 place count 25 transition count 27
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 0 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 7 with 10 rules applied. Total rules applied 57279 place count 20 transition count 22
Reduce places removed 4 places and 4 transitions.
Iterating global reduction 7 with 4 rules applied. Total rules applied 57283 place count 16 transition count 18
Applied a total of 57283 rules in 1515 ms. Remains 16 /36106 variables (removed 36090) and now considering 18/36265 (removed 36247) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15676396592415015523.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6266974343606952896.kers'
[2026-05-26 01:33:59] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15676396592415015523.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6266974343606952896.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 18 rows 16 cols 57 entries
Finished phase 1 with 5 SingleSign rule and 7 generalized
[2026-05-26 01:33:59] [INFO ] Computed 4 invariants in 0 ms
Computed 4 P flows in 0 ms.
Exported basis to /tmp/petrispot-output-6266974343606952896.kers
Total runtime 1 ms.
[2026-05-26 01:33:59] [INFO ] Implicit Places using invariants in 63 ms returned [3, 5, 11]
Discarding 3 places :
Implicit Place search using SMT only with invariants took 64 ms to find 3 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 13/36106 places, 18/36265 transitions.
Graph (complete) has 18 edges and 13 vertex of which 12 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.0 ms
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Reduce places removed 1 places and 1 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 2 place count 10 transition count 14
Iterating global reduction 0 with 1 rules applied. Total rules applied 3 place count 10 transition count 14
Applied a total of 3 rules in 1 ms. Remains 10 /13 variables (removed 3) and now considering 14/18 (removed 4) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-2770355108232955624.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17511918214408161770.kers'
[2026-05-26 01:33:59] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2770355108232955624.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17511918214408161770.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 14 rows 10 cols 34 entries
Finished phase 1 with 6 SingleSign rule and 3 generalized
[2026-05-26 01:33:59] [INFO ] Computed 1 invariants in 0 ms
Computed 1 P flows in 0 ms.
Exported basis to /tmp/petrispot-output-17511918214408161770.kers
Total runtime 1 ms.
[2026-05-26 01:34:00] [INFO ] Implicit Places using invariants in 61 ms returned []
[2026-05-26 01:34:00] [INFO ] Invariant cache hit.
[2026-05-26 01:34:00] [INFO ] Implicit Places using invariants and state equation in 25 ms returned []
Implicit Place search using SMT with State Equation took 88 ms to find 0 implicit places.
Starting structural reductions in SI_LTL mode, iteration 2 : 10/36106 places, 14/36265 transitions.
Finished structural reductions in SI_LTL mode , in 2 iterations and 1668 ms. Remains : 10/36106 places, 14/36265 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)))'
Stuttering acceptance computed with spot in 110 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-14
Stuttering criterion allowed to conclude after 220 steps with 3 reset in 0 ms.
FORMULA FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-14 FALSE TECHNIQUES STUTTER_TEST
Treatment of property FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-14 finished in 1822 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(p0))'
Support contains 2 out of 36106 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 36106/36106 places, 36265/36265 transitions.
Graph (complete) has 52835 edges and 36106 vertex of which 19515 are kept as prefixes of interest. Removing 16591 places using SCC suffix rule.33 ms
Discarding 16591 places :
Also discarding 18063 output transitions
Drop transitions (Output transitions of discarded places.) removed 18063 transitions
Reduce places removed 101 places and 101 transitions.
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Discarding 3334 places :
Implicit places reduction removed 3334 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 14628 transitions
Trivial Post-agglo rules discarded 14628 transitions
Performed 14628 trivial Post agglomeration. Transition count delta: 14628
Iterating post reduction 0 with 17966 rules applied. Total rules applied 17967 place count 16080 transition count 3469
Reduce places removed 14628 places and 0 transitions.
Iterating post reduction 1 with 14628 rules applied. Total rules applied 32595 place count 1452 transition count 3469
Performed 104 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 104 Pre rules applied. Total rules applied 32595 place count 1452 transition count 3365
Deduced a syphon composed of 104 places in 0 ms
Ensure Unique test removed 1 places
Reduce places removed 105 places and 0 transitions.
Iterating global reduction 2 with 209 rules applied. Total rules applied 32804 place count 1347 transition count 3365
Discarding 1128 places :
Symmetric choice reduction at 2 with 1128 rule applications. Total rules 33932 place count 219 transition count 1237
Iterating global reduction 2 with 1128 rules applied. Total rules applied 35060 place count 219 transition count 1237
Ensure Unique test removed 1020 transitions
Reduce isomorphic transitions removed 1020 transitions.
Discarding 2 places :
Implicit places reduction removed 2 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 2 with 1028 rules applied. Total rules applied 36088 place count 217 transition count 211
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 3 with 6 rules applied. Total rules applied 36094 place count 211 transition count 211
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 3 Pre rules applied. Total rules applied 36094 place count 211 transition count 208
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 4 with 6 rules applied. Total rules applied 36100 place count 208 transition count 208
Discarding 98 places :
Symmetric choice reduction at 4 with 98 rule applications. Total rules 36198 place count 110 transition count 110
Iterating global reduction 4 with 98 rules applied. Total rules applied 36296 place count 110 transition count 110
Discarding 98 places :
Symmetric choice reduction at 4 with 98 rule applications. Total rules 36394 place count 12 transition count 12
Iterating global reduction 4 with 98 rules applied. Total rules applied 36492 place count 12 transition count 12
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 36494 place count 11 transition count 11
Reduce places removed 3 places and 3 transitions.
Iterating global reduction 4 with 3 rules applied. Total rules applied 36497 place count 8 transition count 8
Applied a total of 36497 rules in 666 ms. Remains 8 /36106 variables (removed 36098) and now considering 8/36265 (removed 36257) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-16792284344493135177.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8147313661148775509.kers'
[2026-05-26 01:34:00] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-16792284344493135177.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8147313661148775509.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 8 rows 8 cols 16 entries
Finished phase 1 with 4 SingleSign rule and 3 generalized
[2026-05-26 01:34:00] [INFO ] Computed 1 invariants in 0 ms
Computed 1 P flows in 0 ms.
Exported basis to /tmp/petrispot-output-8147313661148775509.kers
Total runtime 1 ms.
[2026-05-26 01:34:00] [INFO ] Implicit Places using invariants in 26 ms returned [3]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 27 ms to find 1 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 7/36106 places, 8/36265 transitions.
Graph (complete) has 4 edges and 7 vertex of which 6 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.0 ms
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Reduce places removed 1 places and 1 transitions.
Applied a total of 1 rules in 0 ms. Remains 5 /7 variables (removed 2) and now considering 6/8 (removed 2) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15321508919828839323.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6442003138667615110.kers'
[2026-05-26 01:34:00] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15321508919828839323.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6442003138667615110.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 6 rows 5 cols 9 entries
Finished phase 1 with 5 SingleSign rule and 0 generalized
[2026-05-26 01:34:00] [INFO ] Computed 0 invariants in 1 ms
Computed 0 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-6442003138667615110.kers
Total runtime 1 ms.
[2026-05-26 01:34:00] [INFO ] Implicit Places using invariants in 23 ms returned []
[2026-05-26 01:34:00] [INFO ] Invariant cache hit.
[2026-05-26 01:34:00] [INFO ] Implicit Places using invariants and state equation in 18 ms returned []
Implicit Place search using SMT with State Equation took 42 ms to find 0 implicit places.
Starting structural reductions in SI_LTL mode, iteration 2 : 5/36106 places, 6/36265 transitions.
Finished structural reductions in SI_LTL mode , in 2 iterations and 735 ms. Remains : 5/36106 places, 6/36265 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(p0))'
Stuttering acceptance computed with spot in 51 ms :[true, (NOT p0)]
Running random walk in product with property : FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-15
Entered a terminal (fully accepting) state of product in 2 steps with 0 reset in 0 ms.
FORMULA FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-15 FALSE TECHNIQUES STUTTER_TEST
Treatment of property FamilyReunion-PT-L00100M0010C005P005G002-LTLCardinality-15 finished in 828 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)))'
Spot run failed in 106 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' '!(F(p0))'
Spot run failed in 77 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 77 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-26 01:34:03] [INFO ] Flatten gal took : 2143 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin15499331868876485426
[2026-05-26 01:34:04] [INFO ] Too many transitions (36265) to apply POR reductions. Disabling POR matrices.
[2026-05-26 01:34:04] [INFO ] Applying decomposition
[2026-05-26 01:34:05] [INFO ] Built C files in 852ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15499331868876485426
Running compilation step : cd /tmp/ltsmin15499331868876485426;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '240' '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-26 01:34:05] [INFO ] Flatten gal took : 995 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/graph11435674521118230946.txt' '-o' '/tmp/graph11435674521118230946.bin' '-w' '/tmp/graph11435674521118230946.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11435674521118230946.bin' '-l' '-1' '-v' '-w' '/tmp/graph11435674521118230946.weights' '-q' '0' '-e' '0.001'
[2026-05-26 01:34:10] [INFO ] Decomposing Gal with order
[2026-05-26 01:34:37] [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/ltsmin15499331868876485426;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '240' '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 240 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin15499331868876485426;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '240' '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 240 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-26 01:43:36] [INFO ] Removed a total of 10814 redundant transitions.
[2026-05-26 01:43:37] [INFO ] Flatten gal took : 3338 ms
[2026-05-26 01:43:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 336 labels/synchronizations in 816 ms.
[2026-05-26 01:43:42] [INFO ] Time to serialize gal into /tmp/LTLCardinality4963160345329701788.gal : 289 ms
[2026-05-26 01:43:42] [INFO ] Time to serialize properties into /tmp/LTLCardinality366932839601646726.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/LTLCardinality4963160345329701788.gal' '-t' 'CGAL' '-LTL' '/tmp/LTLCardinality366932839601646726.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...296
Read 3 LTL properties
Checking formula 0 : !((F(G("((((gi16.gi0.gi13.gi103.gi257.gu4804.c7_0+gi16.gi0.gi13.gi103.gi257.gu4804.c7_1)+(gi16.gi0.gi13.gi103.gi257.gu4804.c7_2+gi16.g...276
Formula 0 simplified : GF!"((((gi16.gi0.gi13.gi103.gi257.gu4804.c7_0+gi16.gi0.gi13.gi103.gi257.gu4804.c7_1)+(gi16.gi0.gi13.gi103.gi257.gu4804.c7_2+gi16.gi0...270
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//
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
++ perl -pe 's/.*\.//g'
+ 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-PT-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-PT-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-177955808900123"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-PT-L00100M0010C005P005G002.tgz
mv FamilyReunion-PT-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 ;