About the Execution of ITS-Tools for MultiCrashLeafsetExtension-PT-S24C03
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 3600000.00 | 0.00 | 0.00 | F????????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-174876524400346.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-S24C03, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-174876524400346
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.2M
-rw-r--r-- 1 mcc users 11K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.8K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.1K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.3K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 57K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 72K 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.7K 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 8.8M 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-S24C03-CTLFireability-2023-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLFireability-2023-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLFireability-2023-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLFireability-2023-15
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLFireability-2025-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLFireability-2025-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLFireability-2025-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLFireability-2025-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLFireability-2025-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLFireability-2025-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLFireability-2025-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLFireability-2025-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLFireability-2025-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLFireability-2025-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLFireability-2025-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C03-CTLFireability-2025-11
=== Now, execution of the tool begins
BK_START 1748992160631
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-S24C03
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202505121319
[2025-06-03 23:09:22] [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-03 23:09:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-03 23:09:23] [INFO ] Load time of PNML (sax parser for PT used): 765 ms
[2025-06-03 23:09:23] [INFO ] Transformed 8390 places.
[2025-06-03 23:09:23] [INFO ] Transformed 12757 transitions.
[2025-06-03 23:09:23] [INFO ] Parsed PT model containing 8390 places and 12757 transitions and 52526 arcs in 994 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 22 ms.
Support contains 146 out of 8390 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 8390/8390 places, 12757/12757 transitions.
Reduce places removed 34 places and 0 transitions.
Iterating post reduction 0 with 34 rules applied. Total rules applied 34 place count 8356 transition count 12757
Discarding 1784 places :
Symmetric choice reduction at 1 with 1784 rule applications. Total rules 1818 place count 6572 transition count 10973
Iterating global reduction 1 with 1784 rules applied. Total rules applied 3602 place count 6572 transition count 10973
Discarding 1627 places :
Symmetric choice reduction at 1 with 1627 rule applications. Total rules 5229 place count 4945 transition count 9346
Iterating global reduction 1 with 1627 rules applied. Total rules applied 6856 place count 4945 transition count 9346
Discarding 517 places :
Symmetric choice reduction at 1 with 517 rule applications. Total rules 7373 place count 4428 transition count 7795
Iterating global reduction 1 with 517 rules applied. Total rules applied 7890 place count 4428 transition count 7795
Applied a total of 7890 rules in 3843 ms. Remains 4428 /8390 variables (removed 3962) and now considering 7795/12757 (removed 4962) transitions.
[2025-06-03 23:09:27] [INFO ] Flow matrix only has 7195 transitions (discarded 600 similar events)
// Phase 1: matrix 7195 rows 4428 cols
[2025-06-03 23:09:28] [INFO ] Computed 833 invariants in 718 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:09:40] [INFO ] Implicit Places using invariants in 12652 ms returned [4, 8, 12, 14, 16, 18, 23, 30, 39, 50, 63, 78, 95, 114, 135, 158, 182, 206, 210, 212, 233, 252, 269, 284, 297, 308, 317, 327, 332, 335, 350, 357, 361, 362, 363, 366, 371, 378, 387, 398, 413, 428, 445, 464, 485, 507, 529, 530, 531, 532, 551, 568, 583, 596, 607, 616, 623, 628, 631, 633, 648, 655, 658, 660, 661, 663, 666, 671, 678, 687, 698, 711, 726, 743, 765, 785, 805, 806, 807, 808, 825, 840, 853, 864, 873, 880, 885, 888, 890, 892, 907, 914, 917, 918, 919, 920, 922, 924, 927, 932, 939, 948, 959, 972, 987, 1004, 1022, 1040, 1041, 1042, 1043, 1058, 1071, 1082, 1091, 1098, 1103, 1106, 1109, 1111, 1113, 1128, 1135, 1138, 1140, 1141, 1143, 1145, 1149, 1152, 1157, 1164, 1173, 1184, 1197, 1212, 1228, 1244, 1245, 1246, 1247, 1260, 1271, 1280, 1288, 1293, 1296, 1298, 1300, 1302, 1304, 1319, 1326, 1329, 1330, 1331, 1332, 1334, 1336, 1338, 1340, 1343, 1348, 1355, 1364, 1375, 1388, 1402, 1416, 1417, 1418, 1419, 1430, 1439, 1446, 1451, 1454, 1456, 1458, 1460, 1462, 1464, 1479, 1486, 1489, 1490, 1491, 1492, 1494, 1496, 1498, 1500, 1502, 1505, 1510, 1517, 1526, 1537, 1549, 1561, 1562, 1563, 1564, 1573, 1580, 1585, 1588, 1590, 1592, 1594, 1596, 1598, 1600, 1615, 1622, 1626, 1627, 1628, 1630, 1632, 1634, 1636, 1638, 1643, 1646, 1651, 1658, 1667, 1677, 1687, 1688, 1689, 1690, 1697, 1702, 1705, 1707, 1709, 1713, 1715, 1717, 1719, 1734, 1741, 1745, 1746, 1747, 1749, 1751, 1753, 1755, 1759, 1761, 1763, 1766, 1778, 1786, 1794, 1795, 1796, 1797, 1802, 1805, 1807, 1809, 1811, 1813, 1815, 1817, 1819, 1821, 1836, 1843, 1846, 1847, 1849, 1854, 1856, 1858, 1860, 1862, 1864, 1866, 1868, 1871, 1876, 1882, 1888, 1889, 1890, 1891, 1894, 1896, 1898, 1900, 1902, 1904, 1906, 1908, 1910, 1912, 1927, 1934, 1937, 1938, 1939, 1940, 1942, 1944, 1946, 1948, 1950, 1952, 1954, 1956, 1958, 1961, 1965, 1969, 1970, 1971, 1974, 1976, 1979, 1981, 1983, 1985, 1987, 1989, 1991, 1993, 2008, 2015, 2018, 2019, 2020, 2021, 2023, 2025, 2027, 2029, 2031, 2033, 2035, 2037, 2039, 2041, 2043, 2046, 2047, 2048, 2049, 2051, 2053, 2055, 2057, 2059, 2061, 2063, 2065, 2067, 2069, 2086, 2090, 2094, 2095, 2096, 2098, 2103, 2105, 2107, 2109, 2111, 2113, 2115, 2117, 2119, 2121, 2124, 2125, 2126, 2127, 2129, 2131, 2133, 2135, 2137, 2139, 2141, 2143, 2145, 2147, 2169, 2172, 2175, 2177, 2179, 2181, 2183, 2188, 2193, 2195, 2197, 2200, 2202, 2204, 2207, 2208, 2209, 2210, 2212, 2214, 2216, 2218, 2220, 2222, 2224, 2226, 2228, 2230, 2245, 2252, 2255, 2256, 2257, 2258, 2260, 2262, 2264, 2266, 2268, 2270, 2272, 2274, 2276, 2278, 2281, 2286, 2287, 2288, 2289, 2292, 2294, 2296, 2298, 2300, 2302, 2304, 2306, 2308, 2310, 2332, 2335, 2336, 2337, 2338, 2340, 2342, 2344, 2346, 2348, 2350, 2352, 2354, 2356, 2359, 2372, 2373, 2374, 2380, 2383, 2385, 2387, 2389, 2391, 2393, 2395, 2399, 2401, 2416, 2423, 2427, 2428, 2429, 2432, 2434, 2436, 2438, 2440, 2444, 2446, 2448, 2451, 2456, 2463, 2472, 2474, 2475, 2482, 2488, 2491, 2493, 2495, 2497, 2499, 2501, 2505, 2507, 2522, 2529, 2532, 2534, 2535, 2537, 2539, 2541, 2544, 2549, 2551, 2553, 2556, 2561, 2568, 2577, 2590, 2591, 2600, 2607, 2614, 2617, 2619, 2623, 2625, 2627, 2631, 2633, 2648, 2655, 2658, 2659, 2660, 2661, 2663, 2665, 2667, 2669, 2671, 2673, 2676, 2681, 2688, 2697, 2708, 2721, 2725, 2739, 2748, 2755, 2760, 2763, 2765, 2767, 2769, 2771, 2773, 2788, 2795, 2798, 2799, 2800, 2801, 2803, 2805, 2807, 2809, 2811, 2814, 2819, 2826, 2835, 2846, 2860, 2875, 2876, 2877, 2878, 2891, 2902, 2911, 2918, 2923, 2926, 2930, 2932, 2934, 2949, 2956, 2959, 2960, 2961, 2962, 2964, 2966, 2968, 2970, 2973, 2978, 2985, 2994, 3005, 3018, 3033, 3051, 3052, 3053, 3068, 3081, 3092, 3101, 3108, 3115, 3118, 3120, 3122, 3125, 3147, 3150, 3151, 3152, 3153, 3155, 3157, 3159, 3162, 3167, 3174, 3183, 3194, 3207, 3222, 3239, 3258, 3260, 3261, 3278, 3293, 3306, 3317, 3326, 3333, 3338, 3341, 3343, 3347, 3369, 3372, 3373, 3374, 3375, 3377, 3379, 3382, 3387, 3394, 3403, 3414, 3427, 3442, 3459, 3478, 3499, 3500, 3501, 3502, 3521, 3538, 3553, 3566, 3577, 3586, 3593, 3598, 3601, 3603, 3618, 3625, 3628, 3629, 3632, 3636, 3639, 3644, 3651, 3660, 3671, 3684, 3699, 3716, 3735, 3756, 3779, 3780, 3782, 3803, 3822, 3839, 3854, 3867, 3878, 3889, 3896, 3901, 3904, 3919, 3921, 3925, 3928, 3929, 3930, 3931, 3935, 3940, 3947, 3956, 3967, 3980, 3995, 4012, 4031, 4052, 4075, 4100, 4101, 4102, 4103, 4126, 4147, 4166, 4183, 4198, 4211, 4222, 4231, 4238, 4243, 4259]
[2025-06-03 23:09:40] [INFO ] Actually due to overlaps returned [350, 648, 907, 1128, 1319, 1479, 1615, 1734, 1836, 1927, 2008, 2245, 2416, 2522, 2648, 2788, 2949, 3618, 3919, 4259, 4, 12, 14, 16, 135, 158, 206, 210, 212, 308, 317, 361, 362, 464, 485, 529, 530, 531, 532, 616, 623, 658, 660, 743, 765, 805, 806, 807, 808, 880, 885, 917, 918, 919, 987, 1004, 1040, 1041, 1042, 1043, 1103, 1106, 1138, 1140, 1197, 1212, 1244, 1245, 1246, 1247, 1296, 1298, 1329, 1330, 1331, 1375, 1388, 1416, 1417, 1418, 1419, 1456, 1458, 1489, 1490, 1491, 1526, 1537, 1561, 1562, 1563, 1564, 1592, 1594, 1626, 1627, 1658, 1667, 1687, 1688, 1689, 1690, 1713, 1745, 1746, 1778, 1794, 1795, 1796, 1797, 1813, 1815, 1846, 1847, 1871, 1876, 1888, 1889, 1890, 1891, 1904, 1906, 1937, 1938, 1939, 1958, 1961, 1969, 1970, 1971, 1985, 1987, 2018, 2019, 2020, 2041, 2046, 2047, 2048, 2049, 2061, 2063, 2086, 2094, 2095, 2119, 2124, 2125, 2126, 2127, 2139, 2141, 2172, 2202, 2204, 2207, 2208, 2209, 2210, 2222, 2224, 2255, 2256, 2257, 2278, 2281, 2286, 2287, 2288, 2302, 2304, 2335, 2336, 2337, 2359, 2372, 2373, 2380, 2391, 2393, 2427, 2428, 2456, 2463, 2472, 2474, 2482, 2497, 2499, 2532, 2534, 2568, 2577, 2590, 2600, 2623, 2625, 2658, 2659, 2660, 2697, 2708, 2721, 2739, 2765, 2767, 2798, 2799, 2800, 2846, 2860, 2875, 2876, 2877, 2891, 2926, 2959, 2960, 2961, 3018, 3033, 3051, 3052, 3068, 3118, 3150, 3151, 3152, 3222, 3239, 3258, 3260, 3278, 3338, 3372, 3373, 3374, 3459, 3478, 3499, 3500, 3501, 3521, 3593, 3598, 3628, 3629, 3735, 3756, 3779, 3780, 3803, 3889, 3896, 3921, 3928, 3929, 3930, 4052, 4075, 4100, 4101, 4102, 4126, 4222, 4231]
Discarding 266 places :
Implicit Place search using SMT only with invariants took 12734 ms to find 266 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 4162/8390 places, 7795/12757 transitions.
Discarding 122 places :
Symmetric choice reduction at 0 with 122 rule applications. Total rules 122 place count 4040 transition count 7673
Iterating global reduction 0 with 122 rules applied. Total rules applied 244 place count 4040 transition count 7673
Discarding 121 places :
Symmetric choice reduction at 0 with 121 rule applications. Total rules 365 place count 3919 transition count 7552
Iterating global reduction 0 with 121 rules applied. Total rules applied 486 place count 3919 transition count 7552
Discarding 120 places :
Symmetric choice reduction at 0 with 120 rule applications. Total rules 606 place count 3799 transition count 7432
Iterating global reduction 0 with 120 rules applied. Total rules applied 726 place count 3799 transition count 7432
Discarding 27 places :
Symmetric choice reduction at 0 with 27 rule applications. Total rules 753 place count 3772 transition count 7351
Iterating global reduction 0 with 27 rules applied. Total rules applied 780 place count 3772 transition count 7351
Applied a total of 780 rules in 2897 ms. Remains 3772 /4162 variables (removed 390) and now considering 7351/7795 (removed 444) transitions.
[2025-06-03 23:09:43] [INFO ] Flow matrix only has 6751 transitions (discarded 600 similar events)
// Phase 1: matrix 6751 rows 3772 cols
[2025-06-03 23:09:43] [INFO ] Computed 567 invariants in 262 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:09:55] [INFO ] Implicit Places using invariants in 12320 ms returned [7, 14, 19, 26, 35, 46, 59, 74, 91, 110, 176, 224, 243, 260, 275, 288, 316, 321, 324, 345, 349, 352, 357, 364, 373, 384, 399, 414, 431, 491, 531, 548, 563, 576, 587, 606, 609, 611, 625, 629, 631, 634, 639, 646, 655, 666, 679, 694, 751, 787, 802, 815, 826, 835, 848, 850, 852, 863, 865, 867, 869, 872, 877, 884, 893, 904, 917, 965, 996, 1009, 1020, 1029, 1036, 1045, 1047, 1049, 1058, 1062, 1064, 1066, 1070, 1073, 1078, 1085, 1094, 1105, 1147, 1174, 1185, 1194, 1202, 1207, 1212, 1214, 1216, 1227, 1229, 1231, 1233, 1235, 1237, 1240, 1245, 1252, 1261, 1297, 1321, 1330, 1337, 1342, 1345, 1349, 1351, 1353, 1363, 1365, 1367, 1369, 1371, 1373, 1375, 1378, 1383, 1390, 1420, 1439, 1446, 1451, 1454, 1456, 1460, 1462, 1464, 1473, 1477, 1479, 1481, 1483, 1485, 1487, 1492, 1495, 1500, 1524, 1539, 1544, 1547, 1549, 1551, 1556, 1558, 1560, 1571, 1575, 1577, 1579, 1581, 1583, 1587, 1589, 1591, 1594, 1613, 1624, 1627, 1629, 1631, 1633, 1637, 1639, 1641, 1652, 1656, 1661, 1663, 1665, 1667, 1669, 1671, 1673, 1675, 1687, 1694, 1696, 1698, 1700, 1702, 1706, 1708, 1710, 1721, 1723, 1725, 1727, 1729, 1731, 1733, 1735, 1737, 1739, 1746, 1751, 1753, 1756, 1758, 1760, 1764, 1766, 1768, 1777, 1779, 1781, 1783, 1785, 1787, 1789, 1791, 1793, 1795, 1797, 1800, 1803, 1805, 1807, 1809, 1811, 1815, 1817, 1819, 1827, 1831, 1833, 1838, 1840, 1842, 1844, 1846, 1848, 1850, 1852, 1855, 1858, 1860, 1862, 1864, 1866, 1870, 1872, 1874, 1886, 1891, 1893, 1895, 1897, 1899, 1904, 1909, 1911, 1913, 1916, 1921, 1923, 1925, 1927, 1929, 1933, 1935, 1937, 1950, 1952, 1954, 1956, 1958, 1960, 1962, 1964, 1966, 1968, 1970, 1977, 1980, 1982, 1984, 1986, 1988, 1992, 1994, 1996, 2006, 2008, 2010, 2012, 2014, 2016, 2018, 2020, 2022, 2024, 2026, 2041, 2049, 2051, 2053, 2055, 2059, 2063, 2065, 2076, 2080, 2083, 2085, 2087, 2089, 2091, 2095, 2097, 2099, 2102, 2122, 2134, 2137, 2139, 2141, 2145, 2149, 2151, 2164, 2168, 2170, 2172, 2174, 2177, 2182, 2184, 2186, 2189, 2194, 2221, 2236, 2243, 2246, 2248, 2254, 2258, 2260, 2275, 2277, 2279, 2281, 2283, 2285, 2287, 2289, 2292, 2297, 2304, 2338, 2360, 2367, 2372, 2375, 2379, 2381, 2383, 2396, 2398, 2400, 2402, 2404, 2406, 2408, 2411, 2416, 2423, 2432, 2469, 2492, 2501, 2508, 2513, 2519, 2521, 2523, 2532, 2534, 2536, 2538, 2540, 2542, 2545, 2550, 2557, 2566, 2577, 2621, 2648, 2659, 2668, 2675, 2682, 2686, 2688, 2691, 2703, 2705, 2707, 2709, 2711, 2714, 2719, 2726, 2735, 2746, 2759, 2809, 2840, 2853, 2864, 2873, 2880, 2887, 2889, 2893, 2905, 2907, 2909, 2911, 2914, 2919, 2926, 2935, 2946, 2959, 2974, 3028, 3063, 3078, 3091, 3102, 3111, 3124, 3126, 3135, 3140, 3144, 3147, 3152, 3159, 3168, 3179, 3192, 3207, 3224, 3286, 3325, 3342, 3357, 3370, 3381, 3402, 3405, 3416, 3418, 3422, 3427, 3434, 3443, 3454, 3467, 3482, 3499, 3518, 3584, 3627, 3646, 3663, 3678, 3691, 3716, 3721]
Discarding 480 places :
Implicit Place search using SMT only with invariants took 12333 ms to find 480 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3292/8390 places, 7351/12757 transitions.
Applied a total of 0 rules in 604 ms. Remains 3292 /3292 variables (removed 0) and now considering 7351/7351 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 32438 ms. Remains : 3292/8390 places, 7351/12757 transitions.
Support contains 146 out of 3292 places after structural reductions.
[2025-06-03 23:09:57] [INFO ] Flatten gal took : 604 ms
[2025-06-03 23:09:57] [INFO ] Flatten gal took : 327 ms
[2025-06-03 23:09:58] [INFO ] Input system was already deterministic with 7351 transitions.
Support contains 140 out of 3292 places (down from 146) after GAL structural reductions.
RANDOM walk for 40000 steps (1273 resets) in 3171 ms. (12 steps per ms) remains 41/69 properties
BEST_FIRST walk for 4002 steps (20 resets) in 72 ms. (54 steps per ms) remains 40/41 properties
BEST_FIRST walk for 4001 steps (20 resets) in 150 ms. (26 steps per ms) remains 40/40 properties
BEST_FIRST walk for 4003 steps (20 resets) in 63 ms. (62 steps per ms) remains 39/40 properties
BEST_FIRST walk for 4003 steps (20 resets) in 72 ms. (54 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4003 steps (20 resets) in 46 ms. (85 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4001 steps (20 resets) in 39 ms. (100 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4002 steps (20 resets) in 38 ms. (102 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4002 steps (20 resets) in 32 ms. (121 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4002 steps (20 resets) in 37 ms. (105 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4002 steps (20 resets) in 32 ms. (121 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4002 steps (20 resets) in 28 ms. (138 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4003 steps (20 resets) in 33 ms. (117 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4001 steps (20 resets) in 27 ms. (142 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4001 steps (20 resets) in 26 ms. (148 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4003 steps (20 resets) in 32 ms. (121 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4001 steps (20 resets) in 30 ms. (129 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4000 steps (20 resets) in 37 ms. (105 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4003 steps (20 resets) in 37 ms. (105 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4004 steps (20 resets) in 122 ms. (32 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4000 steps (20 resets) in 45 ms. (86 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4002 steps (20 resets) in 55 ms. (71 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4001 steps (20 resets) in 55 ms. (71 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4003 steps (20 resets) in 47 ms. (83 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4001 steps (20 resets) in 43 ms. (90 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4003 steps (20 resets) in 42 ms. (93 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4001 steps (20 resets) in 86 ms. (45 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4003 steps (20 resets) in 59 ms. (66 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4000 steps (20 resets) in 57 ms. (68 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4001 steps (20 resets) in 56 ms. (70 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4001 steps (20 resets) in 52 ms. (75 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4002 steps (20 resets) in 49 ms. (80 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4002 steps (20 resets) in 54 ms. (72 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4002 steps (20 resets) in 45 ms. (87 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4003 steps (20 resets) in 43 ms. (90 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4000 steps (20 resets) in 45 ms. (86 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4002 steps (20 resets) in 42 ms. (93 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4002 steps (20 resets) in 39 ms. (100 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4002 steps (20 resets) in 73 ms. (54 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4002 steps (20 resets) in 50 ms. (78 steps per ms) remains 39/39 properties
[2025-06-03 23:10:00] [INFO ] Flow matrix only has 6751 transitions (discarded 600 similar events)
// Phase 1: matrix 6751 rows 3292 cols
[2025-06-03 23:10:00] [INFO ] Computed 87 invariants in 317 ms
[2025-06-03 23:10:01] [INFO ] State equation strengthened by 2714 read => feed constraints.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/79 variables, 7/7 constraints. Problems are: Problem set: 0 solved, 39 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/79 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 39 unsolved
Problem AtomicPropp10 is UNSAT
Problem AtomicPropp23 is UNSAT
Problem AtomicPropp31 is UNSAT
Problem AtomicPropp67 is UNSAT
At refinement iteration 2 (OVERLAPS) 3034/3113 variables, 23/30 constraints. Problems are: Problem set: 4 solved, 35 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:10:10] [INFO ] Deduced a trap composed of 1035 places in 7298 ms of which 3162 ms to minimize.
SMT process timed out in 9839ms, After SMT, problems are : Problem set: 4 solved, 35 unsolved
Fused 35 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 63 out of 3292 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3292/3292 places, 7351/7351 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 12 transitions
Trivial Post-agglo rules discarded 12 transitions
Performed 12 trivial Post agglomeration. Transition count delta: 12
Iterating post reduction 0 with 12 rules applied. Total rules applied 12 place count 3292 transition count 7339
Reduce places removed 12 places and 0 transitions.
Iterating post reduction 1 with 12 rules applied. Total rules applied 24 place count 3280 transition count 7339
Performed 21 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 21 Pre rules applied. Total rules applied 24 place count 3280 transition count 7318
Deduced a syphon composed of 21 places in 6 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 2 with 42 rules applied. Total rules applied 66 place count 3259 transition count 7318
Discarding 21 places :
Symmetric choice reduction at 2 with 21 rule applications. Total rules 87 place count 3238 transition count 7279
Iterating global reduction 2 with 21 rules applied. Total rules applied 108 place count 3238 transition count 7279
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 108 place count 3238 transition count 7278
Deduced a syphon composed of 1 places in 17 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 110 place count 3237 transition count 7278
Discarding 12 places :
Symmetric choice reduction at 2 with 12 rule applications. Total rules 122 place count 3225 transition count 7244
Iterating global reduction 2 with 12 rules applied. Total rules applied 134 place count 3225 transition count 7244
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 135 place count 3224 transition count 7241
Iterating global reduction 2 with 1 rules applied. Total rules applied 136 place count 3224 transition count 7241
Performed 30 Post agglomeration using F-continuation condition.Transition count delta: 30
Deduced a syphon composed of 30 places in 9 ms
Reduce places removed 30 places and 0 transitions.
Iterating global reduction 2 with 60 rules applied. Total rules applied 196 place count 3194 transition count 7211
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 203 place count 3187 transition count 7204
Iterating global reduction 2 with 7 rules applied. Total rules applied 210 place count 3187 transition count 7204
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 217 place count 3180 transition count 7183
Iterating global reduction 2 with 7 rules applied. Total rules applied 224 place count 3180 transition count 7183
Free-agglomeration rule (complex) applied 248 times.
Iterating global reduction 2 with 248 rules applied. Total rules applied 472 place count 3180 transition count 7297
Reduce places removed 248 places and 0 transitions.
Iterating post reduction 2 with 248 rules applied. Total rules applied 720 place count 2932 transition count 7297
Partial Free-agglomeration rule applied 16 times.
Drop transitions (Partial Free agglomeration) removed 16 transitions
Iterating global reduction 3 with 16 rules applied. Total rules applied 736 place count 2932 transition count 7297
Applied a total of 736 rules in 7367 ms. Remains 2932 /3292 variables (removed 360) and now considering 7297/7351 (removed 54) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 7370 ms. Remains : 2932/3292 places, 7297/7351 transitions.
RANDOM walk for 40000 steps (2043 resets) in 1406 ms. (28 steps per ms) remains 30/35 properties
BEST_FIRST walk for 4004 steps (16 resets) in 105 ms. (37 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (20 resets) in 24 ms. (160 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (18 resets) in 21 ms. (182 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (18 resets) in 19 ms. (200 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (14 resets) in 18 ms. (210 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (14 resets) in 21 ms. (182 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (16 resets) in 21 ms. (182 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (13 resets) in 17 ms. (222 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (17 resets) in 19 ms. (200 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (14 resets) in 19 ms. (200 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (18 resets) in 20 ms. (190 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (20 resets) in 24 ms. (160 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (18 resets) in 23 ms. (166 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (16 resets) in 21 ms. (182 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (15 resets) in 22 ms. (174 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (16 resets) in 24 ms. (160 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4003 steps (14 resets) in 18 ms. (210 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (18 resets) in 21 ms. (182 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (13 resets) in 20 ms. (190 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (16 resets) in 18 ms. (210 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (14 resets) in 18 ms. (210 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (13 resets) in 18 ms. (210 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (15 resets) in 22 ms. (174 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (13 resets) in 18 ms. (210 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (18 resets) in 21 ms. (182 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (16 resets) in 19 ms. (200 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (17 resets) in 19 ms. (200 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (14 resets) in 19 ms. (200 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (17 resets) in 22 ms. (174 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (17 resets) in 29 ms. (133 steps per ms) remains 30/30 properties
[2025-06-03 23:10:18] [INFO ] Flow matrix only has 6473 transitions (discarded 824 similar events)
// Phase 1: matrix 6473 rows 2932 cols
[2025-06-03 23:10:18] [INFO ] Computed 87 invariants in 253 ms
[2025-06-03 23:10:19] [INFO ] State equation strengthened by 3020 read => feed constraints.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/55 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 30 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/55 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 30 unsolved
At refinement iteration 2 (OVERLAPS) 2728/2783 variables, 24/28 constraints. Problems are: Problem set: 0 solved, 30 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:10:24] [INFO ] Deduced a trap composed of 138 places in 4478 ms of which 712 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:10:28] [INFO ] Deduced a trap composed of 151 places in 4048 ms of which 586 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:10:32] [INFO ] Deduced a trap composed of 134 places in 3380 ms of which 530 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:10:36] [INFO ] Deduced a trap composed of 161 places in 4002 ms of which 634 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:10:40] [INFO ] Deduced a trap composed of 121 places in 4122 ms of which 492 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:10:44] [INFO ] Deduced a trap composed of 127 places in 3493 ms of which 531 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:10:47] [INFO ] Deduced a trap composed of 141 places in 3516 ms of which 572 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:10:51] [INFO ] Deduced a trap composed of 150 places in 3658 ms of which 596 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:10:55] [INFO ] Deduced a trap composed of 142 places in 3730 ms of which 561 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:10:59] [INFO ] Deduced a trap composed of 141 places in 4289 ms of which 839 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:11:04] [INFO ] Deduced a trap composed of 105 places in 4321 ms of which 460 ms to minimize.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2783/9405 variables, and 39 constraints, problems are : Problem set: 0 solved, 30 unsolved in 45015 ms.
Refiners :[Positive P Invariants (semi-flows): 28/49 constraints, Generalized P Invariants (flows): 0/38 constraints, State Equation: 0/2932 constraints, ReadFeed: 0/3020 constraints, PredecessorRefiner: 30/30 constraints, Known Traps: 11/11 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 30 unsolved
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/55 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 30 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/55 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 30 unsolved
At refinement iteration 2 (OVERLAPS) 2728/2783 variables, 24/28 constraints. Problems are: Problem set: 0 solved, 30 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/2783 variables, 11/39 constraints. Problems are: Problem set: 0 solved, 30 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:11:08] [INFO ] Deduced a trap composed of 148 places in 3702 ms of which 588 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:11:13] [INFO ] Deduced a trap composed of 122 places in 3896 ms of which 503 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:11:17] [INFO ] Deduced a trap composed of 119 places in 4085 ms of which 481 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:11:22] [INFO ] Deduced a trap composed of 623 places in 5594 ms of which 2469 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:11:26] [INFO ] Deduced a trap composed of 143 places in 3778 ms of which 551 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:11:30] [INFO ] Deduced a trap composed of 144 places in 3627 ms of which 581 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:11:36] [INFO ] Deduced a trap composed of 679 places in 5548 ms of which 2497 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:11:42] [INFO ] Deduced a trap composed of 699 places in 6035 ms of which 2666 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:11:47] [INFO ] Deduced a trap composed of 667 places in 5782 ms of which 2337 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:11:52] [INFO ] Deduced a trap composed of 137 places in 4001 ms of which 566 ms to minimize.
SMT process timed out in 93336ms, After SMT, problems are : Problem set: 0 solved, 30 unsolved
Fused 30 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 55 out of 2932 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2932/2932 places, 7297/7297 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 2932 transition count 7295
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 2930 transition count 7295
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 4 place count 2930 transition count 7293
Deduced a syphon composed of 2 places in 6 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 8 place count 2928 transition count 7293
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 10 place count 2926 transition count 7291
Iterating global reduction 2 with 2 rules applied. Total rules applied 12 place count 2926 transition count 7291
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 13 place count 2926 transition count 7290
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 14 place count 2925 transition count 7290
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 18 place count 2925 transition count 7290
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 20 place count 2923 transition count 7288
Iterating global reduction 3 with 2 rules applied. Total rules applied 22 place count 2923 transition count 7288
Applied a total of 22 rules in 3352 ms. Remains 2923 /2932 variables (removed 9) and now considering 7288/7297 (removed 9) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3353 ms. Remains : 2923/2932 places, 7288/7297 transitions.
Successfully simplified 4 atomic propositions for a total of 16 simplifications.
[2025-06-03 23:11:55] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2025-06-03 23:11:55] [INFO ] Flatten gal took : 232 ms
FORMULA MultiCrashLeafsetExtension-PT-S24C03-CTLFireability-2025-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-06-03 23:11:55] [INFO ] Flatten gal took : 274 ms
[2025-06-03 23:11:56] [INFO ] Input system was already deterministic with 7351 transitions.
Support contains 108 out of 3292 places (down from 127) after GAL structural reductions.
Computed a total of 668 stabilizing places and 2150 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 3292/3292 places, 7351/7351 transitions.
Discarding 32 places :
Symmetric choice reduction at 0 with 32 rule applications. Total rules 32 place count 3260 transition count 7297
Iterating global reduction 0 with 32 rules applied. Total rules applied 64 place count 3260 transition count 7297
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 84 place count 3240 transition count 7255
Iterating global reduction 0 with 20 rules applied. Total rules applied 104 place count 3240 transition count 7255
Discarding 9 places :
Symmetric choice reduction at 0 with 9 rule applications. Total rules 113 place count 3231 transition count 7228
Iterating global reduction 0 with 9 rules applied. Total rules applied 122 place count 3231 transition count 7228
Applied a total of 122 rules in 2785 ms. Remains 3231 /3292 variables (removed 61) and now considering 7228/7351 (removed 123) transitions.
[2025-06-03 23:11:59] [INFO ] Flow matrix only has 6628 transitions (discarded 600 similar events)
// Phase 1: matrix 6628 rows 3231 cols
[2025-06-03 23:11:59] [INFO ] Computed 87 invariants in 175 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:12:10] [INFO ] Implicit Places using invariants in 11307 ms returned [190, 325, 583, 1328, 1387, 1404, 1418, 1529, 1573, 1580, 1607, 1616, 1617, 1681, 1704, 1711, 1738, 1767, 1801, 1839, 1840, 1930, 2086, 2175, 2239, 2421, 2641, 2775]
[2025-06-03 23:12:10] [INFO ] Actually due to overlaps returned [1573, 1607, 1681, 2239, 2421, 190, 325, 583, 1328, 1404, 1580, 1616, 1617, 1711, 1738, 1767, 1801, 1839, 1840, 1930, 2175, 2641, 2775]
Discarding 23 places :
Implicit Place search using SMT only with invariants took 11322 ms to find 23 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3208/3292 places, 7228/7351 transitions.
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 18 place count 3190 transition count 7210
Iterating global reduction 0 with 18 rules applied. Total rules applied 36 place count 3190 transition count 7210
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 54 place count 3172 transition count 7192
Iterating global reduction 0 with 18 rules applied. Total rules applied 72 place count 3172 transition count 7192
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 90 place count 3154 transition count 7174
Iterating global reduction 0 with 18 rules applied. Total rules applied 108 place count 3154 transition count 7174
Discarding 15 places :
Symmetric choice reduction at 0 with 15 rule applications. Total rules 123 place count 3139 transition count 7129
Iterating global reduction 0 with 15 rules applied. Total rules applied 138 place count 3139 transition count 7129
Applied a total of 138 rules in 3298 ms. Remains 3139 /3208 variables (removed 69) and now considering 7129/7228 (removed 99) transitions.
[2025-06-03 23:12:13] [INFO ] Flow matrix only has 6529 transitions (discarded 600 similar events)
// Phase 1: matrix 6529 rows 3139 cols
[2025-06-03 23:12:14] [INFO ] Computed 64 invariants in 191 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:12:23] [INFO ] Implicit Places using invariants in 9841 ms returned [1373, 1400, 1509, 1670, 2026]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 9847 ms to find 5 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3134/3292 places, 7129/7351 transitions.
Applied a total of 0 rules in 567 ms. Remains 3134 /3134 variables (removed 0) and now considering 7129/7129 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 27823 ms. Remains : 3134/3292 places, 7129/7351 transitions.
[2025-06-03 23:12:24] [INFO ] Flatten gal took : 211 ms
[2025-06-03 23:12:24] [INFO ] Flatten gal took : 237 ms
[2025-06-03 23:12:25] [INFO ] Input system was already deterministic with 7129 transitions.
[2025-06-03 23:12:25] [INFO ] Flatten gal took : 208 ms
[2025-06-03 23:12:25] [INFO ] Flatten gal took : 215 ms
[2025-06-03 23:12:25] [INFO ] Time to serialize gal into /tmp/CTLFireability8772944689558739807.gal : 126 ms
[2025-06-03 23:12:25] [INFO ] Time to serialize properties into /tmp/CTLFireability7529418174943736152.ctl : 6 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8772944689558739807.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7529418174943736152.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-03 23:12:56] [INFO ] Flatten gal took : 210 ms
[2025-06-03 23:12:56] [INFO ] Applying decomposition
[2025-06-03 23:12:56] [INFO ] Flatten gal took : 208 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/graph1587238117358268698.txt' '-o' '/tmp/graph1587238117358268698.bin' '-w' '/tmp/graph1587238117358268698.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph1587238117358268698.bin' '-l' '-1' '-v' '-w' '/tmp/graph1587238117358268698.weights' '-q' '0' '-e' '0.001'
[2025-06-03 23:12:57] [INFO ] Decomposing Gal with order
[2025-06-03 23:12:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 23:12:59] [INFO ] Removed a total of 5714 redundant transitions.
[2025-06-03 23:12:59] [INFO ] Flatten gal took : 1153 ms
[2025-06-03 23:13:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 4175 labels/synchronizations in 707 ms.
[2025-06-03 23:13:00] [INFO ] Time to serialize gal into /tmp/CTLFireability6972548730678073501.gal : 108 ms
[2025-06-03 23:13:00] [INFO ] Time to serialize properties into /tmp/CTLFireability5244800106726277777.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/CTLFireability6972548730678073501.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5244800106726277777.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 : 3292/3292 places, 7351/7351 transitions.
Discarding 34 places :
Symmetric choice reduction at 0 with 34 rule applications. Total rules 34 place count 3258 transition count 7297
Iterating global reduction 0 with 34 rules applied. Total rules applied 68 place count 3258 transition count 7297
Discarding 23 places :
Symmetric choice reduction at 0 with 23 rule applications. Total rules 91 place count 3235 transition count 7250
Iterating global reduction 0 with 23 rules applied. Total rules applied 114 place count 3235 transition count 7250
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 125 place count 3224 transition count 7217
Iterating global reduction 0 with 11 rules applied. Total rules applied 136 place count 3224 transition count 7217
Applied a total of 136 rules in 2417 ms. Remains 3224 /3292 variables (removed 68) and now considering 7217/7351 (removed 134) transitions.
[2025-06-03 23:13:32] [INFO ] Flow matrix only has 6617 transitions (discarded 600 similar events)
// Phase 1: matrix 6617 rows 3224 cols
[2025-06-03 23:13:33] [INFO ] Computed 87 invariants in 182 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:13:44] [INFO ] Implicit Places using invariants in 11188 ms returned [190, 325, 583, 973, 1326, 1385, 1402, 1416, 1462, 1524, 1568, 1575, 1602, 1611, 1612, 1676, 1699, 1735, 1764, 1798, 1836, 1837, 1927, 1928, 2080, 2169, 2233, 2334, 2413, 2633, 2767]
[2025-06-03 23:13:44] [INFO ] Actually due to overlaps returned [1568, 1602, 1676, 2233, 2413, 190, 325, 583, 973, 1326, 1402, 1462, 1575, 1611, 1612, 1735, 1764, 1798, 1836, 1837, 1927, 1928, 2169, 2334, 2633, 2767]
Discarding 26 places :
Implicit Place search using SMT only with invariants took 11197 ms to find 26 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3198/3292 places, 7217/7351 transitions.
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 21 place count 3177 transition count 7196
Iterating global reduction 0 with 21 rules applied. Total rules applied 42 place count 3177 transition count 7196
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 63 place count 3156 transition count 7175
Iterating global reduction 0 with 21 rules applied. Total rules applied 84 place count 3156 transition count 7175
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 105 place count 3135 transition count 7154
Iterating global reduction 0 with 21 rules applied. Total rules applied 126 place count 3135 transition count 7154
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 144 place count 3117 transition count 7100
Iterating global reduction 0 with 18 rules applied. Total rules applied 162 place count 3117 transition count 7100
Applied a total of 162 rules in 3127 ms. Remains 3117 /3198 variables (removed 81) and now considering 7100/7217 (removed 117) transitions.
[2025-06-03 23:13:47] [INFO ] Flow matrix only has 6500 transitions (discarded 600 similar events)
// Phase 1: matrix 6500 rows 3117 cols
[2025-06-03 23:13:47] [INFO ] Computed 61 invariants in 234 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:13:56] [INFO ] Implicit Places using invariants in 9384 ms returned [1367, 1394, 1496, 1657, 2012]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 9391 ms to find 5 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3112/3292 places, 7100/7351 transitions.
Applied a total of 0 rules in 549 ms. Remains 3112 /3112 variables (removed 0) and now considering 7100/7100 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 26682 ms. Remains : 3112/3292 places, 7100/7351 transitions.
[2025-06-03 23:13:57] [INFO ] Flatten gal took : 185 ms
[2025-06-03 23:13:57] [INFO ] Flatten gal took : 471 ms
[2025-06-03 23:13:58] [INFO ] Input system was already deterministic with 7100 transitions.
[2025-06-03 23:13:58] [INFO ] Flatten gal took : 230 ms
[2025-06-03 23:13:59] [INFO ] Flatten gal took : 237 ms
[2025-06-03 23:13:59] [INFO ] Time to serialize gal into /tmp/CTLFireability12637954946383753964.gal : 37 ms
[2025-06-03 23:13:59] [INFO ] Time to serialize properties into /tmp/CTLFireability17762766759059155646.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/CTLFireability12637954946383753964.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17762766759059155646.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-03 23:14:29] [INFO ] Flatten gal took : 225 ms
[2025-06-03 23:14:29] [INFO ] Applying decomposition
[2025-06-03 23:14:29] [INFO ] Flatten gal took : 206 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/graph10489965487677458716.txt' '-o' '/tmp/graph10489965487677458716.bin' '-w' '/tmp/graph10489965487677458716.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph10489965487677458716.bin' '-l' '-1' '-v' '-w' '/tmp/graph10489965487677458716.weights' '-q' '0' '-e' '0.001'
[2025-06-03 23:14:30] [INFO ] Decomposing Gal with order
[2025-06-03 23:14:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 23:14:31] [INFO ] Removed a total of 5702 redundant transitions.
[2025-06-03 23:14:31] [INFO ] Flatten gal took : 581 ms
[2025-06-03 23:14:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 3879 labels/synchronizations in 304 ms.
[2025-06-03 23:14:31] [INFO ] Time to serialize gal into /tmp/CTLFireability4868187106862844025.gal : 56 ms
[2025-06-03 23:14:31] [INFO ] Time to serialize properties into /tmp/CTLFireability12000114287811113403.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/CTLFireability4868187106862844025.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12000114287811113403.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 : 3292/3292 places, 7351/7351 transitions.
Discarding 35 places :
Symmetric choice reduction at 0 with 35 rule applications. Total rules 35 place count 3257 transition count 7294
Iterating global reduction 0 with 35 rules applied. Total rules applied 70 place count 3257 transition count 7294
Discarding 23 places :
Symmetric choice reduction at 0 with 23 rule applications. Total rules 93 place count 3234 transition count 7245
Iterating global reduction 0 with 23 rules applied. Total rules applied 116 place count 3234 transition count 7245
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 126 place count 3224 transition count 7215
Iterating global reduction 0 with 10 rules applied. Total rules applied 136 place count 3224 transition count 7215
Applied a total of 136 rules in 2306 ms. Remains 3224 /3292 variables (removed 68) and now considering 7215/7351 (removed 136) transitions.
[2025-06-03 23:15:04] [INFO ] Flow matrix only has 6615 transitions (discarded 600 similar events)
// Phase 1: matrix 6615 rows 3224 cols
[2025-06-03 23:15:04] [INFO ] Computed 87 invariants in 173 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:15:15] [INFO ] Implicit Places using invariants in 11118 ms returned [190, 325, 584, 975, 1328, 1387, 1404, 1418, 1464, 1526, 1570, 1577, 1604, 1613, 1614, 1678, 1701, 1708, 1735, 1764, 1798, 1836, 1837, 1927, 1928, 2080, 2169, 2233, 2334, 2413, 2633, 2767]
[2025-06-03 23:15:15] [INFO ] Actually due to overlaps returned [1570, 1604, 1678, 2233, 2413, 190, 325, 584, 975, 1328, 1404, 1464, 1577, 1613, 1614, 1708, 1735, 1764, 1798, 1836, 1837, 1927, 1928, 2169, 2334, 2633, 2767]
Discarding 27 places :
Implicit Place search using SMT only with invariants took 11125 ms to find 27 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3197/3292 places, 7215/7351 transitions.
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 22 place count 3175 transition count 7193
Iterating global reduction 0 with 22 rules applied. Total rules applied 44 place count 3175 transition count 7193
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 66 place count 3153 transition count 7171
Iterating global reduction 0 with 22 rules applied. Total rules applied 88 place count 3153 transition count 7171
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 110 place count 3131 transition count 7149
Iterating global reduction 0 with 22 rules applied. Total rules applied 132 place count 3131 transition count 7149
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 151 place count 3112 transition count 7092
Iterating global reduction 0 with 19 rules applied. Total rules applied 170 place count 3112 transition count 7092
Applied a total of 170 rules in 3139 ms. Remains 3112 /3197 variables (removed 85) and now considering 7092/7215 (removed 123) transitions.
[2025-06-03 23:15:18] [INFO ] Flow matrix only has 6492 transitions (discarded 600 similar events)
// Phase 1: matrix 6492 rows 3112 cols
[2025-06-03 23:15:18] [INFO ] Computed 60 invariants in 204 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:15:27] [INFO ] Implicit Places using invariants in 8580 ms returned [1369, 1396, 1498, 1659, 2008]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 8606 ms to find 5 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3107/3292 places, 7092/7351 transitions.
Applied a total of 0 rules in 786 ms. Remains 3107 /3107 variables (removed 0) and now considering 7092/7092 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 25963 ms. Remains : 3107/3292 places, 7092/7351 transitions.
[2025-06-03 23:15:28] [INFO ] Flatten gal took : 185 ms
[2025-06-03 23:15:28] [INFO ] Flatten gal took : 223 ms
[2025-06-03 23:15:28] [INFO ] Input system was already deterministic with 7092 transitions.
[2025-06-03 23:15:28] [INFO ] Flatten gal took : 210 ms
[2025-06-03 23:15:29] [INFO ] Flatten gal took : 203 ms
[2025-06-03 23:15:29] [INFO ] Time to serialize gal into /tmp/CTLFireability18204593209825135354.gal : 30 ms
[2025-06-03 23:15:29] [INFO ] Time to serialize properties into /tmp/CTLFireability13879945745334039296.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/CTLFireability18204593209825135354.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13879945745334039296.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-03 23:15:59] [INFO ] Flatten gal took : 295 ms
[2025-06-03 23:15:59] [INFO ] Applying decomposition
[2025-06-03 23:15:59] [INFO ] Flatten gal took : 293 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph5246125423787269049.txt' '-o' '/tmp/graph5246125423787269049.bin' '-w' '/tmp/graph5246125423787269049.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph5246125423787269049.bin' '-l' '-1' '-v' '-w' '/tmp/graph5246125423787269049.weights' '-q' '0' '-e' '0.001'
[2025-06-03 23:16:00] [INFO ] Decomposing Gal with order
[2025-06-03 23:16:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 23:16:01] [INFO ] Removed a total of 5733 redundant transitions.
[2025-06-03 23:16:01] [INFO ] Flatten gal took : 543 ms
[2025-06-03 23:16:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 4229 labels/synchronizations in 347 ms.
[2025-06-03 23:16:01] [INFO ] Time to serialize gal into /tmp/CTLFireability13821526795849687273.gal : 50 ms
[2025-06-03 23:16:01] [INFO ] Time to serialize properties into /tmp/CTLFireability14191080504801575277.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/CTLFireability13821526795849687273.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14191080504801575277.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3292/3292 places, 7351/7351 transitions.
Discarding 36 places :
Symmetric choice reduction at 0 with 36 rule applications. Total rules 36 place count 3256 transition count 7293
Iterating global reduction 0 with 36 rules applied. Total rules applied 72 place count 3256 transition count 7293
Discarding 24 places :
Symmetric choice reduction at 0 with 24 rule applications. Total rules 96 place count 3232 transition count 7243
Iterating global reduction 0 with 24 rules applied. Total rules applied 120 place count 3232 transition count 7243
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 131 place count 3221 transition count 7210
Iterating global reduction 0 with 11 rules applied. Total rules applied 142 place count 3221 transition count 7210
Applied a total of 142 rules in 2535 ms. Remains 3221 /3292 variables (removed 71) and now considering 7210/7351 (removed 141) transitions.
[2025-06-03 23:16:34] [INFO ] Flow matrix only has 6610 transitions (discarded 600 similar events)
// Phase 1: matrix 6610 rows 3221 cols
[2025-06-03 23:16:34] [INFO ] Computed 87 invariants in 170 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:16:45] [INFO ] Implicit Places using invariants in 10573 ms returned [190, 325, 583, 973, 1326, 1385, 1402, 1416, 1462, 1524, 1568, 1575, 1602, 1611, 1612, 1676, 1699, 1706, 1733, 1762, 1796, 1834, 1835, 1925, 1926, 2078, 2167, 2231, 2332, 2411, 2631, 2765]
[2025-06-03 23:16:45] [INFO ] Actually due to overlaps returned [1568, 1602, 1676, 2231, 2411, 190, 325, 583, 973, 1326, 1402, 1462, 1575, 1611, 1612, 1706, 1733, 1762, 1796, 1834, 1835, 1925, 1926, 2167, 2332, 2631, 2765]
Discarding 27 places :
Implicit Place search using SMT only with invariants took 10583 ms to find 27 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3194/3292 places, 7210/7351 transitions.
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 22 place count 3172 transition count 7188
Iterating global reduction 0 with 22 rules applied. Total rules applied 44 place count 3172 transition count 7188
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 66 place count 3150 transition count 7166
Iterating global reduction 0 with 22 rules applied. Total rules applied 88 place count 3150 transition count 7166
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 110 place count 3128 transition count 7144
Iterating global reduction 0 with 22 rules applied. Total rules applied 132 place count 3128 transition count 7144
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 151 place count 3109 transition count 7087
Iterating global reduction 0 with 19 rules applied. Total rules applied 170 place count 3109 transition count 7087
Applied a total of 170 rules in 3349 ms. Remains 3109 /3194 variables (removed 85) and now considering 7087/7210 (removed 123) transitions.
[2025-06-03 23:16:48] [INFO ] Flow matrix only has 6487 transitions (discarded 600 similar events)
// Phase 1: matrix 6487 rows 3109 cols
[2025-06-03 23:16:48] [INFO ] Computed 60 invariants in 225 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:16:57] [INFO ] Implicit Places using invariants in 9141 ms returned [1367, 1394, 1496, 1657, 2006]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 9149 ms to find 5 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3104/3292 places, 7087/7351 transitions.
Applied a total of 0 rules in 817 ms. Remains 3104 /3104 variables (removed 0) and now considering 7087/7087 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 26433 ms. Remains : 3104/3292 places, 7087/7351 transitions.
[2025-06-03 23:16:58] [INFO ] Flatten gal took : 170 ms
[2025-06-03 23:16:58] [INFO ] Flatten gal took : 221 ms
[2025-06-03 23:16:59] [INFO ] Input system was already deterministic with 7087 transitions.
[2025-06-03 23:16:59] [INFO ] Flatten gal took : 195 ms
[2025-06-03 23:16:59] [INFO ] Flatten gal took : 202 ms
[2025-06-03 23:16:59] [INFO ] Time to serialize gal into /tmp/CTLFireability12896231381122716320.gal : 32 ms
[2025-06-03 23:16:59] [INFO ] Time to serialize properties into /tmp/CTLFireability15273555106556522965.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/CTLFireability12896231381122716320.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15273555106556522965.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-03 23:17:29] [INFO ] Flatten gal took : 194 ms
[2025-06-03 23:17:29] [INFO ] Applying decomposition
[2025-06-03 23:17:30] [INFO ] Flatten gal took : 225 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/graph16293731742688232222.txt' '-o' '/tmp/graph16293731742688232222.bin' '-w' '/tmp/graph16293731742688232222.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph16293731742688232222.bin' '-l' '-1' '-v' '-w' '/tmp/graph16293731742688232222.weights' '-q' '0' '-e' '0.001'
[2025-06-03 23:17:30] [INFO ] Decomposing Gal with order
[2025-06-03 23:17:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 23:17:31] [INFO ] Removed a total of 5695 redundant transitions.
[2025-06-03 23:17:31] [INFO ] Flatten gal took : 560 ms
[2025-06-03 23:17:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 3960 labels/synchronizations in 375 ms.
[2025-06-03 23:17:31] [INFO ] Time to serialize gal into /tmp/CTLFireability4349469996618105832.gal : 61 ms
[2025-06-03 23:17:31] [INFO ] Time to serialize properties into /tmp/CTLFireability4715335243064503421.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/CTLFireability4349469996618105832.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4715335243064503421.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 : 3292/3292 places, 7351/7351 transitions.
Discarding 36 places :
Symmetric choice reduction at 0 with 36 rule applications. Total rules 36 place count 3256 transition count 7293
Iterating global reduction 0 with 36 rules applied. Total rules applied 72 place count 3256 transition count 7293
Discarding 24 places :
Symmetric choice reduction at 0 with 24 rule applications. Total rules 96 place count 3232 transition count 7243
Iterating global reduction 0 with 24 rules applied. Total rules applied 120 place count 3232 transition count 7243
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 131 place count 3221 transition count 7210
Iterating global reduction 0 with 11 rules applied. Total rules applied 142 place count 3221 transition count 7210
Applied a total of 142 rules in 2284 ms. Remains 3221 /3292 variables (removed 71) and now considering 7210/7351 (removed 141) transitions.
[2025-06-03 23:18:04] [INFO ] Flow matrix only has 6610 transitions (discarded 600 similar events)
// Phase 1: matrix 6610 rows 3221 cols
[2025-06-03 23:18:04] [INFO ] Computed 87 invariants in 170 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:18:14] [INFO ] Implicit Places using invariants in 9981 ms returned [190, 325, 583, 973, 1326, 1385, 1402, 1416, 1462, 1524, 1568, 1575, 1602, 1611, 1612, 1676, 1699, 1706, 1733, 1762, 1796, 1834, 1835, 1925, 1926, 2078, 2167, 2231, 2332, 2411, 2631, 2765]
[2025-06-03 23:18:14] [INFO ] Actually due to overlaps returned [1568, 1602, 1676, 2231, 2411, 190, 325, 583, 973, 1326, 1402, 1462, 1575, 1611, 1612, 1706, 1733, 1762, 1796, 1834, 1835, 1925, 1926, 2167, 2332, 2631, 2765]
Discarding 27 places :
Implicit Place search using SMT only with invariants took 9988 ms to find 27 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3194/3292 places, 7210/7351 transitions.
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 22 place count 3172 transition count 7188
Iterating global reduction 0 with 22 rules applied. Total rules applied 44 place count 3172 transition count 7188
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 66 place count 3150 transition count 7166
Iterating global reduction 0 with 22 rules applied. Total rules applied 88 place count 3150 transition count 7166
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 110 place count 3128 transition count 7144
Iterating global reduction 0 with 22 rules applied. Total rules applied 132 place count 3128 transition count 7144
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 151 place count 3109 transition count 7087
Iterating global reduction 0 with 19 rules applied. Total rules applied 170 place count 3109 transition count 7087
Applied a total of 170 rules in 2924 ms. Remains 3109 /3194 variables (removed 85) and now considering 7087/7210 (removed 123) transitions.
[2025-06-03 23:18:17] [INFO ] Flow matrix only has 6487 transitions (discarded 600 similar events)
// Phase 1: matrix 6487 rows 3109 cols
[2025-06-03 23:18:17] [INFO ] Computed 60 invariants in 378 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:18:25] [INFO ] Implicit Places using invariants in 8795 ms returned [1367, 1394, 1496, 1657, 2006]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 8804 ms to find 5 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3104/3292 places, 7087/7351 transitions.
Applied a total of 0 rules in 560 ms. Remains 3104 /3104 variables (removed 0) and now considering 7087/7087 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 24561 ms. Remains : 3104/3292 places, 7087/7351 transitions.
[2025-06-03 23:18:26] [INFO ] Flatten gal took : 292 ms
[2025-06-03 23:18:27] [INFO ] Flatten gal took : 339 ms
[2025-06-03 23:18:27] [INFO ] Input system was already deterministic with 7087 transitions.
[2025-06-03 23:18:27] [INFO ] Flatten gal took : 212 ms
[2025-06-03 23:18:28] [INFO ] Flatten gal took : 225 ms
[2025-06-03 23:18:28] [INFO ] Time to serialize gal into /tmp/CTLFireability15101787217007699025.gal : 34 ms
[2025-06-03 23:18:28] [INFO ] Time to serialize properties into /tmp/CTLFireability17697346370344953100.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/CTLFireability15101787217007699025.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17697346370344953100.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-03 23:18:58] [INFO ] Flatten gal took : 211 ms
[2025-06-03 23:18:58] [INFO ] Applying decomposition
[2025-06-03 23:18:58] [INFO ] Flatten gal took : 221 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/graph16006541004042687942.txt' '-o' '/tmp/graph16006541004042687942.bin' '-w' '/tmp/graph16006541004042687942.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph16006541004042687942.bin' '-l' '-1' '-v' '-w' '/tmp/graph16006541004042687942.weights' '-q' '0' '-e' '0.001'
[2025-06-03 23:18:59] [INFO ] Decomposing Gal with order
[2025-06-03 23:18:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 23:18:59] [INFO ] Removed a total of 5682 redundant transitions.
[2025-06-03 23:19:00] [INFO ] Flatten gal took : 568 ms
[2025-06-03 23:19:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 3839 labels/synchronizations in 306 ms.
[2025-06-03 23:19:00] [INFO ] Time to serialize gal into /tmp/CTLFireability18278126383193126545.gal : 56 ms
[2025-06-03 23:19:00] [INFO ] Time to serialize properties into /tmp/CTLFireability10195918131770390584.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/CTLFireability18278126383193126545.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10195918131770390584.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3292/3292 places, 7351/7351 transitions.
Discarding 36 places :
Symmetric choice reduction at 0 with 36 rule applications. Total rules 36 place count 3256 transition count 7293
Iterating global reduction 0 with 36 rules applied. Total rules applied 72 place count 3256 transition count 7293
Discarding 24 places :
Symmetric choice reduction at 0 with 24 rule applications. Total rules 96 place count 3232 transition count 7243
Iterating global reduction 0 with 24 rules applied. Total rules applied 120 place count 3232 transition count 7243
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 131 place count 3221 transition count 7210
Iterating global reduction 0 with 11 rules applied. Total rules applied 142 place count 3221 transition count 7210
Applied a total of 142 rules in 2324 ms. Remains 3221 /3292 variables (removed 71) and now considering 7210/7351 (removed 141) transitions.
[2025-06-03 23:19:32] [INFO ] Flow matrix only has 6610 transitions (discarded 600 similar events)
// Phase 1: matrix 6610 rows 3221 cols
[2025-06-03 23:19:33] [INFO ] Computed 87 invariants in 172 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:19:43] [INFO ] Implicit Places using invariants in 11081 ms returned [190, 325, 583, 973, 1326, 1385, 1402, 1416, 1462, 1524, 1568, 1575, 1611, 1612, 1676, 1706, 1733, 1762, 1796, 1834, 1835, 1925, 1926, 2078, 2167, 2231, 2332, 2411, 2631, 2765]
[2025-06-03 23:19:43] [INFO ] Actually due to overlaps returned [1568, 1676, 2231, 2411, 190, 325, 583, 973, 1326, 1402, 1462, 1575, 1611, 1612, 1706, 1733, 1762, 1796, 1834, 1835, 1925, 1926, 2167, 2332, 2631, 2765]
Discarding 26 places :
Implicit Place search using SMT only with invariants took 11087 ms to find 26 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3195/3292 places, 7210/7351 transitions.
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 22 place count 3173 transition count 7188
Iterating global reduction 0 with 22 rules applied. Total rules applied 44 place count 3173 transition count 7188
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 66 place count 3151 transition count 7166
Iterating global reduction 0 with 22 rules applied. Total rules applied 88 place count 3151 transition count 7166
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 110 place count 3129 transition count 7144
Iterating global reduction 0 with 22 rules applied. Total rules applied 132 place count 3129 transition count 7144
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 151 place count 3110 transition count 7087
Iterating global reduction 0 with 19 rules applied. Total rules applied 170 place count 3110 transition count 7087
Applied a total of 170 rules in 2894 ms. Remains 3110 /3195 variables (removed 85) and now considering 7087/7210 (removed 123) transitions.
[2025-06-03 23:19:46] [INFO ] Flow matrix only has 6487 transitions (discarded 600 similar events)
// Phase 1: matrix 6487 rows 3110 cols
[2025-06-03 23:19:47] [INFO ] Computed 61 invariants in 248 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:19:54] [INFO ] Implicit Places using invariants in 7656 ms returned [1367, 1394, 1496, 2007]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 7664 ms to find 4 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3106/3292 places, 7087/7351 transitions.
Applied a total of 0 rules in 822 ms. Remains 3106 /3106 variables (removed 0) and now considering 7087/7087 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 24792 ms. Remains : 3106/3292 places, 7087/7351 transitions.
[2025-06-03 23:19:55] [INFO ] Flatten gal took : 185 ms
[2025-06-03 23:19:55] [INFO ] Flatten gal took : 223 ms
[2025-06-03 23:19:56] [INFO ] Input system was already deterministic with 7087 transitions.
[2025-06-03 23:19:56] [INFO ] Flatten gal took : 211 ms
[2025-06-03 23:19:56] [INFO ] Flatten gal took : 223 ms
[2025-06-03 23:19:56] [INFO ] Time to serialize gal into /tmp/CTLFireability3112561614841620611.gal : 35 ms
[2025-06-03 23:19:56] [INFO ] Time to serialize properties into /tmp/CTLFireability6326028427477369351.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/CTLFireability3112561614841620611.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6326028427477369351.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-03 23:20:26] [INFO ] Flatten gal took : 190 ms
[2025-06-03 23:20:26] [INFO ] Applying decomposition
[2025-06-03 23:20:27] [INFO ] Flatten gal took : 198 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/graph9773674013389476830.txt' '-o' '/tmp/graph9773674013389476830.bin' '-w' '/tmp/graph9773674013389476830.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph9773674013389476830.bin' '-l' '-1' '-v' '-w' '/tmp/graph9773674013389476830.weights' '-q' '0' '-e' '0.001'
[2025-06-03 23:20:27] [INFO ] Decomposing Gal with order
[2025-06-03 23:20:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 23:20:28] [INFO ] Removed a total of 5671 redundant transitions.
[2025-06-03 23:20:28] [INFO ] Flatten gal took : 514 ms
[2025-06-03 23:20:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 4112 labels/synchronizations in 368 ms.
[2025-06-03 23:20:29] [INFO ] Time to serialize gal into /tmp/CTLFireability15188657923077185077.gal : 36 ms
[2025-06-03 23:20:29] [INFO ] Time to serialize properties into /tmp/CTLFireability4191920504383951681.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/CTLFireability15188657923077185077.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4191920504383951681.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 : 3292/3292 places, 7351/7351 transitions.
Discarding 34 places :
Symmetric choice reduction at 0 with 34 rule applications. Total rules 34 place count 3258 transition count 7295
Iterating global reduction 0 with 34 rules applied. Total rules applied 68 place count 3258 transition count 7295
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 90 place count 3236 transition count 7249
Iterating global reduction 0 with 22 rules applied. Total rules applied 112 place count 3236 transition count 7249
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 122 place count 3226 transition count 7219
Iterating global reduction 0 with 10 rules applied. Total rules applied 132 place count 3226 transition count 7219
Applied a total of 132 rules in 2290 ms. Remains 3226 /3292 variables (removed 66) and now considering 7219/7351 (removed 132) transitions.
[2025-06-03 23:21:01] [INFO ] Flow matrix only has 6619 transitions (discarded 600 similar events)
// Phase 1: matrix 6619 rows 3226 cols
[2025-06-03 23:21:01] [INFO ] Computed 87 invariants in 199 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:21:11] [INFO ] Implicit Places using invariants in 9983 ms returned [190, 325, 583, 973, 1405, 1419, 1465, 1527, 1571, 1578, 1605, 1614, 1615, 1679, 1702, 1709, 1736, 1765, 1799, 1837, 1930, 1931, 2083, 2172, 2337, 2416, 2636, 2770]
[2025-06-03 23:21:11] [INFO ] Actually due to overlaps returned [1571, 1605, 1679, 2416, 190, 325, 583, 973, 1405, 1465, 1578, 1614, 1615, 1709, 1736, 1765, 1799, 1837, 1930, 1931, 2172, 2337, 2636, 2770]
Discarding 24 places :
Implicit Place search using SMT only with invariants took 9996 ms to find 24 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3202/3292 places, 7219/7351 transitions.
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 20 place count 3182 transition count 7199
Iterating global reduction 0 with 20 rules applied. Total rules applied 40 place count 3182 transition count 7199
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 60 place count 3162 transition count 7179
Iterating global reduction 0 with 20 rules applied. Total rules applied 80 place count 3162 transition count 7179
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 100 place count 3142 transition count 7159
Iterating global reduction 0 with 20 rules applied. Total rules applied 120 place count 3142 transition count 7159
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 137 place count 3125 transition count 7108
Iterating global reduction 0 with 17 rules applied. Total rules applied 154 place count 3125 transition count 7108
Applied a total of 154 rules in 3423 ms. Remains 3125 /3202 variables (removed 77) and now considering 7108/7219 (removed 111) transitions.
[2025-06-03 23:21:14] [INFO ] Flow matrix only has 6508 transitions (discarded 600 similar events)
// Phase 1: matrix 6508 rows 3125 cols
[2025-06-03 23:21:15] [INFO ] Computed 63 invariants in 212 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:21:23] [INFO ] Implicit Places using invariants in 8882 ms returned [1401, 1503, 1664, 2019]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 8890 ms to find 4 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3121/3292 places, 7108/7351 transitions.
Applied a total of 0 rules in 729 ms. Remains 3121 /3121 variables (removed 0) and now considering 7108/7108 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 25328 ms. Remains : 3121/3292 places, 7108/7351 transitions.
[2025-06-03 23:21:24] [INFO ] Flatten gal took : 191 ms
[2025-06-03 23:21:25] [INFO ] Flatten gal took : 202 ms
[2025-06-03 23:21:25] [INFO ] Input system was already deterministic with 7108 transitions.
[2025-06-03 23:21:25] [INFO ] Flatten gal took : 196 ms
[2025-06-03 23:21:25] [INFO ] Flatten gal took : 208 ms
[2025-06-03 23:21:25] [INFO ] Time to serialize gal into /tmp/CTLFireability15429802090548251993.gal : 31 ms
[2025-06-03 23:21:25] [INFO ] Time to serialize properties into /tmp/CTLFireability6190999392720552189.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/CTLFireability15429802090548251993.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6190999392720552189.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-03 23:21:56] [INFO ] Flatten gal took : 195 ms
[2025-06-03 23:21:56] [INFO ] Applying decomposition
[2025-06-03 23:21:56] [INFO ] Flatten gal took : 269 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/graph3283679917406040155.txt' '-o' '/tmp/graph3283679917406040155.bin' '-w' '/tmp/graph3283679917406040155.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph3283679917406040155.bin' '-l' '-1' '-v' '-w' '/tmp/graph3283679917406040155.weights' '-q' '0' '-e' '0.001'
[2025-06-03 23:21:56] [INFO ] Decomposing Gal with order
[2025-06-03 23:21:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 23:21:57] [INFO ] Removed a total of 5745 redundant transitions.
[2025-06-03 23:21:57] [INFO ] Flatten gal took : 522 ms
[2025-06-03 23:21:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 4192 labels/synchronizations in 307 ms.
[2025-06-03 23:21:58] [INFO ] Time to serialize gal into /tmp/CTLFireability7033823184478253518.gal : 48 ms
[2025-06-03 23:21:58] [INFO ] Time to serialize properties into /tmp/CTLFireability10974785608298389324.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/CTLFireability7033823184478253518.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10974785608298389324.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 : 3292/3292 places, 7351/7351 transitions.
Discarding 34 places :
Symmetric choice reduction at 0 with 34 rule applications. Total rules 34 place count 3258 transition count 7295
Iterating global reduction 0 with 34 rules applied. Total rules applied 68 place count 3258 transition count 7295
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 90 place count 3236 transition count 7249
Iterating global reduction 0 with 22 rules applied. Total rules applied 112 place count 3236 transition count 7249
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 122 place count 3226 transition count 7219
Iterating global reduction 0 with 10 rules applied. Total rules applied 132 place count 3226 transition count 7219
Applied a total of 132 rules in 2487 ms. Remains 3226 /3292 variables (removed 66) and now considering 7219/7351 (removed 132) transitions.
[2025-06-03 23:22:30] [INFO ] Flow matrix only has 6619 transitions (discarded 600 similar events)
// Phase 1: matrix 6619 rows 3226 cols
[2025-06-03 23:22:31] [INFO ] Computed 87 invariants in 197 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:22:42] [INFO ] Implicit Places using invariants in 12015 ms returned [190, 325, 583, 973, 1326, 1385, 1402, 1416, 1462, 1524, 1568, 1575, 1602, 1611, 1612, 1676, 1699, 1706, 1733, 1839, 1840, 1930, 1931, 2083, 2172, 2236, 2337, 2416, 2636, 2770]
[2025-06-03 23:22:42] [INFO ] Actually due to overlaps returned [1568, 1602, 1676, 2236, 2416, 190, 325, 583, 973, 1326, 1402, 1462, 1575, 1611, 1612, 1706, 1733, 1839, 1840, 1930, 1931, 2172, 2337, 2636, 2770]
Discarding 25 places :
Implicit Place search using SMT only with invariants took 12022 ms to find 25 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3201/3292 places, 7219/7351 transitions.
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 20 place count 3181 transition count 7199
Iterating global reduction 0 with 20 rules applied. Total rules applied 40 place count 3181 transition count 7199
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 60 place count 3161 transition count 7179
Iterating global reduction 0 with 20 rules applied. Total rules applied 80 place count 3161 transition count 7179
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 100 place count 3141 transition count 7159
Iterating global reduction 0 with 20 rules applied. Total rules applied 120 place count 3141 transition count 7159
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 137 place count 3124 transition count 7108
Iterating global reduction 0 with 17 rules applied. Total rules applied 154 place count 3124 transition count 7108
Applied a total of 154 rules in 3062 ms. Remains 3124 /3201 variables (removed 77) and now considering 7108/7219 (removed 111) transitions.
[2025-06-03 23:22:45] [INFO ] Flow matrix only has 6508 transitions (discarded 600 similar events)
// Phase 1: matrix 6508 rows 3124 cols
[2025-06-03 23:22:46] [INFO ] Computed 62 invariants in 234 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:22:54] [INFO ] Implicit Places using invariants in 8501 ms returned [1367, 1394, 1496, 1657, 2019]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 8510 ms to find 5 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3119/3292 places, 7108/7351 transitions.
Applied a total of 0 rules in 541 ms. Remains 3119 /3119 variables (removed 0) and now considering 7108/7108 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 26623 ms. Remains : 3119/3292 places, 7108/7351 transitions.
[2025-06-03 23:22:55] [INFO ] Flatten gal took : 180 ms
[2025-06-03 23:22:55] [INFO ] Flatten gal took : 325 ms
[2025-06-03 23:22:55] [INFO ] Input system was already deterministic with 7108 transitions.
[2025-06-03 23:22:56] [INFO ] Flatten gal took : 199 ms
[2025-06-03 23:22:56] [INFO ] Flatten gal took : 203 ms
[2025-06-03 23:22:56] [INFO ] Time to serialize gal into /tmp/CTLFireability3132774942027605340.gal : 30 ms
[2025-06-03 23:22:56] [INFO ] Time to serialize properties into /tmp/CTLFireability9632711356759997576.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/CTLFireability3132774942027605340.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9632711356759997576.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-03 23:23:26] [INFO ] Flatten gal took : 193 ms
[2025-06-03 23:23:26] [INFO ] Applying decomposition
[2025-06-03 23:23:26] [INFO ] Flatten gal took : 202 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/graph15712252794660635354.txt' '-o' '/tmp/graph15712252794660635354.bin' '-w' '/tmp/graph15712252794660635354.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph15712252794660635354.bin' '-l' '-1' '-v' '-w' '/tmp/graph15712252794660635354.weights' '-q' '0' '-e' '0.001'
[2025-06-03 23:23:27] [INFO ] Decomposing Gal with order
[2025-06-03 23:23:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 23:23:27] [INFO ] Removed a total of 5694 redundant transitions.
[2025-06-03 23:23:28] [INFO ] Flatten gal took : 529 ms
[2025-06-03 23:23:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 3497 labels/synchronizations in 293 ms.
[2025-06-03 23:23:28] [INFO ] Time to serialize gal into /tmp/CTLFireability3430958667831023805.gal : 47 ms
[2025-06-03 23:23:28] [INFO ] Time to serialize properties into /tmp/CTLFireability3527965165529547188.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/CTLFireability3430958667831023805.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3527965165529547188.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 : 3292/3292 places, 7351/7351 transitions.
Discarding 30 places :
Symmetric choice reduction at 0 with 30 rule applications. Total rules 30 place count 3262 transition count 7303
Iterating global reduction 0 with 30 rules applied. Total rules applied 60 place count 3262 transition count 7303
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 81 place count 3241 transition count 7258
Iterating global reduction 0 with 21 rules applied. Total rules applied 102 place count 3241 transition count 7258
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 110 place count 3233 transition count 7234
Iterating global reduction 0 with 8 rules applied. Total rules applied 118 place count 3233 transition count 7234
Applied a total of 118 rules in 2625 ms. Remains 3233 /3292 variables (removed 59) and now considering 7234/7351 (removed 117) transitions.
[2025-06-03 23:24:01] [INFO ] Flow matrix only has 6634 transitions (discarded 600 similar events)
// Phase 1: matrix 6634 rows 3233 cols
[2025-06-03 23:24:01] [INFO ] Computed 87 invariants in 174 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:24:10] [INFO ] Implicit Places using invariants in 9219 ms returned [190, 325, 976, 1330, 1389, 1406, 1466, 1528, 1579, 1606, 1615, 1616, 1681, 1704, 1711, 1769, 1803, 1841, 1842, 1933, 2087, 2176, 2240, 2341, 2420, 2777]
[2025-06-03 23:24:10] [INFO ] Actually due to overlaps returned [1606, 1681, 2240, 2420, 190, 325, 976, 1330, 1406, 1466, 1579, 1615, 1616, 1711, 1769, 1803, 1841, 1842, 1933, 2176, 2341, 2777]
Discarding 22 places :
Implicit Place search using SMT only with invariants took 9231 ms to find 22 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3211/3292 places, 7234/7351 transitions.
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 18 place count 3193 transition count 7216
Iterating global reduction 0 with 18 rules applied. Total rules applied 36 place count 3193 transition count 7216
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 54 place count 3175 transition count 7198
Iterating global reduction 0 with 18 rules applied. Total rules applied 72 place count 3175 transition count 7198
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 90 place count 3157 transition count 7180
Iterating global reduction 0 with 18 rules applied. Total rules applied 108 place count 3157 transition count 7180
Discarding 15 places :
Symmetric choice reduction at 0 with 15 rule applications. Total rules 123 place count 3142 transition count 7135
Iterating global reduction 0 with 15 rules applied. Total rules applied 138 place count 3142 transition count 7135
Applied a total of 138 rules in 3016 ms. Remains 3142 /3211 variables (removed 69) and now considering 7135/7234 (removed 99) transitions.
[2025-06-03 23:24:13] [INFO ] Flow matrix only has 6535 transitions (discarded 600 similar events)
// Phase 1: matrix 6535 rows 3142 cols
[2025-06-03 23:24:13] [INFO ] Computed 65 invariants in 185 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:24:20] [INFO ] Implicit Places using invariants in 7128 ms returned [1375, 1504, 1667, 2028]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 7134 ms to find 4 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3138/3292 places, 7135/7351 transitions.
Applied a total of 0 rules in 759 ms. Remains 3138 /3138 variables (removed 0) and now considering 7135/7135 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 22765 ms. Remains : 3138/3292 places, 7135/7351 transitions.
[2025-06-03 23:24:21] [INFO ] Flatten gal took : 173 ms
[2025-06-03 23:24:21] [INFO ] Flatten gal took : 201 ms
[2025-06-03 23:24:22] [INFO ] Input system was already deterministic with 7135 transitions.
[2025-06-03 23:24:22] [INFO ] Flatten gal took : 215 ms
[2025-06-03 23:24:22] [INFO ] Flatten gal took : 188 ms
[2025-06-03 23:24:22] [INFO ] Time to serialize gal into /tmp/CTLFireability2035164550922610294.gal : 29 ms
[2025-06-03 23:24:22] [INFO ] Time to serialize properties into /tmp/CTLFireability17744117156385161486.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/CTLFireability2035164550922610294.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17744117156385161486.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-03 23:24:52] [INFO ] Flatten gal took : 198 ms
[2025-06-03 23:24:52] [INFO ] Applying decomposition
[2025-06-03 23:24:52] [INFO ] Flatten gal took : 203 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/graph16067464868072285407.txt' '-o' '/tmp/graph16067464868072285407.bin' '-w' '/tmp/graph16067464868072285407.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph16067464868072285407.bin' '-l' '-1' '-v' '-w' '/tmp/graph16067464868072285407.weights' '-q' '0' '-e' '0.001'
[2025-06-03 23:24:53] [INFO ] Decomposing Gal with order
[2025-06-03 23:24:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 23:24:54] [INFO ] Removed a total of 5718 redundant transitions.
[2025-06-03 23:24:54] [INFO ] Flatten gal took : 553 ms
[2025-06-03 23:24:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 4169 labels/synchronizations in 320 ms.
[2025-06-03 23:24:54] [INFO ] Time to serialize gal into /tmp/CTLFireability11478259212285999114.gal : 47 ms
[2025-06-03 23:24:54] [INFO ] Time to serialize properties into /tmp/CTLFireability6922686123788469911.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/CTLFireability11478259212285999114.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6922686123788469911.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 : 3292/3292 places, 7351/7351 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 15 transitions
Trivial Post-agglo rules discarded 15 transitions
Performed 15 trivial Post agglomeration. Transition count delta: 15
Iterating post reduction 0 with 15 rules applied. Total rules applied 15 place count 3292 transition count 7336
Reduce places removed 15 places and 0 transitions.
Iterating post reduction 1 with 15 rules applied. Total rules applied 30 place count 3277 transition count 7336
Performed 24 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 24 Pre rules applied. Total rules applied 30 place count 3277 transition count 7312
Deduced a syphon composed of 24 places in 6 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 2 with 48 rules applied. Total rules applied 78 place count 3253 transition count 7312
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 104 place count 3227 transition count 7264
Iterating global reduction 2 with 26 rules applied. Total rules applied 130 place count 3227 transition count 7264
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 130 place count 3227 transition count 7263
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 132 place count 3226 transition count 7263
Discarding 14 places :
Symmetric choice reduction at 2 with 14 rule applications. Total rules 146 place count 3212 transition count 7223
Iterating global reduction 2 with 14 rules applied. Total rules applied 160 place count 3212 transition count 7223
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 161 place count 3211 transition count 7220
Iterating global reduction 2 with 1 rules applied. Total rules applied 162 place count 3211 transition count 7220
Performed 34 Post agglomeration using F-continuation condition.Transition count delta: 34
Deduced a syphon composed of 34 places in 5 ms
Reduce places removed 34 places and 0 transitions.
Iterating global reduction 2 with 68 rules applied. Total rules applied 230 place count 3177 transition count 7186
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 240 place count 3167 transition count 7176
Iterating global reduction 2 with 10 rules applied. Total rules applied 250 place count 3167 transition count 7176
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 260 place count 3157 transition count 7146
Iterating global reduction 2 with 10 rules applied. Total rules applied 270 place count 3157 transition count 7146
Applied a total of 270 rules in 5251 ms. Remains 3157 /3292 variables (removed 135) and now considering 7146/7351 (removed 205) transitions.
[2025-06-03 23:25:30] [INFO ] Flow matrix only has 6546 transitions (discarded 600 similar events)
// Phase 1: matrix 6546 rows 3157 cols
[2025-06-03 23:25:30] [INFO ] Computed 87 invariants in 178 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:25:40] [INFO ] Implicit Places using invariants in 10228 ms returned [185, 312, 567, 954, 1303, 1362, 1377, 1391, 1435, 1495, 1538, 1544, 1570, 1578, 1579, 1640, 1662, 1669, 1694, 1723, 1754, 1792, 1793, 1879, 1880, 2029, 2117, 2180, 2280, 2358, 2576, 2710]
[2025-06-03 23:25:40] [INFO ] Actually due to overlaps returned [1538, 1570, 1640, 2180, 2358, 185, 312, 567, 954, 1303, 1377, 1435, 1544, 1578, 1579, 1669, 1694, 1723, 1754, 1792, 1793, 1879, 1880, 2117, 2280, 2576, 2710]
Discarding 27 places :
Implicit Place search using SMT only with invariants took 10251 ms to find 27 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3130/3292 places, 7146/7351 transitions.
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 17 place count 3113 transition count 7129
Iterating global reduction 0 with 17 rules applied. Total rules applied 34 place count 3113 transition count 7129
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 51 place count 3096 transition count 7112
Iterating global reduction 0 with 17 rules applied. Total rules applied 68 place count 3096 transition count 7112
Discarding 12 places :
Symmetric choice reduction at 0 with 12 rule applications. Total rules 80 place count 3084 transition count 7076
Iterating global reduction 0 with 12 rules applied. Total rules applied 92 place count 3084 transition count 7076
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 4 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 0 with 10 rules applied. Total rules applied 102 place count 3079 transition count 7071
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 107 place count 3074 transition count 7066
Iterating global reduction 0 with 5 rules applied. Total rules applied 112 place count 3074 transition count 7066
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 119 place count 3067 transition count 7045
Iterating global reduction 0 with 7 rules applied. Total rules applied 126 place count 3067 transition count 7045
Applied a total of 126 rules in 5410 ms. Remains 3067 /3130 variables (removed 63) and now considering 7045/7146 (removed 101) transitions.
[2025-06-03 23:25:45] [INFO ] Flow matrix only has 6445 transitions (discarded 600 similar events)
// Phase 1: matrix 6445 rows 3067 cols
[2025-06-03 23:25:45] [INFO ] Computed 60 invariants in 194 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:25:55] [INFO ] Implicit Places using invariants in 9298 ms returned [1348, 1374, 1474, 1630, 1975]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 9303 ms to find 5 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3062/3292 places, 7045/7351 transitions.
Applied a total of 0 rules in 978 ms. Remains 3062 /3062 variables (removed 0) and now considering 7045/7045 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 31197 ms. Remains : 3062/3292 places, 7045/7351 transitions.
[2025-06-03 23:25:56] [INFO ] Flatten gal took : 133 ms
[2025-06-03 23:25:56] [INFO ] Flatten gal took : 254 ms
[2025-06-03 23:25:56] [INFO ] Input system was already deterministic with 7045 transitions.
[2025-06-03 23:25:56] [INFO ] Flatten gal took : 164 ms
[2025-06-03 23:25:57] [INFO ] Flatten gal took : 166 ms
[2025-06-03 23:25:57] [INFO ] Time to serialize gal into /tmp/CTLFireability5222475534449517248.gal : 29 ms
[2025-06-03 23:25:57] [INFO ] Time to serialize properties into /tmp/CTLFireability566379002768032867.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/CTLFireability5222475534449517248.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability566379002768032867.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 23:26:27] [INFO ] Flatten gal took : 170 ms
[2025-06-03 23:26:27] [INFO ] Applying decomposition
[2025-06-03 23:26:27] [INFO ] Flatten gal took : 171 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/graph16088341012281014477.txt' '-o' '/tmp/graph16088341012281014477.bin' '-w' '/tmp/graph16088341012281014477.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph16088341012281014477.bin' '-l' '-1' '-v' '-w' '/tmp/graph16088341012281014477.weights' '-q' '0' '-e' '0.001'
[2025-06-03 23:26:27] [INFO ] Decomposing Gal with order
[2025-06-03 23:26:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 23:26:29] [INFO ] Removed a total of 6544 redundant transitions.
[2025-06-03 23:26:29] [INFO ] Flatten gal took : 1167 ms
[2025-06-03 23:26:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 4744 labels/synchronizations in 335 ms.
[2025-06-03 23:26:30] [INFO ] Time to serialize gal into /tmp/CTLFireability3289450574508132826.gal : 40 ms
[2025-06-03 23:26:30] [INFO ] Time to serialize properties into /tmp/CTLFireability17151395712456476728.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/CTLFireability3289450574508132826.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17151395712456476728.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 : 3292/3292 places, 7351/7351 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 14 transitions
Trivial Post-agglo rules discarded 14 transitions
Performed 14 trivial Post agglomeration. Transition count delta: 14
Iterating post reduction 0 with 14 rules applied. Total rules applied 14 place count 3292 transition count 7337
Reduce places removed 14 places and 0 transitions.
Iterating post reduction 1 with 14 rules applied. Total rules applied 28 place count 3278 transition count 7337
Performed 24 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 24 Pre rules applied. Total rules applied 28 place count 3278 transition count 7313
Deduced a syphon composed of 24 places in 5 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 2 with 48 rules applied. Total rules applied 76 place count 3254 transition count 7313
Discarding 25 places :
Symmetric choice reduction at 2 with 25 rule applications. Total rules 101 place count 3229 transition count 7266
Iterating global reduction 2 with 25 rules applied. Total rules applied 126 place count 3229 transition count 7266
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 126 place count 3229 transition count 7265
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 128 place count 3228 transition count 7265
Discarding 13 places :
Symmetric choice reduction at 2 with 13 rule applications. Total rules 141 place count 3215 transition count 7228
Iterating global reduction 2 with 13 rules applied. Total rules applied 154 place count 3215 transition count 7228
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 155 place count 3214 transition count 7225
Iterating global reduction 2 with 1 rules applied. Total rules applied 156 place count 3214 transition count 7225
Performed 35 Post agglomeration using F-continuation condition.Transition count delta: 35
Deduced a syphon composed of 35 places in 5 ms
Reduce places removed 35 places and 0 transitions.
Iterating global reduction 2 with 70 rules applied. Total rules applied 226 place count 3179 transition count 7190
Discarding 9 places :
Symmetric choice reduction at 2 with 9 rule applications. Total rules 235 place count 3170 transition count 7181
Iterating global reduction 2 with 9 rules applied. Total rules applied 244 place count 3170 transition count 7181
Discarding 9 places :
Symmetric choice reduction at 2 with 9 rule applications. Total rules 253 place count 3161 transition count 7154
Iterating global reduction 2 with 9 rules applied. Total rules applied 262 place count 3161 transition count 7154
Applied a total of 262 rules in 4640 ms. Remains 3161 /3292 variables (removed 131) and now considering 7154/7351 (removed 197) transitions.
[2025-06-03 23:27:04] [INFO ] Flow matrix only has 6554 transitions (discarded 600 similar events)
// Phase 1: matrix 6554 rows 3161 cols
[2025-06-03 23:27:04] [INFO ] Computed 87 invariants in 264 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:27:14] [INFO ] Implicit Places using invariants in 9437 ms returned [185, 311, 566, 953, 1304, 1363, 1378, 1392, 1436, 1496, 1539, 1545, 1571, 1579, 1644, 1666, 1673, 1698, 1727, 1758, 1796, 1797, 1883, 1884, 2033, 2121, 2184, 2284, 2362, 2580, 2714]
[2025-06-03 23:27:14] [INFO ] Actually due to overlaps returned [1539, 1571, 1644, 2184, 2362, 185, 311, 566, 953, 1304, 1378, 1436, 1545, 1579, 1673, 1698, 1727, 1758, 1796, 1797, 1883, 1884, 2121, 2284, 2580, 2714]
Discarding 26 places :
Implicit Place search using SMT only with invariants took 9446 ms to find 26 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3135/3292 places, 7154/7351 transitions.
Discarding 16 places :
Symmetric choice reduction at 0 with 16 rule applications. Total rules 16 place count 3119 transition count 7138
Iterating global reduction 0 with 16 rules applied. Total rules applied 32 place count 3119 transition count 7138
Discarding 16 places :
Symmetric choice reduction at 0 with 16 rule applications. Total rules 48 place count 3103 transition count 7122
Iterating global reduction 0 with 16 rules applied. Total rules applied 64 place count 3103 transition count 7122
Discarding 12 places :
Symmetric choice reduction at 0 with 12 rule applications. Total rules 76 place count 3091 transition count 7086
Iterating global reduction 0 with 12 rules applied. Total rules applied 88 place count 3091 transition count 7086
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 5 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 0 with 10 rules applied. Total rules applied 98 place count 3086 transition count 7081
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 103 place count 3081 transition count 7076
Iterating global reduction 0 with 5 rules applied. Total rules applied 108 place count 3081 transition count 7076
Discarding 6 places :
Symmetric choice reduction at 0 with 6 rule applications. Total rules 114 place count 3075 transition count 7058
Iterating global reduction 0 with 6 rules applied. Total rules applied 120 place count 3075 transition count 7058
Applied a total of 120 rules in 4739 ms. Remains 3075 /3135 variables (removed 60) and now considering 7058/7154 (removed 96) transitions.
[2025-06-03 23:27:18] [INFO ] Flow matrix only has 6458 transitions (discarded 600 similar events)
// Phase 1: matrix 6458 rows 3075 cols
[2025-06-03 23:27:19] [INFO ] Computed 61 invariants in 250 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:27:27] [INFO ] Implicit Places using invariants in 8112 ms returned [1349, 1375, 1475, 1637, 1982]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 8124 ms to find 5 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3070/3292 places, 7058/7351 transitions.
Applied a total of 0 rules in 845 ms. Remains 3070 /3070 variables (removed 0) and now considering 7058/7058 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 27796 ms. Remains : 3070/3292 places, 7058/7351 transitions.
[2025-06-03 23:27:28] [INFO ] Flatten gal took : 134 ms
[2025-06-03 23:27:28] [INFO ] Flatten gal took : 166 ms
[2025-06-03 23:27:28] [INFO ] Input system was already deterministic with 7058 transitions.
[2025-06-03 23:27:28] [INFO ] Flatten gal took : 184 ms
[2025-06-03 23:27:28] [INFO ] Flatten gal took : 182 ms
[2025-06-03 23:27:28] [INFO ] Time to serialize gal into /tmp/CTLFireability2365048422886720606.gal : 35 ms
[2025-06-03 23:27:28] [INFO ] Time to serialize properties into /tmp/CTLFireability8401424615591350445.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/CTLFireability2365048422886720606.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8401424615591350445.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-03 23:27:59] [INFO ] Flatten gal took : 164 ms
[2025-06-03 23:27:59] [INFO ] Applying decomposition
[2025-06-03 23:27:59] [INFO ] Flatten gal took : 221 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/graph17874391507579636218.txt' '-o' '/tmp/graph17874391507579636218.bin' '-w' '/tmp/graph17874391507579636218.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph17874391507579636218.bin' '-l' '-1' '-v' '-w' '/tmp/graph17874391507579636218.weights' '-q' '0' '-e' '0.001'
[2025-06-03 23:27:59] [INFO ] Decomposing Gal with order
[2025-06-03 23:27:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 23:28:01] [INFO ] Removed a total of 6602 redundant transitions.
[2025-06-03 23:28:01] [INFO ] Flatten gal took : 1237 ms
[2025-06-03 23:28:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 4568 labels/synchronizations in 390 ms.
[2025-06-03 23:28:02] [INFO ] Time to serialize gal into /tmp/CTLFireability7653824444997358040.gal : 44 ms
[2025-06-03 23:28:02] [INFO ] Time to serialize properties into /tmp/CTLFireability15839485540069095823.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/CTLFireability7653824444997358040.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15839485540069095823.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 : 3292/3292 places, 7351/7351 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 15 transitions
Trivial Post-agglo rules discarded 15 transitions
Performed 15 trivial Post agglomeration. Transition count delta: 15
Iterating post reduction 0 with 15 rules applied. Total rules applied 15 place count 3292 transition count 7336
Reduce places removed 15 places and 0 transitions.
Iterating post reduction 1 with 15 rules applied. Total rules applied 30 place count 3277 transition count 7336
Performed 24 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 24 Pre rules applied. Total rules applied 30 place count 3277 transition count 7312
Deduced a syphon composed of 24 places in 5 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 2 with 48 rules applied. Total rules applied 78 place count 3253 transition count 7312
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 104 place count 3227 transition count 7264
Iterating global reduction 2 with 26 rules applied. Total rules applied 130 place count 3227 transition count 7264
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 130 place count 3227 transition count 7263
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 132 place count 3226 transition count 7263
Discarding 14 places :
Symmetric choice reduction at 2 with 14 rule applications. Total rules 146 place count 3212 transition count 7223
Iterating global reduction 2 with 14 rules applied. Total rules applied 160 place count 3212 transition count 7223
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 161 place count 3211 transition count 7220
Iterating global reduction 2 with 1 rules applied. Total rules applied 162 place count 3211 transition count 7220
Performed 35 Post agglomeration using F-continuation condition.Transition count delta: 35
Deduced a syphon composed of 35 places in 5 ms
Reduce places removed 35 places and 0 transitions.
Iterating global reduction 2 with 70 rules applied. Total rules applied 232 place count 3176 transition count 7185
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 242 place count 3166 transition count 7175
Iterating global reduction 2 with 10 rules applied. Total rules applied 252 place count 3166 transition count 7175
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 262 place count 3156 transition count 7145
Iterating global reduction 2 with 10 rules applied. Total rules applied 272 place count 3156 transition count 7145
Applied a total of 272 rules in 4564 ms. Remains 3156 /3292 variables (removed 136) and now considering 7145/7351 (removed 206) transitions.
[2025-06-03 23:28:36] [INFO ] Flow matrix only has 6545 transitions (discarded 600 similar events)
// Phase 1: matrix 6545 rows 3156 cols
[2025-06-03 23:28:36] [INFO ] Computed 87 invariants in 186 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:28:46] [INFO ] Implicit Places using invariants in 10004 ms returned [185, 311, 566, 953, 1302, 1361, 1376, 1390, 1434, 1494, 1537, 1543, 1569, 1577, 1578, 1639, 1661, 1668, 1693, 1722, 1753, 1791, 1792, 1878, 1879, 2028, 2116, 2179, 2279, 2357, 2575, 2709]
[2025-06-03 23:28:46] [INFO ] Actually due to overlaps returned [1537, 1569, 1639, 2179, 2357, 185, 311, 566, 953, 1302, 1376, 1434, 1543, 1577, 1578, 1668, 1693, 1722, 1753, 1791, 1792, 1878, 1879, 2116, 2279, 2575, 2709]
Discarding 27 places :
Implicit Place search using SMT only with invariants took 10014 ms to find 27 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3129/3292 places, 7145/7351 transitions.
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 17 place count 3112 transition count 7128
Iterating global reduction 0 with 17 rules applied. Total rules applied 34 place count 3112 transition count 7128
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 51 place count 3095 transition count 7111
Iterating global reduction 0 with 17 rules applied. Total rules applied 68 place count 3095 transition count 7111
Discarding 12 places :
Symmetric choice reduction at 0 with 12 rule applications. Total rules 80 place count 3083 transition count 7075
Iterating global reduction 0 with 12 rules applied. Total rules applied 92 place count 3083 transition count 7075
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 4 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 0 with 10 rules applied. Total rules applied 102 place count 3078 transition count 7070
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 107 place count 3073 transition count 7065
Iterating global reduction 0 with 5 rules applied. Total rules applied 112 place count 3073 transition count 7065
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 119 place count 3066 transition count 7044
Iterating global reduction 0 with 7 rules applied. Total rules applied 126 place count 3066 transition count 7044
Applied a total of 126 rules in 5166 ms. Remains 3066 /3129 variables (removed 63) and now considering 7044/7145 (removed 101) transitions.
[2025-06-03 23:28:51] [INFO ] Flow matrix only has 6444 transitions (discarded 600 similar events)
// Phase 1: matrix 6444 rows 3066 cols
[2025-06-03 23:28:52] [INFO ] Computed 60 invariants in 305 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:29:00] [INFO ] Implicit Places using invariants in 8387 ms returned [1347, 1373, 1473, 1629, 1974]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 8391 ms to find 5 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3061/3292 places, 7044/7351 transitions.
Applied a total of 0 rules in 936 ms. Remains 3061 /3061 variables (removed 0) and now considering 7044/7044 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 29073 ms. Remains : 3061/3292 places, 7044/7351 transitions.
[2025-06-03 23:29:01] [INFO ] Flatten gal took : 133 ms
[2025-06-03 23:29:01] [INFO ] Flatten gal took : 166 ms
[2025-06-03 23:29:01] [INFO ] Input system was already deterministic with 7044 transitions.
[2025-06-03 23:29:02] [INFO ] Flatten gal took : 175 ms
RANDOM walk for 40000 steps (1794 resets) in 798 ms. (50 steps per ms) remains 1/1 properties
BEST_FIRST walk for 40003 steps (244 resets) in 239 ms. (166 steps per ms) remains 1/1 properties
[2025-06-03 23:29:02] [INFO ] Flatten gal took : 200 ms
[2025-06-03 23:29:02] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5458711203709821909.gal : 28 ms
[2025-06-03 23:29:02] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality10688654107546714235.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality5458711203709821909.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality10688654107546714235.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
Loading property file /tmp/ReachabilityCardinality10688654107546714235.prop.
Interrupted probabilistic random walk after 25350 steps, run timeout after 3001 ms. (steps per millisecond=8 ) properties seen :0 out of 1
Probabilistic random walk after 25350 steps, saw 10598 distinct states, run finished after 3012 ms. (steps per millisecond=8 ) properties seen :0
[2025-06-03 23:29:05] [INFO ] Flow matrix only has 6444 transitions (discarded 600 similar events)
// Phase 1: matrix 6444 rows 3061 cols
[2025-06-03 23:29:05] [INFO ] Computed 55 invariants in 204 ms
[2025-06-03 23:29:05] [INFO ] State equation strengthened by 2606 read => feed constraints.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/2 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 2953/2955 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2955 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 27/2982 variables, 2/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:29:09] [INFO ] Deduced a trap composed of 138 places in 3333 ms of which 553 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:29:13] [INFO ] Deduced a trap composed of 122 places in 3675 ms of which 503 ms to minimize.
SMT process timed out in 8193ms, After SMT, problems are : Problem set: 0 solved, 1 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 2 out of 3061 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3061/3061 places, 7044/7044 transitions.
Free-agglomeration rule (complex) applied 291 times.
Iterating global reduction 0 with 291 rules applied. Total rules applied 291 place count 3061 transition count 7949
Reduce places removed 291 places and 0 transitions.
Iterating post reduction 0 with 291 rules applied. Total rules applied 582 place count 2770 transition count 7949
Applied a total of 582 rules in 1611 ms. Remains 2770 /3061 variables (removed 291) and now considering 7949/7044 (removed -905) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1611 ms. Remains : 2770/3061 places, 7949/7044 transitions.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 21
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :21 after 23
RANDOM walk for 3371641 steps (190967 resets) in 120005 ms. (28 steps per ms) remains 1/1 properties
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :23 after 25
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :25 after 27
BEST_FIRST walk for 4000004 steps (15353 resets) in 14921 ms. (268 steps per ms) remains 1/1 properties
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :27 after 39
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :39 after 49
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :49 after 131
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :131 after 366
Interrupted probabilistic random walk after 819296 steps, run timeout after 99001 ms. (steps per millisecond=8 ) properties seen :0 out of 1
Probabilistic random walk after 819296 steps, saw 333946 distinct states, run finished after 99002 ms. (steps per millisecond=8 ) properties seen :0
[2025-06-03 23:31:27] [INFO ] Flow matrix only has 7063 transitions (discarded 886 similar events)
// Phase 1: matrix 7063 rows 2770 cols
[2025-06-03 23:31:28] [INFO ] Computed 55 invariants in 188 ms
[2025-06-03 23:31:28] [INFO ] State equation strengthened by 3802 read => feed constraints.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/2 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 2662/2664 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2664 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 27/2691 variables, 2/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :366 after 831
[2025-06-03 23:31:34] [INFO ] Deduced a trap composed of 191 places in 4934 ms of which 522 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:31:38] [INFO ] Deduced a trap composed of 131 places in 3845 ms of which 491 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:31:42] [INFO ] Deduced a trap composed of 84 places in 3563 ms of which 324 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:31:45] [INFO ] Deduced a trap composed of 84 places in 3757 ms of which 429 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:31:49] [INFO ] Deduced a trap composed of 90 places in 3754 ms of which 382 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 23:31:53] [INFO ] Deduced a trap composed of 111 places in 3868 ms of which 426 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/2691 variables, 6/11 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/2691 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 1 unsolved
All remaining problems are real, not stopping.
At refinement iteration 6 (OVERLAPS) 31/2722 variables, 2/13 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/2722 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (OVERLAPS) 42/2764 variables, 42/55 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/2764 variables, 0/55 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (OVERLAPS) 6/2770 variables, 6/61 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/2770 variables, 0/61 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 12 (OVERLAPS) 7063/9833 variables, 2770/2831 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Problem MultiCrashLeafsetExtension-PT-S24C03-CTLFireability-2023-12 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C03-CTLFireability-2023-12 FALSE TECHNIQUES SMT_REFINEMENT
After SMT solving in domain Real declared 9833/9833 variables, and 6633 constraints, problems are : Problem set: 1 solved, 0 unsolved in 31849 ms.
Refiners :[Positive P Invariants (semi-flows): 47/47 constraints, Generalized P Invariants (flows): 8/8 constraints, State Equation: 2770/2770 constraints, ReadFeed: 3802/3802 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 6/6 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 32102ms problems are : Problem set: 1 solved, 0 unsolved
Skipping Parikh replay, no witness traces provided.
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 3292/3292 places, 7351/7351 transitions.
Discarding 35 places :
Symmetric choice reduction at 0 with 35 rule applications. Total rules 35 place count 3257 transition count 7296
Iterating global reduction 0 with 35 rules applied. Total rules applied 70 place count 3257 transition count 7296
Discarding 24 places :
Symmetric choice reduction at 0 with 24 rule applications. Total rules 94 place count 3233 transition count 7246
Iterating global reduction 0 with 24 rules applied. Total rules applied 118 place count 3233 transition count 7246
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 129 place count 3222 transition count 7213
Iterating global reduction 0 with 11 rules applied. Total rules applied 140 place count 3222 transition count 7213
Applied a total of 140 rules in 2730 ms. Remains 3222 /3292 variables (removed 70) and now considering 7213/7351 (removed 138) transitions.
[2025-06-03 23:32:02] [INFO ] Flow matrix only has 6613 transitions (discarded 600 similar events)
// Phase 1: matrix 6613 rows 3222 cols
[2025-06-03 23:32:03] [INFO ] Computed 87 invariants in 198 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:32:12] [INFO ] Implicit Places using invariants in 10028 ms returned [190, 325, 583, 973, 1326, 1385, 1402, 1416, 1462, 1568, 1575, 1602, 1611, 1612, 1699, 1706, 1733, 1762, 1796, 1834, 1835, 1925, 1926, 2078, 2167, 2232, 2333, 2412, 2632, 2766]
[2025-06-03 23:32:12] [INFO ] Actually due to overlaps returned [1568, 1602, 2232, 2412, 190, 325, 583, 973, 1326, 1402, 1462, 1575, 1611, 1612, 1706, 1733, 1762, 1796, 1834, 1835, 1925, 1926, 2167, 2333, 2632, 2766]
Discarding 26 places :
Implicit Place search using SMT only with invariants took 10034 ms to find 26 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 3196/3292 places, 7213/7351 transitions.
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 22 place count 3174 transition count 7191
Iterating global reduction 0 with 22 rules applied. Total rules applied 44 place count 3174 transition count 7191
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 66 place count 3152 transition count 7169
Iterating global reduction 0 with 22 rules applied. Total rules applied 88 place count 3152 transition count 7169
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 110 place count 3130 transition count 7147
Iterating global reduction 0 with 22 rules applied. Total rules applied 132 place count 3130 transition count 7147
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 151 place count 3111 transition count 7090
Iterating global reduction 0 with 19 rules applied. Total rules applied 170 place count 3111 transition count 7090
Applied a total of 170 rules in 3226 ms. Remains 3111 /3196 variables (removed 85) and now considering 7090/7213 (removed 123) transitions.
[2025-06-03 23:32:16] [INFO ] Flow matrix only has 6490 transitions (discarded 600 similar events)
// Phase 1: matrix 6490 rows 3111 cols
[2025-06-03 23:32:16] [INFO ] Computed 61 invariants in 215 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:32:24] [INFO ] Implicit Places using invariants in 8121 ms returned [1367, 1394, 1658, 2007]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 8130 ms to find 4 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 3107/3292 places, 7090/7351 transitions.
Applied a total of 0 rules in 595 ms. Remains 3107 /3107 variables (removed 0) and now considering 7090/7090 (removed 0) transitions.
Finished structural reductions in LTL mode , in 3 iterations and 24717 ms. Remains : 3107/3292 places, 7090/7351 transitions.
[2025-06-03 23:32:25] [INFO ] Flatten gal took : 175 ms
[2025-06-03 23:32:25] [INFO ] Flatten gal took : 208 ms
[2025-06-03 23:32:25] [INFO ] Input system was already deterministic with 7090 transitions.
[2025-06-03 23:32:25] [INFO ] Flatten gal took : 198 ms
[2025-06-03 23:32:26] [INFO ] Flatten gal took : 207 ms
[2025-06-03 23:32:26] [INFO ] Time to serialize gal into /tmp/CTLFireability9279486554246082604.gal : 32 ms
[2025-06-03 23:32:26] [INFO ] Time to serialize properties into /tmp/CTLFireability6925208904095041941.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/CTLFireability9279486554246082604.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6925208904095041941.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-03 23:32:56] [INFO ] Flatten gal took : 204 ms
[2025-06-03 23:32:56] [INFO ] Applying decomposition
[2025-06-03 23:32:56] [INFO ] Flatten gal took : 207 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph15342270885846193484.txt' '-o' '/tmp/graph15342270885846193484.bin' '-w' '/tmp/graph15342270885846193484.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph15342270885846193484.bin' '-l' '-1' '-v' '-w' '/tmp/graph15342270885846193484.weights' '-q' '0' '-e' '0.001'
[2025-06-03 23:32:56] [INFO ] Decomposing Gal with order
[2025-06-03 23:32:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 23:32:58] [INFO ] Removed a total of 5705 redundant transitions.
[2025-06-03 23:32:58] [INFO ] Flatten gal took : 773 ms
[2025-06-03 23:32:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 4380 labels/synchronizations in 311 ms.
[2025-06-03 23:32:58] [INFO ] Time to serialize gal into /tmp/CTLFireability18274471026248879316.gal : 43 ms
[2025-06-03 23:32:58] [INFO ] Time to serialize properties into /tmp/CTLFireability6590425689964708021.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/CTLFireability18274471026248879316.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6590425689964708021.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 : 3292/3292 places, 7351/7351 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 15 transitions
Trivial Post-agglo rules discarded 15 transitions
Performed 15 trivial Post agglomeration. Transition count delta: 15
Iterating post reduction 0 with 15 rules applied. Total rules applied 15 place count 3292 transition count 7336
Reduce places removed 15 places and 0 transitions.
Iterating post reduction 1 with 15 rules applied. Total rules applied 30 place count 3277 transition count 7336
Performed 24 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 24 Pre rules applied. Total rules applied 30 place count 3277 transition count 7312
Deduced a syphon composed of 24 places in 5 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 2 with 48 rules applied. Total rules applied 78 place count 3253 transition count 7312
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 104 place count 3227 transition count 7264
Iterating global reduction 2 with 26 rules applied. Total rules applied 130 place count 3227 transition count 7264
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 130 place count 3227 transition count 7263
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 132 place count 3226 transition count 7263
Discarding 14 places :
Symmetric choice reduction at 2 with 14 rule applications. Total rules 146 place count 3212 transition count 7223
Iterating global reduction 2 with 14 rules applied. Total rules applied 160 place count 3212 transition count 7223
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 161 place count 3211 transition count 7220
Iterating global reduction 2 with 1 rules applied. Total rules applied 162 place count 3211 transition count 7220
Performed 34 Post agglomeration using F-continuation condition.Transition count delta: 34
Deduced a syphon composed of 34 places in 6 ms
Reduce places removed 34 places and 0 transitions.
Iterating global reduction 2 with 68 rules applied. Total rules applied 230 place count 3177 transition count 7186
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 240 place count 3167 transition count 7176
Iterating global reduction 2 with 10 rules applied. Total rules applied 250 place count 3167 transition count 7176
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 260 place count 3157 transition count 7146
Iterating global reduction 2 with 10 rules applied. Total rules applied 270 place count 3157 transition count 7146
Applied a total of 270 rules in 4907 ms. Remains 3157 /3292 variables (removed 135) and now considering 7146/7351 (removed 205) transitions.
[2025-06-03 23:33:33] [INFO ] Flow matrix only has 6546 transitions (discarded 600 similar events)
// Phase 1: matrix 6546 rows 3157 cols
[2025-06-03 23:33:33] [INFO ] Computed 87 invariants in 170 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:33:43] [INFO ] Implicit Places using invariants in 10102 ms returned [185, 312, 567, 954, 1303, 1362, 1377, 1391, 1435, 1495, 1538, 1544, 1570, 1578, 1579, 1640, 1662, 1669, 1694, 1723, 1754, 1792, 1793, 1879, 1880, 2029, 2117, 2180, 2280, 2358, 2576, 2710]
[2025-06-03 23:33:43] [INFO ] Actually due to overlaps returned [1538, 1570, 1640, 2180, 2358, 185, 312, 567, 954, 1303, 1377, 1435, 1544, 1578, 1579, 1669, 1694, 1723, 1754, 1792, 1793, 1879, 1880, 2117, 2280, 2576, 2710]
Discarding 27 places :
Implicit Place search using SMT only with invariants took 10115 ms to find 27 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3130/3292 places, 7146/7351 transitions.
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 17 place count 3113 transition count 7129
Iterating global reduction 0 with 17 rules applied. Total rules applied 34 place count 3113 transition count 7129
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 51 place count 3096 transition count 7112
Iterating global reduction 0 with 17 rules applied. Total rules applied 68 place count 3096 transition count 7112
Discarding 12 places :
Symmetric choice reduction at 0 with 12 rule applications. Total rules 80 place count 3084 transition count 7076
Iterating global reduction 0 with 12 rules applied. Total rules applied 92 place count 3084 transition count 7076
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 5 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 0 with 10 rules applied. Total rules applied 102 place count 3079 transition count 7071
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 107 place count 3074 transition count 7066
Iterating global reduction 0 with 5 rules applied. Total rules applied 112 place count 3074 transition count 7066
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 119 place count 3067 transition count 7045
Iterating global reduction 0 with 7 rules applied. Total rules applied 126 place count 3067 transition count 7045
Applied a total of 126 rules in 4661 ms. Remains 3067 /3130 variables (removed 63) and now considering 7045/7146 (removed 101) transitions.
[2025-06-03 23:33:48] [INFO ] Flow matrix only has 6445 transitions (discarded 600 similar events)
// Phase 1: matrix 6445 rows 3067 cols
[2025-06-03 23:33:48] [INFO ] Computed 60 invariants in 195 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:33:56] [INFO ] Implicit Places using invariants in 8451 ms returned [1348, 1374, 1474, 1630, 1975]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 8456 ms to find 5 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3062/3292 places, 7045/7351 transitions.
Applied a total of 0 rules in 779 ms. Remains 3062 /3062 variables (removed 0) and now considering 7045/7045 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 28919 ms. Remains : 3062/3292 places, 7045/7351 transitions.
[2025-06-03 23:33:57] [INFO ] Flatten gal took : 142 ms
[2025-06-03 23:33:58] [INFO ] Flatten gal took : 175 ms
[2025-06-03 23:33:58] [INFO ] Input system was already deterministic with 7045 transitions.
[2025-06-03 23:33:58] [INFO ] Flatten gal took : 168 ms
[2025-06-03 23:33:58] [INFO ] Flatten gal took : 190 ms
[2025-06-03 23:33:58] [INFO ] Time to serialize gal into /tmp/CTLFireability5335079818855108020.gal : 28 ms
[2025-06-03 23:33:58] [INFO ] Time to serialize properties into /tmp/CTLFireability3409473000014885484.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/CTLFireability5335079818855108020.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3409473000014885484.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-03 23:34:28] [INFO ] Flatten gal took : 170 ms
[2025-06-03 23:34:28] [INFO ] Applying decomposition
[2025-06-03 23:34:29] [INFO ] Flatten gal took : 178 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/graph10816462334680863398.txt' '-o' '/tmp/graph10816462334680863398.bin' '-w' '/tmp/graph10816462334680863398.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph10816462334680863398.bin' '-l' '-1' '-v' '-w' '/tmp/graph10816462334680863398.weights' '-q' '0' '-e' '0.001'
[2025-06-03 23:34:29] [INFO ] Decomposing Gal with order
[2025-06-03 23:34:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 23:34:30] [INFO ] Removed a total of 6530 redundant transitions.
[2025-06-03 23:34:30] [INFO ] Flatten gal took : 1092 ms
[2025-06-03 23:34:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 4618 labels/synchronizations in 382 ms.
[2025-06-03 23:34:31] [INFO ] Time to serialize gal into /tmp/CTLFireability2561100098954692673.gal : 47 ms
[2025-06-03 23:34:31] [INFO ] Time to serialize properties into /tmp/CTLFireability11242683768203276794.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/CTLFireability2561100098954692673.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11242683768203276794.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 : 3292/3292 places, 7351/7351 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 15 transitions
Trivial Post-agglo rules discarded 15 transitions
Performed 15 trivial Post agglomeration. Transition count delta: 15
Iterating post reduction 0 with 15 rules applied. Total rules applied 15 place count 3292 transition count 7336
Reduce places removed 15 places and 0 transitions.
Iterating post reduction 1 with 15 rules applied. Total rules applied 30 place count 3277 transition count 7336
Performed 23 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 23 Pre rules applied. Total rules applied 30 place count 3277 transition count 7313
Deduced a syphon composed of 23 places in 6 ms
Reduce places removed 23 places and 0 transitions.
Iterating global reduction 2 with 46 rules applied. Total rules applied 76 place count 3254 transition count 7313
Discarding 24 places :
Symmetric choice reduction at 2 with 24 rule applications. Total rules 100 place count 3230 transition count 7269
Iterating global reduction 2 with 24 rules applied. Total rules applied 124 place count 3230 transition count 7269
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 124 place count 3230 transition count 7268
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 126 place count 3229 transition count 7268
Discarding 13 places :
Symmetric choice reduction at 2 with 13 rule applications. Total rules 139 place count 3216 transition count 7231
Iterating global reduction 2 with 13 rules applied. Total rules applied 152 place count 3216 transition count 7231
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 153 place count 3215 transition count 7228
Iterating global reduction 2 with 1 rules applied. Total rules applied 154 place count 3215 transition count 7228
Performed 35 Post agglomeration using F-continuation condition.Transition count delta: 35
Deduced a syphon composed of 35 places in 5 ms
Reduce places removed 35 places and 0 transitions.
Iterating global reduction 2 with 70 rules applied. Total rules applied 224 place count 3180 transition count 7193
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 234 place count 3170 transition count 7183
Iterating global reduction 2 with 10 rules applied. Total rules applied 244 place count 3170 transition count 7183
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 254 place count 3160 transition count 7153
Iterating global reduction 2 with 10 rules applied. Total rules applied 264 place count 3160 transition count 7153
Applied a total of 264 rules in 4735 ms. Remains 3160 /3292 variables (removed 132) and now considering 7153/7351 (removed 198) transitions.
[2025-06-03 23:35:06] [INFO ] Flow matrix only has 6553 transitions (discarded 600 similar events)
// Phase 1: matrix 6553 rows 3160 cols
[2025-06-03 23:35:06] [INFO ] Computed 87 invariants in 168 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:35:17] [INFO ] Implicit Places using invariants in 11352 ms returned [185, 569, 956, 1305, 1364, 1379, 1393, 1437, 1497, 1540, 1546, 1572, 1580, 1581, 1642, 1664, 1671, 1696, 1725, 1756, 1794, 1795, 1881, 1882, 2032, 2120, 2183, 2283, 2361, 2579, 2713]
[2025-06-03 23:35:17] [INFO ] Actually due to overlaps returned [1540, 1572, 1642, 2183, 2361, 185, 569, 956, 1305, 1379, 1437, 1546, 1580, 1581, 1671, 1696, 1725, 1756, 1794, 1795, 1881, 1882, 2120, 2283, 2579, 2713]
Discarding 26 places :
Implicit Place search using SMT only with invariants took 11357 ms to find 26 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3134/3292 places, 7153/7351 transitions.
Discarding 16 places :
Symmetric choice reduction at 0 with 16 rule applications. Total rules 16 place count 3118 transition count 7137
Iterating global reduction 0 with 16 rules applied. Total rules applied 32 place count 3118 transition count 7137
Discarding 16 places :
Symmetric choice reduction at 0 with 16 rule applications. Total rules 48 place count 3102 transition count 7121
Iterating global reduction 0 with 16 rules applied. Total rules applied 64 place count 3102 transition count 7121
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 75 place count 3091 transition count 7088
Iterating global reduction 0 with 11 rules applied. Total rules applied 86 place count 3091 transition count 7088
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 5 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 0 with 10 rules applied. Total rules applied 96 place count 3086 transition count 7083
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 101 place count 3081 transition count 7078
Iterating global reduction 0 with 5 rules applied. Total rules applied 106 place count 3081 transition count 7078
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 113 place count 3074 transition count 7057
Iterating global reduction 0 with 7 rules applied. Total rules applied 120 place count 3074 transition count 7057
Applied a total of 120 rules in 4606 ms. Remains 3074 /3134 variables (removed 60) and now considering 7057/7153 (removed 96) transitions.
[2025-06-03 23:35:22] [INFO ] Flow matrix only has 6457 transitions (discarded 600 similar events)
// Phase 1: matrix 6457 rows 3074 cols
[2025-06-03 23:35:22] [INFO ] Computed 61 invariants in 202 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:35:29] [INFO ] Implicit Places using invariants in 7580 ms returned [1353, 1379, 1479, 1635, 1981]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 7591 ms to find 5 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3069/3292 places, 7057/7351 transitions.
Applied a total of 0 rules in 1097 ms. Remains 3069 /3069 variables (removed 0) and now considering 7057/7057 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 3 iterations and 29386 ms. Remains : 3069/3292 places, 7057/7351 transitions.
[2025-06-03 23:35:31] [INFO ] Flatten gal took : 154 ms
[2025-06-03 23:35:31] [INFO ] Flatten gal took : 187 ms
[2025-06-03 23:35:31] [INFO ] Input system was already deterministic with 7057 transitions.
[2025-06-03 23:35:31] [INFO ] Flatten gal took : 180 ms
[2025-06-03 23:35:32] [INFO ] Flatten gal took : 192 ms
[2025-06-03 23:35:32] [INFO ] Time to serialize gal into /tmp/CTLFireability4956957793707181326.gal : 33 ms
[2025-06-03 23:35:32] [INFO ] Time to serialize properties into /tmp/CTLFireability13198383273751169040.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/CTLFireability4956957793707181326.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13198383273751169040.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-03 23:36:02] [INFO ] Flatten gal took : 237 ms
[2025-06-03 23:36:02] [INFO ] Applying decomposition
[2025-06-03 23:36:02] [INFO ] Flatten gal took : 275 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/graph5157478297933447339.txt' '-o' '/tmp/graph5157478297933447339.bin' '-w' '/tmp/graph5157478297933447339.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph5157478297933447339.bin' '-l' '-1' '-v' '-w' '/tmp/graph5157478297933447339.weights' '-q' '0' '-e' '0.001'
[2025-06-03 23:36:02] [INFO ] Decomposing Gal with order
[2025-06-03 23:36:03] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 23:36:04] [INFO ] Removed a total of 6563 redundant transitions.
[2025-06-03 23:36:05] [INFO ] Flatten gal took : 1481 ms
[2025-06-03 23:36:05] [INFO ] Fuse similar labels procedure discarded/fused a total of 5524 labels/synchronizations in 398 ms.
[2025-06-03 23:36:05] [INFO ] Time to serialize gal into /tmp/CTLFireability1872028363694722422.gal : 57 ms
[2025-06-03 23:36:05] [INFO ] Time to serialize properties into /tmp/CTLFireability3647256559607133802.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/CTLFireability1872028363694722422.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3647256559607133802.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.
[2025-06-03 23:36:35] [INFO ] Flatten gal took : 207 ms
[2025-06-03 23:36:36] [INFO ] Flatten gal took : 215 ms
[2025-06-03 23:36:36] [INFO ] Applying decomposition
[2025-06-03 23:36:36] [INFO ] Flatten gal took : 214 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/graph11112579322681735354.txt' '-o' '/tmp/graph11112579322681735354.bin' '-w' '/tmp/graph11112579322681735354.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph11112579322681735354.bin' '-l' '-1' '-v' '-w' '/tmp/graph11112579322681735354.weights' '-q' '0' '-e' '0.001'
[2025-06-03 23:36:36] [INFO ] Decomposing Gal with order
[2025-06-03 23:36:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 23:36:37] [INFO ] Removed a total of 6069 redundant transitions.
[2025-06-03 23:36:37] [INFO ] Flatten gal took : 646 ms
[2025-06-03 23:36:38] [INFO ] Fuse similar labels procedure discarded/fused a total of 4164 labels/synchronizations in 538 ms.
[2025-06-03 23:36:38] [INFO ] Time to serialize gal into /tmp/CTLFireability420499027964501343.gal : 51 ms
[2025-06-03 23:36:38] [INFO ] Time to serialize properties into /tmp/CTLFireability13092052941410207025.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/CTLFireability420499027964501343.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13092052941410207025.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 14 CTL formulae.
Detected timeout of ITS tools.
[2025-06-04 00:05:49] [INFO ] Flatten gal took : 1515 ms
[2025-06-04 00:05:49] [INFO ] Time to serialize gal into /tmp/CTLFireability5523956868385020025.gal : 132 ms
[2025-06-04 00:05:49] [INFO ] Time to serialize properties into /tmp/CTLFireability9105688326830811051.ctl : 18 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/CTLFireability5523956868385020025.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9105688326830811051.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 14 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ 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-S24C03"
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-S24C03, 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-174876524400346"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C03.tgz
mv MultiCrashLeafsetExtension-PT-S24C03 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 ;