About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S32C10
| 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 | ????F?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-174876524600490.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-S32C10, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-174876524600490
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 33M
-rw-r--r-- 1 mcc users 14K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.0K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 22K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 25K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 140K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 53K 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 32M 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-S32C10-CTLFireability-2023-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-CTLFireability-2023-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-CTLFireability-2023-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-CTLFireability-2023-15
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-CTLFireability-2025-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-CTLFireability-2025-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-CTLFireability-2025-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-CTLFireability-2025-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-CTLFireability-2025-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-CTLFireability-2025-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-CTLFireability-2025-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-CTLFireability-2025-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-CTLFireability-2025-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-CTLFireability-2025-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-CTLFireability-2025-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C10-CTLFireability-2025-11
=== Now, execution of the tool begins
BK_START 1749247626820
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-S32C10
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202505121319
[2025-06-06 22:07:09] [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-06 22:07:09] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-06 22:07:11] [INFO ] Load time of PNML (sax parser for PT used): 2000 ms
[2025-06-06 22:07:11] [INFO ] Transformed 32088 places.
[2025-06-06 22:07:11] [INFO ] Transformed 48223 transitions.
[2025-06-06 22:07:12] [INFO ] Parsed PT model containing 32088 places and 48223 transitions and 181342 arcs in 3202 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 51 ms.
Support contains 199 out of 32088 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 32088/32088 places, 48223/48223 transitions.
Reduce places removed 56 places and 0 transitions.
Iterating post reduction 0 with 56 rules applied. Total rules applied 56 place count 32032 transition count 48223
Applied a total of 56 rules in 4190 ms. Remains 32032 /32088 variables (removed 56) and now considering 48223/48223 (removed 0) transitions.
[2025-06-06 22:07:17] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
// Phase 1: matrix 47167 rows 32032 cols
[2025-06-06 22:07:40] [INFO ] Computed 1837 invariants in 22214 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 22:08:24] [INFO ] Performed 3620/32032 implicitness test of which 100 returned IMPLICIT in 31 seconds.
[2025-06-06 22:08:54] [INFO ] Performed 6757/32032 implicitness test of which 198 returned IMPLICIT in 61 seconds.
[2025-06-06 22:09:26] [INFO ] Performed 8660/32032 implicitness test of which 265 returned IMPLICIT in 93 seconds.
[2025-06-06 22:09:57] [INFO ] Performed 11267/32032 implicitness test of which 364 returned IMPLICIT in 124 seconds.
[2025-06-06 22:10:20] [INFO ] Implicit Places using invariants in 182473 ms returned [4, 8, 32, 58, 86, 116, 148, 182, 218, 256, 296, 338, 382, 428, 476, 526, 578, 631, 683, 733, 781, 827, 871, 913, 953, 991, 1027, 1061, 1093, 1123, 1151, 1177, 1201, 1265, 1272, 1295, 1319, 1345, 1373, 1403, 1435, 1469, 1505, 1543, 1583, 1625, 1669, 1715, 1763, 1813, 1864, 1914, 1962, 2008, 2052, 2094, 2134, 2172, 2208, 2242, 2274, 2304, 2332, 2358, 2382, 2405, 2469, 2476, 2499, 2522, 2546, 2572, 2600, 2630, 2662, 2696, 2732, 2770, 2810, 2852, 2896, 2942, 2990, 3039, 3087, 3133, 3177, 3219, 3259, 3297, 3333, 3367, 3399, 3429, 3457, 3483, 3507, 3530, 3553, 3617, 3624, 3647, 3670, 3693, 3717, 3743, 3771, 3801, 3833, 3867, 3903, 3941, 3981, 4023, 4067, 4113, 4160, 4206, 4250, 4292, 4332, 4370, 4406, 4440, 4472, 4502, 4530, 4556, 4580, 4603, 4626, 4649, 4713, 4720, 4743, 4766, 4789, 4812, 4836, 4862, 4890, 4920, 4952, 4986, 5022, 5060, 5100, 5142, 5186, 5231, 5275, 5317, 5357, 5395, 5431, 5465, 5497, 5527, 5555, 5581, 5605, 5628, 5651, 5674, 5697, 5761, 5768, 5791, 5814, 5837, 5860, 5883, 5907, 5933, 5961, 5991, 6023, 6057, 6093, 6131, 6171, 6213, 6256, 6298, 6338, 6376, 6412, 6446, 6478, 6508, 6536, 6562, 6586, 6609, 6632, 6655, 6678, 6701, 6765, 6772, 6795, 6818, 6841, 6864, 6887, 6910, 6934, 6960, 6988, 7018, 7050, 7084, 7120, 7158, 7198, 7239, 7279, 7317, 7353, 7387, 7419, 7449, 7477, 7503, 7527, 7550, 7573, 7596, 7619, 7642, 7665, 7729, 7736, 7759, 7782, 7805, 7828, 7851, 7874, 7897, 7921, 7947, 7975, 8005, 8037, 8071, 8107, 8145, 8184, 8222, 8258, 8292, 8324, 8354, 8382, 8408, 8432, 8455, 8478, 8501, 8524, 8547, 8570, 8593, 8657, 8664, 8687, 8710, 8733, 8756, 8779, 8802, 8825, 8848, 8872, 8898, 8926, 8956, 8988, 9022, 9058, 9095, 9131, 9165, 9197, 9227, 9255, 9281, 9305, 9328, 9351, 9374, 9397, 9420, 9443, 9466, 9489, 9553, 9560, 9583, 9606, 9629, 9652, 9675, 9698, 9721, 9744, 9767, 9791, 9817, 9845, 9875, 9907, 9941, 9976, 10010, 10042, 10072, 10100, 10126, 10150, 10173, 10196, 10219, 10242, 10265, 10288, 10311, 10334, 10357, 10421, 10428, 10451, 10474, 10497, 10520, 10543, 10566, 10589, 10612, 10635, 10658, 10682, 10708, 10736, 10766, 10798, 10831, 10863, 10893, 10921, 10947, 10971, 10994, 11017, 11040, 11063, 11086, 11109, 11132, 11155, 11178, 11201, 11265, 11272, 11295, 11318, 11341, 11364, 11387, 11410, 11433, 11456, 11479, 11502, 11525, 11549, 11575, 11603, 11633, 11664, 11694, 11722, 11748, 11772, 11795, 11818, 11841, 11864, 11887, 11910, 11933, 11956, 11979, 12002, 12025, 12089, 12096, 12119, 12142, 12165, 12188, 12211, 12234, 12257, 12280, 12303, 12326, 12349, 12372, 12396, 12422, 12450, 12479, 12507, 12533, 12557, 12580, 12603, 12626, 12649, 12672, 12695, 12718, 12741, 12764, 12787, 12810, 12833, 12897]
[2025-06-06 22:10:20] [INFO ] Actually due to overlaps returned [1265, 2469, 3617, 4713, 5761, 6765, 7729, 8657, 9553, 10421, 11265, 12089, 12897, 4, 428, 476, 526, 578, 631, 683, 733, 781, 827, 871, 913, 953, 991, 1027, 1061, 1093, 1123, 1151, 1177, 1201, 1669, 1715, 1763, 1813, 1864, 1914, 1962, 2008, 2052, 2094, 2134, 2172, 2208, 2242, 2274, 2304, 2332, 2358, 2382, 2405, 2852, 2896, 2942, 2990, 3039, 3087, 3133, 3177, 3219, 3259, 3297, 3333, 3367, 3399, 3429, 3457, 3483, 3507, 3530, 3553, 3981, 4023, 4067, 4113, 4160, 4206, 4250, 4292, 4332, 4370, 4406, 4440, 4472, 4502, 4530, 4556, 4580, 4603, 4626, 4649, 5060, 5100, 5142, 5186, 5231, 5275, 5317, 5357, 5395, 5431, 5465, 5497, 5527, 5555, 5581, 5605, 5628, 5651, 5674, 5697, 6093, 6131, 6171, 6213, 6256, 6298, 6338, 6376, 6412, 6446, 6478, 6508, 6536, 6562, 6586, 6609, 6632, 6655, 6678, 6701, 7084, 7120, 7158, 7198, 7239, 7279, 7317, 7353, 7387, 7419, 7449, 7477, 7503, 7527, 7550, 7573, 7596, 7619, 7642, 7665, 8037, 8071, 8107, 8145, 8184, 8222, 8258, 8292, 8324, 8354, 8382, 8408, 8432, 8455, 8478, 8501, 8524, 8547, 8570, 8593, 8956, 8988, 9022, 9058, 9095, 9131, 9165, 9197, 9227, 9255, 9281, 9305, 9328, 9351, 9374, 9397, 9420, 9443, 9466, 9489, 9845, 9875, 9907, 9941, 9976, 10010, 10042, 10072, 10100, 10126, 10150, 10173, 10196, 10219, 10242, 10265, 10288, 10311, 10334, 10357, 10708, 10736, 10766, 10798, 10831, 10863, 10893, 10921, 10947, 10971, 10994, 11017, 11040, 11063, 11086, 11109, 11132, 11155, 11178, 11201, 11549, 11575, 11603, 11633, 11664, 11694, 11722, 11748, 11772, 11795, 11818, 11841, 11864, 11887, 11910, 11933, 11956, 11979, 12002, 12025, 12372, 12396, 12422, 12450, 12479, 12507, 12533, 12557, 12580, 12603, 12626, 12649, 12672, 12695, 12718, 12741, 12764, 12787, 12810, 12833]
Discarding 274 places :
Implicit Place search using SMT only with invariants took 182606 ms to find 274 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 31758/32088 places, 48223/48223 transitions.
Applied a total of 0 rules in 3236 ms. Remains 31758 /31758 variables (removed 0) and now considering 48223/48223 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 190066 ms. Remains : 31758/32088 places, 48223/48223 transitions.
Support contains 199 out of 31758 places after structural reductions.
[2025-06-06 22:10:26] [INFO ] Flatten gal took : 2084 ms
[2025-06-06 22:10:28] [INFO ] Flatten gal took : 1766 ms
[2025-06-06 22:10:31] [INFO ] Input system was already deterministic with 48223 transitions.
Support contains 184 out of 31758 places (down from 199) after GAL structural reductions.
RANDOM walk for 40000 steps (390 resets) in 8491 ms. (4 steps per ms) remains 58/81 properties
BEST_FIRST walk for 4004 steps (8 resets) in 202 ms. (19 steps per ms) remains 58/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 130 ms. (30 steps per ms) remains 57/58 properties
BEST_FIRST walk for 4004 steps (8 resets) in 79 ms. (50 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 57/57 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 56/57 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 56/56 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 55/56 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 54 ms. (72 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 60 ms. (65 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 57 ms. (69 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 62 ms. (63 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 55/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 54/55 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 54/54 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 54/54 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 54/54 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 54/54 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 54/54 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 54/54 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 54/54 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 54/54 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 54/54 properties
[2025-06-06 22:10:35] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
// Phase 1: matrix 47167 rows 31758 cols
[2025-06-06 22:10:54] [INFO ] Computed 1563 invariants in 19304 ms
[2025-06-06 22:10:55] [INFO ] State equation strengthened by 15490 read => feed constraints.
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/118 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/118 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 54 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 20016/78925 variables, and 32 constraints, problems are : Problem set: 0 solved, 54 unsolved in 5019 ms.
Refiners :[Positive P Invariants (semi-flows): 32/63 constraints, Generalized P Invariants (flows): 0/1500 constraints, State Equation: 0/31758 constraints, ReadFeed: 0/15490 constraints, PredecessorRefiner: 54/54 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 54 unsolved
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/118 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 54 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/118 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 54 unsolved
SMT process timed out in 30448ms, After SMT, problems are : Problem set: 0 solved, 54 unsolved
Fused 54 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 118 out of 31758 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 31758/31758 places, 48223/48223 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 10263 transitions
Trivial Post-agglo rules discarded 10263 transitions
Performed 10263 trivial Post agglomeration. Transition count delta: 10263
Iterating post reduction 0 with 10263 rules applied. Total rules applied 10263 place count 31758 transition count 37960
Reduce places removed 10263 places and 0 transitions.
Performed 288 Post agglomeration using F-continuation condition.Transition count delta: 288
Iterating post reduction 1 with 10551 rules applied. Total rules applied 20814 place count 21495 transition count 37672
Reduce places removed 288 places and 0 transitions.
Iterating post reduction 2 with 288 rules applied. Total rules applied 21102 place count 21207 transition count 37672
Performed 642 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 642 Pre rules applied. Total rules applied 21102 place count 21207 transition count 37030
Deduced a syphon composed of 642 places in 86 ms
Reduce places removed 642 places and 0 transitions.
Iterating global reduction 3 with 1284 rules applied. Total rules applied 22386 place count 20565 transition count 37030
Performed 31 Post agglomeration using F-continuation condition.Transition count delta: 31
Deduced a syphon composed of 31 places in 73 ms
Reduce places removed 31 places and 0 transitions.
Iterating global reduction 3 with 62 rules applied. Total rules applied 22448 place count 20534 transition count 36999
Free-agglomeration rule (complex) applied 1529 times.
Iterating global reduction 3 with 1529 rules applied. Total rules applied 23977 place count 20534 transition count 35470
Reduce places removed 1529 places and 0 transitions.
Iterating post reduction 3 with 1529 rules applied. Total rules applied 25506 place count 19005 transition count 35470
Partial Free-agglomeration rule applied 7623 times.
Drop transitions (Partial Free agglomeration) removed 7623 transitions
Iterating global reduction 4 with 7623 rules applied. Total rules applied 33129 place count 19005 transition count 35470
Applied a total of 33129 rules in 16039 ms. Remains 19005 /31758 variables (removed 12753) and now considering 35470/48223 (removed 12753) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 16042 ms. Remains : 19005/31758 places, 35470/48223 transitions.
RANDOM walk for 40000 steps (653 resets) in 6832 ms. (5 steps per ms) remains 47/54 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 58 ms. (67 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (8 resets) in 82 ms. (48 steps per ms) remains 46/47 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4004 steps (8 resets) in 79 ms. (50 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4003 steps (8 resets) in 88 ms. (44 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4002 steps (8 resets) in 93 ms. (42 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4003 steps (8 resets) in 82 ms. (48 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4004 steps (8 resets) in 78 ms. (50 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4003 steps (8 resets) in 77 ms. (51 steps per ms) remains 45/46 properties
BEST_FIRST walk for 4003 steps (8 resets) in 80 ms. (49 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (8 resets) in 82 ms. (48 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 82 ms. (48 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4002 steps (8 resets) in 82 ms. (48 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (8 resets) in 77 ms. (51 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (8 resets) in 78 ms. (50 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (8 resets) in 87 ms. (45 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 78 ms. (50 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (8 resets) in 80 ms. (49 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (8 resets) in 80 ms. (49 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4002 steps (8 resets) in 78 ms. (50 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 73 ms. (54 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (8 resets) in 74 ms. (53 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4000 steps (8 resets) in 87 ms. (45 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4002 steps (8 resets) in 78 ms. (50 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (8 resets) in 76 ms. (51 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 45/45 properties
[2025-06-06 22:11:24] [INFO ] Flow matrix only has 33929 transitions (discarded 1541 similar events)
// Phase 1: matrix 33929 rows 19005 cols
[2025-06-06 22:11:44] [INFO ] Computed 1563 invariants in 20037 ms
[2025-06-06 22:11:46] [INFO ] State equation strengthened by 15490 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.
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
At refinement iteration 0 (INCLUDED_ONLY) 0/102 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 45 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/102 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 45 unsolved
Problem AtomicPropp6 is UNSAT
Problem AtomicPropp9 is UNSAT
Problem AtomicPropp39 is UNSAT
Problem AtomicPropp60 is UNSAT
Problem AtomicPropp77 is UNSAT
At refinement iteration 2 (OVERLAPS) 7244/7346 variables, 30/33 constraints. Problems are: Problem set: 5 solved, 40 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-06 22:12:19] [INFO ] Deduced a trap composed of 1119 places in 27838 ms of which 12016 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-06 22:12:47] [INFO ] Deduced a trap composed of 1316 places in 28024 ms of which 12048 ms to minimize.
SMT process timed out in 82666ms, After SMT, problems are : Problem set: 5 solved, 40 unsolved
Fused 40 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 76 out of 19005 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19005/19005 places, 35470/35470 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 19005 transition count 35468
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 19003 transition count 35468
Performed 7 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 7 Pre rules applied. Total rules applied 4 place count 19003 transition count 35461
Deduced a syphon composed of 7 places in 23 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 2 with 14 rules applied. Total rules applied 18 place count 18996 transition count 35461
Free-agglomeration rule (complex) applied 16 times.
Iterating global reduction 2 with 16 rules applied. Total rules applied 34 place count 18996 transition count 35445
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 2 with 16 rules applied. Total rules applied 50 place count 18980 transition count 35445
Partial Free-agglomeration rule applied 17 times.
Drop transitions (Partial Free agglomeration) removed 17 transitions
Iterating global reduction 3 with 17 rules applied. Total rules applied 67 place count 18980 transition count 35445
Applied a total of 67 rules in 5128 ms. Remains 18980 /19005 variables (removed 25) and now considering 35445/35470 (removed 25) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 5128 ms. Remains : 18980/19005 places, 35445/35470 transitions.
Successfully simplified 5 atomic propositions for a total of 16 simplifications.
[2025-06-06 22:12:53] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2025-06-06 22:12:54] [INFO ] Flatten gal took : 1257 ms
FORMULA MultiCrashLeafsetExtension-PT-S32C10-CTLFireability-2025-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-06 22:12:55] [INFO ] Flatten gal took : 1372 ms
[2025-06-06 22:12:57] [INFO ] Input system was already deterministic with 48223 transitions.
Support contains 127 out of 31758 places (down from 145) after GAL structural reductions.
Computed a total of 25742 stabilizing places and 36254 stable transitions
Starting structural reductions in SI_CTL mode, iteration 0 : 31758/31758 places, 48223/48223 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 10560 transitions
Trivial Post-agglo rules discarded 10560 transitions
Performed 10560 trivial Post agglomeration. Transition count delta: 10560
Iterating post reduction 0 with 10560 rules applied. Total rules applied 10560 place count 31758 transition count 37663
Reduce places removed 10560 places and 0 transitions.
Iterating post reduction 1 with 10560 rules applied. Total rules applied 21120 place count 21198 transition count 37663
Performed 660 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 660 Pre rules applied. Total rules applied 21120 place count 21198 transition count 37003
Deduced a syphon composed of 660 places in 62 ms
Reduce places removed 660 places and 0 transitions.
Iterating global reduction 2 with 1320 rules applied. Total rules applied 22440 place count 20538 transition count 37003
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 74 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 22506 place count 20505 transition count 36970
Applied a total of 22506 rules in 7325 ms. Remains 20505 /31758 variables (removed 11253) and now considering 36970/48223 (removed 11253) transitions.
[2025-06-06 22:13:05] [INFO ] Flow matrix only has 35914 transitions (discarded 1056 similar events)
// Phase 1: matrix 35914 rows 20505 cols
[2025-06-06 22:13:16] [INFO ] Computed 1563 invariants in 11295 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 22:13:52] [INFO ] Performed 4742/20505 implicitness test of which 82 returned IMPLICIT in 30 seconds.
[2025-06-06 22:14:22] [INFO ] Performed 8355/20505 implicitness test of which 169 returned IMPLICIT in 60 seconds.
[2025-06-06 22:14:53] [INFO ] Performed 11792/20505 implicitness test of which 421 returned IMPLICIT in 90 seconds.
[2025-06-06 22:15:24] [INFO ] Performed 14446/20505 implicitness test of which 586 returned IMPLICIT in 121 seconds.
[2025-06-06 22:15:54] [INFO ] Performed 17783/20505 implicitness test of which 740 returned IMPLICIT in 151 seconds.
[2025-06-06 22:15:56] [INFO ] Implicit Places using invariants in 171398 ms returned [6, 20, 36, 54, 74, 96, 120, 146, 174, 204, 236, 270, 908, 921, 935, 951, 969, 989, 1011, 1035, 1061, 1089, 1119, 1151, 1750, 1763, 1776, 1790, 1806, 1824, 1844, 1866, 1890, 1916, 1944, 1974, 2536, 2549, 2562, 2575, 2589, 2605, 2623, 2643, 2665, 2689, 2715, 2743, 3270, 3283, 3296, 3309, 3322, 3336, 3352, 3370, 3390, 3412, 3436, 3462, 3956, 3969, 3982, 3995, 4008, 4021, 4035, 4051, 4069, 4089, 4111, 4135, 4598, 4611, 4624, 4637, 4650, 4663, 4676, 4690, 4706, 4724, 4744, 4766, 5200, 5213, 5226, 5239, 5252, 5265, 5278, 5291, 5305, 5321, 5339, 5359, 5766, 5779, 5792, 5805, 5818, 5831, 5844, 5857, 5870, 5884, 5900, 5918, 6300, 6313, 6326, 6339, 6352, 6365, 6378, 6391, 6404, 6417, 6431, 6447, 6806, 6819, 6832, 6845, 6858, 6871, 6884, 6897, 6910, 6923, 6936, 6950, 7288, 7301, 7314, 7327, 7340, 7353, 7366, 7379, 7392, 7405, 7418, 7431, 7750, 7763, 7776, 7789, 7802, 7815, 7828, 7841, 7854, 7867, 7880, 7893, 8196, 8209, 8222, 8235, 8248, 8261, 8274, 8287, 8300, 8313, 8326, 8339, 8352, 8365, 8379, 8395, 8412, 8428, 8442, 8455, 8468, 8481, 8494, 8507, 8520, 8533, 8546, 8559, 8572, 8585, 8598, 8611, 8645, 8651, 8664, 8677, 8690, 8703, 8716, 8729, 8742, 8755, 8768, 8781, 8794, 8807, 8820, 8833, 8847, 8862, 8876, 8889, 8902, 8915, 8928, 8941, 8954, 8967, 8980, 8993, 9006, 9019, 9032, 9045, 9058, 9092, 9098, 9111, 9124, 9137, 9150, 9163, 9176, 9189, 9202, 9215, 9228, 9241, 9254, 9267, 9280, 9293, 9306, 9319, 9332, 9345, 9358, 9371, 9384, 9397, 9410, 9423, 9436, 9449, 9462, 9475, 9488, 9501, 9535, 9537, 9540, 9553, 9566, 9579, 9592, 9605, 9618, 9631, 9644, 9657, 9670, 9683, 9696, 9709, 9722, 9735, 9748, 9761, 9774, 9787, 9800, 9813, 9826, 9839, 9852, 9865, 9878, 9891, 9904, 9917, 9930, 9943, 9977, 9983, 9996, 10009, 10022, 10035, 10048, 10061, 10074, 10087, 10100, 10113, 10126, 10139, 10152, 10165, 10178, 10191, 10204, 10217, 10230, 10243, 10256, 10269, 10282, 10295, 10308, 10321, 10334, 10347, 10360, 10373, 10386, 10420, 10426, 10439, 10452, 10465, 10478, 10491, 10504, 10517, 10530, 10543, 10556, 10569, 10582, 10595, 10608, 10621, 10635, 10650, 10664, 10677, 10690, 10703, 10716, 10729, 10742, 10755, 10768, 10781, 10794, 10807, 10820, 10833, 10867, 10873, 10886, 10899, 10912, 10925, 10938, 10951, 10964, 10977, 10990, 11003, 11016, 11029, 11042, 11055, 11069, 11085, 11102, 11118, 11132, 11145, 11158, 11171, 11184, 11197, 11210, 11223, 11236, 11249, 11262, 11275, 11288, 11322, 11328, 11341, 11354, 11367, 11380, 11393, 11406, 11419, 11432, 11445, 11458, 11471, 11484, 11497, 11511, 11527, 11545, 11564, 11582, 11598, 11612, 11625, 11638, 11651, 11664, 11677, 11690, 11703, 11716, 11729, 11742, 11755, 11789, 11795, 11808, 11821, 11834, 11847, 11860, 11873, 11886, 11899, 11912, 11925, 11938, 11951, 11965, 11981, 11999, 12019, 12040, 12060, 12078, 12094, 12108, 12121, 12134, 12147, 12160, 12173, 12186, 12199, 12212, 12225, 12238, 12272, 12278, 12291, 12304, 12317, 12330, 12343, 12356, 12369, 12382, 12395, 12408, 12421, 12435, 12451, 12469, 12489, 12511, 12534, 12556, 12576, 12594, 12610, 12624, 12637, 12650, 12663, 12676, 12689, 12702, 12715, 12728, 12741, 12775, 12781, 12794, 12807, 12820, 12833, 12846, 12859, 12872, 12885, 12898, 12911, 12925, 12941, 12959, 12979, 13001, 13025, 13050, 13074, 13096, 13116, 13134, 13150, 13164, 13177, 13190, 13203, 13216, 13229, 13242, 13255, 13268, 13302, 13308, 13321, 13334, 13347, 13360, 13373, 13386, 13399, 13412, 13425, 13439, 13455, 13473, 13493, 13515, 13539, 13565, 13592, 13618, 13642, 13664, 13684, 13702, 13718, 13732, 13745, 13758, 13771, 13784, 13797, 13810, 13823, 13857, 13863, 13876, 13889, 13902, 13915, 13928, 13941, 13954, 13967, 13981, 13997, 14015, 14035, 14057, 14081, 14107, 14135, 14164, 14192, 14218, 14242, 14264, 14284, 14302, 14318, 14332, 14345, 14358, 14371, 14384, 14397, 14410, 14444, 14450, 14463, 14476, 14489, 14502, 14515, 14528, 14541, 14555, 14571, 14589, 14609, 14631, 14655, 14681, 14709, 14739, 14770, 14800, 14828, 14854, 14878, 14900, 14920, 14938, 14954, 14968, 14981, 14994, 15007, 15020, 15033, 15067, 15073, 15086, 15099, 15112, 15125, 15138, 15151, 15165, 15181, 15199, 15219, 15241, 15265, 15291, 15319, 15349, 15381, 15414, 15446, 15476, 15504, 15530, 15554, 15576, 15596, 15614, 15630, 15644, 15657, 15670, 15683, 15696, 15730, 15736, 15749, 15762, 15775, 15788, 15801, 15815, 15831, 15849, 15869, 15891, 15915, 15941, 15969, 15999, 16031, 16065, 16100, 16134, 16166, 16196, 16224, 16250, 16274, 16296, 16316, 16334, 16350, 16364, 16377, 16390, 16403, 16437, 16443, 16456, 16469, 16482, 16495, 16509, 16525, 16543, 16563, 16585, 16609, 16635, 16663, 16693, 16725, 16759, 16795, 16832, 16868, 16902, 16934, 16964, 16992, 17018, 17042, 17064, 17084, 17102, 17118, 17132, 17145, 17158, 17192, 17198, 17211, 17224, 17237, 17251, 17267, 17285, 17305, 17327, 17351, 17377, 17405, 17435, 17467, 17501, 17537, 17575, 17614, 17652, 17688, 17722, 17754, 17784, 17812, 17838, 17862, 17884, 17904, 17922, 17938, 17952, 17965, 17999]
[2025-06-06 22:15:56] [INFO ] Actually due to overlaps returned [8645, 9092, 9535, 9977, 10420, 10867, 11322, 11789, 12272, 12775, 13302, 13857, 14444, 15067, 15730, 16437, 17192, 17999, 6, 20, 36, 54, 74, 96, 120, 146, 174, 204, 236, 270, 908, 921, 935, 951, 969, 989, 1011, 1035, 1061, 1089, 1119, 1151, 1750, 1763, 1776, 1790, 1806, 1824, 1844, 1866, 1890, 1916, 1944, 1974, 2536, 2549, 2562, 2575, 2589, 2605, 2623, 2643, 2665, 2689, 2715, 2743, 3270, 3283, 3296, 3309, 3322, 3336, 3352, 3370, 3390, 3412, 3436, 3462, 3956, 3969, 3982, 3995, 4008, 4021, 4035, 4051, 4069, 4089, 4111, 4135, 4598, 4611, 4624, 4637, 4650, 4663, 4676, 4690, 4706, 4724, 4744, 4766, 5200, 5213, 5226, 5239, 5252, 5265, 5278, 5291, 5305, 5321, 5339, 5359, 5766, 5779, 5792, 5805, 5818, 5831, 5844, 5857, 5870, 5884, 5900, 5918, 6300, 6313, 6326, 6339, 6352, 6365, 6378, 6391, 6404, 6417, 6431, 6447, 6806, 6819, 6832, 6845, 6858, 6871, 6884, 6897, 6910, 6923, 6936, 6950, 7288, 7301, 7314, 7327, 7340, 7353, 7366, 7379, 7392, 7405, 7418, 7431, 7750, 7763, 7776, 7789, 7802, 7815, 7828, 7841, 7854, 7867, 7880, 7893, 8196, 8209, 8222, 8235, 8248, 8261, 8274, 8287, 8300, 8313, 8326, 8339, 8352, 8598, 8611, 8651, 8664, 8677, 8690, 8703, 8716, 8729, 8742, 8755, 8768, 8781, 8794, 8807, 9045, 9058, 9098, 9111, 9124, 9137, 9150, 9163, 9176, 9189, 9202, 9215, 9228, 9241, 9254, 9488, 9501, 9537, 9540, 9553, 9566, 9579, 9592, 9605, 9618, 9631, 9644, 9657, 9670, 9683, 9696, 9930, 9943, 9983, 9996, 10009, 10022, 10035, 10048, 10061, 10074, 10087, 10100, 10113, 10126, 10139, 10373, 10386, 10426, 10439, 10452, 10465, 10478, 10491, 10504, 10517, 10530, 10543, 10556, 10569, 10582, 10820, 10833, 10873, 10886, 10899, 10912, 10925, 10938, 10951, 10964, 10977, 10990, 11003, 11016, 11029, 11275, 11288, 11328, 11341, 11354, 11367, 11380, 11393, 11406, 11419, 11432, 11445, 11458, 11471, 11484, 11742, 11755, 11795, 11808, 11821, 11834, 11847, 11860, 11873, 11886, 11899, 11912, 11925, 11938, 11951, 12225, 12238, 12278, 12291, 12304, 12317, 12330, 12343, 12356, 12369, 12382, 12395, 12408, 12421, 12435, 12728, 12741, 12781, 12794, 12807, 12820, 12833, 12846, 12859, 12872, 12885, 12898, 12911, 12925, 12941, 13255, 13268, 13308, 13321, 13334, 13347, 13360, 13373, 13386, 13399, 13412, 13425, 13439, 13455, 13473, 13810, 13823, 13863, 13876, 13889, 13902, 13915, 13928, 13941, 13954, 13967, 13981, 13997, 14015, 14035, 14397, 14410, 14450, 14463, 14476, 14489, 14502, 14515, 14528, 14541, 14555, 14571, 14589, 14609, 14631, 15020, 15033, 15073, 15086, 15099, 15112, 15125, 15138, 15151, 15165, 15181, 15199, 15219, 15241, 15265, 15683, 15696, 15736, 15749, 15762, 15775, 15788, 15801, 15815, 15831, 15849, 15869, 15891, 15915, 15941, 16390, 16403, 16443, 16456, 16469, 16482, 16495, 16509, 16525, 16543, 16563, 16585, 16609, 16635, 16663, 17145, 17158, 17198, 17211, 17224, 17237, 17251, 17267, 17285, 17305, 17327, 17351, 17377, 17405, 17435, 17952, 17965]
Discarding 445 places :
Implicit Place search using SMT only with invariants took 171435 ms to find 445 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 20060/31758 places, 36970/48223 transitions.
Applied a total of 0 rules in 2316 ms. Remains 20060 /20060 variables (removed 0) and now considering 36970/36970 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 181083 ms. Remains : 20060/31758 places, 36970/48223 transitions.
[2025-06-06 22:15:59] [INFO ] Flatten gal took : 872 ms
[2025-06-06 22:16:00] [INFO ] Flatten gal took : 1008 ms
[2025-06-06 22:16:02] [INFO ] Input system was already deterministic with 36970 transitions.
[2025-06-06 22:16:03] [INFO ] Flatten gal took : 974 ms
[2025-06-06 22:16:04] [INFO ] Flatten gal took : 1015 ms
[2025-06-06 22:16:05] [INFO ] Time to serialize gal into /tmp/CTLFireability4357053122250006206.gal : 350 ms
[2025-06-06 22:16:05] [INFO ] Time to serialize properties into /tmp/CTLFireability13707839581220852335.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/CTLFireability4357053122250006206.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13707839581220852335.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-06 22:16:36] [INFO ] Flatten gal took : 1105 ms
[2025-06-06 22:16:36] [INFO ] Applying decomposition
[2025-06-06 22:16:37] [INFO ] Flatten gal took : 1150 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/graph470814529581549305.txt' '-o' '/tmp/graph470814529581549305.bin' '-w' '/tmp/graph470814529581549305.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph470814529581549305.bin' '-l' '-1' '-v' '-w' '/tmp/graph470814529581549305.weights' '-q' '0' '-e' '0.001'
[2025-06-06 22:16:41] [INFO ] Decomposing Gal with order
[2025-06-06 22:16:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 22:17:10] [INFO ] Removed a total of 30305 redundant transitions.
[2025-06-06 22:17:12] [INFO ] Flatten gal took : 9874 ms
[2025-06-06 22:17:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 7266 labels/synchronizations in 2501 ms.
[2025-06-06 22:17:17] [INFO ] Time to serialize gal into /tmp/CTLFireability14670651105356834337.gal : 345 ms
[2025-06-06 22:17:17] [INFO ] Time to serialize properties into /tmp/CTLFireability9324669416035601441.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/CTLFireability14670651105356834337.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9324669416035601441.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 SI_CTL mode, iteration 0 : 31758/31758 places, 48223/48223 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 10544 transitions
Trivial Post-agglo rules discarded 10544 transitions
Performed 10544 trivial Post agglomeration. Transition count delta: 10544
Iterating post reduction 0 with 10544 rules applied. Total rules applied 10544 place count 31758 transition count 37679
Reduce places removed 10544 places and 0 transitions.
Performed 16 Post agglomeration using F-continuation condition.Transition count delta: 16
Iterating post reduction 1 with 10560 rules applied. Total rules applied 21104 place count 21214 transition count 37663
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 2 with 16 rules applied. Total rules applied 21120 place count 21198 transition count 37663
Performed 659 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 659 Pre rules applied. Total rules applied 21120 place count 21198 transition count 37004
Deduced a syphon composed of 659 places in 53 ms
Reduce places removed 659 places and 0 transitions.
Iterating global reduction 3 with 1318 rules applied. Total rules applied 22438 place count 20539 transition count 37004
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 53 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 22504 place count 20506 transition count 36971
Applied a total of 22504 rules in 7044 ms. Remains 20506 /31758 variables (removed 11252) and now considering 36971/48223 (removed 11252) transitions.
[2025-06-06 22:17:54] [INFO ] Flow matrix only has 35915 transitions (discarded 1056 similar events)
// Phase 1: matrix 35915 rows 20506 cols
[2025-06-06 22:18:01] [INFO ] Computed 1563 invariants in 7015 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 22:18:37] [INFO ] Performed 5482/20506 implicitness test of which 96 returned IMPLICIT in 30 seconds.
[2025-06-06 22:19:07] [INFO ] Performed 8546/20506 implicitness test of which 182 returned IMPLICIT in 60 seconds.
[2025-06-06 22:19:37] [INFO ] Performed 11792/20506 implicitness test of which 421 returned IMPLICIT in 90 seconds.
[2025-06-06 22:20:10] [INFO ] Performed 13861/20506 implicitness test of which 553 returned IMPLICIT in 122 seconds.
[2025-06-06 22:20:40] [INFO ] Performed 16308/20506 implicitness test of which 677 returned IMPLICIT in 152 seconds.
[2025-06-06 22:20:41] [INFO ] Implicit Places using invariants in 167123 ms returned [6, 20, 36, 54, 74, 96, 120, 146, 174, 204, 236, 270, 908, 921, 935, 951, 969, 989, 1011, 1035, 1061, 1089, 1119, 1151, 1750, 1763, 1776, 1790, 1806, 1824, 1844, 1866, 1890, 1916, 1944, 1974, 2537, 2550, 2563, 2576, 2590, 2606, 2624, 2644, 2666, 2690, 2716, 2744, 3271, 3284, 3297, 3310, 3323, 3337, 3353, 3371, 3391, 3413, 3437, 3463, 3957, 3970, 3983, 3996, 4009, 4022, 4036, 4052, 4070, 4090, 4112, 4136, 4599, 4612, 4625, 4638, 4651, 4664, 4677, 4691, 4707, 4725, 4745, 4767, 5201, 5214, 5227, 5240, 5253, 5266, 5279, 5292, 5306, 5322, 5340, 5360, 5767, 5780, 5793, 5806, 5819, 5832, 5845, 5858, 5871, 5885, 5901, 5919, 6301, 6314, 6327, 6340, 6353, 6366, 6379, 6392, 6405, 6418, 6432, 6448, 6807, 6820, 6833, 6846, 6859, 6872, 6885, 6898, 6911, 6924, 6937, 6951, 7289, 7302, 7315, 7328, 7341, 7354, 7367, 7380, 7393, 7406, 7419, 7432, 7751, 7764, 7777, 7790, 7803, 7816, 7829, 7842, 7855, 7868, 7881, 7894, 8197, 8210, 8223, 8236, 8249, 8262, 8275, 8288, 8301, 8314, 8327, 8340, 8353, 8366, 8380, 8396, 8413, 8429, 8443, 8456, 8469, 8482, 8495, 8508, 8521, 8534, 8547, 8560, 8573, 8586, 8599, 8612, 8646, 8652, 8665, 8678, 8691, 8704, 8717, 8730, 8743, 8756, 8769, 8782, 8795, 8808, 8821, 8834, 8848, 8863, 8877, 8890, 8903, 8916, 8929, 8942, 8955, 8968, 8981, 8994, 9007, 9020, 9033, 9046, 9059, 9093, 9099, 9112, 9125, 9138, 9151, 9164, 9177, 9190, 9203, 9216, 9229, 9242, 9255, 9268, 9281, 9294, 9307, 9320, 9333, 9346, 9359, 9372, 9385, 9398, 9411, 9424, 9437, 9450, 9463, 9476, 9489, 9502, 9536, 9538, 9541, 9554, 9567, 9580, 9593, 9606, 9619, 9632, 9645, 9658, 9671, 9684, 9697, 9710, 9723, 9736, 9749, 9762, 9775, 9788, 9801, 9814, 9827, 9840, 9853, 9866, 9879, 9892, 9905, 9918, 9931, 9944, 9978, 9984, 9997, 10010, 10023, 10036, 10049, 10062, 10075, 10088, 10101, 10114, 10127, 10140, 10153, 10166, 10179, 10192, 10205, 10218, 10231, 10244, 10257, 10270, 10283, 10296, 10309, 10322, 10335, 10348, 10361, 10374, 10387, 10421, 10427, 10440, 10453, 10466, 10479, 10492, 10505, 10518, 10531, 10544, 10557, 10570, 10583, 10596, 10609, 10622, 10636, 10651, 10665, 10678, 10691, 10704, 10717, 10730, 10743, 10756, 10769, 10782, 10795, 10808, 10821, 10834, 10868, 10874, 10887, 10900, 10913, 10926, 10939, 10952, 10965, 10978, 10991, 11004, 11017, 11030, 11043, 11056, 11070, 11086, 11103, 11119, 11133, 11146, 11159, 11172, 11185, 11198, 11211, 11224, 11237, 11250, 11263, 11276, 11289, 11323, 11329, 11342, 11355, 11368, 11381, 11394, 11407, 11420, 11433, 11446, 11459, 11472, 11485, 11498, 11512, 11528, 11546, 11565, 11583, 11599, 11613, 11626, 11639, 11652, 11665, 11678, 11691, 11704, 11717, 11730, 11743, 11756, 11790, 11796, 11809, 11822, 11835, 11848, 11861, 11874, 11887, 11900, 11913, 11926, 11939, 11952, 11966, 11982, 12000, 12020, 12041, 12061, 12079, 12095, 12109, 12122, 12135, 12148, 12161, 12174, 12187, 12200, 12213, 12226, 12239, 12273, 12279, 12292, 12305, 12318, 12331, 12344, 12357, 12370, 12383, 12396, 12409, 12422, 12436, 12452, 12470, 12490, 12512, 12535, 12557, 12577, 12595, 12611, 12625, 12638, 12651, 12664, 12677, 12690, 12703, 12716, 12729, 12742, 12776, 12782, 12795, 12808, 12821, 12834, 12847, 12860, 12873, 12886, 12899, 12912, 12926, 12942, 12960, 12980, 13002, 13026, 13051, 13075, 13097, 13117, 13135, 13151, 13165, 13178, 13191, 13204, 13217, 13230, 13243, 13256, 13269, 13303, 13309, 13322, 13335, 13348, 13361, 13374, 13387, 13400, 13413, 13426, 13440, 13456, 13474, 13494, 13516, 13540, 13566, 13593, 13619, 13643, 13665, 13685, 13703, 13719, 13733, 13746, 13759, 13772, 13785, 13798, 13811, 13824, 13858, 13864, 13877, 13890, 13903, 13916, 13929, 13942, 13955, 13968, 13982, 13998, 14016, 14036, 14058, 14082, 14108, 14136, 14165, 14193, 14219, 14243, 14265, 14285, 14303, 14319, 14333, 14346, 14359, 14372, 14385, 14398, 14411, 14445, 14451, 14464, 14477, 14490, 14503, 14516, 14529, 14542, 14556, 14572, 14590, 14610, 14632, 14656, 14682, 14710, 14740, 14771, 14801, 14829, 14855, 14879, 14901, 14921, 14939, 14955, 14969, 14982, 14995, 15008, 15021, 15034, 15068, 15074, 15087, 15100, 15113, 15126, 15139, 15152, 15166, 15182, 15200, 15220, 15242, 15266, 15292, 15320, 15350, 15382, 15415, 15447, 15477, 15505, 15531, 15555, 15577, 15597, 15615, 15631, 15645, 15658, 15671, 15684, 15697, 15731, 15737, 15750, 15763, 15776, 15789, 15802, 15816, 15832, 15850, 15870, 15892, 15916, 15942, 15970, 16000, 16032, 16066, 16101, 16135, 16167, 16197, 16225, 16251, 16275, 16297, 16317, 16335, 16351, 16365, 16378, 16391, 16404, 16438]
[2025-06-06 22:20:41] [INFO ] Actually due to overlaps returned [8646, 9093, 9536, 9978, 10421, 10868, 11323, 11790, 12273, 12776, 13303, 13858, 14445, 15068, 15731, 16438, 6, 20, 36, 54, 74, 96, 120, 146, 174, 204, 236, 270, 908, 921, 935, 951, 969, 989, 1011, 1035, 1061, 1089, 1119, 1151, 1750, 1763, 1776, 1790, 1806, 1824, 1844, 1866, 1890, 1916, 1944, 1974, 2537, 2550, 2563, 2576, 2590, 2606, 2624, 2644, 2666, 2690, 2716, 2744, 3271, 3284, 3297, 3310, 3323, 3337, 3353, 3371, 3391, 3413, 3437, 3463, 3957, 3970, 3983, 3996, 4009, 4022, 4036, 4052, 4070, 4090, 4112, 4136, 4599, 4612, 4625, 4638, 4651, 4664, 4677, 4691, 4707, 4725, 4745, 4767, 5201, 5214, 5227, 5240, 5253, 5266, 5279, 5292, 5306, 5322, 5340, 5360, 5767, 5780, 5793, 5806, 5819, 5832, 5845, 5858, 5871, 5885, 5901, 5919, 6301, 6314, 6327, 6340, 6353, 6366, 6379, 6392, 6405, 6418, 6432, 6448, 6807, 6820, 6833, 6846, 6859, 6872, 6885, 6898, 6911, 6924, 6937, 6951, 7289, 7302, 7315, 7328, 7341, 7354, 7367, 7380, 7393, 7406, 7419, 7432, 7751, 7764, 7777, 7790, 7803, 7816, 7829, 7842, 7855, 7868, 7881, 7894, 8197, 8210, 8223, 8236, 8249, 8262, 8275, 8288, 8301, 8314, 8327, 8340, 8353, 8573, 8586, 8599, 8612, 8652, 8665, 8678, 8691, 8704, 8717, 8730, 8743, 8756, 8769, 8782, 8795, 8808, 9020, 9033, 9046, 9059, 9099, 9112, 9125, 9138, 9151, 9164, 9177, 9190, 9203, 9216, 9229, 9242, 9255, 9463, 9476, 9489, 9502, 9538, 9541, 9554, 9567, 9580, 9593, 9606, 9619, 9632, 9645, 9658, 9671, 9684, 9697, 9905, 9918, 9931, 9944, 9984, 9997, 10010, 10023, 10036, 10049, 10062, 10075, 10088, 10101, 10114, 10127, 10140, 10348, 10361, 10374, 10387, 10427, 10440, 10453, 10466, 10479, 10492, 10505, 10518, 10531, 10544, 10557, 10570, 10583, 10795, 10808, 10821, 10834, 10874, 10887, 10900, 10913, 10926, 10939, 10952, 10965, 10978, 10991, 11004, 11017, 11030, 11250, 11263, 11276, 11289, 11329, 11342, 11355, 11368, 11381, 11394, 11407, 11420, 11433, 11446, 11459, 11472, 11485, 11717, 11730, 11743, 11756, 11796, 11809, 11822, 11835, 11848, 11861, 11874, 11887, 11900, 11913, 11926, 11939, 11952, 12200, 12213, 12226, 12239, 12279, 12292, 12305, 12318, 12331, 12344, 12357, 12370, 12383, 12396, 12409, 12422, 12436, 12703, 12716, 12729, 12742, 12782, 12795, 12808, 12821, 12834, 12847, 12860, 12873, 12886, 12899, 12912, 12926, 12942, 13230, 13243, 13256, 13269, 13309, 13322, 13335, 13348, 13361, 13374, 13387, 13400, 13413, 13426, 13440, 13456, 13474, 13785, 13798, 13811, 13824, 13864, 13877, 13890, 13903, 13916, 13929, 13942, 13955, 13968, 13982, 13998, 14016, 14036, 14372, 14385, 14398, 14411, 14451, 14464, 14477, 14490, 14503, 14516, 14529, 14542, 14556, 14572, 14590, 14610, 14632, 14995, 15008, 15021, 15034, 15074, 15087, 15100, 15113, 15126, 15139, 15152, 15166, 15182, 15200, 15220, 15242, 15266, 15658, 15671, 15684, 15697, 15737, 15750, 15763, 15776, 15789, 15802, 15816, 15832, 15850, 15870, 15892, 15916, 15942, 16365, 16378, 16391, 16404]
Discarding 445 places :
Implicit Place search using SMT only with invariants took 167185 ms to find 445 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 20061/31758 places, 36971/48223 transitions.
Applied a total of 0 rules in 2427 ms. Remains 20061 /20061 variables (removed 0) and now considering 36971/36971 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 176658 ms. Remains : 20061/31758 places, 36971/48223 transitions.
[2025-06-06 22:20:44] [INFO ] Flatten gal took : 918 ms
[2025-06-06 22:20:45] [INFO ] Flatten gal took : 1057 ms
[2025-06-06 22:20:47] [INFO ] Input system was already deterministic with 36971 transitions.
RANDOM walk for 38943 steps (475 resets) in 3532 ms. (11 steps per ms) remains 0/1 properties
FORMULA MultiCrashLeafsetExtension-PT-S32C10-CTLFireability-2025-02 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
[2025-06-06 22:20:49] [INFO ] Flatten gal took : 1436 ms
[2025-06-06 22:20:50] [INFO ] Flatten gal took : 1025 ms
[2025-06-06 22:20:51] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12451660342150387251.gal : 175 ms
[2025-06-06 22:20:51] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality3125280189079748326.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality12451660342150387251.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality3125280189079748326.prop' '--nowitness' '--gen-order' 'FOLLOW'
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 31758/31758 places, 48223/48223 transitions.
Applied a total of 0 rules in 1963 ms. Remains 31758 /31758 variables (removed 0) and now considering 48223/48223 (removed 0) transitions.
[2025-06-06 22:20:53] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
// Phase 1: matrix 47167 rows 31758 cols
[2025-06-06 22:21:14] [INFO ] Computed 1563 invariants in 21375 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 22:21:56] [INFO ] Performed 3555/31758 implicitness test of which 36 returned IMPLICIT in 31 seconds.
[2025-06-06 22:22:26] [INFO ] Performed 6633/31758 implicitness test of which 72 returned IMPLICIT in 61 seconds.
[2025-06-06 22:22:59] [INFO ] Performed 8491/31758 implicitness test of which 96 returned IMPLICIT in 93 seconds.
[2025-06-06 22:23:29] [INFO ] Performed 10664/31758 implicitness test of which 132 returned IMPLICIT in 123 seconds.
[2025-06-06 22:23:54] [INFO ] Implicit Places using invariants in 181458 ms returned [7, 31, 57, 85, 115, 147, 181, 217, 255, 295, 337, 381, 1250, 1273, 1297, 1323, 1351, 1381, 1413, 1447, 1483, 1521, 1561, 1603, 2433, 2456, 2479, 2503, 2529, 2557, 2587, 2619, 2653, 2689, 2727, 2767, 3560, 3583, 3606, 3629, 3653, 3679, 3707, 3737, 3769, 3803, 3839, 3877, 4635, 4658, 4681, 4704, 4727, 4751, 4777, 4805, 4835, 4867, 4901, 4937, 5662, 5685, 5708, 5731, 5754, 5777, 5801, 5827, 5855, 5885, 5917, 5951, 6645, 6668, 6691, 6714, 6737, 6760, 6783, 6807, 6833, 6861, 6891, 6923, 7588, 7611, 7634, 7657, 7680, 7703, 7726, 7749, 7773, 7799, 7827, 7857, 8495, 8518, 8541, 8564, 8587, 8610, 8633, 8656, 8679, 8703, 8729, 8757, 9370, 9393, 9416, 9439, 9462, 9485, 9508, 9531, 9554, 9577, 9601, 9627, 10217, 10240, 10263, 10286, 10309, 10332, 10355, 10378, 10401, 10424, 10447, 10471, 11040, 11063, 11086, 11109, 11132, 11155, 11178, 11201, 11224, 11247, 11270, 11293, 11843, 11866, 11889, 11912, 11935, 11958, 11981, 12004, 12027, 12050, 12073, 12096]
Discarding 156 places :
Implicit Place search using SMT only with invariants took 181500 ms to find 156 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 31602/31758 places, 48223/48223 transitions.
Applied a total of 0 rules in 2038 ms. Remains 31602 /31602 variables (removed 0) and now considering 48223/48223 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 185507 ms. Remains : 31602/31758 places, 48223/48223 transitions.
[2025-06-06 22:23:57] [INFO ] Flatten gal took : 1215 ms
[2025-06-06 22:23:59] [INFO ] Flatten gal took : 1365 ms
[2025-06-06 22:24:01] [INFO ] Input system was already deterministic with 48223 transitions.
[2025-06-06 22:24:03] [INFO ] Flatten gal took : 1500 ms
[2025-06-06 22:24:04] [INFO ] Flatten gal took : 1438 ms
[2025-06-06 22:24:04] [INFO ] Time to serialize gal into /tmp/CTLFireability4033406898822039235.gal : 222 ms
[2025-06-06 22:24:04] [INFO ] Time to serialize properties into /tmp/CTLFireability7604844402021350723.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/CTLFireability4033406898822039235.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7604844402021350723.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-06 22:24:36] [INFO ] Flatten gal took : 1517 ms
[2025-06-06 22:24:36] [INFO ] Applying decomposition
[2025-06-06 22:24:37] [INFO ] Flatten gal took : 1377 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/graph7590470246141054407.txt' '-o' '/tmp/graph7590470246141054407.bin' '-w' '/tmp/graph7590470246141054407.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph7590470246141054407.bin' '-l' '-1' '-v' '-w' '/tmp/graph7590470246141054407.weights' '-q' '0' '-e' '0.001'
[2025-06-06 22:24:41] [INFO ] Decomposing Gal with order
[2025-06-06 22:24:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 22:25:28] [INFO ] Removed a total of 33160 redundant transitions.
[2025-06-06 22:25:29] [INFO ] Flatten gal took : 7491 ms
[2025-06-06 22:25:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 3773 labels/synchronizations in 2135 ms.
[2025-06-06 22:25:33] [INFO ] Time to serialize gal into /tmp/CTLFireability887434363688674004.gal : 282 ms
[2025-06-06 22:25:33] [INFO ] Time to serialize properties into /tmp/CTLFireability989238226848211640.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/CTLFireability887434363688674004.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability989238226848211640.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 -...260
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 31758/31758 places, 48223/48223 transitions.
Applied a total of 0 rules in 2199 ms. Remains 31758 /31758 variables (removed 0) and now considering 48223/48223 (removed 0) transitions.
[2025-06-06 22:26:05] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
[2025-06-06 22:26:05] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 22:26:47] [INFO ] Performed 3556/31758 implicitness test of which 36 returned IMPLICIT in 30 seconds.
[2025-06-06 22:27:20] [INFO ] Performed 6640/31758 implicitness test of which 72 returned IMPLICIT in 63 seconds.
[2025-06-06 22:27:50] [INFO ] Performed 8767/31758 implicitness test of which 108 returned IMPLICIT in 93 seconds.
[2025-06-06 22:28:21] [INFO ] Performed 11035/31758 implicitness test of which 132 returned IMPLICIT in 123 seconds.
[2025-06-06 22:28:45] [INFO ] Implicit Places using invariants in 160101 ms returned [7, 31, 57, 85, 115, 147, 181, 217, 255, 295, 337, 381, 1250, 1273, 1297, 1323, 1351, 1381, 1413, 1447, 1483, 1521, 1561, 1603, 2433, 2456, 2479, 2503, 2529, 2557, 2587, 2619, 2653, 2689, 2727, 2767, 3560, 3583, 3606, 3629, 3653, 3679, 3707, 3737, 3769, 3803, 3839, 3877, 4635, 4658, 4681, 4704, 4727, 4751, 4777, 4805, 4835, 4867, 4901, 4937, 5662, 5685, 5708, 5731, 5754, 5777, 5801, 5827, 5855, 5885, 5917, 5951, 6645, 6668, 6691, 6714, 6737, 6760, 6783, 6807, 6833, 6861, 6891, 6923, 7588, 7611, 7634, 7657, 7680, 7703, 7726, 7749, 7773, 7799, 7827, 7857, 8495, 8518, 8541, 8564, 8587, 8610, 8633, 8656, 8679, 8703, 8729, 8757, 9370, 9393, 9416, 9439, 9462, 9485, 9508, 9531, 9554, 9577, 9601, 9627, 10217, 10240, 10263, 10286, 10309, 10332, 10355, 10378, 10401, 10424, 10447, 10471, 11040, 11063, 11086, 11109, 11132, 11155, 11178, 11201, 11224, 11247, 11270, 11293, 11843, 11866, 11889, 11912, 11935, 11958, 11981, 12004, 12027, 12050, 12073, 12096]
Discarding 156 places :
Implicit Place search using SMT only with invariants took 160205 ms to find 156 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 31602/31758 places, 48223/48223 transitions.
Applied a total of 0 rules in 1877 ms. Remains 31602 /31602 variables (removed 0) and now considering 48223/48223 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 164283 ms. Remains : 31602/31758 places, 48223/48223 transitions.
[2025-06-06 22:28:48] [INFO ] Flatten gal took : 1167 ms
[2025-06-06 22:28:50] [INFO ] Flatten gal took : 1344 ms
[2025-06-06 22:28:52] [INFO ] Input system was already deterministic with 48223 transitions.
[2025-06-06 22:28:53] [INFO ] Flatten gal took : 1281 ms
[2025-06-06 22:28:55] [INFO ] Flatten gal took : 1342 ms
[2025-06-06 22:28:55] [INFO ] Time to serialize gal into /tmp/CTLFireability3443438634209392148.gal : 208 ms
[2025-06-06 22:28:55] [INFO ] Time to serialize properties into /tmp/CTLFireability1823331843158659033.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/CTLFireability3443438634209392148.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1823331843158659033.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-06 22:29:27] [INFO ] Flatten gal took : 1510 ms
[2025-06-06 22:29:27] [INFO ] Applying decomposition
[2025-06-06 22:29:28] [INFO ] Flatten gal took : 1276 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/graph586681960869769078.txt' '-o' '/tmp/graph586681960869769078.bin' '-w' '/tmp/graph586681960869769078.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph586681960869769078.bin' '-l' '-1' '-v' '-w' '/tmp/graph586681960869769078.weights' '-q' '0' '-e' '0.001'
[2025-06-06 22:29:32] [INFO ] Decomposing Gal with order
[2025-06-06 22:29:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 22:30:20] [INFO ] Removed a total of 33235 redundant transitions.
[2025-06-06 22:30:21] [INFO ] Flatten gal took : 7792 ms
[2025-06-06 22:30:25] [INFO ] Fuse similar labels procedure discarded/fused a total of 5943 labels/synchronizations in 2010 ms.
[2025-06-06 22:30:25] [INFO ] Time to serialize gal into /tmp/CTLFireability16593565354681396444.gal : 298 ms
[2025-06-06 22:30:25] [INFO ] Time to serialize properties into /tmp/CTLFireability12091609176965210162.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/CTLFireability16593565354681396444.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12091609176965210162.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
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 31758/31758 places, 48223/48223 transitions.
Applied a total of 0 rules in 2147 ms. Remains 31758 /31758 variables (removed 0) and now considering 48223/48223 (removed 0) transitions.
[2025-06-06 22:30:57] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
[2025-06-06 22:30:57] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 22:31:38] [INFO ] Performed 3558/31758 implicitness test of which 36 returned IMPLICIT in 30 seconds.
[2025-06-06 22:32:11] [INFO ] Performed 6640/31758 implicitness test of which 72 returned IMPLICIT in 62 seconds.
[2025-06-06 22:32:41] [INFO ] Performed 8833/31758 implicitness test of which 108 returned IMPLICIT in 92 seconds.
[2025-06-06 22:33:14] [INFO ] Performed 11035/31758 implicitness test of which 132 returned IMPLICIT in 125 seconds.
[2025-06-06 22:33:37] [INFO ] Implicit Places using invariants in 160086 ms returned [7, 31, 57, 85, 115, 147, 181, 217, 255, 295, 337, 381, 1250, 1273, 1297, 1323, 1351, 1381, 1413, 1447, 1483, 1521, 1561, 1603, 2433, 2456, 2479, 2503, 2529, 2557, 2587, 2619, 2653, 2689, 2727, 2767, 3560, 3583, 3606, 3629, 3653, 3679, 3707, 3737, 3769, 3803, 3839, 3877, 4635, 4658, 4681, 4704, 4727, 4751, 4777, 4805, 4835, 4867, 4901, 4937, 5662, 5685, 5708, 5731, 5754, 5777, 5801, 5827, 5855, 5885, 5917, 5951, 6645, 6668, 6691, 6714, 6737, 6760, 6783, 6807, 6833, 6861, 6891, 6923, 7588, 7611, 7634, 7657, 7680, 7703, 7726, 7749, 7773, 7799, 7827, 7857, 8495, 8518, 8541, 8564, 8587, 8610, 8633, 8656, 8679, 8703, 8729, 8757, 9370, 9393, 9416, 9439, 9462, 9485, 9508, 9531, 9554, 9577, 9601, 9627, 10217, 10240, 10263, 10286, 10309, 10332, 10355, 10378, 10401, 10424, 10447, 10471, 11040, 11063, 11086, 11109, 11132, 11155, 11178, 11201, 11224, 11247, 11270, 11293, 11843, 11866, 11889, 11912, 11935, 11958, 11981, 12004, 12027, 12050, 12073, 12096]
Discarding 156 places :
Implicit Place search using SMT only with invariants took 160123 ms to find 156 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 31602/31758 places, 48223/48223 transitions.
Applied a total of 0 rules in 2039 ms. Remains 31602 /31602 variables (removed 0) and now considering 48223/48223 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 164314 ms. Remains : 31602/31758 places, 48223/48223 transitions.
[2025-06-06 22:33:41] [INFO ] Flatten gal took : 1194 ms
[2025-06-06 22:33:42] [INFO ] Flatten gal took : 1423 ms
[2025-06-06 22:33:44] [INFO ] Input system was already deterministic with 48223 transitions.
[2025-06-06 22:33:46] [INFO ] Flatten gal took : 1336 ms
[2025-06-06 22:33:47] [INFO ] Flatten gal took : 1318 ms
[2025-06-06 22:33:47] [INFO ] Time to serialize gal into /tmp/CTLFireability9092809076092259868.gal : 203 ms
[2025-06-06 22:33:47] [INFO ] Time to serialize properties into /tmp/CTLFireability8958032482835061589.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/CTLFireability9092809076092259868.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8958032482835061589.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-06 22:34:19] [INFO ] Flatten gal took : 1491 ms
[2025-06-06 22:34:19] [INFO ] Applying decomposition
[2025-06-06 22:34:20] [INFO ] Flatten gal took : 1379 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/graph7763948665249166258.txt' '-o' '/tmp/graph7763948665249166258.bin' '-w' '/tmp/graph7763948665249166258.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph7763948665249166258.bin' '-l' '-1' '-v' '-w' '/tmp/graph7763948665249166258.weights' '-q' '0' '-e' '0.001'
[2025-06-06 22:34:24] [INFO ] Decomposing Gal with order
[2025-06-06 22:34:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 22:35:13] [INFO ] Removed a total of 33212 redundant transitions.
[2025-06-06 22:35:14] [INFO ] Flatten gal took : 7223 ms
[2025-06-06 22:35:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 5871 labels/synchronizations in 2281 ms.
[2025-06-06 22:35:18] [INFO ] Time to serialize gal into /tmp/CTLFireability4759667145018232788.gal : 282 ms
[2025-06-06 22:35:18] [INFO ] Time to serialize properties into /tmp/CTLFireability7601266563985004106.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/CTLFireability4759667145018232788.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7601266563985004106.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 : 31758/31758 places, 48223/48223 transitions.
Applied a total of 0 rules in 2000 ms. Remains 31758 /31758 variables (removed 0) and now considering 48223/48223 (removed 0) transitions.
[2025-06-06 22:35:50] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
[2025-06-06 22:35:50] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 22:36:34] [INFO ] Performed 3555/31758 implicitness test of which 36 returned IMPLICIT in 31 seconds.
[2025-06-06 22:37:04] [INFO ] Performed 6337/31758 implicitness test of which 72 returned IMPLICIT in 61 seconds.
[2025-06-06 22:37:36] [INFO ] Performed 8490/31758 implicitness test of which 96 returned IMPLICIT in 94 seconds.
[2025-06-06 22:38:08] [INFO ] Performed 10213/31758 implicitness test of which 120 returned IMPLICIT in 125 seconds.
[2025-06-06 22:38:31] [INFO ] Implicit Places using invariants in 160084 ms returned [7, 31, 57, 85, 115, 147, 181, 217, 255, 295, 337, 381, 1250, 1273, 1297, 1323, 1351, 1381, 1413, 1447, 1483, 1521, 1561, 1603, 2433, 2456, 2479, 2503, 2529, 2557, 2587, 2619, 2653, 2689, 2727, 2767, 3560, 3583, 3606, 3629, 3653, 3679, 3707, 3737, 3769, 3803, 3839, 3877, 4635, 4658, 4681, 4704, 4727, 4751, 4777, 4805, 4835, 4867, 4901, 4937, 5662, 5685, 5708, 5731, 5754, 5777, 5801, 5827, 5855, 5885, 5917, 5951, 6645, 6668, 6691, 6714, 6737, 6760, 6783, 6807, 6833, 6861, 6891, 6923, 7588, 7611, 7634, 7657, 7680, 7703, 7726, 7749, 7773, 7799, 7827, 7857, 8495, 8518, 8541, 8564, 8587, 8610, 8633, 8656, 8679, 8703, 8729, 8757, 9370, 9393, 9416, 9439, 9462, 9485, 9508, 9531, 9554, 9577, 9601, 9627, 10217, 10240, 10263, 10286, 10309, 10332, 10355, 10378, 10401, 10424, 10447, 10471, 11040, 11063, 11086, 11109, 11132, 11155, 11178, 11201, 11224, 11247, 11270, 11293]
Discarding 144 places :
Implicit Place search using SMT only with invariants took 160129 ms to find 144 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 31614/31758 places, 48223/48223 transitions.
Applied a total of 0 rules in 2203 ms. Remains 31614 /31614 variables (removed 0) and now considering 48223/48223 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 164335 ms. Remains : 31614/31758 places, 48223/48223 transitions.
[2025-06-06 22:38:34] [INFO ] Flatten gal took : 1317 ms
[2025-06-06 22:38:36] [INFO ] Flatten gal took : 1407 ms
[2025-06-06 22:38:38] [INFO ] Input system was already deterministic with 48223 transitions.
[2025-06-06 22:38:40] [INFO ] Flatten gal took : 1778 ms
[2025-06-06 22:38:42] [INFO ] Flatten gal took : 1458 ms
[2025-06-06 22:38:42] [INFO ] Time to serialize gal into /tmp/CTLFireability7999177265247955688.gal : 225 ms
[2025-06-06 22:38:42] [INFO ] Time to serialize properties into /tmp/CTLFireability16288520030754029906.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/CTLFireability7999177265247955688.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16288520030754029906.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-06 22:39:14] [INFO ] Flatten gal took : 1573 ms
[2025-06-06 22:39:14] [INFO ] Applying decomposition
[2025-06-06 22:39:15] [INFO ] Flatten gal took : 1440 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/graph1495997543077618674.txt' '-o' '/tmp/graph1495997543077618674.bin' '-w' '/tmp/graph1495997543077618674.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph1495997543077618674.bin' '-l' '-1' '-v' '-w' '/tmp/graph1495997543077618674.weights' '-q' '0' '-e' '0.001'
[2025-06-06 22:39:19] [INFO ] Decomposing Gal with order
[2025-06-06 22:39:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 22:40:09] [INFO ] Removed a total of 33288 redundant transitions.
[2025-06-06 22:40:10] [INFO ] Flatten gal took : 8330 ms
[2025-06-06 22:40:13] [INFO ] Fuse similar labels procedure discarded/fused a total of 5508 labels/synchronizations in 2043 ms.
[2025-06-06 22:40:14] [INFO ] Time to serialize gal into /tmp/CTLFireability16489798846150554297.gal : 264 ms
[2025-06-06 22:40:14] [INFO ] Time to serialize properties into /tmp/CTLFireability13116364181256538797.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/CTLFireability16489798846150554297.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13116364181256538797.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
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 31758/31758 places, 48223/48223 transitions.
Applied a total of 0 rules in 2113 ms. Remains 31758 /31758 variables (removed 0) and now considering 48223/48223 (removed 0) transitions.
[2025-06-06 22:40:46] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
[2025-06-06 22:40:46] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 22:41:28] [INFO ] Performed 3556/31758 implicitness test of which 36 returned IMPLICIT in 31 seconds.
[2025-06-06 22:41:59] [INFO ] Performed 6639/31758 implicitness test of which 72 returned IMPLICIT in 61 seconds.
[2025-06-06 22:42:32] [INFO ] Performed 8491/31758 implicitness test of which 96 returned IMPLICIT in 94 seconds.
[2025-06-06 22:43:02] [INFO ] Performed 11000/31758 implicitness test of which 132 returned IMPLICIT in 125 seconds.
[2025-06-06 22:43:26] [INFO ] Implicit Places using invariants in 160098 ms returned [7, 31, 57, 85, 115, 147, 181, 217, 255, 295, 337, 381, 1250, 1273, 1297, 1323, 1351, 1381, 1413, 1447, 1483, 1521, 1561, 1603, 2433, 2456, 2479, 2503, 2529, 2557, 2587, 2619, 2653, 2689, 2727, 2767, 3560, 3583, 3606, 3629, 3653, 3679, 3707, 3737, 3769, 3803, 3839, 3877, 4635, 4658, 4681, 4704, 4727, 4751, 4777, 4805, 4835, 4867, 4901, 4937, 5662, 5685, 5708, 5731, 5754, 5777, 5801, 5827, 5855, 5885, 5917, 5951, 6645, 6668, 6691, 6714, 6737, 6760, 6783, 6807, 6833, 6861, 6891, 6923, 7588, 7611, 7634, 7657, 7680, 7703, 7726, 7749, 7773, 7799, 7827, 7857, 8495, 8518, 8541, 8564, 8587, 8610, 8633, 8656, 8679, 8703, 8729, 8757, 9370, 9393, 9416, 9439, 9462, 9485, 9508, 9531, 9554, 9577, 9601, 9627, 10217, 10240, 10263, 10286, 10309, 10332, 10355, 10378, 10401, 10424, 10447, 10471, 11040, 11063, 11086, 11109, 11132, 11155, 11178, 11201, 11224, 11247, 11270, 11293, 11843, 11866, 11889, 11912, 11935, 11958, 11981, 12004, 12027, 12050, 12073, 12096]
Discarding 156 places :
Implicit Place search using SMT only with invariants took 160140 ms to find 156 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 31602/31758 places, 48223/48223 transitions.
Applied a total of 0 rules in 1972 ms. Remains 31602 /31602 variables (removed 0) and now considering 48223/48223 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 164229 ms. Remains : 31602/31758 places, 48223/48223 transitions.
[2025-06-06 22:43:29] [INFO ] Flatten gal took : 1232 ms
[2025-06-06 22:43:31] [INFO ] Flatten gal took : 1342 ms
[2025-06-06 22:43:33] [INFO ] Input system was already deterministic with 48223 transitions.
[2025-06-06 22:43:35] [INFO ] Flatten gal took : 1610 ms
[2025-06-06 22:43:36] [INFO ] Flatten gal took : 1326 ms
[2025-06-06 22:43:36] [INFO ] Time to serialize gal into /tmp/CTLFireability7016559830533251381.gal : 202 ms
[2025-06-06 22:43:36] [INFO ] Time to serialize properties into /tmp/CTLFireability14299790019505190256.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/CTLFireability7016559830533251381.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14299790019505190256.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-06 22:44:08] [INFO ] Flatten gal took : 1438 ms
[2025-06-06 22:44:08] [INFO ] Applying decomposition
[2025-06-06 22:44:09] [INFO ] Flatten gal took : 1326 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/graph17470851403026126393.txt' '-o' '/tmp/graph17470851403026126393.bin' '-w' '/tmp/graph17470851403026126393.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph17470851403026126393.bin' '-l' '-1' '-v' '-w' '/tmp/graph17470851403026126393.weights' '-q' '0' '-e' '0.001'
[2025-06-06 22:44:13] [INFO ] Decomposing Gal with order
[2025-06-06 22:44:19] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 22:45:04] [INFO ] Removed a total of 33429 redundant transitions.
[2025-06-06 22:45:05] [INFO ] Flatten gal took : 7750 ms
[2025-06-06 22:45:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 6440 labels/synchronizations in 2120 ms.
[2025-06-06 22:45:09] [INFO ] Time to serialize gal into /tmp/CTLFireability5408590438902286793.gal : 259 ms
[2025-06-06 22:45:09] [INFO ] Time to serialize properties into /tmp/CTLFireability2602859240506909643.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/CTLFireability5408590438902286793.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2602859240506909643.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 SI_CTL mode, iteration 0 : 31758/31758 places, 48223/48223 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 10544 transitions
Trivial Post-agglo rules discarded 10544 transitions
Performed 10544 trivial Post agglomeration. Transition count delta: 10544
Iterating post reduction 0 with 10544 rules applied. Total rules applied 10544 place count 31758 transition count 37679
Reduce places removed 10544 places and 0 transitions.
Performed 16 Post agglomeration using F-continuation condition.Transition count delta: 16
Iterating post reduction 1 with 10560 rules applied. Total rules applied 21104 place count 21214 transition count 37663
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 2 with 16 rules applied. Total rules applied 21120 place count 21198 transition count 37663
Performed 659 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 659 Pre rules applied. Total rules applied 21120 place count 21198 transition count 37004
Deduced a syphon composed of 659 places in 62 ms
Reduce places removed 659 places and 0 transitions.
Iterating global reduction 3 with 1318 rules applied. Total rules applied 22438 place count 20539 transition count 37004
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 51 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 22504 place count 20506 transition count 36971
Applied a total of 22504 rules in 8529 ms. Remains 20506 /31758 variables (removed 11252) and now considering 36971/48223 (removed 11252) transitions.
[2025-06-06 22:45:47] [INFO ] Flow matrix only has 35915 transitions (discarded 1056 similar events)
// Phase 1: matrix 35915 rows 20506 cols
[2025-06-06 22:45:58] [INFO ] Computed 1563 invariants in 10139 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 22:46:34] [INFO ] Performed 4597/20506 implicitness test of which 72 returned IMPLICIT in 30 seconds.
[2025-06-06 22:47:04] [INFO ] Performed 7477/20506 implicitness test of which 144 returned IMPLICIT in 60 seconds.
[2025-06-06 22:47:34] [INFO ] Performed 10502/20506 implicitness test of which 328 returned IMPLICIT in 90 seconds.
[2025-06-06 22:48:06] [INFO ] Performed 12778/20506 implicitness test of which 487 returned IMPLICIT in 121 seconds.
[2025-06-06 22:48:36] [INFO ] Performed 14584/20506 implicitness test of which 596 returned IMPLICIT in 151 seconds.
[2025-06-06 22:48:38] [INFO ] Implicit Places using invariants in 170212 ms returned [6, 20, 36, 54, 74, 96, 120, 146, 174, 204, 236, 270, 908, 921, 935, 951, 969, 989, 1011, 1035, 1061, 1089, 1119, 1151, 1750, 1763, 1776, 1790, 1806, 1824, 1844, 1866, 1890, 1916, 1944, 1974, 2536, 2549, 2562, 2575, 2589, 2605, 2623, 2643, 2665, 2689, 2715, 2743, 3270, 3283, 3296, 3309, 3322, 3336, 3352, 3370, 3390, 3412, 3436, 3462, 3956, 3969, 3982, 3995, 4008, 4021, 4035, 4051, 4069, 4089, 4111, 4135, 4598, 4611, 4624, 4637, 4650, 4663, 4676, 4690, 4706, 4724, 4744, 4766, 5200, 5213, 5226, 5239, 5252, 5265, 5278, 5291, 5305, 5321, 5339, 5359, 5766, 5779, 5792, 5805, 5818, 5831, 5844, 5857, 5870, 5884, 5900, 5918, 6300, 6313, 6326, 6339, 6352, 6365, 6378, 6391, 6404, 6417, 6431, 6447, 6806, 6819, 6832, 6845, 6858, 6871, 6884, 6897, 6910, 6923, 6936, 6950, 7288, 7301, 7314, 7327, 7340, 7353, 7366, 7379, 7392, 7405, 7418, 7431, 7750, 7763, 7776, 7789, 7802, 7815, 7828, 7841, 7854, 7867, 7880, 7893, 8196, 8209, 8222, 8235, 8248, 8261, 8274, 8287, 8300, 8313, 8326, 8339, 8352, 8365, 8379, 8395, 8412, 8428, 8442, 8455, 8468, 8481, 8494, 8507, 8520, 8533, 8546, 8559, 8572, 8585, 8598, 8611, 8645, 8651, 8664, 8677, 8690, 8703, 8716, 8729, 8742, 8755, 8768, 8781, 8794, 8807, 8820, 8833, 8847, 8862, 8876, 8889, 8902, 8915, 8928, 8941, 8954, 8967, 8980, 8993, 9006, 9019, 9032, 9045, 9058, 9092, 9098, 9111, 9124, 9137, 9150, 9163, 9176, 9189, 9202, 9215, 9228, 9241, 9254, 9267, 9280, 9293, 9306, 9319, 9332, 9345, 9358, 9371, 9384, 9397, 9410, 9423, 9436, 9449, 9462, 9475, 9488, 9501, 9535, 9537, 9540, 9553, 9566, 9579, 9592, 9605, 9618, 9631, 9644, 9657, 9670, 9683, 9696, 9709, 9722, 9735, 9748, 9761, 9774, 9787, 9800, 9813, 9826, 9839, 9852, 9865, 9878, 9891, 9904, 9917, 9930, 9943, 9978, 9984, 9997, 10010, 10023, 10036, 10049, 10062, 10075, 10088, 10101, 10114, 10127, 10140, 10153, 10166, 10179, 10192, 10205, 10218, 10231, 10244, 10257, 10270, 10283, 10296, 10309, 10322, 10335, 10348, 10361, 10374, 10387, 10421, 10427, 10440, 10453, 10466, 10479, 10492, 10505, 10518, 10531, 10544, 10557, 10570, 10583, 10596, 10609, 10622, 10636, 10651, 10665, 10678, 10691, 10704, 10717, 10730, 10743, 10756, 10769, 10782, 10795, 10808, 10821, 10834, 10868, 10874, 10887, 10900, 10913, 10926, 10939, 10952, 10965, 10978, 10991, 11004, 11017, 11030, 11043, 11056, 11070, 11086, 11103, 11119, 11133, 11146, 11159, 11172, 11185, 11198, 11211, 11224, 11237, 11250, 11263, 11276, 11289, 11323, 11329, 11342, 11355, 11368, 11381, 11394, 11407, 11420, 11433, 11446, 11459, 11472, 11485, 11498, 11512, 11528, 11546, 11565, 11583, 11599, 11613, 11626, 11639, 11652, 11665, 11678, 11691, 11704, 11717, 11730, 11743, 11756, 11790, 11796, 11809, 11822, 11835, 11848, 11861, 11874, 11887, 11900, 11913, 11926, 11939, 11952, 11966, 11982, 12000, 12020, 12041, 12061, 12079, 12095, 12109, 12122, 12135, 12148, 12161, 12174, 12187, 12200, 12213, 12226, 12239, 12273, 12279, 12292, 12305, 12318, 12331, 12344, 12357, 12370, 12383, 12396, 12409, 12422, 12436, 12452, 12470, 12490, 12512, 12535, 12557, 12577, 12595, 12611, 12625, 12638, 12651, 12664, 12677, 12690, 12703, 12716, 12729, 12742, 12776, 12782, 12795, 12808, 12821, 12834, 12847, 12860, 12873, 12886, 12899, 12912, 12926, 12942, 12960, 12980, 13002, 13026, 13051, 13075, 13097, 13117, 13135, 13151, 13165, 13178, 13191, 13204, 13217, 13230, 13243, 13256, 13269, 13303, 13309, 13322, 13335, 13348, 13361, 13374, 13387, 13400, 13413, 13426, 13440, 13456, 13474, 13494, 13516, 13540, 13566, 13593, 13619, 13643, 13665, 13685, 13703, 13719, 13733, 13746, 13759, 13772, 13785, 13798, 13811, 13824, 13858, 13864, 13877, 13890, 13903, 13916, 13929, 13942, 13955, 13968, 13982, 13998, 14016, 14036, 14058, 14082, 14108, 14136, 14165, 14193, 14219, 14243, 14265, 14285, 14303, 14319, 14333, 14346, 14359, 14372, 14385, 14398, 14411, 14445, 14451, 14464, 14477, 14490, 14503, 14516, 14529, 14542, 14556, 14572, 14590, 14610, 14632, 14656, 14682, 14710, 14740, 14771, 14801, 14829]
[2025-06-06 22:48:38] [INFO ] Actually due to overlaps returned [8645, 9092, 9535, 9978, 10421, 10868, 11323, 11790, 12273, 12776, 13303, 13858, 14445, 6, 20, 36, 54, 74, 96, 120, 146, 174, 204, 236, 270, 908, 921, 935, 951, 969, 989, 1011, 1035, 1061, 1089, 1119, 1151, 1750, 1763, 1776, 1790, 1806, 1824, 1844, 1866, 1890, 1916, 1944, 1974, 2536, 2549, 2562, 2575, 2589, 2605, 2623, 2643, 2665, 2689, 2715, 2743, 3270, 3283, 3296, 3309, 3322, 3336, 3352, 3370, 3390, 3412, 3436, 3462, 3956, 3969, 3982, 3995, 4008, 4021, 4035, 4051, 4069, 4089, 4111, 4135, 4598, 4611, 4624, 4637, 4650, 4663, 4676, 4690, 4706, 4724, 4744, 4766, 5200, 5213, 5226, 5239, 5252, 5265, 5278, 5291, 5305, 5321, 5339, 5359, 5766, 5779, 5792, 5805, 5818, 5831, 5844, 5857, 5870, 5884, 5900, 5918, 6300, 6313, 6326, 6339, 6352, 6365, 6378, 6391, 6404, 6417, 6431, 6447, 6806, 6819, 6832, 6845, 6858, 6871, 6884, 6897, 6910, 6923, 6936, 6950, 7288, 7301, 7314, 7327, 7340, 7353, 7366, 7379, 7392, 7405, 7418, 7431, 7750, 7763, 7776, 7789, 7802, 7815, 7828, 7841, 7854, 7867, 7880, 7893, 8196, 8209, 8222, 8235, 8248, 8261, 8274, 8287, 8300, 8313, 8326, 8339, 8352, 8533, 8546, 8559, 8572, 8585, 8598, 8611, 8651, 8664, 8677, 8690, 8703, 8716, 8729, 8742, 8755, 8768, 8781, 8794, 8807, 8980, 8993, 9006, 9019, 9032, 9045, 9058, 9098, 9111, 9124, 9137, 9150, 9163, 9176, 9189, 9202, 9215, 9228, 9241, 9254, 9423, 9436, 9449, 9462, 9475, 9488, 9501, 9537, 9540, 9553, 9566, 9579, 9592, 9605, 9618, 9631, 9644, 9657, 9670, 9683, 9696, 9865, 9878, 9891, 9904, 9917, 9930, 9943, 9984, 9997, 10010, 10023, 10036, 10049, 10062, 10075, 10088, 10101, 10114, 10127, 10140, 10309, 10322, 10335, 10348, 10361, 10374, 10387, 10427, 10440, 10453, 10466, 10479, 10492, 10505, 10518, 10531, 10544, 10557, 10570, 10583, 10756, 10769, 10782, 10795, 10808, 10821, 10834, 10874, 10887, 10900, 10913, 10926, 10939, 10952, 10965, 10978, 10991, 11004, 11017, 11030, 11211, 11224, 11237, 11250, 11263, 11276, 11289, 11329, 11342, 11355, 11368, 11381, 11394, 11407, 11420, 11433, 11446, 11459, 11472, 11485, 11678, 11691, 11704, 11717, 11730, 11743, 11756, 11796, 11809, 11822, 11835, 11848, 11861, 11874, 11887, 11900, 11913, 11926, 11939, 11952, 12161, 12174, 12187, 12200, 12213, 12226, 12239, 12279, 12292, 12305, 12318, 12331, 12344, 12357, 12370, 12383, 12396, 12409, 12422, 12436, 12664, 12677, 12690, 12703, 12716, 12729, 12742, 12782, 12795, 12808, 12821, 12834, 12847, 12860, 12873, 12886, 12899, 12912, 12926, 12942, 13191, 13204, 13217, 13230, 13243, 13256, 13269, 13309, 13322, 13335, 13348, 13361, 13374, 13387, 13400, 13413, 13426, 13440, 13456, 13474, 13746, 13759, 13772, 13785, 13798, 13811, 13824, 13864, 13877, 13890, 13903, 13916, 13929, 13942, 13955, 13968, 13982, 13998, 14016, 14036, 14333, 14346, 14359, 14372, 14385, 14398, 14411, 14451, 14464, 14477, 14490, 14503, 14516, 14529, 14542, 14556, 14572, 14590, 14610, 14632]
Discarding 443 places :
Implicit Place search using SMT only with invariants took 170253 ms to find 443 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 20063/31758 places, 36971/48223 transitions.
Applied a total of 0 rules in 2409 ms. Remains 20063 /20063 variables (removed 0) and now considering 36971/36971 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 181197 ms. Remains : 20063/31758 places, 36971/48223 transitions.
[2025-06-06 22:48:41] [INFO ] Flatten gal took : 1015 ms
[2025-06-06 22:48:42] [INFO ] Flatten gal took : 1068 ms
[2025-06-06 22:48:44] [INFO ] Input system was already deterministic with 36971 transitions.
[2025-06-06 22:48:46] [INFO ] Flatten gal took : 1110 ms
[2025-06-06 22:48:47] [INFO ] Flatten gal took : 1065 ms
[2025-06-06 22:48:47] [INFO ] Time to serialize gal into /tmp/CTLFireability276644737722390141.gal : 172 ms
[2025-06-06 22:48:47] [INFO ] Time to serialize properties into /tmp/CTLFireability17441566267101924872.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/CTLFireability276644737722390141.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17441566267101924872.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-06 22:49:18] [INFO ] Flatten gal took : 1208 ms
[2025-06-06 22:49:18] [INFO ] Applying decomposition
[2025-06-06 22:49:19] [INFO ] Flatten gal took : 1076 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/graph1576667191851280913.txt' '-o' '/tmp/graph1576667191851280913.bin' '-w' '/tmp/graph1576667191851280913.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph1576667191851280913.bin' '-l' '-1' '-v' '-w' '/tmp/graph1576667191851280913.weights' '-q' '0' '-e' '0.001'
[2025-06-06 22:49:22] [INFO ] Decomposing Gal with order
[2025-06-06 22:49:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 22:49:53] [INFO ] Removed a total of 31414 redundant transitions.
[2025-06-06 22:49:54] [INFO ] Flatten gal took : 9557 ms
[2025-06-06 22:49:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 7842 labels/synchronizations in 2436 ms.
[2025-06-06 22:49:58] [INFO ] Time to serialize gal into /tmp/CTLFireability3924766810348313282.gal : 288 ms
[2025-06-06 22:49:58] [INFO ] Time to serialize properties into /tmp/CTLFireability11793459253458550144.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/CTLFireability3924766810348313282.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11793459253458550144.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 : 31758/31758 places, 48223/48223 transitions.
Applied a total of 0 rules in 2054 ms. Remains 31758 /31758 variables (removed 0) and now considering 48223/48223 (removed 0) transitions.
[2025-06-06 22:50:30] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
// Phase 1: matrix 47167 rows 31758 cols
[2025-06-06 22:50:48] [INFO ] Computed 1563 invariants in 17176 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 22:51:30] [INFO ] Performed 3555/31758 implicitness test of which 36 returned IMPLICIT in 31 seconds.
[2025-06-06 22:52:00] [INFO ] Performed 6435/31758 implicitness test of which 72 returned IMPLICIT in 61 seconds.
[2025-06-06 22:52:31] [INFO ] Performed 8489/31758 implicitness test of which 96 returned IMPLICIT in 91 seconds.
[2025-06-06 22:53:03] [INFO ] Performed 10212/31758 implicitness test of which 120 returned IMPLICIT in 124 seconds.
[2025-06-06 22:53:28] [INFO ] Implicit Places using invariants in 177260 ms returned [7, 31, 57, 85, 115, 147, 181, 217, 255, 295, 337, 381, 1250, 1273, 1297, 1323, 1351, 1381, 1413, 1447, 1483, 1521, 1561, 1603, 2433, 2456, 2479, 2503, 2529, 2557, 2587, 2619, 2653, 2689, 2727, 2767, 3560, 3583, 3606, 3629, 3653, 3679, 3707, 3737, 3769, 3803, 3839, 3877, 4635, 4658, 4681, 4704, 4727, 4751, 4777, 4805, 4835, 4867, 4901, 4937, 5662, 5685, 5708, 5731, 5754, 5777, 5801, 5827, 5855, 5885, 5917, 5951, 6645, 6668, 6691, 6714, 6737, 6760, 6783, 6807, 6833, 6861, 6891, 6923, 7588, 7611, 7634, 7657, 7680, 7703, 7726, 7749, 7773, 7799, 7827, 7857, 8495, 8518, 8541, 8564, 8587, 8610, 8633, 8656, 8679, 8703, 8729, 8757, 9370, 9393, 9416, 9439, 9462, 9485, 9508, 9531, 9554, 9577, 9601, 9627, 10217, 10240, 10263, 10286, 10309, 10332, 10355, 10378, 10401, 10424, 10447, 10471, 11040, 11063, 11086, 11109, 11132, 11155, 11178, 11201, 11224, 11247, 11270, 11293]
Discarding 144 places :
Implicit Place search using SMT only with invariants took 177309 ms to find 144 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 31614/31758 places, 48223/48223 transitions.
Applied a total of 0 rules in 2033 ms. Remains 31614 /31614 variables (removed 0) and now considering 48223/48223 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 181401 ms. Remains : 31614/31758 places, 48223/48223 transitions.
[2025-06-06 22:53:31] [INFO ] Flatten gal took : 1305 ms
[2025-06-06 22:53:33] [INFO ] Flatten gal took : 1565 ms
[2025-06-06 22:53:35] [INFO ] Input system was already deterministic with 48223 transitions.
[2025-06-06 22:53:37] [INFO ] Flatten gal took : 1428 ms
[2025-06-06 22:53:38] [INFO ] Flatten gal took : 1311 ms
[2025-06-06 22:53:38] [INFO ] Time to serialize gal into /tmp/CTLFireability2575362795414494488.gal : 348 ms
[2025-06-06 22:53:38] [INFO ] Time to serialize properties into /tmp/CTLFireability13417320122518591727.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/CTLFireability2575362795414494488.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13417320122518591727.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-06 22:54:10] [INFO ] Flatten gal took : 1526 ms
[2025-06-06 22:54:10] [INFO ] Applying decomposition
[2025-06-06 22:54:11] [INFO ] Flatten gal took : 1415 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/graph14222430678640314339.txt' '-o' '/tmp/graph14222430678640314339.bin' '-w' '/tmp/graph14222430678640314339.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph14222430678640314339.bin' '-l' '-1' '-v' '-w' '/tmp/graph14222430678640314339.weights' '-q' '0' '-e' '0.001'
[2025-06-06 22:54:15] [INFO ] Decomposing Gal with order
[2025-06-06 22:54:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 22:55:09] [INFO ] Removed a total of 33266 redundant transitions.
[2025-06-06 22:55:09] [INFO ] Flatten gal took : 7623 ms
[2025-06-06 22:55:13] [INFO ] Fuse similar labels procedure discarded/fused a total of 5595 labels/synchronizations in 2036 ms.
[2025-06-06 22:55:13] [INFO ] Time to serialize gal into /tmp/CTLFireability489294771612474970.gal : 272 ms
[2025-06-06 22:55:13] [INFO ] Time to serialize properties into /tmp/CTLFireability18240086154958195720.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/CTLFireability489294771612474970.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18240086154958195720.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 SI_CTL mode, iteration 0 : 31758/31758 places, 48223/48223 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 10510 transitions
Trivial Post-agglo rules discarded 10510 transitions
Performed 10510 trivial Post agglomeration. Transition count delta: 10510
Iterating post reduction 0 with 10510 rules applied. Total rules applied 10510 place count 31758 transition count 37713
Reduce places removed 10510 places and 0 transitions.
Performed 48 Post agglomeration using F-continuation condition.Transition count delta: 48
Iterating post reduction 1 with 10558 rules applied. Total rules applied 21068 place count 21248 transition count 37665
Reduce places removed 48 places and 0 transitions.
Iterating post reduction 2 with 48 rules applied. Total rules applied 21116 place count 21200 transition count 37665
Performed 657 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 657 Pre rules applied. Total rules applied 21116 place count 21200 transition count 37008
Deduced a syphon composed of 657 places in 69 ms
Reduce places removed 657 places and 0 transitions.
Iterating global reduction 3 with 1314 rules applied. Total rules applied 22430 place count 20543 transition count 37008
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 48 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 22496 place count 20510 transition count 36975
Applied a total of 22496 rules in 8256 ms. Remains 20510 /31758 variables (removed 11248) and now considering 36975/48223 (removed 11248) transitions.
[2025-06-06 22:55:52] [INFO ] Flow matrix only has 35919 transitions (discarded 1056 similar events)
// Phase 1: matrix 35919 rows 20510 cols
[2025-06-06 22:56:01] [INFO ] Computed 1563 invariants in 8977 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 22:56:37] [INFO ] Performed 4598/20510 implicitness test of which 72 returned IMPLICIT in 30 seconds.
[2025-06-06 22:57:08] [INFO ] Performed 8193/20510 implicitness test of which 156 returned IMPLICIT in 60 seconds.
[2025-06-06 22:57:38] [INFO ] Performed 11107/20510 implicitness test of which 373 returned IMPLICIT in 90 seconds.
[2025-06-06 22:58:08] [INFO ] Performed 13309/20510 implicitness test of which 520 returned IMPLICIT in 120 seconds.
[2025-06-06 22:58:38] [INFO ] Performed 16195/20510 implicitness test of which 672 returned IMPLICIT in 150 seconds.
[2025-06-06 22:58:41] [INFO ] Implicit Places using invariants in 169048 ms returned [6, 20, 36, 54, 74, 96, 120, 146, 174, 204, 236, 270, 908, 921, 935, 951, 969, 989, 1011, 1035, 1061, 1089, 1119, 1151, 1750, 1763, 1776, 1790, 1806, 1824, 1844, 1866, 1890, 1916, 1944, 1974, 2537, 2550, 2563, 2576, 2590, 2606, 2624, 2644, 2666, 2690, 2716, 2744, 3271, 3284, 3297, 3310, 3323, 3337, 3353, 3371, 3391, 3413, 3437, 3463, 3957, 3970, 3983, 3996, 4009, 4022, 4036, 4052, 4070, 4090, 4112, 4136, 4599, 4612, 4625, 4638, 4651, 4664, 4677, 4691, 4707, 4725, 4745, 4767, 5201, 5214, 5227, 5240, 5253, 5266, 5279, 5292, 5306, 5322, 5340, 5360, 5767, 5780, 5793, 5806, 5819, 5832, 5845, 5858, 5871, 5885, 5901, 5919, 6301, 6314, 6327, 6340, 6353, 6366, 6379, 6392, 6405, 6418, 6432, 6448, 6807, 6820, 6833, 6846, 6859, 6872, 6885, 6898, 6911, 6924, 6937, 6951, 7289, 7302, 7315, 7328, 7341, 7354, 7367, 7380, 7393, 7406, 7419, 7432, 7751, 7764, 7777, 7790, 7803, 7816, 7829, 7842, 7855, 7868, 7881, 7894, 8197, 8210, 8223, 8236, 8249, 8262, 8275, 8289, 8302, 8315, 8328, 8341, 8354, 8367, 8381, 8397, 8414, 8430, 8444, 8457, 8470, 8483, 8496, 8509, 8522, 8535, 8548, 8561, 8574, 8587, 8600, 8613, 8647, 8653, 8666, 8679, 8692, 8705, 8718, 8731, 8744, 8757, 8770, 8783, 8796, 8809, 8822, 8835, 8849, 8864, 8878, 8891, 8904, 8917, 8930, 8943, 8956, 8969, 8982, 8995, 9008, 9021, 9034, 9047, 9060, 9094, 9100, 9113, 9126, 9139, 9152, 9165, 9178, 9191, 9204, 9217, 9230, 9243, 9256, 9269, 9282, 9295, 9308, 9321, 9334, 9347, 9360, 9373, 9386, 9399, 9412, 9425, 9438, 9451, 9464, 9477, 9490, 9503, 9537, 9539, 9542, 9555, 9568, 9581, 9594, 9607, 9620, 9633, 9646, 9659, 9672, 9685, 9698, 9711, 9724, 9737, 9750, 9763, 9776, 9789, 9802, 9815, 9828, 9841, 9854, 9867, 9880, 9893, 9906, 9919, 9932, 9945, 9979, 9985, 9998, 10011, 10024, 10037, 10050, 10063, 10076, 10089, 10102, 10115, 10128, 10141, 10154, 10167, 10180, 10193, 10206, 10219, 10232, 10245, 10258, 10271, 10284, 10297, 10310, 10323, 10336, 10349, 10362, 10375, 10388, 10422, 10428, 10441, 10454, 10467, 10480, 10493, 10506, 10519, 10532, 10545, 10558, 10571, 10584, 10597, 10610, 10623, 10637, 10652, 10666, 10679, 10692, 10705, 10718, 10731, 10744, 10757, 10770, 10783, 10796, 10809, 10822, 10835, 10870, 10876, 10889, 10902, 10915, 10928, 10941, 10954, 10967, 10980, 10993, 11006, 11019, 11032, 11045, 11058, 11072, 11088, 11105, 11121, 11135, 11148, 11161, 11174, 11187, 11200, 11213, 11226, 11239, 11252, 11265, 11278, 11291, 11325, 11331, 11344, 11357, 11370, 11383, 11396, 11409, 11422, 11435, 11448, 11461, 11474, 11487, 11500, 11514, 11530, 11548, 11567, 11585, 11601, 11615, 11628, 11641, 11654, 11667, 11680, 11693, 11706, 11719, 11732, 11745, 11758, 11792, 11798, 11811, 11824, 11837, 11850, 11863, 11876, 11889, 11902, 11915, 11928, 11941, 11954, 11968, 11984, 12002, 12022, 12043, 12063, 12081, 12097, 12111, 12124, 12137, 12150, 12163, 12176, 12189, 12202, 12215, 12228, 12241, 12276, 12282, 12295, 12308, 12321, 12334, 12347, 12360, 12373, 12386, 12399, 12412, 12425, 12439, 12455, 12473, 12493, 12515, 12538, 12560, 12580, 12598, 12614, 12628, 12641, 12654, 12667, 12680, 12693, 12706, 12719, 12732, 12745, 12779, 12785, 12798, 12811, 12824, 12837, 12850, 12863, 12876, 12889, 12902, 12915, 12929, 12945, 12963, 12983, 13005, 13029, 13054, 13078, 13100, 13120, 13138, 13154, 13168, 13181, 13194, 13207, 13220, 13233, 13246, 13259, 13272, 13306, 13312, 13325, 13338, 13351, 13364, 13377, 13390, 13403, 13416, 13429, 13443, 13459, 13477, 13497, 13519, 13543, 13569, 13596, 13622, 13646, 13668, 13688, 13706, 13722, 13736, 13749, 13762, 13775, 13788, 13801, 13814, 13827, 13861, 13867, 13880, 13893, 13906, 13919, 13932, 13945, 13958, 13971, 13985, 14001, 14019, 14039, 14061, 14085, 14111, 14139, 14168, 14196, 14222, 14246, 14268, 14288, 14306, 14322, 14336, 14349, 14362, 14375, 14388, 14401, 14414, 14449, 14455, 14468, 14481, 14494, 14507, 14520, 14533, 14546, 14560, 14576, 14594, 14614, 14636, 14660, 14686, 14714, 14744, 14775, 14805, 14833, 14859, 14883, 14905, 14925, 14943, 14959, 14973, 14986, 14999, 15012, 15025, 15038, 15072, 15078, 15091, 15104, 15117, 15130, 15143, 15156, 15170, 15186, 15204, 15224, 15246, 15270, 15296, 15324, 15354, 15386, 15419, 15451, 15481, 15509, 15535, 15559, 15581, 15601, 15619, 15635, 15649, 15662, 15675, 15688, 15701, 15735, 15741, 15754, 15767, 15780, 15793, 15806, 15820, 15836, 15854, 15874, 15896, 15920, 15946, 15974, 16004, 16036, 16070, 16105, 16139, 16171, 16201, 16229, 16255, 16279, 16301, 16321, 16339, 16355, 16369, 16382, 16395, 16408, 16442]
[2025-06-06 22:58:41] [INFO ] Actually due to overlaps returned [8647, 9094, 9537, 9979, 10422, 10870, 11325, 11792, 12276, 12779, 13306, 13861, 14449, 15072, 15735, 16442, 6, 20, 36, 54, 74, 96, 120, 146, 174, 204, 236, 270, 908, 921, 935, 951, 969, 989, 1011, 1035, 1061, 1089, 1119, 1151, 1750, 1763, 1776, 1790, 1806, 1824, 1844, 1866, 1890, 1916, 1944, 1974, 2537, 2550, 2563, 2576, 2590, 2606, 2624, 2644, 2666, 2690, 2716, 2744, 3271, 3284, 3297, 3310, 3323, 3337, 3353, 3371, 3391, 3413, 3437, 3463, 3957, 3970, 3983, 3996, 4009, 4022, 4036, 4052, 4070, 4090, 4112, 4136, 4599, 4612, 4625, 4638, 4651, 4664, 4677, 4691, 4707, 4725, 4745, 4767, 5201, 5214, 5227, 5240, 5253, 5266, 5279, 5292, 5306, 5322, 5340, 5360, 5767, 5780, 5793, 5806, 5819, 5832, 5845, 5858, 5871, 5885, 5901, 5919, 6301, 6314, 6327, 6340, 6353, 6366, 6379, 6392, 6405, 6418, 6432, 6448, 6807, 6820, 6833, 6846, 6859, 6872, 6885, 6898, 6911, 6924, 6937, 6951, 7289, 7302, 7315, 7328, 7341, 7354, 7367, 7380, 7393, 7406, 7419, 7432, 7751, 7764, 7777, 7790, 7803, 7816, 7829, 7842, 7855, 7868, 7881, 7894, 8197, 8210, 8223, 8236, 8249, 8262, 8275, 8289, 8302, 8315, 8328, 8341, 8354, 8574, 8587, 8600, 8613, 8653, 8666, 8679, 8692, 8705, 8718, 8731, 8744, 8757, 8770, 8783, 8796, 8809, 9021, 9034, 9047, 9060, 9100, 9113, 9126, 9139, 9152, 9165, 9178, 9191, 9204, 9217, 9230, 9243, 9256, 9464, 9477, 9490, 9503, 9539, 9542, 9555, 9568, 9581, 9594, 9607, 9620, 9633, 9646, 9659, 9672, 9685, 9698, 9906, 9919, 9932, 9945, 9985, 9998, 10011, 10024, 10037, 10050, 10063, 10076, 10089, 10102, 10115, 10128, 10141, 10349, 10362, 10375, 10388, 10428, 10441, 10454, 10467, 10480, 10493, 10506, 10519, 10532, 10545, 10558, 10571, 10584, 10796, 10809, 10822, 10835, 10876, 10889, 10902, 10915, 10928, 10941, 10954, 10967, 10980, 10993, 11006, 11019, 11032, 11252, 11265, 11278, 11291, 11331, 11344, 11357, 11370, 11383, 11396, 11409, 11422, 11435, 11448, 11461, 11474, 11487, 11719, 11732, 11745, 11758, 11798, 11811, 11824, 11837, 11850, 11863, 11876, 11889, 11902, 11915, 11928, 11941, 11954, 12202, 12215, 12228, 12241, 12282, 12295, 12308, 12321, 12334, 12347, 12360, 12373, 12386, 12399, 12412, 12425, 12439, 12706, 12719, 12732, 12745, 12785, 12798, 12811, 12824, 12837, 12850, 12863, 12876, 12889, 12902, 12915, 12929, 12945, 13233, 13246, 13259, 13272, 13312, 13325, 13338, 13351, 13364, 13377, 13390, 13403, 13416, 13429, 13443, 13459, 13477, 13788, 13801, 13814, 13827, 13867, 13880, 13893, 13906, 13919, 13932, 13945, 13958, 13971, 13985, 14001, 14019, 14039, 14375, 14388, 14401, 14414, 14455, 14468, 14481, 14494, 14507, 14520, 14533, 14546, 14560, 14576, 14594, 14614, 14636, 14999, 15012, 15025, 15038, 15078, 15091, 15104, 15117, 15130, 15143, 15156, 15170, 15186, 15204, 15224, 15246, 15270, 15662, 15675, 15688, 15701, 15741, 15754, 15767, 15780, 15793, 15806, 15820, 15836, 15854, 15874, 15896, 15920, 15946, 16369, 16382, 16395, 16408]
Discarding 445 places :
Implicit Place search using SMT only with invariants took 169091 ms to find 445 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 20065/31758 places, 36975/48223 transitions.
Applied a total of 0 rules in 2290 ms. Remains 20065 /20065 variables (removed 0) and now considering 36975/36975 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 179645 ms. Remains : 20065/31758 places, 36975/48223 transitions.
[2025-06-06 22:58:44] [INFO ] Flatten gal took : 946 ms
[2025-06-06 22:58:45] [INFO ] Flatten gal took : 1155 ms
[2025-06-06 22:58:47] [INFO ] Input system was already deterministic with 36975 transitions.
[2025-06-06 22:58:49] [INFO ] Flatten gal took : 1330 ms
[2025-06-06 22:58:50] [INFO ] Flatten gal took : 1077 ms
[2025-06-06 22:58:50] [INFO ] Time to serialize gal into /tmp/CTLFireability705176626503710397.gal : 177 ms
[2025-06-06 22:58:50] [INFO ] Time to serialize properties into /tmp/CTLFireability1590341182427564088.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/CTLFireability705176626503710397.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1590341182427564088.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 -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-06 22:59:22] [INFO ] Flatten gal took : 1450 ms
[2025-06-06 22:59:22] [INFO ] Applying decomposition
[2025-06-06 22:59:23] [INFO ] Flatten gal took : 1121 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/graph13255109631891239973.txt' '-o' '/tmp/graph13255109631891239973.bin' '-w' '/tmp/graph13255109631891239973.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph13255109631891239973.bin' '-l' '-1' '-v' '-w' '/tmp/graph13255109631891239973.weights' '-q' '0' '-e' '0.001'
[2025-06-06 22:59:26] [INFO ] Decomposing Gal with order
[2025-06-06 22:59:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 22:59:57] [INFO ] Removed a total of 30749 redundant transitions.
[2025-06-06 22:59:58] [INFO ] Flatten gal took : 9306 ms
[2025-06-06 23:00:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 9399 labels/synchronizations in 2468 ms.
[2025-06-06 23:00:02] [INFO ] Time to serialize gal into /tmp/CTLFireability1463880860224995031.gal : 218 ms
[2025-06-06 23:00:02] [INFO ] Time to serialize properties into /tmp/CTLFireability4447798505545055137.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/CTLFireability1463880860224995031.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4447798505545055137.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 : 31758/31758 places, 48223/48223 transitions.
Applied a total of 0 rules in 1918 ms. Remains 31758 /31758 variables (removed 0) and now considering 48223/48223 (removed 0) transitions.
[2025-06-06 23:00:34] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
// Phase 1: matrix 47167 rows 31758 cols
[2025-06-06 23:00:53] [INFO ] Computed 1563 invariants in 18374 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 23:01:36] [INFO ] Performed 3556/31758 implicitness test of which 36 returned IMPLICIT in 31 seconds.
[2025-06-06 23:02:06] [INFO ] Performed 6615/31758 implicitness test of which 72 returned IMPLICIT in 61 seconds.
[2025-06-06 23:02:36] [INFO ] Performed 8491/31758 implicitness test of which 96 returned IMPLICIT in 91 seconds.
[2025-06-06 23:03:06] [INFO ] Performed 10372/31758 implicitness test of which 127 returned IMPLICIT in 121 seconds.
[2025-06-06 23:03:33] [INFO ] Implicit Places using invariants in 178459 ms returned [7, 31, 57, 85, 115, 147, 181, 217, 255, 295, 337, 381, 1250, 1273, 1297, 1323, 1351, 1381, 1413, 1447, 1483, 1521, 1561, 1603, 2433, 2456, 2479, 2503, 2529, 2557, 2587, 2619, 2653, 2689, 2727, 2767, 3560, 3583, 3606, 3629, 3653, 3679, 3707, 3737, 3769, 3803, 3839, 3877, 4635, 4658, 4681, 4704, 4727, 4751, 4777, 4805, 4835, 4867, 4901, 4937, 5662, 5685, 5708, 5731, 5754, 5777, 5801, 5827, 5855, 5885, 5917, 5951, 6645, 6668, 6691, 6714, 6737, 6760, 6783, 6807, 6833, 6861, 6891, 6923, 7588, 7611, 7634, 7657, 7680, 7703, 7726, 7749, 7773, 7799, 7827, 7857, 8495, 8518, 8541, 8564, 8587, 8610, 8633, 8656, 8679, 8703, 8729, 8757, 9370, 9393, 9416, 9439, 9462, 9485, 9508, 9531, 9554, 9577, 9601, 9627, 10217, 10240, 10263, 10286, 10309, 10332, 10355, 10378, 10401, 10424, 10447, 10471, 11040, 11063, 11086, 11109, 11132, 11155, 11178, 11201, 11224, 11247, 11270, 11293, 11843, 11866, 11889, 11912, 11935, 11958, 11981, 12004, 12027, 12050, 12073, 12096]
Discarding 156 places :
Implicit Place search using SMT only with invariants took 178500 ms to find 156 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 31602/31758 places, 48223/48223 transitions.
Applied a total of 0 rules in 2164 ms. Remains 31602 /31602 variables (removed 0) and now considering 48223/48223 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 182586 ms. Remains : 31602/31758 places, 48223/48223 transitions.
[2025-06-06 23:03:36] [INFO ] Flatten gal took : 1249 ms
[2025-06-06 23:03:38] [INFO ] Flatten gal took : 1456 ms
[2025-06-06 23:03:40] [INFO ] Input system was already deterministic with 48223 transitions.
[2025-06-06 23:03:42] [INFO ] Flatten gal took : 1439 ms
[2025-06-06 23:03:44] [INFO ] Flatten gal took : 1442 ms
[2025-06-06 23:03:44] [INFO ] Time to serialize gal into /tmp/CTLFireability603613912755511556.gal : 192 ms
[2025-06-06 23:03:44] [INFO ] Time to serialize properties into /tmp/CTLFireability12933389332672272596.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/CTLFireability603613912755511556.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12933389332672272596.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-06 23:04:15] [INFO ] Flatten gal took : 1377 ms
[2025-06-06 23:04:15] [INFO ] Applying decomposition
[2025-06-06 23:04:17] [INFO ] Flatten gal took : 1502 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/graph7279051967153248723.txt' '-o' '/tmp/graph7279051967153248723.bin' '-w' '/tmp/graph7279051967153248723.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph7279051967153248723.bin' '-l' '-1' '-v' '-w' '/tmp/graph7279051967153248723.weights' '-q' '0' '-e' '0.001'
[2025-06-06 23:04:21] [INFO ] Decomposing Gal with order
[2025-06-06 23:04:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-06 23:05:12] [INFO ] Removed a total of 33314 redundant transitions.
[2025-06-06 23:05:13] [INFO ] Flatten gal took : 8188 ms
[2025-06-06 23:05:17] [INFO ] Fuse similar labels procedure discarded/fused a total of 5375 labels/synchronizations in 1996 ms.
[2025-06-06 23:05:17] [INFO ] Time to serialize gal into /tmp/CTLFireability11641813504007100665.gal : 258 ms
[2025-06-06 23:05:17] [INFO ] Time to serialize properties into /tmp/CTLFireability3070266550341620337.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/CTLFireability11641813504007100665.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3070266550341620337.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 : 31758/31758 places, 48223/48223 transitions.
Applied a total of 0 rules in 2269 ms. Remains 31758 /31758 variables (removed 0) and now considering 48223/48223 (removed 0) transitions.
[2025-06-06 23:05:49] [INFO ] Flow matrix only has 47167 transitions (discarded 1056 similar events)
[2025-06-06 23:05:49] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-06 23:06:32] [INFO ] Performed 3555/31758 implicitness test of which 36 returned IMPLICIT in 30 seconds.
[2025-06-06 23:07:02] [INFO ] Performed 6425/31758 implicitness test of which 72 returned IMPLICIT in 60 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-S32C10"
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-S32C10, 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-174876524600490"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C10.tgz
mv MultiCrashLeafsetExtension-PT-S32C10 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 ;