About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S24C04
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 3600000.00 | 0.00 | 0.00 | ?????????????T?F | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r128-smll-174876524400354.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-S24C04, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-174876524400354
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 10K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 77K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.6K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K 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 24K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 81K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 29K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K 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 10M 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-S24C04-CTLFireability-2023-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLFireability-2023-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLFireability-2023-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLFireability-2023-15
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLFireability-2025-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLFireability-2025-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLFireability-2025-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLFireability-2025-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLFireability-2025-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLFireability-2025-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLFireability-2025-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLFireability-2025-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLFireability-2025-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLFireability-2025-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLFireability-2025-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C04-CTLFireability-2025-11
=== Now, execution of the tool begins
BK_START 1749005231359
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-S24C04
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202505121319
[2025-06-04 02:47:13] [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-04 02:47:14] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-04 02:47:15] [INFO ] Load time of PNML (sax parser for PT used): 1027 ms
[2025-06-04 02:47:15] [INFO ] Transformed 9748 places.
[2025-06-04 02:47:15] [INFO ] Transformed 14659 transitions.
[2025-06-04 02:47:15] [INFO ] Parsed PT model containing 9748 places and 14659 transitions and 58838 arcs in 1332 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 43 ms.
Support contains 265 out of 9748 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9748/9748 places, 14659/14659 transitions.
Reduce places removed 36 places and 0 transitions.
Iterating post reduction 0 with 36 rules applied. Total rules applied 36 place count 9712 transition count 14659
Discarding 2358 places :
Symmetric choice reduction at 1 with 2358 rule applications. Total rules 2394 place count 7354 transition count 12301
Iterating global reduction 1 with 2358 rules applied. Total rules applied 4752 place count 7354 transition count 12301
Discarding 2140 places :
Symmetric choice reduction at 1 with 2140 rule applications. Total rules 6892 place count 5214 transition count 10161
Iterating global reduction 1 with 2140 rules applied. Total rules applied 9032 place count 5214 transition count 10161
Discarding 469 places :
Symmetric choice reduction at 1 with 469 rule applications. Total rules 9501 place count 4745 transition count 8285
Iterating global reduction 1 with 469 rules applied. Total rules applied 9970 place count 4745 transition count 8285
Applied a total of 9970 rules in 4247 ms. Remains 4745 /9748 variables (removed 5003) and now considering 8285/14659 (removed 6374) transitions.
[2025-06-04 02:47:20] [INFO ] Flow matrix only has 7685 transitions (discarded 600 similar events)
// Phase 1: matrix 7685 rows 4745 cols
[2025-06-04 02:47:20] [INFO ] Computed 885 invariants in 791 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:47:32] [INFO ] Implicit Places using invariants in 12796 ms returned [4, 8, 14, 18, 20, 25, 32, 41, 52, 65, 80, 97, 116, 137, 187, 211, 213, 217, 219, 242, 261, 278, 293, 306, 317, 326, 333, 338, 341, 360, 367, 370, 371, 373, 374, 377, 382, 389, 398, 411, 424, 439, 456, 475, 496, 518, 542, 543, 544, 563, 580, 598, 611, 625, 634, 641, 647, 650, 652, 671, 678, 681, 683, 684, 685, 689, 692, 697, 704, 713, 724, 737, 752, 769, 788, 809, 829, 830, 831, 833, 850, 865, 878, 889, 901, 908, 913, 916, 918, 920, 946, 949, 953, 955, 957, 960, 969, 976, 985, 999, 1012, 1027, 1044, 1062, 1080, 1081, 1083, 1084, 1101, 1114, 1125, 1134, 1141, 1146, 1149, 1151, 1153, 1155, 1174, 1181, 1184, 1185, 1186, 1188, 1190, 1192, 1194, 1197, 1202, 1209, 1218, 1229, 1245, 1260, 1276, 1292, 1294, 1295, 1296, 1309, 1320, 1329, 1336, 1341, 1344, 1346, 1348, 1352, 1354, 1373, 1380, 1383, 1384, 1385, 1386, 1387, 1389, 1391, 1393, 1395, 1398, 1403, 1410, 1419, 1430, 1443, 1457, 1471, 1473, 1474, 1475, 1486, 1495, 1503, 1508, 1514, 1516, 1518, 1520, 1522, 1524, 1543, 1550, 1553, 1556, 1557, 1559, 1561, 1565, 1567, 1572, 1575, 1580, 1587, 1596, 1607, 1619, 1631, 1632, 1633, 1635, 1644, 1651, 1656, 1659, 1661, 1666, 1670, 1672, 1674, 1693, 1700, 1705, 1707, 1711, 1713, 1715, 1717, 1719, 1721, 1727, 1732, 1739, 1750, 1760, 1770, 1771, 1772, 1773, 1774, 1781, 1786, 1789, 1791, 1793, 1795, 1797, 1799, 1801, 1803, 1822, 1829, 1832, 1834, 1835, 1836, 1839, 1841, 1843, 1845, 1847, 1849, 1853, 1856, 1861, 1870, 1879, 1887, 1888, 1889, 1891, 1896, 1899, 1901, 1903, 1905, 1910, 1912, 1917, 1919, 1921, 1940, 1947, 1950, 1951, 1952, 1953, 1954, 1956, 1958, 1961, 1963, 1965, 1967, 1969, 1971, 1974, 1979, 1985, 1992, 1993, 1995, 2000, 2002, 2004, 2006, 2008, 2010, 2012, 2014, 2016, 2018, 2047, 2050, 2051, 2054, 2056, 2059, 2062, 2067, 2069, 2071, 2076, 2078, 2080, 2083, 2087, 2091, 2092, 2093, 2094, 2095, 2097, 2099, 2103, 2105, 2107, 2109, 2111, 2113, 2115, 2134, 2141, 2144, 2145, 2148, 2151, 2156, 2160, 2162, 2164, 2166, 2168, 2170, 2173, 2175, 2177, 2180, 2181, 2182, 2184, 2186, 2188, 2190, 2192, 2194, 2196, 2201, 2203, 2205, 2207, 2226, 2228, 2232, 2235, 2236, 2237, 2238, 2239, 2241, 2243, 2245, 2247, 2249, 2251, 2253, 2255, 2257, 2259, 2261, 2265, 2266, 2268, 2270, 2272, 2274, 2276, 2279, 2281, 2283, 2288, 2290, 2292, 2320, 2323, 2325, 2326, 2327, 2330, 2332, 2334, 2337, 2339, 2341, 2343, 2345, 2347, 2351, 2353, 2356, 2358, 2360, 2365, 2370, 2372, 2374, 2376, 2378, 2380, 2382, 2384, 2386, 2405, 2412, 2415, 2416, 2417, 2418, 2419, 2421, 2423, 2425, 2427, 2429, 2431, 2433, 2435, 2437, 2439, 2442, 2448, 2449, 2450, 2451, 2454, 2456, 2458, 2460, 2465, 2467, 2469, 2471, 2473, 2475, 2494, 2501, 2504, 2506, 2508, 2510, 2512, 2514, 2516, 2521, 2523, 2525, 2527, 2529, 2532, 2539, 2546, 2547, 2550, 2557, 2560, 2566, 2568, 2570, 2572, 2574, 2576, 2578, 2597, 2604, 2607, 2609, 2611, 2613, 2617, 2619, 2621, 2626, 2628, 2630, 2632, 2635, 2640, 2647, 2657, 2659, 2660, 2668, 2673, 2676, 2678, 2680, 2682, 2687, 2692, 2694, 2696, 2715, 2722, 2725, 2726, 2727, 2728, 2729, 2731, 2733, 2736, 2738, 2740, 2742, 2744, 2747, 2752, 2759, 2768, 2780, 2781, 2782, 2783, 2792, 2799, 2804, 2807, 2809, 2811, 2813, 2815, 2817, 2822, 2848, 2851, 2852, 2853, 2855, 2857, 2859, 2861, 2863, 2865, 2867, 2870, 2878, 2885, 2894, 2905, 2919, 2920, 2921, 2922, 2933, 2942, 2949, 2954, 2957, 2959, 2961, 2965, 2967, 2989, 2996, 2999, 3001, 3003, 3005, 3007, 3009, 3013, 3015, 3018, 3025, 3032, 3041, 3052, 3065, 3080, 3081, 3082, 3083, 3084, 3097, 3108, 3117, 3124, 3129, 3133, 3135, 3137, 3139, 3141, 3160, 3167, 3170, 3171, 3172, 3173, 3174, 3176, 3178, 3180, 3182, 3185, 3190, 3197, 3206, 3217, 3230, 3245, 3263, 3264, 3265, 3266, 3282, 3295, 3306, 3315, 3322, 3327, 3333, 3335, 3337, 3339, 3358, 3365, 3368, 3369, 3370, 3371, 3372, 3374, 3376, 3378, 3382, 3387, 3395, 3404, 3415, 3428, 3443, 3460, 3479, 3480, 3481, 3483, 3503, 3518, 3531, 3542, 3551, 3558, 3563, 3567, 3569, 3571, 3597, 3600, 3601, 3603, 3604, 3608, 3611, 3616, 3623, 3632, 3643, 3656, 3673, 3690, 3709, 3730, 3731, 3732, 3733, 3734, 3753, 3770, 3785, 3809, 3818, 3825, 3830, 3833, 3835, 3854, 3861, 3864, 3866, 3867, 3868, 3870, 3873, 3878, 3885, 3894, 3905, 3918, 3933, 3953, 3972, 3993, 4016, 4017, 4018, 4019, 4020, 4041, 4060, 4077, 4092, 4105, 4116, 4125, 4132, 4138, 4141, 4160, 4162, 4166, 4171, 4172, 4173, 4176, 4181, 4188, 4197, 4209, 4222, 4237, 4273, 4294, 4322, 4347, 4351, 4374, 4398, 4417, 4436, 4451, 4464, 4478, 4487, 4494, 4500]
[2025-06-04 02:47:32] [INFO ] Actually due to overlaps returned [360, 671, 1174, 1373, 1543, 1693, 1822, 1940, 2134, 2226, 2405, 2494, 2597, 2715, 2989, 3160, 3358, 3854, 4160, 4, 14, 18, 20, 97, 211, 213, 217, 278, 326, 341, 370, 371, 373, 374, 439, 496, 542, 543, 598, 641, 652, 681, 683, 684, 737, 788, 829, 830, 831, 878, 913, 920, 949, 955, 999, 1044, 1080, 1081, 1083, 1125, 1149, 1155, 1184, 1185, 1186, 1190, 1218, 1260, 1292, 1294, 1295, 1329, 1346, 1354, 1383, 1384, 1385, 1386, 1389, 1410, 1443, 1471, 1473, 1474, 1503, 1518, 1524, 1553, 1556, 1559, 1580, 1607, 1631, 1632, 1633, 1656, 1674, 1705, 1711, 1727, 1750, 1770, 1771, 1772, 1773, 1789, 1797, 1803, 1832, 1834, 1835, 1839, 1853, 1870, 1887, 1888, 1889, 1901, 1912, 1921, 1950, 1951, 1952, 1953, 1956, 1979, 1992, 1993, 2004, 2012, 2018, 2050, 2051, 2056, 2078, 2083, 2091, 2092, 2093, 2094, 2109, 2115, 2144, 2145, 2151, 2170, 2175, 2180, 2181, 2182, 2190, 2201, 2207, 2228, 2235, 2236, 2237, 2238, 2241, 2255, 2265, 2266, 2274, 2283, 2292, 2323, 2325, 2326, 2330, 2345, 2353, 2356, 2358, 2372, 2380, 2386, 2415, 2416, 2417, 2418, 2421, 2435, 2442, 2448, 2449, 2450, 2458, 2469, 2475, 2504, 2506, 2510, 2527, 2539, 2546, 2547, 2572, 2578, 2607, 2609, 2613, 2632, 2647, 2657, 2659, 2676, 2687, 2696, 2725, 2726, 2727, 2728, 2731, 2747, 2768, 2780, 2781, 2782, 2813, 2822, 2851, 2852, 2853, 2857, 2878, 2905, 2919, 2920, 2921, 2954, 2961, 2999, 3001, 3005, 3032, 3065, 3080, 3081, 3082, 3083, 3124, 3135, 3141, 3170, 3171, 3172, 3173, 3176, 3206, 3245, 3263, 3264, 3265, 3315, 3333, 3339, 3368, 3369, 3370, 3371, 3374, 3415, 3460, 3479, 3480, 3481, 3542, 3571, 3600, 3601, 3603, 3656, 3709, 3730, 3731, 3732, 3733, 3830, 3835, 3864, 3866, 3867, 3870, 3933, 3993, 4016, 4017, 4018, 4019, 4092, 4132, 4141, 4162, 4171, 4172, 4176, 4322, 4347, 4436, 4487]
Discarding 300 places :
Implicit Place search using SMT only with invariants took 12869 ms to find 300 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 4445/9748 places, 8285/14659 transitions.
Discarding 134 places :
Symmetric choice reduction at 0 with 134 rule applications. Total rules 134 place count 4311 transition count 8151
Iterating global reduction 0 with 134 rules applied. Total rules applied 268 place count 4311 transition count 8151
Discarding 131 places :
Symmetric choice reduction at 0 with 131 rule applications. Total rules 399 place count 4180 transition count 8020
Iterating global reduction 0 with 131 rules applied. Total rules applied 530 place count 4180 transition count 8020
Discarding 130 places :
Symmetric choice reduction at 0 with 130 rule applications. Total rules 660 place count 4050 transition count 7890
Iterating global reduction 0 with 130 rules applied. Total rules applied 790 place count 4050 transition count 7890
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 800 place count 4040 transition count 7850
Iterating global reduction 0 with 10 rules applied. Total rules applied 810 place count 4040 transition count 7850
Applied a total of 810 rules in 3239 ms. Remains 4040 /4445 variables (removed 405) and now considering 7850/8285 (removed 435) transitions.
[2025-06-04 02:47:36] [INFO ] Flow matrix only has 7250 transitions (discarded 600 similar events)
// Phase 1: matrix 7250 rows 4040 cols
[2025-06-04 02:47:36] [INFO ] Computed 585 invariants in 286 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:47:45] [INFO ] Implicit Places using invariants in 9060 ms returned [7, 21, 28, 37, 48, 61, 76, 111, 132, 182, 211, 234, 253, 284, 297, 308, 323, 328, 355, 361, 366, 373, 382, 395, 408, 439, 458, 500, 524, 543, 560, 590, 604, 613, 625, 628, 649, 653, 657, 660, 665, 672, 681, 692, 719, 736, 775, 796, 813, 828, 851, 863, 870, 877, 879, 897, 903, 906, 909, 918, 925, 934, 960, 975, 1009, 1028, 1045, 1058, 1077, 1084, 1089, 1093, 1095, 1113, 1117, 1120, 1122, 1125, 1130, 1137, 1156, 1172, 1202, 1219, 1232, 1243, 1258, 1263, 1266, 1269, 1273, 1287, 1290, 1293, 1295, 1297, 1300, 1305, 1320, 1331, 1357, 1372, 1383, 1392, 1404, 1410, 1412, 1415, 1417, 1429, 1434, 1437, 1441, 1443, 1448, 1451, 1462, 1471, 1493, 1506, 1515, 1522, 1529, 1531, 1536, 1540, 1542, 1558, 1564, 1569, 1571, 1573, 1575, 1577, 1587, 1594, 1614, 1624, 1631, 1636, 1640, 1642, 1644, 1647, 1649, 1665, 1669, 1673, 1675, 1677, 1679, 1681, 1687, 1692, 1709, 1718, 1723, 1726, 1729, 1731, 1736, 1742, 1744, 1758, 1760, 1763, 1766, 1768, 1770, 1772, 1774, 1776, 1779, 1789, 1797, 1802, 1804, 1807, 1809, 1811, 1814, 1816, 1834, 1839, 1843, 1846, 1851, 1853, 1855, 1860, 1863, 1869, 1872, 1874, 1876, 1880, 1882, 1884, 1887, 1889, 1903, 1908, 1915, 1919, 1921, 1923, 1925, 1927, 1931, 1934, 1938, 1940, 1942, 1945, 1947, 1949, 1955, 1957, 1971, 1973, 1976, 1978, 1980, 1982, 1984, 1986, 1989, 1991, 1993, 1998, 2000, 2002, 2005, 2008, 2010, 2016, 2018, 2035, 2039, 2043, 2045, 2048, 2050, 2052, 2054, 2057, 2061, 2067, 2072, 2077, 2080, 2082, 2084, 2087, 2089, 2106, 2108, 2111, 2113, 2115, 2117, 2119, 2121, 2124, 2126, 2134, 2137, 2139, 2142, 2147, 2149, 2152, 2154, 2167, 2172, 2175, 2177, 2179, 2184, 2186, 2188, 2191, 2194, 2209, 2216, 2219, 2225, 2227, 2229, 2232, 2234, 2252, 2257, 2262, 2264, 2266, 2271, 2273, 2275, 2279, 2284, 2301, 2309, 2314, 2318, 2320, 2322, 2331, 2333, 2351, 2353, 2356, 2359, 2361, 2363, 2365, 2367, 2374, 2381, 2401, 2410, 2417, 2422, 2425, 2427, 2429, 2432, 2434, 2450, 2454, 2457, 2459, 2461, 2463, 2465, 2468, 2482, 2491, 2515, 2526, 2535, 2542, 2549, 2551, 2556, 2558, 2574, 2579, 2582, 2584, 2588, 2590, 2593, 2600, 2615, 2626, 2652, 2665, 2676, 2685, 2696, 2700, 2703, 2705, 2719, 2721, 2724, 2726, 2728, 2731, 2736, 2743, 2762, 2775, 2807, 2823, 2836, 2847, 2862, 2867, 2874, 2876, 2888, 2890, 2893, 2895, 2899, 2904, 2912, 2921, 2944, 2959, 2995, 3015, 3030, 3043, 3062, 3069, 3074, 3078, 3080, 3093, 3097, 3101, 3104, 3109, 3116, 3125, 3136, 3165, 3182, 3220, 3239, 3256, 3271, 3295, 3304, 3311, 3318, 3330, 3334, 3338, 3343, 3350, 3359, 3370, 3383, 3417, 3436, 3478, 3499, 3518, 3535, 3562, 3573, 3582, 3594, 3605, 3610, 3617, 3624, 3633, 3645, 3658, 3673, 3709, 3730, 3785, 3808, 3832, 3851, 3884, 3897, 3911, 3926, 3932]
Discarding 456 places :
Implicit Place search using SMT only with invariants took 9077 ms to find 456 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3584/9748 places, 7850/14659 transitions.
Applied a total of 0 rules in 607 ms. Remains 3584 /3584 variables (removed 0) and now considering 7850/7850 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 30064 ms. Remains : 3584/9748 places, 7850/14659 transitions.
Support contains 265 out of 3584 places after structural reductions.
[2025-06-04 02:47:47] [INFO ] Flatten gal took : 794 ms
[2025-06-04 02:47:47] [INFO ] Flatten gal took : 321 ms
[2025-06-04 02:47:48] [INFO ] Input system was already deterministic with 7850 transitions.
Support contains 261 out of 3584 places (down from 265) after GAL structural reductions.
RANDOM walk for 40000 steps (960 resets) in 3418 ms. (11 steps per ms) remains 73/122 properties
BEST_FIRST walk for 4004 steps (16 resets) in 63 ms. (62 steps per ms) remains 73/73 properties
BEST_FIRST walk for 4004 steps (16 resets) in 58 ms. (67 steps per ms) remains 71/73 properties
BEST_FIRST walk for 4004 steps (16 resets) in 50 ms. (78 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (16 resets) in 47 ms. (83 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (16 resets) in 60 ms. (65 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (16 resets) in 133 ms. (29 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (16 resets) in 60 ms. (65 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (16 resets) in 87 ms. (45 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (16 resets) in 63 ms. (62 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (16 resets) in 62 ms. (63 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (16 resets) in 61 ms. (64 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (16 resets) in 81 ms. (48 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (16 resets) in 74 ms. (53 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (16 resets) in 57 ms. (69 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (16 resets) in 46 ms. (85 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (16 resets) in 56 ms. (70 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (16 resets) in 70 ms. (56 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (16 resets) in 67 ms. (58 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (16 resets) in 74 ms. (53 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (16 resets) in 66 ms. (59 steps per ms) remains 71/71 properties
BEST_FIRST walk for 4004 steps (16 resets) in 47 ms. (83 steps per ms) remains 70/71 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 70/70 properties
BEST_FIRST walk for 4004 steps (16 resets) in 50 ms. (78 steps per ms) remains 70/70 properties
BEST_FIRST walk for 4004 steps (16 resets) in 100 ms. (39 steps per ms) remains 70/70 properties
BEST_FIRST walk for 4004 steps (16 resets) in 94 ms. (42 steps per ms) remains 70/70 properties
BEST_FIRST walk for 4004 steps (16 resets) in 58 ms. (67 steps per ms) remains 70/70 properties
BEST_FIRST walk for 4004 steps (16 resets) in 47 ms. (83 steps per ms) remains 70/70 properties
BEST_FIRST walk for 4004 steps (16 resets) in 43 ms. (91 steps per ms) remains 69/70 properties
BEST_FIRST walk for 4004 steps (16 resets) in 41 ms. (95 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 42 ms. (93 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 37 ms. (105 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 145 ms. (27 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 40 ms. (97 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 62 ms. (63 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 45 ms. (87 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 43 ms. (91 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 39 ms. (100 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 41 ms. (95 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 44 ms. (88 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 42 ms. (93 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 38 ms. (102 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 49 ms. (80 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 39 ms. (100 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 35 ms. (111 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 37 ms. (105 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 46 ms. (85 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 38 ms. (102 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 41 ms. (95 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 38 ms. (102 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 46 ms. (85 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 36 ms. (108 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 56 ms. (70 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 38 ms. (102 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 50 ms. (78 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 46 ms. (85 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 38 ms. (102 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 39 ms. (100 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 67 ms. (58 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 35 ms. (111 steps per ms) remains 69/69 properties
BEST_FIRST walk for 4004 steps (16 resets) in 33 ms. (117 steps per ms) remains 68/69 properties
[2025-06-04 02:47:50] [INFO ] Flow matrix only has 7250 transitions (discarded 600 similar events)
// Phase 1: matrix 7250 rows 3584 cols
[2025-06-04 02:47:50] [INFO ] Computed 129 invariants in 246 ms
[2025-06-04 02:47:51] [INFO ] State equation strengthened by 2965 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/166 variables, 16/16 constraints. Problems are: Problem set: 0 solved, 68 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/166 variables, 0/16 constraints. Problems are: Problem set: 0 solved, 68 unsolved
Problem AtomicPropp1 is UNSAT
Problem AtomicPropp18 is UNSAT
Problem AtomicPropp26 is UNSAT
Problem AtomicPropp33 is UNSAT
Problem AtomicPropp35 is UNSAT
Problem AtomicPropp46 is UNSAT
Problem AtomicPropp47 is UNSAT
Problem AtomicPropp53 is UNSAT
Problem AtomicPropp55 is UNSAT
Problem AtomicPropp56 is UNSAT
Problem AtomicPropp74 is UNSAT
Problem AtomicPropp75 is UNSAT
Problem AtomicPropp76 is UNSAT
Problem AtomicPropp84 is UNSAT
Problem AtomicPropp94 is UNSAT
Problem AtomicPropp100 is UNSAT
Problem AtomicPropp103 is UNSAT
Problem AtomicPropp115 is UNSAT
Problem AtomicPropp119 is UNSAT
At refinement iteration 2 (OVERLAPS) 3206/3372 variables, 23/39 constraints. Problems are: Problem set: 19 solved, 49 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/3372 variables, 1/40 constraints. Problems are: Problem set: 19 solved, 49 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:47:59] [INFO ] Deduced a trap composed of 657 places in 6196 ms of which 2015 ms to minimize.
SMT process timed out in 9089ms, After SMT, problems are : Problem set: 19 solved, 49 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 92 out of 3584 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3584/3584 places, 7850/7850 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 33 transitions
Trivial Post-agglo rules discarded 33 transitions
Performed 33 trivial Post agglomeration. Transition count delta: 33
Iterating post reduction 0 with 33 rules applied. Total rules applied 33 place count 3584 transition count 7817
Reduce places removed 33 places and 0 transitions.
Iterating post reduction 1 with 33 rules applied. Total rules applied 66 place count 3551 transition count 7817
Performed 57 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 57 Pre rules applied. Total rules applied 66 place count 3551 transition count 7760
Deduced a syphon composed of 57 places in 6 ms
Reduce places removed 57 places and 0 transitions.
Iterating global reduction 2 with 114 rules applied. Total rules applied 180 place count 3494 transition count 7760
Discarding 45 places :
Symmetric choice reduction at 2 with 45 rule applications. Total rules 225 place count 3449 transition count 7658
Iterating global reduction 2 with 45 rules applied. Total rules applied 270 place count 3449 transition count 7658
Discarding 24 places :
Symmetric choice reduction at 2 with 24 rule applications. Total rules 294 place count 3425 transition count 7571
Iterating global reduction 2 with 24 rules applied. Total rules applied 318 place count 3425 transition count 7571
Performed 36 Post agglomeration using F-continuation condition.Transition count delta: 36
Deduced a syphon composed of 36 places in 7 ms
Reduce places removed 36 places and 0 transitions.
Iterating global reduction 2 with 72 rules applied. Total rules applied 390 place count 3389 transition count 7535
Discarding 28 places :
Symmetric choice reduction at 2 with 28 rule applications. Total rules 418 place count 3361 transition count 7507
Iterating global reduction 2 with 28 rules applied. Total rules applied 446 place count 3361 transition count 7507
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 472 place count 3335 transition count 7403
Iterating global reduction 2 with 26 rules applied. Total rules applied 498 place count 3335 transition count 7403
Free-agglomeration rule (complex) applied 283 times.
Iterating global reduction 2 with 283 rules applied. Total rules applied 781 place count 3335 transition count 8446
Reduce places removed 283 places and 0 transitions.
Iterating post reduction 2 with 283 rules applied. Total rules applied 1064 place count 3052 transition count 8446
Partial Free-agglomeration rule applied 54 times.
Drop transitions (Partial Free agglomeration) removed 54 transitions
Iterating global reduction 3 with 54 rules applied. Total rules applied 1118 place count 3052 transition count 8446
Applied a total of 1118 rules in 6481 ms. Remains 3052 /3584 variables (removed 532) and now considering 8446/7850 (removed -596) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 6484 ms. Remains : 3052/3584 places, 8446/7850 transitions.
RANDOM walk for 40000 steps (1591 resets) in 2271 ms. (17 steps per ms) remains 47/49 properties
BEST_FIRST walk for 4003 steps (14 resets) in 40 ms. (97 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (16 resets) in 35 ms. (111 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (16 resets) in 45 ms. (87 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (14 resets) in 37 ms. (105 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (16 resets) in 40 ms. (97 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (13 resets) in 33 ms. (117 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4002 steps (16 resets) in 38 ms. (102 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (13 resets) in 29 ms. (133 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (14 resets) in 29 ms. (133 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (16 resets) in 35 ms. (111 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (16 resets) in 33 ms. (117 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (15 resets) in 38 ms. (102 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (16 resets) in 31 ms. (125 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (16 resets) in 36 ms. (108 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (12 resets) in 32 ms. (121 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (14 resets) in 31 ms. (125 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (15 resets) in 42 ms. (93 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (14 resets) in 35 ms. (111 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (16 resets) in 35 ms. (111 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (16 resets) in 36 ms. (108 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (13 resets) in 30 ms. (129 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (16 resets) in 35 ms. (111 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (16 resets) in 33 ms. (117 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (16 resets) in 29 ms. (133 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (15 resets) in 30 ms. (129 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (15 resets) in 32 ms. (121 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (16 resets) in 29 ms. (133 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (14 resets) in 28 ms. (138 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (15 resets) in 28 ms. (138 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4002 steps (12 resets) in 27 ms. (142 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (15 resets) in 28 ms. (138 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4002 steps (15 resets) in 30 ms. (129 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (16 resets) in 31 ms. (125 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (16 resets) in 30 ms. (129 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (16 resets) in 37 ms. (105 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (15 resets) in 32 ms. (121 steps per ms) remains 46/47 properties
BEST_FIRST walk for 4004 steps (16 resets) in 30 ms. (129 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4002 steps (16 resets) in 30 ms. (129 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4004 steps (15 resets) in 30 ms. (129 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4004 steps (13 resets) in 26 ms. (148 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4004 steps (13 resets) in 29 ms. (133 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4004 steps (15 resets) in 28 ms. (138 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4004 steps (16 resets) in 34 ms. (114 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4003 steps (14 resets) in 29 ms. (133 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4004 steps (16 resets) in 32 ms. (121 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4004 steps (16 resets) in 43 ms. (91 steps per ms) remains 45/46 properties
Interrupted probabilistic random walk after 17799 steps, run timeout after 3001 ms. (steps per millisecond=5 ) properties seen :1 out of 45
Probabilistic random walk after 17799 steps, saw 7770 distinct states, run finished after 3016 ms. (steps per millisecond=5 ) properties seen :1
[2025-06-04 02:48:10] [INFO ] Flow matrix only has 7611 transitions (discarded 835 similar events)
// Phase 1: matrix 7611 rows 3052 cols
[2025-06-04 02:48:10] [INFO ] Computed 129 invariants in 230 ms
[2025-06-04 02:48:10] [INFO ] State equation strengthened by 4093 read => feed constraints.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/83 variables, 9/9 constraints. Problems are: Problem set: 0 solved, 44 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/83 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 44 unsolved
At refinement iteration 2 (OVERLAPS) 2782/2865 variables, 24/33 constraints. Problems are: Problem set: 0 solved, 44 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:48:17] [INFO ] Deduced a trap composed of 184 places in 5326 ms of which 1227 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:48:22] [INFO ] Deduced a trap composed of 201 places in 4814 ms of which 819 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:48:27] [INFO ] Deduced a trap composed of 201 places in 4703 ms of which 821 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:48:32] [INFO ] Deduced a trap composed of 201 places in 4629 ms of which 995 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:48:36] [INFO ] Deduced a trap composed of 201 places in 4664 ms of which 786 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:48:41] [INFO ] Deduced a trap composed of 201 places in 4370 ms of which 823 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:48:45] [INFO ] Deduced a trap composed of 201 places in 4359 ms of which 906 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:48:50] [INFO ] Deduced a trap composed of 201 places in 4399 ms of which 806 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:48:53] [INFO ] Deduced a trap composed of 184 places in 3598 ms of which 703 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:48:57] [INFO ] Deduced a trap composed of 201 places in 3895 ms of which 715 ms to minimize.
SMT process timed out in 47431ms, After SMT, problems are : Problem set: 0 solved, 44 unsolved
Fused 44 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 83 out of 3052 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3052/3052 places, 8446/8446 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 3052 transition count 8445
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 3051 transition count 8445
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 2 place count 3051 transition count 8443
Deduced a syphon composed of 2 places in 7 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 6 place count 3049 transition count 8443
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 9 place count 3046 transition count 8437
Iterating global reduction 2 with 3 rules applied. Total rules applied 12 place count 3046 transition count 8437
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 13 place count 3046 transition count 8436
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 14 place count 3045 transition count 8436
Partial Free-agglomeration rule applied 3 times.
Drop transitions (Partial Free agglomeration) removed 3 transitions
Iterating global reduction 3 with 3 rules applied. Total rules applied 17 place count 3045 transition count 8436
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 18 place count 3044 transition count 8435
Iterating global reduction 3 with 1 rules applied. Total rules applied 19 place count 3044 transition count 8435
Applied a total of 19 rules in 3027 ms. Remains 3044 /3052 variables (removed 8) and now considering 8435/8446 (removed 11) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3027 ms. Remains : 3044/3052 places, 8435/8446 transitions.
RANDOM walk for 40000 steps (1593 resets) in 1643 ms. (24 steps per ms) remains 43/44 properties
BEST_FIRST walk for 4001 steps (14 resets) in 24 ms. (160 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (15 resets) in 26 ms. (148 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (15 resets) in 25 ms. (154 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4003 steps (13 resets) in 24 ms. (160 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4003 steps (14 resets) in 24 ms. (160 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4003 steps (16 resets) in 23 ms. (166 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (13 resets) in 23 ms. (166 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4003 steps (16 resets) in 23 ms. (166 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (12 resets) in 59 ms. (66 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4003 steps (15 resets) in 23 ms. (166 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (16 resets) in 22 ms. (174 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (15 resets) in 28 ms. (138 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (13 resets) in 22 ms. (174 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (14 resets) in 24 ms. (160 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4003 steps (14 resets) in 20 ms. (190 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (15 resets) in 23 ms. (166 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4003 steps (16 resets) in 24 ms. (160 steps per ms) remains 42/43 properties
BEST_FIRST walk for 4003 steps (15 resets) in 20 ms. (190 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4003 steps (14 resets) in 23 ms. (166 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (16 resets) in 23 ms. (166 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (16 resets) in 25 ms. (154 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4003 steps (16 resets) in 24 ms. (160 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (15 resets) in 23 ms. (166 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4003 steps (14 resets) in 20 ms. (190 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (13 resets) in 24 ms. (160 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (16 resets) in 23 ms. (166 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4003 steps (13 resets) in 22 ms. (174 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4003 steps (16 resets) in 24 ms. (160 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4003 steps (16 resets) in 25 ms. (153 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (15 resets) in 24 ms. (160 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (16 resets) in 24 ms. (160 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (16 resets) in 25 ms. (154 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4003 steps (15 resets) in 24 ms. (160 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (15 resets) in 23 ms. (166 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (16 resets) in 25 ms. (154 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4003 steps (14 resets) in 24 ms. (160 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (15 resets) in 23 ms. (166 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (16 resets) in 22 ms. (174 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (13 resets) in 23 ms. (166 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (16 resets) in 24 ms. (160 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (14 resets) in 21 ms. (182 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (16 resets) in 28 ms. (138 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (16 resets) in 20 ms. (190 steps per ms) remains 42/42 properties
Interrupted probabilistic random walk after 19503 steps, run timeout after 3001 ms. (steps per millisecond=6 ) properties seen :0 out of 42
Probabilistic random walk after 19503 steps, saw 8492 distinct states, run finished after 3005 ms. (steps per millisecond=6 ) properties seen :0
[2025-06-04 02:49:04] [INFO ] Flow matrix only has 7600 transitions (discarded 835 similar events)
// Phase 1: matrix 7600 rows 3044 cols
[2025-06-04 02:49:04] [INFO ] Computed 129 invariants in 197 ms
[2025-06-04 02:49:04] [INFO ] State equation strengthened by 4090 read => feed constraints.
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/79 variables, 9/9 constraints. Problems are: Problem set: 0 solved, 42 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/79 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 42 unsolved
At refinement iteration 2 (OVERLAPS) 2779/2858 variables, 24/33 constraints. Problems are: Problem set: 0 solved, 42 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:49:10] [INFO ] Deduced a trap composed of 179 places in 3983 ms of which 731 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:49:14] [INFO ] Deduced a trap composed of 196 places in 4006 ms of which 797 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:49:18] [INFO ] Deduced a trap composed of 196 places in 4170 ms of which 883 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:49:23] [INFO ] Deduced a trap composed of 196 places in 4585 ms of which 822 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:49:27] [INFO ] Deduced a trap composed of 196 places in 4623 ms of which 804 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:49:32] [INFO ] Deduced a trap composed of 196 places in 4162 ms of which 814 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:49:36] [INFO ] Deduced a trap composed of 179 places in 4012 ms of which 739 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:49:40] [INFO ] Deduced a trap composed of 196 places in 4439 ms of which 1006 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:49:44] [INFO ] Deduced a trap composed of 196 places in 4184 ms of which 791 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:49:49] [INFO ] Deduced a trap composed of 196 places in 4268 ms of which 823 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:49:53] [INFO ] Deduced a trap composed of 196 places in 4080 ms of which 817 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:49:57] [INFO ] Deduced a trap composed of 196 places in 4225 ms of which 785 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:50:01] [INFO ] Deduced a trap composed of 196 places in 3940 ms of which 784 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:50:06] [INFO ] Deduced a trap composed of 196 places in 4485 ms of which 783 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:50:10] [INFO ] Deduced a trap composed of 179 places in 3869 ms of which 519 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:50:14] [INFO ] Deduced a trap composed of 196 places in 4129 ms of which 572 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:50:18] [INFO ] Deduced a trap composed of 196 places in 3968 ms of which 783 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 02:50:22] [INFO ] Deduced a trap composed of 196 places in 4141 ms of which 779 ms to minimize.
SMT process timed out in 78033ms, After SMT, problems are : Problem set: 0 solved, 42 unsolved
Fused 42 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 79 out of 3044 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3044/3044 places, 8435/8435 transitions.
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 0 place count 3044 transition count 8434
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 3043 transition count 8434
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 4 place count 3041 transition count 8429
Iterating global reduction 0 with 2 rules applied. Total rules applied 6 place count 3041 transition count 8429
Partial Free-agglomeration rule applied 1 times.
Drop transitions (Partial Free agglomeration) removed 1 transitions
Iterating global reduction 0 with 1 rules applied. Total rules applied 7 place count 3041 transition count 8429
Applied a total of 7 rules in 1852 ms. Remains 3041 /3044 variables (removed 3) and now considering 8429/8435 (removed 6) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1853 ms. Remains : 3041/3044 places, 8429/8435 transitions.
Successfully simplified 19 atomic propositions for a total of 16 simplifications.
FORMULA MultiCrashLeafsetExtension-PT-S24C04-CTLFireability-2025-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-04 02:50:24] [INFO ] Flatten gal took : 249 ms
[2025-06-04 02:50:25] [INFO ] Flatten gal took : 273 ms
[2025-06-04 02:50:25] [INFO ] Input system was already deterministic with 7850 transitions.
Support contains 163 out of 3584 places (down from 166) after GAL structural reductions.
Computed a total of 960 stabilizing places and 2649 stable transitions
Starting structural reductions in SI_CTL mode, iteration 0 : 3584/3584 places, 7850/7850 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 35 transitions
Trivial Post-agglo rules discarded 35 transitions
Performed 35 trivial Post agglomeration. Transition count delta: 35
Iterating post reduction 0 with 35 rules applied. Total rules applied 35 place count 3584 transition count 7815
Reduce places removed 35 places and 0 transitions.
Iterating post reduction 1 with 35 rules applied. Total rules applied 70 place count 3549 transition count 7815
Performed 55 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 55 Pre rules applied. Total rules applied 70 place count 3549 transition count 7760
Deduced a syphon composed of 55 places in 6 ms
Reduce places removed 55 places and 0 transitions.
Iterating global reduction 2 with 110 rules applied. Total rules applied 180 place count 3494 transition count 7760
Discarding 47 places :
Symmetric choice reduction at 2 with 47 rule applications. Total rules 227 place count 3447 transition count 7647
Iterating global reduction 2 with 47 rules applied. Total rules applied 274 place count 3447 transition count 7647
Discarding 23 places :
Symmetric choice reduction at 2 with 23 rule applications. Total rules 297 place count 3424 transition count 7564
Iterating global reduction 2 with 23 rules applied. Total rules applied 320 place count 3424 transition count 7564
Performed 41 Post agglomeration using F-continuation condition.Transition count delta: 41
Deduced a syphon composed of 41 places in 5 ms
Reduce places removed 41 places and 0 transitions.
Iterating global reduction 2 with 82 rules applied. Total rules applied 402 place count 3383 transition count 7523
Discarding 29 places :
Symmetric choice reduction at 2 with 29 rule applications. Total rules 431 place count 3354 transition count 7494
Iterating global reduction 2 with 29 rules applied. Total rules applied 460 place count 3354 transition count 7494
Discarding 27 places :
Symmetric choice reduction at 2 with 27 rule applications. Total rules 487 place count 3327 transition count 7386
Iterating global reduction 2 with 27 rules applied. Total rules applied 514 place count 3327 transition count 7386
Applied a total of 514 rules in 4273 ms. Remains 3327 /3584 variables (removed 257) and now considering 7386/7850 (removed 464) transitions.
[2025-06-04 02:50:29] [INFO ] Flow matrix only has 6786 transitions (discarded 600 similar events)
// Phase 1: matrix 6786 rows 3327 cols
[2025-06-04 02:50:30] [INFO ] Computed 129 invariants in 163 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:50:42] [INFO ] Implicit Places using invariants in 12307 ms returned [10, 190, 319, 585, 716, 796, 804, 805, 1087, 1217, 1263, 1264, 1322, 1346, 1362, 1363, 1364, 1440, 1474, 1523, 1524, 1540, 1548, 1549, 1569, 1588, 1589, 1603, 1636, 1637, 1676, 1677, 1716, 1738, 1739, 1762, 1772, 1794, 1795, 1824, 1825, 1894, 1924, 1932, 1981, 2017, 2030, 2226, 2389, 2467, 2475, 2477, 2648, 2690, 2941, 3015, 3103, 3104, 3105, 3244]
[2025-06-04 02:50:42] [INFO ] Actually due to overlaps returned [796, 1540, 1924, 2467, 3244, 10, 190, 319, 585, 716, 804, 805, 1087, 1217, 1263, 1264, 1322, 1362, 1363, 1364, 1440, 1474, 1523, 1524, 1548, 1549, 1588, 1589, 1603, 1636, 1637, 1676, 1677, 1716, 1738, 1739, 1762, 1794, 1795, 1824, 1825, 1894, 1932, 1981, 2030, 2226, 2389, 2475, 2690, 2941, 3103, 3104, 3105]
Discarding 53 places :
Implicit Place search using SMT only with invariants took 12314 ms to find 53 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3274/3584 places, 7386/7850 transitions.
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 40 place count 3234 transition count 7346
Iterating global reduction 0 with 40 rules applied. Total rules applied 80 place count 3234 transition count 7346
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 120 place count 3194 transition count 7306
Iterating global reduction 0 with 40 rules applied. Total rules applied 160 place count 3194 transition count 7306
Discarding 14 places :
Symmetric choice reduction at 0 with 14 rule applications. Total rules 174 place count 3180 transition count 7250
Iterating global reduction 0 with 14 rules applied. Total rules applied 188 place count 3180 transition count 7250
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Deduced a syphon composed of 8 places in 5 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 0 with 16 rules applied. Total rules applied 204 place count 3172 transition count 7242
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 212 place count 3164 transition count 7234
Iterating global reduction 0 with 8 rules applied. Total rules applied 220 place count 3164 transition count 7234
Discarding 15 places :
Symmetric choice reduction at 0 with 15 rule applications. Total rules 235 place count 3149 transition count 7174
Iterating global reduction 0 with 15 rules applied. Total rules applied 250 place count 3149 transition count 7174
Applied a total of 250 rules in 4871 ms. Remains 3149 /3274 variables (removed 125) and now considering 7174/7386 (removed 212) transitions.
[2025-06-04 02:50:47] [INFO ] Flow matrix only has 6574 transitions (discarded 600 similar events)
// Phase 1: matrix 6574 rows 3149 cols
[2025-06-04 02:50:47] [INFO ] Computed 76 invariants in 270 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:50:56] [INFO ] Implicit Places using invariants in 9202 ms returned [1317, 1514, 1690, 1914, 2361, 2532, 2894]
Discarding 7 places :
Implicit Place search using SMT only with invariants took 9207 ms to find 7 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3142/3584 places, 7174/7850 transitions.
Applied a total of 0 rules in 940 ms. Remains 3142 /3142 variables (removed 0) and now considering 7174/7174 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 31612 ms. Remains : 3142/3584 places, 7174/7850 transitions.
[2025-06-04 02:50:57] [INFO ] Flatten gal took : 168 ms
[2025-06-04 02:50:57] [INFO ] Flatten gal took : 187 ms
[2025-06-04 02:50:58] [INFO ] Input system was already deterministic with 7174 transitions.
[2025-06-04 02:50:58] [INFO ] Flatten gal took : 278 ms
[2025-06-04 02:50:58] [INFO ] Flatten gal took : 212 ms
[2025-06-04 02:50:58] [INFO ] Time to serialize gal into /tmp/CTLFireability2879717959676104470.gal : 115 ms
[2025-06-04 02:50:58] [INFO ] Time to serialize properties into /tmp/CTLFireability16159009385094196784.ctl : 8 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/CTLFireability2879717959676104470.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16159009385094196784.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-04 02:51:28] [INFO ] Flatten gal took : 168 ms
[2025-06-04 02:51:28] [INFO ] Applying decomposition
[2025-06-04 02:51:29] [INFO ] Flatten gal took : 168 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/graph11565969304711840109.txt' '-o' '/tmp/graph11565969304711840109.bin' '-w' '/tmp/graph11565969304711840109.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph11565969304711840109.bin' '-l' '-1' '-v' '-w' '/tmp/graph11565969304711840109.weights' '-q' '0' '-e' '0.001'
[2025-06-04 02:51:29] [INFO ] Decomposing Gal with order
[2025-06-04 02:51:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 02:51:32] [INFO ] Removed a total of 6733 redundant transitions.
[2025-06-04 02:51:32] [INFO ] Flatten gal took : 1930 ms
[2025-06-04 02:51:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 3808 labels/synchronizations in 649 ms.
[2025-06-04 02:51:34] [INFO ] Time to serialize gal into /tmp/CTLFireability494503539394318222.gal : 103 ms
[2025-06-04 02:51:34] [INFO ] Time to serialize properties into /tmp/CTLFireability13995109936654943794.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/CTLFireability494503539394318222.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13995109936654943794.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 : 3584/3584 places, 7850/7850 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 39 transitions
Trivial Post-agglo rules discarded 39 transitions
Performed 39 trivial Post agglomeration. Transition count delta: 39
Iterating post reduction 0 with 39 rules applied. Total rules applied 39 place count 3584 transition count 7811
Reduce places removed 39 places and 0 transitions.
Iterating post reduction 1 with 39 rules applied. Total rules applied 78 place count 3545 transition count 7811
Performed 59 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 59 Pre rules applied. Total rules applied 78 place count 3545 transition count 7752
Deduced a syphon composed of 59 places in 6 ms
Reduce places removed 59 places and 0 transitions.
Iterating global reduction 2 with 118 rules applied. Total rules applied 196 place count 3486 transition count 7752
Discarding 52 places :
Symmetric choice reduction at 2 with 52 rule applications. Total rules 248 place count 3434 transition count 7631
Iterating global reduction 2 with 52 rules applied. Total rules applied 300 place count 3434 transition count 7631
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 326 place count 3408 transition count 7536
Iterating global reduction 2 with 26 rules applied. Total rules applied 352 place count 3408 transition count 7536
Performed 41 Post agglomeration using F-continuation condition.Transition count delta: 41
Deduced a syphon composed of 41 places in 5 ms
Reduce places removed 41 places and 0 transitions.
Iterating global reduction 2 with 82 rules applied. Total rules applied 434 place count 3367 transition count 7495
Discarding 33 places :
Symmetric choice reduction at 2 with 33 rule applications. Total rules 467 place count 3334 transition count 7462
Iterating global reduction 2 with 33 rules applied. Total rules applied 500 place count 3334 transition count 7462
Discarding 32 places :
Symmetric choice reduction at 2 with 32 rule applications. Total rules 532 place count 3302 transition count 7334
Iterating global reduction 2 with 32 rules applied. Total rules applied 564 place count 3302 transition count 7334
Applied a total of 564 rules in 4404 ms. Remains 3302 /3584 variables (removed 282) and now considering 7334/7850 (removed 516) transitions.
[2025-06-04 02:52:08] [INFO ] Flow matrix only has 6734 transitions (discarded 600 similar events)
// Phase 1: matrix 6734 rows 3302 cols
[2025-06-04 02:52:08] [INFO ] Computed 129 invariants in 153 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:52:22] [INFO ] Implicit Places using invariants in 13908 ms returned [9, 10, 141, 188, 471, 472, 579, 709, 789, 797, 798, 799, 908, 981, 1071, 1201, 1247, 1308, 1332, 1349, 1350, 1351, 1427, 1461, 1510, 1511, 1527, 1535, 1536, 1556, 1575, 1576, 1590, 1623, 1624, 1639, 1647, 1661, 1662, 1700, 1722, 1723, 1745, 1746, 1754, 1775, 1776, 1805, 1806, 1876, 1906, 1914, 1963, 1999, 2011, 2012, 2205, 2367, 2445, 2453, 2455, 2626, 2668, 2919, 2920, 2993, 3078, 3079, 3080, 3219]
[2025-06-04 02:52:22] [INFO ] Actually due to overlaps returned [789, 1527, 1639, 1906, 2445, 3219, 9, 10, 188, 471, 472, 579, 709, 797, 798, 799, 908, 981, 1071, 1201, 1247, 1308, 1349, 1350, 1351, 1427, 1461, 1510, 1511, 1535, 1536, 1575, 1576, 1590, 1623, 1624, 1647, 1661, 1662, 1700, 1722, 1723, 1745, 1746, 1775, 1776, 1805, 1806, 1876, 1914, 1963, 2011, 2012, 2205, 2367, 2453, 2668, 2919, 2920, 3078, 3079, 3080]
Discarding 62 places :
Implicit Place search using SMT only with invariants took 13924 ms to find 62 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3240/3584 places, 7334/7850 transitions.
Discarding 48 places :
Symmetric choice reduction at 0 with 48 rule applications. Total rules 48 place count 3192 transition count 7286
Iterating global reduction 0 with 48 rules applied. Total rules applied 96 place count 3192 transition count 7286
Discarding 48 places :
Symmetric choice reduction at 0 with 48 rule applications. Total rules 144 place count 3144 transition count 7238
Iterating global reduction 0 with 48 rules applied. Total rules applied 192 place count 3144 transition count 7238
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 209 place count 3127 transition count 7170
Iterating global reduction 0 with 17 rules applied. Total rules applied 226 place count 3127 transition count 7170
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Deduced a syphon composed of 8 places in 9 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 0 with 16 rules applied. Total rules applied 242 place count 3119 transition count 7162
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 250 place count 3111 transition count 7154
Iterating global reduction 0 with 8 rules applied. Total rules applied 258 place count 3111 transition count 7154
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 277 place count 3092 transition count 7078
Iterating global reduction 0 with 19 rules applied. Total rules applied 296 place count 3092 transition count 7078
Applied a total of 296 rules in 5207 ms. Remains 3092 /3240 variables (removed 148) and now considering 7078/7334 (removed 256) transitions.
[2025-06-04 02:52:27] [INFO ] Flow matrix only has 6478 transitions (discarded 600 similar events)
// Phase 1: matrix 6478 rows 3092 cols
[2025-06-04 02:52:27] [INFO ] Computed 67 invariants in 185 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:52:37] [INFO ] Implicit Places using invariants in 9505 ms returned [139, 1291, 1490, 1655, 1878, 2318, 2489, 2849]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 9513 ms to find 8 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3084/3584 places, 7078/7850 transitions.
Applied a total of 0 rules in 851 ms. Remains 3084 /3084 variables (removed 0) and now considering 7078/7078 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 33903 ms. Remains : 3084/3584 places, 7078/7850 transitions.
[2025-06-04 02:52:38] [INFO ] Flatten gal took : 176 ms
[2025-06-04 02:52:38] [INFO ] Flatten gal took : 204 ms
[2025-06-04 02:52:38] [INFO ] Input system was already deterministic with 7078 transitions.
[2025-06-04 02:52:38] [INFO ] Flatten gal took : 186 ms
[2025-06-04 02:52:39] [INFO ] Flatten gal took : 184 ms
[2025-06-04 02:52:39] [INFO ] Time to serialize gal into /tmp/CTLFireability3207375478893309355.gal : 34 ms
[2025-06-04 02:52:39] [INFO ] Time to serialize properties into /tmp/CTLFireability12237316389525445978.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/CTLFireability3207375478893309355.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12237316389525445978.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-04 02:53:09] [INFO ] Flatten gal took : 172 ms
[2025-06-04 02:53:09] [INFO ] Applying decomposition
[2025-06-04 02:53:09] [INFO ] Flatten gal took : 280 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/graph16171085583560960550.txt' '-o' '/tmp/graph16171085583560960550.bin' '-w' '/tmp/graph16171085583560960550.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph16171085583560960550.bin' '-l' '-1' '-v' '-w' '/tmp/graph16171085583560960550.weights' '-q' '0' '-e' '0.001'
[2025-06-04 02:53:10] [INFO ] Decomposing Gal with order
[2025-06-04 02:53:10] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 02:53:12] [INFO ] Removed a total of 6620 redundant transitions.
[2025-06-04 02:53:12] [INFO ] Flatten gal took : 1285 ms
[2025-06-04 02:53:13] [INFO ] Fuse similar labels procedure discarded/fused a total of 5672 labels/synchronizations in 557 ms.
[2025-06-04 02:53:13] [INFO ] Time to serialize gal into /tmp/CTLFireability11189174642869255684.gal : 64 ms
[2025-06-04 02:53:13] [INFO ] Time to serialize properties into /tmp/CTLFireability8230489571159240198.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/CTLFireability11189174642869255684.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8230489571159240198.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 : 3584/3584 places, 7850/7850 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 39 transitions
Trivial Post-agglo rules discarded 39 transitions
Performed 39 trivial Post agglomeration. Transition count delta: 39
Iterating post reduction 0 with 39 rules applied. Total rules applied 39 place count 3584 transition count 7811
Reduce places removed 39 places and 0 transitions.
Iterating post reduction 1 with 39 rules applied. Total rules applied 78 place count 3545 transition count 7811
Performed 60 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 60 Pre rules applied. Total rules applied 78 place count 3545 transition count 7751
Deduced a syphon composed of 60 places in 6 ms
Reduce places removed 60 places and 0 transitions.
Iterating global reduction 2 with 120 rules applied. Total rules applied 198 place count 3485 transition count 7751
Discarding 54 places :
Symmetric choice reduction at 2 with 54 rule applications. Total rules 252 place count 3431 transition count 7625
Iterating global reduction 2 with 54 rules applied. Total rules applied 306 place count 3431 transition count 7625
Discarding 27 places :
Symmetric choice reduction at 2 with 27 rule applications. Total rules 333 place count 3404 transition count 7526
Iterating global reduction 2 with 27 rules applied. Total rules applied 360 place count 3404 transition count 7526
Performed 41 Post agglomeration using F-continuation condition.Transition count delta: 41
Deduced a syphon composed of 41 places in 9 ms
Reduce places removed 41 places and 0 transitions.
Iterating global reduction 2 with 82 rules applied. Total rules applied 442 place count 3363 transition count 7485
Discarding 33 places :
Symmetric choice reduction at 2 with 33 rule applications. Total rules 475 place count 3330 transition count 7452
Iterating global reduction 2 with 33 rules applied. Total rules applied 508 place count 3330 transition count 7452
Discarding 32 places :
Symmetric choice reduction at 2 with 32 rule applications. Total rules 540 place count 3298 transition count 7324
Iterating global reduction 2 with 32 rules applied. Total rules applied 572 place count 3298 transition count 7324
Applied a total of 572 rules in 4543 ms. Remains 3298 /3584 variables (removed 286) and now considering 7324/7850 (removed 526) transitions.
[2025-06-04 02:53:47] [INFO ] Flow matrix only has 6724 transitions (discarded 600 similar events)
// Phase 1: matrix 6724 rows 3298 cols
[2025-06-04 02:53:48] [INFO ] Computed 129 invariants in 151 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:54:00] [INFO ] Implicit Places using invariants in 12699 ms returned [9, 10, 141, 188, 316, 469, 470, 576, 706, 786, 794, 795, 796, 905, 978, 1068, 1198, 1244, 1245, 1303, 1343, 1344, 1345, 1421, 1455, 1504, 1505, 1521, 1529, 1530, 1550, 1569, 1570, 1584, 1617, 1618, 1633, 1641, 1655, 1656, 1694, 1716, 1717, 1739, 1740, 1748, 1769, 1801, 1802, 1872, 1902, 1910, 1959, 2007, 2008, 2201, 2363, 2449, 2451, 2622, 2664, 2915, 2916, 2989, 3074, 3075, 3076]
[2025-06-04 02:54:00] [INFO ] Actually due to overlaps returned [786, 1521, 1633, 1902, 9, 10, 188, 316, 469, 470, 576, 706, 794, 795, 796, 905, 978, 1068, 1198, 1244, 1245, 1303, 1343, 1344, 1345, 1421, 1455, 1504, 1505, 1529, 1530, 1569, 1570, 1584, 1617, 1618, 1641, 1655, 1656, 1694, 1716, 1717, 1739, 1740, 1769, 1801, 1802, 1872, 1910, 1959, 2007, 2008, 2201, 2363, 2449, 2664, 2915, 2916, 3074, 3075, 3076]
Discarding 61 places :
Implicit Place search using SMT only with invariants took 12705 ms to find 61 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3237/3584 places, 7324/7850 transitions.
Discarding 49 places :
Symmetric choice reduction at 0 with 49 rule applications. Total rules 49 place count 3188 transition count 7275
Iterating global reduction 0 with 49 rules applied. Total rules applied 98 place count 3188 transition count 7275
Discarding 49 places :
Symmetric choice reduction at 0 with 49 rule applications. Total rules 147 place count 3139 transition count 7226
Iterating global reduction 0 with 49 rules applied. Total rules applied 196 place count 3139 transition count 7226
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 213 place count 3122 transition count 7158
Iterating global reduction 0 with 17 rules applied. Total rules applied 230 place count 3122 transition count 7158
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Deduced a syphon composed of 8 places in 5 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 0 with 16 rules applied. Total rules applied 246 place count 3114 transition count 7150
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 254 place count 3106 transition count 7142
Iterating global reduction 0 with 8 rules applied. Total rules applied 262 place count 3106 transition count 7142
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 282 place count 3086 transition count 7062
Iterating global reduction 0 with 20 rules applied. Total rules applied 302 place count 3086 transition count 7062
Applied a total of 302 rules in 4924 ms. Remains 3086 /3237 variables (removed 151) and now considering 7062/7324 (removed 262) transitions.
[2025-06-04 02:54:05] [INFO ] Flow matrix only has 6462 transitions (discarded 600 similar events)
// Phase 1: matrix 6462 rows 3086 cols
[2025-06-04 02:54:05] [INFO ] Computed 68 invariants in 180 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:54:15] [INFO ] Implicit Places using invariants in 9505 ms returned [139, 1478, 1643, 2312, 2483, 2843]
Discarding 6 places :
Implicit Place search using SMT only with invariants took 9514 ms to find 6 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3080/3584 places, 7062/7850 transitions.
Applied a total of 0 rules in 986 ms. Remains 3080 /3080 variables (removed 0) and now considering 7062/7062 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 32674 ms. Remains : 3080/3584 places, 7062/7850 transitions.
[2025-06-04 02:54:16] [INFO ] Flatten gal took : 135 ms
[2025-06-04 02:54:16] [INFO ] Flatten gal took : 165 ms
[2025-06-04 02:54:16] [INFO ] Input system was already deterministic with 7062 transitions.
[2025-06-04 02:54:16] [INFO ] Flatten gal took : 158 ms
[2025-06-04 02:54:17] [INFO ] Flatten gal took : 217 ms
[2025-06-04 02:54:17] [INFO ] Time to serialize gal into /tmp/CTLFireability15005907774784268366.gal : 52 ms
[2025-06-04 02:54:17] [INFO ] Time to serialize properties into /tmp/CTLFireability11848403595662677282.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/CTLFireability15005907774784268366.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11848403595662677282.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 02:54:47] [INFO ] Flatten gal took : 158 ms
[2025-06-04 02:54:47] [INFO ] Applying decomposition
[2025-06-04 02:54:47] [INFO ] Flatten gal took : 207 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/graph5556199572288172153.txt' '-o' '/tmp/graph5556199572288172153.bin' '-w' '/tmp/graph5556199572288172153.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph5556199572288172153.bin' '-l' '-1' '-v' '-w' '/tmp/graph5556199572288172153.weights' '-q' '0' '-e' '0.001'
[2025-06-04 02:54:48] [INFO ] Decomposing Gal with order
[2025-06-04 02:54:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 02:54:49] [INFO ] Removed a total of 6718 redundant transitions.
[2025-06-04 02:54:49] [INFO ] Flatten gal took : 1071 ms
[2025-06-04 02:54:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 4214 labels/synchronizations in 381 ms.
[2025-06-04 02:54:50] [INFO ] Time to serialize gal into /tmp/CTLFireability12154894990156318758.gal : 49 ms
[2025-06-04 02:54:50] [INFO ] Time to serialize properties into /tmp/CTLFireability16920463473603535863.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/CTLFireability12154894990156318758.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16920463473603535863.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 : 3584/3584 places, 7850/7850 transitions.
Discarding 88 places :
Symmetric choice reduction at 0 with 88 rule applications. Total rules 88 place count 3496 transition count 7690
Iterating global reduction 0 with 88 rules applied. Total rules applied 176 place count 3496 transition count 7690
Discarding 61 places :
Symmetric choice reduction at 0 with 61 rule applications. Total rules 237 place count 3435 transition count 7557
Iterating global reduction 0 with 61 rules applied. Total rules applied 298 place count 3435 transition count 7557
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 331 place count 3402 transition count 7425
Iterating global reduction 0 with 33 rules applied. Total rules applied 364 place count 3402 transition count 7425
Applied a total of 364 rules in 2483 ms. Remains 3402 /3584 variables (removed 182) and now considering 7425/7850 (removed 425) transitions.
[2025-06-04 02:55:22] [INFO ] Flow matrix only has 6825 transitions (discarded 600 similar events)
// Phase 1: matrix 6825 rows 3402 cols
[2025-06-04 02:55:22] [INFO ] Computed 129 invariants in 157 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:55:38] [INFO ] Implicit Places using invariants in 15483 ms returned [10, 13, 146, 195, 334, 487, 488, 600, 730, 813, 822, 823, 824, 933, 1011, 1101, 1234, 1282, 1283, 1341, 1365, 1385, 1386, 1387, 1467, 1501, 1553, 1554, 1572, 1581, 1582, 1602, 1624, 1625, 1639, 1676, 1677, 1694, 1703, 1717, 1718, 1760, 1784, 1785, 1807, 1808, 1816, 1842, 1843, 1872, 1873, 1947, 1978, 1987, 2036, 2072, 2087, 2088, 2284, 2448, 2527, 2536, 2538, 2709, 2753, 3006, 3007, 3080, 3165, 3166, 3167, 3311]
[2025-06-04 02:55:38] [INFO ] Actually due to overlaps returned [813, 1572, 1694, 1978, 2527, 3311, 10, 13, 195, 334, 487, 488, 600, 730, 822, 823, 824, 933, 1011, 1101, 1234, 1282, 1283, 1341, 1385, 1386, 1387, 1467, 1501, 1553, 1554, 1581, 1582, 1624, 1625, 1639, 1676, 1677, 1703, 1717, 1718, 1760, 1784, 1785, 1807, 1808, 1842, 1843, 1872, 1873, 1947, 1987, 2036, 2087, 2088, 2284, 2448, 2536, 2753, 3006, 3007, 3165, 3166, 3167]
Discarding 64 places :
Implicit Place search using SMT only with invariants took 15493 ms to find 64 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3338/3584 places, 7425/7850 transitions.
Discarding 58 places :
Symmetric choice reduction at 0 with 58 rule applications. Total rules 58 place count 3280 transition count 7367
Iterating global reduction 0 with 58 rules applied. Total rules applied 116 place count 3280 transition count 7367
Discarding 58 places :
Symmetric choice reduction at 0 with 58 rule applications. Total rules 174 place count 3222 transition count 7309
Iterating global reduction 0 with 58 rules applied. Total rules applied 232 place count 3222 transition count 7309
Discarding 58 places :
Symmetric choice reduction at 0 with 58 rule applications. Total rules 290 place count 3164 transition count 7251
Iterating global reduction 0 with 58 rules applied. Total rules applied 348 place count 3164 transition count 7251
Discarding 38 places :
Symmetric choice reduction at 0 with 38 rule applications. Total rules 386 place count 3126 transition count 7099
Iterating global reduction 0 with 38 rules applied. Total rules applied 424 place count 3126 transition count 7099
Applied a total of 424 rules in 3245 ms. Remains 3126 /3338 variables (removed 212) and now considering 7099/7425 (removed 326) transitions.
[2025-06-04 02:55:41] [INFO ] Flow matrix only has 6499 transitions (discarded 600 similar events)
// Phase 1: matrix 6499 rows 3126 cols
[2025-06-04 02:55:41] [INFO ] Computed 65 invariants in 178 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:55:50] [INFO ] Implicit Places using invariants in 9476 ms returned [144, 1304, 1505, 1675, 1900, 2344, 2515, 2877]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 9491 ms to find 8 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3118/3584 places, 7099/7850 transitions.
Applied a total of 0 rules in 580 ms. Remains 3118 /3118 variables (removed 0) and now considering 7099/7099 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 31294 ms. Remains : 3118/3584 places, 7099/7850 transitions.
[2025-06-04 02:55:51] [INFO ] Flatten gal took : 281 ms
[2025-06-04 02:55:52] [INFO ] Flatten gal took : 306 ms
[2025-06-04 02:55:52] [INFO ] Input system was already deterministic with 7099 transitions.
[2025-06-04 02:55:52] [INFO ] Flatten gal took : 192 ms
[2025-06-04 02:55:53] [INFO ] Flatten gal took : 226 ms
[2025-06-04 02:55:53] [INFO ] Time to serialize gal into /tmp/CTLFireability10768354364446003954.gal : 51 ms
[2025-06-04 02:55:53] [INFO ] Time to serialize properties into /tmp/CTLFireability12794611230992579973.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/CTLFireability10768354364446003954.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12794611230992579973.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 02:56:23] [INFO ] Flatten gal took : 189 ms
[2025-06-04 02:56:23] [INFO ] Applying decomposition
[2025-06-04 02:56:23] [INFO ] Flatten gal took : 274 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/graph13943157782347726477.txt' '-o' '/tmp/graph13943157782347726477.bin' '-w' '/tmp/graph13943157782347726477.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph13943157782347726477.bin' '-l' '-1' '-v' '-w' '/tmp/graph13943157782347726477.weights' '-q' '0' '-e' '0.001'
[2025-06-04 02:56:24] [INFO ] Decomposing Gal with order
[2025-06-04 02:56:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 02:56:24] [INFO ] Removed a total of 5705 redundant transitions.
[2025-06-04 02:56:25] [INFO ] Flatten gal took : 509 ms
[2025-06-04 02:56:25] [INFO ] Fuse similar labels procedure discarded/fused a total of 3963 labels/synchronizations in 347 ms.
[2025-06-04 02:56:25] [INFO ] Time to serialize gal into /tmp/CTLFireability2137262903977490237.gal : 48 ms
[2025-06-04 02:56:25] [INFO ] Time to serialize properties into /tmp/CTLFireability8748462993340203656.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/CTLFireability2137262903977490237.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8748462993340203656.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 : 3584/3584 places, 7850/7850 transitions.
Discarding 86 places :
Symmetric choice reduction at 0 with 86 rule applications. Total rules 86 place count 3498 transition count 7692
Iterating global reduction 0 with 86 rules applied. Total rules applied 172 place count 3498 transition count 7692
Discarding 59 places :
Symmetric choice reduction at 0 with 59 rule applications. Total rules 231 place count 3439 transition count 7561
Iterating global reduction 0 with 59 rules applied. Total rules applied 290 place count 3439 transition count 7561
Discarding 31 places :
Symmetric choice reduction at 0 with 31 rule applications. Total rules 321 place count 3408 transition count 7437
Iterating global reduction 0 with 31 rules applied. Total rules applied 352 place count 3408 transition count 7437
Applied a total of 352 rules in 2594 ms. Remains 3408 /3584 variables (removed 176) and now considering 7437/7850 (removed 413) transitions.
[2025-06-04 02:56:58] [INFO ] Flow matrix only has 6837 transitions (discarded 600 similar events)
// Phase 1: matrix 6837 rows 3408 cols
[2025-06-04 02:56:58] [INFO ] Computed 129 invariants in 174 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:57:15] [INFO ] Implicit Places using invariants in 17086 ms returned [10, 13, 146, 195, 334, 487, 488, 600, 730, 813, 823, 824, 936, 1014, 1104, 1237, 1285, 1286, 1344, 1368, 1388, 1389, 1390, 1470, 1559, 1560, 1578, 1587, 1588, 1608, 1630, 1631, 1645, 1682, 1683, 1700, 1709, 1723, 1724, 1766, 1790, 1791, 1813, 1814, 1822, 1848, 1849, 1878, 1879, 1953, 1984, 1993, 2042, 2078, 2093, 2094, 2290, 2454, 2533, 2542, 2544, 2715, 2759, 3012, 3013, 3086, 3171, 3172, 3173, 3317]
[2025-06-04 02:57:15] [INFO ] Actually due to overlaps returned [813, 1578, 1700, 1984, 2533, 3317, 10, 13, 195, 334, 487, 488, 600, 730, 823, 824, 936, 1014, 1104, 1237, 1285, 1286, 1344, 1388, 1389, 1390, 1470, 1559, 1560, 1587, 1588, 1630, 1631, 1645, 1682, 1683, 1709, 1723, 1724, 1766, 1790, 1791, 1813, 1814, 1848, 1849, 1878, 1879, 1953, 1993, 2042, 2093, 2094, 2290, 2454, 2542, 2759, 3012, 3013, 3171, 3172, 3173]
Discarding 62 places :
Implicit Place search using SMT only with invariants took 17092 ms to find 62 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3346/3584 places, 7437/7850 transitions.
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 56 place count 3290 transition count 7381
Iterating global reduction 0 with 56 rules applied. Total rules applied 112 place count 3290 transition count 7381
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 168 place count 3234 transition count 7325
Iterating global reduction 0 with 56 rules applied. Total rules applied 224 place count 3234 transition count 7325
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 280 place count 3178 transition count 7269
Iterating global reduction 0 with 56 rules applied. Total rules applied 336 place count 3178 transition count 7269
Discarding 36 places :
Symmetric choice reduction at 0 with 36 rule applications. Total rules 372 place count 3142 transition count 7125
Iterating global reduction 0 with 36 rules applied. Total rules applied 408 place count 3142 transition count 7125
Applied a total of 408 rules in 3041 ms. Remains 3142 /3346 variables (removed 204) and now considering 7125/7437 (removed 312) transitions.
[2025-06-04 02:57:18] [INFO ] Flow matrix only has 6525 transitions (discarded 600 similar events)
// Phase 1: matrix 6525 rows 3142 cols
[2025-06-04 02:57:18] [INFO ] Computed 67 invariants in 211 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:57:28] [INFO ] Implicit Places using invariants in 9953 ms returned [144, 1311, 1519, 1689, 1914, 2358, 2529, 2891]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 9959 ms to find 8 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3134/3584 places, 7125/7850 transitions.
Applied a total of 0 rules in 739 ms. Remains 3134 /3134 variables (removed 0) and now considering 7125/7125 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 33426 ms. Remains : 3134/3584 places, 7125/7850 transitions.
[2025-06-04 02:57:29] [INFO ] Flatten gal took : 170 ms
[2025-06-04 02:57:29] [INFO ] Flatten gal took : 200 ms
[2025-06-04 02:57:29] [INFO ] Input system was already deterministic with 7125 transitions.
[2025-06-04 02:57:29] [INFO ] Flatten gal took : 192 ms
[2025-06-04 02:57:30] [INFO ] Flatten gal took : 195 ms
[2025-06-04 02:57:30] [INFO ] Time to serialize gal into /tmp/CTLFireability1992322728402768388.gal : 31 ms
[2025-06-04 02:57:30] [INFO ] Time to serialize properties into /tmp/CTLFireability13678582383275168914.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/CTLFireability1992322728402768388.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13678582383275168914.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-04 02:58:00] [INFO ] Flatten gal took : 188 ms
[2025-06-04 02:58:00] [INFO ] Applying decomposition
[2025-06-04 02:58:00] [INFO ] Flatten gal took : 315 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/graph16268705094110727188.txt' '-o' '/tmp/graph16268705094110727188.bin' '-w' '/tmp/graph16268705094110727188.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph16268705094110727188.bin' '-l' '-1' '-v' '-w' '/tmp/graph16268705094110727188.weights' '-q' '0' '-e' '0.001'
[2025-06-04 02:58:01] [INFO ] Decomposing Gal with order
[2025-06-04 02:58:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 02:58:02] [INFO ] Removed a total of 5729 redundant transitions.
[2025-06-04 02:58:02] [INFO ] Flatten gal took : 614 ms
[2025-06-04 02:58:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 2905 labels/synchronizations in 287 ms.
[2025-06-04 02:58:02] [INFO ] Time to serialize gal into /tmp/CTLFireability9288286619772427218.gal : 46 ms
[2025-06-04 02:58:02] [INFO ] Time to serialize properties into /tmp/CTLFireability17664735924101993935.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/CTLFireability9288286619772427218.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17664735924101993935.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 : 3584/3584 places, 7850/7850 transitions.
Discarding 86 places :
Symmetric choice reduction at 0 with 86 rule applications. Total rules 86 place count 3498 transition count 7692
Iterating global reduction 0 with 86 rules applied. Total rules applied 172 place count 3498 transition count 7692
Discarding 59 places :
Symmetric choice reduction at 0 with 59 rule applications. Total rules 231 place count 3439 transition count 7564
Iterating global reduction 0 with 59 rules applied. Total rules applied 290 place count 3439 transition count 7564
Discarding 32 places :
Symmetric choice reduction at 0 with 32 rule applications. Total rules 322 place count 3407 transition count 7436
Iterating global reduction 0 with 32 rules applied. Total rules applied 354 place count 3407 transition count 7436
Applied a total of 354 rules in 2721 ms. Remains 3407 /3584 variables (removed 177) and now considering 7436/7850 (removed 414) transitions.
[2025-06-04 02:58:35] [INFO ] Flow matrix only has 6836 transitions (discarded 600 similar events)
// Phase 1: matrix 6836 rows 3407 cols
[2025-06-04 02:58:35] [INFO ] Computed 129 invariants in 159 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:58:51] [INFO ] Implicit Places using invariants in 15685 ms returned [10, 13, 146, 336, 489, 490, 602, 732, 815, 824, 825, 826, 935, 1013, 1103, 1236, 1284, 1285, 1343, 1367, 1387, 1388, 1389, 1469, 1503, 1555, 1556, 1574, 1583, 1584, 1604, 1626, 1627, 1641, 1678, 1679, 1696, 1705, 1719, 1765, 1789, 1790, 1812, 1813, 1821, 1847, 1848, 1877, 1878, 1952, 1983, 1992, 2041, 2077, 2092, 2093, 2289, 2453, 2532, 2541, 2543, 2714, 2758, 3011, 3012, 3085, 3170, 3171, 3172, 3316]
[2025-06-04 02:58:51] [INFO ] Actually due to overlaps returned [815, 1574, 1696, 1983, 2532, 3316, 10, 13, 336, 489, 490, 602, 732, 824, 825, 826, 935, 1013, 1103, 1236, 1284, 1285, 1343, 1387, 1388, 1389, 1469, 1503, 1555, 1556, 1583, 1584, 1626, 1627, 1641, 1678, 1679, 1705, 1719, 1765, 1789, 1790, 1812, 1813, 1847, 1848, 1877, 1878, 1952, 1992, 2041, 2092, 2093, 2289, 2453, 2541, 2758, 3011, 3012, 3170, 3171, 3172]
Discarding 62 places :
Implicit Place search using SMT only with invariants took 15691 ms to find 62 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3345/3584 places, 7436/7850 transitions.
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 56 place count 3289 transition count 7380
Iterating global reduction 0 with 56 rules applied. Total rules applied 112 place count 3289 transition count 7380
Discarding 54 places :
Symmetric choice reduction at 0 with 54 rule applications. Total rules 166 place count 3235 transition count 7326
Iterating global reduction 0 with 54 rules applied. Total rules applied 220 place count 3235 transition count 7326
Discarding 54 places :
Symmetric choice reduction at 0 with 54 rule applications. Total rules 274 place count 3181 transition count 7272
Iterating global reduction 0 with 54 rules applied. Total rules applied 328 place count 3181 transition count 7272
Discarding 34 places :
Symmetric choice reduction at 0 with 34 rule applications. Total rules 362 place count 3147 transition count 7136
Iterating global reduction 0 with 34 rules applied. Total rules applied 396 place count 3147 transition count 7136
Applied a total of 396 rules in 3273 ms. Remains 3147 /3345 variables (removed 198) and now considering 7136/7436 (removed 300) transitions.
[2025-06-04 02:58:54] [INFO ] Flow matrix only has 6536 transitions (discarded 600 similar events)
// Phase 1: matrix 6536 rows 3147 cols
[2025-06-04 02:58:54] [INFO ] Computed 67 invariants in 170 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 02:59:04] [INFO ] Implicit Places using invariants in 9571 ms returned [144, 1312, 1513, 1690, 1915, 2359, 2530, 2893]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 9576 ms to find 8 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3139/3584 places, 7136/7850 transitions.
Applied a total of 0 rules in 652 ms. Remains 3139 /3139 variables (removed 0) and now considering 7136/7136 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 31914 ms. Remains : 3139/3584 places, 7136/7850 transitions.
[2025-06-04 02:59:05] [INFO ] Flatten gal took : 246 ms
[2025-06-04 02:59:05] [INFO ] Flatten gal took : 213 ms
[2025-06-04 02:59:05] [INFO ] Input system was already deterministic with 7136 transitions.
[2025-06-04 02:59:05] [INFO ] Flatten gal took : 193 ms
[2025-06-04 02:59:05] [INFO ] Flatten gal took : 199 ms
[2025-06-04 02:59:05] [INFO ] Time to serialize gal into /tmp/CTLFireability810846750639630583.gal : 32 ms
[2025-06-04 02:59:05] [INFO ] Time to serialize properties into /tmp/CTLFireability7842698546738018018.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/CTLFireability810846750639630583.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7842698546738018018.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-04 02:59:36] [INFO ] Flatten gal took : 188 ms
[2025-06-04 02:59:36] [INFO ] Applying decomposition
[2025-06-04 02:59:36] [INFO ] Flatten gal took : 197 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/graph1530843393600028974.txt' '-o' '/tmp/graph1530843393600028974.bin' '-w' '/tmp/graph1530843393600028974.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph1530843393600028974.bin' '-l' '-1' '-v' '-w' '/tmp/graph1530843393600028974.weights' '-q' '0' '-e' '0.001'
[2025-06-04 02:59:36] [INFO ] Decomposing Gal with order
[2025-06-04 02:59:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 02:59:37] [INFO ] Removed a total of 5771 redundant transitions.
[2025-06-04 02:59:37] [INFO ] Flatten gal took : 564 ms
[2025-06-04 02:59:38] [INFO ] Fuse similar labels procedure discarded/fused a total of 2734 labels/synchronizations in 243 ms.
[2025-06-04 02:59:38] [INFO ] Time to serialize gal into /tmp/CTLFireability13960276441312108241.gal : 45 ms
[2025-06-04 02:59:38] [INFO ] Time to serialize properties into /tmp/CTLFireability2980173684335695821.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/CTLFireability13960276441312108241.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2980173684335695821.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 : 3584/3584 places, 7850/7850 transitions.
Discarding 79 places :
Symmetric choice reduction at 0 with 79 rule applications. Total rules 79 place count 3505 transition count 7705
Iterating global reduction 0 with 79 rules applied. Total rules applied 158 place count 3505 transition count 7705
Discarding 54 places :
Symmetric choice reduction at 0 with 54 rule applications. Total rules 212 place count 3451 transition count 7591
Iterating global reduction 0 with 54 rules applied. Total rules applied 266 place count 3451 transition count 7591
Discarding 30 places :
Symmetric choice reduction at 0 with 30 rule applications. Total rules 296 place count 3421 transition count 7471
Iterating global reduction 0 with 30 rules applied. Total rules applied 326 place count 3421 transition count 7471
Applied a total of 326 rules in 2771 ms. Remains 3421 /3584 variables (removed 163) and now considering 7471/7850 (removed 379) transitions.
[2025-06-04 03:00:11] [INFO ] Flow matrix only has 6871 transitions (discarded 600 similar events)
// Phase 1: matrix 6871 rows 3421 cols
[2025-06-04 03:00:11] [INFO ] Computed 129 invariants in 160 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 03:00:27] [INFO ] Implicit Places using invariants in 16855 ms returned [10, 146, 197, 336, 489, 490, 602, 732, 815, 824, 825, 826, 935, 1013, 1290, 1291, 1376, 1396, 1397, 1398, 1514, 1566, 1567, 1585, 1594, 1595, 1615, 1637, 1638, 1652, 1689, 1690, 1707, 1716, 1730, 1731, 1773, 1797, 1798, 1820, 1821, 1829, 1855, 1856, 1885, 1886, 1960, 1991, 2000, 2049, 2085, 2100, 2101, 2297, 2461, 2540, 2551, 2724, 3025, 3026, 3099, 3184, 3185, 3186, 3330]
[2025-06-04 03:00:28] [INFO ] Actually due to overlaps returned [815, 1585, 1707, 1991, 2540, 3330, 10, 197, 336, 489, 490, 602, 732, 824, 825, 826, 935, 1013, 1290, 1291, 1396, 1397, 1398, 1514, 1566, 1567, 1594, 1595, 1637, 1638, 1652, 1689, 1690, 1716, 1730, 1731, 1773, 1797, 1798, 1820, 1821, 1855, 1856, 1885, 1886, 1960, 2000, 2049, 2100, 2101, 2297, 2461, 3025, 3026, 3184, 3185, 3186]
Discarding 57 places :
Implicit Place search using SMT only with invariants took 16866 ms to find 57 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3364/3584 places, 7471/7850 transitions.
Discarding 51 places :
Symmetric choice reduction at 0 with 51 rule applications. Total rules 51 place count 3313 transition count 7420
Iterating global reduction 0 with 51 rules applied. Total rules applied 102 place count 3313 transition count 7420
Discarding 51 places :
Symmetric choice reduction at 0 with 51 rule applications. Total rules 153 place count 3262 transition count 7369
Iterating global reduction 0 with 51 rules applied. Total rules applied 204 place count 3262 transition count 7369
Discarding 51 places :
Symmetric choice reduction at 0 with 51 rule applications. Total rules 255 place count 3211 transition count 7318
Iterating global reduction 0 with 51 rules applied. Total rules applied 306 place count 3211 transition count 7318
Discarding 31 places :
Symmetric choice reduction at 0 with 31 rule applications. Total rules 337 place count 3180 transition count 7194
Iterating global reduction 0 with 31 rules applied. Total rules applied 368 place count 3180 transition count 7194
Applied a total of 368 rules in 3031 ms. Remains 3180 /3364 variables (removed 184) and now considering 7194/7471 (removed 277) transitions.
[2025-06-04 03:00:31] [INFO ] Flow matrix only has 6594 transitions (discarded 600 similar events)
// Phase 1: matrix 6594 rows 3180 cols
[2025-06-04 03:00:31] [INFO ] Computed 72 invariants in 200 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 03:00:41] [INFO ] Implicit Places using invariants in 10173 ms returned [145, 1329, 1538, 1708, 1933, 2379, 2552, 2924]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 10182 ms to find 8 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3172/3584 places, 7194/7850 transitions.
Applied a total of 0 rules in 736 ms. Remains 3172 /3172 variables (removed 0) and now considering 7194/7194 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 33587 ms. Remains : 3172/3584 places, 7194/7850 transitions.
[2025-06-04 03:00:42] [INFO ] Flatten gal took : 170 ms
[2025-06-04 03:00:42] [INFO ] Flatten gal took : 201 ms
[2025-06-04 03:00:42] [INFO ] Input system was already deterministic with 7194 transitions.
[2025-06-04 03:00:42] [INFO ] Flatten gal took : 193 ms
[2025-06-04 03:00:43] [INFO ] Flatten gal took : 202 ms
[2025-06-04 03:00:43] [INFO ] Time to serialize gal into /tmp/CTLFireability4415933310237991118.gal : 31 ms
[2025-06-04 03:00:43] [INFO ] Time to serialize properties into /tmp/CTLFireability13029623485661360251.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/CTLFireability4415933310237991118.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13029623485661360251.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-04 03:01:13] [INFO ] Flatten gal took : 191 ms
[2025-06-04 03:01:13] [INFO ] Applying decomposition
[2025-06-04 03:01:13] [INFO ] Flatten gal took : 272 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/graph16362910867495496217.txt' '-o' '/tmp/graph16362910867495496217.bin' '-w' '/tmp/graph16362910867495496217.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph16362910867495496217.bin' '-l' '-1' '-v' '-w' '/tmp/graph16362910867495496217.weights' '-q' '0' '-e' '0.001'
[2025-06-04 03:01:14] [INFO ] Decomposing Gal with order
[2025-06-04 03:01:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 03:01:15] [INFO ] Removed a total of 5854 redundant transitions.
[2025-06-04 03:01:15] [INFO ] Flatten gal took : 653 ms
[2025-06-04 03:01:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 3122 labels/synchronizations in 278 ms.
[2025-06-04 03:01:15] [INFO ] Time to serialize gal into /tmp/CTLFireability12949502780663299719.gal : 51 ms
[2025-06-04 03:01:15] [INFO ] Time to serialize properties into /tmp/CTLFireability1051478080152576153.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/CTLFireability12949502780663299719.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1051478080152576153.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 : 3584/3584 places, 7850/7850 transitions.
Discarding 88 places :
Symmetric choice reduction at 0 with 88 rule applications. Total rules 88 place count 3496 transition count 7690
Iterating global reduction 0 with 88 rules applied. Total rules applied 176 place count 3496 transition count 7690
Discarding 61 places :
Symmetric choice reduction at 0 with 61 rule applications. Total rules 237 place count 3435 transition count 7557
Iterating global reduction 0 with 61 rules applied. Total rules applied 298 place count 3435 transition count 7557
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 331 place count 3402 transition count 7425
Iterating global reduction 0 with 33 rules applied. Total rules applied 364 place count 3402 transition count 7425
Applied a total of 364 rules in 2746 ms. Remains 3402 /3584 variables (removed 182) and now considering 7425/7850 (removed 425) transitions.
[2025-06-04 03:01:48] [INFO ] Flow matrix only has 6825 transitions (discarded 600 similar events)
// Phase 1: matrix 6825 rows 3402 cols
[2025-06-04 03:01:48] [INFO ] Computed 129 invariants in 153 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 03:02:02] [INFO ] Implicit Places using invariants in 14292 ms returned [10, 13, 146, 195, 334, 487, 488, 600, 730, 813, 822, 823, 824, 933, 1011, 1101, 1234, 1282, 1283, 1341, 1365, 1385, 1386, 1387, 1467, 1501, 1553, 1554, 1572, 1581, 1582, 1602, 1624, 1625, 1639, 1676, 1677, 1694, 1703, 1717, 1718, 1760, 1784, 1785, 1807, 1808, 1816, 1842, 1843, 1872, 1873, 1947, 1978, 1987, 2036, 2072, 2087, 2088, 2284, 2448, 2527, 2536, 2538, 2709, 2753, 3006, 3007, 3080, 3165, 3166, 3167, 3311]
[2025-06-04 03:02:02] [INFO ] Actually due to overlaps returned [813, 1572, 1694, 1978, 2527, 3311, 10, 13, 195, 334, 487, 488, 600, 730, 822, 823, 824, 933, 1011, 1101, 1234, 1282, 1283, 1341, 1385, 1386, 1387, 1467, 1501, 1553, 1554, 1581, 1582, 1624, 1625, 1639, 1676, 1677, 1703, 1717, 1718, 1760, 1784, 1785, 1807, 1808, 1842, 1843, 1872, 1873, 1947, 1987, 2036, 2087, 2088, 2284, 2448, 2536, 2753, 3006, 3007, 3165, 3166, 3167]
Discarding 64 places :
Implicit Place search using SMT only with invariants took 14297 ms to find 64 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3338/3584 places, 7425/7850 transitions.
Discarding 58 places :
Symmetric choice reduction at 0 with 58 rule applications. Total rules 58 place count 3280 transition count 7367
Iterating global reduction 0 with 58 rules applied. Total rules applied 116 place count 3280 transition count 7367
Discarding 58 places :
Symmetric choice reduction at 0 with 58 rule applications. Total rules 174 place count 3222 transition count 7309
Iterating global reduction 0 with 58 rules applied. Total rules applied 232 place count 3222 transition count 7309
Discarding 58 places :
Symmetric choice reduction at 0 with 58 rule applications. Total rules 290 place count 3164 transition count 7251
Iterating global reduction 0 with 58 rules applied. Total rules applied 348 place count 3164 transition count 7251
Discarding 38 places :
Symmetric choice reduction at 0 with 38 rule applications. Total rules 386 place count 3126 transition count 7099
Iterating global reduction 0 with 38 rules applied. Total rules applied 424 place count 3126 transition count 7099
Applied a total of 424 rules in 3211 ms. Remains 3126 /3338 variables (removed 212) and now considering 7099/7425 (removed 326) transitions.
[2025-06-04 03:02:06] [INFO ] Flow matrix only has 6499 transitions (discarded 600 similar events)
// Phase 1: matrix 6499 rows 3126 cols
[2025-06-04 03:02:06] [INFO ] Computed 65 invariants in 183 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 03:02:14] [INFO ] Implicit Places using invariants in 8893 ms returned [144, 1304, 1505, 1675, 1900, 2344, 2515, 2877]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 8900 ms to find 8 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3118/3584 places, 7099/7850 transitions.
Applied a total of 0 rules in 538 ms. Remains 3118 /3118 variables (removed 0) and now considering 7099/7099 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 29695 ms. Remains : 3118/3584 places, 7099/7850 transitions.
[2025-06-04 03:02:15] [INFO ] Flatten gal took : 193 ms
[2025-06-04 03:02:15] [INFO ] Flatten gal took : 184 ms
[2025-06-04 03:02:16] [INFO ] Input system was already deterministic with 7099 transitions.
[2025-06-04 03:02:16] [INFO ] Flatten gal took : 189 ms
[2025-06-04 03:02:16] [INFO ] Flatten gal took : 195 ms
[2025-06-04 03:02:16] [INFO ] Time to serialize gal into /tmp/CTLFireability12272842435728095749.gal : 31 ms
[2025-06-04 03:02:16] [INFO ] Time to serialize properties into /tmp/CTLFireability11035173049570163622.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/CTLFireability12272842435728095749.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11035173049570163622.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 03:02:46] [INFO ] Flatten gal took : 187 ms
[2025-06-04 03:02:46] [INFO ] Applying decomposition
[2025-06-04 03:02:47] [INFO ] Flatten gal took : 270 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/graph10614883319079006026.txt' '-o' '/tmp/graph10614883319079006026.bin' '-w' '/tmp/graph10614883319079006026.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph10614883319079006026.bin' '-l' '-1' '-v' '-w' '/tmp/graph10614883319079006026.weights' '-q' '0' '-e' '0.001'
[2025-06-04 03:02:47] [INFO ] Decomposing Gal with order
[2025-06-04 03:02:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 03:02:48] [INFO ] Removed a total of 5661 redundant transitions.
[2025-06-04 03:02:48] [INFO ] Flatten gal took : 679 ms
[2025-06-04 03:02:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 4020 labels/synchronizations in 285 ms.
[2025-06-04 03:02:49] [INFO ] Time to serialize gal into /tmp/CTLFireability3721327884092467218.gal : 47 ms
[2025-06-04 03:02:49] [INFO ] Time to serialize properties into /tmp/CTLFireability7249983190185197780.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/CTLFireability3721327884092467218.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7249983190185197780.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 : 3584/3584 places, 7850/7850 transitions.
Discarding 86 places :
Symmetric choice reduction at 0 with 86 rule applications. Total rules 86 place count 3498 transition count 7695
Iterating global reduction 0 with 86 rules applied. Total rules applied 172 place count 3498 transition count 7695
Discarding 60 places :
Symmetric choice reduction at 0 with 60 rule applications. Total rules 232 place count 3438 transition count 7563
Iterating global reduction 0 with 60 rules applied. Total rules applied 292 place count 3438 transition count 7563
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 325 place count 3405 transition count 7431
Iterating global reduction 0 with 33 rules applied. Total rules applied 358 place count 3405 transition count 7431
Applied a total of 358 rules in 2561 ms. Remains 3405 /3584 variables (removed 179) and now considering 7431/7850 (removed 419) transitions.
[2025-06-04 03:03:21] [INFO ] Flow matrix only has 6831 transitions (discarded 600 similar events)
// Phase 1: matrix 6831 rows 3405 cols
[2025-06-04 03:03:21] [INFO ] Computed 129 invariants in 146 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 03:03:36] [INFO ] Implicit Places using invariants in 14347 ms returned [10, 13, 146, 195, 334, 487, 488, 600, 730, 813, 822, 823, 824, 933, 1011, 1101, 1234, 1282, 1283, 1341, 1365, 1385, 1386, 1387, 1467, 1501, 1553, 1554, 1572, 1581, 1582, 1602, 1624, 1625, 1639, 1676, 1677, 1694, 1703, 1717, 1718, 1760, 1785, 1786, 1808, 1809, 1817, 1843, 1844, 1873, 1874, 1948, 1979, 1988, 2037, 2073, 2088, 2089, 2285, 2450, 2529, 2538, 2540, 2711, 2755, 3008, 3009, 3082, 3167, 3168, 3169, 3313]
[2025-06-04 03:03:36] [INFO ] Actually due to overlaps returned [813, 1572, 1694, 1979, 2529, 3313, 10, 13, 195, 334, 487, 488, 600, 730, 822, 823, 824, 933, 1011, 1101, 1234, 1282, 1283, 1341, 1385, 1386, 1387, 1467, 1501, 1553, 1554, 1581, 1582, 1624, 1625, 1639, 1676, 1677, 1703, 1717, 1718, 1760, 1785, 1786, 1808, 1809, 1843, 1844, 1873, 1874, 1948, 1988, 2037, 2088, 2089, 2285, 2450, 2538, 2755, 3008, 3009, 3167, 3168, 3169]
Discarding 64 places :
Implicit Place search using SMT only with invariants took 14353 ms to find 64 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3341/3584 places, 7431/7850 transitions.
Discarding 58 places :
Symmetric choice reduction at 0 with 58 rule applications. Total rules 58 place count 3283 transition count 7373
Iterating global reduction 0 with 58 rules applied. Total rules applied 116 place count 3283 transition count 7373
Discarding 58 places :
Symmetric choice reduction at 0 with 58 rule applications. Total rules 174 place count 3225 transition count 7315
Iterating global reduction 0 with 58 rules applied. Total rules applied 232 place count 3225 transition count 7315
Discarding 58 places :
Symmetric choice reduction at 0 with 58 rule applications. Total rules 290 place count 3167 transition count 7257
Iterating global reduction 0 with 58 rules applied. Total rules applied 348 place count 3167 transition count 7257
Discarding 37 places :
Symmetric choice reduction at 0 with 37 rule applications. Total rules 385 place count 3130 transition count 7109
Iterating global reduction 0 with 37 rules applied. Total rules applied 422 place count 3130 transition count 7109
Applied a total of 422 rules in 3263 ms. Remains 3130 /3341 variables (removed 211) and now considering 7109/7431 (removed 322) transitions.
[2025-06-04 03:03:39] [INFO ] Flow matrix only has 6509 transitions (discarded 600 similar events)
// Phase 1: matrix 6509 rows 3130 cols
[2025-06-04 03:03:39] [INFO ] Computed 65 invariants in 170 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 03:03:49] [INFO ] Implicit Places using invariants in 10520 ms returned [144, 1304, 1505, 1677, 1902, 2347, 2518, 2880]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 10527 ms to find 8 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3122/3584 places, 7109/7850 transitions.
Applied a total of 0 rules in 768 ms. Remains 3122 /3122 variables (removed 0) and now considering 7109/7109 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 31474 ms. Remains : 3122/3584 places, 7109/7850 transitions.
[2025-06-04 03:03:50] [INFO ] Flatten gal took : 164 ms
[2025-06-04 03:03:51] [INFO ] Flatten gal took : 195 ms
[2025-06-04 03:03:51] [INFO ] Input system was already deterministic with 7109 transitions.
[2025-06-04 03:03:51] [INFO ] Flatten gal took : 190 ms
[2025-06-04 03:03:51] [INFO ] Flatten gal took : 193 ms
[2025-06-04 03:03:51] [INFO ] Time to serialize gal into /tmp/CTLFireability8500099394264025208.gal : 31 ms
[2025-06-04 03:03:51] [INFO ] Time to serialize properties into /tmp/CTLFireability17529176843903695238.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/CTLFireability8500099394264025208.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17529176843903695238.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-04 03:04:22] [INFO ] Flatten gal took : 187 ms
[2025-06-04 03:04:22] [INFO ] Applying decomposition
[2025-06-04 03:04:22] [INFO ] Flatten gal took : 193 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/graph1371850653516648680.txt' '-o' '/tmp/graph1371850653516648680.bin' '-w' '/tmp/graph1371850653516648680.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph1371850653516648680.bin' '-l' '-1' '-v' '-w' '/tmp/graph1371850653516648680.weights' '-q' '0' '-e' '0.001'
[2025-06-04 03:04:22] [INFO ] Decomposing Gal with order
[2025-06-04 03:04:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 03:04:23] [INFO ] Removed a total of 5652 redundant transitions.
[2025-06-04 03:04:23] [INFO ] Flatten gal took : 662 ms
[2025-06-04 03:04:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 2920 labels/synchronizations in 253 ms.
[2025-06-04 03:04:24] [INFO ] Time to serialize gal into /tmp/CTLFireability16720906830774228832.gal : 41 ms
[2025-06-04 03:04:24] [INFO ] Time to serialize properties into /tmp/CTLFireability17237371567437172095.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/CTLFireability16720906830774228832.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17237371567437172095.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 SI_CTL mode, iteration 0 : 3584/3584 places, 7850/7850 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 39 transitions
Trivial Post-agglo rules discarded 39 transitions
Performed 39 trivial Post agglomeration. Transition count delta: 39
Iterating post reduction 0 with 39 rules applied. Total rules applied 39 place count 3584 transition count 7811
Reduce places removed 39 places and 0 transitions.
Iterating post reduction 1 with 39 rules applied. Total rules applied 78 place count 3545 transition count 7811
Performed 61 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 61 Pre rules applied. Total rules applied 78 place count 3545 transition count 7750
Deduced a syphon composed of 61 places in 6 ms
Reduce places removed 61 places and 0 transitions.
Iterating global reduction 2 with 122 rules applied. Total rules applied 200 place count 3484 transition count 7750
Discarding 55 places :
Symmetric choice reduction at 2 with 55 rule applications. Total rules 255 place count 3429 transition count 7623
Iterating global reduction 2 with 55 rules applied. Total rules applied 310 place count 3429 transition count 7623
Discarding 28 places :
Symmetric choice reduction at 2 with 28 rule applications. Total rules 338 place count 3401 transition count 7520
Iterating global reduction 2 with 28 rules applied. Total rules applied 366 place count 3401 transition count 7520
Performed 41 Post agglomeration using F-continuation condition.Transition count delta: 41
Deduced a syphon composed of 41 places in 5 ms
Reduce places removed 41 places and 0 transitions.
Iterating global reduction 2 with 82 rules applied. Total rules applied 448 place count 3360 transition count 7479
Discarding 33 places :
Symmetric choice reduction at 2 with 33 rule applications. Total rules 481 place count 3327 transition count 7446
Iterating global reduction 2 with 33 rules applied. Total rules applied 514 place count 3327 transition count 7446
Discarding 32 places :
Symmetric choice reduction at 2 with 32 rule applications. Total rules 546 place count 3295 transition count 7318
Iterating global reduction 2 with 32 rules applied. Total rules applied 578 place count 3295 transition count 7318
Applied a total of 578 rules in 4465 ms. Remains 3295 /3584 variables (removed 289) and now considering 7318/7850 (removed 532) transitions.
[2025-06-04 03:04:58] [INFO ] Flow matrix only has 6718 transitions (discarded 600 similar events)
// Phase 1: matrix 6718 rows 3295 cols
[2025-06-04 03:04:58] [INFO ] Computed 129 invariants in 153 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 03:05:12] [INFO ] Implicit Places using invariants in 14193 ms returned [9, 10, 141, 188, 316, 469, 470, 576, 706, 786, 794, 795, 796, 905, 978, 1068, 1198, 1244, 1245, 1303, 1327, 1343, 1344, 1345, 1421, 1455, 1504, 1505, 1521, 1529, 1530, 1550, 1569, 1570, 1584, 1617, 1618, 1633, 1641, 1655, 1656, 1694, 1716, 1717, 1739, 1740, 1748, 1769, 1770, 1799, 1800, 1869, 1899, 1907, 1956, 1992, 2004, 2005, 2198, 2360, 2438, 2446, 2448, 2619, 2661, 2912, 2913, 2986, 3071, 3072, 3073, 3212]
[2025-06-04 03:05:12] [INFO ] Actually due to overlaps returned [786, 1521, 1633, 1899, 2438, 3212, 9, 10, 188, 316, 469, 470, 576, 706, 794, 795, 796, 905, 978, 1068, 1198, 1244, 1245, 1303, 1343, 1344, 1345, 1421, 1455, 1504, 1505, 1529, 1530, 1569, 1570, 1584, 1617, 1618, 1641, 1655, 1656, 1694, 1716, 1717, 1739, 1740, 1769, 1770, 1799, 1800, 1869, 1907, 1956, 2004, 2005, 2198, 2360, 2446, 2661, 2912, 2913, 3071, 3072, 3073]
Discarding 64 places :
Implicit Place search using SMT only with invariants took 14201 ms to find 64 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3231/3584 places, 7318/7850 transitions.
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 50 place count 3181 transition count 7268
Iterating global reduction 0 with 50 rules applied. Total rules applied 100 place count 3181 transition count 7268
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 150 place count 3131 transition count 7218
Iterating global reduction 0 with 50 rules applied. Total rules applied 200 place count 3131 transition count 7218
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 218 place count 3113 transition count 7146
Iterating global reduction 0 with 18 rules applied. Total rules applied 236 place count 3113 transition count 7146
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Deduced a syphon composed of 8 places in 4 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 0 with 16 rules applied. Total rules applied 252 place count 3105 transition count 7138
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 260 place count 3097 transition count 7130
Iterating global reduction 0 with 8 rules applied. Total rules applied 268 place count 3097 transition count 7130
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 288 place count 3077 transition count 7050
Iterating global reduction 0 with 20 rules applied. Total rules applied 308 place count 3077 transition count 7050
Applied a total of 308 rules in 5119 ms. Remains 3077 /3231 variables (removed 154) and now considering 7050/7318 (removed 268) transitions.
[2025-06-04 03:05:17] [INFO ] Flow matrix only has 6450 transitions (discarded 600 similar events)
// Phase 1: matrix 6450 rows 3077 cols
[2025-06-04 03:05:18] [INFO ] Computed 65 invariants in 309 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 03:05:28] [INFO ] Implicit Places using invariants in 10386 ms returned [139, 1281, 1478, 1643, 1865, 2305, 2476, 2836]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 10399 ms to find 8 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3069/3584 places, 7050/7850 transitions.
Applied a total of 0 rules in 1038 ms. Remains 3069 /3069 variables (removed 0) and now considering 7050/7050 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 35224 ms. Remains : 3069/3584 places, 7050/7850 transitions.
[2025-06-04 03:05:29] [INFO ] Flatten gal took : 154 ms
[2025-06-04 03:05:29] [INFO ] Flatten gal took : 191 ms
[2025-06-04 03:05:30] [INFO ] Input system was already deterministic with 7050 transitions.
RANDOM walk for 40000 steps (1361 resets) in 936 ms. (42 steps per ms) remains 1/1 properties
[2025-06-04 03:05:30] [INFO ] Flatten gal took : 357 ms
BEST_FIRST walk for 40004 steps (184 resets) in 462 ms. (86 steps per ms) remains 1/1 properties
[2025-06-04 03:05:30] [INFO ] Flatten gal took : 260 ms
[2025-06-04 03:05:30] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14304335711209310250.gal : 50 ms
[2025-06-04 03:05:30] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9362287512061027202.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality14304335711209310250.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality9362287512061027202.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
Loading property file /tmp/ReachabilityCardinality9362287512061027202.prop.
Interrupted probabilistic random walk after 22337 steps, run timeout after 3001 ms. (steps per millisecond=7 ) properties seen :0 out of 1
Probabilistic random walk after 22337 steps, saw 9443 distinct states, run finished after 3001 ms. (steps per millisecond=7 ) properties seen :0
[2025-06-04 03:05:33] [INFO ] Flow matrix only has 6450 transitions (discarded 600 similar events)
// Phase 1: matrix 6450 rows 3069 cols
[2025-06-04 03:05:33] [INFO ] Computed 57 invariants in 178 ms
[2025-06-04 03:05:33] [INFO ] State equation strengthened by 2608 read => feed constraints.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/2 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 2958/2960 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2960 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 26/2986 variables, 1/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 03:05:39] [INFO ] Deduced a trap composed of 273 places in 4186 ms of which 972 ms to minimize.
SMT process timed out in 5378ms, After SMT, problems are : Problem set: 0 solved, 1 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 2 out of 3069 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3069/3069 places, 7050/7050 transitions.
Free-agglomeration rule (complex) applied 291 times.
Iterating global reduction 0 with 291 rules applied. Total rules applied 291 place count 3069 transition count 8553
Reduce places removed 291 places and 0 transitions.
Iterating post reduction 0 with 291 rules applied. Total rules applied 582 place count 2778 transition count 8553
Applied a total of 582 rules in 1728 ms. Remains 2778 /3069 variables (removed 291) and now considering 8553/7050 (removed -1503) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1729 ms. Remains : 2778/3069 places, 8553/7050 transitions.
RANDOM walk for 2764695 steps (118076 resets) in 120004 ms. (23 steps per ms) remains 1/1 properties
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 25
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :25 after 27
BEST_FIRST walk for 4000004 steps (10681 resets) in 16694 ms. (239 steps per ms) remains 1/1 properties
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :27 after 29
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :29 after 31
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :31 after 43
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :43 after 53
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :53 after 135
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :135 after 350
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :350 after 829
Interrupted probabilistic random walk after 788044 steps, run timeout after 102001 ms. (steps per millisecond=7 ) properties seen :0 out of 1
Probabilistic random walk after 788044 steps, saw 321620 distinct states, run finished after 102001 ms. (steps per millisecond=7 ) properties seen :0
[2025-06-04 03:07:57] [INFO ] Flow matrix only has 7667 transitions (discarded 886 similar events)
// Phase 1: matrix 7667 rows 2778 cols
[2025-06-04 03:07:57] [INFO ] Computed 57 invariants in 190 ms
[2025-06-04 03:07:57] [INFO ] State equation strengthened by 4402 read => feed constraints.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/2 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 2667/2669 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2669 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 26/2695 variables, 1/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 03:08:01] [INFO ] Deduced a trap composed of 105 places in 3432 ms of which 404 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 03:08:05] [INFO ] Deduced a trap composed of 95 places in 3930 ms of which 375 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 03:08:09] [INFO ] Deduced a trap composed of 159 places in 4256 ms of which 575 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 03:08:14] [INFO ] Deduced a trap composed of 159 places in 4221 ms of which 580 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 03:08:18] [INFO ] Deduced a trap composed of 137 places in 3742 ms of which 506 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 03:08:21] [INFO ] Deduced a trap composed of 137 places in 3584 ms of which 496 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 03:08:26] [INFO ] Deduced a trap composed of 329 places in 4728 ms of which 1098 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 03:08:30] [INFO ] Deduced a trap composed of 88 places in 4052 ms of which 356 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 03:08:34] [INFO ] Deduced a trap composed of 105 places in 3780 ms of which 413 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 03:08:38] [INFO ] Deduced a trap composed of 249 places in 4136 ms of which 869 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 03:08:42] [INFO ] Deduced a trap composed of 119 places in 4225 ms of which 442 ms to minimize.
SMT process timed out in 45844ms, After SMT, problems are : Problem set: 0 solved, 1 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 2 out of 2778 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2778/2778 places, 8553/8553 transitions.
Applied a total of 0 rules in 712 ms. Remains 2778 /2778 variables (removed 0) and now considering 8553/8553 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 713 ms. Remains : 2778/2778 places, 8553/8553 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2778/2778 places, 8553/8553 transitions.
Applied a total of 0 rules in 637 ms. Remains 2778 /2778 variables (removed 0) and now considering 8553/8553 (removed 0) transitions.
[2025-06-04 03:08:44] [INFO ] Flow matrix only has 7667 transitions (discarded 886 similar events)
[2025-06-04 03:08:44] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 03:08:52] [INFO ] Implicit Places using invariants in 8283 ms returned []
[2025-06-04 03:08:52] [INFO ] Flow matrix only has 7667 transitions (discarded 886 similar events)
[2025-06-04 03:08:52] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 03:08:56] [INFO ] State equation strengthened by 4402 read => feed constraints.
SDD proceeding with computation,1 properties remain. new max is 2048
SDD size :829 after 916
[2025-06-04 03:09:28] [INFO ] Performed 133/2778 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-04 03:09:58] [INFO ] Performed 323/2778 implicitness test of which 0 returned IMPLICIT in 60 seconds.
SDD proceeding with computation,1 properties remain. new max is 4096
SDD size :916 after 1285
[2025-06-04 03:10:28] [INFO ] Performed 551/2778 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-04 03:11:07] [INFO ] Performed 700/2778 implicitness test of which 0 returned IMPLICIT in 129 seconds.
[2025-06-04 03:11:07] [INFO ] Timeout of Implicit test with SMT after 129 seconds.
[2025-06-04 03:11:07] [INFO ] Implicit Places using invariants and state equation in 135119 ms returned []
Implicit Place search using SMT with State Equation took 143407 ms to find 0 implicit places.
Starting Z3 with timeout 200.0 s and query timeout 20000.0 ms
[2025-06-04 03:11:09] [INFO ] Redundant transitions in 1492 ms returned []
Running 8459 sub problems to find dead transitions.
[2025-06-04 03:11:09] [INFO ] Flow matrix only has 7667 transitions (discarded 886 similar events)
[2025-06-04 03:11:09] [INFO ] Invariant cache hit.
[2025-06-04 03:11:09] [INFO ] State equation strengthened by 4402 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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/2776 variables, 45/45 constraints. Problems are: Problem set: 0 solved, 8459 unsolved
SMT process timed out in 44375ms, After SMT, problems are : Problem set: 0 solved, 8459 unsolved
Search for dead transitions found 0 dead transitions in 44427ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 190017 ms. Remains : 2778/2778 places, 8553/8553 transitions.
RANDOM walk for 400000 steps (17080 resets) in 19726 ms. (20 steps per ms) remains 1/2 properties
Running SMT prover for 1 properties.
[2025-06-04 03:11:58] [INFO ] Flow matrix only has 7667 transitions (discarded 886 similar events)
[2025-06-04 03:11:58] [INFO ] Invariant cache hit.
Starting Z3 with timeout 200.0 s and query timeout 20000.0 ms
[2025-06-04 03:11:59] [INFO ] [Real]Absence check using 47 positive place invariants in 56 ms returned sat
[2025-06-04 03:11:59] [INFO ] [Real]Absence check using 47 positive and 10 generalized place invariants in 8 ms returned sat
[2025-06-04 03:12:05] [INFO ] After 6472ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2025-06-04 03:12:06] [INFO ] State equation strengthened by 4402 read => feed constraints.
[2025-06-04 03:12:06] [INFO ] After 741ms SMT Verify possible using 4402 Read/Feed constraints in real domain returned unsat :1 sat :0
[2025-06-04 03:12:06] [INFO ] After 7869ms SMT Verify possible using all constraints in real domain returned unsat :1 sat :0
Successfully simplified 1 atomic propositions for a total of 1 simplifications.
FORMULA MultiCrashLeafsetExtension-PT-S24C04-CTLFireability-2025-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 3584/3584 places, 7850/7850 transitions.
Discarding 86 places :
Symmetric choice reduction at 0 with 86 rule applications. Total rules 86 place count 3498 transition count 7692
Iterating global reduction 0 with 86 rules applied. Total rules applied 172 place count 3498 transition count 7692
Discarding 59 places :
Symmetric choice reduction at 0 with 59 rule applications. Total rules 231 place count 3439 transition count 7561
Iterating global reduction 0 with 59 rules applied. Total rules applied 290 place count 3439 transition count 7561
Discarding 31 places :
Symmetric choice reduction at 0 with 31 rule applications. Total rules 321 place count 3408 transition count 7437
Iterating global reduction 0 with 31 rules applied. Total rules applied 352 place count 3408 transition count 7437
Applied a total of 352 rules in 2502 ms. Remains 3408 /3584 variables (removed 176) and now considering 7437/7850 (removed 413) transitions.
[2025-06-04 03:12:09] [INFO ] Flow matrix only has 6837 transitions (discarded 600 similar events)
// Phase 1: matrix 6837 rows 3408 cols
[2025-06-04 03:12:09] [INFO ] Computed 129 invariants in 149 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 03:12:24] [INFO ] Implicit Places using invariants in 14575 ms returned [10, 13, 146, 195, 334, 487, 488, 600, 730, 813, 822, 823, 824, 933, 1011, 1101, 1234, 1282, 1283, 1341, 1365, 1386, 1387, 1470, 1504, 1556, 1557, 1575, 1584, 1585, 1605, 1627, 1628, 1642, 1679, 1700, 1709, 1723, 1724, 1766, 1790, 1791, 1813, 1814, 1822, 1848, 1849, 1878, 1879, 1953, 1984, 1993, 2042, 2078, 2093, 2094, 2290, 2454, 2533, 2542, 2544, 2715, 2759, 3012, 3013, 3086, 3171, 3172, 3173, 3317]
[2025-06-04 03:12:24] [INFO ] Actually due to overlaps returned [813, 1575, 1700, 1984, 2533, 3317, 10, 13, 195, 334, 487, 488, 600, 730, 822, 823, 824, 933, 1011, 1101, 1234, 1282, 1283, 1341, 1386, 1387, 1470, 1504, 1556, 1557, 1584, 1585, 1627, 1628, 1642, 1679, 1709, 1723, 1724, 1766, 1790, 1791, 1813, 1814, 1848, 1849, 1878, 1879, 1953, 1993, 2042, 2093, 2094, 2290, 2454, 2542, 2759, 3012, 3013, 3171, 3172, 3173]
Discarding 62 places :
Implicit Place search using SMT only with invariants took 14585 ms to find 62 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3346/3584 places, 7437/7850 transitions.
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 56 place count 3290 transition count 7381
Iterating global reduction 0 with 56 rules applied. Total rules applied 112 place count 3290 transition count 7381
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 168 place count 3234 transition count 7325
Iterating global reduction 0 with 56 rules applied. Total rules applied 224 place count 3234 transition count 7325
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 280 place count 3178 transition count 7269
Iterating global reduction 0 with 56 rules applied. Total rules applied 336 place count 3178 transition count 7269
Discarding 36 places :
Symmetric choice reduction at 0 with 36 rule applications. Total rules 372 place count 3142 transition count 7125
Iterating global reduction 0 with 36 rules applied. Total rules applied 408 place count 3142 transition count 7125
Applied a total of 408 rules in 3039 ms. Remains 3142 /3346 variables (removed 204) and now considering 7125/7437 (removed 312) transitions.
[2025-06-04 03:12:27] [INFO ] Flow matrix only has 6525 transitions (discarded 600 similar events)
// Phase 1: matrix 6525 rows 3142 cols
[2025-06-04 03:12:27] [INFO ] Computed 67 invariants in 189 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 03:12:36] [INFO ] Implicit Places using invariants in 8973 ms returned [144, 1304, 1512, 1689, 1914, 2358, 2529, 2891]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 8978 ms to find 8 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3134/3584 places, 7125/7850 transitions.
Applied a total of 0 rules in 699 ms. Remains 3134 /3134 variables (removed 0) and now considering 7125/7125 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 29804 ms. Remains : 3134/3584 places, 7125/7850 transitions.
[2025-06-04 03:12:37] [INFO ] Flatten gal took : 195 ms
[2025-06-04 03:12:37] [INFO ] Flatten gal took : 195 ms
[2025-06-04 03:12:37] [INFO ] Input system was already deterministic with 7125 transitions.
[2025-06-04 03:12:37] [INFO ] Flatten gal took : 188 ms
[2025-06-04 03:12:37] [INFO ] Flatten gal took : 195 ms
[2025-06-04 03:12:38] [INFO ] Time to serialize gal into /tmp/CTLFireability10071556913718283867.gal : 32 ms
[2025-06-04 03:12:38] [INFO ] Time to serialize properties into /tmp/CTLFireability17770725293228050259.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/CTLFireability10071556913718283867.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17770725293228050259.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 03:13:08] [INFO ] Flatten gal took : 188 ms
[2025-06-04 03:13:08] [INFO ] Applying decomposition
[2025-06-04 03:13:08] [INFO ] Flatten gal took : 195 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/graph9866551776432152262.txt' '-o' '/tmp/graph9866551776432152262.bin' '-w' '/tmp/graph9866551776432152262.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph9866551776432152262.bin' '-l' '-1' '-v' '-w' '/tmp/graph9866551776432152262.weights' '-q' '0' '-e' '0.001'
[2025-06-04 03:13:08] [INFO ] Decomposing Gal with order
[2025-06-04 03:13:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 03:13:10] [INFO ] Removed a total of 5663 redundant transitions.
[2025-06-04 03:13:10] [INFO ] Flatten gal took : 765 ms
[2025-06-04 03:13:10] [INFO ] Fuse similar labels procedure discarded/fused a total of 3780 labels/synchronizations in 267 ms.
[2025-06-04 03:13:10] [INFO ] Time to serialize gal into /tmp/CTLFireability236423815550288942.gal : 39 ms
[2025-06-04 03:13:10] [INFO ] Time to serialize properties into /tmp/CTLFireability2146960463696384388.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/CTLFireability236423815550288942.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2146960463696384388.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...261
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3584/3584 places, 7850/7850 transitions.
Discarding 86 places :
Symmetric choice reduction at 0 with 86 rule applications. Total rules 86 place count 3498 transition count 7692
Iterating global reduction 0 with 86 rules applied. Total rules applied 172 place count 3498 transition count 7692
Discarding 59 places :
Symmetric choice reduction at 0 with 59 rule applications. Total rules 231 place count 3439 transition count 7561
Iterating global reduction 0 with 59 rules applied. Total rules applied 290 place count 3439 transition count 7561
Discarding 31 places :
Symmetric choice reduction at 0 with 31 rule applications. Total rules 321 place count 3408 transition count 7437
Iterating global reduction 0 with 31 rules applied. Total rules applied 352 place count 3408 transition count 7437
Applied a total of 352 rules in 2667 ms. Remains 3408 /3584 variables (removed 176) and now considering 7437/7850 (removed 413) transitions.
[2025-06-04 03:13:43] [INFO ] Flow matrix only has 6837 transitions (discarded 600 similar events)
// Phase 1: matrix 6837 rows 3408 cols
[2025-06-04 03:13:43] [INFO ] Computed 129 invariants in 151 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 03:14:00] [INFO ] Implicit Places using invariants in 17027 ms returned [10, 13, 146, 195, 334, 487, 488, 600, 730, 813, 822, 823, 824, 933, 1011, 1101, 1234, 1282, 1283, 1341, 1365, 1385, 1386, 1387, 1467, 1556, 1557, 1575, 1584, 1585, 1605, 1627, 1628, 1642, 1679, 1680, 1697, 1706, 1720, 1721, 1763, 1788, 1813, 1814, 1822, 1848, 1849, 1878, 1879, 1953, 1984, 1993, 2042, 2078, 2093, 2094, 2290, 2454, 2533, 2542, 2544, 2715, 2759, 3012, 3013, 3086, 3171, 3172, 3173, 3317]
[2025-06-04 03:14:00] [INFO ] Actually due to overlaps returned [813, 1575, 1697, 1984, 2533, 3317, 10, 13, 195, 334, 487, 488, 600, 730, 822, 823, 824, 933, 1011, 1101, 1234, 1282, 1283, 1341, 1385, 1386, 1387, 1467, 1556, 1557, 1584, 1585, 1627, 1628, 1642, 1679, 1680, 1706, 1720, 1721, 1763, 1788, 1813, 1814, 1848, 1849, 1878, 1879, 1953, 1993, 2042, 2093, 2094, 2290, 2454, 2542, 2759, 3012, 3013, 3171, 3172, 3173]
Discarding 62 places :
Implicit Place search using SMT only with invariants took 17036 ms to find 62 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3346/3584 places, 7437/7850 transitions.
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 56 place count 3290 transition count 7381
Iterating global reduction 0 with 56 rules applied. Total rules applied 112 place count 3290 transition count 7381
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 168 place count 3234 transition count 7325
Iterating global reduction 0 with 56 rules applied. Total rules applied 224 place count 3234 transition count 7325
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 280 place count 3178 transition count 7269
Iterating global reduction 0 with 56 rules applied. Total rules applied 336 place count 3178 transition count 7269
Discarding 36 places :
Symmetric choice reduction at 0 with 36 rule applications. Total rules 372 place count 3142 transition count 7125
Iterating global reduction 0 with 36 rules applied. Total rules applied 408 place count 3142 transition count 7125
Applied a total of 408 rules in 3062 ms. Remains 3142 /3346 variables (removed 204) and now considering 7125/7437 (removed 312) transitions.
[2025-06-04 03:14:03] [INFO ] Flow matrix only has 6525 transitions (discarded 600 similar events)
// Phase 1: matrix 6525 rows 3142 cols
[2025-06-04 03:14:03] [INFO ] Computed 67 invariants in 233 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 03:14:13] [INFO ] Implicit Places using invariants in 9698 ms returned [144, 1304, 1512, 1687, 1914, 2358, 2529, 2891]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 9705 ms to find 8 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3134/3584 places, 7125/7850 transitions.
Applied a total of 0 rules in 655 ms. Remains 3134 /3134 variables (removed 0) and now considering 7125/7125 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 33126 ms. Remains : 3134/3584 places, 7125/7850 transitions.
[2025-06-04 03:14:14] [INFO ] Flatten gal took : 239 ms
[2025-06-04 03:14:14] [INFO ] Flatten gal took : 195 ms
[2025-06-04 03:14:14] [INFO ] Input system was already deterministic with 7125 transitions.
[2025-06-04 03:14:14] [INFO ] Flatten gal took : 188 ms
[2025-06-04 03:14:14] [INFO ] Flatten gal took : 195 ms
[2025-06-04 03:14:14] [INFO ] Time to serialize gal into /tmp/CTLFireability1300258944583540262.gal : 31 ms
[2025-06-04 03:14:14] [INFO ] Time to serialize properties into /tmp/CTLFireability2706114180963416353.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/CTLFireability1300258944583540262.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2706114180963416353.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-04 03:14:45] [INFO ] Flatten gal took : 188 ms
[2025-06-04 03:14:45] [INFO ] Applying decomposition
[2025-06-04 03:14:45] [INFO ] Flatten gal took : 195 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/graph8078498525268580840.txt' '-o' '/tmp/graph8078498525268580840.bin' '-w' '/tmp/graph8078498525268580840.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph8078498525268580840.bin' '-l' '-1' '-v' '-w' '/tmp/graph8078498525268580840.weights' '-q' '0' '-e' '0.001'
[2025-06-04 03:14:45] [INFO ] Decomposing Gal with order
[2025-06-04 03:14:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 03:14:46] [INFO ] Removed a total of 5692 redundant transitions.
[2025-06-04 03:14:47] [INFO ] Flatten gal took : 783 ms
[2025-06-04 03:14:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 4774 labels/synchronizations in 330 ms.
[2025-06-04 03:14:47] [INFO ] Time to serialize gal into /tmp/CTLFireability17115152893219707334.gal : 48 ms
[2025-06-04 03:14:47] [INFO ] Time to serialize properties into /tmp/CTLFireability1824779079494515625.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/CTLFireability17115152893219707334.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1824779079494515625.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 : 3584/3584 places, 7850/7850 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 38 transitions
Trivial Post-agglo rules discarded 38 transitions
Performed 38 trivial Post agglomeration. Transition count delta: 38
Iterating post reduction 0 with 38 rules applied. Total rules applied 38 place count 3584 transition count 7812
Reduce places removed 38 places and 0 transitions.
Iterating post reduction 1 with 38 rules applied. Total rules applied 76 place count 3546 transition count 7812
Performed 61 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 61 Pre rules applied. Total rules applied 76 place count 3546 transition count 7751
Deduced a syphon composed of 61 places in 6 ms
Reduce places removed 61 places and 0 transitions.
Iterating global reduction 2 with 122 rules applied. Total rules applied 198 place count 3485 transition count 7751
Discarding 53 places :
Symmetric choice reduction at 2 with 53 rule applications. Total rules 251 place count 3432 transition count 7632
Iterating global reduction 2 with 53 rules applied. Total rules applied 304 place count 3432 transition count 7632
Discarding 28 places :
Symmetric choice reduction at 2 with 28 rule applications. Total rules 332 place count 3404 transition count 7529
Iterating global reduction 2 with 28 rules applied. Total rules applied 360 place count 3404 transition count 7529
Performed 41 Post agglomeration using F-continuation condition.Transition count delta: 41
Deduced a syphon composed of 41 places in 5 ms
Reduce places removed 41 places and 0 transitions.
Iterating global reduction 2 with 82 rules applied. Total rules applied 442 place count 3363 transition count 7488
Discarding 32 places :
Symmetric choice reduction at 2 with 32 rule applications. Total rules 474 place count 3331 transition count 7456
Iterating global reduction 2 with 32 rules applied. Total rules applied 506 place count 3331 transition count 7456
Discarding 31 places :
Symmetric choice reduction at 2 with 31 rule applications. Total rules 537 place count 3300 transition count 7332
Iterating global reduction 2 with 31 rules applied. Total rules applied 568 place count 3300 transition count 7332
Applied a total of 568 rules in 4383 ms. Remains 3300 /3584 variables (removed 284) and now considering 7332/7850 (removed 518) transitions.
[2025-06-04 03:15:22] [INFO ] Flow matrix only has 6732 transitions (discarded 600 similar events)
// Phase 1: matrix 6732 rows 3300 cols
[2025-06-04 03:15:22] [INFO ] Computed 129 invariants in 166 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 03:15:33] [INFO ] Implicit Places using invariants in 11587 ms returned [9, 10, 141, 188, 316, 469, 470, 576, 706, 786, 794, 795, 796, 905, 978, 1068, 1198, 1244, 1245, 1303, 1327, 1343, 1344, 1345, 1421, 1455, 1504, 1505, 1521, 1529, 1530, 1569, 1570, 1584, 1617, 1618, 1633, 1641, 1655, 1656, 1694, 1716, 1717, 1739, 1740, 1748, 1769, 1770, 1800, 1872, 1910, 1959, 1995, 2007, 2008, 2202, 2364, 2442, 2450, 2452, 2623, 2665, 2916, 2917, 2991, 3076, 3077, 3078, 3217]
[2025-06-04 03:15:33] [INFO ] Actually due to overlaps returned [786, 1521, 1633, 2442, 3217, 9, 10, 188, 316, 469, 470, 576, 706, 794, 795, 796, 905, 978, 1068, 1198, 1244, 1245, 1303, 1343, 1344, 1345, 1421, 1455, 1504, 1505, 1529, 1530, 1569, 1570, 1584, 1617, 1618, 1641, 1655, 1656, 1694, 1716, 1717, 1739, 1740, 1748, 1769, 1770, 1800, 1872, 1910, 1959, 2007, 2008, 2202, 2364, 2450, 2623, 2665, 2916, 2917, 3076, 3077, 3078]
Discarding 64 places :
Implicit Place search using SMT only with invariants took 11593 ms to find 64 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3236/3584 places, 7332/7850 transitions.
Discarding 49 places :
Symmetric choice reduction at 0 with 49 rule applications. Total rules 49 place count 3187 transition count 7283
Iterating global reduction 0 with 49 rules applied. Total rules applied 98 place count 3187 transition count 7283
Discarding 48 places :
Symmetric choice reduction at 0 with 48 rule applications. Total rules 146 place count 3139 transition count 7235
Iterating global reduction 0 with 48 rules applied. Total rules applied 194 place count 3139 transition count 7235
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 212 place count 3121 transition count 7163
Iterating global reduction 0 with 18 rules applied. Total rules applied 230 place count 3121 transition count 7163
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Deduced a syphon composed of 8 places in 5 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 0 with 16 rules applied. Total rules applied 246 place count 3113 transition count 7155
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 254 place count 3105 transition count 7147
Iterating global reduction 0 with 8 rules applied. Total rules applied 262 place count 3105 transition count 7147
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 280 place count 3087 transition count 7075
Iterating global reduction 0 with 18 rules applied. Total rules applied 298 place count 3087 transition count 7075
Applied a total of 298 rules in 4722 ms. Remains 3087 /3236 variables (removed 149) and now considering 7075/7332 (removed 257) transitions.
[2025-06-04 03:15:38] [INFO ] Flow matrix only has 6475 transitions (discarded 600 similar events)
// Phase 1: matrix 6475 rows 3087 cols
[2025-06-04 03:15:38] [INFO ] Computed 65 invariants in 231 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 03:15:46] [INFO ] Implicit Places using invariants in 8373 ms returned [139, 1283, 1873, 2314, 2845]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 8379 ms to find 5 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3082/3584 places, 7075/7850 transitions.
Applied a total of 0 rules in 955 ms. Remains 3082 /3082 variables (removed 0) and now considering 7075/7075 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 30032 ms. Remains : 3082/3584 places, 7075/7850 transitions.
[2025-06-04 03:15:47] [INFO ] Flatten gal took : 136 ms
[2025-06-04 03:15:48] [INFO ] Flatten gal took : 164 ms
[2025-06-04 03:15:48] [INFO ] Input system was already deterministic with 7075 transitions.
[2025-06-04 03:15:48] [INFO ] Flatten gal took : 159 ms
[2025-06-04 03:15:48] [INFO ] Flatten gal took : 164 ms
[2025-06-04 03:15:48] [INFO ] Time to serialize gal into /tmp/CTLFireability10033042798170137855.gal : 31 ms
[2025-06-04 03:15:48] [INFO ] Time to serialize properties into /tmp/CTLFireability5570195566399129639.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/CTLFireability10033042798170137855.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5570195566399129639.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-04 03:16:18] [INFO ] Flatten gal took : 160 ms
[2025-06-04 03:16:18] [INFO ] Applying decomposition
[2025-06-04 03:16:19] [INFO ] Flatten gal took : 215 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/graph12776397276494154916.txt' '-o' '/tmp/graph12776397276494154916.bin' '-w' '/tmp/graph12776397276494154916.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph12776397276494154916.bin' '-l' '-1' '-v' '-w' '/tmp/graph12776397276494154916.weights' '-q' '0' '-e' '0.001'
[2025-06-04 03:16:19] [INFO ] Decomposing Gal with order
[2025-06-04 03:16:19] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 03:16:21] [INFO ] Removed a total of 6608 redundant transitions.
[2025-06-04 03:16:21] [INFO ] Flatten gal took : 1323 ms
[2025-06-04 03:16:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 4585 labels/synchronizations in 351 ms.
[2025-06-04 03:16:22] [INFO ] Time to serialize gal into /tmp/CTLFireability6586818937495957265.gal : 45 ms
[2025-06-04 03:16:22] [INFO ] Time to serialize properties into /tmp/CTLFireability2445089455709355273.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/CTLFireability6586818937495957265.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2445089455709355273.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 : 3584/3584 places, 7850/7850 transitions.
Discarding 78 places :
Symmetric choice reduction at 0 with 78 rule applications. Total rules 78 place count 3506 transition count 7709
Iterating global reduction 0 with 78 rules applied. Total rules applied 156 place count 3506 transition count 7709
Discarding 54 places :
Symmetric choice reduction at 0 with 54 rule applications. Total rules 210 place count 3452 transition count 7589
Iterating global reduction 0 with 54 rules applied. Total rules applied 264 place count 3452 transition count 7589
Discarding 28 places :
Symmetric choice reduction at 0 with 28 rule applications. Total rules 292 place count 3424 transition count 7477
Iterating global reduction 0 with 28 rules applied. Total rules applied 320 place count 3424 transition count 7477
Applied a total of 320 rules in 2463 ms. Remains 3424 /3584 variables (removed 160) and now considering 7477/7850 (removed 373) transitions.
[2025-06-04 03:16:54] [INFO ] Flow matrix only has 6877 transitions (discarded 600 similar events)
// Phase 1: matrix 6877 rows 3424 cols
[2025-06-04 03:16:54] [INFO ] Computed 129 invariants in 154 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 03:17:08] [INFO ] Implicit Places using invariants in 13772 ms returned [10, 13, 146, 195, 334, 487, 488, 732, 824, 825, 826, 935, 1013, 1103, 1236, 1284, 1285, 1343, 1367, 1387, 1388, 1389, 1469, 1503, 1556, 1557, 1575, 1584, 1585, 1605, 1627, 1628, 1642, 1679, 1680, 1698, 1707, 1722, 1767, 1791, 1816, 1817, 1851, 1852, 1881, 2002, 2051, 2087, 2103, 2104, 2467, 2546, 2555, 2728, 2772, 3025, 3026, 3099, 3185, 3186, 3333]
[2025-06-04 03:17:08] [INFO ] Actually due to overlaps returned [1575, 1698, 2546, 3333, 10, 13, 195, 334, 487, 488, 732, 824, 825, 826, 935, 1013, 1103, 1236, 1284, 1285, 1343, 1387, 1388, 1389, 1469, 1503, 1556, 1557, 1584, 1585, 1605, 1627, 1628, 1642, 1679, 1680, 1707, 1722, 1767, 1791, 1816, 1817, 1851, 1852, 1881, 2002, 2051, 2103, 2104, 2467, 2555, 2728, 2772, 3025, 3026, 3185, 3186]
Discarding 57 places :
Implicit Place search using SMT only with invariants took 13777 ms to find 57 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3367/3584 places, 7477/7850 transitions.
Discarding 51 places :
Symmetric choice reduction at 0 with 51 rule applications. Total rules 51 place count 3316 transition count 7426
Iterating global reduction 0 with 51 rules applied. Total rules applied 102 place count 3316 transition count 7426
Discarding 51 places :
Symmetric choice reduction at 0 with 51 rule applications. Total rules 153 place count 3265 transition count 7375
Iterating global reduction 0 with 51 rules applied. Total rules applied 204 place count 3265 transition count 7375
Discarding 51 places :
Symmetric choice reduction at 0 with 51 rule applications. Total rules 255 place count 3214 transition count 7324
Iterating global reduction 0 with 51 rules applied. Total rules applied 306 place count 3214 transition count 7324
Discarding 31 places :
Symmetric choice reduction at 0 with 31 rule applications. Total rules 337 place count 3183 transition count 7200
Iterating global reduction 0 with 31 rules applied. Total rules applied 368 place count 3183 transition count 7200
Applied a total of 368 rules in 3038 ms. Remains 3183 /3367 variables (removed 184) and now considering 7200/7477 (removed 277) transitions.
[2025-06-04 03:17:11] [INFO ] Flow matrix only has 6600 transitions (discarded 600 similar events)
// Phase 1: matrix 6600 rows 3183 cols
[2025-06-04 03:17:11] [INFO ] Computed 72 invariants in 206 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 03:17:20] [INFO ] Implicit Places using invariants in 9437 ms returned [144, 1311, 1936, 2920]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 9443 ms to find 4 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3179/3584 places, 7200/7850 transitions.
Applied a total of 0 rules in 537 ms. Remains 3179 /3179 variables (removed 0) and now considering 7200/7200 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 29258 ms. Remains : 3179/3584 places, 7200/7850 transitions.
[2025-06-04 03:17:21] [INFO ] Flatten gal took : 168 ms
[2025-06-04 03:17:21] [INFO ] Flatten gal took : 197 ms
[2025-06-04 03:17:22] [INFO ] Input system was already deterministic with 7200 transitions.
[2025-06-04 03:17:22] [INFO ] Flatten gal took : 189 ms
[2025-06-04 03:17:22] [INFO ] Flatten gal took : 198 ms
[2025-06-04 03:17:22] [INFO ] Time to serialize gal into /tmp/CTLFireability5272587866314664776.gal : 34 ms
[2025-06-04 03:17:22] [INFO ] Time to serialize properties into /tmp/CTLFireability1876752714977811276.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/CTLFireability5272587866314664776.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1876752714977811276.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-04 03:17:52] [INFO ] Flatten gal took : 192 ms
[2025-06-04 03:17:52] [INFO ] Applying decomposition
[2025-06-04 03:17:53] [INFO ] Flatten gal took : 293 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/graph9199961964505755252.txt' '-o' '/tmp/graph9199961964505755252.bin' '-w' '/tmp/graph9199961964505755252.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph9199961964505755252.bin' '-l' '-1' '-v' '-w' '/tmp/graph9199961964505755252.weights' '-q' '0' '-e' '0.001'
[2025-06-04 03:17:53] [INFO ] Decomposing Gal with order
[2025-06-04 03:17:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 03:17:54] [INFO ] Removed a total of 5962 redundant transitions.
[2025-06-04 03:17:54] [INFO ] Flatten gal took : 672 ms
[2025-06-04 03:17:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 3602 labels/synchronizations in 284 ms.
[2025-06-04 03:17:55] [INFO ] Time to serialize gal into /tmp/CTLFireability14369647215246376517.gal : 47 ms
[2025-06-04 03:17:55] [INFO ] Time to serialize properties into /tmp/CTLFireability4746938624479880167.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/CTLFireability14369647215246376517.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4746938624479880167.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 : 3584/3584 places, 7850/7850 transitions.
Discarding 88 places :
Symmetric choice reduction at 0 with 88 rule applications. Total rules 88 place count 3496 transition count 7690
Iterating global reduction 0 with 88 rules applied. Total rules applied 176 place count 3496 transition count 7690
Discarding 61 places :
Symmetric choice reduction at 0 with 61 rule applications. Total rules 237 place count 3435 transition count 7557
Iterating global reduction 0 with 61 rules applied. Total rules applied 298 place count 3435 transition count 7557
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 331 place count 3402 transition count 7425
Iterating global reduction 0 with 33 rules applied. Total rules applied 364 place count 3402 transition count 7425
Applied a total of 364 rules in 2446 ms. Remains 3402 /3584 variables (removed 182) and now considering 7425/7850 (removed 425) transitions.
[2025-06-04 03:18:27] [INFO ] Flow matrix only has 6825 transitions (discarded 600 similar events)
// Phase 1: matrix 6825 rows 3402 cols
[2025-06-04 03:18:28] [INFO ] Computed 129 invariants in 237 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 03:18:41] [INFO ] Implicit Places using invariants in 13547 ms returned [10, 13, 146, 195, 334, 487, 488, 600, 730, 813, 822, 823, 824, 933, 1011, 1101, 1234, 1282, 1283, 1341, 1365, 1385, 1386, 1387, 1467, 1501, 1553, 1554, 1581, 1582, 1602, 1624, 1625, 1639, 1676, 1677, 1694, 1703, 1717, 1718, 1760, 1784, 1785, 1807, 1808, 1816, 1842, 1843, 1872, 1873, 1947, 1978, 1987, 2036, 2072, 2087, 2088, 2284, 2448, 2527, 2536, 2538, 2709, 2753, 3006, 3007, 3165, 3166, 3167, 3311]
[2025-06-04 03:18:41] [INFO ] Actually due to overlaps returned [813, 1694, 1978, 2527, 3311, 10, 13, 195, 334, 487, 488, 600, 730, 822, 823, 824, 933, 1011, 1101, 1234, 1282, 1283, 1341, 1385, 1386, 1387, 1467, 1501, 1553, 1554, 1581, 1582, 1624, 1625, 1639, 1676, 1677, 1703, 1717, 1718, 1760, 1784, 1785, 1807, 1808, 1842, 1843, 1872, 1873, 1947, 1987, 2036, 2087, 2088, 2284, 2448, 2536, 2753, 3006, 3007, 3165, 3166, 3167]
Discarding 63 places :
Implicit Place search using SMT only with invariants took 13553 ms to find 63 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3339/3584 places, 7425/7850 transitions.
Discarding 58 places :
Symmetric choice reduction at 0 with 58 rule applications. Total rules 58 place count 3281 transition count 7367
Iterating global reduction 0 with 58 rules applied. Total rules applied 116 place count 3281 transition count 7367
Discarding 58 places :
Symmetric choice reduction at 0 with 58 rule applications. Total rules 174 place count 3223 transition count 7309
Iterating global reduction 0 with 58 rules applied. Total rules applied 232 place count 3223 transition count 7309
Discarding 58 places :
Symmetric choice reduction at 0 with 58 rule applications. Total rules 290 place count 3165 transition count 7251
Iterating global reduction 0 with 58 rules applied. Total rules applied 348 place count 3165 transition count 7251
Discarding 38 places :
Symmetric choice reduction at 0 with 38 rule applications. Total rules 386 place count 3127 transition count 7099
Iterating global reduction 0 with 38 rules applied. Total rules applied 424 place count 3127 transition count 7099
Applied a total of 424 rules in 3055 ms. Remains 3127 /3339 variables (removed 212) and now considering 7099/7425 (removed 326) transitions.
[2025-06-04 03:18:44] [INFO ] Flow matrix only has 6499 transitions (discarded 600 similar events)
// Phase 1: matrix 6499 rows 3127 cols
[2025-06-04 03:18:44] [INFO ] Computed 66 invariants in 252 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 03:18:54] [INFO ] Implicit Places using invariants in 10028 ms returned [144, 1304, 1506, 1676, 1901, 2345, 2516]
Discarding 7 places :
Implicit Place search using SMT only with invariants took 10036 ms to find 7 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3120/3584 places, 7099/7850 transitions.
Applied a total of 0 rules in 651 ms. Remains 3120 /3120 variables (removed 0) and now considering 7099/7099 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 29749 ms. Remains : 3120/3584 places, 7099/7850 transitions.
[2025-06-04 03:18:55] [INFO ] Flatten gal took : 272 ms
[2025-06-04 03:18:55] [INFO ] Flatten gal took : 318 ms
[2025-06-04 03:18:56] [INFO ] Input system was already deterministic with 7099 transitions.
[2025-06-04 03:18:56] [INFO ] Flatten gal took : 187 ms
[2025-06-04 03:18:56] [INFO ] Flatten gal took : 195 ms
[2025-06-04 03:18:56] [INFO ] Time to serialize gal into /tmp/CTLFireability308704062849433575.gal : 31 ms
[2025-06-04 03:18:56] [INFO ] Time to serialize properties into /tmp/CTLFireability1813709889800629472.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/CTLFireability308704062849433575.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1813709889800629472.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-04 03:19:26] [INFO ] Flatten gal took : 188 ms
[2025-06-04 03:19:26] [INFO ] Applying decomposition
[2025-06-04 03:19:26] [INFO ] Flatten gal took : 195 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/graph11891797277699393328.txt' '-o' '/tmp/graph11891797277699393328.bin' '-w' '/tmp/graph11891797277699393328.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph11891797277699393328.bin' '-l' '-1' '-v' '-w' '/tmp/graph11891797277699393328.weights' '-q' '0' '-e' '0.001'
[2025-06-04 03:19:27] [INFO ] Decomposing Gal with order
[2025-06-04 03:19:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 03:19:28] [INFO ] Removed a total of 5755 redundant transitions.
[2025-06-04 03:19:28] [INFO ] Flatten gal took : 546 ms
[2025-06-04 03:19:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 3375 labels/synchronizations in 274 ms.
[2025-06-04 03:19:28] [INFO ] Time to serialize gal into /tmp/CTLFireability1701040809687732257.gal : 44 ms
[2025-06-04 03:19:28] [INFO ] Time to serialize properties into /tmp/CTLFireability10914790487116130262.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/CTLFireability1701040809687732257.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10914790487116130262.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.
[2025-06-04 03:19:59] [INFO ] Flatten gal took : 214 ms
[2025-06-04 03:19:59] [INFO ] Flatten gal took : 222 ms
[2025-06-04 03:19:59] [INFO ] Applying decomposition
[2025-06-04 03:19:59] [INFO ] Flatten gal took : 247 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/graph2811975358751879414.txt' '-o' '/tmp/graph2811975358751879414.bin' '-w' '/tmp/graph2811975358751879414.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2811975358751879414.bin' '-l' '-1' '-v' '-w' '/tmp/graph2811975358751879414.weights' '-q' '0' '-e' '0.001'
[2025-06-04 03:20:00] [INFO ] Decomposing Gal with order
[2025-06-04 03:20:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 03:20:01] [INFO ] Removed a total of 6696 redundant transitions.
[2025-06-04 03:20:01] [INFO ] Flatten gal took : 690 ms
[2025-06-04 03:20:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 2681 labels/synchronizations in 272 ms.
[2025-06-04 03:20:02] [INFO ] Time to serialize gal into /tmp/CTLFireability8453449834164606289.gal : 57 ms
[2025-06-04 03:20:02] [INFO ] Time to serialize properties into /tmp/CTLFireability12563916605841423266.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/CTLFireability8453449834164606289.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12563916605841423266.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 14 CTL formulae.
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
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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-S24C04"
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-S24C04, 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-174876524400354"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C04.tgz
mv MultiCrashLeafsetExtension-PT-S24C04 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 ;