About the Execution of ITS-Tools for ErlangenMainframeV0-PT-1008
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16165.292 | 3600000.00 | 4464532.00 | 24558.00 | ????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-177955740600482.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-1008, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r114-smll-177955740600482
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 94M
-rw-r--r-- 1 mcc users 7.6K Mar 7 04:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Mar 7 04:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Mar 7 04:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Mar 7 04:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 15 09:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 15 09:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 15 09:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 15 09:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Mar 7 04:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 153K Mar 7 04:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Mar 7 04:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 88K Mar 7 04:54 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 93M 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-1008-CTLFireability-2024-00
FORMULA_NAME ErlangenMainframeV0-PT-1008-CTLFireability-2024-01
FORMULA_NAME ErlangenMainframeV0-PT-1008-CTLFireability-2024-02
FORMULA_NAME ErlangenMainframeV0-PT-1008-CTLFireability-2024-03
FORMULA_NAME ErlangenMainframeV0-PT-1008-CTLFireability-2024-04
FORMULA_NAME ErlangenMainframeV0-PT-1008-CTLFireability-2024-05
FORMULA_NAME ErlangenMainframeV0-PT-1008-CTLFireability-2024-06
FORMULA_NAME ErlangenMainframeV0-PT-1008-CTLFireability-2024-07
FORMULA_NAME ErlangenMainframeV0-PT-1008-CTLFireability-2024-08
FORMULA_NAME ErlangenMainframeV0-PT-1008-CTLFireability-2024-09
FORMULA_NAME ErlangenMainframeV0-PT-1008-CTLFireability-2024-10
FORMULA_NAME ErlangenMainframeV0-PT-1008-CTLFireability-2024-11
FORMULA_NAME ErlangenMainframeV0-PT-1008-CTLFireability-2024-12
FORMULA_NAME ErlangenMainframeV0-PT-1008-CTLFireability-2024-13
FORMULA_NAME ErlangenMainframeV0-PT-1008-CTLFireability-2024-14
FORMULA_NAME ErlangenMainframeV0-PT-1008-CTLFireability-2024-15
=== Now, execution of the tool begins
BK_START 1779896404958
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-1008
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202604301425
[2026-05-27 15:40:06] [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 15:40:06] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-27 15:40:11] [INFO ] Load time of PNML (sax parser for PT used): 4543 ms
[2026-05-27 15:40:11] [INFO ] Transformed 291 places.
[2026-05-27 15:40:12] [INFO ] Transformed 79030 transitions.
[2026-05-27 15:40:12] [INFO ] Found NUPN structural information;
[2026-05-27 15:40:12] [INFO ] Parsed PT model containing 291 places and 79030 transitions and 1837903 arcs in 5363 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 42 ms.
Support contains 60 out of 291 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 291/291 places, 79030/79030 transitions.
Discarding 74 places :
Symmetric choice reduction at 0 with 74 rule applications. Total rules 74 place count 217 transition count 78956
Iterating global reduction 0 with 74 rules applied. Total rules applied 148 place count 217 transition count 78956
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 189 place count 176 transition count 78915
Iterating global reduction 0 with 41 rules applied. Total rules applied 230 place count 176 transition count 78915
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 233 place count 173 transition count 78912
Iterating global reduction 0 with 3 rules applied. Total rules applied 236 place count 173 transition count 78912
Applied a total of 236 rules in 2458 ms. Remains 173 /291 variables (removed 118) and now considering 78912/79030 (removed 118) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14933581777577011004.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-719375545390836499.kers'
[2026-05-27 15:40:16] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14933581777577011004.kers, --Pflows, --basisKERS=/tmp/petrispot-output-719375545390836499.kers]
Culled 0 columns in 306 ms.
// Phase 1: matrix 78912 rows 173 cols 1837667 entries
Finished phase 1 with 144 SingleSign rule and 3 generalized
[2026-05-27 15:40:18] [INFO ] Computed 26 invariants in 1951 ms
Computed 26 P flows in 1953 ms.
Exported basis to /tmp/petrispot-output-719375545390836499.kers
Total runtime 2200 ms.
[2026-05-27 15:40:18] [INFO ] Implicit Places using invariants in 3066 ms returned []
Implicit Place search using SMT only with invariants took 3120 ms to find 0 implicit places.
Running 78911 sub problems to find dead transitions.
[2026-05-27 15:40:19] [INFO ] Invariant cache hit.
Excessive predecessor constraint size, skipping predecessor.
SMT process timed out in 541130ms, After SMT, problems are : Problem set: 0 solved, 78911 unsolved
Search for dead transitions found 0 dead transitions in 541713ms
Starting structural reductions in LTL mode, iteration 1 : 173/291 places, 78912/79030 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 547833 ms. Remains : 173/291 places, 78912/79030 transitions.
Starting structural reductions in LTL mode, iteration 0 : 173/173 places, 78912/78912 transitions.
Applied a total of 0 rules in 407 ms. Remains 173 /173 variables (removed 0) and now considering 78912/78912 (removed 0) transitions.
[2026-05-27 15:49:21] [INFO ] Invariant cache hit.
[2026-05-27 15:49:21] [INFO ] Implicit Places using invariants in 221 ms returned []
Implicit Place search using SMT only with invariants took 223 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 643 ms. Remains : 173/173 places, 78912/78912 transitions.
Support contains 60 out of 173 places after structural reductions.
[2026-05-27 15:49:34] [INFO ] Flatten gal took : 11126 ms
[2026-05-27 15:49:44] [INFO ] Flatten gal took : 10116 ms
[2026-05-27 15:50:01] [INFO ] Input system was already deterministic with 78912 transitions.
RANDOM walk for 40000 steps (8 resets) in 42783 ms. (0 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 172 ms. (23 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 243 ms. (16 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4003 steps (8 resets) in 363 ms. (10 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4002 steps (8 resets) in 278 ms. (14 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 189 ms. (21 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 185 ms. (21 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4003 steps (8 resets) in 202 ms. (19 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4003 steps (8 resets) in 146 ms. (27 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4003 steps (8 resets) in 154 ms. (25 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 115 ms. (34 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 139 ms. (28 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 134 ms. (29 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4003 steps (8 resets) in 112 ms. (35 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 339 ms. (11 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4002 steps (8 resets) in 146 ms. (27 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4003 steps (8 resets) in 185 ms. (21 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4003 steps (8 resets) in 275 ms. (14 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 165 ms. (24 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4003 steps (8 resets) in 228 ms. (17 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 163 ms. (24 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 162 ms. (24 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 163 ms. (24 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 162 ms. (24 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 140 ms. (28 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 164 ms. (24 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4003 steps (8 resets) in 160 ms. (24 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4003 steps (8 resets) in 161 ms. (24 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 168 ms. (23 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4002 steps (8 resets) in 188 ms. (21 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 181 ms. (22 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 165 ms. (24 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 165 ms. (24 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4003 steps (8 resets) in 140 ms. (28 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4003 steps (8 resets) in 119 ms. (33 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 125 ms. (31 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 121 ms. (32 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 127 ms. (31 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 128 ms. (31 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 141 ms. (28 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 138 ms. (28 steps per ms) remains 95/95 properties
BEST_FIRST walk for 4004 steps (8 resets) in 131 ms. (30 steps per ms) remains 95/95 properties
Interrupted probabilistic random walk after 53469 steps, run timeout after 42004 ms. (steps per millisecond=1 ) properties seen :0 out of 95
Probabilistic random walk after 53469 steps, saw 35707 distinct states, run finished after 42018 ms. (steps per millisecond=1 ) properties seen :0
[2026-05-27 15:50:59] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/60 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 95 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/60 variables, 0/10 constraints. Problems are: Problem set: 0 solved, 95 unsolved
Problem AtomicPropp19 is UNSAT
Problem AtomicPropp25 is UNSAT
Problem AtomicPropp26 is UNSAT
Problem AtomicPropp35 is UNSAT
Problem AtomicPropp82 is UNSAT
Problem AtomicPropp93 is UNSAT
At refinement iteration 2 (OVERLAPS) 76/136 variables, 12/22 constraints. Problems are: Problem set: 6 solved, 89 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 136/79085 variables, and 22 constraints, problems are : Problem set: 6 solved, 89 unsolved in 6380 ms.
Refiners :[Positive P Invariants (semi-flows): 12/16 constraints, Generalized P Invariants (flows): 10/10 constraints, State Equation: 0/173 constraints, PredecessorRefiner: 95/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 6 solved, 89 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/60 variables, 10/10 constraints. Problems are: Problem set: 6 solved, 89 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/60 variables, 0/10 constraints. Problems are: Problem set: 6 solved, 89 unsolved
Problem AtomicPropp68 is UNSAT
At refinement iteration 2 (OVERLAPS) 76/136 variables, 12/22 constraints. Problems are: Problem set: 7 solved, 88 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 136/79085 variables, and 22 constraints, problems are : Problem set: 7 solved, 88 unsolved in 5634 ms.
Refiners :[Positive P Invariants (semi-flows): 12/16 constraints, Generalized P Invariants (flows): 10/10 constraints, State Equation: 0/173 constraints, PredecessorRefiner: 89/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 13726ms problems are : Problem set: 7 solved, 88 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 60 out of 173 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 173/173 places, 78912/78912 transitions.
Graph (trivial) has 84 edges and 173 vertex of which 4 / 173 are part of one of the 2 SCC in 36 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 171 transition count 78895
Reduce places removed 13 places and 0 transitions.
Iterating post reduction 1 with 13 rules applied. Total rules applied 27 place count 158 transition count 78895
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 158 transition count 78877
Deduced a syphon composed of 18 places in 134 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 2 with 36 rules applied. Total rules applied 63 place count 140 transition count 78877
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 65 place count 138 transition count 78860
Iterating global reduction 2 with 2 rules applied. Total rules applied 67 place count 138 transition count 78860
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 138 transition count 78858
Performed 31 Post agglomeration using F-continuation condition.Transition count delta: 31
Deduced a syphon composed of 31 places in 29 ms
Reduce places removed 31 places and 0 transitions.
Iterating global reduction 3 with 62 rules applied. Total rules applied 131 place count 107 transition count 78827
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -20
Deduced a syphon composed of 2 places in 27 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 135 place count 105 transition count 78847
Free-agglomeration rule applied 5 times.
Iterating global reduction 3 with 5 rules applied. Total rules applied 140 place count 105 transition count 78842
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 100 transition count 78840
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 100 transition count 78840
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 100 transition count 78840
Applied a total of 159 rules in 16796 ms. Remains 100 /173 variables (removed 73) and now considering 78840/78912 (removed 72) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 16801 ms. Remains : 100/173 places, 78840/78912 transitions.
RANDOM walk for 40000 steps (8 resets) in 76567 ms. (0 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1031 ms. (3 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1033 ms. (3 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4002 steps (8 resets) in 902 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4004 steps (8 resets) in 921 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4002 steps (8 resets) in 814 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4002 steps (8 resets) in 948 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4002 steps (8 resets) in 726 ms. (5 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4003 steps (8 resets) in 802 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4002 steps (8 resets) in 823 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4004 steps (8 resets) in 847 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4004 steps (8 resets) in 815 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4003 steps (8 resets) in 884 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4004 steps (8 resets) in 661 ms. (6 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4003 steps (8 resets) in 905 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4003 steps (8 resets) in 823 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4004 steps (8 resets) in 719 ms. (5 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4004 steps (8 resets) in 894 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4003 steps (8 resets) in 734 ms. (5 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4004 steps (8 resets) in 932 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4003 steps (8 resets) in 922 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4003 steps (8 resets) in 846 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4004 steps (8 resets) in 770 ms. (5 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4004 steps (8 resets) in 732 ms. (5 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4004 steps (8 resets) in 764 ms. (5 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4002 steps (8 resets) in 893 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4003 steps (8 resets) in 822 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4003 steps (8 resets) in 775 ms. (5 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4003 steps (8 resets) in 798 ms. (5 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4004 steps (8 resets) in 871 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4003 steps (8 resets) in 849 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4002 steps (8 resets) in 868 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4004 steps (8 resets) in 843 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4004 steps (8 resets) in 891 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4001 steps (8 resets) in 527 ms. (7 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4004 steps (8 resets) in 882 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4004 steps (8 resets) in 931 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4004 steps (8 resets) in 909 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4003 steps (8 resets) in 838 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4003 steps (8 resets) in 792 ms. (5 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4002 steps (8 resets) in 887 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4004 steps (8 resets) in 725 ms. (5 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4003 steps (8 resets) in 733 ms. (5 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4004 steps (8 resets) in 737 ms. (5 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4003 steps (8 resets) in 846 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4003 steps (8 resets) in 813 ms. (4 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4002 steps (8 resets) in 785 ms. (5 steps per ms) remains 88/88 properties
BEST_FIRST walk for 4003 steps (8 resets) in 882 ms. (4 steps per ms) remains 88/88 properties
Interrupted probabilistic random walk after 170979 steps, run timeout after 96002 ms. (steps per millisecond=1 ) properties seen :0 out of 88
Probabilistic random walk after 170979 steps, saw 26849 distinct states, run finished after 96003 ms. (steps per millisecond=1 ) properties seen :0
[2026-05-27 15:53:39] [INFO ] Flow matrix only has 78823 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-3044004273954553925.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-18363586728217123387.kers'
[2026-05-27 15:53:39] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3044004273954553925.kers, --Pflows, --basisKERS=/tmp/petrispot-output-18363586728217123387.kers]
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 323 ms.
// Phase 1: matrix 78823 rows 99 cols 1837420 entries
Finished phase 1 with 71 SingleSign rule and 3 generalized
[2026-05-27 15:53:41] [INFO ] Computed 26 invariants in 1948 ms
Computed 26 P flows in 1949 ms.
Exported basis to /tmp/petrispot-output-18363586728217123387.kers
Total runtime 2202 ms.
[2026-05-27 15:53:42] [INFO ] State equation strengthened by 40 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/60 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 88 unsolved
At refinement iteration 1 (OVERLAPS) 6/66 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 88 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 66/78923 variables, and 12 constraints, problems are : Problem set: 0 solved, 88 unsolved in 45545 ms.
Refiners :[Positive P Invariants (semi-flows): 12/16 constraints, Generalized P Invariants (flows): 0/10 constraints, State Equation: 0/100 constraints, ReadFeed: 0/40 constraints, PredecessorRefiner: 88/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 88 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/60 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 88 unsolved
At refinement iteration 1 (OVERLAPS) 6/66 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 88 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 66/78923 variables, and 12 constraints, problems are : Problem set: 0 solved, 88 unsolved in 46188 ms.
Refiners :[Positive P Invariants (semi-flows): 12/16 constraints, Generalized P Invariants (flows): 0/10 constraints, State Equation: 0/100 constraints, ReadFeed: 0/40 constraints, PredecessorRefiner: 88/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 95550ms problems are : Problem set: 0 solved, 88 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 60 out of 100 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 100/100 places, 78840/78840 transitions.
Applied a total of 0 rules in 1770 ms. Remains 100 /100 variables (removed 0) and now considering 78840/78840 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1770 ms. Remains : 100/100 places, 78840/78840 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 100/100 places, 78840/78840 transitions.
Applied a total of 0 rules in 1776 ms. Remains 100 /100 variables (removed 0) and now considering 78840/78840 (removed 0) transitions.
[2026-05-27 15:55:18] [INFO ] Flow matrix only has 78823 transitions (discarded 17 similar events)
[2026-05-27 15:55:18] [INFO ] Invariant cache hit.
[2026-05-27 15:55:18] [INFO ] Implicit Places using invariants in 182 ms returned [85]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 349 ms to find 1 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 99/100 places, 78840/78840 transitions.
Applied a total of 0 rules in 1768 ms. Remains 99 /99 variables (removed 0) and now considering 78840/78840 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 3919 ms. Remains : 99/100 places, 78840/78840 transitions.
Successfully simplified 7 atomic propositions for a total of 16 simplifications.
[2026-05-27 15:55:30] [INFO ] Flatten gal took : 9106 ms
[2026-05-27 15:55:41] [INFO ] Flatten gal took : 10207 ms
[2026-05-27 15:55:55] [INFO ] Input system was already deterministic with 78912 transitions.
Computed a total of 22 stabilizing places and 22 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 173/173 places, 78912/78912 transitions.
Applied a total of 0 rules in 464 ms. Remains 173 /173 variables (removed 0) and now considering 78912/78912 (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-5919899179313407788.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4989073037449564444.kers'
[2026-05-27 15:55:58] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5919899179313407788.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4989073037449564444.kers]
Culled 0 columns in 374 ms.
// Phase 1: matrix 78912 rows 173 cols 1837667 entries
Finished phase 1 with 144 SingleSign rule and 3 generalized
[2026-05-27 15:56:00] [INFO ] Computed 26 invariants in 1749 ms
Computed 26 P flows in 1750 ms.
Exported basis to /tmp/petrispot-output-4989073037449564444.kers
Total runtime 2003 ms.
[2026-05-27 15:56:18] [INFO ] Implicit Places using invariants in 20602 ms returned []
Implicit Place search using SMT only with invariants took 20609 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 21080 ms. Remains : 173/173 places, 78912/78912 transitions.
[2026-05-27 15:56:29] [INFO ] Flatten gal took : 9748 ms
[2026-05-27 15:56:39] [INFO ] Flatten gal took : 9927 ms
[2026-05-27 15:56:53] [INFO ] Input system was already deterministic with 78912 transitions.
[2026-05-27 15:57:04] [INFO ] Flatten gal took : 9627 ms
[2026-05-27 15:57:14] [INFO ] Flatten gal took : 9484 ms
[2026-05-27 15:57:16] [INFO ] Time to serialize gal into /tmp/CTLFireability7413384880173464551.gal : 1933 ms
[2026-05-27 15:57:16] [INFO ] Time to serialize properties into /tmp/CTLFireability6867718346072667273.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/CTLFireability7413384880173464551.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6867718346072667273.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 15:58:04] [INFO ] Flatten gal took : 11048 ms
[2026-05-27 15:58:05] [INFO ] Applying decomposition
[2026-05-27 15:58:15] [INFO ] Flatten gal took : 10342 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/graph16089617781968188878.txt' '-o' '/tmp/graph16089617781968188878.bin' '-w' '/tmp/graph16089617781968188878.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16089617781968188878.bin' '-l' '-1' '-v' '-w' '/tmp/graph16089617781968188878.weights' '-q' '0' '-e' '0.001'
[2026-05-27 15:58:58] [INFO ] Decomposing Gal with order
[2026-05-27 15:58:58] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 15:59:40] [INFO ] Removed a total of 1076144 redundant transitions.
[2026-05-27 15:59:42] [INFO ] Flatten gal took : 25758 ms
[2026-05-27 16:00:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 62 labels/synchronizations in 16725 ms.
[2026-05-27 16:00:02] [INFO ] Time to serialize gal into /tmp/CTLFireability15995587096589708268.gal : 648 ms
[2026-05-27 16:00:02] [INFO ] Time to serialize properties into /tmp/CTLFireability1548568877931176607.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/CTLFireability15995587096589708268.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1548568877931176607.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 : 173/173 places, 78912/78912 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 171 transition count 64332
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 171 transition count 64332
Applied a total of 4 rules in 1784 ms. Remains 171 /173 variables (removed 2) and now considering 64332/78912 (removed 14580) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1757431168061373954.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7272675313990482734.kers'
[2026-05-27 16:00:34] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1757431168061373954.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7272675313990482734.kers]
Culled 0 columns in 335 ms.
// Phase 1: matrix 64332 rows 171 cols 1516907 entries
Finished phase 1 with 142 SingleSign rule and 3 generalized
[2026-05-27 16:00:36] [INFO ] Computed 26 invariants in 1672 ms
Computed 26 P flows in 1690 ms.
Exported basis to /tmp/petrispot-output-7272675313990482734.kers
Total runtime 1906 ms.
[2026-05-27 16:00:43] [INFO ] Implicit Places using invariants in 8641 ms returned []
Implicit Place search using SMT only with invariants took 8649 ms to find 0 implicit places.
Running 64331 sub problems to find dead transitions.
[2026-05-27 16:00:43] [INFO ] Invariant cache hit.
SMT process timed out in 417355ms, After SMT, problems are : Problem set: 0 solved, 64331 unsolved
Search for dead transitions found 0 dead transitions in 417648ms
Starting structural reductions in LTL mode, iteration 1 : 171/173 places, 64332/78912 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 428347 ms. Remains : 171/173 places, 64332/78912 transitions.
[2026-05-27 16:07:50] [INFO ] Flatten gal took : 8849 ms
[2026-05-27 16:07:59] [INFO ] Flatten gal took : 8612 ms
[2026-05-27 16:08:11] [INFO ] Input system was already deterministic with 64332 transitions.
[2026-05-27 16:08:22] [INFO ] Flatten gal took : 9041 ms
[2026-05-27 16:08:30] [INFO ] Flatten gal took : 8585 ms
[2026-05-27 16:08:32] [INFO ] Time to serialize gal into /tmp/CTLFireability6803768889060890005.gal : 1341 ms
[2026-05-27 16:08:32] [INFO ] Time to serialize properties into /tmp/CTLFireability17375315866305206937.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/CTLFireability6803768889060890005.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17375315866305206937.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 16:09:12] [INFO ] Flatten gal took : 9659 ms
[2026-05-27 16:09:12] [INFO ] Applying decomposition
[2026-05-27 16:09:21] [INFO ] Flatten gal took : 8841 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/graph11881845834058535760.txt' '-o' '/tmp/graph11881845834058535760.bin' '-w' '/tmp/graph11881845834058535760.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11881845834058535760.bin' '-l' '-1' '-v' '-w' '/tmp/graph11881845834058535760.weights' '-q' '0' '-e' '0.001'
[2026-05-27 16:09:52] [INFO ] Decomposing Gal with order
[2026-05-27 16:09:52] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 16:10:21] [INFO ] Removed a total of 799131 redundant transitions.
[2026-05-27 16:10:23] [INFO ] Flatten gal took : 24296 ms
[2026-05-27 16:10:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 52 labels/synchronizations in 8490 ms.
[2026-05-27 16:10:33] [INFO ] Time to serialize gal into /tmp/CTLFireability15410973790016461228.gal : 249 ms
[2026-05-27 16:10:33] [INFO ] Time to serialize properties into /tmp/CTLFireability6662498469680151728.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/CTLFireability15410973790016461228.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6662498469680151728.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 : 173/173 places, 78912/78912 transitions.
Applied a total of 0 rules in 380 ms. Remains 173 /173 variables (removed 0) and now considering 78912/78912 (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-11346313572717010277.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14044931009389393623.kers'
[2026-05-27 16:11:03] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11346313572717010277.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14044931009389393623.kers]
Culled 0 columns in 316 ms.
// Phase 1: matrix 78912 rows 173 cols 1837667 entries
Finished phase 1 with 144 SingleSign rule and 3 generalized
[2026-05-27 16:11:06] [INFO ] Computed 26 invariants in 1943 ms
Computed 26 P flows in 1944 ms.
Exported basis to /tmp/petrispot-output-14044931009389393623.kers
Total runtime 2350 ms.
[2026-05-27 16:11:15] [INFO ] Implicit Places using invariants in 11713 ms returned []
Implicit Place search using SMT only with invariants took 11715 ms to find 0 implicit places.
Running 78911 sub problems to find dead transitions.
[2026-05-27 16:11:16] [INFO ] Invariant cache hit.
SMT process timed out in 593539ms, After SMT, problems are : Problem set: 0 solved, 78911 unsolved
Search for dead transitions found 0 dead transitions in 594194ms
Finished structural reductions in LTL mode , in 1 iterations and 606678 ms. Remains : 173/173 places, 78912/78912 transitions.
[2026-05-27 16:21:20] [INFO ] Flatten gal took : 9084 ms
[2026-05-27 16:21:29] [INFO ] Flatten gal took : 9521 ms
[2026-05-27 16:21:45] [INFO ] Input system was already deterministic with 78912 transitions.
[2026-05-27 16:21:58] [INFO ] Flatten gal took : 10360 ms
[2026-05-27 16:22:09] [INFO ] Flatten gal took : 10731 ms
[2026-05-27 16:22:10] [INFO ] Time to serialize gal into /tmp/CTLFireability12041340182326634401.gal : 1837 ms
[2026-05-27 16:22:10] [INFO ] Time to serialize properties into /tmp/CTLFireability2780120216913423299.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/CTLFireability12041340182326634401.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2780120216913423299.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 16:22:52] [INFO ] Flatten gal took : 10319 ms
[2026-05-27 16:22:52] [INFO ] Applying decomposition
[2026-05-27 16:23:01] [INFO ] Flatten gal took : 9416 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/graph5458280951902236859.txt' '-o' '/tmp/graph5458280951902236859.bin' '-w' '/tmp/graph5458280951902236859.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5458280951902236859.bin' '-l' '-1' '-v' '-w' '/tmp/graph5458280951902236859.weights' '-q' '0' '-e' '0.001'
[2026-05-27 16:23:33] [INFO ] Decomposing Gal with order
[2026-05-27 16:23:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 16:24:04] [INFO ] Removed a total of 1067403 redundant transitions.
[2026-05-27 16:24:07] [INFO ] Flatten gal took : 24311 ms
[2026-05-27 16:24:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 54 labels/synchronizations in 14980 ms.
[2026-05-27 16:24:25] [INFO ] Time to serialize gal into /tmp/CTLFireability2291999671636572279.gal : 623 ms
[2026-05-27 16:24:25] [INFO ] Time to serialize properties into /tmp/CTLFireability16201882292746711977.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/CTLFireability2291999671636572279.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16201882292746711977.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 : 173/173 places, 78912/78912 transitions.
Applied a total of 0 rules in 978 ms. Remains 173 /173 variables (removed 0) and now considering 78912/78912 (removed 0) transitions.
[2026-05-27 16:24:56] [INFO ] Invariant cache hit.
[2026-05-27 16:24:59] [INFO ] Implicit Places using invariants in 3616 ms returned []
Implicit Place search using SMT only with invariants took 3617 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 4615 ms. Remains : 173/173 places, 78912/78912 transitions.
[2026-05-27 16:25:10] [INFO ] Flatten gal took : 9347 ms
[2026-05-27 16:25:20] [INFO ] Flatten gal took : 10109 ms
[2026-05-27 16:25:35] [INFO ] Input system was already deterministic with 78912 transitions.
[2026-05-27 16:25:47] [INFO ] Flatten gal took : 10658 ms
[2026-05-27 16:25:58] [INFO ] Flatten gal took : 10122 ms
[2026-05-27 16:25:59] [INFO ] Time to serialize gal into /tmp/CTLFireability3812989419524282360.gal : 1784 ms
[2026-05-27 16:25:59] [INFO ] Time to serialize properties into /tmp/CTLFireability7088356628169964909.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/CTLFireability3812989419524282360.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7088356628169964909.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 16:26:41] [INFO ] Flatten gal took : 10399 ms
[2026-05-27 16:26:41] [INFO ] Applying decomposition
[2026-05-27 16:26:51] [INFO ] Flatten gal took : 9900 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/graph1081202468937871177.txt' '-o' '/tmp/graph1081202468937871177.bin' '-w' '/tmp/graph1081202468937871177.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1081202468937871177.bin' '-l' '-1' '-v' '-w' '/tmp/graph1081202468937871177.weights' '-q' '0' '-e' '0.001'
[2026-05-27 16:27:24] [INFO ] Decomposing Gal with order
[2026-05-27 16:27:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-27 16:27:55] [INFO ] Removed a total of 1067395 redundant transitions.
[2026-05-27 16:27:58] [INFO ] Flatten gal took : 25657 ms
[2026-05-27 16:28:17] [INFO ] Fuse similar labels procedure discarded/fused a total of 54 labels/synchronizations in 15864 ms.
[2026-05-27 16:28:18] [INFO ] Time to serialize gal into /tmp/CTLFireability15265296626426739473.gal : 737 ms
[2026-05-27 16:28:18] [INFO ] Time to serialize properties into /tmp/CTLFireability17904018809954587179.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/CTLFireability15265296626426739473.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17904018809954587179.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 173/173 places, 78912/78912 transitions.
Graph (trivial) has 103 edges and 173 vertex of which 4 / 173 are part of one of the 2 SCC in 28 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 170 transition count 78897
Reduce places removed 12 places and 0 transitions.
Iterating post reduction 1 with 12 rules applied. Total rules applied 25 place count 158 transition count 78897
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 158 transition count 78879
Deduced a syphon composed of 18 places in 439 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 2 with 36 rules applied. Total rules applied 61 place count 140 transition count 78879
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 81 place count 120 transition count 52619
Ensure Unique test removed 10 places
Iterating global reduction 2 with 30 rules applied. Total rules applied 111 place count 110 transition count 52619
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 113 place count 110 transition count 52617
Discarding 8 places :
Symmetric choice reduction at 3 with 8 rule applications. Total rules 121 place count 102 transition count 2177
Iterating global reduction 3 with 8 rules applied. Total rules applied 129 place count 102 transition count 2177
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 131 place count 100 transition count 2173
Iterating global reduction 3 with 2 rules applied. Total rules applied 133 place count 100 transition count 2173
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 0 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 199 place count 67 transition count 2140
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 205 place count 67 transition count 2134
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Deduced a syphon composed of 6 places in 0 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 3 with 12 rules applied. Total rules applied 217 place count 61 transition count 2128
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 224 place count 61 transition count 2128
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 225 place count 60 transition count 2127
Applied a total of 225 rules in 32766 ms. Remains 60 /173 variables (removed 113) and now considering 2127/78912 (removed 76785) transitions.
[2026-05-27 16:29:21] [INFO ] Flow matrix only has 2115 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-9513921980000709266.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11626089470525903596.kers'
[2026-05-27 16:29:21] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9513921980000709266.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11626089470525903596.kers]
Normalized transition count is 2114 out of 2115 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 8 ms.
// Phase 1: matrix 2114 rows 59 cols 45288 entries
Finished phase 1 with 44 SingleSign rule and 0 generalized
[2026-05-27 16:29:21] [INFO ] Computed 16 invariants in 24 ms
Computed 16 P flows in 25 ms.
Exported basis to /tmp/petrispot-output-11626089470525903596.kers
Total runtime 32 ms.
[2026-05-27 16:29:22] [INFO ] Implicit Places using invariants in 1006 ms returned []
[2026-05-27 16:29:22] [INFO ] Flow matrix only has 2115 transitions (discarded 12 similar events)
[2026-05-27 16:29:22] [INFO ] Invariant cache hit.
[2026-05-27 16:29:23] [INFO ] State equation strengthened by 1026 read => feed constraints.
[2026-05-27 16:29:24] [INFO ] Implicit Places using invariants and state equation in 2230 ms returned []
Implicit Place search using SMT with State Equation took 3238 ms to find 0 implicit places.
[2026-05-27 16:29:25] [INFO ] Redundant transitions in 356 ms returned []
Running 2102 sub problems to find dead transitions.
[2026-05-27 16:29:25] [INFO ] Flow matrix only has 2115 transitions (discarded 12 similar events)
[2026-05-27 16:29:25] [INFO ] Invariant cache hit.
[2026-05-27 16:29:25] [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, 2102 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 54/2175 variables, and 10 constraints, problems are : Problem set: 0 solved, 2102 unsolved in 30080 ms.
Refiners :[Positive P Invariants (semi-flows): 10/16 constraints, State Equation: 0/60 constraints, ReadFeed: 0/1026 constraints, PredecessorRefiner: 2102/21 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2102 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/54 variables, 10/10 constraints. Problems are: Problem set: 0 solved, 2102 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 54/2175 variables, and 10 constraints, problems are : Problem set: 0 solved, 2102 unsolved in 30055 ms.
Refiners :[Positive P Invariants (semi-flows): 10/16 constraints, State Equation: 0/60 constraints, ReadFeed: 0/1026 constraints, PredecessorRefiner: 2081/21 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 63924ms problems are : Problem set: 0 solved, 2102 unsolved
Search for dead transitions found 0 dead transitions in 64043ms
Starting structural reductions in SI_CTL mode, iteration 1 : 60/173 places, 2127/78912 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 100465 ms. Remains : 60/173 places, 2127/78912 transitions.
[2026-05-27 16:30:29] [INFO ] Flatten gal took : 307 ms
[2026-05-27 16:30:29] [INFO ] Flatten gal took : 281 ms
[2026-05-27 16:30:30] [INFO ] Input system was already deterministic with 2127 transitions.
[2026-05-27 16:30:31] [INFO ] Flatten gal took : 434 ms
[2026-05-27 16:30:31] [INFO ] Flatten gal took : 373 ms
[2026-05-27 16:30:31] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8934761386893100484.gal : 47 ms
[2026-05-27 16:30:31] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16545936294082978150.prop : 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-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality8934761386893100484.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality16545936294082978150.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
RANDOM walk for 40000 steps (8 resets) in 7052 ms. (5 steps per ms) remains 1/1 properties
BEST_FIRST walk for 40003 steps (8 resets) in 725 ms. (55 steps per ms) remains 1/1 properties
Loading property file /tmp/ReachabilityCardinality16545936294082978150.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 8
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :8 after 128
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :128 after 2048
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :2048 after 6712
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :6712 after 6832
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :6832 after 7048
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :7048 after 7496
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :7496 after 33562
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :33562 after 34178
SDD proceeding with computation,1 properties remain. new max is 2048
SDD size :34178 after 75748
Interrupted probabilistic random walk after 680123 steps, run timeout after 6001 ms. (steps per millisecond=113 ) properties seen :0 out of 1
Probabilistic random walk after 680123 steps, saw 108066 distinct states, run finished after 6001 ms. (steps per millisecond=113 ) properties seen :0
[2026-05-27 16:30:38] [INFO ] Flow matrix only has 2115 transitions (discarded 12 similar events)
[2026-05-27 16:30:38] [INFO ] Invariant cache hit.
[2026-05-27 16:30:38] [INFO ] State equation strengthened by 1026 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/12 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 35/47 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/47 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 2105/2152 variables, 47/59 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2152 variables, 1024/1083 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/2152 variables, 0/1083 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (OVERLAPS) 22/2174 variables, 13/1096 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/2174 variables, 4/1100 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2174 variables, 2/1102 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/2174 variables, 0/1102 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (OVERLAPS) 0/2174 variables, 0/1102 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Real declared 2174/2175 variables, and 1102 constraints, problems are : Problem set: 0 solved, 1 unsolved in 1383 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, State Equation: 60/60 constraints, ReadFeed: 1026/1026 constraints, PredecessorRefiner: 1/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/12 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 35/47 variables, 12/12 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/47 variables, 0/12 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 2105/2152 variables, 47/59 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2152 variables, 1024/1083 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/2152 variables, 0/1083 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (OVERLAPS) 22/2174 variables, 13/1096 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/2174 variables, 4/1100 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2174 variables, 2/1102 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/2174 variables, 0/1102 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 10 (OVERLAPS) 0/2174 variables, 0/1102 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Int declared 2174/2175 variables, and 1102 constraints, problems are : Problem set: 0 solved, 1 unsolved in 1353 ms.
Refiners :[Positive P Invariants (semi-flows): 16/16 constraints, State Equation: 60/60 constraints, ReadFeed: 1026/1026 constraints, PredecessorRefiner: 1/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 2780ms problems are : Problem set: 0 solved, 1 unsolved
Finished Parikh walk after 38 steps, including 0 resets, run visited all 1 properties in 3 ms. (steps per millisecond=12 )
FORMULA ErlangenMainframeV0-PT-1008-CTLFireability-2024-04 TRUE TECHNIQUES PARIKH_WALK
Parikh walk visited 1 properties in 38 ms.
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 173/173 places, 78912/78912 transitions.
Applied a total of 0 rules in 514 ms. Remains 173 /173 variables (removed 0) and now considering 78912/78912 (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-5046429271619405279.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3542586921609616895.kers'
[2026-05-27 16:30:42] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5046429271619405279.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3542586921609616895.kers]
Culled 0 columns in 323 ms.
// Phase 1: matrix 78912 rows 173 cols 1837667 entries
Finished phase 1 with 144 SingleSign rule and 3 generalized
[2026-05-27 16:30:44] [INFO ] Computed 26 invariants in 1921 ms
Computed 26 P flows in 1922 ms.
Exported basis to /tmp/petrispot-output-3542586921609616895.kers
Total runtime 2168 ms.
[2026-05-27 16:30:44] [INFO ] Implicit Places using invariants in 2614 ms returned []
Implicit Place search using SMT only with invariants took 2615 ms to find 0 implicit places.
Running 78911 sub problems to find dead transitions.
[2026-05-27 16:30:46] [INFO ] Invariant cache hit.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ 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-1008"
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-1008, 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-177955740600482"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ErlangenMainframeV0-PT-1008.tgz
mv ErlangenMainframeV0-PT-1008 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 ;