About the Execution of ITS-Tools for NoC3x3-PT-6A
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16202.884 | 3600000.00 | 3398418.00 | 214328.40 | ???????T???????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2026-input.r194-tall-177969914000337.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2026-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-5973
Executing tool itstools
Input is NoC3x3-PT-6A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r194-tall-177969914000337
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 860K
-rw-r--r-- 1 mcc users 6.8K Mar 8 06:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Mar 8 06:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Mar 8 06:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 74K Mar 8 06:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 3 18:30 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 3 18:30 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.7K Mar 16 08:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 16 08:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 16 08:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 16 08:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Mar 8 06:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 185K Mar 8 06:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Mar 8 06:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 83K Mar 8 06:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 16 08:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 16 08:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 297K Mar 3 18:30 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 NoC3x3-PT-6A-CTLCardinality-2024-00
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-2024-01
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-2024-02
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-2024-03
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-2024-04
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-2024-05
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-2024-06
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-2024-07
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-2024-08
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-2024-09
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-2024-10
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-2024-11
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-2024-12
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-2024-13
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-2024-14
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1779757479910
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=NoC3x3-PT-6A
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202604301425
[2026-05-26 01:04:41] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-26 01:04:41] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-26 01:04:41] [INFO ] Load time of PNML (sax parser for PT used): 119 ms
[2026-05-26 01:04:41] [INFO ] Transformed 512 places.
[2026-05-26 01:04:41] [INFO ] Transformed 1117 transitions.
[2026-05-26 01:04:41] [INFO ] Found NUPN structural information;
[2026-05-26 01:04:41] [INFO ] Parsed PT model containing 512 places and 1117 transitions and 4279 arcs in 211 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 13 ms.
Support contains 102 out of 512 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 512/512 places, 1117/1117 transitions.
Discarding 54 places :
Symmetric choice reduction at 0 with 54 rule applications. Total rules 54 place count 458 transition count 888
Iterating global reduction 0 with 54 rules applied. Total rules applied 108 place count 458 transition count 888
Applied a total of 108 rules in 68 ms. Remains 458 /512 variables (removed 54) and now considering 888/1117 (removed 229) transitions.
[2026-05-26 01:04:41] [INFO ] Flow matrix only has 881 transitions (discarded 7 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4879894516265974.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-12726651343090234660.kers'
[2026-05-26 01:04:41] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4879894516265974.kers, --Pflows, --basisKERS=/tmp/petrispot-output-12726651343090234660.kers]
Culling duplicate invariants (modulo rational): removing 9 columns.
Culled 9 columns in 0 ms.
// Phase 1: matrix 881 rows 449 cols 3272 entries
Finished phase 1 with 392 SingleSign rule and 0 generalized
[2026-05-26 01:04:41] [INFO ] Computed 66 invariants in 3 ms
Computed 66 P flows in 4 ms.
Exported basis to /tmp/petrispot-output-12726651343090234660.kers
Total runtime 5 ms.
[2026-05-26 01:04:41] [INFO ] Implicit Places using invariants in 496 ms returned [11, 44, 96, 134, 200, 293, 346]
Discarding 7 places :
Implicit Place search using SMT only with invariants took 529 ms to find 7 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 451/512 places, 888/1117 transitions.
Applied a total of 0 rules in 9 ms. Remains 451 /451 variables (removed 0) and now considering 888/888 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 621 ms. Remains : 451/512 places, 888/1117 transitions.
Starting structural reductions in LTL mode, iteration 0 : 451/451 places, 888/888 transitions.
Applied a total of 0 rules in 8 ms. Remains 451 /451 variables (removed 0) and now considering 888/888 (removed 0) transitions.
[2026-05-26 01:04:41] [INFO ] Flow matrix only has 881 transitions (discarded 7 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13313842194191811643.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16529931059396371571.kers'
[2026-05-26 01:04:41] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13313842194191811643.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16529931059396371571.kers]
Culling duplicate invariants (modulo rational): removing 2 columns.
Culled 2 columns in 0 ms.
// Phase 1: matrix 881 rows 449 cols 3272 entries
Finished phase 1 with 392 SingleSign rule and 0 generalized
[2026-05-26 01:04:41] [INFO ] Computed 59 invariants in 3 ms
Computed 59 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-16529931059396371571.kers
Total runtime 4 ms.
[2026-05-26 01:04:42] [INFO ] Implicit Places using invariants in 211 ms returned []
[2026-05-26 01:04:42] [INFO ] Flow matrix only has 881 transitions (discarded 7 similar events)
[2026-05-26 01:04:42] [INFO ] Invariant cache hit.
[2026-05-26 01:04:42] [INFO ] State equation strengthened by 22 read => feed constraints.
[2026-05-26 01:04:42] [INFO ] Implicit Places using invariants and state equation in 531 ms returned []
Implicit Place search using SMT with State Equation took 754 ms to find 0 implicit places.
Running 887 sub problems to find dead transitions.
[2026-05-26 01:04:42] [INFO ] Flow matrix only has 881 transitions (discarded 7 similar events)
[2026-05-26 01:04:42] [INFO ] Invariant cache hit.
[2026-05-26 01:04:42] [INFO ] State equation strengthened by 22 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/450 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 887 unsolved
At refinement iteration 1 (OVERLAPS) 1/451 variables, 59/59 constraints. Problems are: Problem set: 0 solved, 887 unsolved
SMT process timed out in 32806ms, After SMT, problems are : Problem set: 0 solved, 887 unsolved
Search for dead transitions found 0 dead transitions in 32832ms
Finished structural reductions in LTL mode , in 1 iterations and 33637 ms. Remains : 451/451 places, 888/888 transitions.
Support contains 102 out of 451 places after structural reductions.
[2026-05-26 01:05:15] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2026-05-26 01:05:15] [INFO ] Flatten gal took : 130 ms
FORMULA NoC3x3-PT-6A-CTLCardinality-2024-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2026-05-26 01:05:16] [INFO ] Flatten gal took : 55 ms
[2026-05-26 01:05:16] [INFO ] Input system was already deterministic with 888 transitions.
Support contains 93 out of 451 places (down from 102) after GAL structural reductions.
RANDOM walk for 40000 steps (115 resets) in 1063 ms. (37 steps per ms) remains 1/60 properties
BEST_FIRST walk for 40004 steps (8 resets) in 181 ms. (219 steps per ms) remains 1/1 properties
[2026-05-26 01:05:16] [INFO ] Flow matrix only has 881 transitions (discarded 7 similar events)
[2026-05-26 01:05:16] [INFO ] Invariant cache hit.
[2026-05-26 01:05:16] [INFO ] State equation strengthened by 22 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/3 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 30/33 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/33 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 418/451 variables, 56/59 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/451 variables, 0/59 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 881/1332 variables, 451/510 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/1332 variables, 22/532 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/1332 variables, 0/532 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (OVERLAPS) 0/1332 variables, 0/532 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1332/1332 variables, and 532 constraints, problems are : Problem set: 0 solved, 1 unsolved in 475 ms.
Refiners :[Positive P Invariants (semi-flows): 59/59 constraints, State Equation: 451/451 constraints, ReadFeed: 22/22 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/3 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Problem AtomicPropp28 is UNSAT
After SMT solving in domain Int declared 33/1332 variables, and 3 constraints, problems are : Problem set: 1 solved, 0 unsolved in 48 ms.
Refiners :[Positive P Invariants (semi-flows): 3/59 constraints, State Equation: 0/451 constraints, ReadFeed: 0/22 constraints, PredecessorRefiner: 0/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 546ms problems are : Problem set: 1 solved, 0 unsolved
Skipping Parikh replay, no witness traces provided.
Successfully simplified 1 atomic propositions for a total of 15 simplifications.
[2026-05-26 01:05:17] [INFO ] Flatten gal took : 50 ms
[2026-05-26 01:05:17] [INFO ] Flatten gal took : 33 ms
[2026-05-26 01:05:17] [INFO ] Input system was already deterministic with 888 transitions.
Computed a total of 3 stabilizing places and 1 stable transitions
Starting structural reductions in SI_CTL mode, iteration 0 : 451/451 places, 888/888 transitions.
Discarding 27 places :
Symmetric choice reduction at 0 with 27 rule applications. Total rules 27 place count 424 transition count 787
Iterating global reduction 0 with 27 rules applied. Total rules applied 54 place count 424 transition count 787
Performed 18 Post agglomeration using F-continuation condition.Transition count delta: 18
Deduced a syphon composed of 18 places in 0 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 0 with 36 rules applied. Total rules applied 90 place count 406 transition count 769
Applied a total of 90 rules in 58 ms. Remains 406 /451 variables (removed 45) and now considering 769/888 (removed 119) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11455277365796276690.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16526840703400363243.kers'
[2026-05-26 01:05:17] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11455277365796276690.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16526840703400363243.kers]
Culling duplicate invariants (modulo rational): removing 2 columns.
Culled 2 columns in 0 ms.
// Phase 1: matrix 769 rows 404 cols 2846 entries
Finished phase 1 with 347 SingleSign rule and 0 generalized
[2026-05-26 01:05:17] [INFO ] Computed 59 invariants in 2 ms
Computed 59 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-16526840703400363243.kers
Total runtime 4 ms.
[2026-05-26 01:05:17] [INFO ] Implicit Places using invariants in 209 ms returned [338, 388]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 214 ms to find 2 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 404/451 places, 769/888 transitions.
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 1 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 0 with 10 rules applied. Total rules applied 10 place count 399 transition count 764
Applied a total of 10 rules in 35 ms. Remains 399 /404 variables (removed 5) and now considering 764/769 (removed 5) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10171980948611081223.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8924876710091272833.kers'
[2026-05-26 01:05:17] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10171980948611081223.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8924876710091272833.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 764 rows 399 cols 2826 entries
Finished phase 1 with 342 SingleSign rule and 0 generalized
[2026-05-26 01:05:17] [INFO ] Computed 57 invariants in 2 ms
Computed 57 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-8924876710091272833.kers
Total runtime 3 ms.
[2026-05-26 01:05:18] [INFO ] Implicit Places using invariants in 196 ms returned []
[2026-05-26 01:05:18] [INFO ] Invariant cache hit.
[2026-05-26 01:05:18] [INFO ] State equation strengthened by 40 read => feed constraints.
[2026-05-26 01:05:18] [INFO ] Implicit Places using invariants and state equation in 534 ms returned []
Implicit Place search using SMT with State Equation took 732 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 399/451 places, 764/888 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 1041 ms. Remains : 399/451 places, 764/888 transitions.
[2026-05-26 01:05:18] [INFO ] Flatten gal took : 31 ms
[2026-05-26 01:05:18] [INFO ] Flatten gal took : 26 ms
[2026-05-26 01:05:18] [INFO ] Input system was already deterministic with 764 transitions.
[2026-05-26 01:05:18] [INFO ] Flatten gal took : 18 ms
[2026-05-26 01:05:18] [INFO ] Flatten gal took : 19 ms
[2026-05-26 01:05:18] [INFO ] Time to serialize gal into /tmp/CTLCardinality15314413564393961561.gal : 20 ms
[2026-05-26 01:05:18] [INFO ] Time to serialize properties into /tmp/CTLCardinality9242694458513922064.ctl : 3 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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality15314413564393961561.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9242694458513922064.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-26 01:05:48] [INFO ] Flatten gal took : 28 ms
[2026-05-26 01:05:48] [INFO ] Applying decomposition
[2026-05-26 01:05:48] [INFO ] Flatten gal took : 35 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph14652972518758481833.txt' '-o' '/tmp/graph14652972518758481833.bin' '-w' '/tmp/graph14652972518758481833.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph14652972518758481833.bin' '-l' '-1' '-v' '-w' '/tmp/graph14652972518758481833.weights' '-q' '0' '-e' '0.001'
[2026-05-26 01:05:49] [INFO ] Decomposing Gal with order
[2026-05-26 01:05:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 01:05:49] [INFO ] Removed a total of 572 redundant transitions.
[2026-05-26 01:05:49] [INFO ] Flatten gal took : 108 ms
[2026-05-26 01:05:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 553 labels/synchronizations in 21 ms.
[2026-05-26 01:05:49] [INFO ] Time to serialize gal into /tmp/CTLCardinality14388214917693886989.gal : 8 ms
[2026-05-26 01:05:49] [INFO ] Time to serialize properties into /tmp/CTLCardinality9439440892680011780.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14388214917693886989.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9439440892680011780.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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 : 451/451 places, 888/888 transitions.
Discarding 26 places :
Symmetric choice reduction at 0 with 26 rule applications. Total rules 26 place count 425 transition count 791
Iterating global reduction 0 with 26 rules applied. Total rules applied 52 place count 425 transition count 791
Applied a total of 52 rules in 20 ms. Remains 425 /451 variables (removed 26) and now considering 791/888 (removed 97) transitions.
[2026-05-26 01:06:19] [INFO ] Flow matrix only has 790 transitions (discarded 1 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17128289039044546182.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9199703822231434699.kers'
[2026-05-26 01:06:19] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17128289039044546182.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9199703822231434699.kers]
Culling duplicate invariants (modulo rational): removing 2 columns.
Culled 2 columns in 0 ms.
// Phase 1: matrix 790 rows 423 cols 2930 entries
Finished phase 1 with 366 SingleSign rule and 0 generalized
[2026-05-26 01:06:19] [INFO ] Computed 59 invariants in 2 ms
Computed 59 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-9199703822231434699.kers
Total runtime 4 ms.
[2026-05-26 01:06:19] [INFO ] Implicit Places using invariants in 204 ms returned [357, 407]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 205 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 423/451 places, 791/888 transitions.
Applied a total of 0 rules in 7 ms. Remains 423 /423 variables (removed 0) and now considering 791/791 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 233 ms. Remains : 423/451 places, 791/888 transitions.
[2026-05-26 01:06:19] [INFO ] Flatten gal took : 18 ms
[2026-05-26 01:06:19] [INFO ] Flatten gal took : 19 ms
[2026-05-26 01:06:19] [INFO ] Input system was already deterministic with 791 transitions.
[2026-05-26 01:06:19] [INFO ] Flatten gal took : 19 ms
[2026-05-26 01:06:19] [INFO ] Flatten gal took : 19 ms
[2026-05-26 01:06:19] [INFO ] Time to serialize gal into /tmp/CTLCardinality8146689949914661360.gal : 4 ms
[2026-05-26 01:06:19] [INFO ] Time to serialize properties into /tmp/CTLCardinality1525977184405298755.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality8146689949914661360.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1525977184405298755.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-26 01:06:49] [INFO ] Flatten gal took : 16 ms
[2026-05-26 01:06:49] [INFO ] Applying decomposition
[2026-05-26 01:06:49] [INFO ] Flatten gal took : 15 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph1458622458438596501.txt' '-o' '/tmp/graph1458622458438596501.bin' '-w' '/tmp/graph1458622458438596501.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1458622458438596501.bin' '-l' '-1' '-v' '-w' '/tmp/graph1458622458438596501.weights' '-q' '0' '-e' '0.001'
[2026-05-26 01:06:49] [INFO ] Decomposing Gal with order
[2026-05-26 01:06:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 01:06:50] [INFO ] Removed a total of 597 redundant transitions.
[2026-05-26 01:06:50] [INFO ] Flatten gal took : 49 ms
[2026-05-26 01:06:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 506 labels/synchronizations in 14 ms.
[2026-05-26 01:06:50] [INFO ] Time to serialize gal into /tmp/CTLCardinality13597192721484136846.gal : 6 ms
[2026-05-26 01:06:50] [INFO ] Time to serialize properties into /tmp/CTLCardinality16489549122017043795.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13597192721484136846.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16489549122017043795.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 451/451 places, 888/888 transitions.
Reduce places removed 1 places and 1 transitions.
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 448 transition count 887
Discarding 24 places :
Symmetric choice reduction at 1 with 24 rule applications. Total rules 26 place count 424 transition count 796
Iterating global reduction 1 with 24 rules applied. Total rules applied 50 place count 424 transition count 796
Performed 24 Post agglomeration using F-continuation condition.Transition count delta: 24
Deduced a syphon composed of 24 places in 1 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 1 with 48 rules applied. Total rules applied 98 place count 400 transition count 772
Applied a total of 98 rules in 42 ms. Remains 400 /451 variables (removed 51) and now considering 772/888 (removed 116) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13673411504903818077.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2140799802247841777.kers'
[2026-05-26 01:07:20] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13673411504903818077.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2140799802247841777.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 772 rows 400 cols 2798 entries
Finished phase 1 with 343 SingleSign rule and 0 generalized
[2026-05-26 01:07:20] [INFO ] Computed 57 invariants in 2 ms
Computed 57 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-2140799802247841777.kers
Total runtime 3 ms.
[2026-05-26 01:07:20] [INFO ] Implicit Places using invariants in 191 ms returned []
[2026-05-26 01:07:20] [INFO ] Invariant cache hit.
[2026-05-26 01:07:20] [INFO ] State equation strengthened by 17 read => feed constraints.
[2026-05-26 01:07:20] [INFO ] Implicit Places using invariants and state equation in 452 ms returned []
Implicit Place search using SMT with State Equation took 645 ms to find 0 implicit places.
[2026-05-26 01:07:20] [INFO ] Redundant transitions in 43 ms returned []
Running 741 sub problems to find dead transitions.
[2026-05-26 01:07:20] [INFO ] Invariant cache hit.
[2026-05-26 01:07:20] [INFO ] State equation strengthened by 17 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/391 variables, 48/48 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/391 variables, 0/48 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 2 (OVERLAPS) 9/400 variables, 9/57 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/400 variables, 0/57 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 4 (OVERLAPS) 772/1172 variables, 400/457 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/1172 variables, 17/474 constraints. Problems are: Problem set: 0 solved, 741 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1172/1172 variables, and 474 constraints, problems are : Problem set: 0 solved, 741 unsolved in 30029 ms.
Refiners :[Positive P Invariants (semi-flows): 57/57 constraints, State Equation: 400/400 constraints, ReadFeed: 17/17 constraints, PredecessorRefiner: 741/741 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 741 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/391 variables, 48/48 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/391 variables, 0/48 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 2 (OVERLAPS) 9/400 variables, 9/57 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/400 variables, 0/57 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 4 (OVERLAPS) 772/1172 variables, 400/457 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/1172 variables, 17/474 constraints. Problems are: Problem set: 0 solved, 741 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/1172 variables, 741/1215 constraints. Problems are: Problem set: 0 solved, 741 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1172/1172 variables, and 1215 constraints, problems are : Problem set: 0 solved, 741 unsolved in 30028 ms.
Refiners :[Positive P Invariants (semi-flows): 57/57 constraints, State Equation: 400/400 constraints, ReadFeed: 17/17 constraints, PredecessorRefiner: 741/741 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60189ms problems are : Problem set: 0 solved, 741 unsolved
Search for dead transitions found 0 dead transitions in 60192ms
Starting structural reductions in SI_CTL mode, iteration 1 : 400/451 places, 772/888 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 60936 ms. Remains : 400/451 places, 772/888 transitions.
[2026-05-26 01:08:21] [INFO ] Flatten gal took : 14 ms
[2026-05-26 01:08:21] [INFO ] Flatten gal took : 53 ms
[2026-05-26 01:08:21] [INFO ] Input system was already deterministic with 772 transitions.
[2026-05-26 01:08:21] [INFO ] Flatten gal took : 39 ms
[2026-05-26 01:08:21] [INFO ] Flatten gal took : 56 ms
[2026-05-26 01:08:21] [INFO ] Time to serialize gal into /tmp/CTLCardinality9718688445376787683.gal : 6 ms
[2026-05-26 01:08:21] [INFO ] Time to serialize properties into /tmp/CTLCardinality2147901061306968299.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality9718688445376787683.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2147901061306968299.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-26 01:08:51] [INFO ] Flatten gal took : 15 ms
[2026-05-26 01:08:51] [INFO ] Applying decomposition
[2026-05-26 01:08:51] [INFO ] Flatten gal took : 13 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph10988347616644860590.txt' '-o' '/tmp/graph10988347616644860590.bin' '-w' '/tmp/graph10988347616644860590.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10988347616644860590.bin' '-l' '-1' '-v' '-w' '/tmp/graph10988347616644860590.weights' '-q' '0' '-e' '0.001'
[2026-05-26 01:08:51] [INFO ] Decomposing Gal with order
[2026-05-26 01:08:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 01:08:51] [INFO ] Removed a total of 654 redundant transitions.
[2026-05-26 01:08:51] [INFO ] Flatten gal took : 37 ms
[2026-05-26 01:08:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 545 labels/synchronizations in 13 ms.
[2026-05-26 01:08:51] [INFO ] Time to serialize gal into /tmp/CTLCardinality16776035981765859535.gal : 4 ms
[2026-05-26 01:08:51] [INFO ] Time to serialize properties into /tmp/CTLCardinality18007345559219934770.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality16776035981765859535.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality18007345559219934770.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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 : 451/451 places, 888/888 transitions.
Discarding 25 places :
Symmetric choice reduction at 0 with 25 rule applications. Total rules 25 place count 426 transition count 797
Iterating global reduction 0 with 25 rules applied. Total rules applied 50 place count 426 transition count 797
Applied a total of 50 rules in 18 ms. Remains 426 /451 variables (removed 25) and now considering 797/888 (removed 91) transitions.
[2026-05-26 01:09:21] [INFO ] Flow matrix only has 795 transitions (discarded 2 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3767618147399807581.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9723175016597086412.kers'
[2026-05-26 01:09:21] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3767618147399807581.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9723175016597086412.kers]
Culling duplicate invariants (modulo rational): removing 2 columns.
Culled 2 columns in 0 ms.
// Phase 1: matrix 795 rows 424 cols 2950 entries
Finished phase 1 with 367 SingleSign rule and 0 generalized
[2026-05-26 01:09:21] [INFO ] Computed 59 invariants in 2 ms
Computed 59 P flows in 5 ms.
Exported basis to /tmp/petrispot-output-9723175016597086412.kers
Total runtime 7 ms.
[2026-05-26 01:09:21] [INFO ] Implicit Places using invariants in 249 ms returned [358, 408]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 254 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 424/451 places, 797/888 transitions.
Applied a total of 0 rules in 5 ms. Remains 424 /424 variables (removed 0) and now considering 797/797 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 277 ms. Remains : 424/451 places, 797/888 transitions.
[2026-05-26 01:09:21] [INFO ] Flatten gal took : 12 ms
[2026-05-26 01:09:21] [INFO ] Flatten gal took : 31 ms
[2026-05-26 01:09:22] [INFO ] Input system was already deterministic with 797 transitions.
[2026-05-26 01:09:22] [INFO ] Flatten gal took : 14 ms
[2026-05-26 01:09:22] [INFO ] Flatten gal took : 14 ms
[2026-05-26 01:09:22] [INFO ] Time to serialize gal into /tmp/CTLCardinality6175798522265224684.gal : 4 ms
[2026-05-26 01:09:22] [INFO ] Time to serialize properties into /tmp/CTLCardinality7539581303343998258.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality6175798522265224684.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7539581303343998258.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-26 01:09:52] [INFO ] Flatten gal took : 14 ms
[2026-05-26 01:09:52] [INFO ] Applying decomposition
[2026-05-26 01:09:52] [INFO ] Flatten gal took : 12 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph10815972113572542559.txt' '-o' '/tmp/graph10815972113572542559.bin' '-w' '/tmp/graph10815972113572542559.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10815972113572542559.bin' '-l' '-1' '-v' '-w' '/tmp/graph10815972113572542559.weights' '-q' '0' '-e' '0.001'
[2026-05-26 01:09:52] [INFO ] Decomposing Gal with order
[2026-05-26 01:09:52] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 01:09:52] [INFO ] Removed a total of 649 redundant transitions.
[2026-05-26 01:09:52] [INFO ] Flatten gal took : 34 ms
[2026-05-26 01:09:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 572 labels/synchronizations in 12 ms.
[2026-05-26 01:09:52] [INFO ] Time to serialize gal into /tmp/CTLCardinality12263678387105322791.gal : 4 ms
[2026-05-26 01:09:52] [INFO ] Time to serialize properties into /tmp/CTLCardinality15940979304986912693.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12263678387105322791.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15940979304986912693.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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 : 451/451 places, 888/888 transitions.
Discarding 26 places :
Symmetric choice reduction at 0 with 26 rule applications. Total rules 26 place count 425 transition count 790
Iterating global reduction 0 with 26 rules applied. Total rules applied 52 place count 425 transition count 790
Applied a total of 52 rules in 9 ms. Remains 425 /451 variables (removed 26) and now considering 790/888 (removed 98) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9261079467290755972.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-18281875187569422823.kers'
[2026-05-26 01:10:22] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9261079467290755972.kers, --Pflows, --basisKERS=/tmp/petrispot-output-18281875187569422823.kers]
Culling duplicate invariants (modulo rational): removing 2 columns.
Culled 2 columns in 0 ms.
// Phase 1: matrix 790 rows 423 cols 2928 entries
Finished phase 1 with 366 SingleSign rule and 0 generalized
[2026-05-26 01:10:22] [INFO ] Computed 59 invariants in 2 ms
Computed 59 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-18281875187569422823.kers
Total runtime 4 ms.
[2026-05-26 01:10:22] [INFO ] Implicit Places using invariants in 299 ms returned [356, 407]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 305 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 423/451 places, 790/888 transitions.
Applied a total of 0 rules in 10 ms. Remains 423 /423 variables (removed 0) and now considering 790/790 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 324 ms. Remains : 423/451 places, 790/888 transitions.
[2026-05-26 01:10:22] [INFO ] Flatten gal took : 20 ms
[2026-05-26 01:10:22] [INFO ] Flatten gal took : 18 ms
[2026-05-26 01:10:22] [INFO ] Input system was already deterministic with 790 transitions.
[2026-05-26 01:10:22] [INFO ] Flatten gal took : 16 ms
[2026-05-26 01:10:22] [INFO ] Flatten gal took : 13 ms
[2026-05-26 01:10:22] [INFO ] Time to serialize gal into /tmp/CTLCardinality2736551392060870191.gal : 9 ms
[2026-05-26 01:10:22] [INFO ] Time to serialize properties into /tmp/CTLCardinality13584243285107809772.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality2736551392060870191.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13584243285107809772.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-26 01:10:52] [INFO ] Flatten gal took : 14 ms
[2026-05-26 01:10:52] [INFO ] Applying decomposition
[2026-05-26 01:10:52] [INFO ] Flatten gal took : 13 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph5400685891321518924.txt' '-o' '/tmp/graph5400685891321518924.bin' '-w' '/tmp/graph5400685891321518924.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5400685891321518924.bin' '-l' '-1' '-v' '-w' '/tmp/graph5400685891321518924.weights' '-q' '0' '-e' '0.001'
[2026-05-26 01:10:52] [INFO ] Decomposing Gal with order
[2026-05-26 01:10:52] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 01:10:53] [INFO ] Removed a total of 608 redundant transitions.
[2026-05-26 01:10:53] [INFO ] Flatten gal took : 36 ms
[2026-05-26 01:10:53] [INFO ] Fuse similar labels procedure discarded/fused a total of 571 labels/synchronizations in 23 ms.
[2026-05-26 01:10:53] [INFO ] Time to serialize gal into /tmp/CTLCardinality17279660079647326060.gal : 5 ms
[2026-05-26 01:10:53] [INFO ] Time to serialize properties into /tmp/CTLCardinality14980847372868139164.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality17279660079647326060.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14980847372868139164.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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 : 451/451 places, 888/888 transitions.
Discarding 27 places :
Symmetric choice reduction at 0 with 27 rule applications. Total rules 27 place count 424 transition count 787
Iterating global reduction 0 with 27 rules applied. Total rules applied 54 place count 424 transition count 787
Applied a total of 54 rules in 9 ms. Remains 424 /451 variables (removed 27) and now considering 787/888 (removed 101) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-16139568234055056042.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5974644917083604047.kers'
[2026-05-26 01:11:23] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-16139568234055056042.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5974644917083604047.kers]
Culling duplicate invariants (modulo rational): removing 2 columns.
Culled 2 columns in 0 ms.
// Phase 1: matrix 787 rows 422 cols 2918 entries
Finished phase 1 with 365 SingleSign rule and 0 generalized
[2026-05-26 01:11:23] [INFO ] Computed 59 invariants in 2 ms
Computed 59 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-5974644917083604047.kers
Total runtime 3 ms.
[2026-05-26 01:11:23] [INFO ] Implicit Places using invariants in 231 ms returned [356]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 233 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 423/451 places, 787/888 transitions.
Applied a total of 0 rules in 5 ms. Remains 423 /423 variables (removed 0) and now considering 787/787 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 258 ms. Remains : 423/451 places, 787/888 transitions.
[2026-05-26 01:11:23] [INFO ] Flatten gal took : 20 ms
[2026-05-26 01:11:23] [INFO ] Flatten gal took : 13 ms
[2026-05-26 01:11:23] [INFO ] Input system was already deterministic with 787 transitions.
[2026-05-26 01:11:23] [INFO ] Flatten gal took : 12 ms
[2026-05-26 01:11:23] [INFO ] Flatten gal took : 13 ms
[2026-05-26 01:11:23] [INFO ] Time to serialize gal into /tmp/CTLCardinality3240348802261316323.gal : 3 ms
[2026-05-26 01:11:23] [INFO ] Time to serialize properties into /tmp/CTLCardinality592490140608522027.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality3240348802261316323.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality592490140608522027.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-26 01:11:53] [INFO ] Flatten gal took : 13 ms
[2026-05-26 01:11:53] [INFO ] Applying decomposition
[2026-05-26 01:11:53] [INFO ] Flatten gal took : 13 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph2876926098633578690.txt' '-o' '/tmp/graph2876926098633578690.bin' '-w' '/tmp/graph2876926098633578690.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph2876926098633578690.bin' '-l' '-1' '-v' '-w' '/tmp/graph2876926098633578690.weights' '-q' '0' '-e' '0.001'
[2026-05-26 01:11:53] [INFO ] Decomposing Gal with order
[2026-05-26 01:11:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 01:11:53] [INFO ] Removed a total of 648 redundant transitions.
[2026-05-26 01:11:53] [INFO ] Flatten gal took : 30 ms
[2026-05-26 01:11:53] [INFO ] Fuse similar labels procedure discarded/fused a total of 532 labels/synchronizations in 6 ms.
[2026-05-26 01:11:53] [INFO ] Time to serialize gal into /tmp/CTLCardinality4015875280201784740.gal : 4 ms
[2026-05-26 01:11:53] [INFO ] Time to serialize properties into /tmp/CTLCardinality2131593050034793643.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4015875280201784740.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2131593050034793643.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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 : 451/451 places, 888/888 transitions.
Discarding 27 places :
Symmetric choice reduction at 0 with 27 rule applications. Total rules 27 place count 424 transition count 787
Iterating global reduction 0 with 27 rules applied. Total rules applied 54 place count 424 transition count 787
Applied a total of 54 rules in 9 ms. Remains 424 /451 variables (removed 27) and now considering 787/888 (removed 101) transitions.
[2026-05-26 01:12:23] [INFO ] Invariant cache hit.
[2026-05-26 01:12:24] [INFO ] Implicit Places using invariants in 196 ms returned [356, 406]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 197 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 422/451 places, 787/888 transitions.
Applied a total of 0 rules in 4 ms. Remains 422 /422 variables (removed 0) and now considering 787/787 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 210 ms. Remains : 422/451 places, 787/888 transitions.
[2026-05-26 01:12:24] [INFO ] Flatten gal took : 26 ms
[2026-05-26 01:12:24] [INFO ] Flatten gal took : 13 ms
[2026-05-26 01:12:24] [INFO ] Input system was already deterministic with 787 transitions.
[2026-05-26 01:12:24] [INFO ] Flatten gal took : 12 ms
[2026-05-26 01:12:24] [INFO ] Flatten gal took : 12 ms
[2026-05-26 01:12:24] [INFO ] Time to serialize gal into /tmp/CTLCardinality11402430991653790422.gal : 3 ms
[2026-05-26 01:12:24] [INFO ] Time to serialize properties into /tmp/CTLCardinality6347217936183247236.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality11402430991653790422.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6347217936183247236.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-26 01:12:54] [INFO ] Flatten gal took : 15 ms
[2026-05-26 01:12:54] [INFO ] Applying decomposition
[2026-05-26 01:12:54] [INFO ] Flatten gal took : 12 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph10059276125745024170.txt' '-o' '/tmp/graph10059276125745024170.bin' '-w' '/tmp/graph10059276125745024170.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10059276125745024170.bin' '-l' '-1' '-v' '-w' '/tmp/graph10059276125745024170.weights' '-q' '0' '-e' '0.001'
[2026-05-26 01:12:54] [INFO ] Decomposing Gal with order
[2026-05-26 01:12:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 01:12:54] [INFO ] Removed a total of 629 redundant transitions.
[2026-05-26 01:12:54] [INFO ] Flatten gal took : 29 ms
[2026-05-26 01:12:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 607 labels/synchronizations in 7 ms.
[2026-05-26 01:12:54] [INFO ] Time to serialize gal into /tmp/CTLCardinality8215291670510484424.gal : 4 ms
[2026-05-26 01:12:54] [INFO ] Time to serialize properties into /tmp/CTLCardinality3107112619280790250.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality8215291670510484424.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3107112619280790250.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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 : 451/451 places, 888/888 transitions.
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 22 place count 429 transition count 806
Iterating global reduction 0 with 22 rules applied. Total rules applied 44 place count 429 transition count 806
Applied a total of 44 rules in 17 ms. Remains 429 /451 variables (removed 22) and now considering 806/888 (removed 82) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7861781379014195954.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16540212615568987874.kers'
[2026-05-26 01:13:24] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7861781379014195954.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16540212615568987874.kers]
Culling duplicate invariants (modulo rational): removing 2 columns.
Culled 2 columns in 0 ms.
// Phase 1: matrix 806 rows 427 cols 2990 entries
Finished phase 1 with 370 SingleSign rule and 0 generalized
[2026-05-26 01:13:24] [INFO ] Computed 59 invariants in 3 ms
Computed 59 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-16540212615568987874.kers
Total runtime 4 ms.
[2026-05-26 01:13:24] [INFO ] Implicit Places using invariants in 203 ms returned [359, 411]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 218 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 427/451 places, 806/888 transitions.
Applied a total of 0 rules in 5 ms. Remains 427 /427 variables (removed 0) and now considering 806/806 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 241 ms. Remains : 427/451 places, 806/888 transitions.
[2026-05-26 01:13:24] [INFO ] Flatten gal took : 24 ms
[2026-05-26 01:13:24] [INFO ] Flatten gal took : 14 ms
[2026-05-26 01:13:24] [INFO ] Input system was already deterministic with 806 transitions.
[2026-05-26 01:13:24] [INFO ] Flatten gal took : 12 ms
[2026-05-26 01:13:24] [INFO ] Flatten gal took : 12 ms
[2026-05-26 01:13:24] [INFO ] Time to serialize gal into /tmp/CTLCardinality1170018093264202707.gal : 3 ms
[2026-05-26 01:13:24] [INFO ] Time to serialize properties into /tmp/CTLCardinality6103719644742730170.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality1170018093264202707.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6103719644742730170.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-26 01:13:54] [INFO ] Flatten gal took : 14 ms
[2026-05-26 01:13:54] [INFO ] Applying decomposition
[2026-05-26 01:13:54] [INFO ] Flatten gal took : 13 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph9462332514428826254.txt' '-o' '/tmp/graph9462332514428826254.bin' '-w' '/tmp/graph9462332514428826254.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9462332514428826254.bin' '-l' '-1' '-v' '-w' '/tmp/graph9462332514428826254.weights' '-q' '0' '-e' '0.001'
[2026-05-26 01:13:54] [INFO ] Decomposing Gal with order
[2026-05-26 01:13:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 01:13:54] [INFO ] Removed a total of 623 redundant transitions.
[2026-05-26 01:13:54] [INFO ] Flatten gal took : 30 ms
[2026-05-26 01:13:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 567 labels/synchronizations in 6 ms.
[2026-05-26 01:13:55] [INFO ] Time to serialize gal into /tmp/CTLCardinality12318753287435056783.gal : 17 ms
[2026-05-26 01:13:55] [INFO ] Time to serialize properties into /tmp/CTLCardinality2288615237327481327.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12318753287435056783.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2288615237327481327.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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 : 451/451 places, 888/888 transitions.
Reduce places removed 1 places and 1 transitions.
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 448 transition count 887
Discarding 26 places :
Symmetric choice reduction at 1 with 26 rule applications. Total rules 28 place count 422 transition count 789
Iterating global reduction 1 with 26 rules applied. Total rules applied 54 place count 422 transition count 789
Performed 24 Post agglomeration using F-continuation condition.Transition count delta: 24
Deduced a syphon composed of 24 places in 0 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 1 with 48 rules applied. Total rules applied 102 place count 398 transition count 765
Applied a total of 102 rules in 34 ms. Remains 398 /451 variables (removed 53) and now considering 765/888 (removed 123) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13076134958231837110.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2587084301858168041.kers'
[2026-05-26 01:14:25] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13076134958231837110.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2587084301858168041.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 765 rows 398 cols 2774 entries
Finished phase 1 with 341 SingleSign rule and 0 generalized
[2026-05-26 01:14:25] [INFO ] Computed 57 invariants in 2 ms
Computed 57 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-2587084301858168041.kers
Total runtime 4 ms.
[2026-05-26 01:14:25] [INFO ] Implicit Places using invariants in 209 ms returned []
[2026-05-26 01:14:25] [INFO ] Invariant cache hit.
[2026-05-26 01:14:25] [INFO ] State equation strengthened by 17 read => feed constraints.
[2026-05-26 01:14:25] [INFO ] Implicit Places using invariants and state equation in 478 ms returned []
Implicit Place search using SMT with State Equation took 690 ms to find 0 implicit places.
[2026-05-26 01:14:25] [INFO ] Redundant transitions in 9 ms returned []
Running 734 sub problems to find dead transitions.
[2026-05-26 01:14:25] [INFO ] Invariant cache hit.
[2026-05-26 01:14:25] [INFO ] State equation strengthened by 17 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/389 variables, 48/48 constraints. Problems are: Problem set: 0 solved, 734 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/389 variables, 0/48 constraints. Problems are: Problem set: 0 solved, 734 unsolved
At refinement iteration 2 (OVERLAPS) 9/398 variables, 9/57 constraints. Problems are: Problem set: 0 solved, 734 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/398 variables, 0/57 constraints. Problems are: Problem set: 0 solved, 734 unsolved
At refinement iteration 4 (OVERLAPS) 765/1163 variables, 398/455 constraints. Problems are: Problem set: 0 solved, 734 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/1163 variables, 17/472 constraints. Problems are: Problem set: 0 solved, 734 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1163/1163 variables, and 472 constraints, problems are : Problem set: 0 solved, 734 unsolved in 30023 ms.
Refiners :[Positive P Invariants (semi-flows): 57/57 constraints, State Equation: 398/398 constraints, ReadFeed: 17/17 constraints, PredecessorRefiner: 734/734 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 734 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/389 variables, 48/48 constraints. Problems are: Problem set: 0 solved, 734 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/389 variables, 0/48 constraints. Problems are: Problem set: 0 solved, 734 unsolved
At refinement iteration 2 (OVERLAPS) 9/398 variables, 9/57 constraints. Problems are: Problem set: 0 solved, 734 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/398 variables, 0/57 constraints. Problems are: Problem set: 0 solved, 734 unsolved
At refinement iteration 4 (OVERLAPS) 765/1163 variables, 398/455 constraints. Problems are: Problem set: 0 solved, 734 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/1163 variables, 17/472 constraints. Problems are: Problem set: 0 solved, 734 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/1163 variables, 734/1206 constraints. Problems are: Problem set: 0 solved, 734 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1163/1163 variables, and 1206 constraints, problems are : Problem set: 0 solved, 734 unsolved in 30029 ms.
Refiners :[Positive P Invariants (semi-flows): 57/57 constraints, State Equation: 398/398 constraints, ReadFeed: 17/17 constraints, PredecessorRefiner: 734/734 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60154ms problems are : Problem set: 0 solved, 734 unsolved
Search for dead transitions found 0 dead transitions in 60156ms
Starting structural reductions in SI_CTL mode, iteration 1 : 398/451 places, 765/888 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 60909 ms. Remains : 398/451 places, 765/888 transitions.
[2026-05-26 01:15:26] [INFO ] Flatten gal took : 11 ms
[2026-05-26 01:15:26] [INFO ] Flatten gal took : 13 ms
[2026-05-26 01:15:26] [INFO ] Input system was already deterministic with 765 transitions.
[2026-05-26 01:15:26] [INFO ] Flatten gal took : 12 ms
[2026-05-26 01:15:26] [INFO ] Flatten gal took : 12 ms
[2026-05-26 01:15:26] [INFO ] Time to serialize gal into /tmp/CTLCardinality8736323356714355325.gal : 4 ms
[2026-05-26 01:15:26] [INFO ] Time to serialize properties into /tmp/CTLCardinality5030137828372585886.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality8736323356714355325.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5030137828372585886.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-26 01:15:56] [INFO ] Flatten gal took : 15 ms
[2026-05-26 01:15:56] [INFO ] Applying decomposition
[2026-05-26 01:15:56] [INFO ] Flatten gal took : 12 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph12588042077748419528.txt' '-o' '/tmp/graph12588042077748419528.bin' '-w' '/tmp/graph12588042077748419528.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12588042077748419528.bin' '-l' '-1' '-v' '-w' '/tmp/graph12588042077748419528.weights' '-q' '0' '-e' '0.001'
[2026-05-26 01:15:56] [INFO ] Decomposing Gal with order
[2026-05-26 01:15:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 01:15:56] [INFO ] Removed a total of 588 redundant transitions.
[2026-05-26 01:15:56] [INFO ] Flatten gal took : 26 ms
[2026-05-26 01:15:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 602 labels/synchronizations in 6 ms.
[2026-05-26 01:15:56] [INFO ] Time to serialize gal into /tmp/CTLCardinality17044753073818586919.gal : 4 ms
[2026-05-26 01:15:56] [INFO ] Time to serialize properties into /tmp/CTLCardinality2470950219835684957.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality17044753073818586919.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2470950219835684957.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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 : 451/451 places, 888/888 transitions.
Discarding 23 places :
Symmetric choice reduction at 0 with 23 rule applications. Total rules 23 place count 428 transition count 801
Iterating global reduction 0 with 23 rules applied. Total rules applied 46 place count 428 transition count 801
Applied a total of 46 rules in 15 ms. Remains 428 /451 variables (removed 23) and now considering 801/888 (removed 87) transitions.
[2026-05-26 01:16:26] [INFO ] Flow matrix only has 800 transitions (discarded 1 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3431188402601682353.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14749524431088256328.kers'
[2026-05-26 01:16:26] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3431188402601682353.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14749524431088256328.kers]
Culling duplicate invariants (modulo rational): removing 2 columns.
Culled 2 columns in 1 ms.
// Phase 1: matrix 800 rows 426 cols 2968 entries
Finished phase 1 with 369 SingleSign rule and 0 generalized
[2026-05-26 01:16:26] [INFO ] Computed 59 invariants in 5 ms
Computed 59 P flows in 5 ms.
Exported basis to /tmp/petrispot-output-14749524431088256328.kers
Total runtime 6 ms.
[2026-05-26 01:16:26] [INFO ] Implicit Places using invariants in 190 ms returned [360, 410]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 191 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 426/451 places, 801/888 transitions.
Applied a total of 0 rules in 4 ms. Remains 426 /426 variables (removed 0) and now considering 801/801 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 213 ms. Remains : 426/451 places, 801/888 transitions.
[2026-05-26 01:16:26] [INFO ] Flatten gal took : 12 ms
[2026-05-26 01:16:26] [INFO ] Flatten gal took : 12 ms
[2026-05-26 01:16:26] [INFO ] Input system was already deterministic with 801 transitions.
[2026-05-26 01:16:26] [INFO ] Flatten gal took : 12 ms
[2026-05-26 01:16:26] [INFO ] Flatten gal took : 12 ms
[2026-05-26 01:16:26] [INFO ] Time to serialize gal into /tmp/CTLCardinality9760339979178145108.gal : 3 ms
[2026-05-26 01:16:26] [INFO ] Time to serialize properties into /tmp/CTLCardinality13151065315006272971.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality9760339979178145108.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13151065315006272971.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-26 01:16:56] [INFO ] Flatten gal took : 17 ms
[2026-05-26 01:16:56] [INFO ] Applying decomposition
[2026-05-26 01:16:56] [INFO ] Flatten gal took : 13 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph6350585773326050290.txt' '-o' '/tmp/graph6350585773326050290.bin' '-w' '/tmp/graph6350585773326050290.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6350585773326050290.bin' '-l' '-1' '-v' '-w' '/tmp/graph6350585773326050290.weights' '-q' '0' '-e' '0.001'
[2026-05-26 01:16:56] [INFO ] Decomposing Gal with order
[2026-05-26 01:16:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 01:16:56] [INFO ] Removed a total of 628 redundant transitions.
[2026-05-26 01:16:56] [INFO ] Flatten gal took : 28 ms
[2026-05-26 01:16:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 559 labels/synchronizations in 6 ms.
[2026-05-26 01:16:56] [INFO ] Time to serialize gal into /tmp/CTLCardinality2962107944293553200.gal : 4 ms
[2026-05-26 01:16:56] [INFO ] Time to serialize properties into /tmp/CTLCardinality6993505068458664196.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality2962107944293553200.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6993505068458664196.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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 : 451/451 places, 888/888 transitions.
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 22 place count 429 transition count 804
Iterating global reduction 0 with 22 rules applied. Total rules applied 44 place count 429 transition count 804
Applied a total of 44 rules in 8 ms. Remains 429 /451 variables (removed 22) and now considering 804/888 (removed 84) transitions.
[2026-05-26 01:17:26] [INFO ] Flow matrix only has 803 transitions (discarded 1 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3804028601772617598.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7999612012820270750.kers'
[2026-05-26 01:17:26] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3804028601772617598.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7999612012820270750.kers]
Culling duplicate invariants (modulo rational): removing 2 columns.
Culled 2 columns in 0 ms.
// Phase 1: matrix 803 rows 427 cols 2978 entries
Finished phase 1 with 370 SingleSign rule and 0 generalized
[2026-05-26 01:17:26] [INFO ] Computed 59 invariants in 2 ms
Computed 59 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-7999612012820270750.kers
Total runtime 3 ms.
[2026-05-26 01:17:27] [INFO ] Implicit Places using invariants in 242 ms returned [361, 411]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 246 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 427/451 places, 804/888 transitions.
Applied a total of 0 rules in 4 ms. Remains 427 /427 variables (removed 0) and now considering 804/804 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 259 ms. Remains : 427/451 places, 804/888 transitions.
[2026-05-26 01:17:27] [INFO ] Flatten gal took : 11 ms
[2026-05-26 01:17:27] [INFO ] Flatten gal took : 13 ms
[2026-05-26 01:17:27] [INFO ] Input system was already deterministic with 804 transitions.
[2026-05-26 01:17:27] [INFO ] Flatten gal took : 12 ms
[2026-05-26 01:17:27] [INFO ] Flatten gal took : 12 ms
[2026-05-26 01:17:27] [INFO ] Time to serialize gal into /tmp/CTLCardinality12294709573352661731.gal : 3 ms
[2026-05-26 01:17:27] [INFO ] Time to serialize properties into /tmp/CTLCardinality10860165782026264731.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12294709573352661731.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10860165782026264731.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-26 01:17:57] [INFO ] Flatten gal took : 17 ms
[2026-05-26 01:17:57] [INFO ] Applying decomposition
[2026-05-26 01:17:57] [INFO ] Flatten gal took : 12 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph8754093302644668840.txt' '-o' '/tmp/graph8754093302644668840.bin' '-w' '/tmp/graph8754093302644668840.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph8754093302644668840.bin' '-l' '-1' '-v' '-w' '/tmp/graph8754093302644668840.weights' '-q' '0' '-e' '0.001'
[2026-05-26 01:17:57] [INFO ] Decomposing Gal with order
[2026-05-26 01:17:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 01:17:57] [INFO ] Removed a total of 630 redundant transitions.
[2026-05-26 01:17:57] [INFO ] Flatten gal took : 24 ms
[2026-05-26 01:17:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 615 labels/synchronizations in 7 ms.
[2026-05-26 01:17:57] [INFO ] Time to serialize gal into /tmp/CTLCardinality4898525144829251358.gal : 4 ms
[2026-05-26 01:17:57] [INFO ] Time to serialize properties into /tmp/CTLCardinality4399791011033753386.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4898525144829251358.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4399791011033753386.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 451/451 places, 888/888 transitions.
Reduce places removed 1 places and 1 transitions.
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 448 transition count 887
Discarding 25 places :
Symmetric choice reduction at 1 with 25 rule applications. Total rules 27 place count 423 transition count 793
Iterating global reduction 1 with 25 rules applied. Total rules applied 52 place count 423 transition count 793
Performed 23 Post agglomeration using F-continuation condition.Transition count delta: 23
Deduced a syphon composed of 23 places in 0 ms
Reduce places removed 23 places and 0 transitions.
Iterating global reduction 1 with 46 rules applied. Total rules applied 98 place count 400 transition count 770
Applied a total of 98 rules in 33 ms. Remains 400 /451 variables (removed 51) and now considering 770/888 (removed 118) transitions.
[2026-05-26 01:18:27] [INFO ] Flow matrix only has 769 transitions (discarded 1 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7651538989657458643.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15403635154885539994.kers'
[2026-05-26 01:18:27] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7651538989657458643.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15403635154885539994.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 769 rows 400 cols 2788 entries
Finished phase 1 with 343 SingleSign rule and 0 generalized
[2026-05-26 01:18:27] [INFO ] Computed 57 invariants in 5 ms
Computed 57 P flows in 5 ms.
Exported basis to /tmp/petrispot-output-15403635154885539994.kers
Total runtime 7 ms.
[2026-05-26 01:18:27] [INFO ] Implicit Places using invariants in 200 ms returned []
[2026-05-26 01:18:27] [INFO ] Flow matrix only has 769 transitions (discarded 1 similar events)
[2026-05-26 01:18:27] [INFO ] Invariant cache hit.
[2026-05-26 01:18:28] [INFO ] State equation strengthened by 17 read => feed constraints.
[2026-05-26 01:18:28] [INFO ] Implicit Places using invariants and state equation in 400 ms returned []
Implicit Place search using SMT with State Equation took 602 ms to find 0 implicit places.
[2026-05-26 01:18:28] [INFO ] Redundant transitions in 9 ms returned []
Running 739 sub problems to find dead transitions.
[2026-05-26 01:18:28] [INFO ] Flow matrix only has 769 transitions (discarded 1 similar events)
[2026-05-26 01:18:28] [INFO ] Invariant cache hit.
[2026-05-26 01:18:28] [INFO ] State equation strengthened by 17 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/391 variables, 48/48 constraints. Problems are: Problem set: 0 solved, 739 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/391 variables, 0/48 constraints. Problems are: Problem set: 0 solved, 739 unsolved
At refinement iteration 2 (OVERLAPS) 9/400 variables, 9/57 constraints. Problems are: Problem set: 0 solved, 739 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/400 variables, 0/57 constraints. Problems are: Problem set: 0 solved, 739 unsolved
At refinement iteration 4 (OVERLAPS) 769/1169 variables, 400/457 constraints. Problems are: Problem set: 0 solved, 739 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/1169 variables, 17/474 constraints. Problems are: Problem set: 0 solved, 739 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1169/1169 variables, and 476 constraints, problems are : Problem set: 0 solved, 739 unsolved in 30035 ms.
Refiners :[Positive P Invariants (semi-flows): 57/57 constraints, State Equation: 400/400 constraints, ReadFeed: 17/17 constraints, PredecessorRefiner: 739/739 constraints, Known Traps: 2/2 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 739 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/391 variables, 48/48 constraints. Problems are: Problem set: 0 solved, 739 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/391 variables, 2/50 constraints. Problems are: Problem set: 0 solved, 739 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/391 variables, 0/50 constraints. Problems are: Problem set: 0 solved, 739 unsolved
At refinement iteration 3 (OVERLAPS) 9/400 variables, 9/59 constraints. Problems are: Problem set: 0 solved, 739 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/400 variables, 0/59 constraints. Problems are: Problem set: 0 solved, 739 unsolved
At refinement iteration 5 (OVERLAPS) 769/1169 variables, 400/459 constraints. Problems are: Problem set: 0 solved, 739 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/1169 variables, 17/476 constraints. Problems are: Problem set: 0 solved, 739 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/1169 variables, 739/1215 constraints. Problems are: Problem set: 0 solved, 739 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1169/1169 variables, and 1215 constraints, problems are : Problem set: 0 solved, 739 unsolved in 30022 ms.
Refiners :[Positive P Invariants (semi-flows): 57/57 constraints, State Equation: 400/400 constraints, ReadFeed: 17/17 constraints, PredecessorRefiner: 739/739 constraints, Known Traps: 2/2 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60142ms problems are : Problem set: 0 solved, 739 unsolved
Search for dead transitions found 0 dead transitions in 60145ms
Starting structural reductions in SI_CTL mode, iteration 1 : 400/451 places, 770/888 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 60798 ms. Remains : 400/451 places, 770/888 transitions.
[2026-05-26 01:19:28] [INFO ] Flatten gal took : 10 ms
[2026-05-26 01:19:28] [INFO ] Flatten gal took : 11 ms
[2026-05-26 01:19:28] [INFO ] Input system was already deterministic with 770 transitions.
[2026-05-26 01:19:28] [INFO ] Flatten gal took : 11 ms
[2026-05-26 01:19:28] [INFO ] Flatten gal took : 11 ms
[2026-05-26 01:19:28] [INFO ] Time to serialize gal into /tmp/CTLCardinality3478220540906927103.gal : 3 ms
[2026-05-26 01:19:28] [INFO ] Time to serialize properties into /tmp/CTLCardinality2944711859542062232.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality3478220540906927103.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2944711859542062232.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-26 01:19:58] [INFO ] Flatten gal took : 12 ms
[2026-05-26 01:19:58] [INFO ] Applying decomposition
[2026-05-26 01:19:58] [INFO ] Flatten gal took : 11 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph805289431387900504.txt' '-o' '/tmp/graph805289431387900504.bin' '-w' '/tmp/graph805289431387900504.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph805289431387900504.bin' '-l' '-1' '-v' '-w' '/tmp/graph805289431387900504.weights' '-q' '0' '-e' '0.001'
[2026-05-26 01:19:58] [INFO ] Decomposing Gal with order
[2026-05-26 01:19:58] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 01:19:58] [INFO ] Removed a total of 589 redundant transitions.
[2026-05-26 01:19:58] [INFO ] Flatten gal took : 22 ms
[2026-05-26 01:19:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 567 labels/synchronizations in 5 ms.
[2026-05-26 01:19:58] [INFO ] Time to serialize gal into /tmp/CTLCardinality94406575384482476.gal : 3 ms
[2026-05-26 01:19:58] [INFO ] Time to serialize properties into /tmp/CTLCardinality3283784567641583785.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality94406575384482476.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3283784567641583785.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...260
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 451/451 places, 888/888 transitions.
Discarding 26 places :
Symmetric choice reduction at 0 with 26 rule applications. Total rules 26 place count 425 transition count 791
Iterating global reduction 0 with 26 rules applied. Total rules applied 52 place count 425 transition count 791
Applied a total of 52 rules in 15 ms. Remains 425 /451 variables (removed 26) and now considering 791/888 (removed 97) transitions.
[2026-05-26 01:20:28] [INFO ] Flow matrix only has 790 transitions (discarded 1 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6319769182885158501.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5150400743628168989.kers'
[2026-05-26 01:20:28] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6319769182885158501.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5150400743628168989.kers]
Culling duplicate invariants (modulo rational): removing 2 columns.
Culled 2 columns in 0 ms.
// Phase 1: matrix 790 rows 423 cols 2930 entries
Finished phase 1 with 366 SingleSign rule and 0 generalized
[2026-05-26 01:20:28] [INFO ] Computed 59 invariants in 2 ms
Computed 59 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-5150400743628168989.kers
Total runtime 3 ms.
[2026-05-26 01:20:28] [INFO ] Implicit Places using invariants in 227 ms returned [357, 407]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 240 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 423/451 places, 791/888 transitions.
Applied a total of 0 rules in 4 ms. Remains 423 /423 variables (removed 0) and now considering 791/791 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 259 ms. Remains : 423/451 places, 791/888 transitions.
[2026-05-26 01:20:29] [INFO ] Flatten gal took : 12 ms
[2026-05-26 01:20:29] [INFO ] Flatten gal took : 12 ms
[2026-05-26 01:20:29] [INFO ] Input system was already deterministic with 791 transitions.
[2026-05-26 01:20:29] [INFO ] Flatten gal took : 12 ms
[2026-05-26 01:20:29] [INFO ] Flatten gal took : 12 ms
[2026-05-26 01:20:29] [INFO ] Time to serialize gal into /tmp/CTLCardinality3457536311825344754.gal : 3 ms
[2026-05-26 01:20:29] [INFO ] Time to serialize properties into /tmp/CTLCardinality7814687768540472248.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality3457536311825344754.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7814687768540472248.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-26 01:20:59] [INFO ] Flatten gal took : 16 ms
[2026-05-26 01:20:59] [INFO ] Applying decomposition
[2026-05-26 01:20:59] [INFO ] Flatten gal took : 12 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph6605498670621661063.txt' '-o' '/tmp/graph6605498670621661063.bin' '-w' '/tmp/graph6605498670621661063.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6605498670621661063.bin' '-l' '-1' '-v' '-w' '/tmp/graph6605498670621661063.weights' '-q' '0' '-e' '0.001'
[2026-05-26 01:20:59] [INFO ] Decomposing Gal with order
[2026-05-26 01:20:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 01:20:59] [INFO ] Removed a total of 621 redundant transitions.
[2026-05-26 01:20:59] [INFO ] Flatten gal took : 23 ms
[2026-05-26 01:20:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 590 labels/synchronizations in 7 ms.
[2026-05-26 01:20:59] [INFO ] Time to serialize gal into /tmp/CTLCardinality14999347117937547401.gal : 4 ms
[2026-05-26 01:20:59] [INFO ] Time to serialize properties into /tmp/CTLCardinality7496234344130806154.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14999347117937547401.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7496234344130806154.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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 : 451/451 places, 888/888 transitions.
Reduce places removed 1 places and 1 transitions.
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 448 transition count 887
Discarding 27 places :
Symmetric choice reduction at 1 with 27 rule applications. Total rules 29 place count 421 transition count 786
Iterating global reduction 1 with 27 rules applied. Total rules applied 56 place count 421 transition count 786
Performed 24 Post agglomeration using F-continuation condition.Transition count delta: 24
Deduced a syphon composed of 24 places in 0 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 1 with 48 rules applied. Total rules applied 104 place count 397 transition count 762
Applied a total of 104 rules in 41 ms. Remains 397 /451 variables (removed 54) and now considering 762/888 (removed 126) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8353465961101907267.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17301449829955492948.kers'
[2026-05-26 01:21:29] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8353465961101907267.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17301449829955492948.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 762 rows 397 cols 2764 entries
Finished phase 1 with 340 SingleSign rule and 0 generalized
[2026-05-26 01:21:29] [INFO ] Computed 57 invariants in 2 ms
Computed 57 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-17301449829955492948.kers
Total runtime 3 ms.
[2026-05-26 01:21:29] [INFO ] Implicit Places using invariants in 238 ms returned []
[2026-05-26 01:21:29] [INFO ] Invariant cache hit.
[2026-05-26 01:21:29] [INFO ] State equation strengthened by 17 read => feed constraints.
[2026-05-26 01:21:30] [INFO ] Implicit Places using invariants and state equation in 490 ms returned []
Implicit Place search using SMT with State Equation took 739 ms to find 0 implicit places.
[2026-05-26 01:21:30] [INFO ] Redundant transitions in 7 ms returned []
Running 731 sub problems to find dead transitions.
[2026-05-26 01:21:30] [INFO ] Invariant cache hit.
[2026-05-26 01:21:30] [INFO ] State equation strengthened by 17 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/388 variables, 48/48 constraints. Problems are: Problem set: 0 solved, 731 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/388 variables, 0/48 constraints. Problems are: Problem set: 0 solved, 731 unsolved
At refinement iteration 2 (OVERLAPS) 9/397 variables, 9/57 constraints. Problems are: Problem set: 0 solved, 731 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/397 variables, 0/57 constraints. Problems are: Problem set: 0 solved, 731 unsolved
At refinement iteration 4 (OVERLAPS) 762/1159 variables, 397/454 constraints. Problems are: Problem set: 0 solved, 731 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/1159 variables, 17/471 constraints. Problems are: Problem set: 0 solved, 731 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1159/1159 variables, and 471 constraints, problems are : Problem set: 0 solved, 731 unsolved in 30024 ms.
Refiners :[Positive P Invariants (semi-flows): 57/57 constraints, State Equation: 397/397 constraints, ReadFeed: 17/17 constraints, PredecessorRefiner: 731/731 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 731 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/388 variables, 48/48 constraints. Problems are: Problem set: 0 solved, 731 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/388 variables, 0/48 constraints. Problems are: Problem set: 0 solved, 731 unsolved
At refinement iteration 2 (OVERLAPS) 9/397 variables, 9/57 constraints. Problems are: Problem set: 0 solved, 731 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/397 variables, 0/57 constraints. Problems are: Problem set: 0 solved, 731 unsolved
At refinement iteration 4 (OVERLAPS) 762/1159 variables, 397/454 constraints. Problems are: Problem set: 0 solved, 731 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/1159 variables, 17/471 constraints. Problems are: Problem set: 0 solved, 731 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/1159 variables, 731/1202 constraints. Problems are: Problem set: 0 solved, 731 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1159/1159 variables, and 1202 constraints, problems are : Problem set: 0 solved, 731 unsolved in 30023 ms.
Refiners :[Positive P Invariants (semi-flows): 57/57 constraints, State Equation: 397/397 constraints, ReadFeed: 17/17 constraints, PredecessorRefiner: 731/731 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60133ms problems are : Problem set: 0 solved, 731 unsolved
Search for dead transitions found 0 dead transitions in 60134ms
Starting structural reductions in SI_CTL mode, iteration 1 : 397/451 places, 762/888 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 60938 ms. Remains : 397/451 places, 762/888 transitions.
[2026-05-26 01:22:30] [INFO ] Flatten gal took : 10 ms
[2026-05-26 01:22:30] [INFO ] Flatten gal took : 11 ms
[2026-05-26 01:22:30] [INFO ] Input system was already deterministic with 762 transitions.
[2026-05-26 01:22:30] [INFO ] Flatten gal took : 11 ms
[2026-05-26 01:22:30] [INFO ] Flatten gal took : 11 ms
[2026-05-26 01:22:30] [INFO ] Time to serialize gal into /tmp/CTLCardinality13144028176667095855.gal : 3 ms
[2026-05-26 01:22:30] [INFO ] Time to serialize properties into /tmp/CTLCardinality12042087399637810071.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13144028176667095855.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12042087399637810071.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-26 01:23:00] [INFO ] Flatten gal took : 15 ms
[2026-05-26 01:23:00] [INFO ] Applying decomposition
[2026-05-26 01:23:00] [INFO ] Flatten gal took : 11 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph17733457391028240240.txt' '-o' '/tmp/graph17733457391028240240.bin' '-w' '/tmp/graph17733457391028240240.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph17733457391028240240.bin' '-l' '-1' '-v' '-w' '/tmp/graph17733457391028240240.weights' '-q' '0' '-e' '0.001'
[2026-05-26 01:23:00] [INFO ] Decomposing Gal with order
[2026-05-26 01:23:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 01:23:00] [INFO ] Removed a total of 591 redundant transitions.
[2026-05-26 01:23:00] [INFO ] Flatten gal took : 20 ms
[2026-05-26 01:23:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 586 labels/synchronizations in 5 ms.
[2026-05-26 01:23:00] [INFO ] Time to serialize gal into /tmp/CTLCardinality14171944810649950587.gal : 3 ms
[2026-05-26 01:23:00] [INFO ] Time to serialize properties into /tmp/CTLCardinality6742592333628209240.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14171944810649950587.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6742592333628209240.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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 : 451/451 places, 888/888 transitions.
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 22 place count 429 transition count 805
Iterating global reduction 0 with 22 rules applied. Total rules applied 44 place count 429 transition count 805
Applied a total of 44 rules in 9 ms. Remains 429 /451 variables (removed 22) and now considering 805/888 (removed 83) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9731072350497579242.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7358552015074384163.kers'
[2026-05-26 01:23:30] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9731072350497579242.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7358552015074384163.kers]
Culling duplicate invariants (modulo rational): removing 2 columns.
Culled 2 columns in 0 ms.
// Phase 1: matrix 805 rows 427 cols 2984 entries
Finished phase 1 with 370 SingleSign rule and 0 generalized
[2026-05-26 01:23:30] [INFO ] Computed 59 invariants in 2 ms
Computed 59 P flows in 8 ms.
Exported basis to /tmp/petrispot-output-7358552015074384163.kers
Total runtime 9 ms.
[2026-05-26 01:23:30] [INFO ] Implicit Places using invariants in 225 ms returned [360, 411]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 231 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 427/451 places, 805/888 transitions.
Applied a total of 0 rules in 4 ms. Remains 427 /427 variables (removed 0) and now considering 805/805 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 260 ms. Remains : 427/451 places, 805/888 transitions.
[2026-05-26 01:23:30] [INFO ] Flatten gal took : 11 ms
[2026-05-26 01:23:30] [INFO ] Flatten gal took : 12 ms
[2026-05-26 01:23:31] [INFO ] Input system was already deterministic with 805 transitions.
[2026-05-26 01:23:31] [INFO ] Flatten gal took : 12 ms
[2026-05-26 01:23:31] [INFO ] Flatten gal took : 12 ms
[2026-05-26 01:23:31] [INFO ] Time to serialize gal into /tmp/CTLCardinality8177523965635215118.gal : 9 ms
[2026-05-26 01:23:31] [INFO ] Time to serialize properties into /tmp/CTLCardinality17204624628595167502.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality8177523965635215118.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17204624628595167502.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-26 01:24:01] [INFO ] Flatten gal took : 14 ms
[2026-05-26 01:24:01] [INFO ] Applying decomposition
[2026-05-26 01:24:01] [INFO ] Flatten gal took : 12 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph11673941230921051042.txt' '-o' '/tmp/graph11673941230921051042.bin' '-w' '/tmp/graph11673941230921051042.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11673941230921051042.bin' '-l' '-1' '-v' '-w' '/tmp/graph11673941230921051042.weights' '-q' '0' '-e' '0.001'
[2026-05-26 01:24:01] [INFO ] Decomposing Gal with order
[2026-05-26 01:24:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 01:24:01] [INFO ] Removed a total of 592 redundant transitions.
[2026-05-26 01:24:01] [INFO ] Flatten gal took : 24 ms
[2026-05-26 01:24:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 555 labels/synchronizations in 5 ms.
[2026-05-26 01:24:01] [INFO ] Time to serialize gal into /tmp/CTLCardinality8587147410784046200.gal : 4 ms
[2026-05-26 01:24:01] [INFO ] Time to serialize properties into /tmp/CTLCardinality6839060065890588090.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality8587147410784046200.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6839060065890588090.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/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.
[2026-05-26 01:24:31] [INFO ] Flatten gal took : 14 ms
[2026-05-26 01:24:31] [INFO ] Flatten gal took : 14 ms
[2026-05-26 01:24:31] [INFO ] Applying decomposition
[2026-05-26 01:24:31] [INFO ] Flatten gal took : 13 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph10071274970461357937.txt' '-o' '/tmp/graph10071274970461357937.bin' '-w' '/tmp/graph10071274970461357937.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10071274970461357937.bin' '-l' '-1' '-v' '-w' '/tmp/graph10071274970461357937.weights' '-q' '0' '-e' '0.001'
[2026-05-26 01:24:31] [INFO ] Decomposing Gal with order
[2026-05-26 01:24:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 01:24:31] [INFO ] Removed a total of 621 redundant transitions.
[2026-05-26 01:24:31] [INFO ] Flatten gal took : 25 ms
[2026-05-26 01:24:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 527 labels/synchronizations in 5 ms.
[2026-05-26 01:24:31] [INFO ] Time to serialize gal into /tmp/CTLCardinality2568298043142652555.gal : 4 ms
[2026-05-26 01:24:31] [INFO ] Time to serialize properties into /tmp/CTLCardinality7366248490305430559.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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality2568298043142652555.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7366248490305430559.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 15 CTL formulae.
Detected timeout of ITS tools.
[2026-05-26 01:51:09] [INFO ] Applying decomposition
[2026-05-26 01:51:10] [INFO ] Flatten gal took : 219 ms
[2026-05-26 01:51:10] [INFO ] Decomposing Gal with order
[2026-05-26 01:51:10] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 01:51:11] [INFO ] Removed a total of 883 redundant transitions.
[2026-05-26 01:51:11] [INFO ] Flatten gal took : 741 ms
[2026-05-26 01:51:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 427 labels/synchronizations in 65 ms.
[2026-05-26 01:51:11] [INFO ] Time to serialize gal into /tmp/CTLCardinality5362224439536412410.gal : 20 ms
[2026-05-26 01:51:11] [INFO ] Time to serialize properties into /tmp/CTLCardinality14083890826728344949.ctl : 13 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.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality5362224439536412410.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14083890826728344949.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 15 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
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -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.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLCardinality -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="NoC3x3-PT-6A"
export BK_EXAMINATION="CTLCardinality"
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-5973"
echo " Executing tool itstools"
echo " Input is NoC3x3-PT-6A, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r194-tall-177969914000337"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-6A.tgz
mv NoC3x3-PT-6A execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;