About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S32C12
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 3600000.00 | 0.00 | 0.00 | ???T??F????????? | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r128-smll-174876524700506.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-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-5832
Executing tool itstools
Input is MultiCrashLeafsetExtension-PT-S32C12, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-174876524700506
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 37M
-rw-r--r-- 1 mcc users 14K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 87K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.3K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 32K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.3K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 22K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.0K May 29 14:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 14:32 equiv_col
-rw-r--r-- 1 mcc users 7 May 29 14:32 instance
-rw-r--r-- 1 mcc users 6 May 29 14:32 iscolored
-rw-r--r-- 1 mcc users 37M May 29 14:32 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 MultiCrashLeafsetExtension-PT-S32C12-CTLFireability-2023-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-CTLFireability-2023-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-CTLFireability-2023-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-CTLFireability-2023-15
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-CTLFireability-2025-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-CTLFireability-2025-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-CTLFireability-2025-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-CTLFireability-2025-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-CTLFireability-2025-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-CTLFireability-2025-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-CTLFireability-2025-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-CTLFireability-2025-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-CTLFireability-2025-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-CTLFireability-2025-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-CTLFireability-2025-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-CTLFireability-2025-11
=== Now, execution of the tool begins
BK_START 1749276532019
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C12
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202505121319
[2025-06-07 06:08:54] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2025-06-07 06:08:54] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-07 06:08:57] [INFO ] Load time of PNML (sax parser for PT used): 2190 ms
[2025-06-07 06:08:57] [INFO ] Transformed 36724 places.
[2025-06-07 06:08:57] [INFO ] Transformed 54827 transitions.
[2025-06-07 06:08:57] [INFO ] Parsed PT model containing 36724 places and 54827 transitions and 203278 arcs in 2642 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 87 ms.
Support contains 232 out of 36724 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 36724/36724 places, 54827/54827 transitions.
Reduce places removed 60 places and 0 transitions.
Iterating post reduction 0 with 60 rules applied. Total rules applied 60 place count 36664 transition count 54827
Applied a total of 60 rules in 3456 ms. Remains 36664 /36724 variables (removed 60) and now considering 54827/54827 (removed 0) transitions.
[2025-06-07 06:09:01] [INFO ] Flow matrix only has 53771 transitions (discarded 1056 similar events)
// Phase 1: matrix 53771 rows 36664 cols
[2025-06-07 06:09:26] [INFO ] Computed 1973 invariants in 24473 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 06:10:11] [INFO ] Performed 2967/36664 implicitness test of which 73 returned IMPLICIT in 30 seconds.
[2025-06-07 06:10:42] [INFO ] Performed 5260/36664 implicitness test of which 131 returned IMPLICIT in 60 seconds.
[2025-06-07 06:11:12] [INFO ] Performed 7565/36664 implicitness test of which 196 returned IMPLICIT in 90 seconds.
[2025-06-07 06:11:42] [INFO ] Performed 10739/36664 implicitness test of which 295 returned IMPLICIT in 120 seconds.
[2025-06-07 06:12:06] [INFO ] Implicit Places using invariants in 184727 ms returned [4, 8, 36, 66, 98, 132, 168, 206, 246, 288, 332, 378, 426, 476, 582, 638, 695, 751, 805, 857, 907, 955, 1001, 1045, 1087, 1127, 1165, 1201, 1235, 1267, 1297, 1325, 1408, 1435, 1463, 1493, 1525, 1559, 1595, 1633, 1673, 1715, 1759, 1805, 1853, 1903, 1955, 2009, 2064, 2118, 2170, 2220, 2268, 2314, 2358, 2400, 2440, 2478, 2514, 2548, 2580, 2610, 2638, 2665, 2741, 2748, 2775, 2802, 2830, 2860, 2892, 2926, 2962, 3000, 3040, 3082, 3126, 3172, 3220, 3270, 3322, 3375, 3427, 3477, 3525, 3571, 3615, 3657, 3697, 3735, 3771, 3805, 3837, 3867, 3895, 3922, 3949, 4025, 4032, 4059, 4086, 4113, 4141, 4171, 4203, 4237, 4273, 4311, 4351, 4393, 4437, 4483, 4531, 4581, 4632, 4682, 4730, 4776, 4820, 4862, 4902, 4940, 4976, 5010, 5042, 5072, 5100, 5127, 5154, 5181, 5257, 5264, 5291, 5318, 5345, 5372, 5400, 5430, 5462, 5496, 5532, 5570, 5610, 5652, 5696, 5742, 5790, 5839, 5887, 5933, 5977, 6019, 6059, 6097, 6133, 6167, 6199, 6229, 6257, 6284, 6311, 6338, 6365, 6441, 6448, 6475, 6502, 6529, 6556, 6583, 6611, 6641, 6673, 6707, 6743, 6781, 6821, 6863, 6907, 6953, 7000, 7046, 7090, 7132, 7172, 7210, 7246, 7280, 7312, 7342, 7370, 7397, 7424, 7451, 7478, 7505, 7581, 7588, 7615, 7642, 7669, 7696, 7723, 7750, 7778, 7808, 7840, 7874, 7910, 7948, 7988, 8030, 8074, 8119, 8163, 8205, 8245, 8283, 8319, 8353, 8385, 8415, 8443, 8470, 8497, 8524, 8551, 8578, 8605, 8681, 8688, 8715, 8742, 8769, 8796, 8823, 8850, 8877, 8905, 8935, 8967, 9001, 9037, 9075, 9115, 9157, 9200, 9242, 9282, 9320, 9356, 9390, 9422, 9452, 9480, 9507, 9534, 9561, 9588, 9615, 9642, 9669, 9745, 9752, 9779, 9806, 9833, 9860, 9887, 9914, 9941, 9968, 9996, 10026, 10058, 10092, 10128, 10166, 10206, 10247, 10287, 10325, 10361, 10395, 10427, 10457, 10485, 10512, 10539, 10566, 10593, 10620, 10647, 10674, 10701, 10777, 10784, 10811, 10838, 10865, 10892, 10919, 10946, 10973, 11000, 11027, 11055, 11085, 11117, 11151, 11187, 11225, 11264, 11302, 11338, 11372, 11404, 11434, 11462, 11489, 11516, 11543, 11570, 11597, 11624, 11651, 11678, 11705, 11781, 11788, 11815, 11842, 11869, 11896, 11923]
[2025-06-07 06:12:06] [INFO ] Actually due to overlaps returned [2741, 4025, 5257, 6441, 7581, 8681, 9745, 10777, 11781, 4, 332, 378, 426, 476, 582, 638, 695, 751, 805, 857, 907, 955, 1001, 1045, 1087, 1127, 1165, 1201, 1235, 1267, 1297, 1325, 1408, 1715, 1759, 1805, 1853, 1903, 1955, 2009, 2064, 2118, 2170, 2220, 2268, 2314, 2358, 2400, 2440, 2478, 2514, 2548, 2580, 2610, 2638, 2665, 2748, 3040, 3082, 3126, 3172, 3220, 3270, 3322, 3375, 3427, 3477, 3525, 3571, 3615, 3657, 3697, 3735, 3771, 3805, 3837, 3867, 3895, 3922, 3949, 4032, 4311, 4351, 4393, 4437, 4483, 4531, 4581, 4632, 4682, 4730, 4776, 4820, 4862, 4902, 4940, 4976, 5010, 5042, 5072, 5100, 5127, 5154, 5181, 5264, 5532, 5570, 5610, 5652, 5696, 5742, 5790, 5839, 5887, 5933, 5977, 6019, 6059, 6097, 6133, 6167, 6199, 6229, 6257, 6284, 6311, 6338, 6365, 6448, 6707, 6743, 6781, 6821, 6863, 6907, 6953, 7000, 7046, 7090, 7132, 7172, 7210, 7246, 7280, 7312, 7342, 7370, 7397, 7424, 7451, 7478, 7505, 7588, 7840, 7874, 7910, 7948, 7988, 8030, 8074, 8119, 8163, 8205, 8245, 8283, 8319, 8353, 8385, 8415, 8443, 8470, 8497, 8524, 8551, 8578, 8605, 8688, 8935, 8967, 9001, 9037, 9075, 9115, 9157, 9200, 9242, 9282, 9320, 9356, 9390, 9422, 9452, 9480, 9507, 9534, 9561, 9588, 9615, 9642, 9669, 9752, 9996, 10026, 10058, 10092, 10128, 10166, 10206, 10247, 10287, 10325, 10361, 10395, 10427, 10457, 10485, 10512, 10539, 10566, 10593, 10620, 10647, 10674, 10701, 10784, 11027, 11055, 11085, 11117, 11151, 11187, 11225, 11264, 11302, 11338, 11372, 11404, 11434, 11462, 11489, 11516, 11543, 11570, 11597, 11624, 11651, 11678, 11705, 11788]
Discarding 249 places :
Implicit Place search using SMT only with invariants took 184855 ms to find 249 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 36415/36724 places, 54827/54827 transitions.
Applied a total of 0 rules in 3081 ms. Remains 36415 /36415 variables (removed 0) and now considering 54827/54827 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 191430 ms. Remains : 36415/36724 places, 54827/54827 transitions.
Support contains 232 out of 36415 places after structural reductions.
[2025-06-07 06:12:12] [INFO ] Flatten gal took : 2279 ms
[2025-06-07 06:12:14] [INFO ] Flatten gal took : 1809 ms
[2025-06-07 06:12:17] [INFO ] Input system was already deterministic with 54827 transitions.
RANDOM walk for 40000 steps (324 resets) in 7986 ms. (5 steps per ms) remains 78/100 properties
BEST_FIRST walk for 4004 steps (8 resets) in 143 ms. (27 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 111 ms. (35 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 77/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 77/77 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 77/77 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 77/77 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 77/77 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 77/77 properties
BEST_FIRST walk for 4004 steps (8 resets) in 73 ms. (54 steps per ms) remains 77/77 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 77/77 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 77/77 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 77/77 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 77/77 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 77/77 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 77/77 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 77/77 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 77/77 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 77/77 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 77/77 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 77/77 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 77/77 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 77/77 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 76/77 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 76/76 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 76/76 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 76/76 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 76/76 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 75/76 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 74/75 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 74/74 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 73/74 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 71/73 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 98 ms. (40 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 73 ms. (54 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 70/71 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 70/70 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 70/70 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 70/70 properties
[2025-06-07 06:12:22] [INFO ] Flow matrix only has 53771 transitions (discarded 1056 similar events)
// Phase 1: matrix 53771 rows 36415 cols
[2025-06-07 06:12:53] [INFO ] Computed 1724 invariants in 30609 ms
[2025-06-07 06:12:53] [INFO ] State equation strengthened by 17602 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/166 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 70 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/166 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 70 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 22513/90186 variables, and 32 constraints, problems are : Problem set: 0 solved, 70 unsolved in 5021 ms.
Refiners :[Positive P Invariants (semi-flows): 32/63 constraints, Generalized P Invariants (flows): 0/1661 constraints, State Equation: 0/36415 constraints, ReadFeed: 0/17602 constraints, PredecessorRefiner: 70/68 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 70 unsolved
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/166 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 70 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 166/90186 variables, and 3 constraints, problems are : Problem set: 0 solved, 70 unsolved in 5052 ms.
Refiners :[Positive P Invariants (semi-flows): 3/63 constraints, Generalized P Invariants (flows): 0/1661 constraints, State Equation: 0/36415 constraints, ReadFeed: 0/17602 constraints, PredecessorRefiner: 2/68 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 42031ms problems are : Problem set: 0 solved, 70 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 166 out of 36415 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 36415/36415 places, 54827/54827 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 12303 transitions
Trivial Post-agglo rules discarded 12303 transitions
Performed 12303 trivial Post agglomeration. Transition count delta: 12303
Iterating post reduction 0 with 12303 rules applied. Total rules applied 12303 place count 36415 transition count 42524
Reduce places removed 12303 places and 0 transitions.
Performed 351 Post agglomeration using F-continuation condition.Transition count delta: 351
Iterating post reduction 1 with 12654 rules applied. Total rules applied 24957 place count 24112 transition count 42173
Reduce places removed 351 places and 0 transitions.
Iterating post reduction 2 with 351 rules applied. Total rules applied 25308 place count 23761 transition count 42173
Performed 770 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 770 Pre rules applied. Total rules applied 25308 place count 23761 transition count 41403
Deduced a syphon composed of 770 places in 88 ms
Reduce places removed 770 places and 0 transitions.
Iterating global reduction 3 with 1540 rules applied. Total rules applied 26848 place count 22991 transition count 41403
Performed 28 Post agglomeration using F-continuation condition.Transition count delta: 28
Deduced a syphon composed of 28 places in 115 ms
Reduce places removed 28 places and 0 transitions.
Iterating global reduction 3 with 56 rules applied. Total rules applied 26904 place count 22963 transition count 41375
Free-agglomeration rule (complex) applied 473 times.
Iterating global reduction 3 with 473 rules applied. Total rules applied 27377 place count 22963 transition count 40902
Reduce places removed 473 places and 0 transitions.
Iterating post reduction 3 with 473 rules applied. Total rules applied 27850 place count 22490 transition count 40902
Partial Free-agglomeration rule applied 9663 times.
Drop transitions (Partial Free agglomeration) removed 9663 transitions
Iterating global reduction 4 with 9663 rules applied. Total rules applied 37513 place count 22490 transition count 40902
Applied a total of 37513 rules in 15803 ms. Remains 22490 /36415 variables (removed 13925) and now considering 40902/54827 (removed 13925) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 15807 ms. Remains : 22490/36415 places, 40902/54827 transitions.
RANDOM walk for 40000 steps (462 resets) in 3602 ms. (11 steps per ms) remains 64/70 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 64/64 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 64/64 properties
Interrupted probabilistic random walk after 4668 steps, run timeout after 3001 ms. (steps per millisecond=1 ) properties seen :0 out of 64
Probabilistic random walk after 4668 steps, saw 2470 distinct states, run finished after 3011 ms. (steps per millisecond=1 ) properties seen :0
[2025-06-07 06:13:24] [INFO ] Flow matrix only has 39378 transitions (discarded 1524 similar events)
// Phase 1: matrix 39378 rows 22490 cols
[2025-06-07 06:13:49] [INFO ] Computed 1724 invariants in 24897 ms
[2025-06-07 06:13:51] [INFO ] State equation strengthened by 17602 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/155 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 64 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/155 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 64 unsolved
Problem AtomicPropp19 is UNSAT
Problem AtomicPropp23 is UNSAT
Problem AtomicPropp42 is UNSAT
Problem AtomicPropp56 is UNSAT
Problem AtomicPropp64 is UNSAT
Problem AtomicPropp86 is UNSAT
Problem AtomicPropp96 is UNSAT
Problem AtomicPropp99 is UNSAT
At refinement iteration 2 (OVERLAPS) 8426/8581 variables, 27/30 constraints. Problems are: Problem set: 8 solved, 56 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/8581 variables, 3/33 constraints. Problems are: Problem set: 8 solved, 56 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/8581 variables, 0/33 constraints. Problems are: Problem set: 8 solved, 56 unsolved
At refinement iteration 5 (OVERLAPS) 9/8590 variables, 9/42 constraints. Problems are: Problem set: 8 solved, 56 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/8590 variables, 0/42 constraints. Problems are: Problem set: 8 solved, 56 unsolved
Problem AtomicPropp71 is UNSAT
Problem AtomicPropp72 is UNSAT
At refinement iteration 7 (OVERLAPS) 13745/22335 variables, 1527/1569 constraints. Problems are: Problem set: 10 solved, 54 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 22335/61868 variables, and 1569 constraints, problems are : Problem set: 10 solved, 54 unsolved in 45037 ms.
Refiners :[Positive P Invariants (semi-flows): 39/63 constraints, Generalized P Invariants (flows): 1530/1661 constraints, State Equation: 0/22490 constraints, ReadFeed: 0/17602 constraints, PredecessorRefiner: 64/44 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 10 solved, 54 unsolved
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/113 variables, 3/3 constraints. Problems are: Problem set: 10 solved, 54 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/113 variables, 0/3 constraints. Problems are: Problem set: 10 solved, 54 unsolved
At refinement iteration 2 (OVERLAPS) 8449/8562 variables, 26/29 constraints. Problems are: Problem set: 10 solved, 54 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-07 06:15:08] [INFO ] Deduced a trap composed of 549 places in 25513 ms of which 7514 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-07 06:15:38] [INFO ] Deduced a trap composed of 825 places in 29152 ms of which 11074 ms to minimize.
SMT process timed out in 133079ms, After SMT, problems are : Problem set: 10 solved, 54 unsolved
Fused 54 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 113 out of 22490 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 22490/22490 places, 40902/40902 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 22490 transition count 40896
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 12 place count 22484 transition count 40896
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 10 Pre rules applied. Total rules applied 12 place count 22484 transition count 40886
Deduced a syphon composed of 10 places in 47 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 2 with 20 rules applied. Total rules applied 32 place count 22474 transition count 40886
Free-agglomeration rule (complex) applied 1048 times.
Iterating global reduction 2 with 1048 rules applied. Total rules applied 1080 place count 22474 transition count 39838
Reduce places removed 1048 places and 0 transitions.
Iterating post reduction 2 with 1048 rules applied. Total rules applied 2128 place count 21426 transition count 39838
Partial Free-agglomeration rule applied 82 times.
Drop transitions (Partial Free agglomeration) removed 82 transitions
Iterating global reduction 3 with 82 rules applied. Total rules applied 2210 place count 21426 transition count 39838
Applied a total of 2210 rules in 9204 ms. Remains 21426 /22490 variables (removed 1064) and now considering 39838/40902 (removed 1064) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 9205 ms. Remains : 21426/22490 places, 39838/40902 transitions.
Successfully simplified 10 atomic propositions for a total of 16 simplifications.
Initial state reduction rules removed 1 formulas.
FORMULA MultiCrashLeafsetExtension-PT-S32C12-CTLFireability-2025-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-07 06:15:48] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2025-06-07 06:15:49] [INFO ] Flatten gal took : 1505 ms
FORMULA MultiCrashLeafsetExtension-PT-S32C12-CTLFireability-2023-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-07 06:15:50] [INFO ] Flatten gal took : 1659 ms
[2025-06-07 06:15:53] [INFO ] Input system was already deterministic with 54827 transitions.
Support contains 135 out of 36415 places (down from 149) after GAL structural reductions.
Computed a total of 30399 stabilizing places and 42858 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 36415/36415 places, 54827/54827 transitions.
Applied a total of 0 rules in 2128 ms. Remains 36415 /36415 variables (removed 0) and now considering 54827/54827 (removed 0) transitions.
[2025-06-07 06:15:56] [INFO ] Flow matrix only has 53771 transitions (discarded 1056 similar events)
// Phase 1: matrix 53771 rows 36415 cols
[2025-06-07 06:16:25] [INFO ] Computed 1724 invariants in 29301 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 06:17:09] [INFO ] Performed 2819/36415 implicitness test of which 23 returned IMPLICIT in 30 seconds.
[2025-06-07 06:17:39] [INFO ] Performed 5373/36415 implicitness test of which 42 returned IMPLICIT in 60 seconds.
[2025-06-07 06:18:11] [INFO ] Performed 7436/36415 implicitness test of which 51 returned IMPLICIT in 92 seconds.
[2025-06-07 06:18:45] [INFO ] Performed 9550/36415 implicitness test of which 67 returned IMPLICIT in 125 seconds.
[2025-06-07 06:19:05] [INFO ] Implicit Places using invariants in 189406 ms returned [7, 35, 65, 97, 131, 167, 205, 245, 287, 523, 1378, 1411, 1439, 1469, 1501, 1535, 1571, 1609, 1649, 2726, 2753, 2781, 2811, 2843, 2877, 2913, 2951, 3985, 4012, 4039, 4067, 4097, 4129, 4163, 4199, 5192, 5219, 5246, 5273, 5301, 5331, 5363, 5397, 6351, 6378, 6405, 6432, 6459, 6487, 6517, 6549, 7466, 7493, 7520, 7547, 7574, 7601, 7629, 7659, 8541, 8568, 8595, 8622, 8649, 8676, 8703, 8731, 9580, 9607, 9634, 9661, 9688, 9715, 9742, 9769, 10587, 10614, 10641, 10668]
Discarding 79 places :
Implicit Place search using SMT only with invariants took 189466 ms to find 79 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 36336/36415 places, 54827/54827 transitions.
Applied a total of 0 rules in 2448 ms. Remains 36336 /36336 variables (removed 0) and now considering 54827/54827 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 194046 ms. Remains : 36336/36415 places, 54827/54827 transitions.
[2025-06-07 06:19:09] [INFO ] Flatten gal took : 1470 ms
[2025-06-07 06:19:11] [INFO ] Flatten gal took : 1664 ms
[2025-06-07 06:19:13] [INFO ] Input system was already deterministic with 54827 transitions.
[2025-06-07 06:19:15] [INFO ] Flatten gal took : 1515 ms
[2025-06-07 06:19:17] [INFO ] Flatten gal took : 1600 ms
[2025-06-07 06:19:17] [INFO ] Time to serialize gal into /tmp/CTLFireability6705491236198986426.gal : 389 ms
[2025-06-07 06:19:17] [INFO ] Time to serialize properties into /tmp/CTLFireability17412299970877834529.ctl : 5 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6705491236198986426.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17412299970877834529.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
Detected timeout of ITS tools.
[2025-06-07 06:19:49] [INFO ] Flatten gal took : 1726 ms
[2025-06-07 06:19:49] [INFO ] Applying decomposition
[2025-06-07 06:19:51] [INFO ] Flatten gal took : 1919 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph11936504412379211458.txt' '-o' '/tmp/graph11936504412379211458.bin' '-w' '/tmp/graph11936504412379211458.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph11936504412379211458.bin' '-l' '-1' '-v' '-w' '/tmp/graph11936504412379211458.weights' '-q' '0' '-e' '0.001'
[2025-06-07 06:19:56] [INFO ] Decomposing Gal with order
[2025-06-07 06:20:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 06:21:02] [INFO ] Removed a total of 37342 redundant transitions.
[2025-06-07 06:21:03] [INFO ] Flatten gal took : 12457 ms
[2025-06-07 06:21:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 6192 labels/synchronizations in 2641 ms.
[2025-06-07 06:21:09] [INFO ] Time to serialize gal into /tmp/CTLFireability4285333821956833593.gal : 469 ms
[2025-06-07 06:21:09] [INFO ] Time to serialize properties into /tmp/CTLFireability3484339764108376827.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4285333821956833593.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3484339764108376827.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 36415/36415 places, 54827/54827 transitions.
Applied a total of 0 rules in 2356 ms. Remains 36415 /36415 variables (removed 0) and now considering 54827/54827 (removed 0) transitions.
[2025-06-07 06:21:41] [INFO ] Flow matrix only has 53771 transitions (discarded 1056 similar events)
[2025-06-07 06:21:41] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 06:22:25] [INFO ] Performed 2961/36415 implicitness test of which 27 returned IMPLICIT in 30 seconds.
[2025-06-07 06:22:55] [INFO ] Performed 5174/36415 implicitness test of which 35 returned IMPLICIT in 60 seconds.
[2025-06-07 06:23:26] [INFO ] Performed 7435/36415 implicitness test of which 51 returned IMPLICIT in 90 seconds.
[2025-06-07 06:23:56] [INFO ] Performed 9520/36415 implicitness test of which 67 returned IMPLICIT in 120 seconds.
[2025-06-07 06:24:22] [INFO ] Implicit Places using invariants in 160137 ms returned [7, 35, 65, 97, 131, 167, 205, 245, 287, 523, 1378, 1411, 1439, 1469, 1501, 1535, 1571, 1609, 1649, 2726, 2753, 2781, 2811, 2843, 2877, 2913, 2951, 3985, 4012, 4039, 4067, 4097, 4129, 4163, 4199, 5192, 5219, 5246, 5273, 5301, 5331, 5363, 5397, 6351, 6378, 6405, 6432, 6459, 6487, 6517, 6549, 7466, 7493, 7520, 7547, 7574, 7601, 7629, 7659, 8541, 8568, 8595, 8622, 8649, 8676, 8703, 8731, 9580, 9607, 9634, 9661, 9688, 9715, 9742, 9769]
Discarding 75 places :
Implicit Place search using SMT only with invariants took 160195 ms to find 75 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 36340/36415 places, 54827/54827 transitions.
Applied a total of 0 rules in 2305 ms. Remains 36340 /36340 variables (removed 0) and now considering 54827/54827 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 164863 ms. Remains : 36340/36415 places, 54827/54827 transitions.
[2025-06-07 06:24:26] [INFO ] Flatten gal took : 1552 ms
[2025-06-07 06:24:27] [INFO ] Flatten gal took : 1526 ms
[2025-06-07 06:24:30] [INFO ] Input system was already deterministic with 54827 transitions.
[2025-06-07 06:24:31] [INFO ] Flatten gal took : 1524 ms
[2025-06-07 06:24:33] [INFO ] Flatten gal took : 1607 ms
[2025-06-07 06:24:33] [INFO ] Time to serialize gal into /tmp/CTLFireability655188305596030409.gal : 254 ms
[2025-06-07 06:24:33] [INFO ] Time to serialize properties into /tmp/CTLFireability16415907918856132675.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability655188305596030409.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16415907918856132675.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
Detected timeout of ITS tools.
[2025-06-07 06:25:05] [INFO ] Flatten gal took : 1567 ms
[2025-06-07 06:25:05] [INFO ] Applying decomposition
[2025-06-07 06:25:07] [INFO ] Flatten gal took : 1577 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph15078233904088032602.txt' '-o' '/tmp/graph15078233904088032602.bin' '-w' '/tmp/graph15078233904088032602.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph15078233904088032602.bin' '-l' '-1' '-v' '-w' '/tmp/graph15078233904088032602.weights' '-q' '0' '-e' '0.001'
[2025-06-07 06:25:11] [INFO ] Decomposing Gal with order
[2025-06-07 06:25:23] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 06:26:15] [INFO ] Removed a total of 37123 redundant transitions.
[2025-06-07 06:26:16] [INFO ] Flatten gal took : 9876 ms
[2025-06-07 06:26:20] [INFO ] Fuse similar labels procedure discarded/fused a total of 3313 labels/synchronizations in 2107 ms.
[2025-06-07 06:26:20] [INFO ] Time to serialize gal into /tmp/CTLFireability10706145892769338717.gal : 317 ms
[2025-06-07 06:26:20] [INFO ] Time to serialize properties into /tmp/CTLFireability10952616724470962072.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10706145892769338717.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10952616724470962072.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 36415/36415 places, 54827/54827 transitions.
Applied a total of 0 rules in 2595 ms. Remains 36415 /36415 variables (removed 0) and now considering 54827/54827 (removed 0) transitions.
[2025-06-07 06:26:53] [INFO ] Flow matrix only has 53771 transitions (discarded 1056 similar events)
[2025-06-07 06:26:53] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 06:27:37] [INFO ] Performed 3907/36415 implicitness test of which 27 returned IMPLICIT in 30 seconds.
[2025-06-07 06:28:07] [INFO ] Performed 6033/36415 implicitness test of which 43 returned IMPLICIT in 60 seconds.
[2025-06-07 06:28:37] [INFO ] Performed 7621/36415 implicitness test of which 57 returned IMPLICIT in 90 seconds.
[2025-06-07 06:29:11] [INFO ] Performed 9550/36415 implicitness test of which 67 returned IMPLICIT in 123 seconds.
[2025-06-07 06:29:33] [INFO ] Implicit Places using invariants in 160124 ms returned [7, 35, 65, 97, 131, 167, 205, 245, 287, 523, 1378, 1411, 1439, 1469, 1501, 1535, 1571, 1609, 1649, 2726, 2753, 2781, 2811, 2843, 2877, 2913, 2951, 3985, 4012, 4039, 4067, 4097, 4129, 4163, 4199, 5192, 5219, 5246, 5273, 5301, 5331, 5363, 5397, 6351, 6378, 6405, 6432, 6459, 6487, 6517, 6549, 7466, 7493, 7520, 7547, 7574, 7601, 7629, 7659, 8541, 8568, 8595, 8622, 8649, 8676, 8703, 8731, 9580, 9607, 9634, 9661, 9688, 9715, 9742, 9769, 10587, 10614, 10641, 10668, 10695, 10722, 10749, 10776]
Discarding 83 places :
Implicit Place search using SMT only with invariants took 160164 ms to find 83 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 36332/36415 places, 54827/54827 transitions.
Applied a total of 0 rules in 2345 ms. Remains 36332 /36332 variables (removed 0) and now considering 54827/54827 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 165106 ms. Remains : 36332/36415 places, 54827/54827 transitions.
[2025-06-07 06:29:37] [INFO ] Flatten gal took : 1310 ms
[2025-06-07 06:29:38] [INFO ] Flatten gal took : 1479 ms
[2025-06-07 06:29:41] [INFO ] Input system was already deterministic with 54827 transitions.
[2025-06-07 06:29:43] [INFO ] Flatten gal took : 1426 ms
[2025-06-07 06:29:44] [INFO ] Flatten gal took : 1486 ms
[2025-06-07 06:29:44] [INFO ] Time to serialize gal into /tmp/CTLFireability354346881375053084.gal : 240 ms
[2025-06-07 06:29:44] [INFO ] Time to serialize properties into /tmp/CTLFireability16323495347988413073.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability354346881375053084.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16323495347988413073.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-07 06:30:16] [INFO ] Flatten gal took : 1782 ms
[2025-06-07 06:30:16] [INFO ] Applying decomposition
[2025-06-07 06:30:18] [INFO ] Flatten gal took : 1664 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph5227840998324106397.txt' '-o' '/tmp/graph5227840998324106397.bin' '-w' '/tmp/graph5227840998324106397.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph5227840998324106397.bin' '-l' '-1' '-v' '-w' '/tmp/graph5227840998324106397.weights' '-q' '0' '-e' '0.001'
[2025-06-07 06:30:21] [INFO ] Decomposing Gal with order
[2025-06-07 06:30:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 06:31:28] [INFO ] Removed a total of 37386 redundant transitions.
[2025-06-07 06:31:29] [INFO ] Flatten gal took : 9945 ms
[2025-06-07 06:31:34] [INFO ] Fuse similar labels procedure discarded/fused a total of 7541 labels/synchronizations in 3007 ms.
[2025-06-07 06:31:35] [INFO ] Time to serialize gal into /tmp/CTLFireability11486191493069919441.gal : 515 ms
[2025-06-07 06:31:35] [INFO ] Time to serialize properties into /tmp/CTLFireability7243266557177427076.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11486191493069919441.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7243266557177427076.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 36415/36415 places, 54827/54827 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 12672 transitions
Trivial Post-agglo rules discarded 12672 transitions
Performed 12672 trivial Post agglomeration. Transition count delta: 12672
Iterating post reduction 0 with 12672 rules applied. Total rules applied 12672 place count 36415 transition count 42155
Reduce places removed 12672 places and 0 transitions.
Iterating post reduction 1 with 12672 rules applied. Total rules applied 25344 place count 23743 transition count 42155
Performed 792 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 792 Pre rules applied. Total rules applied 25344 place count 23743 transition count 41363
Deduced a syphon composed of 792 places in 81 ms
Reduce places removed 792 places and 0 transitions.
Iterating global reduction 2 with 1584 rules applied. Total rules applied 26928 place count 22951 transition count 41363
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 95 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 26994 place count 22918 transition count 41330
Applied a total of 26994 rules in 8792 ms. Remains 22918 /36415 variables (removed 13497) and now considering 41330/54827 (removed 13497) transitions.
[2025-06-07 06:32:13] [INFO ] Flow matrix only has 40274 transitions (discarded 1056 similar events)
// Phase 1: matrix 40274 rows 22918 cols
[2025-06-07 06:32:29] [INFO ] Computed 1724 invariants in 15750 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 06:33:07] [INFO ] Performed 4665/22918 implicitness test of which 51 returned IMPLICIT in 30 seconds.
[2025-06-07 06:33:37] [INFO ] Performed 7445/22918 implicitness test of which 83 returned IMPLICIT in 60 seconds.
[2025-06-07 06:34:08] [INFO ] Performed 9625/22918 implicitness test of which 214 returned IMPLICIT in 91 seconds.
[2025-06-07 06:34:38] [INFO ] Performed 12410/22918 implicitness test of which 395 returned IMPLICIT in 121 seconds.
[2025-06-07 06:35:09] [INFO ] Performed 14366/22918 implicitness test of which 512 returned IMPLICIT in 152 seconds.
[2025-06-07 06:35:09] [INFO ] Implicit Places using invariants in 175832 ms returned [6, 22, 40, 60, 82, 106, 132, 160, 190, 366, 969, 989, 1005, 1023, 1043, 1065, 1089, 1115, 1143, 1895, 1910, 1926, 1944, 1964, 1986, 2010, 2036, 2745, 2760, 2775, 2791, 2809, 2829, 2851, 2875, 3543, 3558, 3573, 3588, 3604, 3622, 3642, 3664, 4293, 4308, 4323, 4338, 4353, 4369, 4387, 4407, 4999, 5014, 5029, 5044, 5059, 5074, 5090, 5108, 5665, 5680, 5695, 5710, 5725, 5740, 5755, 5771, 6295, 6310, 6325, 6340, 6355, 6370, 6385, 6400, 6893, 6908, 6923, 6938, 6953, 6968, 6983, 6998, 7463, 7478, 7493, 7508, 7523, 7538, 7553, 7568, 7583, 7598, 7614, 7632, 7652, 7674, 7698, 7723, 7747, 7769, 7789, 7807, 7823, 7838, 7853, 7868, 7883, 7898, 7913, 7928, 7943, 7958, 7973, 8013, 8019, 8034, 8049, 8064, 8079, 8094, 8109, 8124, 8139, 8154, 8169, 8184, 8200, 8218, 8238, 8260, 8283, 8305, 8325, 8343, 8359, 8374, 8389, 8404, 8419, 8434, 8449, 8464, 8479, 8494, 8509, 8524, 8564, 8570, 8585, 8600, 8615, 8630, 8645, 8660, 8675, 8690, 8705, 8720, 8735, 8750, 8766, 8784, 8804, 8825, 8845, 8863, 8879, 8894, 8909, 8924, 8939, 8954, 8969, 8984, 8999, 9014, 9029, 9044, 9059, 9099, 9105, 9120, 9135, 9150, 9165, 9180, 9195, 9210, 9225, 9240, 9255, 9270, 9285, 9300, 9316, 9334, 9353, 9371, 9387, 9402, 9417, 9432, 9447, 9462, 9477, 9492, 9507, 9522, 9537, 9552, 9567, 9582, 9622, 9628, 9643, 9658, 9673, 9688, 9703, 9718, 9733, 9748, 9763, 9778, 9793, 9808, 9823, 9838, 9854, 9871, 9887, 9902, 9917, 9932, 9947, 9962, 9977, 9992, 10007, 10022, 10037, 10052, 10067, 10082, 10097, 10137, 10143, 10158, 10173, 10188, 10203, 10218, 10233, 10248, 10263, 10278, 10293, 10308, 10323, 10338, 10353, 10368, 10383, 10398, 10413, 10428, 10443, 10458, 10473, 10488, 10503, 10518, 10533, 10548, 10563, 10578, 10593, 10608, 10648, 10650, 10653, 10668, 10683, 10698, 10713, 10728, 10743, 10758, 10773, 10788, 10803, 10818, 10833, 10848, 10863, 10878, 10893, 10908, 10923, 10938, 10953, 10968, 10983, 10998, 11013, 11028, 11043, 11058, 11073, 11088, 11103, 11118, 11158, 11164, 11179, 11194, 11209, 11224, 11239, 11254, 11269, 11284, 11299, 11314, 11329, 11344, 11359, 11374, 11389, 11404, 11419, 11434, 11449, 11464, 11479, 11494, 11509, 11524, 11539, 11554, 11569, 11584, 11599, 11614, 11629, 11669, 11675, 11690, 11705, 11720, 11735, 11750, 11765, 11780, 11795, 11810, 11825, 11840, 11855, 11870, 11885, 11900, 11916, 11933, 11949, 11964, 11979, 11994, 12009, 12024, 12039, 12054, 12069, 12084, 12099, 12114, 12129, 12144, 12184, 12190, 12205, 12220, 12235, 12250, 12265, 12280, 12295, 12310, 12325, 12340, 12355, 12370, 12385, 12400, 12416, 12434, 12453, 12471, 12487, 12502, 12517, 12532, 12547, 12562, 12577, 12592, 12607, 12622, 12637, 12652, 12667, 12707, 12713, 12728, 12743, 12758, 12773, 12788, 12803, 12818, 12833, 12848, 12863, 12878, 12893, 12908, 12924, 12942, 12962, 12983, 13003, 13021, 13037, 13052, 13067, 13082, 13097, 13112, 13127, 13142, 13157, 13172, 13187, 13202, 13242, 13248, 13263, 13278, 13293, 13308, 13323, 13338, 13353, 13368, 13383, 13398, 13413, 13428, 13444, 13462, 13482, 13504, 13527, 13549, 13569, 13587, 13603, 13618, 13633, 13648, 13663, 13678, 13693, 13708, 13723, 13738, 13753, 13793, 13799, 13814, 13829, 13844, 13859, 13874, 13889, 13904, 13919, 13934, 13949, 13964, 13980, 13998, 14018, 14040, 14064, 14089, 14113, 14135, 14155, 14173, 14189, 14204, 14219, 14234, 14249, 14264, 14279, 14294, 14309, 14324, 14364]
[2025-06-07 06:35:09] [INFO ] Actually due to overlaps returned [969, 8013, 8564, 9099, 9622, 10137, 10648, 11158, 11669, 12184, 12707, 13242, 13793, 14364, 6, 22, 40, 60, 82, 106, 132, 160, 190, 989, 1005, 1023, 1043, 1065, 1089, 1115, 1143, 1895, 1910, 1926, 1944, 1964, 1986, 2010, 2036, 2745, 2760, 2775, 2791, 2809, 2829, 2851, 2875, 3543, 3558, 3573, 3588, 3604, 3622, 3642, 3664, 4293, 4308, 4323, 4338, 4353, 4369, 4387, 4407, 4999, 5014, 5029, 5044, 5059, 5074, 5090, 5108, 5665, 5680, 5695, 5710, 5725, 5740, 5755, 5771, 6295, 6310, 6325, 6340, 6355, 6370, 6385, 6400, 6893, 6908, 6923, 6938, 6953, 6968, 6983, 6998, 7463, 7478, 7493, 7508, 7523, 7538, 7553, 7568, 7583, 7838, 7853, 7868, 7883, 7898, 7913, 7928, 7943, 7958, 7973, 8034, 8049, 8064, 8079, 8094, 8109, 8124, 8139, 8154, 8389, 8404, 8419, 8434, 8449, 8464, 8479, 8494, 8509, 8524, 8585, 8600, 8615, 8630, 8645, 8660, 8675, 8690, 8705, 8924, 8939, 8954, 8969, 8984, 8999, 9014, 9029, 9044, 9059, 9120, 9135, 9150, 9165, 9180, 9195, 9210, 9225, 9240, 9447, 9462, 9477, 9492, 9507, 9522, 9537, 9552, 9567, 9582, 9643, 9658, 9673, 9688, 9703, 9718, 9733, 9748, 9763, 9962, 9977, 9992, 10007, 10022, 10037, 10052, 10067, 10082, 10097, 10158, 10173, 10188, 10203, 10218, 10233, 10248, 10263, 10278, 10473, 10488, 10503, 10518, 10533, 10548, 10563, 10578, 10593, 10608, 10650, 10668, 10683, 10698, 10713, 10728, 10743, 10758, 10773, 10788, 10983, 10998, 11013, 11028, 11043, 11058, 11073, 11088, 11103, 11118, 11179, 11194, 11209, 11224, 11239, 11254, 11269, 11284, 11299, 11494, 11509, 11524, 11539, 11554, 11569, 11584, 11599, 11614, 11629, 11690, 11705, 11720, 11735, 11750, 11765, 11780, 11795, 11810, 12009, 12024, 12039, 12054, 12069, 12084, 12099, 12114, 12129, 12144, 12205, 12220, 12235, 12250, 12265, 12280, 12295, 12310, 12325, 12532, 12547, 12562, 12577, 12592, 12607, 12622, 12637, 12652, 12667, 12728, 12743, 12758, 12773, 12788, 12803, 12818, 12833, 12848, 13067, 13082, 13097, 13112, 13127, 13142, 13157, 13172, 13187, 13202, 13263, 13278, 13293, 13308, 13323, 13338, 13353, 13368, 13383, 13618, 13633, 13648, 13663, 13678, 13693, 13708, 13723, 13738, 13753, 13814, 13829, 13844, 13859, 13874, 13889, 13904, 13919, 13934, 14189, 14204, 14219, 14234, 14249, 14264, 14279, 14294, 14309, 14324]
Discarding 343 places :
Implicit Place search using SMT only with invariants took 175886 ms to find 343 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 22575/36415 places, 41330/54827 transitions.
Applied a total of 0 rules in 3292 ms. Remains 22575 /22575 variables (removed 0) and now considering 41330/41330 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 187975 ms. Remains : 22575/36415 places, 41330/54827 transitions.
[2025-06-07 06:35:14] [INFO ] Flatten gal took : 1001 ms
[2025-06-07 06:35:15] [INFO ] Flatten gal took : 1125 ms
[2025-06-07 06:35:17] [INFO ] Input system was already deterministic with 41330 transitions.
[2025-06-07 06:35:18] [INFO ] Flatten gal took : 1167 ms
[2025-06-07 06:35:19] [INFO ] Flatten gal took : 1264 ms
[2025-06-07 06:35:20] [INFO ] Time to serialize gal into /tmp/CTLFireability10344927880543557219.gal : 212 ms
[2025-06-07 06:35:20] [INFO ] Time to serialize properties into /tmp/CTLFireability17505996664273678679.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10344927880543557219.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17505996664273678679.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-07 06:35:52] [INFO ] Flatten gal took : 1730 ms
[2025-06-07 06:35:52] [INFO ] Applying decomposition
[2025-06-07 06:35:53] [INFO ] Flatten gal took : 1166 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph2353721064583540925.txt' '-o' '/tmp/graph2353721064583540925.bin' '-w' '/tmp/graph2353721064583540925.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2353721064583540925.bin' '-l' '-1' '-v' '-w' '/tmp/graph2353721064583540925.weights' '-q' '0' '-e' '0.001'
[2025-06-07 06:35:56] [INFO ] Decomposing Gal with order
[2025-06-07 06:36:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 06:36:34] [INFO ] Removed a total of 33319 redundant transitions.
[2025-06-07 06:36:35] [INFO ] Flatten gal took : 11442 ms
[2025-06-07 06:36:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 6987 labels/synchronizations in 2470 ms.
[2025-06-07 06:36:40] [INFO ] Time to serialize gal into /tmp/CTLFireability6429460861566990908.gal : 397 ms
[2025-06-07 06:36:40] [INFO ] Time to serialize properties into /tmp/CTLFireability15633335944351416851.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6429460861566990908.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15633335944351416851.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 36415/36415 places, 54827/54827 transitions.
Applied a total of 0 rules in 2357 ms. Remains 36415 /36415 variables (removed 0) and now considering 54827/54827 (removed 0) transitions.
[2025-06-07 06:37:12] [INFO ] Flow matrix only has 53771 transitions (discarded 1056 similar events)
// Phase 1: matrix 53771 rows 36415 cols
[2025-06-07 06:37:44] [INFO ] Computed 1724 invariants in 31722 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 06:38:29] [INFO ] Performed 3356/36415 implicitness test of which 27 returned IMPLICIT in 30 seconds.
[2025-06-07 06:38:59] [INFO ] Performed 5975/36415 implicitness test of which 43 returned IMPLICIT in 60 seconds.
[2025-06-07 06:39:29] [INFO ] Performed 7436/36415 implicitness test of which 51 returned IMPLICIT in 90 seconds.
[2025-06-07 06:39:59] [INFO ] Performed 9549/36415 implicitness test of which 67 returned IMPLICIT in 120 seconds.
[2025-06-07 06:40:24] [INFO ] Implicit Places using invariants in 191872 ms returned [7, 35, 65, 97, 131, 167, 205, 245, 287, 523, 1378, 1411, 1439, 1469, 1501, 1535, 1571, 1609, 1649, 2726, 2753, 2781, 2811, 2843, 2877, 2913, 2951, 3985, 4012, 4039, 4067, 4097, 4129, 4163, 4199, 5192, 5219, 5246, 5273, 5301, 5331, 5363, 5397, 6351, 6378, 6405, 6432, 6459, 6487, 6517, 6549, 7466, 7493, 7520, 7547, 7574, 7601, 7629, 7659, 8541, 8568, 8595, 8622, 8649, 8676, 8703, 8731, 9580, 9607, 9634, 9661, 9688, 9715, 9742, 9769, 10587, 10614, 10641, 10668, 10695, 10722, 10749, 10776]
Discarding 83 places :
Implicit Place search using SMT only with invariants took 191940 ms to find 83 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 36332/36415 places, 54827/54827 transitions.
Applied a total of 0 rules in 2523 ms. Remains 36332 /36332 variables (removed 0) and now considering 54827/54827 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 196823 ms. Remains : 36332/36415 places, 54827/54827 transitions.
[2025-06-07 06:40:28] [INFO ] Flatten gal took : 1481 ms
[2025-06-07 06:40:30] [INFO ] Flatten gal took : 1765 ms
[2025-06-07 06:40:33] [INFO ] Input system was already deterministic with 54827 transitions.
[2025-06-07 06:40:35] [INFO ] Flatten gal took : 1658 ms
[2025-06-07 06:40:36] [INFO ] Flatten gal took : 1556 ms
[2025-06-07 06:40:37] [INFO ] Time to serialize gal into /tmp/CTLFireability12016597921366186877.gal : 391 ms
[2025-06-07 06:40:37] [INFO ] Time to serialize properties into /tmp/CTLFireability6716306031854549662.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12016597921366186877.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6716306031854549662.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
Detected timeout of ITS tools.
[2025-06-07 06:41:09] [INFO ] Flatten gal took : 1775 ms
[2025-06-07 06:41:09] [INFO ] Applying decomposition
[2025-06-07 06:41:11] [INFO ] Flatten gal took : 1801 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph15845652436608728783.txt' '-o' '/tmp/graph15845652436608728783.bin' '-w' '/tmp/graph15845652436608728783.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph15845652436608728783.bin' '-l' '-1' '-v' '-w' '/tmp/graph15845652436608728783.weights' '-q' '0' '-e' '0.001'
[2025-06-07 06:41:14] [INFO ] Decomposing Gal with order
[2025-06-07 06:41:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 06:42:20] [INFO ] Removed a total of 37203 redundant transitions.
[2025-06-07 06:42:21] [INFO ] Flatten gal took : 9372 ms
[2025-06-07 06:42:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 3263 labels/synchronizations in 2088 ms.
[2025-06-07 06:42:25] [INFO ] Time to serialize gal into /tmp/CTLFireability16701845411948780191.gal : 309 ms
[2025-06-07 06:42:25] [INFO ] Time to serialize properties into /tmp/CTLFireability5782524085438315633.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16701845411948780191.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5782524085438315633.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 36415/36415 places, 54827/54827 transitions.
Applied a total of 0 rules in 2183 ms. Remains 36415 /36415 variables (removed 0) and now considering 54827/54827 (removed 0) transitions.
[2025-06-07 06:42:57] [INFO ] Flow matrix only has 53771 transitions (discarded 1056 similar events)
[2025-06-07 06:42:57] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 06:43:41] [INFO ] Performed 3468/36415 implicitness test of which 27 returned IMPLICIT in 30 seconds.
[2025-06-07 06:44:11] [INFO ] Performed 6035/36415 implicitness test of which 43 returned IMPLICIT in 60 seconds.
[2025-06-07 06:44:41] [INFO ] Performed 8997/36415 implicitness test of which 67 returned IMPLICIT in 90 seconds.
[2025-06-07 06:45:12] [INFO ] Performed 10556/36415 implicitness test of which 75 returned IMPLICIT in 121 seconds.
[2025-06-07 06:45:37] [INFO ] Implicit Places using invariants in 160095 ms returned [7, 35, 65, 97, 131, 167, 205, 245, 287, 523, 1378, 1411, 1439, 1469, 1501, 1535, 1571, 1609, 1649, 2726, 2753, 2781, 2811, 2843, 2877, 2913, 2951, 3985, 4012, 4039, 4067, 4097, 4129, 4163, 4199, 5192, 5219, 5246, 5273, 5301, 5331, 5363, 5397, 6351, 6378, 6405, 6432, 6459, 6487, 6517, 6549, 7466, 7493, 7520, 7547, 7574, 7601, 7629, 7659, 8541, 8568, 8595, 8622, 8649, 8676, 8703, 8731, 9580, 9607, 9634, 9661, 9688, 9715, 9742, 9769, 10587, 10614, 10641, 10668, 10695, 10722, 10749, 10776]
Discarding 83 places :
Implicit Place search using SMT only with invariants took 160165 ms to find 83 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 36332/36415 places, 54827/54827 transitions.
Applied a total of 0 rules in 2500 ms. Remains 36332 /36332 variables (removed 0) and now considering 54827/54827 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 164850 ms. Remains : 36332/36415 places, 54827/54827 transitions.
[2025-06-07 06:45:41] [INFO ] Flatten gal took : 1441 ms
[2025-06-07 06:45:43] [INFO ] Flatten gal took : 1731 ms
[2025-06-07 06:45:46] [INFO ] Input system was already deterministic with 54827 transitions.
[2025-06-07 06:45:47] [INFO ] Flatten gal took : 1522 ms
[2025-06-07 06:45:49] [INFO ] Flatten gal took : 1722 ms
[2025-06-07 06:45:49] [INFO ] Time to serialize gal into /tmp/CTLFireability8938195523667428719.gal : 248 ms
[2025-06-07 06:45:49] [INFO ] Time to serialize properties into /tmp/CTLFireability17906944343748202657.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8938195523667428719.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17906944343748202657.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-07 06:46:21] [INFO ] Flatten gal took : 1555 ms
[2025-06-07 06:46:21] [INFO ] Applying decomposition
[2025-06-07 06:46:23] [INFO ] Flatten gal took : 1702 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph15708906808905284335.txt' '-o' '/tmp/graph15708906808905284335.bin' '-w' '/tmp/graph15708906808905284335.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph15708906808905284335.bin' '-l' '-1' '-v' '-w' '/tmp/graph15708906808905284335.weights' '-q' '0' '-e' '0.001'
[2025-06-07 06:46:27] [INFO ] Decomposing Gal with order
[2025-06-07 06:46:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 06:47:30] [INFO ] Removed a total of 37159 redundant transitions.
[2025-06-07 06:47:31] [INFO ] Flatten gal took : 9331 ms
[2025-06-07 06:47:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 2859 labels/synchronizations in 2133 ms.
[2025-06-07 06:47:35] [INFO ] Time to serialize gal into /tmp/CTLFireability12971048089776607885.gal : 313 ms
[2025-06-07 06:47:35] [INFO ] Time to serialize properties into /tmp/CTLFireability2243894394025264225.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12971048089776607885.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2243894394025264225.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 36415/36415 places, 54827/54827 transitions.
Applied a total of 0 rules in 2484 ms. Remains 36415 /36415 variables (removed 0) and now considering 54827/54827 (removed 0) transitions.
[2025-06-07 06:48:08] [INFO ] Flow matrix only has 53771 transitions (discarded 1056 similar events)
[2025-06-07 06:48:08] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 06:48:52] [INFO ] Performed 3104/36415 implicitness test of which 27 returned IMPLICIT in 30 seconds.
[2025-06-07 06:49:22] [INFO ] Performed 5468/36415 implicitness test of which 43 returned IMPLICIT in 60 seconds.
[2025-06-07 06:49:56] [INFO ] Performed 7436/36415 implicitness test of which 51 returned IMPLICIT in 93 seconds.
[2025-06-07 06:50:29] [INFO ] Performed 9549/36415 implicitness test of which 67 returned IMPLICIT in 127 seconds.
[2025-06-07 06:50:48] [INFO ] Implicit Places using invariants in 160089 ms returned [7, 35, 65, 97, 131, 167, 205, 245, 287, 523, 1378, 1411, 1439, 1469, 1501, 1535, 1571, 1609, 1649, 2726, 2753, 2781, 2811, 2843, 2877, 2913, 2951, 3985, 4012, 4039, 4067, 4097, 4129, 4163, 4199, 5192, 5219, 5246, 5273, 5301, 5331, 5363, 5397, 6351, 6378, 6405, 6432, 6459, 6487, 6517, 6549, 7466, 7493, 7520, 7547, 7574, 7601, 7629, 7659, 8541, 8568, 8595, 8622, 8649, 8676, 8703, 8731, 9580, 9607, 9634, 9661, 9688, 9715, 9742, 9769]
Discarding 75 places :
Implicit Place search using SMT only with invariants took 160146 ms to find 75 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 36340/36415 places, 54827/54827 transitions.
Applied a total of 0 rules in 2424 ms. Remains 36340 /36340 variables (removed 0) and now considering 54827/54827 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 165059 ms. Remains : 36340/36415 places, 54827/54827 transitions.
[2025-06-07 06:50:52] [INFO ] Flatten gal took : 1376 ms
[2025-06-07 06:50:54] [INFO ] Flatten gal took : 1557 ms
[2025-06-07 06:50:56] [INFO ] Input system was already deterministic with 54827 transitions.
[2025-06-07 06:50:58] [INFO ] Flatten gal took : 1611 ms
[2025-06-07 06:51:00] [INFO ] Flatten gal took : 1713 ms
[2025-06-07 06:51:00] [INFO ] Time to serialize gal into /tmp/CTLFireability15029013111509357067.gal : 221 ms
[2025-06-07 06:51:00] [INFO ] Time to serialize properties into /tmp/CTLFireability9308776500779012147.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15029013111509357067.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9308776500779012147.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-07 06:51:32] [INFO ] Flatten gal took : 1939 ms
[2025-06-07 06:51:32] [INFO ] Applying decomposition
[2025-06-07 06:51:34] [INFO ] Flatten gal took : 1678 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph11923467589637324091.txt' '-o' '/tmp/graph11923467589637324091.bin' '-w' '/tmp/graph11923467589637324091.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph11923467589637324091.bin' '-l' '-1' '-v' '-w' '/tmp/graph11923467589637324091.weights' '-q' '0' '-e' '0.001'
[2025-06-07 06:51:38] [INFO ] Decomposing Gal with order
[2025-06-07 06:51:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 06:52:44] [INFO ] Removed a total of 37353 redundant transitions.
[2025-06-07 06:52:45] [INFO ] Flatten gal took : 9591 ms
[2025-06-07 06:52:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 5813 labels/synchronizations in 1986 ms.
[2025-06-07 06:52:49] [INFO ] Time to serialize gal into /tmp/CTLFireability10620239073837525457.gal : 327 ms
[2025-06-07 06:52:49] [INFO ] Time to serialize properties into /tmp/CTLFireability15177374494871846698.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10620239073837525457.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15177374494871846698.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 36415/36415 places, 54827/54827 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 12671 transitions
Trivial Post-agglo rules discarded 12671 transitions
Performed 12671 trivial Post agglomeration. Transition count delta: 12671
Iterating post reduction 0 with 12671 rules applied. Total rules applied 12671 place count 36415 transition count 42156
Reduce places removed 12671 places and 0 transitions.
Iterating post reduction 1 with 12671 rules applied. Total rules applied 25342 place count 23744 transition count 42156
Performed 792 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 792 Pre rules applied. Total rules applied 25342 place count 23744 transition count 41364
Deduced a syphon composed of 792 places in 81 ms
Reduce places removed 792 places and 0 transitions.
Iterating global reduction 2 with 1584 rules applied. Total rules applied 26926 place count 22952 transition count 41364
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 57 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 26992 place count 22919 transition count 41331
Applied a total of 26992 rules in 9298 ms. Remains 22919 /36415 variables (removed 13496) and now considering 41331/54827 (removed 13496) transitions.
[2025-06-07 06:53:28] [INFO ] Flow matrix only has 40275 transitions (discarded 1056 similar events)
// Phase 1: matrix 40275 rows 22919 cols
[2025-06-07 06:53:39] [INFO ] Computed 1724 invariants in 10890 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 06:54:17] [INFO ] Performed 4342/22919 implicitness test of which 47 returned IMPLICIT in 30 seconds.
[2025-06-07 06:54:47] [INFO ] Performed 6899/22919 implicitness test of which 76 returned IMPLICIT in 60 seconds.
[2025-06-07 06:55:18] [INFO ] Performed 9102/22919 implicitness test of which 181 returned IMPLICIT in 91 seconds.
[2025-06-07 06:55:48] [INFO ] Performed 11955/22919 implicitness test of which 366 returned IMPLICIT in 121 seconds.
[2025-06-07 06:56:19] [INFO ] Performed 13796/22919 implicitness test of which 479 returned IMPLICIT in 151 seconds.
[2025-06-07 06:56:19] [INFO ] Implicit Places using invariants in 171000 ms returned [6, 22, 40, 60, 82, 106, 132, 160, 190, 366, 969, 989, 1005, 1023, 1043, 1065, 1089, 1115, 1143, 1895, 1910, 1926, 1944, 1964, 1986, 2010, 2036, 2745, 2760, 2775, 2791, 2809, 2829, 2851, 2875, 3543, 3558, 3573, 3588, 3604, 3622, 3642, 3664, 4293, 4308, 4323, 4338, 4353, 4369, 4387, 4407, 4999, 5014, 5029, 5044, 5059, 5074, 5090, 5108, 5665, 5680, 5695, 5710, 5725, 5740, 5755, 5771, 6295, 6310, 6325, 6340, 6355, 6370, 6385, 6400, 6893, 6908, 6923, 6938, 6953, 6968, 6983, 6998, 7463, 7478, 7493, 7508, 7523, 7538, 7553, 7568, 7583, 7598, 7614, 7632, 7652, 7674, 7698, 7723, 7747, 7769, 7789, 7807, 7823, 7838, 7853, 7868, 7883, 7898, 7913, 7928, 7943, 7958, 7973, 8013, 8019, 8034, 8049, 8064, 8079, 8094, 8109, 8124, 8139, 8154, 8169, 8184, 8200, 8218, 8238, 8260, 8283, 8305, 8325, 8343, 8359, 8374, 8389, 8404, 8419, 8434, 8449, 8464, 8479, 8494, 8509, 8524, 8564, 8570, 8585, 8600, 8615, 8630, 8645, 8660, 8675, 8690, 8705, 8720, 8735, 8750, 8766, 8784, 8804, 8825, 8845, 8863, 8879, 8894, 8909, 8924, 8939, 8954, 8969, 8984, 8999, 9014, 9029, 9044, 9059, 9099, 9105, 9120, 9135, 9150, 9165, 9180, 9195, 9210, 9225, 9240, 9255, 9270, 9285, 9300, 9316, 9334, 9353, 9371, 9387, 9402, 9417, 9432, 9447, 9462, 9477, 9492, 9507, 9522, 9537, 9552, 9567, 9582, 9622, 9628, 9643, 9658, 9673, 9688, 9703, 9718, 9733, 9748, 9763, 9778, 9793, 9808, 9823, 9838, 9854, 9871, 9887, 9902, 9917, 9932, 9947, 9962, 9977, 9992, 10007, 10022, 10037, 10052, 10067, 10082, 10097, 10137, 10143, 10158, 10173, 10188, 10203, 10218, 10233, 10248, 10263, 10278, 10293, 10308, 10323, 10338, 10353, 10368, 10383, 10398, 10413, 10428, 10443, 10458, 10473, 10488, 10503, 10519, 10534, 10549, 10564, 10579, 10594, 10609, 10649, 10651, 10654, 10669, 10684, 10699, 10714, 10729, 10744, 10759, 10774, 10789, 10804, 10819, 10834, 10849, 10864, 10879, 10894, 10909, 10924, 10939, 10954, 10969, 10984, 10999, 11014, 11029, 11044, 11059, 11074, 11089, 11104, 11119, 11159, 11165, 11180, 11195, 11210, 11225, 11240, 11255, 11270, 11285, 11300, 11315, 11330, 11345, 11360, 11375, 11390, 11405, 11420, 11435, 11450, 11465, 11480, 11495, 11510, 11525, 11540, 11555, 11570, 11585, 11600, 11615, 11630, 11670, 11676, 11691, 11706, 11721, 11736, 11751, 11766, 11781, 11796, 11811, 11826, 11841, 11856, 11871, 11886, 11901, 11917, 11934, 11950, 11965, 11980, 11995, 12010, 12025, 12040, 12055, 12070, 12085, 12100, 12115, 12130, 12145, 12185, 12191, 12206, 12221, 12236, 12251, 12266, 12281, 12296, 12311, 12326, 12341, 12356, 12371, 12386, 12401, 12417, 12435, 12454, 12472, 12488, 12503, 12518, 12533, 12548, 12563, 12578, 12593, 12608, 12623, 12638, 12653, 12668, 12708, 12714, 12729, 12744, 12759, 12774, 12789, 12804, 12819, 12834, 12849, 12864, 12879, 12894, 12909, 12925, 12943, 12963, 12984, 13004, 13022, 13038, 13053, 13068, 13083, 13098, 13113, 13128, 13143, 13158, 13173, 13188, 13203, 13243, 13249, 13264, 13279, 13294, 13309, 13324, 13339, 13354, 13369, 13384, 13399, 13414, 13429, 13445, 13463, 13483, 13505, 13528, 13550, 13570, 13588, 13604, 13619, 13634, 13649, 13664, 13679, 13694, 13709, 13724, 13739, 13754, 13794]
[2025-06-07 06:56:19] [INFO ] Actually due to overlaps returned [969, 8013, 8564, 9099, 9622, 10137, 10649, 11159, 11670, 12185, 12708, 13243, 13794, 6, 22, 40, 60, 82, 106, 132, 160, 190, 989, 1005, 1023, 1043, 1065, 1089, 1115, 1143, 1895, 1910, 1926, 1944, 1964, 1986, 2010, 2036, 2745, 2760, 2775, 2791, 2809, 2829, 2851, 2875, 3543, 3558, 3573, 3588, 3604, 3622, 3642, 3664, 4293, 4308, 4323, 4338, 4353, 4369, 4387, 4407, 4999, 5014, 5029, 5044, 5059, 5074, 5090, 5108, 5665, 5680, 5695, 5710, 5725, 5740, 5755, 5771, 6295, 6310, 6325, 6340, 6355, 6370, 6385, 6400, 6893, 6908, 6923, 6938, 6953, 6968, 6983, 6998, 7463, 7478, 7493, 7508, 7523, 7538, 7553, 7568, 7583, 7823, 7838, 7853, 7868, 7883, 7898, 7913, 7928, 7943, 7958, 7973, 8034, 8049, 8064, 8079, 8094, 8109, 8124, 8139, 8154, 8374, 8389, 8404, 8419, 8434, 8449, 8464, 8479, 8494, 8509, 8524, 8585, 8600, 8615, 8630, 8645, 8660, 8675, 8690, 8705, 8909, 8924, 8939, 8954, 8969, 8984, 8999, 9014, 9029, 9044, 9059, 9120, 9135, 9150, 9165, 9180, 9195, 9210, 9225, 9240, 9432, 9447, 9462, 9477, 9492, 9507, 9522, 9537, 9552, 9567, 9582, 9643, 9658, 9673, 9688, 9703, 9718, 9733, 9748, 9763, 9947, 9962, 9977, 9992, 10007, 10022, 10037, 10052, 10067, 10082, 10097, 10158, 10173, 10188, 10203, 10218, 10233, 10248, 10263, 10278, 10458, 10473, 10488, 10503, 10519, 10534, 10549, 10564, 10579, 10594, 10609, 10651, 10669, 10684, 10699, 10714, 10729, 10744, 10759, 10774, 10789, 10969, 10984, 10999, 11014, 11029, 11044, 11059, 11074, 11089, 11104, 11119, 11180, 11195, 11210, 11225, 11240, 11255, 11270, 11285, 11300, 11480, 11495, 11510, 11525, 11540, 11555, 11570, 11585, 11600, 11615, 11630, 11691, 11706, 11721, 11736, 11751, 11766, 11781, 11796, 11811, 11995, 12010, 12025, 12040, 12055, 12070, 12085, 12100, 12115, 12130, 12145, 12206, 12221, 12236, 12251, 12266, 12281, 12296, 12311, 12326, 12518, 12533, 12548, 12563, 12578, 12593, 12608, 12623, 12638, 12653, 12668, 12729, 12744, 12759, 12774, 12789, 12804, 12819, 12834, 12849, 13053, 13068, 13083, 13098, 13113, 13128, 13143, 13158, 13173, 13188, 13203, 13264, 13279, 13294, 13309, 13324, 13339, 13354, 13369, 13384, 13604, 13619, 13634, 13649, 13664, 13679, 13694, 13709, 13724, 13739, 13754]
Discarding 335 places :
Implicit Place search using SMT only with invariants took 171050 ms to find 335 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 22584/36415 places, 41331/54827 transitions.
Applied a total of 0 rules in 2781 ms. Remains 22584 /22584 variables (removed 0) and now considering 41331/41331 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 183135 ms. Remains : 22584/36415 places, 41331/54827 transitions.
[2025-06-07 06:56:23] [INFO ] Flatten gal took : 1031 ms
[2025-06-07 06:56:25] [INFO ] Flatten gal took : 1336 ms
[2025-06-07 06:56:27] [INFO ] Input system was already deterministic with 41331 transitions.
[2025-06-07 06:56:29] [INFO ] Flatten gal took : 1252 ms
[2025-06-07 06:56:30] [INFO ] Flatten gal took : 1198 ms
[2025-06-07 06:56:30] [INFO ] Time to serialize gal into /tmp/CTLFireability6210068832364657743.gal : 191 ms
[2025-06-07 06:56:30] [INFO ] Time to serialize properties into /tmp/CTLFireability3521636804776437828.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6210068832364657743.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3521636804776437828.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-07 06:57:01] [INFO ] Flatten gal took : 1116 ms
[2025-06-07 06:57:01] [INFO ] Applying decomposition
[2025-06-07 06:57:02] [INFO ] Flatten gal took : 1254 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph10945477287197004310.txt' '-o' '/tmp/graph10945477287197004310.bin' '-w' '/tmp/graph10945477287197004310.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph10945477287197004310.bin' '-l' '-1' '-v' '-w' '/tmp/graph10945477287197004310.weights' '-q' '0' '-e' '0.001'
[2025-06-07 06:57:07] [INFO ] Decomposing Gal with order
[2025-06-07 06:57:10] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 06:57:44] [INFO ] Removed a total of 35000 redundant transitions.
[2025-06-07 06:57:45] [INFO ] Flatten gal took : 11248 ms
[2025-06-07 06:57:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 5218 labels/synchronizations in 2835 ms.
[2025-06-07 06:57:51] [INFO ] Time to serialize gal into /tmp/CTLFireability407196148852397097.gal : 321 ms
[2025-06-07 06:57:51] [INFO ] Time to serialize properties into /tmp/CTLFireability10719850970482695358.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability407196148852397097.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10719850970482695358.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 36415/36415 places, 54827/54827 transitions.
Applied a total of 0 rules in 4137 ms. Remains 36415 /36415 variables (removed 0) and now considering 54827/54827 (removed 0) transitions.
[2025-06-07 06:58:26] [INFO ] Flow matrix only has 53771 transitions (discarded 1056 similar events)
// Phase 1: matrix 53771 rows 36415 cols
[2025-06-07 06:58:56] [INFO ] Computed 1724 invariants in 30130 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 06:59:41] [INFO ] Performed 2777/36415 implicitness test of which 21 returned IMPLICIT in 30 seconds.
[2025-06-07 07:00:11] [INFO ] Performed 5501/36415 implicitness test of which 43 returned IMPLICIT in 60 seconds.
[2025-06-07 07:00:44] [INFO ] Performed 7436/36415 implicitness test of which 51 returned IMPLICIT in 92 seconds.
[2025-06-07 07:01:16] [INFO ] Performed 9549/36415 implicitness test of which 67 returned IMPLICIT in 124 seconds.
[2025-06-07 07:01:36] [INFO ] Implicit Places using invariants in 190267 ms returned [7, 35, 65, 97, 131, 167, 205, 245, 287, 523, 1378, 1411, 1439, 1469, 1501, 1535, 1571, 1609, 1649, 2726, 2753, 2781, 2811, 2843, 2877, 2913, 2951, 3985, 4012, 4039, 4067, 4097, 4129, 4163, 4199, 5192, 5219, 5246, 5273, 5301, 5331, 5363, 5397, 6351, 6378, 6405, 6432, 6459, 6487, 6517, 6549, 7466, 7493, 7520, 7547, 7574, 7601, 7629, 7659, 8541, 8568, 8595, 8622, 8649, 8676, 8703, 8731, 9580, 9607, 9634, 9661, 9688, 9715, 9742, 9769]
Discarding 75 places :
Implicit Place search using SMT only with invariants took 190332 ms to find 75 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 36340/36415 places, 54827/54827 transitions.
Applied a total of 0 rules in 2802 ms. Remains 36340 /36340 variables (removed 0) and now considering 54827/54827 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 197288 ms. Remains : 36340/36415 places, 54827/54827 transitions.
[2025-06-07 07:01:41] [INFO ] Flatten gal took : 1438 ms
[2025-06-07 07:01:42] [INFO ] Flatten gal took : 1602 ms
[2025-06-07 07:01:45] [INFO ] Input system was already deterministic with 54827 transitions.
[2025-06-07 07:01:48] [INFO ] Flatten gal took : 1635 ms
[2025-06-07 07:01:49] [INFO ] Flatten gal took : 1547 ms
[2025-06-07 07:01:50] [INFO ] Time to serialize gal into /tmp/CTLFireability1762081845071472925.gal : 230 ms
[2025-06-07 07:01:50] [INFO ] Time to serialize properties into /tmp/CTLFireability7582863769118429507.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1762081845071472925.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7582863769118429507.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
Detected timeout of ITS tools.
[2025-06-07 07:02:22] [INFO ] Flatten gal took : 1843 ms
[2025-06-07 07:02:22] [INFO ] Applying decomposition
[2025-06-07 07:02:23] [INFO ] Flatten gal took : 1472 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph3884406682002097325.txt' '-o' '/tmp/graph3884406682002097325.bin' '-w' '/tmp/graph3884406682002097325.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph3884406682002097325.bin' '-l' '-1' '-v' '-w' '/tmp/graph3884406682002097325.weights' '-q' '0' '-e' '0.001'
[2025-06-07 07:02:28] [INFO ] Decomposing Gal with order
[2025-06-07 07:02:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 07:03:30] [INFO ] Removed a total of 37387 redundant transitions.
[2025-06-07 07:03:31] [INFO ] Flatten gal took : 9497 ms
[2025-06-07 07:03:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 5540 labels/synchronizations in 2842 ms.
[2025-06-07 07:03:37] [INFO ] Time to serialize gal into /tmp/CTLFireability17316367454671439344.gal : 395 ms
[2025-06-07 07:03:37] [INFO ] Time to serialize properties into /tmp/CTLFireability1282999943114908232.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17316367454671439344.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1282999943114908232.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 36415/36415 places, 54827/54827 transitions.
Applied a total of 0 rules in 2340 ms. Remains 36415 /36415 variables (removed 0) and now considering 54827/54827 (removed 0) transitions.
[2025-06-07 07:04:09] [INFO ] Flow matrix only has 53771 transitions (discarded 1056 similar events)
[2025-06-07 07:04:09] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 07:04:55] [INFO ] Performed 2727/36415 implicitness test of which 20 returned IMPLICIT in 30 seconds.
[2025-06-07 07:05:25] [INFO ] Performed 5247/36415 implicitness test of which 38 returned IMPLICIT in 60 seconds.
[2025-06-07 07:05:57] [INFO ] Performed 7436/36415 implicitness test of which 51 returned IMPLICIT in 91 seconds.
[2025-06-07 07:06:27] [INFO ] Performed 9576/36415 implicitness test of which 67 returned IMPLICIT in 121 seconds.
[2025-06-07 07:06:49] [INFO ] Implicit Places using invariants in 160139 ms returned [7, 35, 65, 97, 131, 167, 205, 245, 287, 523, 1378, 1411, 1439, 1469, 1501, 1535, 1571, 1609, 1649, 2726, 2753, 2781, 2811, 2843, 2877, 2913, 2951, 3985, 4012, 4039, 4067, 4097, 4129, 4163, 4199, 5192, 5219, 5246, 5273, 5301, 5331, 5363, 5397, 6351, 6378, 6405, 6432, 6459, 6487, 6517, 6549, 7466, 7493, 7520, 7547, 7574, 7601, 7629, 7659, 8541, 8568, 8595, 8622, 8649, 8676, 8703, 8731, 9580, 9607, 9634, 9661, 9688, 9715, 9742, 9769, 10587, 10614, 10641, 10668, 10695, 10722, 10749, 10776]
Discarding 83 places :
Implicit Place search using SMT only with invariants took 160212 ms to find 83 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 36332/36415 places, 54827/54827 transitions.
Applied a total of 0 rules in 2348 ms. Remains 36332 /36332 variables (removed 0) and now considering 54827/54827 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 164910 ms. Remains : 36332/36415 places, 54827/54827 transitions.
[2025-06-07 07:06:53] [INFO ] Flatten gal took : 1445 ms
[2025-06-07 07:06:55] [INFO ] Flatten gal took : 1482 ms
[2025-06-07 07:06:58] [INFO ] Input system was already deterministic with 54827 transitions.
[2025-06-07 07:06:59] [INFO ] Flatten gal took : 1439 ms
[2025-06-07 07:07:01] [INFO ] Flatten gal took : 1494 ms
[2025-06-07 07:07:01] [INFO ] Time to serialize gal into /tmp/CTLFireability11559035384201486398.gal : 319 ms
[2025-06-07 07:07:01] [INFO ] Time to serialize properties into /tmp/CTLFireability8583146681664007749.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11559035384201486398.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8583146681664007749.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-07 07:07:33] [INFO ] Flatten gal took : 1470 ms
[2025-06-07 07:07:33] [INFO ] Applying decomposition
[2025-06-07 07:07:35] [INFO ] Flatten gal took : 1511 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph4649846380316946391.txt' '-o' '/tmp/graph4649846380316946391.bin' '-w' '/tmp/graph4649846380316946391.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph4649846380316946391.bin' '-l' '-1' '-v' '-w' '/tmp/graph4649846380316946391.weights' '-q' '0' '-e' '0.001'
[2025-06-07 07:07:39] [INFO ] Decomposing Gal with order
[2025-06-07 07:07:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 07:08:44] [INFO ] Removed a total of 37514 redundant transitions.
[2025-06-07 07:08:45] [INFO ] Flatten gal took : 9262 ms
[2025-06-07 07:08:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 3011 labels/synchronizations in 1819 ms.
[2025-06-07 07:08:49] [INFO ] Time to serialize gal into /tmp/CTLFireability15194251460119964686.gal : 332 ms
[2025-06-07 07:08:49] [INFO ] Time to serialize properties into /tmp/CTLFireability17826860950582719056.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15194251460119964686.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17826860950582719056.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202505121319.jar
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S32C12"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5832"
echo " Executing tool itstools"
echo " Input is MultiCrashLeafsetExtension-PT-S32C12, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r128-smll-174876524700506"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C12.tgz
mv MultiCrashLeafsetExtension-PT-S32C12 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;