About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S24C05
| 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???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-174876524400362.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-S24C05, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-174876524400362
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 12M
-rw-r--r-- 1 mcc users 14K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 10K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.8K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 22K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 26K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 152K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 18K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 83K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.9K 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 12M 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-S24C05-CTLFireability-2023-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLFireability-2023-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLFireability-2023-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLFireability-2023-15
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLFireability-2025-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLFireability-2025-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLFireability-2025-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLFireability-2025-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLFireability-2025-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLFireability-2025-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLFireability-2025-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLFireability-2025-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLFireability-2025-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLFireability-2025-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLFireability-2025-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-CTLFireability-2025-11
=== Now, execution of the tool begins
BK_START 1749019218843
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-S24C05
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202505121319
[2025-06-04 06:40:20] [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 06:40:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-04 06:40:22] [INFO ] Load time of PNML (sax parser for PT used): 1087 ms
[2025-06-04 06:40:22] [INFO ] Transformed 11106 places.
[2025-06-04 06:40:22] [INFO ] Transformed 16561 transitions.
[2025-06-04 06:40:22] [INFO ] Parsed PT model containing 11106 places and 16561 transitions and 65150 arcs in 1371 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 46 ms.
Support contains 180 out of 11106 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 11106/11106 places, 16561/16561 transitions.
Reduce places removed 38 places and 0 transitions.
Iterating post reduction 0 with 38 rules applied. Total rules applied 38 place count 11068 transition count 16561
Discarding 2963 places :
Symmetric choice reduction at 1 with 2963 rule applications. Total rules 3001 place count 8105 transition count 13598
Iterating global reduction 1 with 2963 rules applied. Total rules applied 5964 place count 8105 transition count 13598
Discarding 2704 places :
Symmetric choice reduction at 1 with 2704 rule applications. Total rules 8668 place count 5401 transition count 10894
Iterating global reduction 1 with 2704 rules applied. Total rules applied 11372 place count 5401 transition count 10894
Discarding 478 places :
Symmetric choice reduction at 1 with 478 rule applications. Total rules 11850 place count 4923 transition count 8504
Iterating global reduction 1 with 478 rules applied. Total rules applied 12328 place count 4923 transition count 8504
Applied a total of 12328 rules in 5219 ms. Remains 4923 /11106 variables (removed 6183) and now considering 8504/16561 (removed 8057) transitions.
[2025-06-04 06:40:27] [INFO ] Flow matrix only has 7904 transitions (discarded 600 similar events)
// Phase 1: matrix 7904 rows 4923 cols
[2025-06-04 06:40:29] [INFO ] Computed 937 invariants in 1080 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:40:43] [INFO ] Implicit Places using invariants in 15616 ms returned [4, 8, 12, 14, 16, 18, 20, 22, 27, 34, 43, 54, 68, 83, 100, 119, 140, 163, 187, 211, 213, 215, 217, 221, 242, 264, 281, 296, 309, 320, 330, 337, 342, 345, 368, 375, 378, 379, 380, 381, 382, 383, 386, 391, 398, 407, 418, 431, 446, 482, 503, 525, 547, 548, 549, 550, 551, 552, 571, 588, 603, 616, 627, 636, 643, 648, 651, 653, 676, 683, 686, 687, 688, 689, 690, 691, 693, 696, 701, 709, 718, 729, 742, 757, 794, 814, 834, 835, 836, 837, 838, 839, 856, 871, 884, 895, 904, 911, 916, 919, 921, 923, 946, 953, 957, 958, 959, 960, 961, 963, 965, 971, 976, 983, 992, 1003, 1016, 1031, 1048, 1066, 1084, 1086, 1087, 1089, 1104, 1117, 1132, 1141, 1149, 1154, 1157, 1159, 1161, 1163, 1186, 1193, 1196, 1198, 1199, 1200, 1201, 1203, 1205, 1207, 1212, 1217, 1224, 1233, 1244, 1257, 1272, 1288, 1304, 1305, 1307, 1308, 1309, 1322, 1333, 1342, 1351, 1356, 1359, 1361, 1363, 1366, 1368, 1391, 1398, 1401, 1402, 1403, 1405, 1406, 1408, 1410, 1412, 1414, 1417, 1422, 1431, 1440, 1451, 1464, 1478, 1493, 1494, 1495, 1497, 1508, 1517, 1528, 1534, 1537, 1539, 1541, 1543, 1545, 1547, 1570, 1577, 1580, 1581, 1582, 1583, 1585, 1587, 1589, 1591, 1596, 1598, 1601, 1606, 1613, 1622, 1633, 1645, 1657, 1658, 1659, 1660, 1661, 1662, 1672, 1679, 1684, 1687, 1689, 1691, 1693, 1696, 1698, 1700, 1723, 1730, 1733, 1734, 1736, 1737, 1738, 1740, 1742, 1744, 1746, 1748, 1750, 1753, 1758, 1765, 1776, 1786, 1796, 1799, 1801, 1811, 1816, 1819, 1821, 1825, 1827, 1829, 1831, 1833, 1836, 1861, 1868, 1871, 1872, 1875, 1876, 1877, 1881, 1883, 1885, 1887, 1889, 1892, 1894, 1897, 1902, 1909, 1917, 1925, 1926, 1927, 1928, 1930, 1935, 1938, 1943, 1945, 1947, 1949, 1951, 1953, 1955, 1957, 1980, 1987, 1990, 1992, 1993, 1994, 1995, 1997, 1999, 2001, 2003, 2005, 2007, 2009, 2011, 2017, 2024, 2030, 2036, 2037, 2038, 2039, 2040, 2041, 2044, 2046, 2048, 2051, 2053, 2055, 2057, 2059, 2061, 2063, 2086, 2093, 2096, 2097, 2098, 2099, 2100, 2101, 2103, 2105, 2107, 2109, 2111, 2113, 2115, 2117, 2119, 2122, 2126, 2132, 2133, 2134, 2135, 2139, 2141, 2143, 2145, 2147, 2150, 2152, 2154, 2156, 2160, 2190, 2193, 2195, 2196, 2197, 2198, 2200, 2202, 2207, 2209, 2211, 2213, 2215, 2217, 2219, 2221, 2223, 2227, 2228, 2230, 2231, 2234, 2236, 2238, 2240, 2242, 2245, 2247, 2249, 2251, 2253, 2283, 2287, 2290, 2291, 2292, 2294, 2295, 2297, 2299, 2301, 2306, 2308, 2310, 2312, 2314, 2316, 2318, 2320, 2323, 2324, 2325, 2326, 2328, 2332, 2334, 2339, 2341, 2343, 2345, 2349, 2351, 2374, 2381, 2384, 2385, 2386, 2388, 2389, 2391, 2393, 2395, 2397, 2402, 2404, 2406, 2408, 2410, 2412, 2414, 2417, 2418, 2419, 2420, 2421, 2422, 2424, 2426, 2428, 2430, 2432, 2434, 2436, 2438, 2440, 2442, 2465, 2472, 2475, 2476, 2478, 2479, 2480, 2482, 2484, 2486, 2488, 2492, 2494, 2496, 2498, 2500, 2502, 2505, 2510, 2511, 2512, 2513, 2514, 2515, 2518, 2520, 2522, 2524, 2526, 2528, 2530, 2532, 2534, 2536, 2559, 2566, 2569, 2572, 2573, 2574, 2576, 2578, 2580, 2582, 2587, 2589, 2591, 2593, 2598, 2601, 2606, 2613, 2614, 2615, 2617, 2618, 2623, 2626, 2628, 2630, 2632, 2637, 2639, 2641, 2643, 2646, 2676, 2679, 2680, 2681, 2682, 2683, 2684, 2686, 2688, 2690, 2692, 2694, 2696, 2699, 2701, 2704, 2709, 2716, 2725, 2726, 2728, 2729, 2730, 2737, 2742, 2747, 2749, 2751, 2753, 2755, 2757, 2759, 2762, 2785, 2792, 2796, 2798, 2799, 2800, 2802, 2804, 2806, 2810, 2812, 2814, 2816, 2822, 2827, 2834, 2843, 2854, 2856, 2857, 2858, 2859, 2868, 2875, 2880, 2883, 2887, 2890, 2892, 2894, 2896, 2898, 2921, 2928, 2931, 2932, 2933, 2934, 2936, 2938, 2940, 2943, 2945, 2947, 2949, 2952, 2957, 2964, 2976, 2988, 3001, 3002, 3003, 3004, 3005, 3006, 3017, 3026, 3033, 3038, 3041, 3043, 3045, 3047, 3049, 3051, 3075, 3082, 3085, 3086, 3087, 3089, 3090, 3092, 3094, 3097, 3099, 3103, 3106, 3111, 3118, 3127, 3138, 3151, 3166, 3167, 3170, 3172, 3187, 3198, 3207, 3217, 3222, 3225, 3227, 3229, 3231, 3233, 3256, 3263, 3266, 3268, 3271, 3272, 3276, 3278, 3280, 3282, 3285, 3293, 3300, 3309, 3320, 3333, 3348, 3365, 3367, 3369, 3370, 3385, 3398, 3411, 3420, 3427, 3432, 3435, 3439, 3441, 3443, 3466, 3473, 3476, 3477, 3478, 3479, 3480, 3481, 3483, 3485, 3487, 3490, 3495, 3502, 3511, 3522, 3535, 3550, 3567, 3586, 3587, 3588, 3589, 3590, 3591, 3608, 3623, 3636, 3647, 3656, 3664, 3669, 3673, 3675, 3677, 3700, 3707, 3710, 3711, 3712, 3713, 3714, 3715, 3717, 3719, 3722, 3727, 3734, 3743, 3754, 3767, 3782, 3799, 3818, 3839, 3841, 3842, 3843, 3844, 3864, 3881, 3896, 3909, 3923, 3932, 3939, 3944, 3947, 3949, 3979, 3982, 3983, 3984, 3986, 3987, 3990, 3993, 3998, 4005, 4014, 4028, 4041, 4056, 4073, 4092, 4113, 4136, 4137, 4138, 4139, 4141, 4165, 4184, 4201, 4216, 4229, 4240, 4249, 4256, 4261, 4264, 4287, 4289, 4293, 4296, 4298, 4299, 4300, 4301, 4306, 4311, 4318, 4327, 4338, 4351, 4366, 4383, 4402, 4423, 4446, 4471, 4472, 4473, 4474, 4475, 4476, 4499, 4520, 4539, 4557, 4572, 4585, 4597, 4606, 4613, 4618, 4642]
[2025-06-04 06:40:43] [INFO ] Actually due to overlaps returned [368, 676, 946, 1186, 1391, 1570, 1723, 1861, 1980, 2086, 2374, 2465, 2559, 2785, 2921, 3075, 3256, 3466, 3700, 4287, 4642, 4, 12, 14, 16, 18, 20, 119, 140, 211, 213, 215, 217, 242, 337, 378, 379, 380, 381, 382, 482, 547, 548, 549, 550, 551, 571, 648, 686, 687, 688, 689, 690, 757, 834, 835, 836, 837, 838, 856, 919, 957, 958, 959, 960, 1016, 1031, 1084, 1086, 1087, 1104, 1159, 1196, 1198, 1199, 1200, 1244, 1257, 1304, 1305, 1307, 1308, 1322, 1363, 1401, 1402, 1403, 1405, 1440, 1451, 1493, 1494, 1495, 1508, 1543, 1580, 1581, 1582, 1583, 1613, 1622, 1657, 1658, 1659, 1660, 1661, 1672, 1696, 1733, 1734, 1736, 1737, 1758, 1765, 1796, 1799, 1811, 1831, 1871, 1872, 1875, 1876, 1897, 1902, 1925, 1926, 1927, 1928, 1935, 1953, 1990, 1992, 1993, 1994, 2011, 2017, 2036, 2037, 2038, 2039, 2040, 2044, 2059, 2096, 2097, 2098, 2099, 2100, 2119, 2132, 2133, 2134, 2139, 2154, 2193, 2195, 2196, 2197, 2219, 2227, 2228, 2230, 2234, 2249, 2283, 2290, 2291, 2292, 2294, 2316, 2318, 2323, 2324, 2325, 2326, 2384, 2385, 2386, 2388, 2410, 2412, 2417, 2418, 2419, 2420, 2421, 2424, 2438, 2475, 2476, 2478, 2479, 2500, 2502, 2510, 2511, 2512, 2513, 2514, 2518, 2532, 2569, 2572, 2573, 2598, 2601, 2613, 2614, 2615, 2617, 2641, 2679, 2680, 2681, 2682, 2683, 2704, 2709, 2725, 2726, 2728, 2729, 2742, 2757, 2796, 2798, 2799, 2827, 2834, 2854, 2856, 2857, 2858, 2875, 2894, 2931, 2932, 2933, 2934, 2964, 2976, 3001, 3002, 3003, 3004, 3005, 3026, 3047, 3085, 3086, 3087, 3089, 3127, 3138, 3166, 3167, 3170, 3198, 3229, 3266, 3268, 3271, 3320, 3333, 3365, 3367, 3369, 3398, 3439, 3476, 3477, 3478, 3479, 3480, 3535, 3550, 3586, 3587, 3588, 3589, 3590, 3623, 3673, 3710, 3711, 3712, 3713, 3714, 3782, 3799, 3839, 3841, 3842, 3843, 3881, 3982, 3983, 3984, 3986, 4073, 4092, 4136, 4137, 4138, 4139, 4184, 4261, 4289, 4296, 4298, 4299, 4300, 4402, 4423, 4471, 4472, 4473, 4474, 4475, 4520, 4613]
Discarding 321 places :
Implicit Place search using SMT only with invariants took 15736 ms to find 321 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 4602/11106 places, 8504/16561 transitions.
Discarding 195 places :
Symmetric choice reduction at 0 with 195 rule applications. Total rules 195 place count 4407 transition count 8309
Iterating global reduction 0 with 195 rules applied. Total rules applied 390 place count 4407 transition count 8309
Discarding 195 places :
Symmetric choice reduction at 0 with 195 rule applications. Total rules 585 place count 4212 transition count 8114
Iterating global reduction 0 with 195 rules applied. Total rules applied 780 place count 4212 transition count 8114
Discarding 195 places :
Symmetric choice reduction at 0 with 195 rule applications. Total rules 975 place count 4017 transition count 7919
Iterating global reduction 0 with 195 rules applied. Total rules applied 1170 place count 4017 transition count 7919
Discarding 14 places :
Symmetric choice reduction at 0 with 14 rule applications. Total rules 1184 place count 4003 transition count 7849
Iterating global reduction 0 with 14 rules applied. Total rules applied 1198 place count 4003 transition count 7849
Applied a total of 1198 rules in 3260 ms. Remains 4003 /4602 variables (removed 599) and now considering 7849/8504 (removed 655) transitions.
[2025-06-04 06:40:46] [INFO ] Flow matrix only has 7249 transitions (discarded 600 similar events)
// Phase 1: matrix 7249 rows 4003 cols
[2025-06-04 06:40:47] [INFO ] Computed 616 invariants in 223 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:40:56] [INFO ] Implicit Places using invariants in 9120 ms returned [7, 16, 21, 28, 37, 48, 62, 77, 94, 155, 179, 209, 251, 268, 283, 296, 307, 317, 328, 331, 360, 362, 365, 370, 377, 386, 397, 410, 425, 481, 503, 525, 560, 575, 588, 599, 608, 615, 622, 624, 635, 637, 639, 642, 647, 655, 664, 675, 688, 739, 759, 778, 809, 822, 833, 842, 849, 854, 858, 860, 869, 873, 875, 877, 883, 888, 895, 904, 915, 958, 976, 996, 1023, 1038, 1047, 1055, 1060, 1063, 1066, 1068, 1083, 1087, 1089, 1091, 1093, 1098, 1103, 1110, 1119, 1156, 1172, 1189, 1212, 1221, 1230, 1235, 1238, 1240, 1244, 1246, 1259, 1263, 1265, 1267, 1269, 1271, 1274, 1279, 1288, 1319, 1333, 1349, 1368, 1379, 1385, 1388, 1390, 1392, 1395, 1397, 1412, 1416, 1418, 1420, 1422, 1427, 1429, 1432, 1437, 1462, 1474, 1486, 1501, 1506, 1509, 1511, 1513, 1515, 1519, 1521, 1532, 1536, 1538, 1540, 1542, 1544, 1546, 1548, 1551, 1572, 1582, 1595, 1609, 1612, 1614, 1618, 1620, 1622, 1625, 1628, 1647, 1652, 1656, 1658, 1660, 1662, 1664, 1667, 1669, 1682, 1690, 1699, 1706, 1711, 1713, 1715, 1717, 1719, 1722, 1724, 1737, 1741, 1743, 1745, 1747, 1749, 1751, 1753, 1755, 1768, 1774, 1779, 1783, 1785, 1788, 1790, 1792, 1794, 1797, 1799, 1810, 1812, 1814, 1816, 1818, 1820, 1822, 1824, 1826, 1828, 1832, 1836, 1842, 1847, 1849, 1851, 1853, 1856, 1858, 1861, 1865, 1879, 1883, 1885, 1887, 1892, 1894, 1896, 1898, 1900, 1902, 1905, 1907, 1912, 1916, 1918, 1920, 1922, 1925, 1927, 1930, 1932, 1951, 1955, 1957, 1959, 1961, 1966, 1968, 1970, 1972, 1974, 1978, 1982, 1986, 1988, 1993, 1995, 1997, 1999, 2003, 2005, 2018, 2022, 2024, 2026, 2028, 2030, 2035, 2037, 2039, 2041, 2045, 2047, 2050, 2052, 2054, 2056, 2058, 2060, 2063, 2065, 2076, 2080, 2082, 2084, 2086, 2088, 2092, 2094, 2096, 2098, 2103, 2107, 2111, 2113, 2115, 2117, 2119, 2121, 2124, 2126, 2137, 2142, 2144, 2146, 2148, 2150, 2155, 2157, 2159, 2161, 2172, 2180, 2185, 2188, 2190, 2192, 2194, 2199, 2201, 2204, 2207, 2223, 2225, 2227, 2229, 2231, 2233, 2235, 2237, 2240, 2242, 2255, 2265, 2272, 2281, 2283, 2285, 2287, 2289, 2292, 2295, 2306, 2311, 2313, 2315, 2317, 2321, 2323, 2325, 2327, 2333, 2352, 2364, 2373, 2384, 2387, 2391, 2394, 2396, 2399, 2401, 2416, 2420, 2422, 2424, 2427, 2429, 2431, 2433, 2436, 2441, 2470, 2482, 2493, 2508, 2513, 2516, 2518, 2520, 2523, 2525, 2537, 2541, 2543, 2545, 2548, 2550, 2554, 2557, 2562, 2569, 2600, 2618, 2633, 2652, 2662, 2667, 2670, 2672, 2675, 2677, 2692, 2698, 2702, 2704, 2706, 2708, 2711, 2719, 2726, 2735, 2772, 2791, 2806, 2831, 2840, 2847, 2852, 2855, 2860, 2862, 2879, 2881, 2883, 2885, 2887, 2890, 2895, 2902, 2911, 2922, 2965, 2983, 3000, 3027, 3038, 3047, 3055, 3060, 3065, 3067, 3076, 3078, 3080, 3082, 3085, 3090, 3097, 3106, 3117, 3130, 3179, 3201, 3221, 3252, 3265, 3279, 3288, 3295, 3300, 3303, 3305, 3317, 3321, 3324, 3327, 3332, 3339, 3348, 3362, 3375, 3390, 3445, 3469, 3493, 3528, 3543, 3556, 3567, 3576, 3583, 3590, 3601, 3605, 3610, 3615, 3622, 3631, 3642, 3655, 3670, 3687, 3748, 3772, 3795, 3834, 3852, 3867, 3880, 3892, 3901, 3912]
Discarding 504 places :
Implicit Place search using SMT only with invariants took 9131 ms to find 504 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3499/11106 places, 7849/16561 transitions.
Applied a total of 0 rules in 621 ms. Remains 3499 /3499 variables (removed 0) and now considering 7849/7849 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 33991 ms. Remains : 3499/11106 places, 7849/16561 transitions.
Support contains 180 out of 3499 places after structural reductions.
[2025-06-04 06:40:57] [INFO ] Flatten gal took : 673 ms
[2025-06-04 06:40:58] [INFO ] Flatten gal took : 466 ms
[2025-06-04 06:40:59] [INFO ] Input system was already deterministic with 7849 transitions.
Support contains 173 out of 3499 places (down from 180) after GAL structural reductions.
RANDOM walk for 40000 steps (773 resets) in 4408 ms. (9 steps per ms) remains 47/85 properties
BEST_FIRST walk for 4002 steps (12 resets) in 67 ms. (58 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4001 steps (12 resets) in 76 ms. (51 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4003 steps (12 resets) in 49 ms. (80 steps per ms) remains 46/47 properties
BEST_FIRST walk for 4003 steps (12 resets) in 38 ms. (102 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4000 steps (12 resets) in 44 ms. (88 steps per ms) remains 45/46 properties
BEST_FIRST walk for 4003 steps (12 resets) in 54 ms. (72 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4002 steps (12 resets) in 51 ms. (76 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (12 resets) in 32 ms. (121 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4001 steps (12 resets) in 44 ms. (88 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (12 resets) in 39 ms. (100 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4002 steps (12 resets) in 39 ms. (100 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (12 resets) in 35 ms. (111 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4002 steps (12 resets) in 65 ms. (60 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (12 resets) in 138 ms. (28 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4002 steps (12 resets) in 33 ms. (117 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4000 steps (12 resets) in 47 ms. (83 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4001 steps (12 resets) in 51 ms. (76 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4002 steps (12 resets) in 30 ms. (129 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (12 resets) in 44 ms. (88 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4000 steps (12 resets) in 34 ms. (114 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (12 resets) in 44 ms. (88 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4002 steps (12 resets) in 45 ms. (87 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4001 steps (12 resets) in 34 ms. (114 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (12 resets) in 32 ms. (121 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (12 resets) in 35 ms. (111 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4003 steps (12 resets) in 35 ms. (111 steps per ms) remains 44/45 properties
BEST_FIRST walk for 4001 steps (12 resets) in 34 ms. (114 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4001 steps (12 resets) in 32 ms. (121 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4000 steps (12 resets) in 33 ms. (117 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4002 steps (12 resets) in 35 ms. (111 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4002 steps (12 resets) in 47 ms. (83 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4002 steps (12 resets) in 36 ms. (108 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4002 steps (12 resets) in 38 ms. (102 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4002 steps (12 resets) in 35 ms. (111 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4002 steps (12 resets) in 38 ms. (102 steps per ms) remains 43/44 properties
BEST_FIRST walk for 4004 steps (12 resets) in 36 ms. (108 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4000 steps (12 resets) in 33 ms. (117 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4002 steps (12 resets) in 44 ms. (88 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4001 steps (12 resets) in 139 ms. (28 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4001 steps (12 resets) in 35 ms. (111 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4001 steps (12 resets) in 37 ms. (105 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (12 resets) in 35 ms. (111 steps per ms) remains 42/43 properties
BEST_FIRST walk for 4004 steps (12 resets) in 35 ms. (111 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4003 steps (12 resets) in 37 ms. (105 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4002 steps (12 resets) in 61 ms. (64 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4001 steps (12 resets) in 47 ms. (83 steps per ms) remains 42/42 properties
[2025-06-04 06:41:01] [INFO ] Flow matrix only has 7249 transitions (discarded 600 similar events)
// Phase 1: matrix 7249 rows 3499 cols
[2025-06-04 06:41:01] [INFO ] Computed 112 invariants in 271 ms
[2025-06-04 06:41:01] [INFO ] State equation strengthened by 3034 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/93 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 42 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/93 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 42 unsolved
Problem AtomicPropp0 is UNSAT
Problem AtomicPropp17 is UNSAT
Problem AtomicPropp19 is UNSAT
Problem AtomicPropp24 is UNSAT
Problem AtomicPropp52 is UNSAT
Problem AtomicPropp72 is UNSAT
At refinement iteration 2 (OVERLAPS) 3197/3290 variables, 22/25 constraints. Problems are: Problem set: 6 solved, 36 unsolved
Error getting values : (error "ParserException while parsing response: ((s1 0.0)
(s2 0.0)
(s4 0.0)
(s5 0.0)
(s6 0.0)
(s7 0.0)
(s8 0.0)
(s9 0.0)
(s10 0.0)
(s11 0.0)
(s12 0.0)
(s13 0.0)
(s14 0.0)
(s15 0.0)
(s16 0.0)
(s17 0.0)
(s18 0.0)
(s19 0.0)
(s20 0.0)
(s21 0.0)
(s22 0.0)
(s23 0.0)
(s24 0.0)
(s25 0.0)
(s26 0.0)
(s27 0.0)
(s28 0.0)
(s29 0.0)
(s30 0.0)
(s31 0.0)
(s32 0.0)
(s33 0.0)
(s34 0.0)
(s35 0.0)
(s36 0.0)
(s37 0.0)
(s38 0.0)
(s39 0.0)
(s40 0.0)
(s41 0.0)
(s42 0.0)
(s43 0.0)
(s44 0.0)
(s45 0.0)
(s46 0.0)
(s47 0.0)
(s48 0.0)
(s49 0.0)
(s50 0.0)
(s51 0.0)
(s52 0.0)
(s53 0.0)
(s54 0.0)
(s55 0.0)
(s56 0.0)
(s57 0.0)
(s58 0.0)
(s59 0.0)
(s60 0.0)
(s61 0.0)
(s62 0.0)
(s63 0.0)
(s64 0.0)
(s65 0.0)
(s66 0.0)
(s67 0.0)
(s68 0.0)
(s69 0.0)
(s70 0.0)
(s71 0.0)
(s72 0.0)
(s73 0.0)
(s74 0.0)
(s75 0.0)
(s76 0.0)
(s77 0.0)
(s78 0.0)
(s79 0.0)
(s80 0.0)
(s81 0.0)
(s82 0.0)
(s83 0.0)
(s84 0.0)
(s85 0.0)
(s86 0.0)
(s87 0.0)
(s88 0.0)
(s89 0.0)
(s90 0.0)
(s91 0.0)
(s92 0.0)
(s93 0.0)
(s94 0.0)
(s95 0.0)
(s96 0.0)
(s97 0.0)
(s98 0.0)
(s99 0.0)
(s100 0.0)
(s101 0.0)
(s102 0.0)
(s103 0.0)
(s105 0.0)
(s106 0.0)
(s107 0.0)
(s108 0.0)
(s109 0.0)
(s110 0.0)
(s111 0.0)
(s112 0.0)
(s113 0.0)
(s114 0.0)
(s115 0.0)
(s116 0.0)
(s117 0.0)
(s118 0.0)
(s119 0.0)
(s120 0.0)
(s121 0.0)
(s122 0.0)
(s123 0.0)
(s125 0.0)
(s126 0.0)
(s127 0.0)
(s128 0.0)
(s129 0.0)
(s130 0.0)
(s131 0.0)
(s132 0.0)
(s133 0.0)
(s134 0.0)
(s135 0.0)
(s136 0.0)
(s137 0.0)
(s138 0.0)
(s139 0.0)
(s140 0.0)
(s141 0.0)
(s142 0.0)
(s143 0.0)
(s144 0.0)
(s145 0.0)
(s146 0.0)
(s147 0.0)
(s148 0.0)
(s149 0.0)
(s150 0.0)
(s151 0.0)
(s152 0.0)
(s153 0.0)
(s154 0.0)
(s155 0.0)
(s156 0.0)
(s157 0.0)
(s158 0.0)
(s159 0.0)
(s160 0.0)
(s161 0.0)
(s162 0.0)
(s163 0.0)
(s164 0.0)
(s165 0.0)
(s166 0.0)
(s167 0.0)
(s168 0.0)
(s169 0.0)
(s170 0.0)
(s171 0.0)
(s172 0.0)
(s173 0.0)
(s174 0.0)
(s175 0.0)
(s176 0.0)
(s177 0.0)
(s178 0.0)
(s179 0.0)
(s180 0.0)
(s181 0.0)
(s182 0.0)
(s183 0.0)
(s184 0.0)
(s185 0.0)
(s186 0.0)
(s187 0.0)
(s188 0.0)
(s189 0.0)
(s190 0.0)
(s191 0.0)
(s192 0.0)
(s193 0.0)
(s194 0.0)
(s195 0.0)
(s197 0.0)
(s198 0.0)
(s199 0.0)
(s200 0.0)
(s201 0.0)
(s202 0.0)
(s203 0.0)
(s204 0.0)
(s205 0.0)
(s206 0.0)
(s207 0.0)
(s208 0.0)
(s209 0.0)
(s210 0.0)
(s211 0.0)
(s212 0.0)
(s213 0.0)
(s214 0.0)
(s215 0.0)
(s216 0.0)
(s217 0.0)
(s218 0.0)
(s219 0.0)
(s220 0.0)
(s221 0.0)
(s222 0.0)
(s223 0.0)
(s224 0.0)
(s225 0.0)
(s226 0.0)
(s227 0.0)
(s228 0.0)
(s229 0.0)
(s230 0.0)
(s231 0.0)
(s232 0.0)
(s233 0.0)
(s234 0.0)
(s235 0.0)
(s236 0.0)
(s238 0.0)
(s239 0.0)
(s240 0.0)
(s241 0.0)
(s242 0.0)
(s243 0.0)
(s244 0.0)
(s245 0.0)
(s246 0.0)
(s247 0.0)
(s248 0.0)
(s249 0.0)
(s250 0.0)
(s251 0.0)
(s252 0.0)
(s253 0.0)
(s254 0.0)
(s255 0.0)
(s256 0.0)
(s257 0.0)
(s258 0.0)
(s259 0.0)
(s260 0.0)
(s261 0.0)
(s262 0.0)
(s263 0.0)
(s264 0.0)
(s265 0.0)
(s266 0.0)
(s267 0.0)
(s268 0.0)
(s269 0.0)
(s270 0.0)
(s271 0.0)
(s272 0.0)
(s273 0.0)
(s274 0.0)
(s275 0.0)
(s276 0.0)
(s277 0.0)
(s278 0.0)
(s279 0.0)
(s280 0.0)
(s281 0.0)
(s282 0.0)
(s283 0.0)
(s284 0.0)
(s285 0.0)
(s286 0.0)
(s287 0.0)
(s288 0.0)
(s289 0.0)
(s290 0.0)
(s291 0.0)
(s292 0.0)
(s293 0.0)
(s294 0.0)
(s295 0.0)
(s296 0.0)
(s297 0.0)
(s298 0.0)
(s299 0.0)
(s300 0.0)
(s301 0.0)
(s302 0.0)
(s303 0.0)
(s304 0.0)
(s305 0.0)
(s307 0.0)
(s308 0.0)
(s309 0.0)
(s310 0.0)
(s311 0.0)
(s312 0.0)
(s313 0.0)
(s314 0.0)
(s315 0.0)
(s316 0.0)
(s317 0.0)
(s318 0.0)
(s319 0.0)
(s320 0.0)
(s321 0.0)
(s322 0.0)
(s323 0.0)
(s324 0.0)
(s325 0.0)
(s326 0.0)
(s327 0.0)
(s328 0.0)
(s329 0.0)
(s330 0.0)
(s331 0.0)
(s332 0.0)
(s333 0.0)
(s337 0.0)
(s338 0.0)
(s339 0.0)
(s340 0.0)
(s341 0.0)
(s342 0.0)
(s343 0.0)
(s344 0.0)
(s345 0.0)
(s346 0.0)
(s347 0.0)
(s348 0.0)
(s349 0.0)
(s350 0.0)
(s351 0.0)
(s352 0.0)
(s353 0.0)
(s354 0.0)
(s355 0.0)
(s356 0.0)
(s357 0.0)
(s358 0.0)
(s359 0.0)
(s360 0.0)
(s361 0.0)
(s362 0.0)
(s363 0.0)
(s364 0.0)
(s365 0.0)
(s366 0.0)
(s367 0.0)
(s368 0.0)
(s369 0.0)
(s370 0.0)
(s371 0.0)
(s372 0.0)
(s373 0.0)
(s374 0.0)
(s375 0.0)
(s376 0.0)
(s377 0.0)
(s378 0.0)
(s379 0.0)
(s380 0.0)
(s381 0.0)
(s382 0.0)
(s383 0.0)
(s384 0.0)
(s385 0.0)
(s386 0.0)
(s387 0.0)
(s388 0.0)
(s389 0.0)
(s390 0.0)
(s391 0.0)
(s392 0.0)
(s393 0.0)
(s394 0.0)
(s395 0.0)
(s396 0.0)
(s397 0.0)
(s398 0.0)
(s399 0.0)
(s400 0.0)
(s401 0.0)
(s402 0.0)
(s403 0.0)
(s404 0.0)
(s405 0.0)
(s406 0.0)
(s407 0.0)
(s408 0.0)
(s409 0.0)
(s410 0.0)
(s411 0.0)
(s412 0.0)
(s415 0.0)
(s416 0.0)
(s417 0.0)
(s418 0.0)
(s419 0.0)
(s420 0.0)
(s421 0.0)
(s422 0.0)
(s423 0.0)
(s424 0.0)
(s425 0.0)
(s426 0.0)
(s427 0.0)
(s428 0.0)
(s429 0.0)
(s430 0.0)
(s431 0.0)
(s433 0.0)
(s434 0.0)
(s435 0.0)
(s436 0.0)
(s437 0.0)
(s438 0.0)
(s439 0.0)
(s440 0.0)
(s441 0.0)
(s442 0.0)
(s443 0.0)
(s444 0.0)
(s445 0.0)
(s446 0.0)
(s447 0.0)
(s448 0.0)
(s449 0.0)
(s450 0.0)
(s451 0.0)
(s452 0.0)
(s453 0.0)
(s454 0.0)
(s455 0.0)
(s456 0.0)
(s457 0.0)
(s458 0.0)
(s459 0.0)
(s460 0.0)
(s461 0.0)
(s462 0.0)
(s463 0.0)
(s464 0.0)
(s465 0.0)
(s466 0.0)
(s467 0.0)
(s468 0.0)
(s469 0.0)
(s470 0.0)
(s471 0.0)
(s472 0.0)
(s473 0.0)
(s474 0.0)
(s475 0.0)
(s476 0.0)
(s477 0.0)
(s478 0.0)
(s479 0.0)
(s480 0.0)
(s481 0.0)
(s482 0.0)
(s483 0.0)
(s484 0.0)
(s485 0.0)
(s486 0.0)
(s487 0.0)
(s488 0.0)
(s489 0.0)
(s490 0.0)
(s491 0.0)
(s492 0.0)
(s493 0.0)
(s494 0.0)
(s495 0.0)
(s496 0.0)
(s497 0.0)
(s498 0.0)
(s499 0.0)
(s500 0.0)
(s501 0.0)
(s502 0.0)
(s503 0.0)
(s504 0.0)
(s505 0.0)
(s506 0.0)
(s507 0.0)
(s508 0.0)
(s509 0.0)
(s510 0.0)
(s511 0.0)
(s512 0.0)
(s513 0.0)
(s514 0.0)
(s515 0.0)
(s516 0.0)
(s517 0.0)
(s518 0.0)
(s519 0.0)
(s520 0.0)
(s521 0.0)
(s522 0.0)
(s523 0.0)
(s524 0.0)
(s525 0.0)
(s526 0.0)
(s527 0.0)
(s528 0.0)
(s529 0.0)
(s530 0.0)
(s531 0.0)
(s532 0.0)
(s533 0.0)
(s534 0.0)
(s535 0.0)
(s536 0.0)
(s537 0.0)
(s538 0.0)
(s539 0.0)
(s540 0.0)
(s541 0.0)
(s542 0.0)
(s543 0.0)
(s544 0.0)
(s545 0.0)
(s546 0.0)
(s547 0.0)
(s548 0.0)
(s549 0.0)
(s550 0.0)
(s551 0.0)
(s552 0.0)
(s553 0.0)
(s554 0.0)
(s555 0.0)
(s556 0.0)
(s557 0.0)
(s558 0.0)
(s559 0.0)
(s560 0.0)
(s561 0.0)
(s562 0.0)
(s563 0.0)
(s564 0.0)
(s565 0.0)
(s566 0.0)
(s567 0.0)
(s568 0.0)
(s569 0.0)
(s570 0.0)
(s571 0.0)
(s572 0.0)
(s573 0.0)
(s574 0.0)
(s575 0.0)
(s576 0.0)
(s577 0.0)
(s578 0.0)
(s579 0.0)
(s580 0.0)
(s581 0.0)
(s583 0.0)
(s584 0.0)
(s585 0.0)
(s586 0.0)
(s587 0.0)
(s588 0.0)
(s589 0.0)
(s590 0.0)
(s591 1.0)
(s592 0.0)
(s593 0.0)
(s594 0.0)
(s595 0.0)
(s596 0.0)
(s597 0.0)
(s598 0.0)
(s599 0.0)
(s600 0.0)
(s601 0.0)
(s602 0.0)
(s603 0.0)
(s604 0.0)
(s605 0.0)
(s606 0.0)
(s607 0.0)
(s608 0.0)
(s609 0.0)
(s610 0.0)
(s611 0.0)
(s612 0.0)
(s613 0.0)
(s614 0.0)
(s615 0.0)
(s616 0.0)
(s617 0.0)
(s618 0.0)
(s619 0.0)
(s620 0.0)
(s621 0.0)
(s622 0.0)
(s623 0.0)
(s624 0.0)
(s625 0.0)
(s626 0.0)
(s627 0.0)
(s628 0.0)
(s629 0.0)
(s630 0.0)
(s631 0.0)
(s632 0.0)
(s633 0.0)
(s634 0.0)
(s635 0.0)
(s636 0.0)
(s637 0.0)
(s638 0.0)
(s639 0.0)
(s640 0.0)
(s641 0.0)
(s642 0.0)
(s643 0.0)
(s644 0.0)
(s645 0.0)
(s646 0.0)
(s647 0.0)
(s648 0.0)
(s649 0.0)
(s650 0.0)
(s651 0.0)
(s652 0.0)
(s653 0.0)
(s654 0.0)
(s656 0.0)
(s657 0.0)
(s658 0.0)
(s659 0.0)
(s660 0.0)
(s661 0.0)
(s662 0.0)
(s663 0.0)
(s664 0.0)
(s665 0.0)
(s666 0.0)
(s667 0.0)
(s668 0.0)
(s669 0.0)
(s670 0.0)
(s671 1.0)
(s672 1.0)
(s673 0.0)
(s674 0.0)
(s675 0.0)
(s676 0.0)
(s677 0.0)
(s678 0.0)
(s679 0.0)
(s680 0.0)
(s681 0.0)
(s682 0.0)
(s683 0.0)
(s684 0.0)
(s685 0.0)
(s686 0.0)
(s687 0.0)
(s688 0.0)
(s689 0.0)
(s690 0.0)
(s691 0.0)
(s692 0.0)
(s693 0.0)
(s694 0.0)
(s695 0.0)
(s696 0.0)
(s697 0.0)
(s698 0.0)
(s699 0.0)
(s700 0.0)
(s701 0.0)
(s702 0.0)
(s703 0.0)
(s704 0.0)
(s705 0.0)
(s706 0.0)
(s707 0.0)
(s708 0.0)
(s709 0.0)
(s710 0.0)
(s711 0.0)
(s712 0.0)
(s713 0.0)
(s714 0.0)
(s715 0.0)
(s716 0.0)
(s717 0.0)
(s718 0.0)
(s719 0.0)
(s720 0.0)
(s721 0.0)
(s722 0.0)
(s723 0.0)
(s724 0.0)
(s725 0.0)
(s726 0.0)
(s727 0.0)
(s728 0.0)
(s729 0.0)
(s730 0.0)
(s731 0.0)
(s732 0.0)
(s733 0.0)
(s734 0.0)
(s735 0.0)
(s736 0.0)
(s737 0.0)
(s738 0.0)
(s739 0.0)
(s740 0.0)
(s741 0.0)
(s742 0.0)
(s743 0.0)
(s744 0.0)
(s745 0.0)
(s746 0.0)
(s747 0.0)
(s748 0.0)
(s749 0.0)
(s750 0.0)
(s751 0.0)
(s752 0.0)
(s753 0.0)
(s754 0.0)
(s755 0.0)
(s756 0.0)
(s757 0.0)
(s758 0.0)
(s759 0.0)
(s760 0.0)
(s761 0.0)
(s762 0.0)
(s763 0.0)
(s764 0.0)
(s765 0.0)
(s766 0.0)
(s767 0.0)
(s768 0.0)
(s769 0.0)
(s770 0.0)
(s771 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 3290/10748 variables, and 25 constraints, problems are : Problem set: 6 solved, 36 unsolved in 5030 ms.
Refiners :[Positive P Invariants (semi-flows): 25/49 constraints, Generalized P Invariants (flows): 0/63 constraints, State Equation: 0/3499 constraints, ReadFeed: 0/3034 constraints, PredecessorRefiner: 42/40 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 6 solved, 36 unsolved
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/74 variables, 3/3 constraints. Problems are: Problem set: 6 solved, 36 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/74 variables, 0/3 constraints. Problems are: Problem set: 6 solved, 36 unsolved
At refinement iteration 2 (OVERLAPS) 3212/3286 variables, 22/25 constraints. Problems are: Problem set: 6 solved, 36 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:41:13] [INFO ] Deduced a trap composed of 391 places in 5345 ms of which 1888 ms to minimize.
SMT process timed out in 12565ms, After SMT, problems are : Problem set: 6 solved, 36 unsolved
Fused 36 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 74 out of 3499 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3499/3499 places, 7849/7849 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 29 transitions
Trivial Post-agglo rules discarded 29 transitions
Performed 29 trivial Post agglomeration. Transition count delta: 29
Iterating post reduction 0 with 29 rules applied. Total rules applied 29 place count 3499 transition count 7820
Reduce places removed 29 places and 0 transitions.
Iterating post reduction 1 with 29 rules applied. Total rules applied 58 place count 3470 transition count 7820
Performed 41 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 41 Pre rules applied. Total rules applied 58 place count 3470 transition count 7779
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 140 place count 3429 transition count 7779
Discarding 37 places :
Symmetric choice reduction at 2 with 37 rule applications. Total rules 177 place count 3392 transition count 7654
Iterating global reduction 2 with 37 rules applied. Total rules applied 214 place count 3392 transition count 7654
Discarding 14 places :
Symmetric choice reduction at 2 with 14 rule applications. Total rules 228 place count 3378 transition count 7584
Iterating global reduction 2 with 14 rules applied. Total rules applied 242 place count 3378 transition count 7584
Performed 41 Post agglomeration using F-continuation condition.Transition count delta: 41
Deduced a syphon composed of 41 places in 6 ms
Reduce places removed 41 places and 0 transitions.
Iterating global reduction 2 with 82 rules applied. Total rules applied 324 place count 3337 transition count 7543
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 343 place count 3318 transition count 7524
Iterating global reduction 2 with 19 rules applied. Total rules applied 362 place count 3318 transition count 7524
Discarding 17 places :
Symmetric choice reduction at 2 with 17 rule applications. Total rules 379 place count 3301 transition count 7439
Iterating global reduction 2 with 17 rules applied. Total rules applied 396 place count 3301 transition count 7439
Free-agglomeration rule (complex) applied 232 times.
Iterating global reduction 2 with 232 rules applied. Total rules applied 628 place count 3301 transition count 7207
Reduce places removed 232 places and 0 transitions.
Iterating post reduction 2 with 232 rules applied. Total rules applied 860 place count 3069 transition count 7207
Partial Free-agglomeration rule applied 41 times.
Drop transitions (Partial Free agglomeration) removed 41 transitions
Iterating global reduction 3 with 41 rules applied. Total rules applied 901 place count 3069 transition count 7207
Applied a total of 901 rules in 6121 ms. Remains 3069 /3499 variables (removed 430) and now considering 7207/7849 (removed 642) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 6132 ms. Remains : 3069/3499 places, 7207/7849 transitions.
RANDOM walk for 40000 steps (1160 resets) in 2105 ms. (18 steps per ms) remains 32/36 properties
BEST_FIRST walk for 4002 steps (10 resets) in 21 ms. (181 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4003 steps (8 resets) in 21 ms. (181 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 23 ms. (166 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (9 resets) in 19 ms. (200 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (9 resets) in 20 ms. (190 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (9 resets) in 17 ms. (222 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 22 ms. (174 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4003 steps (9 resets) in 23 ms. (166 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 21 ms. (182 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 27 ms. (143 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (9 resets) in 23 ms. (166 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 18 ms. (210 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 22 ms. (174 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 21 ms. (182 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (12 resets) in 21 ms. (182 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4003 steps (8 resets) in 19 ms. (200 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4003 steps (9 resets) in 19 ms. (200 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4002 steps (8 resets) in 20 ms. (190 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4003 steps (8 resets) in 15 ms. (250 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 18 ms. (210 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4003 steps (8 resets) in 16 ms. (235 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4003 steps (9 resets) in 21 ms. (181 steps per ms) remains 32/32 properties
BEST_FIRST walk for 4003 steps (8 resets) in 22 ms. (174 steps per ms) remains 32/32 properties
[2025-06-04 06:41:20] [INFO ] Flow matrix only has 6378 transitions (discarded 829 similar events)
// Phase 1: matrix 6378 rows 3069 cols
[2025-06-04 06:41:21] [INFO ] Computed 112 invariants in 165 ms
[2025-06-04 06:41:21] [INFO ] State equation strengthened by 2822 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/69 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 32 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/69 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 32 unsolved
At refinement iteration 2 (OVERLAPS) 2820/2889 variables, 22/25 constraints. Problems are: Problem set: 0 solved, 32 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (INCLUDED_ONLY) 0/2889 variables, 0/25 constraints. Problems are: Problem set: 0 solved, 32 unsolved
At refinement iteration 4 (OVERLAPS) 6/2895 variables, 6/31 constraints. Problems are: Problem set: 0 solved, 32 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/2895 variables, 0/31 constraints. Problems are: Problem set: 0 solved, 32 unsolved
Problem AtomicPropp60 is UNSAT
Problem AtomicPropp82 is UNSAT
At refinement iteration 6 (OVERLAPS) 151/3046 variables, 58/89 constraints. Problems are: Problem set: 2 solved, 30 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/3046 variables, 0/89 constraints. Problems are: Problem set: 2 solved, 30 unsolved
At refinement iteration 8 (OVERLAPS) 18/3064 variables, 18/107 constraints. Problems are: Problem set: 2 solved, 30 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/3064 variables, 0/107 constraints. Problems are: Problem set: 2 solved, 30 unsolved
At refinement iteration 10 (OVERLAPS) 5/3069 variables, 5/112 constraints. Problems are: Problem set: 2 solved, 30 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/3069 variables, 0/112 constraints. Problems are: Problem set: 2 solved, 30 unsolved
At refinement iteration 12 (OVERLAPS) 6378/9447 variables, 3069/3181 constraints. Problems are: Problem set: 2 solved, 30 unsolved
Problem AtomicPropp15 is UNSAT
Problem AtomicPropp25 is UNSAT
Problem AtomicPropp30 is UNSAT
Problem AtomicPropp40 is UNSAT
Problem AtomicPropp41 is UNSAT
Problem AtomicPropp42 is UNSAT
Problem AtomicPropp46 is UNSAT
Problem AtomicPropp53 is UNSAT
Problem AtomicPropp68 is UNSAT
Problem AtomicPropp73 is UNSAT
At refinement iteration 13 (INCLUDED_ONLY) 0/9447 variables, 2822/6003 constraints. Problems are: Problem set: 12 solved, 20 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/9447 variables, 0/6003 constraints. Problems are: Problem set: 12 solved, 20 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 9447/9447 variables, and 6003 constraints, problems are : Problem set: 12 solved, 20 unsolved in 45047 ms.
Refiners :[Positive P Invariants (semi-flows): 49/49 constraints, Generalized P Invariants (flows): 63/63 constraints, State Equation: 3069/3069 constraints, ReadFeed: 2822/2822 constraints, PredecessorRefiner: 32/31 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 12 solved, 20 unsolved
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/39 variables, 0/0 constraints. Problems are: Problem set: 12 solved, 20 unsolved
At refinement iteration 1 (OVERLAPS) 2827/2866 variables, 12/12 constraints. Problems are: Problem set: 12 solved, 20 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:42:11] [INFO ] Deduced a trap composed of 268 places in 4208 ms of which 747 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:42:15] [INFO ] Deduced a trap composed of 275 places in 4172 ms of which 1142 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:42:19] [INFO ] Deduced a trap composed of 317 places in 3858 ms of which 847 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:42:23] [INFO ] Deduced a trap composed of 324 places in 3685 ms of which 836 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:42:27] [INFO ] Deduced a trap composed of 323 places in 3814 ms of which 827 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:42:31] [INFO ] Deduced a trap composed of 226 places in 4084 ms of which 1029 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:42:35] [INFO ] Deduced a trap composed of 250 places in 3702 ms of which 906 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:42:39] [INFO ] Deduced a trap composed of 257 places in 4082 ms of which 935 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:42:43] [INFO ] Deduced a trap composed of 219 places in 3837 ms of which 593 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:42:47] [INFO ] Deduced a trap composed of 226 places in 3888 ms of which 625 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:42:50] [INFO ] Deduced a trap composed of 219 places in 3495 ms of which 594 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-04 06:42:54] [INFO ] Deduced a trap composed of 246 places in 3896 ms of which 674 ms to minimize.
SMT process timed out in 93941ms, After SMT, problems are : Problem set: 12 solved, 20 unsolved
Fused 20 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 39 out of 3069 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3069/3069 places, 7207/7207 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 3069 transition count 7204
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 1 with 3 rules applied. Total rules applied 6 place count 3066 transition count 7204
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 6 place count 3066 transition count 7203
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 8 place count 3065 transition count 7203
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 11 place count 3062 transition count 7192
Iterating global reduction 2 with 3 rules applied. Total rules applied 14 place count 3062 transition count 7192
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 15 place count 3061 transition count 7187
Iterating global reduction 2 with 1 rules applied. Total rules applied 16 place count 3061 transition count 7187
Free-agglomeration rule (complex) applied 46 times.
Iterating global reduction 2 with 46 rules applied. Total rules applied 62 place count 3061 transition count 8869
Reduce places removed 46 places and 0 transitions.
Iterating post reduction 2 with 46 rules applied. Total rules applied 108 place count 3015 transition count 8869
Partial Free-agglomeration rule applied 4 times.
Drop transitions (Partial Free agglomeration) removed 4 transitions
Iterating global reduction 3 with 4 rules applied. Total rules applied 112 place count 3015 transition count 8869
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 115 place count 3012 transition count 8866
Iterating global reduction 3 with 3 rules applied. Total rules applied 118 place count 3012 transition count 8866
Applied a total of 118 rules in 3718 ms. Remains 3012 /3069 variables (removed 57) and now considering 8866/7207 (removed -1659) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3718 ms. Remains : 3012/3069 places, 8866/7207 transitions.
Successfully simplified 18 atomic propositions for a total of 16 simplifications.
FORMULA MultiCrashLeafsetExtension-PT-S24C05-CTLFireability-2025-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S24C05-CTLFireability-2025-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-04 06:42:58] [INFO ] Flatten gal took : 231 ms
[2025-06-04 06:42:59] [INFO ] Flatten gal took : 275 ms
[2025-06-04 06:42:59] [INFO ] Input system was already deterministic with 7849 transitions.
Support contains 111 out of 3499 places (down from 119) after GAL structural reductions.
Computed a total of 875 stabilizing places and 2648 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 3499/3499 places, 7849/7849 transitions.
Discarding 73 places :
Symmetric choice reduction at 0 with 73 rule applications. Total rules 73 place count 3426 transition count 7664
Iterating global reduction 0 with 73 rules applied. Total rules applied 146 place count 3426 transition count 7664
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 189 place count 3383 transition count 7553
Iterating global reduction 0 with 43 rules applied. Total rules applied 232 place count 3383 transition count 7553
Discarding 25 places :
Symmetric choice reduction at 0 with 25 rule applications. Total rules 257 place count 3358 transition count 7428
Iterating global reduction 0 with 25 rules applied. Total rules applied 282 place count 3358 transition count 7428
Applied a total of 282 rules in 2322 ms. Remains 3358 /3499 variables (removed 141) and now considering 7428/7849 (removed 421) transitions.
[2025-06-04 06:43:02] [INFO ] Flow matrix only has 6828 transitions (discarded 600 similar events)
// Phase 1: matrix 6828 rows 3358 cols
[2025-06-04 06:43:02] [INFO ] Computed 112 invariants in 294 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:43:16] [INFO ] Implicit Places using invariants in 14595 ms returned [195, 408, 664, 804, 913, 914, 991, 1081, 1142, 1215, 1216, 1268, 1363, 1408, 1409, 1410, 1485, 1514, 1577, 1578, 1595, 1604, 1618, 1619, 1638, 1645, 1659, 1661, 1669, 1686, 1721, 1760, 1761, 1783, 1806, 1842, 1874, 1875, 1913, 1956, 2051, 2113, 2114, 2177, 2178, 2255, 2256, 2620, 2716, 2725, 2859, 2982]
[2025-06-04 06:43:16] [INFO ] Actually due to overlaps returned [1595, 1638, 1806, 2716, 195, 804, 913, 914, 991, 1081, 1142, 1215, 1216, 1268, 1363, 1408, 1409, 1410, 1485, 1514, 1577, 1578, 1604, 1618, 1619, 1645, 1659, 1686, 1721, 1760, 1761, 1783, 1842, 1874, 1875, 1913, 1956, 2051, 2113, 2114, 2177, 2178, 2255, 2256, 2620, 2725, 2859, 2982]
Discarding 48 places :
Implicit Place search using SMT only with invariants took 14607 ms to find 48 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3310/3499 places, 7428/7849 transitions.
Discarding 44 places :
Symmetric choice reduction at 0 with 44 rule applications. Total rules 44 place count 3266 transition count 7384
Iterating global reduction 0 with 44 rules applied. Total rules applied 88 place count 3266 transition count 7384
Discarding 44 places :
Symmetric choice reduction at 0 with 44 rule applications. Total rules 132 place count 3222 transition count 7340
Iterating global reduction 0 with 44 rules applied. Total rules applied 176 place count 3222 transition count 7340
Discarding 44 places :
Symmetric choice reduction at 0 with 44 rule applications. Total rules 220 place count 3178 transition count 7296
Iterating global reduction 0 with 44 rules applied. Total rules applied 264 place count 3178 transition count 7296
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 297 place count 3145 transition count 7131
Iterating global reduction 0 with 33 rules applied. Total rules applied 330 place count 3145 transition count 7131
Applied a total of 330 rules in 3133 ms. Remains 3145 /3310 variables (removed 165) and now considering 7131/7428 (removed 297) transitions.
[2025-06-04 06:43:19] [INFO ] Flow matrix only has 6531 transitions (discarded 600 similar events)
// Phase 1: matrix 6531 rows 3145 cols
[2025-06-04 06:43:19] [INFO ] Computed 64 invariants in 205 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:43:28] [INFO ] Implicit Places using invariants in 9051 ms returned [407, 660, 1577, 1585]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 9068 ms to find 4 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3141/3499 places, 7131/7849 transitions.
Applied a total of 0 rules in 545 ms. Remains 3141 /3141 variables (removed 0) and now considering 7131/7131 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 29677 ms. Remains : 3141/3499 places, 7131/7849 transitions.
[2025-06-04 06:43:29] [INFO ] Flatten gal took : 188 ms
[2025-06-04 06:43:29] [INFO ] Flatten gal took : 250 ms
[2025-06-04 06:43:30] [INFO ] Input system was already deterministic with 7131 transitions.
[2025-06-04 06:43:30] [INFO ] Flatten gal took : 195 ms
[2025-06-04 06:43:30] [INFO ] Flatten gal took : 200 ms
[2025-06-04 06:43:30] [INFO ] Time to serialize gal into /tmp/CTLFireability4815596399976096867.gal : 109 ms
[2025-06-04 06:43:30] [INFO ] Time to serialize properties into /tmp/CTLFireability15040720963326528285.ctl : 5 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4815596399976096867.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15040720963326528285.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 06:44:01] [INFO ] Flatten gal took : 237 ms
[2025-06-04 06:44:01] [INFO ] Applying decomposition
[2025-06-04 06:44:01] [INFO ] Flatten gal took : 224 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/graph14030216744085016890.txt' '-o' '/tmp/graph14030216744085016890.bin' '-w' '/tmp/graph14030216744085016890.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph14030216744085016890.bin' '-l' '-1' '-v' '-w' '/tmp/graph14030216744085016890.weights' '-q' '0' '-e' '0.001'
[2025-06-04 06:44:02] [INFO ] Decomposing Gal with order
[2025-06-04 06:44:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 06:44:03] [INFO ] Removed a total of 5793 redundant transitions.
[2025-06-04 06:44:04] [INFO ] Flatten gal took : 1123 ms
[2025-06-04 06:44:05] [INFO ] Fuse similar labels procedure discarded/fused a total of 3187 labels/synchronizations in 495 ms.
[2025-06-04 06:44:05] [INFO ] Time to serialize gal into /tmp/CTLFireability4352997515597743159.gal : 96 ms
[2025-06-04 06:44:05] [INFO ] Time to serialize properties into /tmp/CTLFireability13085561160696143152.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/CTLFireability4352997515597743159.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13085561160696143152.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 : 3499/3499 places, 7849/7849 transitions.
Discarding 64 places :
Symmetric choice reduction at 0 with 64 rule applications. Total rules 64 place count 3435 transition count 7685
Iterating global reduction 0 with 64 rules applied. Total rules applied 128 place count 3435 transition count 7685
Discarding 38 places :
Symmetric choice reduction at 0 with 38 rule applications. Total rules 166 place count 3397 transition count 7591
Iterating global reduction 0 with 38 rules applied. Total rules applied 204 place count 3397 transition count 7591
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 226 place count 3375 transition count 7481
Iterating global reduction 0 with 22 rules applied. Total rules applied 248 place count 3375 transition count 7481
Applied a total of 248 rules in 2521 ms. Remains 3375 /3499 variables (removed 124) and now considering 7481/7849 (removed 368) transitions.
[2025-06-04 06:44:37] [INFO ] Flow matrix only has 6881 transitions (discarded 600 similar events)
// Phase 1: matrix 6881 rows 3375 cols
[2025-06-04 06:44:37] [INFO ] Computed 112 invariants in 265 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:44:52] [INFO ] Implicit Places using invariants in 14580 ms returned [195, 408, 665, 805, 914, 1085, 1146, 1219, 1220, 1272, 1367, 1412, 1413, 1414, 1452, 1486, 1515, 1578, 1579, 1596, 1605, 1620, 1643, 1667, 1669, 1677, 1773, 1774, 1796, 1820, 1856, 1889, 1890, 1928, 1971, 2066, 2128, 2129, 2192, 2193, 2270, 2271, 2635, 2731, 2740, 2874]
[2025-06-04 06:44:52] [INFO ] Actually due to overlaps returned [1596, 1643, 1820, 2731, 195, 805, 914, 1085, 1146, 1219, 1220, 1272, 1367, 1412, 1413, 1414, 1452, 1486, 1515, 1578, 1579, 1605, 1620, 1667, 1773, 1774, 1796, 1856, 1889, 1890, 1928, 1971, 2066, 2128, 2129, 2192, 2193, 2270, 2271, 2635, 2740, 2874]
Discarding 42 places :
Implicit Place search using SMT only with invariants took 14587 ms to find 42 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3333/3499 places, 7481/7849 transitions.
Discarding 38 places :
Symmetric choice reduction at 0 with 38 rule applications. Total rules 38 place count 3295 transition count 7443
Iterating global reduction 0 with 38 rules applied. Total rules applied 76 place count 3295 transition count 7443
Discarding 38 places :
Symmetric choice reduction at 0 with 38 rule applications. Total rules 114 place count 3257 transition count 7405
Iterating global reduction 0 with 38 rules applied. Total rules applied 152 place count 3257 transition count 7405
Discarding 38 places :
Symmetric choice reduction at 0 with 38 rule applications. Total rules 190 place count 3219 transition count 7367
Iterating global reduction 0 with 38 rules applied. Total rules applied 228 place count 3219 transition count 7367
Discarding 27 places :
Symmetric choice reduction at 0 with 27 rule applications. Total rules 255 place count 3192 transition count 7232
Iterating global reduction 0 with 27 rules applied. Total rules applied 282 place count 3192 transition count 7232
Applied a total of 282 rules in 3347 ms. Remains 3192 /3333 variables (removed 141) and now considering 7232/7481 (removed 249) transitions.
[2025-06-04 06:44:55] [INFO ] Flow matrix only has 6632 transitions (discarded 600 similar events)
// Phase 1: matrix 6632 rows 3192 cols
[2025-06-04 06:44:55] [INFO ] Computed 70 invariants in 255 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:45:05] [INFO ] Implicit Places using invariants in 10020 ms returned [407, 661, 1595, 1603]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 10033 ms to find 4 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3188/3499 places, 7232/7849 transitions.
Applied a total of 0 rules in 856 ms. Remains 3188 /3188 variables (removed 0) and now considering 7232/7232 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 31348 ms. Remains : 3188/3499 places, 7232/7849 transitions.
[2025-06-04 06:45:06] [INFO ] Flatten gal took : 205 ms
[2025-06-04 06:45:07] [INFO ] Flatten gal took : 241 ms
[2025-06-04 06:45:07] [INFO ] Input system was already deterministic with 7232 transitions.
[2025-06-04 06:45:07] [INFO ] Flatten gal took : 345 ms
[2025-06-04 06:45:08] [INFO ] Flatten gal took : 292 ms
[2025-06-04 06:45:08] [INFO ] Time to serialize gal into /tmp/CTLFireability3088630391805760585.gal : 38 ms
[2025-06-04 06:45:08] [INFO ] Time to serialize properties into /tmp/CTLFireability4066858173928024270.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/CTLFireability3088630391805760585.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4066858173928024270.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 06:45:38] [INFO ] Flatten gal took : 347 ms
[2025-06-04 06:45:38] [INFO ] Applying decomposition
[2025-06-04 06:45:38] [INFO ] Flatten gal took : 360 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/graph16619870323750037844.txt' '-o' '/tmp/graph16619870323750037844.bin' '-w' '/tmp/graph16619870323750037844.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph16619870323750037844.bin' '-l' '-1' '-v' '-w' '/tmp/graph16619870323750037844.weights' '-q' '0' '-e' '0.001'
[2025-06-04 06:45:39] [INFO ] Decomposing Gal with order
[2025-06-04 06:45:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 06:45:41] [INFO ] Removed a total of 5913 redundant transitions.
[2025-06-04 06:45:41] [INFO ] Flatten gal took : 608 ms
[2025-06-04 06:45:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 3828 labels/synchronizations in 296 ms.
[2025-06-04 06:45:41] [INFO ] Time to serialize gal into /tmp/CTLFireability10404594000726137465.gal : 64 ms
[2025-06-04 06:45:41] [INFO ] Time to serialize properties into /tmp/CTLFireability17658663437975985382.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/CTLFireability10404594000726137465.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17658663437975985382.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 : 3499/3499 places, 7849/7849 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 37 transitions
Trivial Post-agglo rules discarded 37 transitions
Performed 37 trivial Post agglomeration. Transition count delta: 37
Iterating post reduction 0 with 37 rules applied. Total rules applied 37 place count 3499 transition count 7812
Reduce places removed 37 places and 0 transitions.
Iterating post reduction 1 with 37 rules applied. Total rules applied 74 place count 3462 transition count 7812
Performed 44 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 44 Pre rules applied. Total rules applied 74 place count 3462 transition count 7768
Deduced a syphon composed of 44 places in 11 ms
Reduce places removed 44 places and 0 transitions.
Iterating global reduction 2 with 88 rules applied. Total rules applied 162 place count 3418 transition count 7768
Discarding 47 places :
Symmetric choice reduction at 2 with 47 rule applications. Total rules 209 place count 3371 transition count 7605
Iterating global reduction 2 with 47 rules applied. Total rules applied 256 place count 3371 transition count 7605
Discarding 16 places :
Symmetric choice reduction at 2 with 16 rule applications. Total rules 272 place count 3355 transition count 7525
Iterating global reduction 2 with 16 rules applied. Total rules applied 288 place count 3355 transition count 7525
Performed 45 Post agglomeration using F-continuation condition.Transition count delta: 45
Deduced a syphon composed of 45 places in 6 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 2 with 90 rules applied. Total rules applied 378 place count 3310 transition count 7480
Discarding 27 places :
Symmetric choice reduction at 2 with 27 rule applications. Total rules 405 place count 3283 transition count 7453
Iterating global reduction 2 with 27 rules applied. Total rules applied 432 place count 3283 transition count 7453
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 458 place count 3257 transition count 7323
Iterating global reduction 2 with 26 rules applied. Total rules applied 484 place count 3257 transition count 7323
Applied a total of 484 rules in 4874 ms. Remains 3257 /3499 variables (removed 242) and now considering 7323/7849 (removed 526) transitions.
[2025-06-04 06:46:16] [INFO ] Flow matrix only has 6723 transitions (discarded 600 similar events)
// Phase 1: matrix 6723 rows 3257 cols
[2025-06-04 06:46:17] [INFO ] Computed 112 invariants in 181 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:46:29] [INFO ] Implicit Places using invariants in 12684 ms returned [185, 386, 640, 779, 888, 889, 961, 1112, 1185, 1186, 1234, 1327, 1372, 1373, 1374, 1407, 1441, 1467, 1528, 1529, 1544, 1552, 1566, 1567, 1583, 1589, 1603, 1605, 1613, 1627, 1660, 1697, 1698, 1720, 1740, 1775, 1805, 1806, 1844, 1883, 1976, 2038, 2039, 2098, 2099, 2176, 2177, 2535, 2630, 2638, 2772, 2892]
[2025-06-04 06:46:29] [INFO ] Actually due to overlaps returned [1544, 1583, 1740, 2630, 185, 779, 888, 889, 961, 1112, 1185, 1186, 1234, 1327, 1372, 1373, 1374, 1407, 1441, 1467, 1528, 1529, 1552, 1566, 1567, 1589, 1603, 1627, 1660, 1697, 1698, 1720, 1775, 1805, 1806, 1844, 1883, 1976, 2038, 2039, 2098, 2099, 2176, 2177, 2535, 2638, 2772, 2892]
Discarding 48 places :
Implicit Place search using SMT only with invariants took 12707 ms to find 48 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3209/3499 places, 7323/7849 transitions.
Discarding 34 places :
Symmetric choice reduction at 0 with 34 rule applications. Total rules 34 place count 3175 transition count 7289
Iterating global reduction 0 with 34 rules applied. Total rules applied 68 place count 3175 transition count 7289
Discarding 34 places :
Symmetric choice reduction at 0 with 34 rule applications. Total rules 102 place count 3141 transition count 7255
Iterating global reduction 0 with 34 rules applied. Total rules applied 136 place count 3141 transition count 7255
Discarding 14 places :
Symmetric choice reduction at 0 with 14 rule applications. Total rules 150 place count 3127 transition count 7185
Iterating global reduction 0 with 14 rules applied. Total rules applied 164 place count 3127 transition count 7185
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 4 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 0 with 20 rules applied. Total rules applied 184 place count 3117 transition count 7175
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 194 place count 3107 transition count 7165
Iterating global reduction 0 with 10 rules applied. Total rules applied 204 place count 3107 transition count 7165
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 223 place count 3088 transition count 7070
Iterating global reduction 0 with 19 rules applied. Total rules applied 242 place count 3088 transition count 7070
Applied a total of 242 rules in 4677 ms. Remains 3088 /3209 variables (removed 121) and now considering 7070/7323 (removed 253) transitions.
[2025-06-04 06:46:34] [INFO ] Flow matrix only has 6470 transitions (discarded 600 similar events)
// Phase 1: matrix 6470 rows 3088 cols
[2025-06-04 06:46:34] [INFO ] Computed 64 invariants in 219 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:46:41] [INFO ] Implicit Places using invariants in 7614 ms returned [385, 637, 1542, 1550]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 7620 ms to find 4 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3084/3499 places, 7070/7849 transitions.
Applied a total of 0 rules in 764 ms. Remains 3084 /3084 variables (removed 0) and now considering 7070/7070 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 30644 ms. Remains : 3084/3499 places, 7070/7849 transitions.
[2025-06-04 06:46:42] [INFO ] Flatten gal took : 146 ms
[2025-06-04 06:46:42] [INFO ] Flatten gal took : 173 ms
[2025-06-04 06:46:43] [INFO ] Input system was already deterministic with 7070 transitions.
[2025-06-04 06:46:43] [INFO ] Flatten gal took : 176 ms
[2025-06-04 06:46:43] [INFO ] Flatten gal took : 185 ms
[2025-06-04 06:46:43] [INFO ] Time to serialize gal into /tmp/CTLFireability15952700421095810907.gal : 34 ms
[2025-06-04 06:46:43] [INFO ] Time to serialize properties into /tmp/CTLFireability7619730007423745275.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/CTLFireability15952700421095810907.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7619730007423745275.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 06:47:13] [INFO ] Flatten gal took : 166 ms
[2025-06-04 06:47:13] [INFO ] Applying decomposition
[2025-06-04 06:47:14] [INFO ] Flatten gal took : 211 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/graph411051675000925689.txt' '-o' '/tmp/graph411051675000925689.bin' '-w' '/tmp/graph411051675000925689.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph411051675000925689.bin' '-l' '-1' '-v' '-w' '/tmp/graph411051675000925689.weights' '-q' '0' '-e' '0.001'
[2025-06-04 06:47:14] [INFO ] Decomposing Gal with order
[2025-06-04 06:47:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 06:47:16] [INFO ] Removed a total of 6473 redundant transitions.
[2025-06-04 06:47:16] [INFO ] Flatten gal took : 1347 ms
[2025-06-04 06:47:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 4234 labels/synchronizations in 453 ms.
[2025-06-04 06:47:17] [INFO ] Time to serialize gal into /tmp/CTLFireability8664217095959850920.gal : 46 ms
[2025-06-04 06:47:17] [INFO ] Time to serialize properties into /tmp/CTLFireability5528926230067591861.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/CTLFireability8664217095959850920.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5528926230067591861.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 : 3499/3499 places, 7849/7849 transitions.
Discarding 75 places :
Symmetric choice reduction at 0 with 75 rule applications. Total rules 75 place count 3424 transition count 7658
Iterating global reduction 0 with 75 rules applied. Total rules applied 150 place count 3424 transition count 7658
Discarding 44 places :
Symmetric choice reduction at 0 with 44 rule applications. Total rules 194 place count 3380 transition count 7546
Iterating global reduction 0 with 44 rules applied. Total rules applied 238 place count 3380 transition count 7546
Discarding 26 places :
Symmetric choice reduction at 0 with 26 rule applications. Total rules 264 place count 3354 transition count 7416
Iterating global reduction 0 with 26 rules applied. Total rules applied 290 place count 3354 transition count 7416
Applied a total of 290 rules in 2324 ms. Remains 3354 /3499 variables (removed 145) and now considering 7416/7849 (removed 433) transitions.
[2025-06-04 06:47:49] [INFO ] Flow matrix only has 6816 transitions (discarded 600 similar events)
// Phase 1: matrix 6816 rows 3354 cols
[2025-06-04 06:47:49] [INFO ] Computed 112 invariants in 206 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:48:03] [INFO ] Implicit Places using invariants in 14264 ms returned [195, 408, 664, 804, 913, 914, 990, 1080, 1141, 1214, 1215, 1267, 1362, 1407, 1408, 1409, 1447, 1481, 1510, 1573, 1574, 1591, 1600, 1614, 1615, 1634, 1641, 1655, 1657, 1665, 1682, 1717, 1756, 1757, 1779, 1802, 1838, 1870, 1871, 1909, 1952, 2047, 2109, 2110, 2173, 2174, 2251, 2252, 2616, 2712, 2721, 2855, 2978]
[2025-06-04 06:48:03] [INFO ] Actually due to overlaps returned [1591, 1634, 1802, 2712, 195, 804, 913, 914, 990, 1080, 1141, 1214, 1215, 1267, 1362, 1407, 1408, 1409, 1447, 1481, 1510, 1573, 1574, 1600, 1614, 1615, 1641, 1655, 1682, 1717, 1756, 1757, 1779, 1838, 1870, 1871, 1909, 1952, 2047, 2109, 2110, 2173, 2174, 2251, 2252, 2616, 2721, 2855, 2978]
Discarding 49 places :
Implicit Place search using SMT only with invariants took 14277 ms to find 49 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3305/3499 places, 7416/7849 transitions.
Discarding 45 places :
Symmetric choice reduction at 0 with 45 rule applications. Total rules 45 place count 3260 transition count 7371
Iterating global reduction 0 with 45 rules applied. Total rules applied 90 place count 3260 transition count 7371
Discarding 45 places :
Symmetric choice reduction at 0 with 45 rule applications. Total rules 135 place count 3215 transition count 7326
Iterating global reduction 0 with 45 rules applied. Total rules applied 180 place count 3215 transition count 7326
Discarding 45 places :
Symmetric choice reduction at 0 with 45 rule applications. Total rules 225 place count 3170 transition count 7281
Iterating global reduction 0 with 45 rules applied. Total rules applied 270 place count 3170 transition count 7281
Discarding 34 places :
Symmetric choice reduction at 0 with 34 rule applications. Total rules 304 place count 3136 transition count 7111
Iterating global reduction 0 with 34 rules applied. Total rules applied 338 place count 3136 transition count 7111
Applied a total of 338 rules in 3388 ms. Remains 3136 /3305 variables (removed 169) and now considering 7111/7416 (removed 305) transitions.
[2025-06-04 06:48:07] [INFO ] Flow matrix only has 6511 transitions (discarded 600 similar events)
// Phase 1: matrix 6511 rows 3136 cols
[2025-06-04 06:48:07] [INFO ] Computed 63 invariants in 185 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:48:17] [INFO ] Implicit Places using invariants in 10263 ms returned [407, 660, 1569, 1577]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 10271 ms to find 4 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3132/3499 places, 7111/7849 transitions.
Applied a total of 0 rules in 781 ms. Remains 3132 /3132 variables (removed 0) and now considering 7111/7111 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 31052 ms. Remains : 3132/3499 places, 7111/7849 transitions.
[2025-06-04 06:48:18] [INFO ] Flatten gal took : 177 ms
[2025-06-04 06:48:18] [INFO ] Flatten gal took : 211 ms
[2025-06-04 06:48:18] [INFO ] Input system was already deterministic with 7111 transitions.
[2025-06-04 06:48:19] [INFO ] Flatten gal took : 271 ms
[2025-06-04 06:48:19] [INFO ] Flatten gal took : 301 ms
[2025-06-04 06:48:19] [INFO ] Time to serialize gal into /tmp/CTLFireability5723647426888621803.gal : 34 ms
[2025-06-04 06:48:19] [INFO ] Time to serialize properties into /tmp/CTLFireability14698511064229076540.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/CTLFireability5723647426888621803.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14698511064229076540.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 06:48:49] [INFO ] Flatten gal took : 203 ms
[2025-06-04 06:48:49] [INFO ] Applying decomposition
[2025-06-04 06:48:50] [INFO ] Flatten gal took : 257 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/graph438920006358774382.txt' '-o' '/tmp/graph438920006358774382.bin' '-w' '/tmp/graph438920006358774382.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph438920006358774382.bin' '-l' '-1' '-v' '-w' '/tmp/graph438920006358774382.weights' '-q' '0' '-e' '0.001'
[2025-06-04 06:48:50] [INFO ] Decomposing Gal with order
[2025-06-04 06:48:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 06:48:51] [INFO ] Removed a total of 5698 redundant transitions.
[2025-06-04 06:48:51] [INFO ] Flatten gal took : 613 ms
[2025-06-04 06:48:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 2832 labels/synchronizations in 260 ms.
[2025-06-04 06:48:52] [INFO ] Time to serialize gal into /tmp/CTLFireability10617612917532567673.gal : 41 ms
[2025-06-04 06:48:52] [INFO ] Time to serialize properties into /tmp/CTLFireability6128195008665827442.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/CTLFireability10617612917532567673.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6128195008665827442.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 : 3499/3499 places, 7849/7849 transitions.
Discarding 74 places :
Symmetric choice reduction at 0 with 74 rule applications. Total rules 74 place count 3425 transition count 7659
Iterating global reduction 0 with 74 rules applied. Total rules applied 148 place count 3425 transition count 7659
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 191 place count 3382 transition count 7552
Iterating global reduction 0 with 43 rules applied. Total rules applied 234 place count 3382 transition count 7552
Discarding 26 places :
Symmetric choice reduction at 0 with 26 rule applications. Total rules 260 place count 3356 transition count 7422
Iterating global reduction 0 with 26 rules applied. Total rules applied 286 place count 3356 transition count 7422
Applied a total of 286 rules in 2397 ms. Remains 3356 /3499 variables (removed 143) and now considering 7422/7849 (removed 427) transitions.
[2025-06-04 06:49:24] [INFO ] Flow matrix only has 6822 transitions (discarded 600 similar events)
// Phase 1: matrix 6822 rows 3356 cols
[2025-06-04 06:49:24] [INFO ] Computed 112 invariants in 169 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:49:38] [INFO ] Implicit Places using invariants in 13734 ms returned [195, 408, 664, 804, 913, 914, 990, 1080, 1216, 1217, 1269, 1364, 1409, 1410, 1411, 1449, 1483, 1512, 1575, 1576, 1593, 1602, 1616, 1617, 1636, 1643, 1657, 1659, 1667, 1684, 1719, 1758, 1759, 1781, 1804, 1840, 1872, 1873, 1911, 1954, 2049, 2111, 2112, 2175, 2176, 2253, 2254, 2618, 2714, 2723, 2857, 2980]
[2025-06-04 06:49:38] [INFO ] Actually due to overlaps returned [1593, 1636, 1804, 2714, 195, 804, 913, 914, 990, 1080, 1216, 1217, 1269, 1364, 1409, 1410, 1411, 1449, 1483, 1512, 1575, 1576, 1602, 1616, 1617, 1643, 1657, 1684, 1719, 1758, 1759, 1781, 1840, 1872, 1873, 1911, 1954, 2049, 2111, 2112, 2175, 2176, 2253, 2254, 2618, 2723, 2857, 2980]
Discarding 48 places :
Implicit Place search using SMT only with invariants took 13740 ms to find 48 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3308/3499 places, 7422/7849 transitions.
Discarding 44 places :
Symmetric choice reduction at 0 with 44 rule applications. Total rules 44 place count 3264 transition count 7378
Iterating global reduction 0 with 44 rules applied. Total rules applied 88 place count 3264 transition count 7378
Discarding 44 places :
Symmetric choice reduction at 0 with 44 rule applications. Total rules 132 place count 3220 transition count 7334
Iterating global reduction 0 with 44 rules applied. Total rules applied 176 place count 3220 transition count 7334
Discarding 44 places :
Symmetric choice reduction at 0 with 44 rule applications. Total rules 220 place count 3176 transition count 7290
Iterating global reduction 0 with 44 rules applied. Total rules applied 264 place count 3176 transition count 7290
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 297 place count 3143 transition count 7125
Iterating global reduction 0 with 33 rules applied. Total rules applied 330 place count 3143 transition count 7125
Applied a total of 330 rules in 2907 ms. Remains 3143 /3308 variables (removed 165) and now considering 7125/7422 (removed 297) transitions.
[2025-06-04 06:49:41] [INFO ] Flow matrix only has 6525 transitions (discarded 600 similar events)
// Phase 1: matrix 6525 rows 3143 cols
[2025-06-04 06:49:41] [INFO ] Computed 64 invariants in 220 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:49:50] [INFO ] Implicit Places using invariants in 8840 ms returned [407, 660, 1575, 1583]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 8847 ms to find 4 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3139/3499 places, 7125/7849 transitions.
Applied a total of 0 rules in 720 ms. Remains 3139 /3139 variables (removed 0) and now considering 7125/7125 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 28616 ms. Remains : 3139/3499 places, 7125/7849 transitions.
[2025-06-04 06:49:51] [INFO ] Flatten gal took : 190 ms
[2025-06-04 06:49:51] [INFO ] Flatten gal took : 203 ms
[2025-06-04 06:49:51] [INFO ] Input system was already deterministic with 7125 transitions.
[2025-06-04 06:49:51] [INFO ] Flatten gal took : 193 ms
[2025-06-04 06:49:52] [INFO ] Flatten gal took : 204 ms
[2025-06-04 06:49:52] [INFO ] Time to serialize gal into /tmp/CTLFireability1098598844373910750.gal : 32 ms
[2025-06-04 06:49:52] [INFO ] Time to serialize properties into /tmp/CTLFireability6771264559849075554.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/CTLFireability1098598844373910750.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6771264559849075554.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 06:50:22] [INFO ] Flatten gal took : 208 ms
[2025-06-04 06:50:22] [INFO ] Applying decomposition
[2025-06-04 06:50:22] [INFO ] Flatten gal took : 248 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/graph2789074788585865880.txt' '-o' '/tmp/graph2789074788585865880.bin' '-w' '/tmp/graph2789074788585865880.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2789074788585865880.bin' '-l' '-1' '-v' '-w' '/tmp/graph2789074788585865880.weights' '-q' '0' '-e' '0.001'
[2025-06-04 06:50:22] [INFO ] Decomposing Gal with order
[2025-06-04 06:50:23] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 06:50:23] [INFO ] Removed a total of 5725 redundant transitions.
[2025-06-04 06:50:23] [INFO ] Flatten gal took : 534 ms
[2025-06-04 06:50:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 3779 labels/synchronizations in 294 ms.
[2025-06-04 06:50:24] [INFO ] Time to serialize gal into /tmp/CTLFireability5613015410019093813.gal : 49 ms
[2025-06-04 06:50:24] [INFO ] Time to serialize properties into /tmp/CTLFireability10580208186604358196.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/CTLFireability5613015410019093813.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10580208186604358196.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 : 3499/3499 places, 7849/7849 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 37 transitions
Trivial Post-agglo rules discarded 37 transitions
Performed 37 trivial Post agglomeration. Transition count delta: 37
Iterating post reduction 0 with 37 rules applied. Total rules applied 37 place count 3499 transition count 7812
Reduce places removed 37 places and 0 transitions.
Iterating post reduction 1 with 37 rules applied. Total rules applied 74 place count 3462 transition count 7812
Performed 45 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 45 Pre rules applied. Total rules applied 74 place count 3462 transition count 7767
Deduced a syphon composed of 45 places in 6 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 2 with 90 rules applied. Total rules applied 164 place count 3417 transition count 7767
Discarding 48 places :
Symmetric choice reduction at 2 with 48 rule applications. Total rules 212 place count 3369 transition count 7603
Iterating global reduction 2 with 48 rules applied. Total rules applied 260 place count 3369 transition count 7603
Discarding 17 places :
Symmetric choice reduction at 2 with 17 rule applications. Total rules 277 place count 3352 transition count 7518
Iterating global reduction 2 with 17 rules applied. Total rules applied 294 place count 3352 transition count 7518
Performed 45 Post agglomeration using F-continuation condition.Transition count delta: 45
Deduced a syphon composed of 45 places in 5 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 2 with 90 rules applied. Total rules applied 384 place count 3307 transition count 7473
Discarding 27 places :
Symmetric choice reduction at 2 with 27 rule applications. Total rules 411 place count 3280 transition count 7446
Iterating global reduction 2 with 27 rules applied. Total rules applied 438 place count 3280 transition count 7446
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 464 place count 3254 transition count 7316
Iterating global reduction 2 with 26 rules applied. Total rules applied 490 place count 3254 transition count 7316
Applied a total of 490 rules in 3999 ms. Remains 3254 /3499 variables (removed 245) and now considering 7316/7849 (removed 533) transitions.
[2025-06-04 06:50:58] [INFO ] Flow matrix only has 6716 transitions (discarded 600 similar events)
// Phase 1: matrix 6716 rows 3254 cols
[2025-06-04 06:50:58] [INFO ] Computed 112 invariants in 295 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:51:11] [INFO ] Implicit Places using invariants in 13012 ms returned [185, 386, 640, 779, 888, 889, 961, 1051, 1109, 1182, 1183, 1231, 1324, 1369, 1370, 1371, 1404, 1438, 1464, 1525, 1526, 1541, 1549, 1563, 1564, 1580, 1586, 1600, 1602, 1610, 1624, 1657, 1694, 1695, 1717, 1737, 1772, 1802, 1803, 1841, 1880, 1973, 2035, 2036, 2095, 2096, 2173, 2174, 2532, 2627, 2635, 2769, 2889]
[2025-06-04 06:51:11] [INFO ] Actually due to overlaps returned [1541, 1580, 1737, 2627, 185, 779, 888, 889, 961, 1051, 1109, 1182, 1183, 1231, 1324, 1369, 1370, 1371, 1404, 1438, 1464, 1525, 1526, 1549, 1563, 1564, 1586, 1600, 1624, 1657, 1694, 1695, 1717, 1772, 1802, 1803, 1841, 1880, 1973, 2035, 2036, 2095, 2096, 2173, 2174, 2532, 2635, 2769, 2889]
Discarding 49 places :
Implicit Place search using SMT only with invariants took 13018 ms to find 49 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3205/3499 places, 7316/7849 transitions.
Discarding 35 places :
Symmetric choice reduction at 0 with 35 rule applications. Total rules 35 place count 3170 transition count 7281
Iterating global reduction 0 with 35 rules applied. Total rules applied 70 place count 3170 transition count 7281
Discarding 35 places :
Symmetric choice reduction at 0 with 35 rule applications. Total rules 105 place count 3135 transition count 7246
Iterating global reduction 0 with 35 rules applied. Total rules applied 140 place count 3135 transition count 7246
Discarding 15 places :
Symmetric choice reduction at 0 with 15 rule applications. Total rules 155 place count 3120 transition count 7171
Iterating global reduction 0 with 15 rules applied. Total rules applied 170 place count 3120 transition count 7171
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 5 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 0 with 20 rules applied. Total rules applied 190 place count 3110 transition count 7161
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 200 place count 3100 transition count 7151
Iterating global reduction 0 with 10 rules applied. Total rules applied 210 place count 3100 transition count 7151
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 229 place count 3081 transition count 7056
Iterating global reduction 0 with 19 rules applied. Total rules applied 248 place count 3081 transition count 7056
Applied a total of 248 rules in 4644 ms. Remains 3081 /3205 variables (removed 124) and now considering 7056/7316 (removed 260) transitions.
[2025-06-04 06:51:16] [INFO ] Flow matrix only has 6456 transitions (discarded 600 similar events)
// Phase 1: matrix 6456 rows 3081 cols
[2025-06-04 06:51:16] [INFO ] Computed 63 invariants in 305 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:51:24] [INFO ] Implicit Places using invariants in 8211 ms returned [385, 637, 1536, 1544]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 8221 ms to find 4 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3077/3499 places, 7056/7849 transitions.
Applied a total of 0 rules in 848 ms. Remains 3077 /3077 variables (removed 0) and now considering 7056/7056 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 30732 ms. Remains : 3077/3499 places, 7056/7849 transitions.
[2025-06-04 06:51:25] [INFO ] Flatten gal took : 165 ms
[2025-06-04 06:51:25] [INFO ] Flatten gal took : 196 ms
[2025-06-04 06:51:25] [INFO ] Input system was already deterministic with 7056 transitions.
[2025-06-04 06:51:26] [INFO ] Flatten gal took : 244 ms
[2025-06-04 06:51:26] [INFO ] Flatten gal took : 201 ms
[2025-06-04 06:51:26] [INFO ] Time to serialize gal into /tmp/CTLFireability11487012503841240037.gal : 55 ms
[2025-06-04 06:51:26] [INFO ] Time to serialize properties into /tmp/CTLFireability4697382518618322858.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/CTLFireability11487012503841240037.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4697382518618322858.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 06:51:56] [INFO ] Flatten gal took : 173 ms
[2025-06-04 06:51:56] [INFO ] Applying decomposition
[2025-06-04 06:51:56] [INFO ] Flatten gal took : 180 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/graph15218522971293501753.txt' '-o' '/tmp/graph15218522971293501753.bin' '-w' '/tmp/graph15218522971293501753.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph15218522971293501753.bin' '-l' '-1' '-v' '-w' '/tmp/graph15218522971293501753.weights' '-q' '0' '-e' '0.001'
[2025-06-04 06:51:57] [INFO ] Decomposing Gal with order
[2025-06-04 06:51:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 06:51:58] [INFO ] Removed a total of 6623 redundant transitions.
[2025-06-04 06:51:58] [INFO ] Flatten gal took : 1189 ms
[2025-06-04 06:51:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 3873 labels/synchronizations in 354 ms.
[2025-06-04 06:51:59] [INFO ] Time to serialize gal into /tmp/CTLFireability11867762341275339259.gal : 47 ms
[2025-06-04 06:51:59] [INFO ] Time to serialize properties into /tmp/CTLFireability9706101881829963697.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/CTLFireability11867762341275339259.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9706101881829963697.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 : 3499/3499 places, 7849/7849 transitions.
Discarding 66 places :
Symmetric choice reduction at 0 with 66 rule applications. Total rules 66 place count 3433 transition count 7687
Iterating global reduction 0 with 66 rules applied. Total rules applied 132 place count 3433 transition count 7687
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 172 place count 3393 transition count 7595
Iterating global reduction 0 with 40 rules applied. Total rules applied 212 place count 3393 transition count 7595
Discarding 26 places :
Symmetric choice reduction at 0 with 26 rule applications. Total rules 238 place count 3367 transition count 7465
Iterating global reduction 0 with 26 rules applied. Total rules applied 264 place count 3367 transition count 7465
Applied a total of 264 rules in 2403 ms. Remains 3367 /3499 variables (removed 132) and now considering 7465/7849 (removed 384) transitions.
[2025-06-04 06:52:31] [INFO ] Flow matrix only has 6865 transitions (discarded 600 similar events)
// Phase 1: matrix 6865 rows 3367 cols
[2025-06-04 06:52:32] [INFO ] Computed 112 invariants in 192 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:52:46] [INFO ] Implicit Places using invariants in 14762 ms returned [196, 409, 665, 805, 914, 915, 991, 1081, 1142, 1215, 1216, 1268, 1411, 1412, 1453, 1487, 1516, 1579, 1580, 1597, 1606, 1620, 1621, 1640, 1647, 1661, 1663, 1671, 1688, 1723, 1762, 1763, 1785, 1808, 1844, 1876, 1877, 1961, 2120, 2121, 2184, 2185, 2262, 2263, 2628, 2724, 2733, 2867, 2990]
[2025-06-04 06:52:46] [INFO ] Actually due to overlaps returned [1597, 1640, 1808, 2724, 196, 805, 914, 915, 991, 1081, 1142, 1215, 1216, 1268, 1411, 1412, 1453, 1487, 1516, 1579, 1580, 1606, 1620, 1621, 1647, 1661, 1688, 1723, 1762, 1763, 1785, 1844, 1876, 1877, 1961, 2120, 2121, 2184, 2185, 2262, 2263, 2628, 2733, 2867, 2990]
Discarding 45 places :
Implicit Place search using SMT only with invariants took 14781 ms to find 45 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3322/3499 places, 7465/7849 transitions.
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 41 place count 3281 transition count 7424
Iterating global reduction 0 with 41 rules applied. Total rules applied 82 place count 3281 transition count 7424
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 123 place count 3240 transition count 7383
Iterating global reduction 0 with 41 rules applied. Total rules applied 164 place count 3240 transition count 7383
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 205 place count 3199 transition count 7342
Iterating global reduction 0 with 41 rules applied. Total rules applied 246 place count 3199 transition count 7342
Discarding 30 places :
Symmetric choice reduction at 0 with 30 rule applications. Total rules 276 place count 3169 transition count 7192
Iterating global reduction 0 with 30 rules applied. Total rules applied 306 place count 3169 transition count 7192
Applied a total of 306 rules in 3247 ms. Remains 3169 /3322 variables (removed 153) and now considering 7192/7465 (removed 273) transitions.
[2025-06-04 06:52:50] [INFO ] Flow matrix only has 6592 transitions (discarded 600 similar events)
// Phase 1: matrix 6592 rows 3169 cols
[2025-06-04 06:52:50] [INFO ] Computed 67 invariants in 192 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:53:00] [INFO ] Implicit Places using invariants in 10052 ms returned [408, 661, 1583, 1591]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 10076 ms to find 4 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3165/3499 places, 7192/7849 transitions.
Applied a total of 0 rules in 633 ms. Remains 3165 /3165 variables (removed 0) and now considering 7192/7192 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 31143 ms. Remains : 3165/3499 places, 7192/7849 transitions.
[2025-06-04 06:53:00] [INFO ] Flatten gal took : 209 ms
[2025-06-04 06:53:01] [INFO ] Flatten gal took : 214 ms
[2025-06-04 06:53:01] [INFO ] Input system was already deterministic with 7192 transitions.
[2025-06-04 06:53:01] [INFO ] Flatten gal took : 299 ms
[2025-06-04 06:53:02] [INFO ] Flatten gal took : 244 ms
[2025-06-04 06:53:02] [INFO ] Time to serialize gal into /tmp/CTLFireability8678675193305256775.gal : 33 ms
[2025-06-04 06:53:02] [INFO ] Time to serialize properties into /tmp/CTLFireability3532647650556934440.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/CTLFireability8678675193305256775.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3532647650556934440.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 06:53:32] [INFO ] Flatten gal took : 215 ms
[2025-06-04 06:53:32] [INFO ] Applying decomposition
[2025-06-04 06:53:32] [INFO ] Flatten gal took : 305 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/graph1063283386362725671.txt' '-o' '/tmp/graph1063283386362725671.bin' '-w' '/tmp/graph1063283386362725671.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph1063283386362725671.bin' '-l' '-1' '-v' '-w' '/tmp/graph1063283386362725671.weights' '-q' '0' '-e' '0.001'
[2025-06-04 06:53:33] [INFO ] Decomposing Gal with order
[2025-06-04 06:53:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 06:53:34] [INFO ] Removed a total of 5838 redundant transitions.
[2025-06-04 06:53:34] [INFO ] Flatten gal took : 646 ms
[2025-06-04 06:53:34] [INFO ] Fuse similar labels procedure discarded/fused a total of 3023 labels/synchronizations in 431 ms.
[2025-06-04 06:53:34] [INFO ] Time to serialize gal into /tmp/CTLFireability15880761184707895014.gal : 40 ms
[2025-06-04 06:53:34] [INFO ] Time to serialize properties into /tmp/CTLFireability8013566587395954523.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/CTLFireability15880761184707895014.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8013566587395954523.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 : 3499/3499 places, 7849/7849 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 36 transitions
Trivial Post-agglo rules discarded 36 transitions
Performed 36 trivial Post agglomeration. Transition count delta: 36
Iterating post reduction 0 with 36 rules applied. Total rules applied 36 place count 3499 transition count 7813
Reduce places removed 36 places and 0 transitions.
Iterating post reduction 1 with 36 rules applied. Total rules applied 72 place count 3463 transition count 7813
Performed 45 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 45 Pre rules applied. Total rules applied 72 place count 3463 transition count 7768
Deduced a syphon composed of 45 places in 5 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 2 with 90 rules applied. Total rules applied 162 place count 3418 transition count 7768
Discarding 44 places :
Symmetric choice reduction at 2 with 44 rule applications. Total rules 206 place count 3374 transition count 7624
Iterating global reduction 2 with 44 rules applied. Total rules applied 250 place count 3374 transition count 7624
Discarding 17 places :
Symmetric choice reduction at 2 with 17 rule applications. Total rules 267 place count 3357 transition count 7539
Iterating global reduction 2 with 17 rules applied. Total rules applied 284 place count 3357 transition count 7539
Performed 45 Post agglomeration using F-continuation condition.Transition count delta: 45
Deduced a syphon composed of 45 places in 5 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 2 with 90 rules applied. Total rules applied 374 place count 3312 transition count 7494
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 400 place count 3286 transition count 7468
Iterating global reduction 2 with 26 rules applied. Total rules applied 426 place count 3286 transition count 7468
Discarding 25 places :
Symmetric choice reduction at 2 with 25 rule applications. Total rules 451 place count 3261 transition count 7343
Iterating global reduction 2 with 25 rules applied. Total rules applied 476 place count 3261 transition count 7343
Applied a total of 476 rules in 4408 ms. Remains 3261 /3499 variables (removed 238) and now considering 7343/7849 (removed 506) transitions.
[2025-06-04 06:54:09] [INFO ] Flow matrix only has 6743 transitions (discarded 600 similar events)
// Phase 1: matrix 6743 rows 3261 cols
[2025-06-04 06:54:09] [INFO ] Computed 112 invariants in 178 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:54:21] [INFO ] Implicit Places using invariants in 12288 ms returned [185, 386, 640, 779, 888, 889, 961, 1051, 1109, 1182, 1183, 1231, 1324, 1369, 1370, 1371, 1404, 1438, 1464, 1525, 1526, 1541, 1549, 1563, 1564, 1581, 1587, 1601, 1603, 1611, 1625, 1658, 1695, 1696, 1718, 1738, 1773, 1803, 1845, 1884, 1978, 2040, 2041, 2100, 2101, 2178, 2179, 2538, 2634, 2642, 2776, 2896]
[2025-06-04 06:54:21] [INFO ] Actually due to overlaps returned [1541, 1581, 1738, 2634, 185, 779, 888, 889, 961, 1051, 1109, 1182, 1183, 1231, 1324, 1369, 1370, 1371, 1404, 1438, 1464, 1525, 1526, 1549, 1563, 1564, 1587, 1601, 1625, 1658, 1695, 1696, 1718, 1773, 1803, 1845, 1884, 1978, 2040, 2041, 2100, 2101, 2178, 2179, 2538, 2642, 2776, 2896]
Discarding 48 places :
Implicit Place search using SMT only with invariants took 12311 ms to find 48 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3213/3499 places, 7343/7849 transitions.
Discarding 34 places :
Symmetric choice reduction at 0 with 34 rule applications. Total rules 34 place count 3179 transition count 7309
Iterating global reduction 0 with 34 rules applied. Total rules applied 68 place count 3179 transition count 7309
Discarding 34 places :
Symmetric choice reduction at 0 with 34 rule applications. Total rules 102 place count 3145 transition count 7275
Iterating global reduction 0 with 34 rules applied. Total rules applied 136 place count 3145 transition count 7275
Discarding 15 places :
Symmetric choice reduction at 0 with 15 rule applications. Total rules 151 place count 3130 transition count 7200
Iterating global reduction 0 with 15 rules applied. Total rules applied 166 place count 3130 transition count 7200
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 4 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 0 with 20 rules applied. Total rules applied 186 place count 3120 transition count 7190
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 196 place count 3110 transition count 7180
Iterating global reduction 0 with 10 rules applied. Total rules applied 206 place count 3110 transition count 7180
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 224 place count 3092 transition count 7090
Iterating global reduction 0 with 18 rules applied. Total rules applied 242 place count 3092 transition count 7090
Applied a total of 242 rules in 4971 ms. Remains 3092 /3213 variables (removed 121) and now considering 7090/7343 (removed 253) transitions.
[2025-06-04 06:54:26] [INFO ] Flow matrix only has 6490 transitions (discarded 600 similar events)
// Phase 1: matrix 6490 rows 3092 cols
[2025-06-04 06:54:26] [INFO ] Computed 64 invariants in 222 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:54:35] [INFO ] Implicit Places using invariants in 8504 ms returned [385, 637, 1537, 1545]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 8518 ms to find 4 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3088/3499 places, 7090/7849 transitions.
Applied a total of 0 rules in 759 ms. Remains 3088 /3088 variables (removed 0) and now considering 7090/7090 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 30968 ms. Remains : 3088/3499 places, 7090/7849 transitions.
[2025-06-04 06:54:36] [INFO ] Flatten gal took : 143 ms
[2025-06-04 06:54:36] [INFO ] Flatten gal took : 172 ms
[2025-06-04 06:54:36] [INFO ] Input system was already deterministic with 7090 transitions.
[2025-06-04 06:54:36] [INFO ] Flatten gal took : 169 ms
[2025-06-04 06:54:37] [INFO ] Flatten gal took : 277 ms
[2025-06-04 06:54:37] [INFO ] Time to serialize gal into /tmp/CTLFireability7871477469727143409.gal : 49 ms
[2025-06-04 06:54:37] [INFO ] Time to serialize properties into /tmp/CTLFireability1366116177689093651.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/CTLFireability7871477469727143409.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1366116177689093651.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 06:55:07] [INFO ] Flatten gal took : 167 ms
[2025-06-04 06:55:07] [INFO ] Applying decomposition
[2025-06-04 06:55:07] [INFO ] Flatten gal took : 173 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/graph15051957600097415536.txt' '-o' '/tmp/graph15051957600097415536.bin' '-w' '/tmp/graph15051957600097415536.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph15051957600097415536.bin' '-l' '-1' '-v' '-w' '/tmp/graph15051957600097415536.weights' '-q' '0' '-e' '0.001'
[2025-06-04 06:55:08] [INFO ] Decomposing Gal with order
[2025-06-04 06:55:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 06:55:09] [INFO ] Removed a total of 6697 redundant transitions.
[2025-06-04 06:55:10] [INFO ] Flatten gal took : 1599 ms
[2025-06-04 06:55:10] [INFO ] Fuse similar labels procedure discarded/fused a total of 4186 labels/synchronizations in 336 ms.
[2025-06-04 06:55:10] [INFO ] Time to serialize gal into /tmp/CTLFireability6938893778036842188.gal : 48 ms
[2025-06-04 06:55:10] [INFO ] Time to serialize properties into /tmp/CTLFireability1379027742991756529.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/CTLFireability6938893778036842188.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1379027742991756529.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 : 3499/3499 places, 7849/7849 transitions.
Discarding 72 places :
Symmetric choice reduction at 0 with 72 rule applications. Total rules 72 place count 3427 transition count 7665
Iterating global reduction 0 with 72 rules applied. Total rules applied 144 place count 3427 transition count 7665
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 186 place count 3385 transition count 7555
Iterating global reduction 0 with 42 rules applied. Total rules applied 228 place count 3385 transition count 7555
Discarding 24 places :
Symmetric choice reduction at 0 with 24 rule applications. Total rules 252 place count 3361 transition count 7435
Iterating global reduction 0 with 24 rules applied. Total rules applied 276 place count 3361 transition count 7435
Applied a total of 276 rules in 2797 ms. Remains 3361 /3499 variables (removed 138) and now considering 7435/7849 (removed 414) transitions.
[2025-06-04 06:55:43] [INFO ] Flow matrix only has 6835 transitions (discarded 600 similar events)
// Phase 1: matrix 6835 rows 3361 cols
[2025-06-04 06:55:43] [INFO ] Computed 112 invariants in 273 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:55:57] [INFO ] Implicit Places using invariants in 13912 ms returned [195, 408, 665, 805, 914, 915, 991, 1081, 1142, 1215, 1216, 1268, 1363, 1408, 1409, 1410, 1448, 1482, 1511, 1574, 1575, 1592, 1618, 1619, 1638, 1645, 1661, 1672, 1689, 1724, 1763, 1764, 1786, 1809, 1845, 1877, 1878, 1916, 1959, 2054, 2116, 2117, 2180, 2181, 2258, 2259, 2623, 2719, 2728, 2862, 2985]
[2025-06-04 06:55:57] [INFO ] Actually due to overlaps returned [1592, 1638, 1809, 2719, 195, 805, 914, 915, 991, 1081, 1142, 1215, 1216, 1268, 1363, 1408, 1409, 1410, 1448, 1482, 1511, 1574, 1575, 1618, 1619, 1645, 1689, 1724, 1763, 1764, 1786, 1845, 1877, 1878, 1916, 1959, 2054, 2116, 2117, 2180, 2181, 2258, 2259, 2623, 2728, 2862, 2985]
Discarding 47 places :
Implicit Place search using SMT only with invariants took 13920 ms to find 47 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3314/3499 places, 7435/7849 transitions.
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 43 place count 3271 transition count 7392
Iterating global reduction 0 with 43 rules applied. Total rules applied 86 place count 3271 transition count 7392
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 129 place count 3228 transition count 7349
Iterating global reduction 0 with 43 rules applied. Total rules applied 172 place count 3228 transition count 7349
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 215 place count 3185 transition count 7306
Iterating global reduction 0 with 43 rules applied. Total rules applied 258 place count 3185 transition count 7306
Discarding 32 places :
Symmetric choice reduction at 0 with 32 rule applications. Total rules 290 place count 3153 transition count 7146
Iterating global reduction 0 with 32 rules applied. Total rules applied 322 place count 3153 transition count 7146
Applied a total of 322 rules in 3075 ms. Remains 3153 /3314 variables (removed 161) and now considering 7146/7435 (removed 289) transitions.
[2025-06-04 06:56:00] [INFO ] Flow matrix only has 6546 transitions (discarded 600 similar events)
// Phase 1: matrix 6546 rows 3153 cols
[2025-06-04 06:56:00] [INFO ] Computed 65 invariants in 213 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:56:09] [INFO ] Implicit Places using invariants in 8932 ms returned [407, 661, 1579, 1590]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 8952 ms to find 4 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3149/3499 places, 7146/7849 transitions.
Applied a total of 0 rules in 723 ms. Remains 3149 /3149 variables (removed 0) and now considering 7146/7146 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 29470 ms. Remains : 3149/3499 places, 7146/7849 transitions.
[2025-06-04 06:56:10] [INFO ] Flatten gal took : 176 ms
[2025-06-04 06:56:10] [INFO ] Flatten gal took : 202 ms
[2025-06-04 06:56:10] [INFO ] Input system was already deterministic with 7146 transitions.
[2025-06-04 06:56:11] [INFO ] Flatten gal took : 295 ms
[2025-06-04 06:56:11] [INFO ] Flatten gal took : 274 ms
[2025-06-04 06:56:11] [INFO ] Time to serialize gal into /tmp/CTLFireability3903669264907687636.gal : 32 ms
[2025-06-04 06:56:11] [INFO ] Time to serialize properties into /tmp/CTLFireability1179627053260257523.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/CTLFireability3903669264907687636.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1179627053260257523.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 06:56:41] [INFO ] Flatten gal took : 196 ms
[2025-06-04 06:56:41] [INFO ] Applying decomposition
[2025-06-04 06:56:41] [INFO ] Flatten gal took : 212 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/graph3537405304747998451.txt' '-o' '/tmp/graph3537405304747998451.bin' '-w' '/tmp/graph3537405304747998451.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph3537405304747998451.bin' '-l' '-1' '-v' '-w' '/tmp/graph3537405304747998451.weights' '-q' '0' '-e' '0.001'
[2025-06-04 06:56:42] [INFO ] Decomposing Gal with order
[2025-06-04 06:56:42] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 06:56:43] [INFO ] Removed a total of 5721 redundant transitions.
[2025-06-04 06:56:43] [INFO ] Flatten gal took : 543 ms
[2025-06-04 06:56:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 3045 labels/synchronizations in 269 ms.
[2025-06-04 06:56:43] [INFO ] Time to serialize gal into /tmp/CTLFireability13909466247486323356.gal : 45 ms
[2025-06-04 06:56:43] [INFO ] Time to serialize properties into /tmp/CTLFireability5277559937676536157.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/CTLFireability13909466247486323356.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5277559937676536157.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 : 3499/3499 places, 7849/7849 transitions.
Discarding 71 places :
Symmetric choice reduction at 0 with 71 rule applications. Total rules 71 place count 3428 transition count 7670
Iterating global reduction 0 with 71 rules applied. Total rules applied 142 place count 3428 transition count 7670
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 185 place count 3385 transition count 7559
Iterating global reduction 0 with 43 rules applied. Total rules applied 228 place count 3385 transition count 7559
Discarding 24 places :
Symmetric choice reduction at 0 with 24 rule applications. Total rules 252 place count 3361 transition count 7439
Iterating global reduction 0 with 24 rules applied. Total rules applied 276 place count 3361 transition count 7439
Applied a total of 276 rules in 2318 ms. Remains 3361 /3499 variables (removed 138) and now considering 7439/7849 (removed 410) transitions.
[2025-06-04 06:57:16] [INFO ] Flow matrix only has 6839 transitions (discarded 600 similar events)
// Phase 1: matrix 6839 rows 3361 cols
[2025-06-04 06:57:16] [INFO ] Computed 112 invariants in 166 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:57:29] [INFO ] Implicit Places using invariants in 12750 ms returned [195, 664, 804, 913, 914, 990, 1080, 1141, 1214, 1269, 1365, 1410, 1411, 1412, 1450, 1484, 1513, 1576, 1577, 1603, 1617, 1618, 1637, 1644, 1658, 1668, 1685, 1720, 1759, 1760, 1782, 1841, 1873, 1874, 1912, 1955, 2051, 2113, 2180, 2181, 2258, 2259, 2623, 2719, 2728, 2862, 2985]
[2025-06-04 06:57:29] [INFO ] Actually due to overlaps returned [1637, 2719, 195, 804, 913, 914, 990, 1080, 1141, 1214, 1269, 1365, 1410, 1411, 1412, 1450, 1484, 1513, 1576, 1577, 1603, 1617, 1618, 1644, 1658, 1685, 1720, 1759, 1760, 1782, 1841, 1873, 1874, 1912, 1955, 2051, 2113, 2180, 2181, 2258, 2259, 2623, 2728, 2862, 2985]
Discarding 45 places :
Implicit Place search using SMT only with invariants took 12759 ms to find 45 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3316/3499 places, 7439/7849 transitions.
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 43 place count 3273 transition count 7396
Iterating global reduction 0 with 43 rules applied. Total rules applied 86 place count 3273 transition count 7396
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 129 place count 3230 transition count 7353
Iterating global reduction 0 with 43 rules applied. Total rules applied 172 place count 3230 transition count 7353
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 215 place count 3187 transition count 7310
Iterating global reduction 0 with 43 rules applied. Total rules applied 258 place count 3187 transition count 7310
Discarding 32 places :
Symmetric choice reduction at 0 with 32 rule applications. Total rules 290 place count 3155 transition count 7150
Iterating global reduction 0 with 32 rules applied. Total rules applied 322 place count 3155 transition count 7150
Applied a total of 322 rules in 3222 ms. Remains 3155 /3316 variables (removed 161) and now considering 7150/7439 (removed 289) transitions.
[2025-06-04 06:57:32] [INFO ] Flow matrix only has 6550 transitions (discarded 600 similar events)
// Phase 1: matrix 6550 rows 3155 cols
[2025-06-04 06:57:32] [INFO ] Computed 67 invariants in 209 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:57:40] [INFO ] Implicit Places using invariants in 8483 ms returned [660, 1585]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 8507 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3153/3499 places, 7150/7849 transitions.
Applied a total of 0 rules in 755 ms. Remains 3153 /3153 variables (removed 0) and now considering 7150/7150 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 27565 ms. Remains : 3153/3499 places, 7150/7849 transitions.
[2025-06-04 06:57:41] [INFO ] Flatten gal took : 168 ms
[2025-06-04 06:57:41] [INFO ] Flatten gal took : 197 ms
[2025-06-04 06:57:42] [INFO ] Input system was already deterministic with 7150 transitions.
[2025-06-04 06:57:42] [INFO ] Flatten gal took : 192 ms
[2025-06-04 06:57:42] [INFO ] Flatten gal took : 198 ms
[2025-06-04 06:57:42] [INFO ] Time to serialize gal into /tmp/CTLFireability18369115892784380891.gal : 30 ms
[2025-06-04 06:57:42] [INFO ] Time to serialize properties into /tmp/CTLFireability4312124319102302160.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/CTLFireability18369115892784380891.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4312124319102302160.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 06:58:13] [INFO ] Flatten gal took : 194 ms
[2025-06-04 06:58:13] [INFO ] Applying decomposition
[2025-06-04 06:58:13] [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/graph2031318783590444867.txt' '-o' '/tmp/graph2031318783590444867.bin' '-w' '/tmp/graph2031318783590444867.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2031318783590444867.bin' '-l' '-1' '-v' '-w' '/tmp/graph2031318783590444867.weights' '-q' '0' '-e' '0.001'
[2025-06-04 06:58:13] [INFO ] Decomposing Gal with order
[2025-06-04 06:58:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 06:58:14] [INFO ] Removed a total of 5866 redundant transitions.
[2025-06-04 06:58:14] [INFO ] Flatten gal took : 572 ms
[2025-06-04 06:58:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 2716 labels/synchronizations in 239 ms.
[2025-06-04 06:58:14] [INFO ] Time to serialize gal into /tmp/CTLFireability2818661705911983659.gal : 39 ms
[2025-06-04 06:58:14] [INFO ] Time to serialize properties into /tmp/CTLFireability5699431700151320250.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/CTLFireability2818661705911983659.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5699431700151320250.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 : 3499/3499 places, 7849/7849 transitions.
Discarding 74 places :
Symmetric choice reduction at 0 with 74 rule applications. Total rules 74 place count 3425 transition count 7659
Iterating global reduction 0 with 74 rules applied. Total rules applied 148 place count 3425 transition count 7659
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 191 place count 3382 transition count 7548
Iterating global reduction 0 with 43 rules applied. Total rules applied 234 place count 3382 transition count 7548
Discarding 25 places :
Symmetric choice reduction at 0 with 25 rule applications. Total rules 259 place count 3357 transition count 7423
Iterating global reduction 0 with 25 rules applied. Total rules applied 284 place count 3357 transition count 7423
Applied a total of 284 rules in 2463 ms. Remains 3357 /3499 variables (removed 142) and now considering 7423/7849 (removed 426) transitions.
[2025-06-04 06:58:47] [INFO ] Flow matrix only has 6823 transitions (discarded 600 similar events)
// Phase 1: matrix 6823 rows 3357 cols
[2025-06-04 06:58:47] [INFO ] Computed 112 invariants in 181 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:59:01] [INFO ] Implicit Places using invariants in 13749 ms returned [195, 408, 664, 804, 913, 914, 990, 1080, 1141, 1214, 1215, 1267, 1362, 1407, 1408, 1409, 1447, 1481, 1510, 1573, 1574, 1591, 1600, 1614, 1615, 1634, 1641, 1655, 1657, 1665, 1682, 1717, 1757, 1782, 1805, 1841, 1873, 1874, 1912, 1955, 2050, 2112, 2113, 2176, 2177, 2254, 2255, 2619, 2715, 2724, 2858, 2981]
[2025-06-04 06:59:01] [INFO ] Actually due to overlaps returned [1591, 1634, 1805, 2715, 195, 804, 913, 914, 990, 1080, 1141, 1214, 1215, 1267, 1362, 1407, 1408, 1409, 1447, 1481, 1510, 1573, 1574, 1600, 1614, 1615, 1641, 1655, 1682, 1717, 1757, 1782, 1841, 1873, 1874, 1912, 1955, 2050, 2112, 2113, 2176, 2177, 2254, 2255, 2619, 2724, 2858, 2981]
Discarding 48 places :
Implicit Place search using SMT only with invariants took 13764 ms to find 48 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3309/3499 places, 7423/7849 transitions.
Discarding 44 places :
Symmetric choice reduction at 0 with 44 rule applications. Total rules 44 place count 3265 transition count 7379
Iterating global reduction 0 with 44 rules applied. Total rules applied 88 place count 3265 transition count 7379
Discarding 44 places :
Symmetric choice reduction at 0 with 44 rule applications. Total rules 132 place count 3221 transition count 7335
Iterating global reduction 0 with 44 rules applied. Total rules applied 176 place count 3221 transition count 7335
Discarding 44 places :
Symmetric choice reduction at 0 with 44 rule applications. Total rules 220 place count 3177 transition count 7291
Iterating global reduction 0 with 44 rules applied. Total rules applied 264 place count 3177 transition count 7291
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 297 place count 3144 transition count 7126
Iterating global reduction 0 with 33 rules applied. Total rules applied 330 place count 3144 transition count 7126
Applied a total of 330 rules in 3087 ms. Remains 3144 /3309 variables (removed 165) and now considering 7126/7423 (removed 297) transitions.
[2025-06-04 06:59:04] [INFO ] Flow matrix only has 6526 transitions (discarded 600 similar events)
// Phase 1: matrix 6526 rows 3144 cols
[2025-06-04 06:59:04] [INFO ] Computed 64 invariants in 251 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 06:59:12] [INFO ] Implicit Places using invariants in 8464 ms returned [407, 660, 1569, 1577]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 8469 ms to find 4 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3140/3499 places, 7126/7849 transitions.
Applied a total of 0 rules in 734 ms. Remains 3140 /3140 variables (removed 0) and now considering 7126/7126 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 28517 ms. Remains : 3140/3499 places, 7126/7849 transitions.
[2025-06-04 06:59:13] [INFO ] Flatten gal took : 167 ms
[2025-06-04 06:59:13] [INFO ] Flatten gal took : 195 ms
[2025-06-04 06:59:14] [INFO ] Input system was already deterministic with 7126 transitions.
[2025-06-04 06:59:14] [INFO ] Flatten gal took : 192 ms
[2025-06-04 06:59:14] [INFO ] Flatten gal took : 288 ms
[2025-06-04 06:59:14] [INFO ] Time to serialize gal into /tmp/CTLFireability335762172142936918.gal : 46 ms
[2025-06-04 06:59:14] [INFO ] Time to serialize properties into /tmp/CTLFireability10861480570385986457.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/CTLFireability335762172142936918.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10861480570385986457.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 06:59:44] [INFO ] Flatten gal took : 193 ms
[2025-06-04 06:59:44] [INFO ] Applying decomposition
[2025-06-04 06:59: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/graph887719326894577318.txt' '-o' '/tmp/graph887719326894577318.bin' '-w' '/tmp/graph887719326894577318.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph887719326894577318.bin' '-l' '-1' '-v' '-w' '/tmp/graph887719326894577318.weights' '-q' '0' '-e' '0.001'
[2025-06-04 06:59:45] [INFO ] Decomposing Gal with order
[2025-06-04 06:59:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 06:59:46] [INFO ] Removed a total of 5665 redundant transitions.
[2025-06-04 06:59:46] [INFO ] Flatten gal took : 559 ms
[2025-06-04 06:59:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 2952 labels/synchronizations in 250 ms.
[2025-06-04 06:59:47] [INFO ] Time to serialize gal into /tmp/CTLFireability18403748324348021222.gal : 45 ms
[2025-06-04 06:59:47] [INFO ] Time to serialize properties into /tmp/CTLFireability3695938215817932164.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/CTLFireability18403748324348021222.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3695938215817932164.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 : 3499/3499 places, 7849/7849 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 37 transitions
Trivial Post-agglo rules discarded 37 transitions
Performed 37 trivial Post agglomeration. Transition count delta: 37
Iterating post reduction 0 with 37 rules applied. Total rules applied 37 place count 3499 transition count 7812
Reduce places removed 37 places and 0 transitions.
Iterating post reduction 1 with 37 rules applied. Total rules applied 74 place count 3462 transition count 7812
Performed 45 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 45 Pre rules applied. Total rules applied 74 place count 3462 transition count 7767
Deduced a syphon composed of 45 places in 5 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 2 with 90 rules applied. Total rules applied 164 place count 3417 transition count 7767
Discarding 47 places :
Symmetric choice reduction at 2 with 47 rule applications. Total rules 211 place count 3370 transition count 7608
Iterating global reduction 2 with 47 rules applied. Total rules applied 258 place count 3370 transition count 7608
Discarding 17 places :
Symmetric choice reduction at 2 with 17 rule applications. Total rules 275 place count 3353 transition count 7523
Iterating global reduction 2 with 17 rules applied. Total rules applied 292 place count 3353 transition count 7523
Performed 45 Post agglomeration using F-continuation condition.Transition count delta: 45
Deduced a syphon composed of 45 places in 5 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 2 with 90 rules applied. Total rules applied 382 place count 3308 transition count 7478
Discarding 27 places :
Symmetric choice reduction at 2 with 27 rule applications. Total rules 409 place count 3281 transition count 7451
Iterating global reduction 2 with 27 rules applied. Total rules applied 436 place count 3281 transition count 7451
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 462 place count 3255 transition count 7321
Iterating global reduction 2 with 26 rules applied. Total rules applied 488 place count 3255 transition count 7321
Applied a total of 488 rules in 4340 ms. Remains 3255 /3499 variables (removed 244) and now considering 7321/7849 (removed 528) transitions.
[2025-06-04 07:00:21] [INFO ] Flow matrix only has 6721 transitions (discarded 600 similar events)
// Phase 1: matrix 6721 rows 3255 cols
[2025-06-04 07:00:21] [INFO ] Computed 112 invariants in 202 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 07:00:34] [INFO ] Implicit Places using invariants in 12454 ms returned [185, 386, 640, 779, 888, 889, 961, 1051, 1109, 1182, 1183, 1231, 1324, 1369, 1370, 1371, 1404, 1439, 1465, 1526, 1527, 1542, 1550, 1564, 1565, 1581, 1587, 1601, 1603, 1611, 1625, 1658, 1695, 1696, 1718, 1738, 1773, 1803, 1804, 1842, 1881, 1974, 2036, 2037, 2096, 2097, 2174, 2175, 2533, 2628, 2636, 2770, 2890]
[2025-06-04 07:00:34] [INFO ] Actually due to overlaps returned [1542, 1581, 1738, 2628, 185, 779, 888, 889, 961, 1051, 1109, 1182, 1183, 1231, 1324, 1369, 1370, 1371, 1404, 1439, 1465, 1526, 1527, 1550, 1564, 1565, 1587, 1601, 1625, 1658, 1695, 1696, 1718, 1773, 1803, 1804, 1842, 1881, 1974, 2036, 2037, 2096, 2097, 2174, 2175, 2533, 2636, 2770, 2890]
Discarding 49 places :
Implicit Place search using SMT only with invariants took 12469 ms to find 49 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3206/3499 places, 7321/7849 transitions.
Discarding 35 places :
Symmetric choice reduction at 0 with 35 rule applications. Total rules 35 place count 3171 transition count 7286
Iterating global reduction 0 with 35 rules applied. Total rules applied 70 place count 3171 transition count 7286
Discarding 35 places :
Symmetric choice reduction at 0 with 35 rule applications. Total rules 105 place count 3136 transition count 7251
Iterating global reduction 0 with 35 rules applied. Total rules applied 140 place count 3136 transition count 7251
Discarding 15 places :
Symmetric choice reduction at 0 with 15 rule applications. Total rules 155 place count 3121 transition count 7176
Iterating global reduction 0 with 15 rules applied. Total rules applied 170 place count 3121 transition count 7176
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 4 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 0 with 20 rules applied. Total rules applied 190 place count 3111 transition count 7166
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 200 place count 3101 transition count 7156
Iterating global reduction 0 with 10 rules applied. Total rules applied 210 place count 3101 transition count 7156
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 229 place count 3082 transition count 7061
Iterating global reduction 0 with 19 rules applied. Total rules applied 248 place count 3082 transition count 7061
Applied a total of 248 rules in 4933 ms. Remains 3082 /3206 variables (removed 124) and now considering 7061/7321 (removed 260) transitions.
[2025-06-04 07:00:39] [INFO ] Flow matrix only has 6461 transitions (discarded 600 similar events)
// Phase 1: matrix 6461 rows 3082 cols
[2025-06-04 07:00:39] [INFO ] Computed 63 invariants in 184 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 07:00:47] [INFO ] Implicit Places using invariants in 8293 ms returned [385, 637, 1537, 1545]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 8313 ms to find 4 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3078/3499 places, 7061/7849 transitions.
Applied a total of 0 rules in 1160 ms. Remains 3078 /3078 variables (removed 0) and now considering 7061/7061 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 31215 ms. Remains : 3078/3499 places, 7061/7849 transitions.
[2025-06-04 07:00:48] [INFO ] Flatten gal took : 136 ms
[2025-06-04 07:00:48] [INFO ] Flatten gal took : 164 ms
[2025-06-04 07:00:49] [INFO ] Input system was already deterministic with 7061 transitions.
[2025-06-04 07:00:49] [INFO ] Flatten gal took : 182 ms
RANDOM walk for 30869 steps (845 resets) in 803 ms. (38 steps per ms) remains 0/1 properties
FORMULA MultiCrashLeafsetExtension-PT-S24C05-CTLFireability-2023-13 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
[2025-06-04 07:00:49] [INFO ] Flatten gal took : 167 ms
[2025-06-04 07:00:49] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality18005381958477647550.gal : 30 ms
[2025-06-04 07:00:49] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality785581227691860467.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality18005381958477647550.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality785581227691860467.prop' '--nowitness' '--gen-order' 'FOLLOW'
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 3499/3499 places, 7849/7849 transitions.
Discarding 69 places :
Symmetric choice reduction at 0 with 69 rule applications. Total rules 69 place count 3430 transition count 7672
Iterating global reduction 0 with 69 rules applied. Total rules applied 138 place count 3430 transition count 7672
Discarding 39 places :
Symmetric choice reduction at 0 with 39 rule applications. Total rules 177 place count 3391 transition count 7585
Iterating global reduction 0 with 39 rules applied. Total rules applied 216 place count 3391 transition count 7585
Discarding 26 places :
Symmetric choice reduction at 0 with 26 rule applications. Total rules 242 place count 3365 transition count 7455
Iterating global reduction 0 with 26 rules applied. Total rules applied 268 place count 3365 transition count 7455
Applied a total of 268 rules in 2553 ms. Remains 3365 /3499 variables (removed 134) and now considering 7455/7849 (removed 394) transitions.
[2025-06-04 07:00:52] [INFO ] Flow matrix only has 6855 transitions (discarded 600 similar events)
// Phase 1: matrix 6855 rows 3365 cols
[2025-06-04 07:00:52] [INFO ] Computed 112 invariants in 253 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 07:01:07] [INFO ] Implicit Places using invariants in 14966 ms returned [195, 409, 665, 805, 914, 915, 991, 1081, 1142, 1215, 1216, 1268, 1363, 1408, 1409, 1410, 1448, 1482, 1576, 1596, 1605, 1619, 1620, 1639, 1646, 1660, 1662, 1670, 1687, 1722, 1761, 1762, 1784, 1807, 1843, 1876, 1916, 1960, 2055, 2118, 2119, 2182, 2183, 2260, 2627, 2723, 2732, 2866, 2989]
[2025-06-04 07:01:07] [INFO ] Actually due to overlaps returned [1596, 1639, 1807, 2723, 195, 805, 914, 915, 991, 1081, 1142, 1215, 1216, 1268, 1363, 1408, 1409, 1410, 1448, 1482, 1576, 1605, 1619, 1620, 1646, 1660, 1687, 1722, 1761, 1762, 1784, 1843, 1876, 1916, 1960, 2055, 2118, 2119, 2182, 2183, 2260, 2627, 2732, 2866, 2989]
Discarding 45 places :
Implicit Place search using SMT only with invariants took 14983 ms to find 45 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3320/3499 places, 7455/7849 transitions.
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 41 place count 3279 transition count 7414
Iterating global reduction 0 with 41 rules applied. Total rules applied 82 place count 3279 transition count 7414
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 123 place count 3238 transition count 7373
Iterating global reduction 0 with 41 rules applied. Total rules applied 164 place count 3238 transition count 7373
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 205 place count 3197 transition count 7332
Iterating global reduction 0 with 41 rules applied. Total rules applied 246 place count 3197 transition count 7332
Discarding 30 places :
Symmetric choice reduction at 0 with 30 rule applications. Total rules 276 place count 3167 transition count 7182
Iterating global reduction 0 with 30 rules applied. Total rules applied 306 place count 3167 transition count 7182
Applied a total of 306 rules in 3344 ms. Remains 3167 /3320 variables (removed 153) and now considering 7182/7455 (removed 273) transitions.
[2025-06-04 07:01:10] [INFO ] Flow matrix only has 6582 transitions (discarded 600 similar events)
// Phase 1: matrix 6582 rows 3167 cols
[2025-06-04 07:01:10] [INFO ] Computed 67 invariants in 226 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 07:01:19] [INFO ] Implicit Places using invariants in 8768 ms returned [408, 661, 1582, 1590]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 8786 ms to find 4 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3163/3499 places, 7182/7849 transitions.
Applied a total of 0 rules in 708 ms. Remains 3163 /3163 variables (removed 0) and now considering 7182/7182 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 30374 ms. Remains : 3163/3499 places, 7182/7849 transitions.
[2025-06-04 07:01:20] [INFO ] Flatten gal took : 202 ms
[2025-06-04 07:01:20] [INFO ] Flatten gal took : 244 ms
[2025-06-04 07:01:20] [INFO ] Input system was already deterministic with 7182 transitions.
[2025-06-04 07:01:21] [INFO ] Flatten gal took : 190 ms
[2025-06-04 07:01:21] [INFO ] Flatten gal took : 198 ms
[2025-06-04 07:01:21] [INFO ] Time to serialize gal into /tmp/CTLFireability13224871918581453501.gal : 30 ms
[2025-06-04 07:01:21] [INFO ] Time to serialize properties into /tmp/CTLFireability12258031912633347366.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/CTLFireability13224871918581453501.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12258031912633347366.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 07:01:51] [INFO ] Flatten gal took : 191 ms
[2025-06-04 07:01:51] [INFO ] Applying decomposition
[2025-06-04 07:01:51] [INFO ] Flatten gal took : 200 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/graph2433581020578709169.txt' '-o' '/tmp/graph2433581020578709169.bin' '-w' '/tmp/graph2433581020578709169.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2433581020578709169.bin' '-l' '-1' '-v' '-w' '/tmp/graph2433581020578709169.weights' '-q' '0' '-e' '0.001'
[2025-06-04 07:01:52] [INFO ] Decomposing Gal with order
[2025-06-04 07:01:52] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 07:01:53] [INFO ] Removed a total of 5781 redundant transitions.
[2025-06-04 07:01:53] [INFO ] Flatten gal took : 571 ms
[2025-06-04 07:01:53] [INFO ] Fuse similar labels procedure discarded/fused a total of 2793 labels/synchronizations in 253 ms.
[2025-06-04 07:01:53] [INFO ] Time to serialize gal into /tmp/CTLFireability16476155665118460502.gal : 46 ms
[2025-06-04 07:01:53] [INFO ] Time to serialize properties into /tmp/CTLFireability14335469497051585168.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/CTLFireability16476155665118460502.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14335469497051585168.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 : 3499/3499 places, 7849/7849 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 36 transitions
Trivial Post-agglo rules discarded 36 transitions
Performed 36 trivial Post agglomeration. Transition count delta: 36
Iterating post reduction 0 with 36 rules applied. Total rules applied 36 place count 3499 transition count 7813
Reduce places removed 36 places and 0 transitions.
Iterating post reduction 1 with 36 rules applied. Total rules applied 72 place count 3463 transition count 7813
Performed 44 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 44 Pre rules applied. Total rules applied 72 place count 3463 transition count 7769
Deduced a syphon composed of 44 places in 5 ms
Reduce places removed 44 places and 0 transitions.
Iterating global reduction 2 with 88 rules applied. Total rules applied 160 place count 3419 transition count 7769
Discarding 47 places :
Symmetric choice reduction at 2 with 47 rule applications. Total rules 207 place count 3372 transition count 7606
Iterating global reduction 2 with 47 rules applied. Total rules applied 254 place count 3372 transition count 7606
Discarding 16 places :
Symmetric choice reduction at 2 with 16 rule applications. Total rules 270 place count 3356 transition count 7526
Iterating global reduction 2 with 16 rules applied. Total rules applied 286 place count 3356 transition count 7526
Performed 45 Post agglomeration using F-continuation condition.Transition count delta: 45
Deduced a syphon composed of 45 places in 5 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 2 with 90 rules applied. Total rules applied 376 place count 3311 transition count 7481
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 402 place count 3285 transition count 7455
Iterating global reduction 2 with 26 rules applied. Total rules applied 428 place count 3285 transition count 7455
Discarding 25 places :
Symmetric choice reduction at 2 with 25 rule applications. Total rules 453 place count 3260 transition count 7330
Iterating global reduction 2 with 25 rules applied. Total rules applied 478 place count 3260 transition count 7330
Applied a total of 478 rules in 4489 ms. Remains 3260 /3499 variables (removed 239) and now considering 7330/7849 (removed 519) transitions.
[2025-06-04 07:02:28] [INFO ] Flow matrix only has 6730 transitions (discarded 600 similar events)
// Phase 1: matrix 6730 rows 3260 cols
[2025-06-04 07:02:28] [INFO ] Computed 112 invariants in 240 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 07:02:40] [INFO ] Implicit Places using invariants in 12631 ms returned [185, 386, 640, 891, 892, 964, 1054, 1112, 1185, 1186, 1234, 1327, 1372, 1373, 1374, 1407, 1441, 1467, 1528, 1529, 1544, 1552, 1566, 1567, 1583, 1589, 1603, 1605, 1613, 1627, 1660, 1697, 1698, 1720, 1740, 1808, 1809, 1847, 1886, 1979, 2041, 2042, 2101, 2102, 2179, 2180, 2538, 2633, 2641, 2775, 2895]
[2025-06-04 07:02:40] [INFO ] Actually due to overlaps returned [1544, 1583, 1740, 2633, 185, 891, 892, 964, 1054, 1112, 1185, 1186, 1234, 1327, 1372, 1373, 1374, 1407, 1441, 1467, 1528, 1529, 1552, 1566, 1567, 1589, 1603, 1627, 1660, 1697, 1698, 1720, 1808, 1809, 1847, 1886, 1979, 2041, 2042, 2101, 2102, 2179, 2180, 2538, 2641, 2775, 2895]
Discarding 47 places :
Implicit Place search using SMT only with invariants took 12649 ms to find 47 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3213/3499 places, 7330/7849 transitions.
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 33 place count 3180 transition count 7297
Iterating global reduction 0 with 33 rules applied. Total rules applied 66 place count 3180 transition count 7297
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 99 place count 3147 transition count 7264
Iterating global reduction 0 with 33 rules applied. Total rules applied 132 place count 3147 transition count 7264
Discarding 14 places :
Symmetric choice reduction at 0 with 14 rule applications. Total rules 146 place count 3133 transition count 7194
Iterating global reduction 0 with 14 rules applied. Total rules applied 160 place count 3133 transition count 7194
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 5 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 0 with 20 rules applied. Total rules applied 180 place count 3123 transition count 7184
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 190 place count 3113 transition count 7174
Iterating global reduction 0 with 10 rules applied. Total rules applied 200 place count 3113 transition count 7174
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 218 place count 3095 transition count 7084
Iterating global reduction 0 with 18 rules applied. Total rules applied 236 place count 3095 transition count 7084
Applied a total of 236 rules in 4612 ms. Remains 3095 /3213 variables (removed 118) and now considering 7084/7330 (removed 246) transitions.
[2025-06-04 07:02:45] [INFO ] Flow matrix only has 6484 transitions (discarded 600 similar events)
// Phase 1: matrix 6484 rows 3095 cols
[2025-06-04 07:02:45] [INFO ] Computed 65 invariants in 183 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 07:02:54] [INFO ] Implicit Places using invariants in 8594 ms returned [385, 637, 1542, 1550]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 8628 ms to find 4 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3091/3499 places, 7084/7849 transitions.
Applied a total of 0 rules in 759 ms. Remains 3091 /3091 variables (removed 0) and now considering 7084/7084 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 31137 ms. Remains : 3091/3499 places, 7084/7849 transitions.
[2025-06-04 07:02:55] [INFO ] Flatten gal took : 137 ms
[2025-06-04 07:02:55] [INFO ] Flatten gal took : 164 ms
[2025-06-04 07:02:55] [INFO ] Input system was already deterministic with 7084 transitions.
[2025-06-04 07:02:55] [INFO ] Flatten gal took : 159 ms
[2025-06-04 07:02:55] [INFO ] Flatten gal took : 165 ms
[2025-06-04 07:02:55] [INFO ] Time to serialize gal into /tmp/CTLFireability18247419950593491195.gal : 31 ms
[2025-06-04 07:02:55] [INFO ] Time to serialize properties into /tmp/CTLFireability313885050520936873.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/CTLFireability18247419950593491195.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability313885050520936873.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 07:03:26] [INFO ] Flatten gal took : 161 ms
[2025-06-04 07:03:26] [INFO ] Applying decomposition
[2025-06-04 07:03:26] [INFO ] Flatten gal took : 194 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/graph9882593463273831435.txt' '-o' '/tmp/graph9882593463273831435.bin' '-w' '/tmp/graph9882593463273831435.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph9882593463273831435.bin' '-l' '-1' '-v' '-w' '/tmp/graph9882593463273831435.weights' '-q' '0' '-e' '0.001'
[2025-06-04 07:03:26] [INFO ] Decomposing Gal with order
[2025-06-04 07:03:26] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 07:03:28] [INFO ] Removed a total of 6673 redundant transitions.
[2025-06-04 07:03:28] [INFO ] Flatten gal took : 1194 ms
[2025-06-04 07:03:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 4493 labels/synchronizations in 332 ms.
[2025-06-04 07:03:29] [INFO ] Time to serialize gal into /tmp/CTLFireability4043461612021558773.gal : 44 ms
[2025-06-04 07:03:29] [INFO ] Time to serialize properties into /tmp/CTLFireability825493717476041653.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/CTLFireability4043461612021558773.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability825493717476041653.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.
[2025-06-04 07:03:59] [INFO ] Flatten gal took : 240 ms
[2025-06-04 07:03:59] [INFO ] Flatten gal took : 275 ms
[2025-06-04 07:03:59] [INFO ] Applying decomposition
[2025-06-04 07:04:00] [INFO ] Flatten gal took : 219 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/graph11002845541723129391.txt' '-o' '/tmp/graph11002845541723129391.bin' '-w' '/tmp/graph11002845541723129391.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph11002845541723129391.bin' '-l' '-1' '-v' '-w' '/tmp/graph11002845541723129391.weights' '-q' '0' '-e' '0.001'
[2025-06-04 07:04:00] [INFO ] Decomposing Gal with order
[2025-06-04 07:04:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 07:04:01] [INFO ] Removed a total of 6886 redundant transitions.
[2025-06-04 07:04:01] [INFO ] Flatten gal took : 749 ms
[2025-06-04 07:04:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 3719 labels/synchronizations in 309 ms.
[2025-06-04 07:04:02] [INFO ] Time to serialize gal into /tmp/CTLFireability14107575325618483585.gal : 51 ms
[2025-06-04 07:04:02] [INFO ] Time to serialize properties into /tmp/CTLFireability3677580678704025739.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14107575325618483585.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3677580678704025739.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 13 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 07:32:02] [INFO ] Flatten gal took : 2493 ms
[2025-06-04 07:32:02] [INFO ] Time to serialize gal into /tmp/CTLFireability6202835519853315840.gal : 204 ms
[2025-06-04 07:32:02] [INFO ] Time to serialize properties into /tmp/CTLFireability3677822552564820012.ctl : 20 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/CTLFireability6202835519853315840.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3677822552564820012.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 13 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
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202505121319.jar
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S24C05"
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-S24C05, 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-174876524400362"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C05.tgz
mv MultiCrashLeafsetExtension-PT-S24C05 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 ;