About the Execution of ITS-Tools for ErlangenMainframeV0-PT-1202
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15049.147 | 3600000.00 | 4518577.00 | 8298.40 | [undef] | Time out reached |
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.r114-smll-177955740600522.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 ErlangenMainframeV0-PT-1202, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r114-smll-177955740600522
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 38M
-rw-r--r-- 1 mcc users 8.8K Mar 7 04:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K Mar 7 04:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Mar 7 04:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Mar 7 04:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Mar 15 09:57 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Mar 15 09:57 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 15 09:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 15 09:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Mar 7 04:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 106K Mar 7 04:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Mar 7 04:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K Mar 7 04:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 15 09:58 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 15 09:58 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 38M 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 ErlangenMainframeV0-PT-1202-CTLFireability-2024-00
FORMULA_NAME ErlangenMainframeV0-PT-1202-CTLFireability-2024-01
FORMULA_NAME ErlangenMainframeV0-PT-1202-CTLFireability-2024-02
FORMULA_NAME ErlangenMainframeV0-PT-1202-CTLFireability-2024-03
FORMULA_NAME ErlangenMainframeV0-PT-1202-CTLFireability-2024-04
FORMULA_NAME ErlangenMainframeV0-PT-1202-CTLFireability-2024-05
FORMULA_NAME ErlangenMainframeV0-PT-1202-CTLFireability-2024-06
FORMULA_NAME ErlangenMainframeV0-PT-1202-CTLFireability-2024-07
FORMULA_NAME ErlangenMainframeV0-PT-1202-CTLFireability-2024-08
FORMULA_NAME ErlangenMainframeV0-PT-1202-CTLFireability-2024-09
FORMULA_NAME ErlangenMainframeV0-PT-1202-CTLFireability-2024-10
FORMULA_NAME ErlangenMainframeV0-PT-1202-CTLFireability-2024-11
FORMULA_NAME ErlangenMainframeV0-PT-1202-CTLFireability-2024-12
FORMULA_NAME ErlangenMainframeV0-PT-1202-CTLFireability-2024-13
FORMULA_NAME ErlangenMainframeV0-PT-1202-CTLFireability-2024-14
FORMULA_NAME ErlangenMainframeV0-PT-1202-CTLFireability-2024-15
=== Now, execution of the tool begins
BK_START 1779933257616
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ErlangenMainframeV0-PT-1202
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202604301425
[2026-05-28 01:54:20] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-28 01:54:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-28 01:54:22] [INFO ] Load time of PNML (sax parser for PT used): 2751 ms
[2026-05-28 01:54:23] [INFO ] Transformed 283 places.
[2026-05-28 01:54:23] [INFO ] Transformed 27934 transitions.
[2026-05-28 01:54:23] [INFO ] Found NUPN structural information;
[2026-05-28 01:54:23] [INFO ] Parsed PT model containing 283 places and 27934 transitions and 756485 arcs in 3327 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 43 ms.
Support contains 58 out of 283 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 283/283 places, 27934/27934 transitions.
Discarding 66 places :
Symmetric choice reduction at 0 with 66 rule applications. Total rules 66 place count 217 transition count 27868
Iterating global reduction 0 with 66 rules applied. Total rules applied 132 place count 217 transition count 27868
Discarding 37 places :
Symmetric choice reduction at 0 with 37 rule applications. Total rules 169 place count 180 transition count 27831
Iterating global reduction 0 with 37 rules applied. Total rules applied 206 place count 180 transition count 27831
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 208 place count 178 transition count 27829
Iterating global reduction 0 with 2 rules applied. Total rules applied 210 place count 178 transition count 27829
Applied a total of 210 rules in 1065 ms. Remains 178 /283 variables (removed 105) and now considering 27829/27934 (removed 105) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6627667696883971756.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3486511694090701579.kers'
[2026-05-28 01:54:25] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6627667696883971756.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3486511694090701579.kers]
Culled 0 columns in 156 ms.
// Phase 1: matrix 27829 rows 178 cols 756275 entries
Finished phase 1 with 145 SingleSign rule and 3 generalized
[2026-05-28 01:54:26] [INFO ] Computed 30 invariants in 618 ms
Computed 30 P flows in 619 ms.
Exported basis to /tmp/petrispot-output-3486511694090701579.kers
Total runtime 715 ms.
[2026-05-28 01:54:26] [INFO ] Implicit Places using invariants in 1389 ms returned []
Implicit Place search using SMT only with invariants took 1451 ms to find 0 implicit places.
Running 27828 sub problems to find dead transitions.
[2026-05-28 01:54:27] [INFO ] Invariant cache hit.
Excessive predecessor constraint size, skipping predecessor.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/177 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 27828 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 177/28007 variables, and 12 constraints, problems are : Problem set: 0 solved, 27828 unsolved in 30879 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/178 constraints, PredecessorRefiner: 27828/128 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 27828 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/177 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 27828 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 177/28007 variables, and 12 constraints, problems are : Problem set: 0 solved, 27828 unsolved in 30779 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/178 constraints, PredecessorRefiner: 27700/128 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 145122ms problems are : Problem set: 0 solved, 27828 unsolved
Search for dead transitions found 0 dead transitions in 145535ms
Starting structural reductions in LTL mode, iteration 1 : 178/283 places, 27829/27934 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 148335 ms. Remains : 178/283 places, 27829/27934 transitions.
Starting structural reductions in LTL mode, iteration 0 : 178/178 places, 27829/27829 transitions.
Applied a total of 0 rules in 255 ms. Remains 178 /178 variables (removed 0) and now considering 27829/27829 (removed 0) transitions.
[2026-05-28 01:56:52] [INFO ] Invariant cache hit.
[2026-05-28 01:56:52] [INFO ] Implicit Places using invariants in 175 ms returned []
Implicit Place search using SMT only with invariants took 177 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 451 ms. Remains : 178/178 places, 27829/27829 transitions.
Support contains 58 out of 178 places after structural reductions.
[2026-05-28 01:56:59] [INFO ] Flatten gal took : 5239 ms
[2026-05-28 01:57:04] [INFO ] Flatten gal took : 4798 ms
[2026-05-28 01:57:11] [INFO ] Input system was already deterministic with 27829 transitions.
RANDOM walk for 40000 steps (8 resets) in 13212 ms. (3 steps per ms) remains 79/81 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 239 ms. (16 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4003 steps (8 resets) in 71 ms. (55 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4003 steps (8 resets) in 34 ms. (114 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4003 steps (8 resets) in 91 ms. (43 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4002 steps (8 resets) in 36 ms. (108 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 129 ms. (30 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 461 ms. (8 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 61 ms. (64 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 85 ms. (46 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4002 steps (8 resets) in 66 ms. (59 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4003 steps (8 resets) in 76 ms. (51 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 79 ms. (50 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4002 steps (8 resets) in 64 ms. (61 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 66 ms. (59 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4003 steps (8 resets) in 67 ms. (58 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4003 steps (8 resets) in 66 ms. (59 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4003 steps (8 resets) in 67 ms. (58 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4003 steps (8 resets) in 70 ms. (56 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4003 steps (8 resets) in 78 ms. (50 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4003 steps (8 resets) in 106 ms. (37 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4003 steps (8 resets) in 83 ms. (47 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4003 steps (8 resets) in 75 ms. (52 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 73 ms. (54 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4003 steps (8 resets) in 76 ms. (51 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4002 steps (8 resets) in 73 ms. (54 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 73 ms. (54 steps per ms) remains 79/79 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 79/79 properties
Interrupted probabilistic random walk after 70149 steps, run timeout after 12001 ms. (steps per millisecond=5 ) properties seen :0 out of 79
Probabilistic random walk after 70149 steps, saw 48148 distinct states, run finished after 12015 ms. (steps per millisecond=5 ) properties seen :0
[2026-05-28 01:57:28] [INFO ] Invariant cache hit.
Problem AtomicPropp18 is UNSAT
Problem AtomicPropp64 is UNSAT
At refinement iteration 0 (INCLUDED_ONLY) 0/56 variables, 12/12 constraints. Problems are: Problem set: 2 solved, 77 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/56 variables, 0/12 constraints. Problems are: Problem set: 2 solved, 77 unsolved
Problem AtomicPropp45 is UNSAT
Problem AtomicPropp79 is UNSAT
At refinement iteration 2 (OVERLAPS) 83/139 variables, 14/26 constraints. Problems are: Problem set: 4 solved, 75 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 139/28007 variables, and 26 constraints, problems are : Problem set: 4 solved, 75 unsolved in 5229 ms.
Refiners :[Positive P Invariants (semi-flows): 14/18 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/178 constraints, PredecessorRefiner: 77/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 4 solved, 75 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/56 variables, 12/12 constraints. Problems are: Problem set: 4 solved, 75 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/56 variables, 0/12 constraints. Problems are: Problem set: 4 solved, 75 unsolved
Problem AtomicPropp76 is UNSAT
At refinement iteration 2 (OVERLAPS) 83/139 variables, 14/26 constraints. Problems are: Problem set: 5 solved, 74 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 139/28007 variables, and 26 constraints, problems are : Problem set: 5 solved, 74 unsolved in 5164 ms.
Refiners :[Positive P Invariants (semi-flows): 14/18 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/178 constraints, PredecessorRefiner: 75/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 11215ms problems are : Problem set: 5 solved, 74 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 56 out of 178 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 178/178 places, 27829/27829 transitions.
Graph (trivial) has 89 edges and 178 vertex of which 4 / 178 are part of one of the 2 SCC in 16 ms
Free SCC test removed 2 places
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 15 transitions
Trivial Post-agglo rules discarded 15 transitions
Performed 15 trivial Post agglomeration. Transition count delta: 15
Iterating post reduction 0 with 15 rules applied. Total rules applied 16 place count 176 transition count 27810
Reduce places removed 15 places and 0 transitions.
Iterating post reduction 1 with 15 rules applied. Total rules applied 31 place count 161 transition count 27810
Performed 19 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 19 Pre rules applied. Total rules applied 31 place count 161 transition count 27791
Deduced a syphon composed of 19 places in 53 ms
Reduce places removed 19 places and 0 transitions.
Iterating global reduction 2 with 38 rules applied. Total rules applied 69 place count 142 transition count 27791
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 73 place count 138 transition count 27772
Iterating global reduction 2 with 4 rules applied. Total rules applied 77 place count 138 transition count 27772
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 79 place count 138 transition count 27770
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 2 Pre rules applied. Total rules applied 79 place count 138 transition count 27768
Deduced a syphon composed of 2 places in 52 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 83 place count 136 transition count 27768
Performed 35 Post agglomeration using F-continuation condition.Transition count delta: 35
Deduced a syphon composed of 35 places in 16 ms
Reduce places removed 35 places and 0 transitions.
Iterating global reduction 3 with 70 rules applied. Total rules applied 153 place count 101 transition count 27733
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 14 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 157 place count 99 transition count 27747
Free-agglomeration rule applied 5 times.
Iterating global reduction 3 with 5 rules applied. Total rules applied 162 place count 99 transition count 27742
Reduce places removed 5 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 3 with 7 rules applied. Total rules applied 169 place count 94 transition count 27740
Partial Free-agglomeration rule applied 2 times.
Drop transitions (Partial Free agglomeration) removed 2 transitions
Iterating global reduction 4 with 2 rules applied. Total rules applied 171 place count 94 transition count 27740
Partial Post-agglomeration rule applied 12 times.
Drop transitions (Partial Post agglomeration) removed 12 transitions
Iterating global reduction 4 with 12 rules applied. Total rules applied 183 place count 94 transition count 27740
Applied a total of 183 rules in 7442 ms. Remains 94 /178 variables (removed 84) and now considering 27740/27829 (removed 89) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 7444 ms. Remains : 94/178 places, 27740/27829 transitions.
RANDOM walk for 40000 steps (8 resets) in 24699 ms. (1 steps per ms) remains 72/74 properties
BEST_FIRST walk for 4003 steps (8 resets) in 209 ms. (19 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 229 ms. (17 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 264 ms. (15 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 258 ms. (15 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 174 ms. (22 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 172 ms. (23 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 216 ms. (18 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 174 ms. (22 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 196 ms. (20 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 220 ms. (18 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 226 ms. (17 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 211 ms. (18 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 191 ms. (20 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 220 ms. (18 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 251 ms. (15 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 221 ms. (18 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 218 ms. (18 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4002 steps (8 resets) in 238 ms. (16 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 245 ms. (16 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 184 ms. (21 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4002 steps (8 resets) in 257 ms. (15 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 237 ms. (16 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 247 ms. (16 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 222 ms. (17 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4002 steps (8 resets) in 217 ms. (18 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 205 ms. (19 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 236 ms. (16 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 216 ms. (18 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 175 ms. (22 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 214 ms. (18 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 183 ms. (21 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 189 ms. (21 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 235 ms. (16 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 230 ms. (17 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 207 ms. (19 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 197 ms. (20 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 219 ms. (18 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 246 ms. (16 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 222 ms. (17 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 226 ms. (17 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4002 steps (8 resets) in 215 ms. (18 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4002 steps (8 resets) in 227 ms. (17 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 171 ms. (23 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4003 steps (8 resets) in 180 ms. (22 steps per ms) remains 72/72 properties
BEST_FIRST walk for 4004 steps (8 resets) in 240 ms. (16 steps per ms) remains 72/72 properties
Interrupted probabilistic random walk after 324044 steps, run timeout after 30001 ms. (steps per millisecond=10 ) properties seen :0 out of 72
Probabilistic random walk after 324044 steps, saw 46119 distinct states, run finished after 30001 ms. (steps per millisecond=10 ) properties seen :0
[2026-05-28 01:58:28] [INFO ] Flow matrix only has 27721 transitions (discarded 19 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4477088129693010509.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17586255173415441398.kers'
[2026-05-28 01:58:28] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4477088129693010509.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17586255173415441398.kers]
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 226 ms.
// Phase 1: matrix 27721 rows 93 cols 755992 entries
Finished phase 1 with 61 SingleSign rule and 3 generalized
[2026-05-28 01:58:29] [INFO ] Computed 30 invariants in 745 ms
Computed 30 P flows in 745 ms.
Exported basis to /tmp/petrispot-output-17586255173415441398.kers
Total runtime 916 ms.
[2026-05-28 01:58:29] [INFO ] State equation strengthened by 30 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/56 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 72 unsolved
At refinement iteration 1 (OVERLAPS) 6/62 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 72 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/62 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 72 unsolved
At refinement iteration 3 (OVERLAPS) 7/69 variables, 4/18 constraints. Problems are: Problem set: 0 solved, 72 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/69 variables, 0/18 constraints. Problems are: Problem set: 0 solved, 72 unsolved
At refinement iteration 5 (OVERLAPS) 25/94 variables, 12/30 constraints. Problems are: Problem set: 0 solved, 72 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/94 variables, 0/30 constraints. Problems are: Problem set: 0 solved, 72 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 27815/27815 variables, and 124 constraints, problems are : Problem set: 0 solved, 72 unsolved in 45019 ms.
Refiners :[Positive P Invariants (semi-flows): 18/18 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 94/94 constraints, ReadFeed: 0/30 constraints, PredecessorRefiner: 72/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 72 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/56 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 72 unsolved
At refinement iteration 1 (OVERLAPS) 6/62 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 72 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/62 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 72 unsolved
At refinement iteration 3 (OVERLAPS) 7/69 variables, 4/18 constraints. Problems are: Problem set: 0 solved, 72 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/69 variables, 0/18 constraints. Problems are: Problem set: 0 solved, 72 unsolved
At refinement iteration 5 (OVERLAPS) 25/94 variables, 12/30 constraints. Problems are: Problem set: 0 solved, 72 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/94 variables, 0/30 constraints. Problems are: Problem set: 0 solved, 72 unsolved
SMT process timed out in 91585ms, After SMT, problems are : Problem set: 0 solved, 72 unsolved
Fused 72 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 56 out of 94 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 94/94 places, 27740/27740 transitions.
Applied a total of 0 rules in 981 ms. Remains 94 /94 variables (removed 0) and now considering 27740/27740 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 982 ms. Remains : 94/94 places, 27740/27740 transitions.
Successfully simplified 5 atomic propositions for a total of 16 simplifications.
[2026-05-28 02:00:05] [INFO ] Flatten gal took : 4028 ms
[2026-05-28 02:00:09] [INFO ] Flatten gal took : 4171 ms
[2026-05-28 02:00:15] [INFO ] Input system was already deterministic with 27829 transitions.
Computed a total of 24 stabilizing places and 24 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 178/178 places, 27829/27829 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 176 transition count 27827
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 176 transition count 27827
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 6 place count 174 transition count 27825
Iterating global reduction 0 with 2 rules applied. Total rules applied 8 place count 174 transition count 27825
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 9 place count 173 transition count 27824
Iterating global reduction 0 with 1 rules applied. Total rules applied 10 place count 173 transition count 27824
Applied a total of 10 rules in 676 ms. Remains 173 /178 variables (removed 5) and now considering 27824/27829 (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-14949695999383515875.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2009987688522892684.kers'
[2026-05-28 02:00:17] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14949695999383515875.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2009987688522892684.kers]
Culled 0 columns in 129 ms.
// Phase 1: matrix 27824 rows 173 cols 756265 entries
Finished phase 1 with 140 SingleSign rule and 3 generalized
[2026-05-28 02:00:17] [INFO ] Computed 30 invariants in 485 ms
Computed 30 P flows in 486 ms.
Exported basis to /tmp/petrispot-output-2009987688522892684.kers
Total runtime 600 ms.
[2026-05-28 02:00:23] [INFO ] Implicit Places using invariants in 6522 ms returned []
Implicit Place search using SMT only with invariants took 6524 ms to find 0 implicit places.
Running 27823 sub problems to find dead transitions.
[2026-05-28 02:00:23] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/172 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 27823 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 172/27997 variables, and 12 constraints, problems are : Problem set: 0 solved, 27823 unsolved in 30457 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/173 constraints, PredecessorRefiner: 27823/123 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 27823 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/172 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 27823 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 172/27997 variables, and 12 constraints, problems are : Problem set: 0 solved, 27823 unsolved in 30411 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/173 constraints, PredecessorRefiner: 27700/123 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 150449ms problems are : Problem set: 0 solved, 27823 unsolved
Search for dead transitions found 0 dead transitions in 150626ms
Starting structural reductions in LTL mode, iteration 1 : 173/178 places, 27824/27829 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 157994 ms. Remains : 173/178 places, 27824/27829 transitions.
[2026-05-28 02:02:58] [INFO ] Flatten gal took : 4130 ms
[2026-05-28 02:03:03] [INFO ] Flatten gal took : 4348 ms
[2026-05-28 02:03:09] [INFO ] Input system was already deterministic with 27824 transitions.
[2026-05-28 02:03:14] [INFO ] Flatten gal took : 4319 ms
[2026-05-28 02:03:18] [INFO ] Flatten gal took : 4284 ms
[2026-05-28 02:03:19] [INFO ] Time to serialize gal into /tmp/CTLFireability7123308616778611503.gal : 959 ms
[2026-05-28 02:03:19] [INFO ] Time to serialize properties into /tmp/CTLFireability14893973680142894806.ctl : 5 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7123308616778611503.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14893973680142894806.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
Detected timeout of ITS tools.
[2026-05-28 02:03:54] [INFO ] Flatten gal took : 4233 ms
[2026-05-28 02:03:54] [INFO ] Applying decomposition
[2026-05-28 02:03:58] [INFO ] Flatten gal took : 4172 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/graph14869557875734287974.txt' '-o' '/tmp/graph14869557875734287974.bin' '-w' '/tmp/graph14869557875734287974.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph14869557875734287974.bin' '-l' '-1' '-v' '-w' '/tmp/graph14869557875734287974.weights' '-q' '0' '-e' '0.001'
[2026-05-28 02:04:13] [INFO ] Decomposing Gal with order
[2026-05-28 02:04:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 02:04:24] [INFO ] Removed a total of 433278 redundant transitions.
[2026-05-28 02:04:25] [INFO ] Flatten gal took : 8972 ms
[2026-05-28 02:04:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 50 labels/synchronizations in 5385 ms.
[2026-05-28 02:04:32] [INFO ] Time to serialize gal into /tmp/CTLFireability4321747629988444550.gal : 460 ms
[2026-05-28 02:04:32] [INFO ] Time to serialize properties into /tmp/CTLFireability4785565637363126639.ctl : 5 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4321747629988444550.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4785565637363126639.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
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 178/178 places, 27829/27829 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 176 transition count 27827
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 176 transition count 27827
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 6 place count 174 transition count 27825
Iterating global reduction 0 with 2 rules applied. Total rules applied 8 place count 174 transition count 27825
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 9 place count 173 transition count 27824
Iterating global reduction 0 with 1 rules applied. Total rules applied 10 place count 173 transition count 27824
Applied a total of 10 rules in 632 ms. Remains 173 /178 variables (removed 5) and now considering 27824/27829 (removed 5) transitions.
[2026-05-28 02:05:03] [INFO ] Invariant cache hit.
[2026-05-28 02:05:06] [INFO ] Implicit Places using invariants in 2938 ms returned []
Implicit Place search using SMT only with invariants took 2949 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 173/178 places, 27824/27829 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 3583 ms. Remains : 173/178 places, 27824/27829 transitions.
[2026-05-28 02:05:11] [INFO ] Flatten gal took : 4843 ms
[2026-05-28 02:05:16] [INFO ] Flatten gal took : 4431 ms
[2026-05-28 02:05:22] [INFO ] Input system was already deterministic with 27824 transitions.
[2026-05-28 02:05:27] [INFO ] Flatten gal took : 4432 ms
[2026-05-28 02:05:32] [INFO ] Flatten gal took : 4734 ms
[2026-05-28 02:05:33] [INFO ] Time to serialize gal into /tmp/CTLFireability4617131455508312963.gal : 1014 ms
[2026-05-28 02:05:33] [INFO ] Time to serialize properties into /tmp/CTLFireability14783330915169700726.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/CTLFireability4617131455508312963.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14783330915169700726.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
Detected timeout of ITS tools.
[2026-05-28 02:06:09] [INFO ] Flatten gal took : 4919 ms
[2026-05-28 02:06:09] [INFO ] Applying decomposition
[2026-05-28 02:06:13] [INFO ] Flatten gal took : 4416 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/graph1375892846588188273.txt' '-o' '/tmp/graph1375892846588188273.bin' '-w' '/tmp/graph1375892846588188273.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1375892846588188273.bin' '-l' '-1' '-v' '-w' '/tmp/graph1375892846588188273.weights' '-q' '0' '-e' '0.001'
[2026-05-28 02:06:29] [INFO ] Decomposing Gal with order
[2026-05-28 02:06:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 02:06:41] [INFO ] Removed a total of 433270 redundant transitions.
[2026-05-28 02:06:42] [INFO ] Flatten gal took : 8857 ms
[2026-05-28 02:06:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 44 labels/synchronizations in 5676 ms.
[2026-05-28 02:06:49] [INFO ] Time to serialize gal into /tmp/CTLFireability5033058509151134177.gal : 252 ms
[2026-05-28 02:06:49] [INFO ] Time to serialize properties into /tmp/CTLFireability3045909528366325699.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/CTLFireability5033058509151134177.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3045909528366325699.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
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 178/178 places, 27829/27829 transitions.
Graph (trivial) has 91 edges and 178 vertex of which 4 / 178 are part of one of the 2 SCC in 4 ms
Free SCC test removed 2 places
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 14 transitions
Trivial Post-agglo rules discarded 14 transitions
Performed 14 trivial Post agglomeration. Transition count delta: 14
Iterating post reduction 0 with 14 rules applied. Total rules applied 15 place count 175 transition count 27812
Reduce places removed 14 places and 0 transitions.
Iterating post reduction 1 with 14 rules applied. Total rules applied 29 place count 161 transition count 27812
Performed 19 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 19 Pre rules applied. Total rules applied 29 place count 161 transition count 27793
Deduced a syphon composed of 19 places in 51 ms
Reduce places removed 19 places and 0 transitions.
Iterating global reduction 2 with 38 rules applied. Total rules applied 67 place count 142 transition count 27793
Discarding 18 places :
Symmetric choice reduction at 2 with 18 rule applications. Total rules 85 place count 124 transition count 18559
Ensure Unique test removed 12 places
Iterating global reduction 2 with 30 rules applied. Total rules applied 115 place count 112 transition count 18559
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 117 place count 112 transition count 18557
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 117 place count 112 transition count 18556
Deduced a syphon composed of 1 places in 20 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 119 place count 111 transition count 18556
Performed 37 Post agglomeration using F-continuation condition.Transition count delta: 37
Deduced a syphon composed of 37 places in 15 ms
Reduce places removed 37 places and 0 transitions.
Iterating global reduction 3 with 74 rules applied. Total rules applied 193 place count 74 transition count 18519
Partial Post-agglomeration rule applied 13 times.
Drop transitions (Partial Post agglomeration) removed 13 transitions
Iterating global reduction 3 with 13 rules applied. Total rules applied 206 place count 74 transition count 18519
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 207 place count 73 transition count 18518
Applied a total of 207 rules in 6225 ms. Remains 73 /178 variables (removed 105) and now considering 18518/27829 (removed 9311) transitions.
[2026-05-28 02:07:26] [INFO ] Flow matrix only has 18506 transitions (discarded 12 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13994544229493532104.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13575860704067639645.kers'
[2026-05-28 02:07:26] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13994544229493532104.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13575860704067639645.kers]
Normalized transition count is 18505 out of 18506 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 88 ms.
// Phase 1: matrix 18505 rows 72 cols 497908 entries
Finished phase 1 with 55 SingleSign rule and 0 generalized
[2026-05-28 02:07:26] [INFO ] Computed 18 invariants in 255 ms
Computed 18 P flows in 256 ms.
Exported basis to /tmp/petrispot-output-13575860704067639645.kers
Total runtime 317 ms.
[2026-05-28 02:07:27] [INFO ] Implicit Places using invariants in 1596 ms returned []
Implicit Place search using SMT only with invariants took 1598 ms to find 0 implicit places.
Running 18491 sub problems to find dead transitions.
[2026-05-28 02:07:28] [INFO ] Flow matrix only has 18506 transitions (discarded 12 similar events)
[2026-05-28 02:07:28] [INFO ] Invariant cache hit.
[2026-05-28 02:07:28] [INFO ] State equation strengthened by 2 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/67 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 18491 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 67/18579 variables, and 12 constraints, problems are : Problem set: 0 solved, 18491 unsolved in 30370 ms.
Refiners :[Positive P Invariants (semi-flows): 12/18 constraints, State Equation: 0/73 constraints, ReadFeed: 0/2 constraints, PredecessorRefiner: 18491/19 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 18491 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/67 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 18491 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 67/18579 variables, and 12 constraints, problems are : Problem set: 0 solved, 18491 unsolved in 30352 ms.
Refiners :[Positive P Invariants (semi-flows): 12/18 constraints, State Equation: 0/73 constraints, ReadFeed: 0/2 constraints, PredecessorRefiner: 18472/19 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 110717ms problems are : Problem set: 0 solved, 18491 unsolved
Search for dead transitions found 0 dead transitions in 110984ms
Starting structural reductions in SI_CTL mode, iteration 1 : 73/178 places, 18518/27829 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 118924 ms. Remains : 73/178 places, 18518/27829 transitions.
[2026-05-28 02:09:22] [INFO ] Flatten gal took : 3474 ms
[2026-05-28 02:09:25] [INFO ] Flatten gal took : 2882 ms
[2026-05-28 02:09:31] [INFO ] Input system was already deterministic with 18518 transitions.
[2026-05-28 02:09:35] [INFO ] Flatten gal took : 3055 ms
[2026-05-28 02:09:38] [INFO ] Flatten gal took : 3186 ms
[2026-05-28 02:09:39] [INFO ] Time to serialize gal into /tmp/CTLFireability2224860599629871888.gal : 611 ms
[2026-05-28 02:09:39] [INFO ] Time to serialize properties into /tmp/CTLFireability255859507620400013.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/CTLFireability2224860599629871888.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability255859507620400013.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-28 02:10:12] [INFO ] Flatten gal took : 2910 ms
[2026-05-28 02:10:12] [INFO ] Applying decomposition
[2026-05-28 02:10:15] [INFO ] Flatten gal took : 3148 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/graph949530113585885739.txt' '-o' '/tmp/graph949530113585885739.bin' '-w' '/tmp/graph949530113585885739.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph949530113585885739.bin' '-l' '-1' '-v' '-w' '/tmp/graph949530113585885739.weights' '-q' '0' '-e' '0.001'
[2026-05-28 02:10:26] [INFO ] Decomposing Gal with order
[2026-05-28 02:10:26] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 02:10:34] [INFO ] Removed a total of 258089 redundant transitions.
[2026-05-28 02:10:35] [INFO ] Flatten gal took : 5825 ms
[2026-05-28 02:10:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 29 labels/synchronizations in 2998 ms.
[2026-05-28 02:10:39] [INFO ] Time to serialize gal into /tmp/CTLFireability15630544148672603711.gal : 206 ms
[2026-05-28 02:10:39] [INFO ] Time to serialize properties into /tmp/CTLFireability9463318493572724029.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/CTLFireability15630544148672603711.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9463318493572724029.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 : 178/178 places, 27829/27829 transitions.
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 3 place count 175 transition count 24755
Iterating global reduction 0 with 3 rules applied. Total rules applied 6 place count 175 transition count 24755
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 8 place count 173 transition count 24753
Iterating global reduction 0 with 2 rules applied. Total rules applied 10 place count 173 transition count 24753
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 11 place count 172 transition count 24752
Iterating global reduction 0 with 1 rules applied. Total rules applied 12 place count 172 transition count 24752
Applied a total of 12 rules in 2005 ms. Remains 172 /178 variables (removed 6) and now considering 24752/27829 (removed 3077) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6595509645822349098.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5194245974665105452.kers'
[2026-05-28 02:11:12] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6595509645822349098.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5194245974665105452.kers]
Culled 0 columns in 113 ms.
// Phase 1: matrix 24752 rows 172 cols 676393 entries
Finished phase 1 with 139 SingleSign rule and 3 generalized
[2026-05-28 02:11:12] [INFO ] Computed 30 invariants in 450 ms
Computed 30 P flows in 450 ms.
Exported basis to /tmp/petrispot-output-5194245974665105452.kers
Total runtime 532 ms.
[2026-05-28 02:11:15] [INFO ] Implicit Places using invariants in 3670 ms returned []
Implicit Place search using SMT only with invariants took 3672 ms to find 0 implicit places.
Running 24751 sub problems to find dead transitions.
[2026-05-28 02:11:15] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/171 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 24751 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 171/24924 variables, and 12 constraints, problems are : Problem set: 0 solved, 24751 unsolved in 30659 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/172 constraints, PredecessorRefiner: 24751/123 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 24751 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/171 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 24751 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 171/24924 variables, and 12 constraints, problems are : Problem set: 0 solved, 24751 unsolved in 30639 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/172 constraints, PredecessorRefiner: 24628/123 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 143495ms problems are : Problem set: 0 solved, 24751 unsolved
Search for dead transitions found 0 dead transitions in 143686ms
Starting structural reductions in LTL mode, iteration 1 : 172/178 places, 24752/27829 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 149499 ms. Remains : 172/178 places, 24752/27829 transitions.
[2026-05-28 02:13:43] [INFO ] Flatten gal took : 3748 ms
[2026-05-28 02:13:47] [INFO ] Flatten gal took : 4147 ms
[2026-05-28 02:13:53] [INFO ] Input system was already deterministic with 24752 transitions.
[2026-05-28 02:13:58] [INFO ] Flatten gal took : 4322 ms
[2026-05-28 02:14:02] [INFO ] Flatten gal took : 4050 ms
[2026-05-28 02:14:03] [INFO ] Time to serialize gal into /tmp/CTLFireability5300312500604173183.gal : 614 ms
[2026-05-28 02:14:03] [INFO ] Time to serialize properties into /tmp/CTLFireability10081027837149382696.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/CTLFireability5300312500604173183.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10081027837149382696.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
Detected timeout of ITS tools.
[2026-05-28 02:14:38] [INFO ] Flatten gal took : 4216 ms
[2026-05-28 02:14:38] [INFO ] Applying decomposition
[2026-05-28 02:14:42] [INFO ] Flatten gal took : 3817 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/graph11325049932166108419.txt' '-o' '/tmp/graph11325049932166108419.bin' '-w' '/tmp/graph11325049932166108419.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11325049932166108419.bin' '-l' '-1' '-v' '-w' '/tmp/graph11325049932166108419.weights' '-q' '0' '-e' '0.001'
[2026-05-28 02:14:56] [INFO ] Decomposing Gal with order
[2026-05-28 02:14:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 02:15:05] [INFO ] Removed a total of 374900 redundant transitions.
[2026-05-28 02:15:05] [INFO ] Flatten gal took : 6878 ms
[2026-05-28 02:15:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 37 labels/synchronizations in 4776 ms.
[2026-05-28 02:15:11] [INFO ] Time to serialize gal into /tmp/CTLFireability15536380323276442083.gal : 172 ms
[2026-05-28 02:15:11] [INFO ] Time to serialize properties into /tmp/CTLFireability3895417923914969075.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/CTLFireability15536380323276442083.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3895417923914969075.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 : 178/178 places, 27829/27829 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 176 transition count 27827
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 176 transition count 27827
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 6 place count 174 transition count 27825
Iterating global reduction 0 with 2 rules applied. Total rules applied 8 place count 174 transition count 27825
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 9 place count 173 transition count 27824
Iterating global reduction 0 with 1 rules applied. Total rules applied 10 place count 173 transition count 27824
Applied a total of 10 rules in 860 ms. Remains 173 /178 variables (removed 5) and now considering 27824/27829 (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-15793548764802688376.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2920098354680239562.kers'
[2026-05-28 02:15:42] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15793548764802688376.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2920098354680239562.kers]
Culled 0 columns in 126 ms.
// Phase 1: matrix 27824 rows 173 cols 756265 entries
Finished phase 1 with 140 SingleSign rule and 3 generalized
[2026-05-28 02:15:42] [INFO ] Computed 30 invariants in 468 ms
Computed 30 P flows in 470 ms.
Exported basis to /tmp/petrispot-output-2920098354680239562.kers
Total runtime 561 ms.
[2026-05-28 02:15:44] [INFO ] Implicit Places using invariants in 2570 ms returned []
Implicit Place search using SMT only with invariants took 2591 ms to find 0 implicit places.
Running 27823 sub problems to find dead transitions.
[2026-05-28 02:15:44] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/172 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 27823 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 172/27997 variables, and 12 constraints, problems are : Problem set: 0 solved, 27823 unsolved in 30476 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/173 constraints, PredecessorRefiner: 27823/123 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 27823 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/172 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 27823 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 172/27997 variables, and 12 constraints, problems are : Problem set: 0 solved, 27823 unsolved in 30663 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/173 constraints, PredecessorRefiner: 27700/123 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 152540ms problems are : Problem set: 0 solved, 27823 unsolved
Search for dead transitions found 0 dead transitions in 152654ms
Starting structural reductions in LTL mode, iteration 1 : 173/178 places, 27824/27829 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 156200 ms. Remains : 173/178 places, 27824/27829 transitions.
[2026-05-28 02:18:22] [INFO ] Flatten gal took : 4529 ms
[2026-05-28 02:18:26] [INFO ] Flatten gal took : 4506 ms
[2026-05-28 02:18:33] [INFO ] Input system was already deterministic with 27824 transitions.
[2026-05-28 02:18:38] [INFO ] Flatten gal took : 4263 ms
[2026-05-28 02:18:42] [INFO ] Flatten gal took : 4456 ms
[2026-05-28 02:18:43] [INFO ] Time to serialize gal into /tmp/CTLFireability14043839212165882866.gal : 690 ms
[2026-05-28 02:18:43] [INFO ] Time to serialize properties into /tmp/CTLFireability4413575160080738655.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/CTLFireability14043839212165882866.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4413575160080738655.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
Detected timeout of ITS tools.
[2026-05-28 02:19:18] [INFO ] Flatten gal took : 4510 ms
[2026-05-28 02:19:18] [INFO ] Applying decomposition
[2026-05-28 02:19:22] [INFO ] Flatten gal took : 4293 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/graph7845892867488644220.txt' '-o' '/tmp/graph7845892867488644220.bin' '-w' '/tmp/graph7845892867488644220.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7845892867488644220.bin' '-l' '-1' '-v' '-w' '/tmp/graph7845892867488644220.weights' '-q' '0' '-e' '0.001'
[2026-05-28 02:19:37] [INFO ] Decomposing Gal with order
[2026-05-28 02:19:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 02:19:48] [INFO ] Removed a total of 433277 redundant transitions.
[2026-05-28 02:19:48] [INFO ] Flatten gal took : 8126 ms
[2026-05-28 02:19:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 46 labels/synchronizations in 7692 ms.
[2026-05-28 02:19:57] [INFO ] Time to serialize gal into /tmp/CTLFireability7722548764734820148.gal : 253 ms
[2026-05-28 02:19:57] [INFO ] Time to serialize properties into /tmp/CTLFireability8819589825149156536.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/CTLFireability7722548764734820148.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8819589825149156536.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
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 178/178 places, 27829/27829 transitions.
Discarding 16 places :
Symmetric choice reduction at 0 with 16 rule applications. Total rules 16 place count 162 transition count 18612
Ensure Unique test removed 12 places
Iterating global reduction 0 with 28 rules applied. Total rules applied 44 place count 150 transition count 18612
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 48 place count 146 transition count 8370
Iterating global reduction 0 with 4 rules applied. Total rules applied 52 place count 146 transition count 8370
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 54 place count 144 transition count 8367
Iterating global reduction 0 with 2 rules applied. Total rules applied 56 place count 144 transition count 8367
Applied a total of 56 rules in 2117 ms. Remains 144 /178 variables (removed 34) and now considering 8367/27829 (removed 19462) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8618054943902178025.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11071606871110596833.kers'
[2026-05-28 02:20:29] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8618054943902178025.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11071606871110596833.kers]
Culled 0 columns in 35 ms.
// Phase 1: matrix 8367 rows 144 cols 131635 entries
Finished phase 1 with 126 SingleSign rule and 0 generalized
[2026-05-28 02:20:29] [INFO ] Computed 18 invariants in 178 ms
Computed 18 P flows in 180 ms.
Exported basis to /tmp/petrispot-output-11071606871110596833.kers
Total runtime 213 ms.
[2026-05-28 02:20:33] [INFO ] Implicit Places using invariants in 4173 ms returned []
[2026-05-28 02:20:33] [INFO ] Invariant cache hit.
[2026-05-28 02:20:41] [INFO ] Implicit Places using invariants and state equation in 7774 ms returned []
Implicit Place search using SMT with State Equation took 11957 ms to find 0 implicit places.
Running 8366 sub problems to find dead transitions.
[2026-05-28 02:20:41] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 143/8511 variables, and 0 constraints, problems are : Problem set: 0 solved, 8366 unsolved in 30227 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, State Equation: 0/144 constraints, PredecessorRefiner: 8366/134 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 8366 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 143/8511 variables, and 0 constraints, problems are : Problem set: 0 solved, 8366 unsolved in 30159 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, State Equation: 0/144 constraints, PredecessorRefiner: 8232/134 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 77338ms problems are : Problem set: 0 solved, 8366 unsolved
Search for dead transitions found 0 dead transitions in 77394ms
Starting structural reductions in LTL mode, iteration 1 : 144/178 places, 8367/27829 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 91502 ms. Remains : 144/178 places, 8367/27829 transitions.
[2026-05-28 02:21:59] [INFO ] Flatten gal took : 656 ms
[2026-05-28 02:22:00] [INFO ] Flatten gal took : 747 ms
[2026-05-28 02:22:01] [INFO ] Input system was already deterministic with 8367 transitions.
[2026-05-28 02:22:02] [INFO ] Flatten gal took : 685 ms
[2026-05-28 02:22:03] [INFO ] Flatten gal took : 730 ms
[2026-05-28 02:22:03] [INFO ] Time to serialize gal into /tmp/CTLFireability4841139595465546246.gal : 147 ms
[2026-05-28 02:22:03] [INFO ] Time to serialize properties into /tmp/CTLFireability10135836929287955520.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/CTLFireability4841139595465546246.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10135836929287955520.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-28 02:22:34] [INFO ] Flatten gal took : 697 ms
[2026-05-28 02:22:34] [INFO ] Applying decomposition
[2026-05-28 02:22:34] [INFO ] Flatten gal took : 677 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/graph6531509886538401599.txt' '-o' '/tmp/graph6531509886538401599.bin' '-w' '/tmp/graph6531509886538401599.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6531509886538401599.bin' '-l' '-1' '-v' '-w' '/tmp/graph6531509886538401599.weights' '-q' '0' '-e' '0.001'
[2026-05-28 02:22:36] [INFO ] Decomposing Gal with order
[2026-05-28 02:22:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 02:22:42] [INFO ] Removed a total of 22618 redundant transitions.
[2026-05-28 02:22:43] [INFO ] Flatten gal took : 5931 ms
[2026-05-28 02:22:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 4281 labels/synchronizations in 495 ms.
[2026-05-28 02:22:44] [INFO ] Time to serialize gal into /tmp/CTLFireability9581946164674357855.gal : 29 ms
[2026-05-28 02:22:44] [INFO ] Time to serialize properties into /tmp/CTLFireability13108974199750634578.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/CTLFireability9581946164674357855.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13108974199750634578.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 : 178/178 places, 27829/27829 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 177 transition count 27828
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 177 transition count 27828
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 3 place count 176 transition count 27827
Iterating global reduction 0 with 1 rules applied. Total rules applied 4 place count 176 transition count 27827
Applied a total of 4 rules in 555 ms. Remains 176 /178 variables (removed 2) and now considering 27827/27829 (removed 2) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8964381763605111314.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9726670498473030921.kers'
[2026-05-28 02:23:15] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8964381763605111314.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9726670498473030921.kers]
Culled 0 columns in 226 ms.
// Phase 1: matrix 27827 rows 176 cols 756271 entries
Finished phase 1 with 143 SingleSign rule and 3 generalized
[2026-05-28 02:23:16] [INFO ] Computed 30 invariants in 775 ms
Computed 30 P flows in 776 ms.
Exported basis to /tmp/petrispot-output-9726670498473030921.kers
Total runtime 926 ms.
[2026-05-28 02:23:26] [INFO ] Implicit Places using invariants in 11219 ms returned []
Implicit Place search using SMT only with invariants took 11225 ms to find 0 implicit places.
Running 27826 sub problems to find dead transitions.
[2026-05-28 02:23:26] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/175 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 27826 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 175/28003 variables, and 12 constraints, problems are : Problem set: 0 solved, 27826 unsolved in 30464 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/176 constraints, PredecessorRefiner: 27826/126 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 27826 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/175 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 27826 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 175/28003 variables, and 12 constraints, problems are : Problem set: 0 solved, 27826 unsolved in 30436 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/176 constraints, PredecessorRefiner: 27700/126 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 162334ms problems are : Problem set: 0 solved, 27826 unsolved
Search for dead transitions found 0 dead transitions in 162465ms
Starting structural reductions in LTL mode, iteration 1 : 176/178 places, 27827/27829 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 174320 ms. Remains : 176/178 places, 27827/27829 transitions.
[2026-05-28 02:26:13] [INFO ] Flatten gal took : 4172 ms
[2026-05-28 02:26:18] [INFO ] Flatten gal took : 4952 ms
[2026-05-28 02:26:26] [INFO ] Input system was already deterministic with 27827 transitions.
[2026-05-28 02:26:31] [INFO ] Flatten gal took : 4933 ms
[2026-05-28 02:26:36] [INFO ] Flatten gal took : 4419 ms
[2026-05-28 02:26:36] [INFO ] Time to serialize gal into /tmp/CTLFireability15666970119284936392.gal : 671 ms
[2026-05-28 02:26:36] [INFO ] Time to serialize properties into /tmp/CTLFireability2517780386029386504.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/CTLFireability15666970119284936392.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2517780386029386504.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
Detected timeout of ITS tools.
[2026-05-28 02:27:12] [INFO ] Flatten gal took : 4502 ms
[2026-05-28 02:27:12] [INFO ] Applying decomposition
[2026-05-28 02:27:16] [INFO ] Flatten gal took : 4389 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/graph14838899869210832246.txt' '-o' '/tmp/graph14838899869210832246.bin' '-w' '/tmp/graph14838899869210832246.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph14838899869210832246.bin' '-l' '-1' '-v' '-w' '/tmp/graph14838899869210832246.weights' '-q' '0' '-e' '0.001'
[2026-05-28 02:27:30] [INFO ] Decomposing Gal with order
[2026-05-28 02:27:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 02:27:44] [INFO ] Removed a total of 433268 redundant transitions.
[2026-05-28 02:27:45] [INFO ] Flatten gal took : 11547 ms
[2026-05-28 02:27:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 30 labels/synchronizations in 4582 ms.
[2026-05-28 02:27:50] [INFO ] Time to serialize gal into /tmp/CTLFireability4538067143679431945.gal : 245 ms
[2026-05-28 02:27:50] [INFO ] Time to serialize properties into /tmp/CTLFireability2289047991030843436.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/CTLFireability4538067143679431945.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2289047991030843436.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
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 178/178 places, 27829/27829 transitions.
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 3 place count 175 transition count 24755
Iterating global reduction 0 with 3 rules applied. Total rules applied 6 place count 175 transition count 24755
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 8 place count 173 transition count 24753
Iterating global reduction 0 with 2 rules applied. Total rules applied 10 place count 173 transition count 24753
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 11 place count 172 transition count 24752
Iterating global reduction 0 with 1 rules applied. Total rules applied 12 place count 172 transition count 24752
Applied a total of 12 rules in 894 ms. Remains 172 /178 variables (removed 6) and now considering 24752/27829 (removed 3077) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9227772131780830853.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1942119661428702892.kers'
[2026-05-28 02:28:21] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9227772131780830853.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1942119661428702892.kers]
Culled 0 columns in 189 ms.
// Phase 1: matrix 24752 rows 172 cols 676393 entries
Finished phase 1 with 139 SingleSign rule and 3 generalized
[2026-05-28 02:28:22] [INFO ] Computed 30 invariants in 618 ms
Computed 30 P flows in 619 ms.
Exported basis to /tmp/petrispot-output-1942119661428702892.kers
Total runtime 700 ms.
[2026-05-28 02:28:24] [INFO ] Implicit Places using invariants in 2671 ms returned []
Implicit Place search using SMT only with invariants took 2672 ms to find 0 implicit places.
Running 24751 sub problems to find dead transitions.
[2026-05-28 02:28:24] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/171 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 24751 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 171/24924 variables, and 12 constraints, problems are : Problem set: 0 solved, 24751 unsolved in 30642 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/172 constraints, PredecessorRefiner: 24751/123 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 24751 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/171 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 24751 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 171/24924 variables, and 12 constraints, problems are : Problem set: 0 solved, 24751 unsolved in 30405 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/172 constraints, PredecessorRefiner: 24628/123 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 143935ms problems are : Problem set: 0 solved, 24751 unsolved
Search for dead transitions found 0 dead transitions in 144051ms
Starting structural reductions in LTL mode, iteration 1 : 172/178 places, 24752/27829 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 147666 ms. Remains : 172/178 places, 24752/27829 transitions.
[2026-05-28 02:30:53] [INFO ] Flatten gal took : 4244 ms
[2026-05-28 02:30:57] [INFO ] Flatten gal took : 4044 ms
[2026-05-28 02:31:03] [INFO ] Input system was already deterministic with 24752 transitions.
[2026-05-28 02:31:09] [INFO ] Flatten gal took : 4778 ms
[2026-05-28 02:31:13] [INFO ] Flatten gal took : 4156 ms
[2026-05-28 02:31:13] [INFO ] Time to serialize gal into /tmp/CTLFireability7226875996318134643.gal : 660 ms
[2026-05-28 02:31:13] [INFO ] Time to serialize properties into /tmp/CTLFireability1711197617410131430.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/CTLFireability7226875996318134643.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1711197617410131430.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
Detected timeout of ITS tools.
[2026-05-28 02:31:49] [INFO ] Flatten gal took : 4411 ms
[2026-05-28 02:31:49] [INFO ] Applying decomposition
[2026-05-28 02:31:53] [INFO ] Flatten gal took : 4548 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/graph7965060253607557423.txt' '-o' '/tmp/graph7965060253607557423.bin' '-w' '/tmp/graph7965060253607557423.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7965060253607557423.bin' '-l' '-1' '-v' '-w' '/tmp/graph7965060253607557423.weights' '-q' '0' '-e' '0.001'
[2026-05-28 02:32:06] [INFO ] Decomposing Gal with order
[2026-05-28 02:32:06] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 02:32:16] [INFO ] Removed a total of 374911 redundant transitions.
[2026-05-28 02:32:17] [INFO ] Flatten gal took : 7905 ms
[2026-05-28 02:32:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 35 labels/synchronizations in 4487 ms.
[2026-05-28 02:32:22] [INFO ] Time to serialize gal into /tmp/CTLFireability11867315413042333044.gal : 166 ms
[2026-05-28 02:32:22] [INFO ] Time to serialize properties into /tmp/CTLFireability11071379139196998582.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/CTLFireability11867315413042333044.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11071379139196998582.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 : 178/178 places, 27829/27829 transitions.
Graph (trivial) has 104 edges and 178 vertex of which 4 / 178 are part of one of the 2 SCC in 13 ms
Free SCC test removed 2 places
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 14 transitions
Trivial Post-agglo rules discarded 14 transitions
Performed 14 trivial Post agglomeration. Transition count delta: 14
Iterating post reduction 0 with 14 rules applied. Total rules applied 15 place count 175 transition count 27812
Reduce places removed 14 places and 0 transitions.
Iterating post reduction 1 with 14 rules applied. Total rules applied 29 place count 161 transition count 27812
Performed 20 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 20 Pre rules applied. Total rules applied 29 place count 161 transition count 27792
Deduced a syphon composed of 20 places in 40 ms
Reduce places removed 20 places and 0 transitions.
Iterating global reduction 2 with 40 rules applied. Total rules applied 69 place count 141 transition count 27792
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 73 place count 137 transition count 27773
Iterating global reduction 2 with 4 rules applied. Total rules applied 77 place count 137 transition count 27773
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 79 place count 137 transition count 27771
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 79 place count 137 transition count 27770
Deduced a syphon composed of 1 places in 38 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 81 place count 136 transition count 27770
Performed 36 Post agglomeration using F-continuation condition.Transition count delta: 36
Deduced a syphon composed of 36 places in 10 ms
Reduce places removed 36 places and 0 transitions.
Iterating global reduction 3 with 72 rules applied. Total rules applied 153 place count 100 transition count 27734
Partial Post-agglomeration rule applied 5 times.
Drop transitions (Partial Post agglomeration) removed 5 transitions
Iterating global reduction 3 with 5 rules applied. Total rules applied 158 place count 100 transition count 27734
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 159 place count 99 transition count 27733
Applied a total of 159 rules in 6803 ms. Remains 99 /178 variables (removed 79) and now considering 27733/27829 (removed 96) transitions.
[2026-05-28 02:32:59] [INFO ] Flow matrix only has 27729 transitions (discarded 4 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4556502608061926409.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11077349931785896409.kers'
[2026-05-28 02:32:59] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4556502608061926409.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11077349931785896409.kers]
Normalized transition count is 27728 out of 27729 initially.
Culled 0 columns in 130 ms.
// Phase 1: matrix 27728 rows 99 cols 737558 entries
Finished phase 1 with 66 SingleSign rule and 3 generalized
[2026-05-28 02:32:59] [INFO ] Computed 30 invariants in 527 ms
Computed 30 P flows in 527 ms.
Exported basis to /tmp/petrispot-output-11077349931785896409.kers
Total runtime 615 ms.
[2026-05-28 02:33:10] [INFO ] Implicit Places using invariants in 11363 ms returned []
Implicit Place search using SMT only with invariants took 11368 ms to find 0 implicit places.
Running 27706 sub problems to find dead transitions.
[2026-05-28 02:33:10] [INFO ] Flow matrix only has 27729 transitions (discarded 4 similar events)
[2026-05-28 02:33:10] [INFO ] Invariant cache hit.
[2026-05-28 02:33:11] [INFO ] State equation strengthened by 9218 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/93 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 27706 unsolved
SMT process timed out in 125637ms, After SMT, problems are : Problem set: 0 solved, 27706 unsolved
Search for dead transitions found 0 dead transitions in 125813ms
Starting structural reductions in SI_CTL mode, iteration 1 : 99/178 places, 27733/27829 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 144060 ms. Remains : 99/178 places, 27733/27829 transitions.
[2026-05-28 02:35:21] [INFO ] Flatten gal took : 5067 ms
[2026-05-28 02:35:26] [INFO ] Flatten gal took : 5027 ms
[2026-05-28 02:35:34] [INFO ] Input system was already deterministic with 27733 transitions.
[2026-05-28 02:35:40] [INFO ] Flatten gal took : 5333 ms
[2026-05-28 02:35:45] [INFO ] Flatten gal took : 4894 ms
[2026-05-28 02:35:45] [INFO ] Time to serialize gal into /tmp/CTLFireability2235735172236254407.gal : 655 ms
[2026-05-28 02:35:45] [INFO ] Time to serialize properties into /tmp/CTLFireability1407898420860621005.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/CTLFireability2235735172236254407.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1407898420860621005.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
Detected timeout of ITS tools.
[2026-05-28 02:36:21] [INFO ] Flatten gal took : 4981 ms
[2026-05-28 02:36:21] [INFO ] Applying decomposition
[2026-05-28 02:36:26] [INFO ] Flatten gal took : 5129 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/graph16399856104016509805.txt' '-o' '/tmp/graph16399856104016509805.bin' '-w' '/tmp/graph16399856104016509805.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16399856104016509805.bin' '-l' '-1' '-v' '-w' '/tmp/graph16399856104016509805.weights' '-q' '0' '-e' '0.001'
[2026-05-28 02:36:39] [INFO ] Decomposing Gal with order
[2026-05-28 02:36:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 02:36:51] [INFO ] Removed a total of 428576 redundant transitions.
[2026-05-28 02:36:52] [INFO ] Flatten gal took : 9844 ms
[2026-05-28 02:36:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 18 labels/synchronizations in 5680 ms.
[2026-05-28 02:36:59] [INFO ] Time to serialize gal into /tmp/CTLFireability4719266376701662105.gal : 274 ms
[2026-05-28 02:36:59] [INFO ] Time to serialize properties into /tmp/CTLFireability2817168330862030997.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/CTLFireability4719266376701662105.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2817168330862030997.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
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 178/178 places, 27829/27829 transitions.
Graph (trivial) has 87 edges and 178 vertex of which 4 / 178 are part of one of the 2 SCC in 3 ms
Free SCC test removed 2 places
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 13 transitions
Trivial Post-agglo rules discarded 13 transitions
Performed 13 trivial Post agglomeration. Transition count delta: 13
Iterating post reduction 0 with 13 rules applied. Total rules applied 14 place count 175 transition count 27813
Reduce places removed 13 places and 0 transitions.
Iterating post reduction 1 with 13 rules applied. Total rules applied 27 place count 162 transition count 27813
Performed 19 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 19 Pre rules applied. Total rules applied 27 place count 162 transition count 27794
Deduced a syphon composed of 19 places in 40 ms
Reduce places removed 19 places and 0 transitions.
Iterating global reduction 2 with 38 rules applied. Total rules applied 65 place count 143 transition count 27794
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 68 place count 140 transition count 27776
Iterating global reduction 2 with 3 rules applied. Total rules applied 71 place count 140 transition count 27776
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 73 place count 140 transition count 27774
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 73 place count 140 transition count 27773
Deduced a syphon composed of 1 places in 42 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 75 place count 139 transition count 27773
Performed 36 Post agglomeration using F-continuation condition.Transition count delta: 36
Deduced a syphon composed of 36 places in 10 ms
Reduce places removed 36 places and 0 transitions.
Iterating global reduction 3 with 72 rules applied. Total rules applied 147 place count 103 transition count 27737
Partial Post-agglomeration rule applied 14 times.
Drop transitions (Partial Post agglomeration) removed 14 transitions
Iterating global reduction 3 with 14 rules applied. Total rules applied 161 place count 103 transition count 27737
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 162 place count 102 transition count 27736
Applied a total of 162 rules in 5350 ms. Remains 102 /178 variables (removed 76) and now considering 27736/27829 (removed 93) transitions.
[2026-05-28 02:37:34] [INFO ] Flow matrix only has 27723 transitions (discarded 13 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9938875881407600483.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1051477309986920895.kers'
[2026-05-28 02:37:34] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9938875881407600483.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1051477309986920895.kers]
Normalized transition count is 27722 out of 27723 initially.
Culled 0 columns in 189 ms.
// Phase 1: matrix 27722 rows 102 cols 755978 entries
Finished phase 1 with 69 SingleSign rule and 3 generalized
[2026-05-28 02:37:35] [INFO ] Computed 30 invariants in 650 ms
Computed 30 P flows in 651 ms.
Exported basis to /tmp/petrispot-output-1051477309986920895.kers
Total runtime 744 ms.
[2026-05-28 02:37:35] [INFO ] Implicit Places using invariants in 1237 ms returned []
Implicit Place search using SMT only with invariants took 1238 ms to find 0 implicit places.
Running 27709 sub problems to find dead transitions.
[2026-05-28 02:37:35] [INFO ] Flow matrix only has 27723 transitions (discarded 13 similar events)
[2026-05-28 02:37:35] [INFO ] Invariant cache hit.
[2026-05-28 02:37:36] [INFO ] State equation strengthened by 2 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/96 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 27709 unsolved
SMT process timed out in 123631ms, After SMT, problems are : Problem set: 0 solved, 27709 unsolved
Search for dead transitions found 0 dead transitions in 123806ms
Starting structural reductions in SI_CTL mode, iteration 1 : 102/178 places, 27736/27829 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 130463 ms. Remains : 102/178 places, 27736/27829 transitions.
[2026-05-28 02:39:44] [INFO ] Flatten gal took : 5027 ms
[2026-05-28 02:39:50] [INFO ] Flatten gal took : 5219 ms
[2026-05-28 02:39:58] [INFO ] Input system was already deterministic with 27736 transitions.
[2026-05-28 02:40:03] [INFO ] Flatten gal took : 5299 ms
[2026-05-28 02:40:08] [INFO ] Flatten gal took : 4848 ms
[2026-05-28 02:40:09] [INFO ] Time to serialize gal into /tmp/CTLFireability15403914183452849404.gal : 717 ms
[2026-05-28 02:40:09] [INFO ] Time to serialize properties into /tmp/CTLFireability16745876693365697575.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/CTLFireability15403914183452849404.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16745876693365697575.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-28 02:40:45] [INFO ] Flatten gal took : 5355 ms
[2026-05-28 02:40:45] [INFO ] Applying decomposition
[2026-05-28 02:40:50] [INFO ] Flatten gal took : 5461 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/graph1899939020194256880.txt' '-o' '/tmp/graph1899939020194256880.bin' '-w' '/tmp/graph1899939020194256880.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1899939020194256880.bin' '-l' '-1' '-v' '-w' '/tmp/graph1899939020194256880.weights' '-q' '0' '-e' '0.001'
[2026-05-28 02:41:05] [INFO ] Decomposing Gal with order
[2026-05-28 02:41:05] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 02:41:18] [INFO ] Removed a total of 433222 redundant transitions.
[2026-05-28 02:41:19] [INFO ] Flatten gal took : 11184 ms
[2026-05-28 02:41:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 38 labels/synchronizations in 6270 ms.
[2026-05-28 02:41:26] [INFO ] Time to serialize gal into /tmp/CTLFireability2044616321631582689.gal : 240 ms
[2026-05-28 02:41:26] [INFO ] Time to serialize properties into /tmp/CTLFireability12732806885298034654.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/CTLFireability2044616321631582689.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12732806885298034654.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
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 178/178 places, 27829/27829 transitions.
Discarding 16 places :
Symmetric choice reduction at 0 with 16 rule applications. Total rules 16 place count 162 transition count 18612
Ensure Unique test removed 12 places
Iterating global reduction 0 with 28 rules applied. Total rules applied 44 place count 150 transition count 18612
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 46 place count 148 transition count 18610
Iterating global reduction 0 with 2 rules applied. Total rules applied 48 place count 148 transition count 18610
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 49 place count 147 transition count 18609
Iterating global reduction 0 with 1 rules applied. Total rules applied 50 place count 147 transition count 18609
Applied a total of 50 rules in 1785 ms. Remains 147 /178 variables (removed 31) and now considering 18609/27829 (removed 9220) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11417477229829136315.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15609921397146311710.kers'
[2026-05-28 02:41:58] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11417477229829136315.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15609921397146311710.kers]
Culled 0 columns in 50 ms.
// Phase 1: matrix 18609 rows 147 cols 295479 entries
Finished phase 1 with 129 SingleSign rule and 0 generalized
[2026-05-28 02:41:58] [INFO ] Computed 18 invariants in 259 ms
Computed 18 P flows in 260 ms.
Exported basis to /tmp/petrispot-output-15609921397146311710.kers
Total runtime 298 ms.
[2026-05-28 02:42:05] [INFO ] Implicit Places using invariants in 6767 ms returned []
Implicit Place search using SMT only with invariants took 6768 ms to find 0 implicit places.
Running 18608 sub problems to find dead transitions.
[2026-05-28 02:42:05] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 146/18756 variables, and 0 constraints, problems are : Problem set: 0 solved, 18608 unsolved in 30298 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, State Equation: 0/147 constraints, PredecessorRefiner: 18608/136 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 18608 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 146/18756 variables, and 0 constraints, problems are : Problem set: 0 solved, 18608 unsolved in 30298 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, State Equation: 0/147 constraints, PredecessorRefiner: 18472/136 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 114718ms problems are : Problem set: 0 solved, 18608 unsolved
Search for dead transitions found 0 dead transitions in 114805ms
Starting structural reductions in LTL mode, iteration 1 : 147/178 places, 18609/27829 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 123399 ms. Remains : 147/178 places, 18609/27829 transitions.
[2026-05-28 02:44:01] [INFO ] Flatten gal took : 1251 ms
[2026-05-28 02:44:02] [INFO ] Flatten gal took : 1412 ms
[2026-05-28 02:44:05] [INFO ] Input system was already deterministic with 18609 transitions.
[2026-05-28 02:44:07] [INFO ] Flatten gal took : 1642 ms
[2026-05-28 02:44:08] [INFO ] Flatten gal took : 1588 ms
[2026-05-28 02:44:09] [INFO ] Time to serialize gal into /tmp/CTLFireability2818616817462480652.gal : 343 ms
[2026-05-28 02:44:09] [INFO ] Time to serialize properties into /tmp/CTLFireability4399171700130346744.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/CTLFireability2818616817462480652.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4399171700130346744.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-28 02:44:41] [INFO ] Flatten gal took : 1996 ms
[2026-05-28 02:44:41] [INFO ] Applying decomposition
[2026-05-28 02:44:42] [INFO ] Flatten gal took : 1451 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/graph4457164025263261290.txt' '-o' '/tmp/graph4457164025263261290.bin' '-w' '/tmp/graph4457164025263261290.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph4457164025263261290.bin' '-l' '-1' '-v' '-w' '/tmp/graph4457164025263261290.weights' '-q' '0' '-e' '0.001'
[2026-05-28 02:44:47] [INFO ] Decomposing Gal with order
[2026-05-28 02:44:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 02:44:59] [INFO ] Removed a total of 54071 redundant transitions.
[2026-05-28 02:45:00] [INFO ] Flatten gal took : 11492 ms
[2026-05-28 02:45:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 2356 labels/synchronizations in 635 ms.
[2026-05-28 02:45:01] [INFO ] Time to serialize gal into /tmp/CTLFireability15745769817776983117.gal : 18 ms
[2026-05-28 02:45:01] [INFO ] Time to serialize properties into /tmp/CTLFireability7936012150937866065.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/CTLFireability15745769817776983117.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7936012150937866065.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 : 178/178 places, 27829/27829 transitions.
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 4 place count 174 transition count 22707
Iterating global reduction 0 with 4 rules applied. Total rules applied 8 place count 174 transition count 22707
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 10 place count 172 transition count 22705
Iterating global reduction 0 with 2 rules applied. Total rules applied 12 place count 172 transition count 22705
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 13 place count 171 transition count 22704
Iterating global reduction 0 with 1 rules applied. Total rules applied 14 place count 171 transition count 22704
Applied a total of 14 rules in 634 ms. Remains 171 /178 variables (removed 7) and now considering 22704/27829 (removed 5125) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6399402282077898480.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8436402789662197956.kers'
[2026-05-28 02:45:32] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6399402282077898480.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8436402789662197956.kers]
Culled 0 columns in 182 ms.
// Phase 1: matrix 22704 rows 171 cols 623145 entries
Finished phase 1 with 139 SingleSign rule and 2 generalized
[2026-05-28 02:45:33] [INFO ] Computed 30 invariants in 621 ms
Computed 30 P flows in 622 ms.
Exported basis to /tmp/petrispot-output-8436402789662197956.kers
Total runtime 748 ms.
[2026-05-28 02:45:35] [INFO ] Implicit Places using invariants in 2938 ms returned []
Implicit Place search using SMT only with invariants took 2939 ms to find 0 implicit places.
Running 22703 sub problems to find dead transitions.
[2026-05-28 02:45:35] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/170 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 22703 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 170/22875 variables, and 12 constraints, problems are : Problem set: 0 solved, 22703 unsolved in 30542 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/171 constraints, PredecessorRefiner: 22703/123 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22703 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/170 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 22703 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 170/22875 variables, and 12 constraints, problems are : Problem set: 0 solved, 22703 unsolved in 30589 ms.
Refiners :[Positive P Invariants (semi-flows): 0/18 constraints, Generalized P Invariants (flows): 12/12 constraints, State Equation: 0/171 constraints, PredecessorRefiner: 22580/123 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 126741ms problems are : Problem set: 0 solved, 22703 unsolved
Search for dead transitions found 0 dead transitions in 126834ms
Starting structural reductions in LTL mode, iteration 1 : 171/178 places, 22704/27829 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 130448 ms. Remains : 171/178 places, 22704/27829 transitions.
[2026-05-28 02:47:46] [INFO ] Flatten gal took : 3747 ms
[2026-05-28 02:47:50] [INFO ] Flatten gal took : 3981 ms
[2026-05-28 02:47:56] [INFO ] Input system was already deterministic with 22704 transitions.
[2026-05-28 02:48:00] [INFO ] Flatten gal took : 3549 ms
[2026-05-28 02:48:04] [INFO ] Flatten gal took : 3837 ms
[2026-05-28 02:48:04] [INFO ] Time to serialize gal into /tmp/CTLFireability8009644840965122062.gal : 585 ms
[2026-05-28 02:48:04] [INFO ] Time to serialize properties into /tmp/CTLFireability11168444627344524765.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/CTLFireability8009644840965122062.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11168444627344524765.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.
Detected timeout of ITS tools.
[2026-05-28 02:48:39] [INFO ] Flatten gal took : 3951 ms
[2026-05-28 02:48:39] [INFO ] Applying decomposition
[2026-05-28 02:48:42] [INFO ] Flatten gal took : 3809 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/graph6969486607964983867.txt' '-o' '/tmp/graph6969486607964983867.bin' '-w' '/tmp/graph6969486607964983867.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6969486607964983867.bin' '-l' '-1' '-v' '-w' '/tmp/graph6969486607964983867.weights' '-q' '0' '-e' '0.001'
[2026-05-28 02:48:54] [INFO ] Decomposing Gal with order
[2026-05-28 02:48:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 02:49:02] [INFO ] Removed a total of 332925 redundant transitions.
[2026-05-28 02:49:03] [INFO ] Flatten gal took : 6165 ms
[2026-05-28 02:49:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 60 labels/synchronizations in 3190 ms.
[2026-05-28 02:49:06] [INFO ] Time to serialize gal into /tmp/CTLFireability8147304514544073267.gal : 101 ms
[2026-05-28 02:49:06] [INFO ] Time to serialize properties into /tmp/CTLFireability10077309320965866481.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/CTLFireability8147304514544073267.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10077309320965866481.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 : 178/178 places, 27829/27829 transitions.
Graph (trivial) has 95 edges and 178 vertex of which 4 / 178 are part of one of the 2 SCC in 2 ms
Free SCC test removed 2 places
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 14 transitions
Trivial Post-agglo rules discarded 14 transitions
Performed 14 trivial Post agglomeration. Transition count delta: 14
Iterating post reduction 0 with 14 rules applied. Total rules applied 15 place count 175 transition count 27812
Reduce places removed 14 places and 0 transitions.
Iterating post reduction 1 with 14 rules applied. Total rules applied 29 place count 161 transition count 27812
Performed 20 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 20 Pre rules applied. Total rules applied 29 place count 161 transition count 27792
Deduced a syphon composed of 20 places in 36 ms
Reduce places removed 20 places and 0 transitions.
Iterating global reduction 2 with 40 rules applied. Total rules applied 69 place count 141 transition count 27792
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 75 place count 135 transition count 22653
Iterating global reduction 2 with 6 rules applied. Total rules applied 81 place count 135 transition count 22653
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 83 place count 135 transition count 22651
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 83 place count 135 transition count 22650
Deduced a syphon composed of 1 places in 22 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 85 place count 134 transition count 22650
Performed 36 Post agglomeration using F-continuation condition.Transition count delta: 36
Deduced a syphon composed of 36 places in 7 ms
Reduce places removed 36 places and 0 transitions.
Iterating global reduction 3 with 72 rules applied. Total rules applied 157 place count 98 transition count 22614
Partial Post-agglomeration rule applied 11 times.
Drop transitions (Partial Post agglomeration) removed 11 transitions
Iterating global reduction 3 with 11 rules applied. Total rules applied 168 place count 98 transition count 22614
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 169 place count 97 transition count 22613
Applied a total of 169 rules in 5844 ms. Remains 97 /178 variables (removed 81) and now considering 22613/27829 (removed 5216) transitions.
[2026-05-28 02:49:42] [INFO ] Flow matrix only has 22602 transitions (discarded 11 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1108403528302662285.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15679443944530736287.kers'
[2026-05-28 02:49:42] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1108403528302662285.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15679443944530736287.kers]
Normalized transition count is 22601 out of 22602 initially.
Culled 0 columns in 174 ms.
// Phase 1: matrix 22601 rows 97 cols 604420 entries
Finished phase 1 with 65 SingleSign rule and 2 generalized
[2026-05-28 02:49:43] [INFO ] Computed 30 invariants in 589 ms
Computed 30 P flows in 590 ms.
Exported basis to /tmp/petrispot-output-15679443944530736287.kers
Total runtime 711 ms.
[2026-05-28 02:49:49] [INFO ] Implicit Places using invariants in 6815 ms returned []
Implicit Place search using SMT only with invariants took 6816 ms to find 0 implicit places.
Running 22586 sub problems to find dead transitions.
[2026-05-28 02:49:49] [INFO ] Flow matrix only has 22602 transitions (discarded 11 similar events)
[2026-05-28 02:49:49] [INFO ] Invariant cache hit.
[2026-05-28 02:49:50] [INFO ] State equation strengthened by 9218 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/91 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 22586 unsolved
SMT process timed out in 94567ms, After SMT, problems are : Problem set: 0 solved, 22586 unsolved
Search for dead transitions found 0 dead transitions in 94661ms
Starting structural reductions in SI_CTL mode, iteration 1 : 97/178 places, 22613/27829 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 107365 ms. Remains : 97/178 places, 22613/27829 transitions.
[2026-05-28 02:51:28] [INFO ] Flatten gal took : 4017 ms
[2026-05-28 02:51:33] [INFO ] Flatten gal took : 4555 ms
[2026-05-28 02:51:39] [INFO ] Input system was already deterministic with 22613 transitions.
[2026-05-28 02:51:44] [INFO ] Flatten gal took : 4662 ms
[2026-05-28 02:51:48] [INFO ] Flatten gal took : 4207 ms
[2026-05-28 02:51:49] [INFO ] Time to serialize gal into /tmp/CTLFireability9385536477977802736.gal : 663 ms
[2026-05-28 02:51:49] [INFO ] Time to serialize properties into /tmp/CTLFireability4520813282874023459.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/CTLFireability9385536477977802736.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4520813282874023459.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-28 02:52:23] [INFO ] Flatten gal took : 4352 ms
[2026-05-28 02:52:23] [INFO ] Applying decomposition
[2026-05-28 02:52:28] [INFO ] Flatten gal took : 4527 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/graph8196836866155803045.txt' '-o' '/tmp/graph8196836866155803045.bin' '-w' '/tmp/graph8196836866155803045.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph8196836866155803045.bin' '-l' '-1' '-v' '-w' '/tmp/graph8196836866155803045.weights' '-q' '0' '-e' '0.001'
[2026-05-28 02:52:39] [INFO ] Decomposing Gal with order
[2026-05-28 02:52:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 02:52:47] [INFO ] Removed a total of 327705 redundant transitions.
[2026-05-28 02:52:48] [INFO ] Flatten gal took : 6137 ms
[2026-05-28 02:52:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 41 labels/synchronizations in 3522 ms.
[2026-05-28 02:52:52] [INFO ] Time to serialize gal into /tmp/CTLFireability5874633709769380088.gal : 104 ms
[2026-05-28 02:52:52] [INFO ] Time to serialize properties into /tmp/CTLFireability17768902686869207235.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/CTLFireability5874633709769380088.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17768902686869207235.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 : 178/178 places, 27829/27829 transitions.
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 4 place count 174 transition count 22707
Iterating global reduction 0 with 4 rules applied. Total rules applied 8 place count 174 transition count 22707
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 10 place count 172 transition count 22705
Iterating global reduction 0 with 2 rules applied. Total rules applied 12 place count 172 transition count 22705
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 13 place count 171 transition count 22704
Iterating global reduction 0 with 1 rules applied. Total rules applied 14 place count 171 transition count 22704
Applied a total of 14 rules in 726 ms. Remains 171 /178 variables (removed 7) and now considering 22704/27829 (removed 5125) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6317056357767639894.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10951666794577512557.kers'
[2026-05-28 02:53:23] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6317056357767639894.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10951666794577512557.kers]
Culled 0 columns in 187 ms.
// Phase 1: matrix 22704 rows 171 cols 623145 entries
Finished phase 1 with 139 SingleSign rule and 2 generalized
[2026-05-28 02:53:23] [INFO ] Computed 30 invariants in 630 ms
Computed 30 P flows in 630 ms.
Exported basis to /tmp/petrispot-output-10951666794577512557.kers
Total runtime 709 ms.
[2026-05-28 02:53:35] [INFO ] Implicit Places using invariants in 12316 ms returned []
Implicit Place search using SMT only with invariants took 12322 ms to find 0 implicit places.
Running 22703 sub problems to find dead transitions.
[2026-05-28 02:53:35] [INFO ] Invariant cache hit.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ErlangenMainframeV0-PT-1202"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5973"
echo " Executing tool itstools"
echo " Input is ErlangenMainframeV0-PT-1202, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r114-smll-177955740600522"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ErlangenMainframeV0-PT-1202.tgz
mv ErlangenMainframeV0-PT-1202 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;