About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S32C11
| 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?? | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r128-smll-174876524600498.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-S32C11, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-174876524600498
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 35M
-rw-r--r-- 1 mcc users 13K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 79K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.6K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 29K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 167K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 20K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K 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 35M 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-S32C11-CTLFireability-2023-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2023-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2023-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2023-15
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2025-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2025-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2025-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2025-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2025-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2025-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2025-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2025-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2025-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2025-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2025-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2025-11
=== Now, execution of the tool begins
BK_START 1749262079606
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-S32C11
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202505121319
[2025-06-07 02:08:01] [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 02:08:01] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-07 02:08:03] [INFO ] Load time of PNML (sax parser for PT used): 1985 ms
[2025-06-07 02:08:03] [INFO ] Transformed 34406 places.
[2025-06-07 02:08:03] [INFO ] Transformed 51525 transitions.
[2025-06-07 02:08:03] [INFO ] Parsed PT model containing 34406 places and 51525 transitions and 192310 arcs in 2390 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 39 ms.
Support contains 275 out of 34406 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 34406/34406 places, 51525/51525 transitions.
Reduce places removed 58 places and 0 transitions.
Iterating post reduction 0 with 58 rules applied. Total rules applied 58 place count 34348 transition count 51525
Applied a total of 58 rules in 3377 ms. Remains 34348 /34406 variables (removed 58) and now considering 51525/51525 (removed 0) transitions.
[2025-06-07 02:08:08] [INFO ] Flow matrix only has 50469 transitions (discarded 1056 similar events)
// Phase 1: matrix 50469 rows 34348 cols
[2025-06-07 02:08:28] [INFO ] Computed 1905 invariants in 20169 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 02:09:11] [INFO ] Performed 4132/34348 implicitness test of which 111 returned IMPLICIT in 30 seconds.
[2025-06-07 02:09:41] [INFO ] Performed 8199/34348 implicitness test of which 231 returned IMPLICIT in 60 seconds.
[2025-06-07 02:10:13] [INFO ] Performed 10167/34348 implicitness test of which 296 returned IMPLICIT in 91 seconds.
[2025-06-07 02:10:43] [INFO ] Performed 12018/34348 implicitness test of which 361 returned IMPLICIT in 121 seconds.
[2025-06-07 02:11:08] [INFO ] Implicit Places using invariants in 180395 ms returned [4, 8, 34, 62, 92, 124, 158, 194, 232, 272, 314, 358, 404, 452, 502, 554, 608, 663, 717, 769, 819, 867, 913, 957, 999, 1039, 1077, 1113, 1147, 1179, 1209, 1237, 1263, 1333, 1340, 1365, 1391, 1419, 1449, 1481, 1515, 1551, 1589, 1629, 1671, 1715, 1761, 1809, 1859, 1911, 1964, 2016, 2066, 2114, 2160, 2204, 2246, 2286, 2324, 2360, 2394, 2426, 2456, 2484, 2510, 2535, 2605, 2612, 2637, 2662, 2688, 2716, 2746, 2778, 2812, 2848, 2886, 2926, 2968, 3012, 3058, 3106, 3156, 3207, 3257, 3305, 3351, 3395, 3437, 3477, 3515, 3551, 3585, 3617, 3647, 3675, 3701, 3726, 3751, 3821, 3828, 3853, 3878, 3903, 3929, 3957, 3987, 4019, 4053, 4089, 4127, 4167, 4209, 4253, 4299, 4347, 4396, 4444, 4490, 4534, 4576, 4616, 4654, 4690, 4724, 4756, 4786, 4814, 4840, 4865, 4890, 4915, 4985, 4992, 5017, 5042, 5067, 5092, 5118, 5146, 5176, 5208, 5242, 5278, 5316, 5356, 5398, 5442, 5488, 5535, 5581, 5625, 5667, 5707, 5745, 5781, 5815, 5847, 5877, 5905, 5931, 5956, 5981, 6006, 6031, 6101, 6108, 6133, 6158, 6183, 6208, 6233, 6259, 6287, 6317, 6349, 6383, 6419, 6457, 6497, 6539, 6583, 6628, 6672, 6714, 6754, 6792, 6828, 6862, 6894, 6924, 6952, 6978, 7003, 7028, 7053, 7078, 7103, 7173, 7180, 7205, 7230, 7255, 7280, 7305, 7330, 7356, 7384, 7414, 7446, 7480, 7516, 7554, 7594, 7636, 7679, 7721, 7761, 7799, 7835, 7869, 7901, 7931, 7959, 7985, 8010, 8035, 8060, 8085, 8110, 8135, 8205, 8212, 8237, 8262, 8287, 8312, 8337, 8362, 8387, 8413, 8441, 8471, 8537, 8573, 8611, 8651, 8692, 8770, 8806, 8840, 8872, 8902, 8930, 8956, 8981, 9006, 9031, 9056, 9081, 9106, 9131, 9201, 9208, 9233, 9258, 9283, 9308, 9333, 9358, 9383, 9408, 9434, 9462, 9492, 9524, 9558, 9594, 9632, 9671, 9709, 9745, 9779, 9811, 9841, 9869, 9895, 9920, 9945, 9970, 9995, 10020, 10045, 10070, 10095, 10165, 10172, 10197, 10222, 10247, 10272, 10297, 10322, 10347, 10372, 10397, 10423, 10451, 10481, 10513, 10547, 10583, 10620, 10656, 10690, 10722, 10752, 10780, 10806, 10831, 10856, 10881, 10906, 10931, 10956, 10981, 11006, 11031, 11101, 11108, 11133, 11158, 11183, 11208, 11233, 11258, 11283, 11308, 11333, 11358, 11384, 11412, 11442, 11474, 11508, 11543, 11577, 11609, 11639, 11667, 11693, 11718, 11743, 11768, 11793, 11818, 11843, 11868, 11893, 11918, 11943, 12020, 12045, 12070, 12095, 12120, 12145, 12170, 12195, 12220, 12245, 12270, 12295, 12321, 12349, 12379, 12411, 12444, 12476, 12506, 12560, 12585, 12610, 12635, 12660, 12685, 12710, 12735, 12760, 12785, 12810, 12835, 12905, 12912, 12937, 12962, 12987, 13012, 13037, 13062, 13087, 13112, 13137, 13162, 13187, 13212, 13238, 13266, 13296, 13327, 13357, 13385, 13411, 13436, 13461, 13486, 13511, 13536, 13561, 13586, 13611, 13636, 13661, 13686, 13711, 13788, 13813, 13838, 13863, 13888, 13913, 13938, 13963, 13988, 14013, 14038, 14063, 14088, 14113, 14139, 14167, 14196, 14224, 14250, 14275]
[2025-06-07 02:11:08] [INFO ] Actually due to overlaps returned [1333, 2605, 3821, 4985, 6101, 7173, 8205, 9201, 10165, 11101, 12905, 4, 314, 404, 452, 502, 554, 608, 663, 717, 769, 819, 867, 913, 957, 999, 1039, 1077, 1113, 1147, 1179, 1209, 1237, 1263, 1629, 1715, 1761, 1809, 1859, 1911, 1964, 2016, 2066, 2114, 2160, 2204, 2246, 2286, 2324, 2360, 2394, 2426, 2456, 2484, 2510, 2535, 2886, 2968, 3012, 3058, 3106, 3156, 3207, 3257, 3305, 3351, 3395, 3437, 3477, 3515, 3551, 3585, 3617, 3647, 3675, 3701, 3726, 3751, 4089, 4167, 4209, 4253, 4299, 4347, 4396, 4444, 4490, 4534, 4576, 4616, 4654, 4690, 4724, 4756, 4786, 4814, 4840, 4865, 4890, 4915, 5242, 5316, 5356, 5398, 5442, 5488, 5535, 5581, 5625, 5667, 5707, 5745, 5781, 5815, 5847, 5877, 5905, 5931, 5956, 5981, 6006, 6031, 6349, 6419, 6457, 6497, 6539, 6583, 6628, 6672, 6714, 6754, 6792, 6828, 6862, 6894, 6924, 6952, 6978, 7003, 7028, 7053, 7078, 7103, 7414, 7480, 7516, 7554, 7594, 7636, 7679, 7721, 7761, 7799, 7835, 7869, 7901, 7931, 7959, 7985, 8010, 8035, 8060, 8085, 8110, 8135, 8441, 8537, 8573, 8611, 8651, 8692, 8770, 8806, 8840, 8872, 8902, 8930, 8956, 8981, 9006, 9031, 9056, 9081, 9106, 9131, 9434, 9492, 9524, 9558, 9594, 9632, 9671, 9709, 9745, 9779, 9811, 9841, 9869, 9895, 9920, 9945, 9970, 9995, 10020, 10045, 10070, 10095, 10397, 10451, 10481, 10513, 10547, 10583, 10620, 10656, 10690, 10722, 10752, 10780, 10806, 10831, 10856, 10881, 10906, 10931, 10956, 10981, 11006, 11031, 11384, 11412, 11442, 11474, 11508, 11543, 11577, 11609, 11639, 11667, 11693, 11718, 11743, 11768, 11793, 11818, 11843, 11868, 11893, 11918, 11943, 12270, 12295, 12321, 12349, 12379, 12411, 12444, 12476, 12506, 12560, 12585, 12610, 12635, 12660, 12685, 12710, 12735, 12760, 12785, 12810, 12835, 13162, 13212, 13238, 13266, 13296, 13327, 13357, 13385, 13411, 13436, 13461, 13486, 13511, 13536, 13561, 13586, 13611, 13636, 13661, 13686, 13711, 14038, 14088, 14113, 14139, 14167, 14196, 14224, 14250, 14275]
Discarding 302 places :
Implicit Place search using SMT only with invariants took 180518 ms to find 302 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 34046/34406 places, 51525/51525 transitions.
Applied a total of 0 rules in 2790 ms. Remains 34046 /34046 variables (removed 0) and now considering 51525/51525 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 186717 ms. Remains : 34046/34406 places, 51525/51525 transitions.
Support contains 275 out of 34046 places after structural reductions.
[2025-06-07 02:11:14] [INFO ] Flatten gal took : 2310 ms
[2025-06-07 02:11:16] [INFO ] Flatten gal took : 1657 ms
[2025-06-07 02:11:19] [INFO ] Input system was already deterministic with 51525 transitions.
Support contains 274 out of 34046 places (down from 275) after GAL structural reductions.
RANDOM walk for 40000 steps (354 resets) in 5990 ms. (6 steps per ms) remains 104/127 properties
BEST_FIRST walk for 404 steps (8 resets) in 18 ms. (21 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 31 ms. (12 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 15 ms. (25 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 18 ms. (21 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 11 ms. (33 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 12 ms. (31 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 11 ms. (33 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 15 ms. (25 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 11 ms. (33 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 12 ms. (31 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 11 ms. (33 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 13 ms. (28 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 14 ms. (26 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 11 ms. (33 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 11 ms. (33 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 11 ms. (33 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 11 ms. (33 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 12 ms. (31 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 7 ms. (50 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 11 ms. (33 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 11 ms. (33 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 11 ms. (33 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 11 ms. (33 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 11 ms. (33 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 8 ms. (44 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 10 ms. (36 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 104/104 properties
BEST_FIRST walk for 404 steps (8 resets) in 9 ms. (40 steps per ms) remains 104/104 properties
[2025-06-07 02:11:22] [INFO ] Flow matrix only has 50469 transitions (discarded 1056 similar events)
// Phase 1: matrix 50469 rows 34046 cols
[2025-06-07 02:11:41] [INFO ] Computed 1603 invariants in 18801 ms
[2025-06-07 02:11:41] [INFO ] State equation strengthened by 16546 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
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/232 variables, 9/9 constraints. Problems are: Problem set: 0 solved, 104 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/232 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 104 unsolved
SMT process timed out in 25538ms, After SMT, problems are : Problem set: 0 solved, 104 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 232 out of 34046 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 34046/34046 places, 51525/51525 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 11079 transitions
Trivial Post-agglo rules discarded 11079 transitions
Performed 11079 trivial Post agglomeration. Transition count delta: 11079
Iterating post reduction 0 with 11079 rules applied. Total rules applied 11079 place count 34046 transition count 40446
Reduce places removed 11079 places and 0 transitions.
Performed 511 Post agglomeration using F-continuation condition.Transition count delta: 511
Iterating post reduction 1 with 11590 rules applied. Total rules applied 22669 place count 22967 transition count 39935
Reduce places removed 511 places and 0 transitions.
Iterating post reduction 2 with 511 rules applied. Total rules applied 23180 place count 22456 transition count 39935
Performed 692 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 692 Pre rules applied. Total rules applied 23180 place count 22456 transition count 39243
Deduced a syphon composed of 692 places in 88 ms
Reduce places removed 692 places and 0 transitions.
Iterating global reduction 3 with 1384 rules applied. Total rules applied 24564 place count 21764 transition count 39243
Performed 26 Post agglomeration using F-continuation condition.Transition count delta: 26
Deduced a syphon composed of 26 places in 79 ms
Reduce places removed 26 places and 0 transitions.
Iterating global reduction 3 with 52 rules applied. Total rules applied 24616 place count 21738 transition count 39217
Free-agglomeration rule (complex) applied 401 times.
Iterating global reduction 3 with 401 rules applied. Total rules applied 25017 place count 21738 transition count 38816
Reduce places removed 401 places and 0 transitions.
Iterating post reduction 3 with 401 rules applied. Total rules applied 25418 place count 21337 transition count 38816
Partial Free-agglomeration rule applied 11079 times.
Drop transitions (Partial Free agglomeration) removed 11079 transitions
Iterating global reduction 4 with 11079 rules applied. Total rules applied 36497 place count 21337 transition count 38816
Applied a total of 36497 rules in 13962 ms. Remains 21337 /34046 variables (removed 12709) and now considering 38816/51525 (removed 12709) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 13964 ms. Remains : 21337/34046 places, 38816/51525 transitions.
RANDOM walk for 40000 steps (509 resets) in 3729 ms. (10 steps per ms) remains 93/104 properties
BEST_FIRST walk for 4003 steps (8 resets) in 43 ms. (90 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4003 steps (8 resets) in 37 ms. (105 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4003 steps (8 resets) in 43 ms. (90 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4003 steps (8 resets) in 36 ms. (108 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4003 steps (8 resets) in 37 ms. (105 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4002 steps (8 resets) in 47 ms. (83 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4002 steps (8 resets) in 42 ms. (93 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4003 steps (8 resets) in 37 ms. (105 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4002 steps (8 resets) in 38 ms. (102 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4003 steps (8 resets) in 37 ms. (105 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4003 steps (8 resets) in 39 ms. (100 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4003 steps (8 resets) in 39 ms. (100 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4003 steps (8 resets) in 38 ms. (102 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4003 steps (8 resets) in 38 ms. (102 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4003 steps (8 resets) in 51 ms. (76 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4003 steps (8 resets) in 46 ms. (85 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4003 steps (8 resets) in 48 ms. (81 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4003 steps (8 resets) in 50 ms. (78 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4003 steps (8 resets) in 43 ms. (90 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4003 steps (8 resets) in 50 ms. (78 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4003 steps (8 resets) in 49 ms. (80 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4003 steps (8 resets) in 43 ms. (90 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4003 steps (8 resets) in 44 ms. (88 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4002 steps (8 resets) in 49 ms. (80 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4002 steps (8 resets) in 45 ms. (87 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4003 steps (8 resets) in 42 ms. (93 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 93/93 properties
BEST_FIRST walk for 4003 steps (8 resets) in 48 ms. (81 steps per ms) remains 93/93 properties
[2025-06-07 02:12:03] [INFO ] Flow matrix only has 37360 transitions (discarded 1456 similar events)
// Phase 1: matrix 37360 rows 21337 cols
[2025-06-07 02:12:22] [INFO ] Computed 1603 invariants in 18450 ms
[2025-06-07 02:12:24] [INFO ] State equation strengthened by 16546 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
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/212 variables, 9/9 constraints. Problems are: Problem set: 0 solved, 93 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/212 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 93 unsolved
Problem AtomicPropp2 is UNSAT
Problem AtomicPropp24 is UNSAT
Problem AtomicPropp39 is UNSAT
Problem AtomicPropp56 is UNSAT
Problem AtomicPropp61 is UNSAT
Problem AtomicPropp69 is UNSAT
Problem AtomicPropp81 is UNSAT
Problem AtomicPropp86 is UNSAT
Problem AtomicPropp112 is UNSAT
Problem AtomicPropp114 is UNSAT
Problem AtomicPropp115 is UNSAT
At refinement iteration 2 (OVERLAPS) 8318/8530 variables, 26/35 constraints. Problems are: Problem set: 11 solved, 82 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/8530 variables, 5/40 constraints. Problems are: Problem set: 11 solved, 82 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/8530 variables, 0/40 constraints. Problems are: Problem set: 11 solved, 82 unsolved
At refinement iteration 5 (OVERLAPS) 4/8534 variables, 4/44 constraints. Problems are: Problem set: 11 solved, 82 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/8534 variables, 0/44 constraints. Problems are: Problem set: 11 solved, 82 unsolved
At refinement iteration 7 (OVERLAPS) 12641/21175 variables, 1397/1441 constraints. Problems are: Problem set: 11 solved, 82 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 21175/58697 variables, and 1441 constraints, problems are : Problem set: 11 solved, 82 unsolved in 45028 ms.
Refiners :[Positive P Invariants (semi-flows): 39/63 constraints, Generalized P Invariants (flows): 1402/1540 constraints, State Equation: 0/21337 constraints, ReadFeed: 0/16546 constraints, PredecessorRefiner: 93/67 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 11 solved, 82 unsolved
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/165 variables, 8/8 constraints. Problems are: Problem set: 11 solved, 82 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/165 variables, 0/8 constraints. Problems are: Problem set: 11 solved, 82 unsolved
At refinement iteration 2 (OVERLAPS) 8343/8508 variables, 21/29 constraints. Problems are: Problem set: 11 solved, 82 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/8508 variables, 3/32 constraints. Problems are: Problem set: 11 solved, 82 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-07 02:13:23] [INFO ] Deduced a trap composed of 1346 places in 6284 ms of which 119 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-07 02:13:55] [INFO ] Deduced a trap composed of 2114 places in 31811 ms of which 12029 ms to minimize.
SMT process timed out in 111940ms, After SMT, problems are : Problem set: 11 solved, 82 unsolved
Fused 82 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 165 out of 21337 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 21337/21337 places, 38816/38816 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 10 transitions
Trivial Post-agglo rules discarded 10 transitions
Performed 10 trivial Post agglomeration. Transition count delta: 10
Iterating post reduction 0 with 10 rules applied. Total rules applied 10 place count 21337 transition count 38806
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 1 with 10 rules applied. Total rules applied 20 place count 21327 transition count 38806
Performed 8 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 8 Pre rules applied. Total rules applied 20 place count 21327 transition count 38798
Deduced a syphon composed of 8 places in 48 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 2 with 16 rules applied. Total rules applied 36 place count 21319 transition count 38798
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 39 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 38 place count 21318 transition count 38797
Free-agglomeration rule (complex) applied 26 times.
Iterating global reduction 2 with 26 rules applied. Total rules applied 64 place count 21318 transition count 38771
Reduce places removed 26 places and 0 transitions.
Iterating post reduction 2 with 26 rules applied. Total rules applied 90 place count 21292 transition count 38771
Partial Free-agglomeration rule applied 117 times.
Drop transitions (Partial Free agglomeration) removed 117 transitions
Iterating global reduction 3 with 117 rules applied. Total rules applied 207 place count 21292 transition count 38771
Applied a total of 207 rules in 8369 ms. Remains 21292 /21337 variables (removed 45) and now considering 38771/38816 (removed 45) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 8369 ms. Remains : 21292/21337 places, 38771/38816 transitions.
Successfully simplified 11 atomic propositions for a total of 16 simplifications.
[2025-06-07 02:14:05] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2025-06-07 02:14:05] [INFO ] Flatten gal took : 1342 ms
FORMULA MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2025-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-07 02:14:06] [INFO ] Flatten gal took : 1486 ms
[2025-06-07 02:14:09] [INFO ] Input system was already deterministic with 51525 transitions.
Support contains 208 out of 34046 places (down from 218) after GAL structural reductions.
Computed a total of 28030 stabilizing places and 39556 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 34046/34046 places, 51525/51525 transitions.
Applied a total of 0 rules in 2033 ms. Remains 34046 /34046 variables (removed 0) and now considering 51525/51525 (removed 0) transitions.
[2025-06-07 02:14:11] [INFO ] Flow matrix only has 50469 transitions (discarded 1056 similar events)
// Phase 1: matrix 50469 rows 34046 cols
[2025-06-07 02:14:35] [INFO ] Computed 1603 invariants in 23839 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 02:15:17] [INFO ] Performed 3752/34046 implicitness test of which 30 returned IMPLICIT in 30 seconds.
[2025-06-07 02:15:49] [INFO ] Performed 5988/34046 implicitness test of which 50 returned IMPLICIT in 61 seconds.
[2025-06-07 02:16:19] [INFO ] Performed 8465/34046 implicitness test of which 81 returned IMPLICIT in 91 seconds.
[2025-06-07 02:16:49] [INFO ] Performed 10610/34046 implicitness test of which 102 returned IMPLICIT in 121 seconds.
[2025-06-07 02:17:15] [INFO ] Implicit Places using invariants in 183924 ms returned [7, 33, 61, 91, 123, 157, 193, 231, 271, 356, 1316, 1341, 1367, 1395, 1425, 1457, 1491, 1527, 1565, 1646, 2565, 2590, 2615, 2641, 2669, 2699, 2731, 2765, 2801, 2878, 3758, 3783, 3808, 3833, 3859, 3887, 3917, 3949, 3983, 4056, 4899, 4924, 4949, 4974, 4999, 5025, 5053, 5083, 5115, 5184, 5992, 6017, 6042, 6067, 6092, 6117, 6143, 6171, 6201, 6266, 7041, 7066, 7091, 7116, 7141, 7166, 7191, 7217, 7245, 7306, 8050, 8075, 8100, 8125, 8150, 8175, 8200, 8225, 8251, 8308, 8340, 8564, 9025, 9050, 9075, 9100, 9125, 9150, 9175, 9200, 9225, 9278, 9966, 9991, 10016, 10041, 10066, 10091, 10116, 10141, 10166, 10216, 10879, 10904, 10929, 10954, 10979, 11004, 11029, 11054, 11079, 11104, 11129, 11763]
Discarding 114 places :
Implicit Place search using SMT only with invariants took 183963 ms to find 114 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 33932/34046 places, 51525/51525 transitions.
Applied a total of 0 rules in 2130 ms. Remains 33932 /33932 variables (removed 0) and now considering 51525/51525 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 188130 ms. Remains : 33932/34046 places, 51525/51525 transitions.
[2025-06-07 02:17:19] [INFO ] Flatten gal took : 1288 ms
[2025-06-07 02:17:20] [INFO ] Flatten gal took : 1503 ms
[2025-06-07 02:17:22] [INFO ] Input system was already deterministic with 51525 transitions.
[2025-06-07 02:17:24] [INFO ] Flatten gal took : 1697 ms
[2025-06-07 02:17:26] [INFO ] Flatten gal took : 1627 ms
[2025-06-07 02:17:26] [INFO ] Time to serialize gal into /tmp/CTLFireability17341943040406955190.gal : 345 ms
[2025-06-07 02:17:26] [INFO ] Time to serialize properties into /tmp/CTLFireability15953716232230888840.ctl : 6 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17341943040406955190.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15953716232230888840.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 02:17:58] [INFO ] Flatten gal took : 1664 ms
[2025-06-07 02:17:58] [INFO ] Applying decomposition
[2025-06-07 02:18:00] [INFO ] Flatten gal took : 1604 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/graph17920523294623755319.txt' '-o' '/tmp/graph17920523294623755319.bin' '-w' '/tmp/graph17920523294623755319.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph17920523294623755319.bin' '-l' '-1' '-v' '-w' '/tmp/graph17920523294623755319.weights' '-q' '0' '-e' '0.001'
[2025-06-07 02:18:05] [INFO ] Decomposing Gal with order
[2025-06-07 02:18:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 02:18:59] [INFO ] Removed a total of 35333 redundant transitions.
[2025-06-07 02:19:01] [INFO ] Flatten gal took : 9570 ms
[2025-06-07 02:19:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 7865 labels/synchronizations in 2437 ms.
[2025-06-07 02:19:06] [INFO ] Time to serialize gal into /tmp/CTLFireability9286015004541320463.gal : 441 ms
[2025-06-07 02:19:06] [INFO ] Time to serialize properties into /tmp/CTLFireability3344251512682661145.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/CTLFireability9286015004541320463.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3344251512682661145.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 : 34046/34046 places, 51525/51525 transitions.
Applied a total of 0 rules in 2072 ms. Remains 34046 /34046 variables (removed 0) and now considering 51525/51525 (removed 0) transitions.
[2025-06-07 02:19:38] [INFO ] Flow matrix only has 50469 transitions (discarded 1056 similar events)
[2025-06-07 02:19:38] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 02:20:22] [INFO ] Performed 3754/34046 implicitness test of which 30 returned IMPLICIT in 31 seconds.
[2025-06-07 02:20:52] [INFO ] Performed 7363/34046 implicitness test of which 70 returned IMPLICIT in 61 seconds.
[2025-06-07 02:21:25] [INFO ] Performed 9961/34046 implicitness test of which 91 returned IMPLICIT in 94 seconds.
[2025-06-07 02:21:56] [INFO ] Performed 11766/34046 implicitness test of which 112 returned IMPLICIT in 125 seconds.
[2025-06-07 02:22:18] [INFO ] Implicit Places using invariants in 160106 ms returned [7, 33, 61, 91, 123, 157, 193, 231, 271, 356, 1316, 1341, 1367, 1395, 1425, 1457, 1491, 1527, 1565, 1646, 2565, 2590, 2615, 2641, 2669, 2699, 2731, 2765, 2801, 2878, 3758, 3783, 3808, 3833, 3859, 3887, 3917, 3949, 3983, 4056, 4899, 4924, 4949, 4974, 4999, 5025, 5053, 5083, 5115, 5184, 5992, 6017, 6042, 6067, 6092, 6117, 6143, 6171, 6201, 6266, 7041, 7066, 7091, 7116, 7141, 7166, 7191, 7217, 7245, 7306, 8050, 8075, 8100, 8125, 8150, 8175, 8200, 8225, 8251, 8308, 8340, 9025, 9050, 9075, 9100, 9125, 9150, 9175, 9200, 9225, 9278, 9966, 9991, 10016, 10041, 10066, 10091, 10116, 10141, 10166, 10216, 10879, 10904, 10929, 10954, 10979, 11004, 11029, 11054, 11079, 11104, 11129, 11770, 11795, 11820, 11845, 11870, 11895, 11920, 11945, 11970, 11995, 12275, 12640, 12665, 12690, 12715, 12740, 12765, 12790, 12815, 12840, 12865, 12914, 13488]
[2025-06-07 02:22:18] [INFO ] Actually due to overlaps returned [13488, 7, 33, 61, 91, 123, 157, 193, 231, 271, 356, 1316, 1341, 1367, 1395, 1425, 1457, 1491, 1527, 1565, 1646, 2565, 2590, 2615, 2641, 2669, 2699, 2731, 2765, 2801, 2878, 3758, 3783, 3808, 3833, 3859, 3887, 3917, 3949, 3983, 4056, 4899, 4924, 4949, 4974, 4999, 5025, 5053, 5083, 5115, 5184, 5992, 6017, 6042, 6067, 6092, 6117, 6143, 6171, 6201, 6266, 7041, 7066, 7091, 7116, 7141, 7166, 7191, 7217, 7245, 7306, 8050, 8075, 8100, 8125, 8150, 8175, 8200, 8225, 8251, 8308, 9025, 9050, 9075, 9100, 9125, 9150, 9175, 9200, 9225, 9278, 9966, 9991, 10016, 10041, 10066, 10091, 10116, 10141, 10166, 10216, 10879, 10904, 10929, 10954, 10979, 11004, 11029, 11054, 11079, 11104, 11129, 11770, 11795, 11820, 11845, 11870, 11895, 11920, 11945, 11970, 11995, 12275, 12640, 12665, 12690, 12715, 12740, 12765, 12790, 12815, 12840, 12865, 12914]
Discarding 134 places :
Implicit Place search using SMT only with invariants took 160147 ms to find 134 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 33912/34046 places, 51525/51525 transitions.
Applied a total of 0 rules in 2139 ms. Remains 33912 /33912 variables (removed 0) and now considering 51525/51525 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 164363 ms. Remains : 33912/34046 places, 51525/51525 transitions.
[2025-06-07 02:22:22] [INFO ] Flatten gal took : 1279 ms
[2025-06-07 02:22:24] [INFO ] Flatten gal took : 1434 ms
[2025-06-07 02:22:26] [INFO ] Input system was already deterministic with 51525 transitions.
[2025-06-07 02:22:28] [INFO ] Flatten gal took : 1389 ms
[2025-06-07 02:22:29] [INFO ] Flatten gal took : 1472 ms
[2025-06-07 02:22:29] [INFO ] Time to serialize gal into /tmp/CTLFireability11276829847897905736.gal : 238 ms
[2025-06-07 02:22:29] [INFO ] Time to serialize properties into /tmp/CTLFireability12604756067379756104.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/CTLFireability11276829847897905736.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12604756067379756104.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 02:23:01] [INFO ] Flatten gal took : 1582 ms
[2025-06-07 02:23:01] [INFO ] Applying decomposition
[2025-06-07 02:23:03] [INFO ] Flatten gal took : 1513 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/graph9412840044653518008.txt' '-o' '/tmp/graph9412840044653518008.bin' '-w' '/tmp/graph9412840044653518008.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph9412840044653518008.bin' '-l' '-1' '-v' '-w' '/tmp/graph9412840044653518008.weights' '-q' '0' '-e' '0.001'
[2025-06-07 02:23:07] [INFO ] Decomposing Gal with order
[2025-06-07 02:23:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 02:24:02] [INFO ] Removed a total of 35441 redundant transitions.
[2025-06-07 02:24:02] [INFO ] Flatten gal took : 8243 ms
[2025-06-07 02:24:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 5743 labels/synchronizations in 1968 ms.
[2025-06-07 02:24:06] [INFO ] Time to serialize gal into /tmp/CTLFireability18443128631885291411.gal : 304 ms
[2025-06-07 02:24:06] [INFO ] Time to serialize properties into /tmp/CTLFireability17960265544400786434.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/CTLFireability18443128631885291411.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17960265544400786434.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 : 34046/34046 places, 51525/51525 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 11599 transitions
Trivial Post-agglo rules discarded 11599 transitions
Performed 11599 trivial Post agglomeration. Transition count delta: 11599
Iterating post reduction 0 with 11599 rules applied. Total rules applied 11599 place count 34046 transition count 39926
Reduce places removed 11599 places and 0 transitions.
Performed 16 Post agglomeration using F-continuation condition.Transition count delta: 16
Iterating post reduction 1 with 11615 rules applied. Total rules applied 23214 place count 22447 transition count 39910
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 2 with 16 rules applied. Total rules applied 23230 place count 22431 transition count 39910
Performed 725 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 725 Pre rules applied. Total rules applied 23230 place count 22431 transition count 39185
Deduced a syphon composed of 725 places in 64 ms
Reduce places removed 725 places and 0 transitions.
Iterating global reduction 3 with 1450 rules applied. Total rules applied 24680 place count 21706 transition count 39185
Performed 32 Post agglomeration using F-continuation condition.Transition count delta: 32
Deduced a syphon composed of 32 places in 45 ms
Reduce places removed 32 places and 0 transitions.
Iterating global reduction 3 with 64 rules applied. Total rules applied 24744 place count 21674 transition count 39153
Applied a total of 24744 rules in 8101 ms. Remains 21674 /34046 variables (removed 12372) and now considering 39153/51525 (removed 12372) transitions.
[2025-06-07 02:24:45] [INFO ] Flow matrix only has 38097 transitions (discarded 1056 similar events)
// Phase 1: matrix 38097 rows 21674 cols
[2025-06-07 02:24:58] [INFO ] Computed 1603 invariants in 13589 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 02:25:36] [INFO ] Performed 4680/21674 implicitness test of which 60 returned IMPLICIT in 30 seconds.
[2025-06-07 02:26:07] [INFO ] Performed 7126/21674 implicitness test of which 102 returned IMPLICIT in 61 seconds.
[2025-06-07 02:26:37] [INFO ] Performed 9823/21674 implicitness test of which 212 returned IMPLICIT in 91 seconds.
[2025-06-07 02:27:07] [INFO ] Performed 12578/21674 implicitness test of which 400 returned IMPLICIT in 121 seconds.
[2025-06-07 02:27:38] [INFO ] Performed 14682/21674 implicitness test of which 525 returned IMPLICIT in 152 seconds.
[2025-06-07 02:27:38] [INFO ] Implicit Places using invariants in 173692 ms returned [6, 21, 38, 57, 78, 101, 126, 153, 182, 245, 940, 954, 969, 986, 1005, 1026, 1049, 1074, 1101, 1160, 1814, 1828, 1842, 1857, 1874, 1893, 1914, 1937, 1962, 2017, 2632, 2646, 2660, 2674, 2689, 2706, 2725, 2746, 2769, 2820, 3398, 3412, 3426, 3440, 3454, 3469, 3486, 3505, 3526, 3573, 4117, 4131, 4145, 4159, 4173, 4187, 4202, 4219, 4238, 4281, 4791, 4805, 4819, 4833, 4847, 4861, 4875, 4890, 4907, 4946, 5425, 5439, 5453, 5467, 5481, 5495, 5509, 5523, 5538, 5573, 5594, 5752, 6025, 6039, 6053, 6067, 6081, 6095, 6109, 6123, 6137, 6168, 6591, 6605, 6619, 6633, 6647, 6661, 6675, 6689, 6703, 6731, 7129, 7143, 7157, 7171, 7185, 7199, 7213, 7227, 7241, 7255, 7269, 7639, 7645, 7659, 7673, 7687, 7701, 7715, 7729, 7743, 7757, 7771, 7941, 8140, 8154, 8168, 8182, 8196, 8210, 8224, 8238, 8252, 8266, 8293, 8614, 8620, 8634, 8648, 8662, 8676, 8690, 8704, 8718, 8732, 8746, 8773, 8903, 8917, 8931, 8945, 8959, 8973, 8987, 9001, 9015, 9029, 9043, 9057, 9094, 9100, 9114, 9128, 9142, 9156, 9170, 9184, 9198, 9212, 9226, 9240, 9254, 9268, 9282, 9296, 9311, 9327, 9342, 9356, 9370, 9384, 9398, 9412, 9426, 9440, 9454, 9468, 9482, 9496, 9510, 9524, 9538, 9575, 9581, 9595, 9609, 9623, 9637, 9651, 9665, 9679, 9693, 9707, 9721, 9735, 9749, 9763, 9777, 9791, 9805, 9819, 9833, 9847, 9861, 9875, 9889, 9903, 9917, 9931, 9945, 9959, 9973, 9987, 10001, 10015, 10052, 10054, 10057, 10071, 10085, 10099, 10113, 10127, 10141, 10155, 10169, 10183, 10197, 10211, 10225, 10239, 10253, 10267, 10281, 10295, 10309, 10323, 10337, 10351, 10365, 10379, 10393, 10407, 10421, 10435, 10449, 10463, 10477, 10491, 10528, 10534, 10548, 10562, 10576, 10590, 10604, 10618, 10632, 10646, 10660, 10674, 10688, 10702, 10716, 10730, 10744, 10758, 10772, 10786, 10800, 10814, 10828, 10842, 10856, 10870, 10884, 10898, 10912, 10926, 10940, 10954, 10968, 11005, 11011, 11025, 11039, 11053, 11067, 11081, 11095, 11109, 11123, 11137, 11151, 11165, 11179, 11193, 11207, 11221, 11236, 11252, 11267, 11281, 11295, 11309, 11323, 11337, 11351, 11365, 11379, 11393, 11407, 11421, 11435, 11449, 11486, 11492, 11506, 11520, 11534, 11548, 11562, 11576, 11590, 11604, 11618, 11632, 11646, 11660, 11674, 11688, 11703, 11720, 11738, 11755, 11770, 11784, 11798, 11812, 11826, 11840, 11854, 11868, 11882, 11896, 11910, 11924, 11938, 11975, 11981, 11995, 12009, 12023, 12037, 12051, 12065, 12079, 12093, 12107, 12121, 12135, 12149, 12163, 12178, 12195, 12214, 12234, 12253, 12270, 12285, 12299, 12313, 12327, 12341, 12355, 12369, 12383, 12397, 12411, 12425, 12439, 12476, 12482, 12496, 12510, 12524, 12538, 12552, 12566, 12580, 12594, 12608, 12622, 12636, 12650, 12665, 12682, 12701, 12722, 12744, 12765, 12784, 12801, 12816, 12830, 12844, 12858, 12872, 12886, 12900, 12914, 12928, 12942, 12956, 12993, 12999, 13013, 13027, 13041, 13055, 13069, 13083, 13097, 13111, 13125, 13139, 13153, 13168, 13185, 13204, 13225, 13248, 13272, 13295, 13316, 13335, 13352, 13367, 13381, 13395, 13409, 13423, 13437, 13451, 13465, 13479, 13493, 13530, 13536, 13550, 13564, 13578, 13592, 13606, 13620, 13634, 13648, 13662, 13676, 13691, 13708, 13727, 13748, 13771, 13796, 13822, 13847, 13870, 13891, 13910, 13927, 13942, 13956, 13970, 13984, 13998, 14012, 14026, 14040, 14054, 14091, 14097, 14111, 14125, 14139, 14153, 14167, 14181, 14195, 14209, 14223, 14238, 14255, 14274, 14295, 14318, 14343, 14370, 14398, 14425, 14450, 14473, 14494, 14513, 14530, 14545, 14559, 14573, 14587, 14601, 14615, 14629, 14643, 14680]
[2025-06-07 02:27:38] [INFO ] Actually due to overlaps returned [7639, 8614, 9094, 9575, 10052, 10528, 11005, 11486, 11975, 12476, 12993, 13530, 14091, 14680, 6, 21, 38, 57, 78, 101, 126, 153, 182, 245, 940, 954, 969, 986, 1005, 1026, 1049, 1074, 1101, 1160, 1814, 1828, 1842, 1857, 1874, 1893, 1914, 1937, 1962, 2017, 2632, 2646, 2660, 2674, 2689, 2706, 2725, 2746, 2769, 2820, 3398, 3412, 3426, 3440, 3454, 3469, 3486, 3505, 3526, 3573, 4117, 4131, 4145, 4159, 4173, 4187, 4202, 4219, 4238, 4281, 4791, 4805, 4819, 4833, 4847, 4861, 4875, 4890, 4907, 4946, 5425, 5439, 5453, 5467, 5481, 5495, 5509, 5523, 5538, 5573, 6025, 6039, 6053, 6067, 6081, 6095, 6109, 6123, 6137, 6168, 6591, 6605, 6619, 6633, 6647, 6661, 6675, 6689, 6703, 6731, 7129, 7143, 7157, 7171, 7185, 7199, 7213, 7227, 7241, 7255, 7269, 7645, 7659, 7673, 7687, 7701, 7715, 7729, 7743, 7757, 7771, 8140, 8154, 8168, 8182, 8196, 8210, 8224, 8238, 8252, 8266, 8293, 8620, 8634, 8648, 8662, 8676, 8690, 8704, 8718, 8732, 8746, 8773, 8959, 8973, 8987, 9001, 9015, 9029, 9043, 9057, 9100, 9114, 9128, 9142, 9156, 9170, 9184, 9198, 9212, 9226, 9254, 9440, 9454, 9468, 9482, 9496, 9510, 9524, 9538, 9581, 9595, 9609, 9623, 9637, 9651, 9665, 9679, 9693, 9707, 9735, 9917, 9931, 9945, 9959, 9973, 9987, 10001, 10015, 10054, 10057, 10071, 10085, 10099, 10113, 10127, 10141, 10155, 10169, 10183, 10211, 10393, 10407, 10421, 10435, 10449, 10463, 10477, 10491, 10534, 10548, 10562, 10576, 10590, 10604, 10618, 10632, 10646, 10660, 10688, 10870, 10884, 10898, 10912, 10926, 10940, 10954, 10968, 11011, 11025, 11039, 11053, 11067, 11081, 11095, 11109, 11123, 11137, 11165, 11351, 11365, 11379, 11393, 11407, 11421, 11435, 11449, 11492, 11506, 11520, 11534, 11548, 11562, 11576, 11590, 11604, 11618, 11646, 11840, 11854, 11868, 11882, 11896, 11910, 11924, 11938, 11981, 11995, 12009, 12023, 12037, 12051, 12065, 12079, 12093, 12107, 12135, 12341, 12355, 12369, 12383, 12397, 12411, 12425, 12439, 12482, 12496, 12510, 12524, 12538, 12552, 12566, 12580, 12594, 12608, 12636, 12858, 12872, 12886, 12900, 12914, 12928, 12942, 12956, 12999, 13013, 13027, 13041, 13055, 13069, 13083, 13097, 13111, 13125, 13153, 13395, 13409, 13423, 13437, 13451, 13465, 13479, 13493, 13536, 13550, 13564, 13578, 13592, 13606, 13620, 13634, 13648, 13662, 13691, 13956, 13970, 13984, 13998, 14012, 14026, 14040, 14054, 14097, 14111, 14125, 14139, 14153, 14167, 14181, 14195, 14209, 14223, 14255, 14545, 14559, 14573, 14587, 14601, 14615, 14629, 14643]
Discarding 375 places :
Implicit Place search using SMT only with invariants took 173730 ms to find 375 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 21299/34046 places, 39153/51525 transitions.
Applied a total of 0 rules in 2598 ms. Remains 21299 /21299 variables (removed 0) and now considering 39153/39153 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 184430 ms. Remains : 21299/34046 places, 39153/51525 transitions.
[2025-06-07 02:27:42] [INFO ] Flatten gal took : 817 ms
[2025-06-07 02:27:43] [INFO ] Flatten gal took : 996 ms
[2025-06-07 02:27:45] [INFO ] Input system was already deterministic with 39153 transitions.
[2025-06-07 02:27:46] [INFO ] Flatten gal took : 1023 ms
[2025-06-07 02:27:47] [INFO ] Flatten gal took : 990 ms
[2025-06-07 02:27:47] [INFO ] Time to serialize gal into /tmp/CTLFireability2070589382081195700.gal : 189 ms
[2025-06-07 02:27:47] [INFO ] Time to serialize properties into /tmp/CTLFireability3353246288911215157.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/CTLFireability2070589382081195700.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3353246288911215157.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 02:28:19] [INFO ] Flatten gal took : 1073 ms
[2025-06-07 02:28:19] [INFO ] Applying decomposition
[2025-06-07 02:28:20] [INFO ] Flatten gal took : 980 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/graph17089092316326372491.txt' '-o' '/tmp/graph17089092316326372491.bin' '-w' '/tmp/graph17089092316326372491.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph17089092316326372491.bin' '-l' '-1' '-v' '-w' '/tmp/graph17089092316326372491.weights' '-q' '0' '-e' '0.001'
[2025-06-07 02:28:23] [INFO ] Decomposing Gal with order
[2025-06-07 02:28:26] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 02:28:57] [INFO ] Removed a total of 30779 redundant transitions.
[2025-06-07 02:28:57] [INFO ] Flatten gal took : 10522 ms
[2025-06-07 02:29:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 9006 labels/synchronizations in 2785 ms.
[2025-06-07 02:29:02] [INFO ] Time to serialize gal into /tmp/CTLFireability3814466019857320362.gal : 304 ms
[2025-06-07 02:29:02] [INFO ] Time to serialize properties into /tmp/CTLFireability9654193524365424515.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/CTLFireability3814466019857320362.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9654193524365424515.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 : 34046/34046 places, 51525/51525 transitions.
Applied a total of 0 rules in 2249 ms. Remains 34046 /34046 variables (removed 0) and now considering 51525/51525 (removed 0) transitions.
[2025-06-07 02:29:35] [INFO ] Flow matrix only has 50469 transitions (discarded 1056 similar events)
// Phase 1: matrix 50469 rows 34046 cols
[2025-06-07 02:29:52] [INFO ] Computed 1603 invariants in 16900 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 02:30:35] [INFO ] Performed 3753/34046 implicitness test of which 30 returned IMPLICIT in 30 seconds.
[2025-06-07 02:31:05] [INFO ] Performed 6944/34046 implicitness test of which 60 returned IMPLICIT in 60 seconds.
[2025-06-07 02:31:35] [INFO ] Performed 9017/34046 implicitness test of which 82 returned IMPLICIT in 90 seconds.
[2025-06-07 02:32:05] [INFO ] Performed 10770/34046 implicitness test of which 102 returned IMPLICIT in 120 seconds.
[2025-06-07 02:32:32] [INFO ] Implicit Places using invariants in 176989 ms returned [7, 33, 61, 91, 123, 157, 193, 231, 271, 356, 1316, 1341, 1367, 1395, 1425, 1457, 1491, 1527, 1565, 1646, 2565, 2590, 2615, 2641, 2669, 2699, 2731, 2765, 2801, 2878, 3758, 3783, 3808, 3833, 3859, 3887, 3917, 3949, 3983, 4056, 4899, 4924, 4949, 4974, 4999, 5025, 5053, 5083, 5115, 5184, 5992, 6017, 6042, 6067, 6092, 6117, 6143, 6171, 6201, 6266, 7041, 7066, 7091, 7116, 7141, 7166, 7191, 7217, 7245, 7306, 8050, 8075, 8100, 8125, 8150, 8175, 8200, 8225, 8251, 8308, 8340, 8564, 9025, 9050, 9075, 9100, 9125, 9150, 9175, 9200, 9225, 9278, 9966, 9991, 10016, 10041, 10066, 10091, 10116, 10141, 10166, 10216, 10879, 10904, 10929, 10954, 10979, 11004, 11029, 11054, 11079, 11104, 11129, 11763]
Discarding 114 places :
Implicit Place search using SMT only with invariants took 177053 ms to find 114 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 33932/34046 places, 51525/51525 transitions.
Applied a total of 0 rules in 2441 ms. Remains 33932 /33932 variables (removed 0) and now considering 51525/51525 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 181748 ms. Remains : 33932/34046 places, 51525/51525 transitions.
[2025-06-07 02:32:36] [INFO ] Flatten gal took : 1583 ms
[2025-06-07 02:32:37] [INFO ] Flatten gal took : 1539 ms
[2025-06-07 02:32:40] [INFO ] Input system was already deterministic with 51525 transitions.
[2025-06-07 02:32:42] [INFO ] Flatten gal took : 1387 ms
[2025-06-07 02:32:43] [INFO ] Flatten gal took : 1438 ms
[2025-06-07 02:32:44] [INFO ] Time to serialize gal into /tmp/CTLFireability9876794436167859328.gal : 229 ms
[2025-06-07 02:32:44] [INFO ] Time to serialize properties into /tmp/CTLFireability9461063488582353311.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/CTLFireability9876794436167859328.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9461063488582353311.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 02:33:15] [INFO ] Flatten gal took : 1378 ms
[2025-06-07 02:33:15] [INFO ] Applying decomposition
[2025-06-07 02:33:17] [INFO ] Flatten gal took : 1429 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/graph10803789557015533474.txt' '-o' '/tmp/graph10803789557015533474.bin' '-w' '/tmp/graph10803789557015533474.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph10803789557015533474.bin' '-l' '-1' '-v' '-w' '/tmp/graph10803789557015533474.weights' '-q' '0' '-e' '0.001'
[2025-06-07 02:33:21] [INFO ] Decomposing Gal with order
[2025-06-07 02:33:28] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 02:34:13] [INFO ] Removed a total of 35130 redundant transitions.
[2025-06-07 02:34:14] [INFO ] Flatten gal took : 8681 ms
[2025-06-07 02:34:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 5391 labels/synchronizations in 2476 ms.
[2025-06-07 02:34:19] [INFO ] Time to serialize gal into /tmp/CTLFireability12778638982974901408.gal : 352 ms
[2025-06-07 02:34:19] [INFO ] Time to serialize properties into /tmp/CTLFireability12306121016229301612.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/CTLFireability12778638982974901408.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12306121016229301612.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 : 34046/34046 places, 51525/51525 transitions.
Applied a total of 0 rules in 3432 ms. Remains 34046 /34046 variables (removed 0) and now considering 51525/51525 (removed 0) transitions.
[2025-06-07 02:34:53] [INFO ] Flow matrix only has 50469 transitions (discarded 1056 similar events)
[2025-06-07 02:34:53] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 02:35:36] [INFO ] Performed 3752/34046 implicitness test of which 30 returned IMPLICIT in 30 seconds.
[2025-06-07 02:36:07] [INFO ] Performed 5988/34046 implicitness test of which 50 returned IMPLICIT in 61 seconds.
[2025-06-07 02:36:37] [INFO ] Performed 8136/34046 implicitness test of which 74 returned IMPLICIT in 91 seconds.
[2025-06-07 02:37:07] [INFO ] Performed 10849/34046 implicitness test of which 102 returned IMPLICIT in 121 seconds.
[2025-06-07 02:37:33] [INFO ] Implicit Places using invariants in 160174 ms returned [7, 33, 61, 91, 123, 157, 193, 231, 271, 356, 1316, 1341, 1367, 1395, 1425, 1457, 1491, 1527, 1565, 1646, 2565, 2590, 2615, 2641, 2669, 2699, 2731, 2765, 2801, 2878, 3758, 3783, 3808, 3833, 3859, 3887, 3917, 3949, 3983, 4056, 4899, 4924, 4949, 4974, 4999, 5025, 5053, 5083, 5115, 5184, 5992, 6017, 6042, 6067, 6092, 6117, 6143, 6171, 6201, 6266, 7041, 7066, 7091, 7116, 7141, 7166, 7191, 7217, 7245, 7306, 8050, 8075, 8100, 8125, 8150, 8175, 8200, 8225, 8251, 8308, 8340, 8564, 9025, 9050, 9075, 9100, 9125, 9150, 9175, 9200, 9225, 9278, 9966, 9991, 10016, 10041, 10066, 10091, 10116, 10141, 10166, 10216, 10879, 10904, 10929, 10954, 10979, 11004, 11029, 11054, 11079, 11104, 11129, 11763, 11770, 11795, 11820, 11845, 11870, 11895, 11920, 11945, 11970, 11995]
Discarding 124 places :
Implicit Place search using SMT only with invariants took 160238 ms to find 124 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 33922/34046 places, 51525/51525 transitions.
Applied a total of 0 rules in 2194 ms. Remains 33922 /33922 variables (removed 0) and now considering 51525/51525 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 165874 ms. Remains : 33922/34046 places, 51525/51525 transitions.
[2025-06-07 02:37:37] [INFO ] Flatten gal took : 1331 ms
[2025-06-07 02:37:39] [INFO ] Flatten gal took : 1446 ms
[2025-06-07 02:37:41] [INFO ] Input system was already deterministic with 51525 transitions.
[2025-06-07 02:37:44] [INFO ] Flatten gal took : 1455 ms
[2025-06-07 02:37:45] [INFO ] Flatten gal took : 1456 ms
[2025-06-07 02:37:45] [INFO ] Time to serialize gal into /tmp/CTLFireability3571462951341852753.gal : 211 ms
[2025-06-07 02:37:45] [INFO ] Time to serialize properties into /tmp/CTLFireability16074936027418832364.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/CTLFireability3571462951341852753.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16074936027418832364.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 02:38:17] [INFO ] Flatten gal took : 1619 ms
[2025-06-07 02:38:17] [INFO ] Applying decomposition
[2025-06-07 02:38:19] [INFO ] Flatten gal took : 1529 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/graph117728048302885131.txt' '-o' '/tmp/graph117728048302885131.bin' '-w' '/tmp/graph117728048302885131.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph117728048302885131.bin' '-l' '-1' '-v' '-w' '/tmp/graph117728048302885131.weights' '-q' '0' '-e' '0.001'
[2025-06-07 02:38:23] [INFO ] Decomposing Gal with order
[2025-06-07 02:38:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 02:39:17] [INFO ] Removed a total of 35312 redundant transitions.
[2025-06-07 02:39:18] [INFO ] Flatten gal took : 8662 ms
[2025-06-07 02:39:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 3342 labels/synchronizations in 1915 ms.
[2025-06-07 02:39:21] [INFO ] Time to serialize gal into /tmp/CTLFireability14915904707353674525.gal : 316 ms
[2025-06-07 02:39:21] [INFO ] Time to serialize properties into /tmp/CTLFireability5953664475359765788.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/CTLFireability14915904707353674525.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5953664475359765788.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 : 34046/34046 places, 51525/51525 transitions.
Applied a total of 0 rules in 2576 ms. Remains 34046 /34046 variables (removed 0) and now considering 51525/51525 (removed 0) transitions.
[2025-06-07 02:39:54] [INFO ] Flow matrix only has 50469 transitions (discarded 1056 similar events)
[2025-06-07 02:39:54] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 02:40:38] [INFO ] Performed 3754/34046 implicitness test of which 30 returned IMPLICIT in 31 seconds.
[2025-06-07 02:41:08] [INFO ] Performed 6974/34046 implicitness test of which 60 returned IMPLICIT in 61 seconds.
[2025-06-07 02:41:38] [INFO ] Performed 8999/34046 implicitness test of which 82 returned IMPLICIT in 91 seconds.
[2025-06-07 02:42:08] [INFO ] Performed 10083/34046 implicitness test of which 97 returned IMPLICIT in 121 seconds.
[2025-06-07 02:42:34] [INFO ] Implicit Places using invariants in 160100 ms returned [7, 33, 61, 91, 123, 157, 193, 231, 271, 356, 1316, 1341, 1367, 1395, 1425, 1457, 1491, 1527, 1565, 1646, 2565, 2590, 2615, 2641, 2669, 2699, 2731, 2765, 2801, 2878, 3758, 3783, 3808, 3833, 3859, 3887, 3917, 3949, 3983, 4056, 4899, 4924, 4949, 4974, 4999, 5025, 5053, 5083, 5115, 5184, 5992, 6017, 6042, 6067, 6092, 6117, 6143, 6171, 6201, 6266, 7041, 7066, 7091, 7116, 7141, 7166, 7191, 7217, 7245, 7306, 8050, 8075, 8100, 8125, 8150, 8175, 8200, 8225, 8251, 8308, 8340, 8564, 9025, 9050, 9075, 9100, 9125, 9150, 9175, 9200, 9225, 9278, 9966, 9991, 10016, 10041, 10066, 10091, 10116, 10141, 10166, 10216, 10879, 10904, 10929, 10954, 10979, 11004, 11029, 11054, 11079, 11104, 11129, 11763]
Discarding 114 places :
Implicit Place search using SMT only with invariants took 160146 ms to find 114 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 33932/34046 places, 51525/51525 transitions.
Applied a total of 0 rules in 2267 ms. Remains 33932 /33932 variables (removed 0) and now considering 51525/51525 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 164991 ms. Remains : 33932/34046 places, 51525/51525 transitions.
[2025-06-07 02:42:38] [INFO ] Flatten gal took : 1629 ms
[2025-06-07 02:42:40] [INFO ] Flatten gal took : 1424 ms
[2025-06-07 02:42:42] [INFO ] Input system was already deterministic with 51525 transitions.
[2025-06-07 02:42:44] [INFO ] Flatten gal took : 1475 ms
[2025-06-07 02:42:45] [INFO ] Flatten gal took : 1423 ms
[2025-06-07 02:42:46] [INFO ] Time to serialize gal into /tmp/CTLFireability3506802949879916555.gal : 206 ms
[2025-06-07 02:42:46] [INFO ] Time to serialize properties into /tmp/CTLFireability13310326711026422669.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/CTLFireability3506802949879916555.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13310326711026422669.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 02:43:17] [INFO ] Flatten gal took : 1565 ms
[2025-06-07 02:43:17] [INFO ] Applying decomposition
[2025-06-07 02:43:19] [INFO ] Flatten gal took : 1419 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/graph11338093982176400470.txt' '-o' '/tmp/graph11338093982176400470.bin' '-w' '/tmp/graph11338093982176400470.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph11338093982176400470.bin' '-l' '-1' '-v' '-w' '/tmp/graph11338093982176400470.weights' '-q' '0' '-e' '0.001'
[2025-06-07 02:43:22] [INFO ] Decomposing Gal with order
[2025-06-07 02:43:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 02:44:18] [INFO ] Removed a total of 35366 redundant transitions.
[2025-06-07 02:44:19] [INFO ] Flatten gal took : 9037 ms
[2025-06-07 02:44:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 6138 labels/synchronizations in 1989 ms.
[2025-06-07 02:44:24] [INFO ] Time to serialize gal into /tmp/CTLFireability8466555215843517397.gal : 301 ms
[2025-06-07 02:44:24] [INFO ] Time to serialize properties into /tmp/CTLFireability11970216385330959126.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/CTLFireability8466555215843517397.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11970216385330959126.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 : 34046/34046 places, 51525/51525 transitions.
Applied a total of 0 rules in 2063 ms. Remains 34046 /34046 variables (removed 0) and now considering 51525/51525 (removed 0) transitions.
[2025-06-07 02:44:56] [INFO ] Flow matrix only has 50469 transitions (discarded 1056 similar events)
[2025-06-07 02:44:56] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 02:45:38] [INFO ] Performed 3720/34046 implicitness test of which 30 returned IMPLICIT in 30 seconds.
[2025-06-07 02:46:10] [INFO ] Performed 5988/34046 implicitness test of which 50 returned IMPLICIT in 61 seconds.
[2025-06-07 02:46:40] [INFO ] Performed 8055/34046 implicitness test of which 71 returned IMPLICIT in 92 seconds.
[2025-06-07 02:47:10] [INFO ] Performed 10148/34046 implicitness test of which 100 returned IMPLICIT in 122 seconds.
[2025-06-07 02:47:36] [INFO ] Implicit Places using invariants in 160087 ms returned [7, 33, 61, 91, 123, 157, 193, 231, 271, 356, 1316, 1341, 1367, 1395, 1425, 1457, 1491, 1527, 1565, 1646, 2565, 2590, 2615, 2641, 2669, 2699, 2731, 2765, 2801, 2878, 3758, 3783, 3808, 3833, 3859, 3887, 3917, 3949, 3983, 4056, 4899, 4924, 4949, 4974, 4999, 5025, 5053, 5083, 5115, 5184, 5992, 6017, 6042, 6067, 6092, 6117, 6143, 6171, 6201, 6266, 7041, 7066, 7091, 7116, 7141, 7166, 7191, 7217, 7245, 7306, 8050, 8075, 8100, 8125, 8150, 8175, 8200, 8225, 8251, 8308, 8340, 8564, 9025, 9050, 9075, 9100, 9125, 9150, 9175, 9200, 9225, 9278, 9966, 9991, 10016, 10041, 10066, 10091, 10116, 10141, 10166, 10216, 10879, 10904, 10929, 10954, 10979, 11004, 11029, 11054, 11079, 11104, 11129, 11763]
Discarding 114 places :
Implicit Place search using SMT only with invariants took 160132 ms to find 114 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 33932/34046 places, 51525/51525 transitions.
Applied a total of 0 rules in 2134 ms. Remains 33932 /33932 variables (removed 0) and now considering 51525/51525 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 164335 ms. Remains : 33932/34046 places, 51525/51525 transitions.
[2025-06-07 02:47:40] [INFO ] Flatten gal took : 1866 ms
[2025-06-07 02:47:42] [INFO ] Flatten gal took : 1677 ms
[2025-06-07 02:47:45] [INFO ] Input system was already deterministic with 51525 transitions.
[2025-06-07 02:47:47] [INFO ] Flatten gal took : 1557 ms
[2025-06-07 02:47:48] [INFO ] Flatten gal took : 1569 ms
[2025-06-07 02:47:48] [INFO ] Time to serialize gal into /tmp/CTLFireability4416666089596418269.gal : 290 ms
[2025-06-07 02:47:48] [INFO ] Time to serialize properties into /tmp/CTLFireability15264062472981706091.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/CTLFireability4416666089596418269.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15264062472981706091.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 02:48:20] [INFO ] Flatten gal took : 1568 ms
[2025-06-07 02:48:20] [INFO ] Applying decomposition
[2025-06-07 02:48:22] [INFO ] Flatten gal took : 1704 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/graph6194557704852198437.txt' '-o' '/tmp/graph6194557704852198437.bin' '-w' '/tmp/graph6194557704852198437.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph6194557704852198437.bin' '-l' '-1' '-v' '-w' '/tmp/graph6194557704852198437.weights' '-q' '0' '-e' '0.001'
[2025-06-07 02:48:26] [INFO ] Decomposing Gal with order
[2025-06-07 02:48:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 02:49:24] [INFO ] Removed a total of 35537 redundant transitions.
[2025-06-07 02:49:25] [INFO ] Flatten gal took : 8248 ms
[2025-06-07 02:49:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 5599 labels/synchronizations in 1820 ms.
[2025-06-07 02:49:29] [INFO ] Time to serialize gal into /tmp/CTLFireability8675094312787392797.gal : 283 ms
[2025-06-07 02:49:29] [INFO ] Time to serialize properties into /tmp/CTLFireability2936811640959533020.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/CTLFireability8675094312787392797.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2936811640959533020.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 : 34046/34046 places, 51525/51525 transitions.
Applied a total of 0 rules in 2371 ms. Remains 34046 /34046 variables (removed 0) and now considering 51525/51525 (removed 0) transitions.
[2025-06-07 02:50:01] [INFO ] Flow matrix only has 50469 transitions (discarded 1056 similar events)
[2025-06-07 02:50:01] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 02:50:44] [INFO ] Performed 3730/34046 implicitness test of which 30 returned IMPLICIT in 30 seconds.
[2025-06-07 02:51:15] [INFO ] Performed 5987/34046 implicitness test of which 50 returned IMPLICIT in 60 seconds.
[2025-06-07 02:51:45] [INFO ] Performed 8519/34046 implicitness test of which 81 returned IMPLICIT in 90 seconds.
[2025-06-07 02:52:15] [INFO ] Performed 10867/34046 implicitness test of which 102 returned IMPLICIT in 120 seconds.
[2025-06-07 02:52:41] [INFO ] Implicit Places using invariants in 160093 ms returned [7, 33, 61, 91, 123, 157, 193, 231, 271, 356, 1316, 1341, 1367, 1395, 1425, 1457, 1491, 1527, 1565, 1646, 2565, 2590, 2615, 2641, 2669, 2699, 2731, 2765, 2801, 2878, 3758, 3783, 3808, 3833, 3859, 3887, 3917, 3949, 3983, 4056, 4899, 4924, 4949, 4974, 4999, 5025, 5053, 5083, 5115, 5184, 5992, 6017, 6042, 6067, 6092, 6117, 6143, 6171, 6201, 6266, 7041, 7066, 7091, 7116, 7141, 7166, 7191, 7217, 7245, 7306, 8050, 8075, 8100, 8125, 8150, 8175, 8200, 8225, 8251, 8308, 8340, 8564, 9025, 9050, 9075, 9100, 9125, 9150, 9175, 9200, 9225, 9278, 9966, 9991, 10016, 10041, 10066, 10091, 10116, 10141, 10166, 10216, 10879, 10904, 10929, 10954, 10979, 11004, 11029, 11054, 11079, 11104, 11129, 11763, 11770, 11795, 11820, 11845, 11870, 11895, 11920, 11945, 11970, 11995, 12275]
Discarding 125 places :
Implicit Place search using SMT only with invariants took 160135 ms to find 125 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 33921/34046 places, 51525/51525 transitions.
Applied a total of 0 rules in 2078 ms. Remains 33921 /33921 variables (removed 0) and now considering 51525/51525 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 164591 ms. Remains : 33921/34046 places, 51525/51525 transitions.
[2025-06-07 02:52:45] [INFO ] Flatten gal took : 1262 ms
[2025-06-07 02:52:47] [INFO ] Flatten gal took : 1804 ms
[2025-06-07 02:52:49] [INFO ] Input system was already deterministic with 51525 transitions.
[2025-06-07 02:52:51] [INFO ] Flatten gal took : 1632 ms
[2025-06-07 02:52:52] [INFO ] Flatten gal took : 1365 ms
[2025-06-07 02:52:53] [INFO ] Time to serialize gal into /tmp/CTLFireability12229634969538741106.gal : 230 ms
[2025-06-07 02:52:53] [INFO ] Time to serialize properties into /tmp/CTLFireability612960398510132253.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/CTLFireability12229634969538741106.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability612960398510132253.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 02:53:24] [INFO ] Flatten gal took : 1386 ms
[2025-06-07 02:53:24] [INFO ] Applying decomposition
[2025-06-07 02:53:26] [INFO ] Flatten gal took : 1527 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/graph1095331397828412126.txt' '-o' '/tmp/graph1095331397828412126.bin' '-w' '/tmp/graph1095331397828412126.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph1095331397828412126.bin' '-l' '-1' '-v' '-w' '/tmp/graph1095331397828412126.weights' '-q' '0' '-e' '0.001'
[2025-06-07 02:53:30] [INFO ] Decomposing Gal with order
[2025-06-07 02:53:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 02:54:26] [INFO ] Removed a total of 35161 redundant transitions.
[2025-06-07 02:54:27] [INFO ] Flatten gal took : 8680 ms
[2025-06-07 02:54:30] [INFO ] Fuse similar labels procedure discarded/fused a total of 6048 labels/synchronizations in 1946 ms.
[2025-06-07 02:54:31] [INFO ] Time to serialize gal into /tmp/CTLFireability3887035729871414298.gal : 290 ms
[2025-06-07 02:54:31] [INFO ] Time to serialize properties into /tmp/CTLFireability17785917879043292751.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/CTLFireability3887035729871414298.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17785917879043292751.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 : 34046/34046 places, 51525/51525 transitions.
Applied a total of 0 rules in 2130 ms. Remains 34046 /34046 variables (removed 0) and now considering 51525/51525 (removed 0) transitions.
[2025-06-07 02:55:03] [INFO ] Flow matrix only has 50469 transitions (discarded 1056 similar events)
[2025-06-07 02:55:03] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 02:55:45] [INFO ] Performed 3742/34046 implicitness test of which 30 returned IMPLICIT in 30 seconds.
[2025-06-07 02:56:15] [INFO ] Performed 6312/34046 implicitness test of which 60 returned IMPLICIT in 60 seconds.
[2025-06-07 02:56:45] [INFO ] Performed 8975/34046 implicitness test of which 82 returned IMPLICIT in 90 seconds.
[2025-06-07 02:57:15] [INFO ] Performed 10861/34046 implicitness test of which 102 returned IMPLICIT in 120 seconds.
[2025-06-07 02:57:43] [INFO ] Implicit Places using invariants in 160093 ms returned [7, 33, 61, 91, 123, 157, 193, 231, 271, 356, 1316, 1341, 1367, 1395, 1425, 1457, 1491, 1527, 1565, 1646, 2565, 2590, 2615, 2641, 2669, 2699, 2731, 2765, 2801, 2878, 3758, 3783, 3808, 3833, 3859, 3887, 3917, 3949, 3983, 4056, 4899, 4924, 4949, 4974, 4999, 5025, 5053, 5083, 5115, 5184, 5992, 6017, 6042, 6067, 6092, 6117, 6143, 6171, 6201, 6266, 7041, 7066, 7091, 7116, 7141, 7166, 7191, 7217, 7245, 7306, 8050, 8075, 8100, 8125, 8150, 8175, 8200, 8225, 8251, 8308, 8340, 8564, 9025, 9050, 9075, 9100, 9125, 9150, 9175, 9200, 9225, 9278, 9966, 9991, 10016, 10041, 10066, 10091, 10116, 10141, 10166, 10216, 10879, 10904, 10929, 10954, 10979, 11004, 11029, 11054, 11079, 11104, 11129, 11763, 11770, 11795, 11820, 11845, 11870, 11895, 11920, 11945, 11970, 11995, 12275]
Discarding 125 places :
Implicit Place search using SMT only with invariants took 160138 ms to find 125 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 33921/34046 places, 51525/51525 transitions.
Applied a total of 0 rules in 2075 ms. Remains 33921 /33921 variables (removed 0) and now considering 51525/51525 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 164346 ms. Remains : 33921/34046 places, 51525/51525 transitions.
[2025-06-07 02:57:47] [INFO ] Flatten gal took : 1259 ms
[2025-06-07 02:57:48] [INFO ] Flatten gal took : 1386 ms
[2025-06-07 02:57:50] [INFO ] Input system was already deterministic with 51525 transitions.
[2025-06-07 02:57:52] [INFO ] Flatten gal took : 1704 ms
[2025-06-07 02:57:54] [INFO ] Flatten gal took : 1655 ms
[2025-06-07 02:57:54] [INFO ] Time to serialize gal into /tmp/CTLFireability17600807021555260066.gal : 259 ms
[2025-06-07 02:57:54] [INFO ] Time to serialize properties into /tmp/CTLFireability3241840073271240019.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/CTLFireability17600807021555260066.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3241840073271240019.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 02:58:26] [INFO ] Flatten gal took : 1370 ms
[2025-06-07 02:58:26] [INFO ] Applying decomposition
[2025-06-07 02:58:27] [INFO ] Flatten gal took : 1583 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/graph8209294981221192577.txt' '-o' '/tmp/graph8209294981221192577.bin' '-w' '/tmp/graph8209294981221192577.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph8209294981221192577.bin' '-l' '-1' '-v' '-w' '/tmp/graph8209294981221192577.weights' '-q' '0' '-e' '0.001'
[2025-06-07 02:58:31] [INFO ] Decomposing Gal with order
[2025-06-07 02:58:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 02:59:26] [INFO ] Removed a total of 35206 redundant transitions.
[2025-06-07 02:59:27] [INFO ] Flatten gal took : 8580 ms
[2025-06-07 02:59:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 5937 labels/synchronizations in 1838 ms.
[2025-06-07 02:59:31] [INFO ] Time to serialize gal into /tmp/CTLFireability14793206120117785894.gal : 285 ms
[2025-06-07 02:59:31] [INFO ] Time to serialize properties into /tmp/CTLFireability91661401338225665.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/CTLFireability14793206120117785894.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability91661401338225665.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 -...261
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 34046/34046 places, 51525/51525 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 11600 transitions
Trivial Post-agglo rules discarded 11600 transitions
Performed 11600 trivial Post agglomeration. Transition count delta: 11600
Iterating post reduction 0 with 11600 rules applied. Total rules applied 11600 place count 34046 transition count 39925
Reduce places removed 11600 places and 0 transitions.
Performed 16 Post agglomeration using F-continuation condition.Transition count delta: 16
Iterating post reduction 1 with 11616 rules applied. Total rules applied 23216 place count 22446 transition count 39909
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 2 with 16 rules applied. Total rules applied 23232 place count 22430 transition count 39909
Performed 725 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 725 Pre rules applied. Total rules applied 23232 place count 22430 transition count 39184
Deduced a syphon composed of 725 places in 79 ms
Reduce places removed 725 places and 0 transitions.
Iterating global reduction 3 with 1450 rules applied. Total rules applied 24682 place count 21705 transition count 39184
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 49 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 24748 place count 21672 transition count 39151
Applied a total of 24748 rules in 8890 ms. Remains 21672 /34046 variables (removed 12374) and now considering 39151/51525 (removed 12374) transitions.
[2025-06-07 03:00:10] [INFO ] Flow matrix only has 38095 transitions (discarded 1056 similar events)
// Phase 1: matrix 38095 rows 21672 cols
[2025-06-07 03:00:21] [INFO ] Computed 1603 invariants in 10498 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:00:58] [INFO ] Performed 4915/21672 implicitness test of which 69 returned IMPLICIT in 30 seconds.
[2025-06-07 03:01:29] [INFO ] Performed 8616/21672 implicitness test of which 137 returned IMPLICIT in 60 seconds.
[2025-06-07 03:02:00] [INFO ] Performed 12479/21672 implicitness test of which 393 returned IMPLICIT in 91 seconds.
[2025-06-07 03:02:30] [INFO ] Performed 15302/21672 implicitness test of which 558 returned IMPLICIT in 122 seconds.
[2025-06-07 03:03:00] [INFO ] Performed 18728/21672 implicitness test of which 710 returned IMPLICIT in 152 seconds.
[2025-06-07 03:03:01] [INFO ] Implicit Places using invariants in 170597 ms returned [6, 21, 38, 57, 78, 101, 126, 153, 182, 245, 940, 954, 969, 986, 1005, 1026, 1049, 1074, 1101, 1160, 1814, 1828, 1842, 1857, 1874, 1893, 1914, 1937, 1962, 2017, 2632, 2646, 2660, 2674, 2689, 2706, 2725, 2746, 2769, 2820, 3398, 3412, 3426, 3440, 3454, 3469, 3486, 3505, 3526, 3573, 4116, 4130, 4144, 4158, 4172, 4186, 4201, 4218, 4237, 4280, 4790, 4804, 4818, 4832, 4846, 4860, 4874, 4889, 4906, 4945, 5424, 5438, 5452, 5466, 5480, 5494, 5508, 5522, 5537, 5572, 5593, 5751, 6024, 6038, 6052, 6066, 6080, 6094, 6108, 6122, 6136, 6167, 6590, 6604, 6618, 6632, 6646, 6660, 6674, 6688, 6702, 6730, 7128, 7142, 7156, 7170, 7184, 7198, 7212, 7226, 7240, 7254, 7268, 7638, 7644, 7658, 7672, 7686, 7700, 7714, 7728, 7742, 7756, 7770, 7940, 8139, 8153, 8167, 8181, 8195, 8209, 8223, 8237, 8251, 8265, 8292, 8614, 8620, 8634, 8648, 8662, 8676, 8690, 8704, 8718, 8732, 8746, 8773, 8903, 8917, 8931, 8945, 8959, 8973, 8987, 9001, 9015, 9029, 9043, 9057, 9094, 9100, 9114, 9128, 9142, 9156, 9170, 9184, 9198, 9212, 9226, 9240, 9254, 9268, 9282, 9296, 9311, 9327, 9342, 9356, 9370, 9384, 9398, 9412, 9426, 9440, 9454, 9468, 9482, 9496, 9510, 9524, 9538, 9575, 9581, 9595, 9609, 9623, 9637, 9651, 9665, 9679, 9693, 9707, 9721, 9735, 9749, 9763, 9777, 9791, 9805, 9819, 9833, 9847, 9861, 9875, 9889, 9903, 9917, 9931, 9945, 9959, 9973, 9987, 10001, 10015, 10052, 10054, 10057, 10071, 10085, 10099, 10113, 10127, 10141, 10155, 10169, 10183, 10197, 10211, 10225, 10239, 10253, 10267, 10281, 10295, 10309, 10323, 10337, 10351, 10365, 10379, 10393, 10407, 10421, 10435, 10449, 10463, 10477, 10491, 10528, 10534, 10548, 10562, 10576, 10590, 10604, 10618, 10632, 10646, 10660, 10674, 10688, 10702, 10716, 10730, 10744, 10758, 10772, 10786, 10800, 10814, 10828, 10842, 10856, 10870, 10884, 10898, 10912, 10926, 10940, 10954, 10968, 11005, 11011, 11025, 11039, 11053, 11067, 11081, 11095, 11109, 11123, 11137, 11151, 11165, 11179, 11193, 11207, 11221, 11236, 11252, 11267, 11281, 11295, 11309, 11323, 11337, 11351, 11365, 11379, 11393, 11407, 11421, 11435, 11449, 11486, 11492, 11506, 11520, 11534, 11548, 11562, 11576, 11590, 11604, 11618, 11632, 11646, 11660, 11674, 11688, 11703, 11720, 11738, 11755, 11770, 11784, 11798, 11812, 11826, 11840, 11854, 11868, 11882, 11896, 11910, 11924, 11938, 11975, 11981, 11995, 12009, 12023, 12037, 12051, 12065, 12079, 12093, 12107, 12121, 12135, 12149, 12163, 12178, 12195, 12214, 12234, 12253, 12270, 12285, 12299, 12313, 12327, 12341, 12355, 12369, 12383, 12397, 12411, 12425, 12439, 12476, 12482, 12496, 12510, 12524, 12538, 12552, 12566, 12580, 12594, 12608, 12622, 12636, 12650, 12665, 12682, 12701, 12722, 12744, 12765, 12784, 12801, 12816, 12830, 12844, 12858, 12872, 12886, 12900, 12914, 12928, 12942, 12956, 12993, 12999, 13013, 13027, 13041, 13055, 13069, 13083, 13097, 13111, 13125, 13139, 13153, 13168, 13185, 13204, 13225, 13248, 13272, 13295, 13316, 13335, 13352, 13367, 13381, 13395, 13409, 13423, 13437, 13451, 13465, 13479, 13493, 13530, 13536, 13550, 13564, 13578, 13592, 13606, 13620, 13634, 13648, 13662, 13676, 13691, 13708, 13727, 13748, 13771, 13796, 13822, 13847, 13870, 13891, 13910, 13927, 13942, 13956, 13970, 13984, 13998, 14012, 14026, 14040, 14054, 14091, 14097, 14111, 14125, 14139, 14153, 14167, 14181, 14195, 14209, 14223, 14238, 14255, 14274, 14295, 14318, 14343, 14370, 14398, 14425, 14450, 14473, 14494, 14513, 14530, 14545, 14559, 14573, 14587, 14601, 14615, 14629, 14643, 14680, 14686, 14700, 14714, 14728, 14742, 14756, 14770, 14784, 14798, 14813, 14830, 14849, 14870, 14893, 14918, 14945, 14974, 15004, 15033, 15060, 15085, 15108, 15129, 15148, 15165, 15180, 15194, 15208, 15222, 15236, 15250, 15264, 15301, 15307, 15321, 15335, 15349, 15363, 15377, 15391, 15405, 15420, 15437, 15456, 15477, 15500, 15525, 15552, 15581, 15612, 15644, 15675, 15704, 15731, 15756, 15779, 15800, 15819, 15836, 15851, 15865, 15879, 15893, 15907, 15921, 15958, 15964, 15978, 15992, 16006, 16020, 16034, 16048, 16063, 16080, 16099, 16120, 16143, 16168, 16195, 16224, 16255, 16288, 16322, 16355, 16386, 16415, 16442, 16467, 16490, 16511, 16530, 16547, 16562, 16576, 16590, 16604, 16618, 16655, 16661, 16675, 16689, 16703, 16717, 16731, 16746, 16763, 16782, 16803, 16826, 16851, 16878, 16907, 16938, 16971, 17006, 17042, 17077, 17110, 17141, 17170, 17197, 17222, 17245, 17266, 17285, 17302, 17317, 17331, 17345, 17359, 17396, 17402, 17416, 17430, 17444, 17458, 17473, 17490, 17509, 17530, 17553, 17578, 17605, 17634, 17665, 17698, 17733, 17770, 17808, 17845, 17880, 17913, 17944, 17973, 18000, 18025, 18048, 18069, 18088, 18105, 18120, 18134, 18148, 18185, 18191, 18205, 18219, 18233, 18248, 18265, 18284, 18305, 18328, 18353, 18380, 18409, 18440, 18473, 18508, 18545, 18584, 18624, 18663, 18700, 18735, 18768, 18799]
[2025-06-07 03:03:01] [INFO ] Actually due to overlaps returned [7638, 8614, 9094, 9575, 10052, 10528, 11005, 11486, 11975, 12476, 12993, 13530, 14091, 14680, 15301, 15958, 16655, 17396, 18185, 6, 21, 38, 57, 78, 101, 126, 153, 182, 245, 940, 954, 969, 986, 1005, 1026, 1049, 1074, 1101, 1160, 1814, 1828, 1842, 1857, 1874, 1893, 1914, 1937, 1962, 2017, 2632, 2646, 2660, 2674, 2689, 2706, 2725, 2746, 2769, 2820, 3398, 3412, 3426, 3440, 3454, 3469, 3486, 3505, 3526, 3573, 4116, 4130, 4144, 4158, 4172, 4186, 4201, 4218, 4237, 4280, 4790, 4804, 4818, 4832, 4846, 4860, 4874, 4889, 4906, 4945, 5424, 5438, 5452, 5466, 5480, 5494, 5508, 5522, 5537, 5572, 6024, 6038, 6052, 6066, 6080, 6094, 6108, 6122, 6136, 6167, 6590, 6604, 6618, 6632, 6646, 6660, 6674, 6688, 6702, 6730, 7128, 7142, 7156, 7170, 7184, 7198, 7212, 7226, 7240, 7254, 7268, 7644, 7658, 7672, 7686, 7700, 7714, 7728, 7742, 7756, 7770, 8139, 8153, 8167, 8181, 8195, 8209, 8223, 8237, 8251, 8265, 8292, 8620, 8634, 8648, 8662, 8676, 8690, 8704, 8718, 8732, 8746, 8773, 9029, 9043, 9057, 9100, 9114, 9128, 9142, 9156, 9170, 9184, 9198, 9212, 9226, 9254, 9510, 9524, 9538, 9581, 9595, 9609, 9623, 9637, 9651, 9665, 9679, 9693, 9707, 9735, 9987, 10001, 10015, 10054, 10057, 10071, 10085, 10099, 10113, 10127, 10141, 10155, 10169, 10183, 10211, 10463, 10477, 10491, 10534, 10548, 10562, 10576, 10590, 10604, 10618, 10632, 10646, 10660, 10688, 10940, 10954, 10968, 11011, 11025, 11039, 11053, 11067, 11081, 11095, 11109, 11123, 11137, 11165, 11421, 11435, 11449, 11492, 11506, 11520, 11534, 11548, 11562, 11576, 11590, 11604, 11618, 11646, 11910, 11924, 11938, 11981, 11995, 12009, 12023, 12037, 12051, 12065, 12079, 12093, 12107, 12135, 12411, 12425, 12439, 12482, 12496, 12510, 12524, 12538, 12552, 12566, 12580, 12594, 12608, 12636, 12928, 12942, 12956, 12999, 13013, 13027, 13041, 13055, 13069, 13083, 13097, 13111, 13125, 13153, 13465, 13479, 13493, 13536, 13550, 13564, 13578, 13592, 13606, 13620, 13634, 13648, 13662, 13691, 14026, 14040, 14054, 14097, 14111, 14125, 14139, 14153, 14167, 14181, 14195, 14209, 14223, 14255, 14615, 14629, 14643, 14686, 14700, 14714, 14728, 14742, 14756, 14770, 14784, 14798, 14813, 14849, 15236, 15250, 15264, 15307, 15321, 15335, 15349, 15363, 15377, 15391, 15405, 15420, 15437, 15477, 15893, 15907, 15921, 15964, 15978, 15992, 16006, 16020, 16034, 16048, 16063, 16080, 16099, 16143, 16590, 16604, 16618, 16661, 16675, 16689, 16703, 16717, 16731, 16746, 16763, 16782, 16803, 16851, 17331, 17345, 17359, 17402, 17416, 17430, 17444, 17458, 17473, 17490, 17509, 17530, 17553, 17605, 18120, 18134, 18148, 18191, 18205, 18219, 18233, 18248, 18265, 18284, 18305, 18328, 18353, 18409]
Discarding 401 places :
Implicit Place search using SMT only with invariants took 170655 ms to find 401 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 21271/34046 places, 39151/51525 transitions.
Applied a total of 0 rules in 2930 ms. Remains 21271 /21271 variables (removed 0) and now considering 39151/39151 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 182477 ms. Remains : 21271/34046 places, 39151/51525 transitions.
[2025-06-07 03:03:05] [INFO ] Flatten gal took : 1014 ms
[2025-06-07 03:03:06] [INFO ] Flatten gal took : 1075 ms
[2025-06-07 03:03:08] [INFO ] Input system was already deterministic with 39151 transitions.
[2025-06-07 03:03:09] [INFO ] Flatten gal took : 1368 ms
[2025-06-07 03:03:10] [INFO ] Flatten gal took : 1020 ms
[2025-06-07 03:03:10] [INFO ] Time to serialize gal into /tmp/CTLFireability8196740344848653911.gal : 177 ms
[2025-06-07 03:03:10] [INFO ] Time to serialize properties into /tmp/CTLFireability2558067585148150143.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/CTLFireability8196740344848653911.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2558067585148150143.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 03:03:42] [INFO ] Flatten gal took : 1048 ms
[2025-06-07 03:03:42] [INFO ] Applying decomposition
[2025-06-07 03:03:43] [INFO ] Flatten gal took : 1088 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/graph2963487926465246614.txt' '-o' '/tmp/graph2963487926465246614.bin' '-w' '/tmp/graph2963487926465246614.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2963487926465246614.bin' '-l' '-1' '-v' '-w' '/tmp/graph2963487926465246614.weights' '-q' '0' '-e' '0.001'
[2025-06-07 03:03:45] [INFO ] Decomposing Gal with order
[2025-06-07 03:03:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-07 03:04:22] [INFO ] Removed a total of 34393 redundant transitions.
[2025-06-07 03:04:23] [INFO ] Flatten gal took : 10762 ms
[2025-06-07 03:04:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 7220 labels/synchronizations in 2230 ms.
[2025-06-07 03:04:27] [INFO ] Time to serialize gal into /tmp/CTLFireability2319730466059671736.gal : 238 ms
[2025-06-07 03:04:27] [INFO ] Time to serialize properties into /tmp/CTLFireability15834289943578516550.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/CTLFireability2319730466059671736.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15834289943578516550.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 : 34046/34046 places, 51525/51525 transitions.
Applied a total of 0 rules in 2238 ms. Remains 34046 /34046 variables (removed 0) and now considering 51525/51525 (removed 0) transitions.
[2025-06-07 03:04:59] [INFO ] Flow matrix only has 50469 transitions (discarded 1056 similar events)
// Phase 1: matrix 50469 rows 34046 cols
[2025-06-07 03:05:20] [INFO ] Computed 1603 invariants in 20347 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-07 03:06:03] [INFO ] Performed 3724/34046 implicitness test of which 30 returned IMPLICIT in 30 seconds.
[2025-06-07 03:06:34] [INFO ] Performed 5988/34046 implicitness test of which 50 returned IMPLICIT in 61 seconds.
[2025-06-07 03:07:04] [INFO ] Performed 8979/34046 implicitness test of which 82 returned IMPLICIT in 91 seconds.
[2025-06-07 03:07:34] [INFO ] Performed 10873/34046 implicitness test of which 102 returned IMPLICIT in 121 seconds.
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-S32C11"
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-S32C11, 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-174876524600498"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C11.tgz
mv MultiCrashLeafsetExtension-PT-S32C11 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 ;