About the Execution of ITS-Tools for ErlangenMainframeV0-PT-1007
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 14468.647 | 3600000.00 | 4798294.00 | 8342.90 | T????T?T???????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2026-input.r114-smll-177955740600474.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-1007, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r114-smll-177955740600474
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 62M
-rw-r--r-- 1 mcc users 8.3K Mar 7 05:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K Mar 7 05:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Mar 7 05:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Mar 7 05:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 15 09:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Mar 15 09:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 15 09:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 15 09:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Mar 7 05:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 189K Mar 7 05:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Mar 7 05:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 39K Mar 7 05:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 15 09:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 15 09:56 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 62M 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-1007-CTLFireability-2024-00
FORMULA_NAME ErlangenMainframeV0-PT-1007-CTLFireability-2024-01
FORMULA_NAME ErlangenMainframeV0-PT-1007-CTLFireability-2024-02
FORMULA_NAME ErlangenMainframeV0-PT-1007-CTLFireability-2024-03
FORMULA_NAME ErlangenMainframeV0-PT-1007-CTLFireability-2024-04
FORMULA_NAME ErlangenMainframeV0-PT-1007-CTLFireability-2024-05
FORMULA_NAME ErlangenMainframeV0-PT-1007-CTLFireability-2024-06
FORMULA_NAME ErlangenMainframeV0-PT-1007-CTLFireability-2024-07
FORMULA_NAME ErlangenMainframeV0-PT-1007-CTLFireability-2024-08
FORMULA_NAME ErlangenMainframeV0-PT-1007-CTLFireability-2024-09
FORMULA_NAME ErlangenMainframeV0-PT-1007-CTLFireability-2024-10
FORMULA_NAME ErlangenMainframeV0-PT-1007-CTLFireability-2024-11
FORMULA_NAME ErlangenMainframeV0-PT-1007-CTLFireability-2024-12
FORMULA_NAME ErlangenMainframeV0-PT-1007-CTLFireability-2024-13
FORMULA_NAME ErlangenMainframeV0-PT-1007-CTLFireability-2024-14
FORMULA_NAME ErlangenMainframeV0-PT-1007-CTLFireability-2024-15
=== Now, execution of the tool begins
BK_START 1779889773810
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-1007
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202604301425
[2026-05-27 13:49:35] [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-27 13:49:35] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-27 13:49:39] [INFO ] Load time of PNML (sax parser for PT used): 3514 ms
[2026-05-27 13:49:39] [INFO ] Transformed 285 places.
[2026-05-27 13:49:40] [INFO ] Transformed 52780 transitions.
[2026-05-27 13:49:40] [INFO ] Found NUPN structural information;
[2026-05-27 13:49:40] [INFO ] Parsed PT model containing 285 places and 52780 transitions and 1225525 arcs in 4163 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 37 ms.
Support contains 58 out of 285 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 285/285 places, 52780/52780 transitions.
Discarding 72 places :
Symmetric choice reduction at 0 with 72 rule applications. Total rules 72 place count 213 transition count 52708
Iterating global reduction 0 with 72 rules applied. Total rules applied 144 place count 213 transition count 52708
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 184 place count 173 transition count 52668
Iterating global reduction 0 with 40 rules applied. Total rules applied 224 place count 173 transition count 52668
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 227 place count 170 transition count 52665
Iterating global reduction 0 with 3 rules applied. Total rules applied 230 place count 170 transition count 52665
Applied a total of 230 rules in 1818 ms. Remains 170 /285 variables (removed 115) and now considering 52665/52780 (removed 115) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7746401786867398077.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6688215546491069011.kers'
[2026-05-27 13:49:43] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7746401786867398077.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6688215546491069011.kers]
Culled 0 columns in 214 ms.
// Phase 1: matrix 52665 rows 170 cols 1225295 entries
Finished phase 1 with 141 SingleSign rule and 3 generalized
[2026-05-27 13:49:44] [INFO ] Computed 26 invariants in 1187 ms
Computed 26 P flows in 1189 ms.
Exported basis to /tmp/petrispot-output-6688215546491069011.kers
Total runtime 1357 ms.
[2026-05-27 13:49:45] [INFO ] Implicit Places using invariants in 2541 ms returned []
Implicit Place search using SMT only with invariants took 2612 ms to find 0 implicit places.
Running 52664 sub problems to find dead transitions.
[2026-05-27 13:49:46] [INFO ] Invariant cache hit.
Excessive predecessor constraint size, skipping predecessor.
SMT process timed out in 299690ms, After SMT, problems are : Problem set: 0 solved, 52664 unsolved
Search for dead transitions found 0 dead transitions in 300435ms
Starting structural reductions in LTL mode, iteration 1 : 170/285 places, 52665/52780 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 305198 ms. Remains : 170/285 places, 52665/52780 transitions.
Starting structural reductions in LTL mode, iteration 0 : 170/170 places, 52665/52665 transitions.
Applied a total of 0 rules in 417 ms. Remains 170 /170 variables (removed 0) and now considering 52665/52665 (removed 0) transitions.
[2026-05-27 13:54:46] [INFO ] Invariant cache hit.
[2026-05-27 13:54:46] [INFO ] Implicit Places using invariants in 216 ms returned []
Implicit Place search using SMT only with invariants took 218 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 646 ms. Remains : 170/170 places, 52665/52665 transitions.
Support contains 58 out of 170 places after structural reductions.
[2026-05-27 13:54:55] [INFO ] Flatten gal took : 7845 ms
[2026-05-27 13:55:02] [INFO ] Flatten gal took : 7035 ms
[2026-05-27 13:55:13] [INFO ] Input system was already deterministic with 52665 transitions.
RANDOM walk for 40000 steps (8 resets) in 30144 ms. (1 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4002 steps (8 resets) in 205 ms. (19 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4003 steps (8 resets) in 123 ms. (32 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 325 ms. (12 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 332 ms. (12 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4003 steps (8 resets) in 130 ms. (30 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 130 ms. (30 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4003 steps (8 resets) in 90 ms. (43 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 85 ms. (46 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 95 ms. (41 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4003 steps (8 resets) in 90 ms. (43 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 86 ms. (46 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 82 ms. (48 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4003 steps (8 resets) in 86 ms. (46 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 101 ms. (39 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 114 ms. (34 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4003 steps (8 resets) in 107 ms. (37 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 95 ms. (41 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4003 steps (8 resets) in 111 ms. (35 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4003 steps (8 resets) in 120 ms. (33 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4003 steps (8 resets) in 125 ms. (31 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 123 ms. (32 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 124 ms. (32 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4003 steps (8 resets) in 104 ms. (38 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 100 ms. (39 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 120 ms. (33 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4003 steps (8 resets) in 114 ms. (34 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4003 steps (8 resets) in 104 ms. (38 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 111 ms. (35 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4002 steps (8 resets) in 409 ms. (9 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 115 ms. (34 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4003 steps (8 resets) in 100 ms. (39 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 110 ms. (36 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4003 steps (8 resets) in 113 ms. (35 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 111 ms. (35 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 98 ms. (40 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 145 ms. (27 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 117 ms. (33 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 128 ms. (31 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 127 ms. (31 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 120 ms. (33 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4004 steps (8 resets) in 115 ms. (34 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4003 steps (8 resets) in 95 ms. (41 steps per ms) remains 86/86 properties
Interrupted probabilistic random walk after 68770 steps, run timeout after 30002 ms. (steps per millisecond=2 ) properties seen :0 out of 86
Probabilistic random walk after 68770 steps, saw 45593 distinct states, run finished after 30012 ms. (steps per millisecond=2 ) properties seen :0
[2026-05-27 13:55:54] [INFO ] Invariant cache hit.
Problem AtomicPropp6 is UNSAT
At refinement iteration 0 (INCLUDED_ONLY) 0/58 variables, 10/10 constraints. Problems are: Problem set: 1 solved, 85 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/58 variables, 0/10 constraints. Problems are: Problem set: 1 solved, 85 unsolved
Problem AtomicPropp0 is UNSAT
Problem AtomicPropp8 is UNSAT
Problem AtomicPropp44 is UNSAT
Problem AtomicPropp51 is UNSAT
Problem AtomicPropp73 is UNSAT
At refinement iteration 2 (OVERLAPS) 75/133 variables, 12/22 constraints. Problems are: Problem set: 6 solved, 80 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 133/52835 variables, and 22 constraints, problems are : Problem set: 6 solved, 80 unsolved in 5423 ms.
Refiners :[Positive P Invariants (semi-flows): 12/16 constraints, Generalized P Invariants (flows): 10/10 constraints, State Equation: 0/170 constraints, PredecessorRefiner: 85/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 6 solved, 80 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/58 variables, 10/10 constraints. Problems are: Problem set: 6 solved, 80 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/58 variables, 0/10 constraints. Problems are: Problem set: 6 solved, 80 unsolved
Problem AtomicPropp10 is UNSAT
Problem AtomicPropp84 is UNSAT
At refinement iteration 2 (OVERLAPS) 75/133 variables, 12/22 constraints. Problems are: Problem set: 8 solved, 78 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 133/52835 variables, and 22 constraints, problems are : Problem set: 8 solved, 78 unsolved in 5410 ms.
Refiners :[Positive P Invariants (semi-flows): 12/16 constraints, Generalized P Invariants (flows): 10/10 constraints, State Equation: 0/170 constraints, PredecessorRefiner: 80/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 11946ms problems are : Problem set: 8 solved, 78 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 58 out of 170 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 170/170 places, 52665/52665 transitions.
Graph (trivial) has 83 edges and 170 vertex of which 4 / 170 are part of one of the 2 SCC in 22 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 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 168 transition count 52648
Reduce places removed 13 places and 0 transitions.
Iterating post reduction 1 with 13 rules applied. Total rules applied 27 place count 155 transition count 52648
Performed 18 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 18 Pre rules applied. Total rules applied 27 place count 155 transition count 52630
Deduced a syphon composed of 18 places in 65 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 2 with 36 rules applied. Total rules applied 63 place count 137 transition count 52630
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 65 place count 135 transition count 52613
Iterating global reduction 2 with 2 rules applied. Total rules applied 67 place count 135 transition count 52613
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 69 place count 135 transition count 52611
Performed 31 Post agglomeration using F-continuation condition.Transition count delta: 31
Deduced a syphon composed of 31 places in 24 ms
Reduce places removed 31 places and 0 transitions.
Iterating global reduction 3 with 62 rules applied. Total rules applied 131 place count 104 transition count 52580
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 23 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 135 place count 102 transition count 52599
Free-agglomeration rule applied 5 times.
Iterating global reduction 3 with 5 rules applied. Total rules applied 140 place count 102 transition count 52594
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 147 place count 97 transition count 52592
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 149 place count 97 transition count 52592
Partial Post-agglomeration rule applied 10 times.
Drop transitions (Partial Post agglomeration) removed 10 transitions
Iterating global reduction 4 with 10 rules applied. Total rules applied 159 place count 97 transition count 52592
Applied a total of 159 rules in 11389 ms. Remains 97 /170 variables (removed 73) and now considering 52592/52665 (removed 73) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 11392 ms. Remains : 97/170 places, 52592/52665 transitions.
RANDOM walk for 40000 steps (8 resets) in 49855 ms. (0 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4002 steps (8 resets) in 571 ms. (6 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4003 steps (8 resets) in 642 ms. (6 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 567 ms. (7 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4003 steps (8 resets) in 548 ms. (7 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 568 ms. (7 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4002 steps (8 resets) in 475 ms. (8 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4002 steps (8 resets) in 452 ms. (8 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 504 ms. (7 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4003 steps (8 resets) in 459 ms. (8 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4002 steps (8 resets) in 501 ms. (7 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 489 ms. (8 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4002 steps (8 resets) in 462 ms. (8 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4003 steps (8 resets) in 467 ms. (8 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4001 steps (8 resets) in 546 ms. (7 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 555 ms. (7 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4003 steps (8 resets) in 505 ms. (7 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4003 steps (8 resets) in 418 ms. (9 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4003 steps (8 resets) in 463 ms. (8 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4003 steps (8 resets) in 394 ms. (10 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 478 ms. (8 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 544 ms. (7 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 500 ms. (7 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 477 ms. (8 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4003 steps (8 resets) in 429 ms. (9 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 489 ms. (8 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4002 steps (8 resets) in 415 ms. (9 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 584 ms. (6 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 511 ms. (7 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4003 steps (8 resets) in 509 ms. (7 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 499 ms. (8 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4002 steps (8 resets) in 439 ms. (9 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4002 steps (8 resets) in 440 ms. (9 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4003 steps (8 resets) in 455 ms. (8 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4003 steps (8 resets) in 436 ms. (9 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 414 ms. (9 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 526 ms. (7 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4002 steps (8 resets) in 454 ms. (8 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4003 steps (8 resets) in 501 ms. (7 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4003 steps (8 resets) in 401 ms. (9 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 472 ms. (8 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4004 steps (8 resets) in 451 ms. (8 steps per ms) remains 78/78 properties
BEST_FIRST walk for 4003 steps (8 resets) in 522 ms. (7 steps per ms) remains 78/78 properties
Interrupted probabilistic random walk after 154711 steps, run timeout after 63001 ms. (steps per millisecond=2 ) properties seen :0 out of 78
Probabilistic random walk after 154711 steps, saw 23842 distinct states, run finished after 63002 ms. (steps per millisecond=2 ) properties seen :0
[2026-05-27 13:57:42] [INFO ] Flow matrix only has 52575 transitions (discarded 17 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14247647920924027615.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3776892697390801566.kers'
[2026-05-27 13:57:42] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14247647920924027615.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3776892697390801566.kers]
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 339 ms.
// Phase 1: matrix 52575 rows 96 cols 1225046 entries
Finished phase 1 with 68 SingleSign rule and 3 generalized
[2026-05-27 13:57:43] [INFO ] Computed 26 invariants in 1145 ms
Computed 26 P flows in 1146 ms.
Exported basis to /tmp/petrispot-output-3776892697390801566.kers
Total runtime 1310 ms.
[2026-05-27 13:57:43] [INFO ] State equation strengthened by 38 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/58 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 1 (OVERLAPS) 6/64 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/64 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 3 (OVERLAPS) 7/71 variables, 4/16 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/71 variables, 0/16 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 5 (OVERLAPS) 26/97 variables, 10/26 constraints. Problems are: Problem set: 0 solved, 78 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 97/52672 variables, and 26 constraints, problems are : Problem set: 0 solved, 78 unsolved in 45207 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, Generalized P Invariants (flows): 10/10 constraints, State Equation: 0/97 constraints, ReadFeed: 0/38 constraints, PredecessorRefiner: 78/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 78 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/58 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 1 (OVERLAPS) 6/64 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/64 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 78 unsolved
At refinement iteration 3 (OVERLAPS) 7/71 variables, 4/16 constraints. Problems are: Problem set: 0 solved, 78 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 71/52672 variables, and 16 constraints, problems are : Problem set: 0 solved, 78 unsolved in 45011 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, Generalized P Invariants (flows): 0/10 constraints, State Equation: 0/97 constraints, ReadFeed: 0/38 constraints, PredecessorRefiner: 78/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 92530ms problems are : Problem set: 0 solved, 78 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 58 out of 97 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 97/97 places, 52592/52592 transitions.
Applied a total of 0 rules in 1372 ms. Remains 97 /97 variables (removed 0) and now considering 52592/52592 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1373 ms. Remains : 97/97 places, 52592/52592 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 97/97 places, 52592/52592 transitions.
Applied a total of 0 rules in 1520 ms. Remains 97 /97 variables (removed 0) and now considering 52592/52592 (removed 0) transitions.
[2026-05-27 13:59:17] [INFO ] Flow matrix only has 52575 transitions (discarded 17 similar events)
[2026-05-27 13:59:17] [INFO ] Invariant cache hit.
[2026-05-27 13:59:17] [INFO ] Implicit Places using invariants in 144 ms returned [82]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 246 ms to find 1 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 96/97 places, 52592/52592 transitions.
Applied a total of 0 rules in 1497 ms. Remains 96 /96 variables (removed 0) and now considering 52592/52592 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 3280 ms. Remains : 96/97 places, 52592/52592 transitions.
Successfully simplified 8 atomic propositions for a total of 16 simplifications.
[2026-05-27 13:59:26] [INFO ] Flatten gal took : 6403 ms
[2026-05-27 13:59:26] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA ErlangenMainframeV0-PT-1007-CTLFireability-2024-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2026-05-27 13:59:32] [INFO ] Flatten gal took : 6193 ms
[2026-05-27 13:59:42] [INFO ] Input system was already deterministic with 52665 transitions.
Computed a total of 22 stabilizing places and 22 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 170/170 places, 52665/52665 transitions.
Applied a total of 0 rules in 247 ms. Remains 170 /170 variables (removed 0) and now considering 52665/52665 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-2603770428537674477.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15696250291358196640.kers'
[2026-05-27 13:59:44] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2603770428537674477.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15696250291358196640.kers]
Culled 0 columns in 208 ms.
// Phase 1: matrix 52665 rows 170 cols 1225295 entries
Finished phase 1 with 141 SingleSign rule and 3 generalized
[2026-05-27 13:59:45] [INFO ] Computed 26 invariants in 1030 ms
Computed 26 P flows in 1030 ms.
Exported basis to /tmp/petrispot-output-15696250291358196640.kers
Total runtime 1194 ms.
[2026-05-27 13:59:50] [INFO ] Implicit Places using invariants in 5709 ms returned []
Implicit Place search using SMT only with invariants took 5712 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 5963 ms. Remains : 170/170 places, 52665/52665 transitions.
[2026-05-27 13:59:57] [INFO ] Flatten gal took : 6134 ms
[2026-05-27 14:00:03] [INFO ] Flatten gal took : 6271 ms
[2026-05-27 14:00:13] [INFO ] Input system was already deterministic with 52665 transitions.
[2026-05-27 14:00:20] [INFO ] Flatten gal took : 6702 ms
[2026-05-27 14:00:26] [INFO ] Flatten gal took : 6222 ms
[2026-05-27 14:00:28] [INFO ] Time to serialize gal into /tmp/CTLFireability5114122721707012465.gal : 1335 ms
[2026-05-27 14:00:28] [INFO ] Time to serialize properties into /tmp/CTLFireability5435977517300548815.ctl : 6 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5114122721707012465.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5435977517300548815.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-27 14:01:05] [INFO ] Flatten gal took : 6801 ms
[2026-05-27 14:01:05] [INFO ] Applying decomposition
[2026-05-27 14:01:12] [INFO ] Flatten gal took : 6245 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/graph2924009641915321661.txt' '-o' '/tmp/graph2924009641915321661.bin' '-w' '/tmp/graph2924009641915321661.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph2924009641915321661.bin' '-l' '-1' '-v' '-w' '/tmp/graph2924009641915321661.weights' '-q' '0' '-e' '0.001'
[2026-05-27 14:01:31] [INFO ] Decomposing Gal with order
[2026-05-27 14:01:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 14:01:51] [INFO ] Removed a total of 705818 redundant transitions.
[2026-05-27 14:01:53] [INFO ] Flatten gal took : 14878 ms
[2026-05-27 14:02:03] [INFO ] Fuse similar labels procedure discarded/fused a total of 56 labels/synchronizations in 9171 ms.
[2026-05-27 14:02:04] [INFO ] Time to serialize gal into /tmp/CTLFireability3460456639454864722.gal : 464 ms
[2026-05-27 14:02:04] [INFO ] Time to serialize properties into /tmp/CTLFireability13078789306736408497.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/CTLFireability3460456639454864722.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13078789306736408497.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 SI_CTL mode, iteration 0 : 170/170 places, 52665/52665 transitions.
Graph (trivial) has 88 edges and 170 vertex of which 4 / 170 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 12 transitions
Trivial Post-agglo rules discarded 12 transitions
Performed 12 trivial Post agglomeration. Transition count delta: 12
Iterating post reduction 0 with 12 rules applied. Total rules applied 13 place count 167 transition count 52650
Reduce places removed 12 places and 0 transitions.
Iterating post reduction 1 with 12 rules applied. Total rules applied 25 place count 155 transition count 52650
Performed 17 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 17 Pre rules applied. Total rules applied 25 place count 155 transition count 52633
Deduced a syphon composed of 17 places in 72 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 2 with 34 rules applied. Total rules applied 59 place count 138 transition count 52633
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 64 place count 133 transition count 40304
Iterating global reduction 2 with 5 rules applied. Total rules applied 69 place count 133 transition count 40304
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 71 place count 133 transition count 40302
Performed 32 Post agglomeration using F-continuation condition.Transition count delta: 32
Deduced a syphon composed of 32 places in 17 ms
Reduce places removed 32 places and 0 transitions.
Iterating global reduction 3 with 64 rules applied. Total rules applied 135 place count 101 transition count 40270
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 148 place count 101 transition count 40270
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 149 place count 100 transition count 40269
Applied a total of 149 rules in 7808 ms. Remains 100 /170 variables (removed 70) and now considering 40269/52665 (removed 12396) transitions.
[2026-05-27 14:02:42] [INFO ] Flow matrix only has 40257 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-17339084802014790243.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2806351775191234587.kers'
[2026-05-27 14:02:42] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17339084802014790243.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2806351775191234587.kers]
Normalized transition count is 40256 out of 40257 initially.
Culled 0 columns in 161 ms.
// Phase 1: matrix 40256 rows 100 cols 954156 entries
Finished phase 1 with 71 SingleSign rule and 3 generalized
[2026-05-27 14:02:43] [INFO ] Computed 26 invariants in 800 ms
Computed 26 P flows in 801 ms.
Exported basis to /tmp/petrispot-output-2806351775191234587.kers
Total runtime 1052 ms.
[2026-05-27 14:02:47] [INFO ] Implicit Places using invariants in 5600 ms returned []
Implicit Place search using SMT only with invariants took 5601 ms to find 0 implicit places.
Running 40244 sub problems to find dead transitions.
[2026-05-27 14:02:48] [INFO ] Flow matrix only has 40257 transitions (discarded 12 similar events)
[2026-05-27 14:02:48] [INFO ] Invariant cache hit.
[2026-05-27 14:02:48] [INFO ] State equation strengthened by 2 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/94 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 40244 unsolved
SMT process timed out in 198835ms, After SMT, problems are : Problem set: 0 solved, 40244 unsolved
Search for dead transitions found 0 dead transitions in 199136ms
Starting structural reductions in SI_CTL mode, iteration 1 : 100/170 places, 40269/52665 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 212832 ms. Remains : 100/170 places, 40269/52665 transitions.
[2026-05-27 14:06:16] [INFO ] Flatten gal took : 8019 ms
[2026-05-27 14:06:22] [INFO ] Flatten gal took : 6222 ms
[2026-05-27 14:06:32] [INFO ] Input system was already deterministic with 40269 transitions.
[2026-05-27 14:06:40] [INFO ] Flatten gal took : 6869 ms
[2026-05-27 14:06:46] [INFO ] Flatten gal took : 6246 ms
[2026-05-27 14:06:47] [INFO ] Time to serialize gal into /tmp/CTLFireability11993018024247077972.gal : 828 ms
[2026-05-27 14:06:47] [INFO ] Time to serialize properties into /tmp/CTLFireability16079315554800034597.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/CTLFireability11993018024247077972.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16079315554800034597.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
Detected timeout of ITS tools.
[2026-05-27 14:07:24] [INFO ] Flatten gal took : 6531 ms
[2026-05-27 14:07:24] [INFO ] Applying decomposition
[2026-05-27 14:07:30] [INFO ] Flatten gal took : 6236 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/graph6255874316546207201.txt' '-o' '/tmp/graph6255874316546207201.bin' '-w' '/tmp/graph6255874316546207201.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6255874316546207201.bin' '-l' '-1' '-v' '-w' '/tmp/graph6255874316546207201.weights' '-q' '0' '-e' '0.001'
[2026-05-27 14:07:48] [INFO ] Decomposing Gal with order
[2026-05-27 14:07:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 14:08:04] [INFO ] Removed a total of 492537 redundant transitions.
[2026-05-27 14:08:06] [INFO ] Flatten gal took : 13903 ms
[2026-05-27 14:08:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 48 labels/synchronizations in 4505 ms.
[2026-05-27 14:08:11] [INFO ] Time to serialize gal into /tmp/CTLFireability9605161033181254917.gal : 253 ms
[2026-05-27 14:08:11] [INFO ] Time to serialize properties into /tmp/CTLFireability18179972285809600895.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/CTLFireability9605161033181254917.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18179972285809600895.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 : 170/170 places, 52665/52665 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 169 transition count 46833
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 169 transition count 46833
Applied a total of 2 rules in 2276 ms. Remains 169 /170 variables (removed 1) and now considering 46833/52665 (removed 5832) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-152651968575745667.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6097301966823766973.kers'
[2026-05-27 14:08:44] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-152651968575745667.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6097301966823766973.kers]
Culled 0 columns in 190 ms.
// Phase 1: matrix 46833 rows 169 cols 1096991 entries
Finished phase 1 with 140 SingleSign rule and 3 generalized
[2026-05-27 14:08:45] [INFO ] Computed 26 invariants in 887 ms
Computed 26 P flows in 888 ms.
Exported basis to /tmp/petrispot-output-6097301966823766973.kers
Total runtime 1037 ms.
[2026-05-27 14:08:47] [INFO ] Implicit Places using invariants in 3223 ms returned []
Implicit Place search using SMT only with invariants took 3225 ms to find 0 implicit places.
Running 46832 sub problems to find dead transitions.
[2026-05-27 14:08:48] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/168 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 46832 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 168/47002 variables, and 10 constraints, problems are : Problem set: 0 solved, 46832 unsolved in 31396 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, Generalized P Invariants (flows): 10/10 constraints, State Equation: 0/169 constraints, PredecessorRefiner: 46832/123 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 46832 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/168 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 46832 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 168/47002 variables, and 10 constraints, problems are : Problem set: 0 solved, 46832 unsolved in 30787 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, Generalized P Invariants (flows): 10/10 constraints, State Equation: 0/169 constraints, PredecessorRefiner: 46709/123 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 293573ms problems are : Problem set: 0 solved, 46832 unsolved
Search for dead transitions found 0 dead transitions in 293920ms
Starting structural reductions in LTL mode, iteration 1 : 169/170 places, 46833/52665 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 299738 ms. Remains : 169/170 places, 46833/52665 transitions.
[2026-05-27 14:13:50] [INFO ] Flatten gal took : 7470 ms
[2026-05-27 14:13:56] [INFO ] Flatten gal took : 6508 ms
[2026-05-27 14:14:08] [INFO ] Input system was already deterministic with 46833 transitions.
[2026-05-27 14:14:15] [INFO ] Flatten gal took : 6110 ms
[2026-05-27 14:14:21] [INFO ] Flatten gal took : 6188 ms
[2026-05-27 14:14:23] [INFO ] Time to serialize gal into /tmp/CTLFireability10541330814641981668.gal : 1199 ms
[2026-05-27 14:14:23] [INFO ] Time to serialize properties into /tmp/CTLFireability13668248393979861492.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/CTLFireability10541330814641981668.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13668248393979861492.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
Detected timeout of ITS tools.
[2026-05-27 14:15:00] [INFO ] Flatten gal took : 6095 ms
[2026-05-27 14:15:00] [INFO ] Applying decomposition
[2026-05-27 14:15:06] [INFO ] Flatten gal took : 5611 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/graph3217087357012693411.txt' '-o' '/tmp/graph3217087357012693411.bin' '-w' '/tmp/graph3217087357012693411.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph3217087357012693411.bin' '-l' '-1' '-v' '-w' '/tmp/graph3217087357012693411.weights' '-q' '0' '-e' '0.001'
[2026-05-27 14:15:26] [INFO ] Decomposing Gal with order
[2026-05-27 14:15:26] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 14:15:46] [INFO ] Removed a total of 604698 redundant transitions.
[2026-05-27 14:15:47] [INFO ] Flatten gal took : 15904 ms
[2026-05-27 14:15:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 69 labels/synchronizations in 8245 ms.
[2026-05-27 14:15:57] [INFO ] Time to serialize gal into /tmp/CTLFireability5249648021622030278.gal : 296 ms
[2026-05-27 14:15:57] [INFO ] Time to serialize properties into /tmp/CTLFireability10684511264345194182.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/CTLFireability5249648021622030278.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10684511264345194182.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 : 170/170 places, 52665/52665 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 168 transition count 42945
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 168 transition count 42945
Applied a total of 4 rules in 1757 ms. Remains 168 /170 variables (removed 2) and now considering 42945/52665 (removed 9720) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6922310435452090550.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8327775520337015840.kers'
[2026-05-27 14:16:30] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6922310435452090550.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8327775520337015840.kers]
Culled 0 columns in 271 ms.
// Phase 1: matrix 42945 rows 168 cols 1011455 entries
Finished phase 1 with 139 SingleSign rule and 3 generalized
[2026-05-27 14:16:31] [INFO ] Computed 26 invariants in 1024 ms
Computed 26 P flows in 1025 ms.
Exported basis to /tmp/petrispot-output-8327775520337015840.kers
Total runtime 1182 ms.
[2026-05-27 14:16:36] [INFO ] Implicit Places using invariants in 6623 ms returned []
Implicit Place search using SMT only with invariants took 6624 ms to find 0 implicit places.
Running 42944 sub problems to find dead transitions.
[2026-05-27 14:16:37] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/167 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 42944 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 167/43113 variables, and 10 constraints, problems are : Problem set: 0 solved, 42944 unsolved in 31179 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, Generalized P Invariants (flows): 10/10 constraints, State Equation: 0/168 constraints, PredecessorRefiner: 42944/123 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 42944 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/167 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 42944 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 167/43113 variables, and 10 constraints, problems are : Problem set: 0 solved, 42944 unsolved in 30912 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, Generalized P Invariants (flows): 10/10 constraints, State Equation: 0/168 constraints, PredecessorRefiner: 42821/123 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 264829ms problems are : Problem set: 0 solved, 42944 unsolved
Search for dead transitions found 0 dead transitions in 265182ms
Starting structural reductions in LTL mode, iteration 1 : 168/170 places, 42945/52665 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 273813 ms. Remains : 168/170 places, 42945/52665 transitions.
[2026-05-27 14:21:07] [INFO ] Flatten gal took : 5323 ms
[2026-05-27 14:21:13] [INFO ] Flatten gal took : 5653 ms
[2026-05-27 14:21:22] [INFO ] Input system was already deterministic with 42945 transitions.
[2026-05-27 14:21:29] [INFO ] Flatten gal took : 5842 ms
[2026-05-27 14:21:34] [INFO ] Flatten gal took : 5306 ms
[2026-05-27 14:21:35] [INFO ] Time to serialize gal into /tmp/CTLFireability2242501725929524132.gal : 887 ms
[2026-05-27 14:21:35] [INFO ] Time to serialize properties into /tmp/CTLFireability11043728333013780880.ctl : 4 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/CTLFireability2242501725929524132.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11043728333013780880.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-27 14:22:13] [INFO ] Flatten gal took : 6670 ms
[2026-05-27 14:22:13] [INFO ] Applying decomposition
[2026-05-27 14:22:19] [INFO ] Flatten gal took : 5534 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/graph14771241873318484485.txt' '-o' '/tmp/graph14771241873318484485.bin' '-w' '/tmp/graph14771241873318484485.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph14771241873318484485.bin' '-l' '-1' '-v' '-w' '/tmp/graph14771241873318484485.weights' '-q' '0' '-e' '0.001'
[2026-05-27 14:22:36] [INFO ] Decomposing Gal with order
[2026-05-27 14:22:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 14:22:51] [INFO ] Removed a total of 532794 redundant transitions.
[2026-05-27 14:22:52] [INFO ] Flatten gal took : 11203 ms
[2026-05-27 14:22:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 76 labels/synchronizations in 5281 ms.
[2026-05-27 14:22:58] [INFO ] Time to serialize gal into /tmp/CTLFireability8509359934264007001.gal : 162 ms
[2026-05-27 14:22:58] [INFO ] Time to serialize properties into /tmp/CTLFireability8534434922373247704.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/CTLFireability8509359934264007001.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8534434922373247704.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 170/170 places, 52665/52665 transitions.
Graph (trivial) has 93 edges and 170 vertex of which 4 / 170 are part of one of the 2 SCC in 29 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 12 transitions
Trivial Post-agglo rules discarded 12 transitions
Performed 12 trivial Post agglomeration. Transition count delta: 12
Iterating post reduction 0 with 12 rules applied. Total rules applied 13 place count 167 transition count 52650
Reduce places removed 12 places and 0 transitions.
Iterating post reduction 1 with 12 rules applied. Total rules applied 25 place count 155 transition count 52650
Performed 17 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 17 Pre rules applied. Total rules applied 25 place count 155 transition count 52633
Deduced a syphon composed of 17 places in 57 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 2 with 34 rules applied. Total rules applied 59 place count 138 transition count 52633
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 78 place count 119 transition count 35121
Ensure Unique test removed 10 places
Iterating global reduction 2 with 29 rules applied. Total rules applied 107 place count 109 transition count 35121
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 109 place count 109 transition count 35119
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 112 place count 106 transition count 10495
Iterating global reduction 3 with 3 rules applied. Total rules applied 115 place count 106 transition count 10495
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 4 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 181 place count 73 transition count 10462
Drop transitions (Redundant composition of simpler transitions.) removed 3 transitions
Redundant transition composition rules discarded 3 transitions
Iterating global reduction 3 with 3 rules applied. Total rules applied 184 place count 73 transition count 10459
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 4 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 3 with 6 rules applied. Total rules applied 190 place count 70 transition count 10456
Partial Post-agglomeration rule applied 12 times.
Drop transitions (Partial Post agglomeration) removed 12 transitions
Iterating global reduction 3 with 12 rules applied. Total rules applied 202 place count 70 transition count 10456
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 203 place count 69 transition count 10455
Applied a total of 203 rules in 11931 ms. Remains 69 /170 variables (removed 101) and now considering 10455/52665 (removed 42210) transitions.
[2026-05-27 14:23:40] [INFO ] Flow matrix only has 10441 transitions (discarded 14 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8293597449331061044.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11708859196684285869.kers'
[2026-05-27 14:23:40] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8293597449331061044.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11708859196684285869.kers]
Normalized transition count is 10440 out of 10441 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 42 ms.
// Phase 1: matrix 10440 rows 68 cols 238714 entries
Finished phase 1 with 53 SingleSign rule and 0 generalized
[2026-05-27 14:23:40] [INFO ] Computed 16 invariants in 122 ms
Computed 16 P flows in 123 ms.
Exported basis to /tmp/petrispot-output-11708859196684285869.kers
Total runtime 157 ms.
[2026-05-27 14:23:42] [INFO ] Implicit Places using invariants in 2793 ms returned []
Implicit Place search using SMT only with invariants took 2794 ms to find 0 implicit places.
Running 10430 sub problems to find dead transitions.
[2026-05-27 14:23:43] [INFO ] Flow matrix only has 10441 transitions (discarded 14 similar events)
[2026-05-27 14:23:43] [INFO ] Invariant cache hit.
[2026-05-27 14:23:43] [INFO ] State equation strengthened by 2 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/63 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 10430 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 63/10510 variables, and 10 constraints, problems are : Problem set: 0 solved, 10430 unsolved in 30163 ms.
Refiners :[Positive P Invariants (semi-flows): 10/16 constraints, State Equation: 0/69 constraints, ReadFeed: 0/2 constraints, PredecessorRefiner: 10430/20 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 10430 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/63 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 10430 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 63/10510 variables, and 10 constraints, problems are : Problem set: 0 solved, 10430 unsolved in 30179 ms.
Refiners :[Positive P Invariants (semi-flows): 10/16 constraints, State Equation: 0/69 constraints, ReadFeed: 0/2 constraints, PredecessorRefiner: 10410/20 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 84086ms problems are : Problem set: 0 solved, 10430 unsolved
Search for dead transitions found 0 dead transitions in 84158ms
Starting structural reductions in SI_CTL mode, iteration 1 : 69/170 places, 10455/52665 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 98932 ms. Remains : 69/170 places, 10455/52665 transitions.
[2026-05-27 14:25:08] [INFO ] Flatten gal took : 1055 ms
[2026-05-27 14:25:09] [INFO ] Flatten gal took : 1218 ms
[2026-05-27 14:25:11] [INFO ] Input system was already deterministic with 10455 transitions.
[2026-05-27 14:25:12] [INFO ] Flatten gal took : 1253 ms
[2026-05-27 14:25:14] [INFO ] Flatten gal took : 1263 ms
[2026-05-27 14:25:14] [INFO ] Time to serialize gal into /tmp/CTLFireability11032552636468855340.gal : 209 ms
[2026-05-27 14:25:14] [INFO ] Time to serialize properties into /tmp/CTLFireability6344674020902983846.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/CTLFireability11032552636468855340.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6344674020902983846.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-27 14:25:45] [INFO ] Flatten gal took : 1286 ms
[2026-05-27 14:25:45] [INFO ] Applying decomposition
[2026-05-27 14:25:46] [INFO ] Flatten gal took : 1159 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/graph10484420188266335353.txt' '-o' '/tmp/graph10484420188266335353.bin' '-w' '/tmp/graph10484420188266335353.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10484420188266335353.bin' '-l' '-1' '-v' '-w' '/tmp/graph10484420188266335353.weights' '-q' '0' '-e' '0.001'
[2026-05-27 14:25:50] [INFO ] Decomposing Gal with order
[2026-05-27 14:25:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 14:25:54] [INFO ] Removed a total of 124506 redundant transitions.
[2026-05-27 14:25:54] [INFO ] Flatten gal took : 2461 ms
[2026-05-27 14:25:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 56 labels/synchronizations in 805 ms.
[2026-05-27 14:25:55] [INFO ] Time to serialize gal into /tmp/CTLFireability8655768153082163460.gal : 25 ms
[2026-05-27 14:25:55] [INFO ] Time to serialize properties into /tmp/CTLFireability8924696338483319076.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/CTLFireability8655768153082163460.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8924696338483319076.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.87971e+09,3.58657,62384,621,81,73723,884,10100,291711,85,3613,0
Converting to forward existential form...Done !
original formula: (AG(EF((((((u1.p21==1)&&(i2.i0.u2.p30==1))&&((i2.i1.u4.p47==1)&&(i2.i0.u5.p56==1)))&&(((i2.i0.u2.p85==1)&&(i2.i1.u6.p98==1))&&((i2.i0.u7....523
=> equivalent forward existential formula: [(FwdU((Init * !(EG((((((i2.i0.u5.p17==1)&&(i1.u3.p34==1))&&((i2.i0.u0.p43==1)&&(i2.i0.u7.p66==1)))&&(((u1.p75==...586
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
(forward)formula 0,1,5.14006,62400,1,0,73723,1404,42149,291711,290,4325,118525
FORMULA ErlangenMainframeV0-PT-1007-CTLFireability-2024-05 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is TRUE !
***************************************
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in SI_CTL mode, iteration 0 : 170/170 places, 52665/52665 transitions.
Graph (trivial) has 88 edges and 170 vertex of which 4 / 170 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 12 transitions
Trivial Post-agglo rules discarded 12 transitions
Performed 12 trivial Post agglomeration. Transition count delta: 12
Iterating post reduction 0 with 12 rules applied. Total rules applied 13 place count 167 transition count 52650
Reduce places removed 12 places and 0 transitions.
Iterating post reduction 1 with 12 rules applied. Total rules applied 25 place count 155 transition count 52650
Performed 17 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 17 Pre rules applied. Total rules applied 25 place count 155 transition count 52633
Deduced a syphon composed of 17 places in 86 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 2 with 34 rules applied. Total rules applied 59 place count 138 transition count 52633
Discarding 9 places :
Symmetric choice reduction at 2 with 9 rule applications. Total rules 68 place count 129 transition count 36144
Iterating global reduction 2 with 9 rules applied. Total rules applied 77 place count 129 transition count 36144
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 129 transition count 36142
Performed 32 Post agglomeration using F-continuation condition.Transition count delta: 32
Deduced a syphon composed of 32 places in 16 ms
Reduce places removed 32 places and 0 transitions.
Iterating global reduction 3 with 64 rules applied. Total rules applied 143 place count 97 transition count 36110
Partial Post-agglomeration rule applied 15 times.
Drop transitions (Partial Post agglomeration) removed 15 transitions
Iterating global reduction 3 with 15 rules applied. Total rules applied 158 place count 97 transition count 36110
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 159 place count 96 transition count 36109
Applied a total of 159 rules in 8276 ms. Remains 96 /170 variables (removed 74) and now considering 36109/52665 (removed 16556) transitions.
[2026-05-27 14:26:08] [INFO ] Flow matrix only has 36095 transitions (discarded 14 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-824206082003327421.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-18322574149322418292.kers'
[2026-05-27 14:26:08] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-824206082003327421.kers, --Pflows, --basisKERS=/tmp/petrispot-output-18322574149322418292.kers]
Normalized transition count is 36094 out of 36095 initially.
Culled 0 columns in 250 ms.
// Phase 1: matrix 36094 rows 96 cols 862632 entries
Finished phase 1 with 68 SingleSign rule and 2 generalized
[2026-05-27 14:26:09] [INFO ] Computed 26 invariants in 889 ms
Computed 26 P flows in 897 ms.
Exported basis to /tmp/petrispot-output-18322574149322418292.kers
Total runtime 1085 ms.
[2026-05-27 14:26:14] [INFO ] Implicit Places using invariants in 5402 ms returned []
Implicit Place search using SMT only with invariants took 5403 ms to find 0 implicit places.
Running 36084 sub problems to find dead transitions.
[2026-05-27 14:26:14] [INFO ] Flow matrix only has 36095 transitions (discarded 14 similar events)
[2026-05-27 14:26:14] [INFO ] Invariant cache hit.
[2026-05-27 14:26:14] [INFO ] State equation strengthened by 2 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/90 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 36084 unsolved
SMT process timed out in 176624ms, After SMT, problems are : Problem set: 0 solved, 36084 unsolved
Search for dead transitions found 0 dead transitions in 176872ms
Starting structural reductions in SI_CTL mode, iteration 1 : 96/170 places, 36109/52665 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 190653 ms. Remains : 96/170 places, 36109/52665 transitions.
[2026-05-27 14:29:17] [INFO ] Flatten gal took : 5558 ms
[2026-05-27 14:29:23] [INFO ] Flatten gal took : 6041 ms
[2026-05-27 14:29:31] [INFO ] Input system was already deterministic with 36109 transitions.
[2026-05-27 14:29:38] [INFO ] Flatten gal took : 5799 ms
[2026-05-27 14:29:43] [INFO ] Flatten gal took : 5757 ms
[2026-05-27 14:29:44] [INFO ] Time to serialize gal into /tmp/CTLFireability6389771471249818642.gal : 758 ms
[2026-05-27 14:29:44] [INFO ] Time to serialize properties into /tmp/CTLFireability1725086767786532947.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/CTLFireability6389771471249818642.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1725086767786532947.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-27 14:30:21] [INFO ] Flatten gal took : 6134 ms
[2026-05-27 14:30:21] [INFO ] Applying decomposition
[2026-05-27 14:30:27] [INFO ] Flatten gal took : 5638 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/graph4264152980075450058.txt' '-o' '/tmp/graph4264152980075450058.bin' '-w' '/tmp/graph4264152980075450058.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph4264152980075450058.bin' '-l' '-1' '-v' '-w' '/tmp/graph4264152980075450058.weights' '-q' '0' '-e' '0.001'
[2026-05-27 14:30:43] [INFO ] Decomposing Gal with order
[2026-05-27 14:30:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 14:30:55] [INFO ] Removed a total of 434819 redundant transitions.
[2026-05-27 14:30:56] [INFO ] Flatten gal took : 10429 ms
[2026-05-27 14:30:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 50 labels/synchronizations in 2662 ms.
[2026-05-27 14:30:59] [INFO ] Time to serialize gal into /tmp/CTLFireability2195238551850455824.gal : 23 ms
[2026-05-27 14:30:59] [INFO ] Time to serialize properties into /tmp/CTLFireability8275638716970221950.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/CTLFireability2195238551850455824.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8275638716970221950.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 170/170 places, 52665/52665 transitions.
Graph (trivial) has 101 edges and 170 vertex of which 4 / 170 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 12 transitions
Trivial Post-agglo rules discarded 12 transitions
Performed 12 trivial Post agglomeration. Transition count delta: 12
Iterating post reduction 0 with 12 rules applied. Total rules applied 13 place count 167 transition count 52650
Reduce places removed 12 places and 0 transitions.
Iterating post reduction 1 with 12 rules applied. Total rules applied 25 place count 155 transition count 52650
Performed 18 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 18 Pre rules applied. Total rules applied 25 place count 155 transition count 52632
Deduced a syphon composed of 18 places in 72 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 2 with 36 rules applied. Total rules applied 61 place count 137 transition count 52632
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 80 place count 118 transition count 35120
Ensure Unique test removed 10 places
Iterating global reduction 2 with 29 rules applied. Total rules applied 109 place count 108 transition count 35120
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 111 place count 108 transition count 35118
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 118 place count 101 transition count 2174
Iterating global reduction 3 with 7 rules applied. Total rules applied 125 place count 101 transition count 2174
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 126 place count 100 transition count 2172
Iterating global reduction 3 with 1 rules applied. Total rules applied 127 place count 100 transition count 2172
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 1 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 193 place count 67 transition count 2139
Drop transitions (Redundant composition of simpler transitions.) removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 3 with 6 rules applied. Total rules applied 199 place count 67 transition count 2133
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Deduced a syphon composed of 6 places in 1 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 3 with 12 rules applied. Total rules applied 211 place count 61 transition count 2127
Partial Post-agglomeration rule applied 7 times.
Drop transitions (Partial Post agglomeration) removed 7 transitions
Iterating global reduction 3 with 7 rules applied. Total rules applied 218 place count 61 transition count 2127
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 219 place count 60 transition count 2126
Applied a total of 219 rules in 16174 ms. Remains 60 /170 variables (removed 110) and now considering 2126/52665 (removed 50539) transitions.
[2026-05-27 14:31:46] [INFO ] Flow matrix only has 2114 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-1697758869886648535.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10692844156113615566.kers'
[2026-05-27 14:31:46] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1697758869886648535.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10692844156113615566.kers]
Normalized transition count is 2113 out of 2114 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 7 ms.
// Phase 1: matrix 2113 rows 59 cols 45283 entries
Finished phase 1 with 44 SingleSign rule and 0 generalized
[2026-05-27 14:31:46] [INFO ] Computed 16 invariants in 22 ms
Computed 16 P flows in 22 ms.
Exported basis to /tmp/petrispot-output-10692844156113615566.kers
Total runtime 29 ms.
[2026-05-27 14:31:47] [INFO ] Implicit Places using invariants in 1120 ms returned []
[2026-05-27 14:31:47] [INFO ] Flow matrix only has 2114 transitions (discarded 12 similar events)
[2026-05-27 14:31:47] [INFO ] Invariant cache hit.
[2026-05-27 14:31:48] [INFO ] State equation strengthened by 1026 read => feed constraints.
[2026-05-27 14:31:49] [INFO ] Implicit Places using invariants and state equation in 1948 ms returned []
Implicit Place search using SMT with State Equation took 3070 ms to find 0 implicit places.
[2026-05-27 14:31:49] [INFO ] Redundant transitions in 322 ms returned []
Running 2101 sub problems to find dead transitions.
[2026-05-27 14:31:49] [INFO ] Flow matrix only has 2114 transitions (discarded 12 similar events)
[2026-05-27 14:31:49] [INFO ] Invariant cache hit.
[2026-05-27 14:31:49] [INFO ] State equation strengthened by 1026 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/54 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 2101 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 54/2174 variables, and 10 constraints, problems are : Problem set: 0 solved, 2101 unsolved in 30045 ms.
Refiners :[Positive P Invariants (semi-flows): 10/16 constraints, State Equation: 0/60 constraints, ReadFeed: 0/1026 constraints, PredecessorRefiner: 2101/21 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2101 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/54 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 2101 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 54/2174 variables, and 10 constraints, problems are : Problem set: 0 solved, 2101 unsolved in 30066 ms.
Refiners :[Positive P Invariants (semi-flows): 10/16 constraints, State Equation: 0/60 constraints, ReadFeed: 0/1026 constraints, PredecessorRefiner: 2080/21 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 63891ms problems are : Problem set: 0 solved, 2101 unsolved
Search for dead transitions found 0 dead transitions in 63900ms
Starting structural reductions in SI_CTL mode, iteration 1 : 60/170 places, 2126/52665 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 83489 ms. Remains : 60/170 places, 2126/52665 transitions.
[2026-05-27 14:32:53] [INFO ] Flatten gal took : 332 ms
[2026-05-27 14:32:54] [INFO ] Flatten gal took : 360 ms
[2026-05-27 14:32:54] [INFO ] Input system was already deterministic with 2126 transitions.
[2026-05-27 14:32:54] [INFO ] Flatten gal took : 208 ms
[2026-05-27 14:32:55] [INFO ] Flatten gal took : 215 ms
[2026-05-27 14:32:55] [INFO ] Time to serialize gal into /tmp/CTLFireability3254120870401678221.gal : 40 ms
[2026-05-27 14:32:55] [INFO ] Time to serialize properties into /tmp/CTLFireability8856206322053089592.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/CTLFireability3254120870401678221.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8856206322053089592.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.13246e+09,23.7464,332116,2,39422,5,339722,6,0,2367,261847,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2026-05-27 14:33:25] [INFO ] Flatten gal took : 214 ms
[2026-05-27 14:33:25] [INFO ] Applying decomposition
[2026-05-27 14:33:25] [INFO ] Flatten gal took : 220 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/graph9148137252005327713.txt' '-o' '/tmp/graph9148137252005327713.bin' '-w' '/tmp/graph9148137252005327713.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9148137252005327713.bin' '-l' '-1' '-v' '-w' '/tmp/graph9148137252005327713.weights' '-q' '0' '-e' '0.001'
[2026-05-27 14:33:26] [INFO ] Decomposing Gal with order
[2026-05-27 14:33:26] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 14:33:27] [INFO ] Removed a total of 24638 redundant transitions.
[2026-05-27 14:33:27] [INFO ] Flatten gal took : 449 ms
[2026-05-27 14:33:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 22 labels/synchronizations in 116 ms.
[2026-05-27 14:33:27] [INFO ] Time to serialize gal into /tmp/CTLFireability2115456841395615.gal : 9 ms
[2026-05-27 14:33:27] [INFO ] Time to serialize properties into /tmp/CTLFireability651440076733820036.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/CTLFireability2115456841395615.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability651440076733820036.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 -...258
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.13246e+09,1.11892,26804,761,28,37566,189,3313,46030,59,742,0
Converting to forward existential form...Done !
original formula: AG(EF((((((i0.u1.p17==1)&&(i0.u13.p30==1))&&((i0.u5.p47==1)&&(i0.u4.p60==1)))&&(((i0.u0.p79==1)&&(i0.u8.p98==1))&&((i0.u6.p113==1)&&(i0.u...247
=> equivalent forward existential formula: [(FwdU(Init,TRUE) * !(E(TRUE U (((((i0.u1.p17==1)&&(i0.u13.p30==1))&&((i0.u5.p47==1)&&(i0.u4.p60==1)))&&(((i0.u0...307
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
(forward)formula 0,1,1.55564,26928,1,0,37566,323,27862,46030,201,767,54176
FORMULA ErlangenMainframeV0-PT-1007-CTLFireability-2024-07 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is TRUE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 170/170 places, 52665/52665 transitions.
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 17 place count 153 transition count 35170
Ensure Unique test removed 10 places
Iterating global reduction 0 with 27 rules applied. Total rules applied 44 place count 143 transition count 35170
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 51 place count 136 transition count 2226
Iterating global reduction 0 with 7 rules applied. Total rules applied 58 place count 136 transition count 2226
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 61 place count 133 transition count 2220
Iterating global reduction 0 with 3 rules applied. Total rules applied 64 place count 133 transition count 2220
Applied a total of 64 rules in 9366 ms. Remains 133 /170 variables (removed 37) and now considering 2220/52665 (removed 50445) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3267245691970352358.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9850445600966417827.kers'
[2026-05-27 14:33:38] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3267245691970352358.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9850445600966417827.kers]
Culled 0 columns in 4 ms.
// Phase 1: matrix 2220 rows 133 cols 29247 entries
Finished phase 1 with 117 SingleSign rule and 0 generalized
[2026-05-27 14:33:38] [INFO ] Computed 16 invariants in 21 ms
Computed 16 P flows in 21 ms.
Exported basis to /tmp/petrispot-output-9850445600966417827.kers
Total runtime 27 ms.
[2026-05-27 14:33:39] [INFO ] Implicit Places using invariants in 828 ms returned []
[2026-05-27 14:33:39] [INFO ] Invariant cache hit.
[2026-05-27 14:33:41] [INFO ] Implicit Places using invariants and state equation in 2143 ms returned []
Implicit Place search using SMT with State Equation took 2984 ms to find 0 implicit places.
Running 2219 sub problems to find dead transitions.
[2026-05-27 14:33:41] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/132 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2219 unsolved
SMT process timed out in 34714ms, After SMT, problems are : Problem set: 0 solved, 2219 unsolved
Search for dead transitions found 0 dead transitions in 34728ms
Starting structural reductions in LTL mode, iteration 1 : 133/170 places, 2220/52665 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 47082 ms. Remains : 133/170 places, 2220/52665 transitions.
[2026-05-27 14:34:16] [INFO ] Flatten gal took : 185 ms
[2026-05-27 14:34:16] [INFO ] Flatten gal took : 226 ms
[2026-05-27 14:34:16] [INFO ] Input system was already deterministic with 2220 transitions.
[2026-05-27 14:34:16] [INFO ] Flatten gal took : 131 ms
[2026-05-27 14:34:16] [INFO ] Flatten gal took : 132 ms
[2026-05-27 14:34:17] [INFO ] Time to serialize gal into /tmp/CTLFireability17814772570050643183.gal : 32 ms
[2026-05-27 14:34:17] [INFO ] Time to serialize properties into /tmp/CTLFireability7374103757287891238.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/CTLFireability17814772570050643183.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7374103757287891238.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-27 14:34:47] [INFO ] Flatten gal took : 128 ms
[2026-05-27 14:34:47] [INFO ] Applying decomposition
[2026-05-27 14:34:47] [INFO ] Flatten gal took : 133 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/graph10412450727713185713.txt' '-o' '/tmp/graph10412450727713185713.bin' '-w' '/tmp/graph10412450727713185713.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10412450727713185713.bin' '-l' '-1' '-v' '-w' '/tmp/graph10412450727713185713.weights' '-q' '0' '-e' '0.001'
[2026-05-27 14:34:47] [INFO ] Decomposing Gal with order
[2026-05-27 14:34:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 14:34:48] [INFO ] Removed a total of 5215 redundant transitions.
[2026-05-27 14:34:48] [INFO ] Flatten gal took : 877 ms
[2026-05-27 14:34:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 2086 labels/synchronizations in 104 ms.
[2026-05-27 14:34:48] [INFO ] Time to serialize gal into /tmp/CTLFireability3362552558313989209.gal : 13 ms
[2026-05-27 14:34:48] [INFO ] Time to serialize properties into /tmp/CTLFireability3007289246051398347.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/CTLFireability3362552558313989209.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3007289246051398347.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 170/170 places, 52665/52665 transitions.
Applied a total of 0 rules in 257 ms. Remains 170 /170 variables (removed 0) and now considering 52665/52665 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6153548705303980224.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7885440576784586559.kers'
[2026-05-27 14:35:19] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6153548705303980224.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7885440576784586559.kers]
Culled 0 columns in 358 ms.
// Phase 1: matrix 52665 rows 170 cols 1225295 entries
Finished phase 1 with 141 SingleSign rule and 3 generalized
[2026-05-27 14:35:20] [INFO ] Computed 26 invariants in 1237 ms
Computed 26 P flows in 1238 ms.
Exported basis to /tmp/petrispot-output-7885440576784586559.kers
Total runtime 1471 ms.
[2026-05-27 14:35:28] [INFO ] Implicit Places using invariants in 8855 ms returned []
Implicit Place search using SMT only with invariants took 8855 ms to find 0 implicit places.
Running 52664 sub problems to find dead transitions.
[2026-05-27 14:35:28] [INFO ] Invariant cache hit.
SMT process timed out in 336557ms, After SMT, problems are : Problem set: 0 solved, 52664 unsolved
Search for dead transitions found 0 dead transitions in 336790ms
Finished structural reductions in LTL mode , in 1 iterations and 345986 ms. Remains : 170/170 places, 52665/52665 transitions.
[2026-05-27 14:41:11] [INFO ] Flatten gal took : 6093 ms
[2026-05-27 14:41:18] [INFO ] Flatten gal took : 6628 ms
[2026-05-27 14:41:28] [INFO ] Input system was already deterministic with 52665 transitions.
[2026-05-27 14:41:36] [INFO ] Flatten gal took : 6664 ms
[2026-05-27 14:41:42] [INFO ] Flatten gal took : 6351 ms
[2026-05-27 14:41:43] [INFO ] Time to serialize gal into /tmp/CTLFireability17337574927551928170.gal : 1169 ms
[2026-05-27 14:41:43] [INFO ] Time to serialize properties into /tmp/CTLFireability18236468582375321095.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/CTLFireability17337574927551928170.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18236468582375321095.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
Detected timeout of ITS tools.
[2026-05-27 14:42:22] [INFO ] Flatten gal took : 7090 ms
[2026-05-27 14:42:22] [INFO ] Applying decomposition
[2026-05-27 14:42:29] [INFO ] Flatten gal took : 7297 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/graph16006563405657144.txt' '-o' '/tmp/graph16006563405657144.bin' '-w' '/tmp/graph16006563405657144.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16006563405657144.bin' '-l' '-1' '-v' '-w' '/tmp/graph16006563405657144.weights' '-q' '0' '-e' '0.001'
[2026-05-27 14:42:50] [INFO ] Decomposing Gal with order
[2026-05-27 14:42:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 14:43:12] [INFO ] Removed a total of 705809 redundant transitions.
[2026-05-27 14:43:13] [INFO ] Flatten gal took : 16996 ms
[2026-05-27 14:43:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 59 labels/synchronizations in 9887 ms.
[2026-05-27 14:43:24] [INFO ] Time to serialize gal into /tmp/CTLFireability5660490006628631447.gal : 406 ms
[2026-05-27 14:43:25] [INFO ] Time to serialize properties into /tmp/CTLFireability9438131808481499360.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/CTLFireability5660490006628631447.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9438131808481499360.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 : 170/170 places, 52665/52665 transitions.
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 7 place count 163 transition count 36193
Iterating global reduction 0 with 7 rules applied. Total rules applied 14 place count 163 transition count 36193
Applied a total of 14 rules in 1998 ms. Remains 163 /170 variables (removed 7) and now considering 36193/52665 (removed 16472) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9748341738403114711.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11190675106355768086.kers'
[2026-05-27 14:43:57] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9748341738403114711.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11190675106355768086.kers]
Culled 0 columns in 153 ms.
// Phase 1: matrix 36193 rows 163 cols 862911 entries
Finished phase 1 with 135 SingleSign rule and 2 generalized
[2026-05-27 14:43:58] [INFO ] Computed 26 invariants in 768 ms
Computed 26 P flows in 769 ms.
Exported basis to /tmp/petrispot-output-11190675106355768086.kers
Total runtime 953 ms.
[2026-05-27 14:44:08] [INFO ] Implicit Places using invariants in 11155 ms returned []
Implicit Place search using SMT only with invariants took 11157 ms to find 0 implicit places.
Running 36192 sub problems to find dead transitions.
[2026-05-27 14:44:08] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/162 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 36192 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 162/36356 variables, and 10 constraints, problems are : Problem set: 0 solved, 36192 unsolved in 30766 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, Generalized P Invariants (flows): 10/10 constraints, State Equation: 0/163 constraints, PredecessorRefiner: 36192/123 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 36192 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/162 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 36192 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 162/36356 variables, and 10 constraints, problems are : Problem set: 0 solved, 36192 unsolved in 30724 ms.
Refiners :[Positive P Invariants (semi-flows): 0/16 constraints, Generalized P Invariants (flows): 10/10 constraints, State Equation: 0/163 constraints, PredecessorRefiner: 36069/123 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 215240ms problems are : Problem set: 0 solved, 36192 unsolved
Search for dead transitions found 0 dead transitions in 215406ms
Starting structural reductions in LTL mode, iteration 1 : 163/170 places, 36193/52665 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 228649 ms. Remains : 163/170 places, 36193/52665 transitions.
[2026-05-27 14:47:48] [INFO ] Flatten gal took : 4405 ms
[2026-05-27 14:47:53] [INFO ] Flatten gal took : 4720 ms
[2026-05-27 14:48:01] [INFO ] Input system was already deterministic with 36193 transitions.
[2026-05-27 14:48:07] [INFO ] Flatten gal took : 5541 ms
[2026-05-27 14:48:11] [INFO ] Flatten gal took : 4447 ms
[2026-05-27 14:48:12] [INFO ] Time to serialize gal into /tmp/CTLFireability4346472118435604866.gal : 727 ms
[2026-05-27 14:48:12] [INFO ] Time to serialize properties into /tmp/CTLFireability491028526318108189.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/CTLFireability4346472118435604866.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability491028526318108189.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
Detected timeout of ITS tools.
[2026-05-27 14:48:47] [INFO ] Flatten gal took : 4569 ms
[2026-05-27 14:48:47] [INFO ] Applying decomposition
[2026-05-27 14:48:51] [INFO ] Flatten gal took : 4296 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/graph15554655606539248177.txt' '-o' '/tmp/graph15554655606539248177.bin' '-w' '/tmp/graph15554655606539248177.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph15554655606539248177.bin' '-l' '-1' '-v' '-w' '/tmp/graph15554655606539248177.weights' '-q' '0' '-e' '0.001'
[2026-05-27 14:49:06] [INFO ] Decomposing Gal with order
[2026-05-27 14:49:06] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 14:49:19] [INFO ] Removed a total of 446559 redundant transitions.
[2026-05-27 14:49:20] [INFO ] Flatten gal took : 9815 ms
[2026-05-27 14:49:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 58 labels/synchronizations in 2868 ms.
[2026-05-27 14:49:23] [INFO ] Time to serialize gal into /tmp/CTLFireability13849081204311242518.gal : 24 ms
[2026-05-27 14:49:23] [INFO ] Time to serialize properties into /tmp/CTLFireability9303398308283423750.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/CTLFireability13849081204311242518.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9303398308283423750.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.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
+ 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-1007"
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-1007, 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-177955740600474"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ErlangenMainframeV0-PT-1007.tgz
mv ErlangenMainframeV0-PT-1007 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 ;