About the Execution of ITS-Tools for Echo-PT-d03r05
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4951.228 | 3600000.00 | 3752453.00 | 10247.40 | ???T???????FTFT? | 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-177955740400177.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 Echo-PT-d03r05, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r114-smll-177955740400177
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 6.0K Mar 7 05:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Mar 7 05:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Mar 7 05:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Mar 7 05:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 3 18:30 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 3 18:30 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K Mar 15 09:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Mar 15 09:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 15 09:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 15 09:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.0K Mar 7 05:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 64K Mar 7 05:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Mar 7 05:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 123K Mar 7 05:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 15 09:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 15 09:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 716K 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 Echo-PT-d03r05-CTLCardinality-2024-00
FORMULA_NAME Echo-PT-d03r05-CTLCardinality-2024-01
FORMULA_NAME Echo-PT-d03r05-CTLCardinality-2024-02
FORMULA_NAME Echo-PT-d03r05-CTLCardinality-2024-03
FORMULA_NAME Echo-PT-d03r05-CTLCardinality-2024-04
FORMULA_NAME Echo-PT-d03r05-CTLCardinality-2024-05
FORMULA_NAME Echo-PT-d03r05-CTLCardinality-2024-06
FORMULA_NAME Echo-PT-d03r05-CTLCardinality-2024-07
FORMULA_NAME Echo-PT-d03r05-CTLCardinality-2024-08
FORMULA_NAME Echo-PT-d03r05-CTLCardinality-2024-09
FORMULA_NAME Echo-PT-d03r05-CTLCardinality-2024-10
FORMULA_NAME Echo-PT-d03r05-CTLCardinality-2024-11
FORMULA_NAME Echo-PT-d03r05-CTLCardinality-2024-12
FORMULA_NAME Echo-PT-d03r05-CTLCardinality-2024-13
FORMULA_NAME Echo-PT-d03r05-CTLCardinality-2024-14
FORMULA_NAME Echo-PT-d03r05-CTLCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1779714277328
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Echo-PT-d03r05
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202604301425
[2026-05-25 13:04:39] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-25 13:04:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-25 13:04:40] [INFO ] Load time of PNML (sax parser for PT used): 479 ms
[2026-05-25 13:04:40] [INFO ] Transformed 1445 places.
[2026-05-25 13:04:40] [INFO ] Transformed 1190 transitions.
[2026-05-25 13:04:40] [INFO ] Found NUPN structural information;
[2026-05-25 13:04:40] [INFO ] Parsed PT model containing 1445 places and 1190 transitions and 8260 arcs in 737 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 27 ms.
Initial state reduction rules removed 1 formulas.
FORMULA Echo-PT-d03r05-CTLCardinality-2024-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 90 out of 1445 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1445/1445 places, 1190/1190 transitions.
Reduce places removed 117 places and 0 transitions.
Iterating post reduction 0 with 117 rules applied. Total rules applied 117 place count 1328 transition count 1190
Applied a total of 117 rules in 269 ms. Remains 1328 /1445 variables (removed 117) and now considering 1190/1190 (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-7431487954214547241.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8508961226864508743.kers'
[2026-05-25 13:04:41] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7431487954214547241.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8508961226864508743.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 1190 rows 1328 cols 7702 entries
Finished phase 1 with 507 SingleSign rule and 213 generalized
[2026-05-25 13:04:43] [INFO ] Computed 608 invariants in 1956 ms
Computed 608 P flows in 1958 ms.
Exported basis to /tmp/petrispot-output-8508961226864508743.kers
Total runtime 1972 ms.
[2026-05-25 13:05:19] [INFO ] Performed 620/1328 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 13:05:49] [INFO ] Performed 981/1328 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-05-25 13:05:59] [INFO ] Implicit Places using invariants in 78170 ms returned []
[2026-05-25 13:05:59] [INFO ] Invariant cache hit.
[2026-05-25 13:06:16] [INFO ] Implicit Places using invariants and state equation in 17032 ms returned []
Implicit Place search using SMT with State Equation took 95284 ms to find 0 implicit places.
Running 1189 sub problems to find dead transitions.
[2026-05-25 13:06:16] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/1319 variables, 1319/1319 constraints. Problems are: Problem set: 0 solved, 1189 unsolved
SMT process timed out in 31347ms, After SMT, problems are : Problem set: 0 solved, 1189 unsolved
Search for dead transitions found 0 dead transitions in 31405ms
Starting structural reductions in LTL mode, iteration 1 : 1328/1445 places, 1190/1190 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 127054 ms. Remains : 1328/1445 places, 1190/1190 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1328/1328 places, 1190/1190 transitions.
Applied a total of 0 rules in 65 ms. Remains 1328 /1328 variables (removed 0) and now considering 1190/1190 (removed 0) transitions.
[2026-05-25 13:06:47] [INFO ] Invariant cache hit.
[2026-05-25 13:07:21] [INFO ] Performed 640/1328 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 13:07:51] [INFO ] Performed 997/1328 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-05-25 13:07:59] [INFO ] Implicit Places using invariants in 71999 ms returned []
[2026-05-25 13:07:59] [INFO ] Invariant cache hit.
[2026-05-25 13:08:16] [INFO ] Implicit Places using invariants and state equation in 17085 ms returned []
Implicit Place search using SMT with State Equation took 89098 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 89165 ms. Remains : 1328/1328 places, 1190/1190 transitions.
Support contains 90 out of 1328 places after structural reductions.
[2026-05-25 13:08:17] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2026-05-25 13:08:17] [INFO ] Flatten gal took : 321 ms
[2026-05-25 13:08:17] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
FORMULA Echo-PT-d03r05-CTLCardinality-2024-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Echo-PT-d03r05-CTLCardinality-2024-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Echo-PT-d03r05-CTLCardinality-2024-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2026-05-25 13:08:17] [INFO ] Flatten gal took : 201 ms
[2026-05-25 13:08:18] [INFO ] Input system was already deterministic with 1190 transitions.
Support contains 59 out of 1328 places (down from 90) after GAL structural reductions.
RANDOM walk for 35347 steps (138 resets) in 3073 ms. (11 steps per ms) remains 0/37 properties
[2026-05-25 13:08:19] [INFO ] Flatten gal took : 78 ms
[2026-05-25 13:08:19] [INFO ] Flatten gal took : 102 ms
[2026-05-25 13:08:19] [INFO ] Input system was already deterministic with 1190 transitions.
Computed a total of 1328 stabilizing places and 1190 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 1328 transition count 1190
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Starting structural reductions in LTL mode, iteration 0 : 1328/1328 places, 1190/1190 transitions.
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 0 with 8 rules applied. Total rules applied 8 place count 1320 transition count 1190
Applied a total of 8 rules in 68 ms. Remains 1320 /1328 variables (removed 8) and now considering 1190/1190 (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-11551605314210972714.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6077627677795776256.kers'
[2026-05-25 13:08:19] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11551605314210972714.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6077627677795776256.kers]
Culled 0 columns in 2 ms.
// Phase 1: matrix 1190 rows 1320 cols 7665 entries
Finished phase 1 with 514 SingleSign rule and 206 generalized
[2026-05-25 13:08:21] [INFO ] Computed 600 invariants in 1914 ms
Computed 600 P flows in 1915 ms.
Exported basis to /tmp/petrispot-output-6077627677795776256.kers
Total runtime 1931 ms.
[2026-05-25 13:09:03] [INFO ] Performed 403/1320 implicitness test of which 0 returned IMPLICIT in 35 seconds.
[2026-05-25 13:09:33] [INFO ] Performed 514/1320 implicitness test of which 0 returned IMPLICIT in 65 seconds.
[2026-05-25 13:10:03] [INFO ] Performed 596/1320 implicitness test of which 0 returned IMPLICIT in 95 seconds.
[2026-05-25 13:10:45] [INFO ] Performed 645/1320 implicitness test of which 0 returned IMPLICIT in 138 seconds.
[2026-05-25 13:10:45] [INFO ] Timeout of Implicit test with SMT after 138 seconds.
[2026-05-25 13:10:45] [INFO ] Implicit Places using invariants in 145844 ms returned []
[2026-05-25 13:10:45] [INFO ] Invariant cache hit.
[2026-05-25 13:11:16] [INFO ] Implicit Places using invariants and state equation in 30952 ms returned []
Implicit Place search using SMT with State Equation took 176801 ms to find 0 implicit places.
Running 1189 sub problems to find dead transitions.
[2026-05-25 13:11:16] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/1319 variables, 1319/1319 constraints. Problems are: Problem set: 0 solved, 1189 unsolved
SMT process timed out in 30791ms, After SMT, problems are : Problem set: 0 solved, 1189 unsolved
Search for dead transitions found 0 dead transitions in 30807ms
Starting structural reductions in LTL mode, iteration 1 : 1320/1328 places, 1190/1190 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 207691 ms. Remains : 1320/1328 places, 1190/1190 transitions.
[2026-05-25 13:11:47] [INFO ] Flatten gal took : 65 ms
[2026-05-25 13:11:47] [INFO ] Flatten gal took : 71 ms
[2026-05-25 13:11:47] [INFO ] Input system was already deterministic with 1190 transitions.
[2026-05-25 13:11:47] [INFO ] Flatten gal took : 68 ms
[2026-05-25 13:11:48] [INFO ] Flatten gal took : 67 ms
[2026-05-25 13:11:48] [INFO ] Time to serialize gal into /tmp/CTLCardinality2893355417398069156.gal : 47 ms
[2026-05-25 13:11:48] [INFO ] Time to serialize properties into /tmp/CTLCardinality2927690744551451538.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/CTLCardinality2893355417398069156.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2927690744551451538.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 13:12:18] [INFO ] Flatten gal took : 64 ms
[2026-05-25 13:12:18] [INFO ] Applying decomposition
[2026-05-25 13:12:18] [INFO ] Flatten gal took : 63 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/graph10595273362552494631.txt' '-o' '/tmp/graph10595273362552494631.bin' '-w' '/tmp/graph10595273362552494631.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10595273362552494631.bin' '-l' '-1' '-v' '-w' '/tmp/graph10595273362552494631.weights' '-q' '0' '-e' '0.001'
[2026-05-25 13:12:18] [INFO ] Decomposing Gal with order
[2026-05-25 13:12:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 13:12:19] [INFO ] Removed a total of 1925 redundant transitions.
[2026-05-25 13:12:19] [INFO ] Flatten gal took : 331 ms
[2026-05-25 13:12:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 288 labels/synchronizations in 150 ms.
[2026-05-25 13:12:19] [INFO ] Time to serialize gal into /tmp/CTLCardinality9968067475764805994.gal : 32 ms
[2026-05-25 13:12:19] [INFO ] Time to serialize properties into /tmp/CTLCardinality9148459512801759105.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality9968067475764805994.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9148459512801759105.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1328/1328 places, 1190/1190 transitions.
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 0 with 7 rules applied. Total rules applied 7 place count 1321 transition count 1190
Applied a total of 7 rules in 26 ms. Remains 1321 /1328 variables (removed 7) and now considering 1190/1190 (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-6357465987203311386.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13632319688699069398.kers'
[2026-05-25 13:12:49] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6357465987203311386.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13632319688699069398.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 1190 rows 1321 cols 7670 entries
Finished phase 1 with 510 SingleSign rule and 210 generalized
[2026-05-25 13:12:51] [INFO ] Computed 601 invariants in 1877 ms
Computed 601 P flows in 1878 ms.
Exported basis to /tmp/petrispot-output-13632319688699069398.kers
Total runtime 1885 ms.
[2026-05-25 13:13:41] [INFO ] Performed 520/1321 implicitness test of which 0 returned IMPLICIT in 45 seconds.
[2026-05-25 13:14:11] [INFO ] Performed 596/1321 implicitness test of which 0 returned IMPLICIT in 75 seconds.
[2026-05-25 13:14:55] [INFO ] Performed 655/1321 implicitness test of which 0 returned IMPLICIT in 119 seconds.
[2026-05-25 13:15:25] [INFO ] Performed 932/1321 implicitness test of which 0 returned IMPLICIT in 149 seconds.
[2026-05-25 13:15:25] [INFO ] Timeout of Implicit test with SMT after 149 seconds.
[2026-05-25 13:15:25] [INFO ] Implicit Places using invariants in 155457 ms returned []
[2026-05-25 13:15:25] [INFO ] Invariant cache hit.
[2026-05-25 13:15:55] [INFO ] Implicit Places using invariants and state equation in 30592 ms returned []
Implicit Place search using SMT with State Equation took 186071 ms to find 0 implicit places.
Running 1189 sub problems to find dead transitions.
[2026-05-25 13:15:55] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/1319 variables, 1319/1319 constraints. Problems are: Problem set: 0 solved, 1189 unsolved
SMT process timed out in 30532ms, After SMT, problems are : Problem set: 0 solved, 1189 unsolved
Search for dead transitions found 0 dead transitions in 30540ms
Starting structural reductions in LTL mode, iteration 1 : 1321/1328 places, 1190/1190 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 216650 ms. Remains : 1321/1328 places, 1190/1190 transitions.
[2026-05-25 13:16:26] [INFO ] Flatten gal took : 75 ms
[2026-05-25 13:16:26] [INFO ] Flatten gal took : 85 ms
[2026-05-25 13:16:26] [INFO ] Input system was already deterministic with 1190 transitions.
[2026-05-25 13:16:26] [INFO ] Flatten gal took : 75 ms
[2026-05-25 13:16:26] [INFO ] Flatten gal took : 76 ms
[2026-05-25 13:16:26] [INFO ] Time to serialize gal into /tmp/CTLCardinality17355346675929551856.gal : 19 ms
[2026-05-25 13:16:26] [INFO ] Time to serialize properties into /tmp/CTLCardinality7896382382983231649.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/CTLCardinality17355346675929551856.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7896382382983231649.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 13:16:57] [INFO ] Flatten gal took : 47 ms
[2026-05-25 13:16:57] [INFO ] Applying decomposition
[2026-05-25 13:16:57] [INFO ] Flatten gal took : 49 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/graph5753602610610412258.txt' '-o' '/tmp/graph5753602610610412258.bin' '-w' '/tmp/graph5753602610610412258.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5753602610610412258.bin' '-l' '-1' '-v' '-w' '/tmp/graph5753602610610412258.weights' '-q' '0' '-e' '0.001'
[2026-05-25 13:16:57] [INFO ] Decomposing Gal with order
[2026-05-25 13:16:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 13:16:57] [INFO ] Removed a total of 1931 redundant transitions.
[2026-05-25 13:16:57] [INFO ] Flatten gal took : 138 ms
[2026-05-25 13:16:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 299 labels/synchronizations in 86 ms.
[2026-05-25 13:16:57] [INFO ] Time to serialize gal into /tmp/CTLCardinality422392568468176914.gal : 22 ms
[2026-05-25 13:16:57] [INFO ] Time to serialize properties into /tmp/CTLCardinality5907476183830652195.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality422392568468176914.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5907476183830652195.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 -...261
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 1328/1328 places, 1190/1190 transitions.
Graph (complete) has 4797 edges and 1328 vertex of which 1313 are kept as prefixes of interest. Removing 15 places using SCC suffix rule.23 ms
Discarding 15 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Reduce places removed 1 places and 1 transitions.
Applied a total of 1 rules in 173 ms. Remains 1312 /1328 variables (removed 16) and now considering 1188/1190 (removed 2) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4440715705627773639.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-12746811686350451943.kers'
[2026-05-25 13:17:27] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4440715705627773639.kers, --Pflows, --basisKERS=/tmp/petrispot-output-12746811686350451943.kers]
Culled 0 columns in 5 ms.
// Phase 1: matrix 1188 rows 1312 cols 7614 entries
Finished phase 1 with 507 SingleSign rule and 211 generalized
[2026-05-25 13:17:30] [INFO ] Computed 594 invariants in 2126 ms
Computed 594 P flows in 2127 ms.
Exported basis to /tmp/petrispot-output-12746811686350451943.kers
Total runtime 2136 ms.
[2026-05-25 13:18:07] [INFO ] Performed 477/1312 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 13:18:47] [INFO ] Performed 640/1312 implicitness test of which 1 returned IMPLICIT in 71 seconds.
[2026-05-25 13:19:17] [INFO ] Performed 737/1312 implicitness test of which 3 returned IMPLICIT in 101 seconds.
[2026-05-25 13:19:47] [INFO ] Performed 913/1312 implicitness test of which 6 returned IMPLICIT in 131 seconds.
[2026-05-25 13:20:00] [INFO ] Implicit Places using invariants in 152301 ms returned [615, 716, 737, 742, 763, 864]
Discarding 6 places :
Implicit Place search using SMT only with invariants took 152308 ms to find 6 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1306/1328 places, 1188/1190 transitions.
Applied a total of 0 rules in 94 ms. Remains 1306 /1306 variables (removed 0) and now considering 1188/1188 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 152575 ms. Remains : 1306/1328 places, 1188/1190 transitions.
[2026-05-25 13:20:00] [INFO ] Flatten gal took : 45 ms
[2026-05-25 13:20:00] [INFO ] Flatten gal took : 76 ms
[2026-05-25 13:20:00] [INFO ] Input system was already deterministic with 1188 transitions.
[2026-05-25 13:20:00] [INFO ] Flatten gal took : 76 ms
[2026-05-25 13:20:00] [INFO ] Flatten gal took : 84 ms
[2026-05-25 13:20:00] [INFO ] Time to serialize gal into /tmp/CTLCardinality7089983414603877708.gal : 17 ms
[2026-05-25 13:20:00] [INFO ] Time to serialize properties into /tmp/CTLCardinality7648821399698562133.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality7089983414603877708.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7648821399698562133.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 13:20:31] [INFO ] Flatten gal took : 85 ms
[2026-05-25 13:20:31] [INFO ] Applying decomposition
[2026-05-25 13:20:31] [INFO ] Flatten gal took : 80 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/graph14973683627872303672.txt' '-o' '/tmp/graph14973683627872303672.bin' '-w' '/tmp/graph14973683627872303672.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph14973683627872303672.bin' '-l' '-1' '-v' '-w' '/tmp/graph14973683627872303672.weights' '-q' '0' '-e' '0.001'
[2026-05-25 13:20:31] [INFO ] Decomposing Gal with order
[2026-05-25 13:20:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 13:20:31] [INFO ] Removed a total of 1925 redundant transitions.
[2026-05-25 13:20:31] [INFO ] Flatten gal took : 172 ms
[2026-05-25 13:20:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 384 labels/synchronizations in 57 ms.
[2026-05-25 13:20:31] [INFO ] Time to serialize gal into /tmp/CTLCardinality3035812985635614766.gal : 30 ms
[2026-05-25 13:20:31] [INFO ] Time to serialize properties into /tmp/CTLCardinality10422515619051891900.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/CTLCardinality3035812985635614766.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10422515619051891900.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1328/1328 places, 1190/1190 transitions.
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 0 with 7 rules applied. Total rules applied 7 place count 1321 transition count 1190
Applied a total of 7 rules in 57 ms. Remains 1321 /1328 variables (removed 7) and now considering 1190/1190 (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-10392806043932190496.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2629456423666835718.kers'
[2026-05-25 13:21:02] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10392806043932190496.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2629456423666835718.kers]
Culled 0 columns in 2 ms.
// Phase 1: matrix 1190 rows 1321 cols 7670 entries
Finished phase 1 with 513 SingleSign rule and 207 generalized
[2026-05-25 13:21:03] [INFO ] Computed 601 invariants in 1695 ms
Computed 601 P flows in 1696 ms.
Exported basis to /tmp/petrispot-output-2629456423666835718.kers
Total runtime 1704 ms.
[2026-05-25 13:21:38] [INFO ] Performed 361/1321 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 13:22:09] [INFO ] Performed 603/1321 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-05-25 13:22:44] [INFO ] Performed 612/1321 implicitness test of which 0 returned IMPLICIT in 95 seconds.
[2026-05-25 13:23:21] [INFO ] Performed 640/1321 implicitness test of which 0 returned IMPLICIT in 132 seconds.
[2026-05-25 13:23:21] [INFO ] Timeout of Implicit test with SMT after 132 seconds.
[2026-05-25 13:23:21] [INFO ] Implicit Places using invariants in 139647 ms returned []
[2026-05-25 13:23:21] [INFO ] Invariant cache hit.
[2026-05-25 13:23:50] [INFO ] Implicit Places using invariants and state equation in 29201 ms returned []
Implicit Place search using SMT with State Equation took 168869 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 1321/1328 places, 1190/1190 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 168930 ms. Remains : 1321/1328 places, 1190/1190 transitions.
[2026-05-25 13:23:50] [INFO ] Flatten gal took : 54 ms
[2026-05-25 13:23:51] [INFO ] Flatten gal took : 72 ms
[2026-05-25 13:23:51] [INFO ] Input system was already deterministic with 1190 transitions.
[2026-05-25 13:23:51] [INFO ] Flatten gal took : 100 ms
[2026-05-25 13:23:51] [INFO ] Flatten gal took : 75 ms
[2026-05-25 13:23:51] [INFO ] Time to serialize gal into /tmp/CTLCardinality4075319414257249710.gal : 25 ms
[2026-05-25 13:23:51] [INFO ] Time to serialize properties into /tmp/CTLCardinality10647582439617728347.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/CTLCardinality4075319414257249710.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10647582439617728347.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 13:24:21] [INFO ] Flatten gal took : 80 ms
[2026-05-25 13:24:21] [INFO ] Applying decomposition
[2026-05-25 13:24:21] [INFO ] Flatten gal took : 76 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/graph13088916473729690279.txt' '-o' '/tmp/graph13088916473729690279.bin' '-w' '/tmp/graph13088916473729690279.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13088916473729690279.bin' '-l' '-1' '-v' '-w' '/tmp/graph13088916473729690279.weights' '-q' '0' '-e' '0.001'
[2026-05-25 13:24:21] [INFO ] Decomposing Gal with order
[2026-05-25 13:24:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 13:24:22] [INFO ] Removed a total of 2003 redundant transitions.
[2026-05-25 13:24:22] [INFO ] Flatten gal took : 185 ms
[2026-05-25 13:24:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 418 labels/synchronizations in 65 ms.
[2026-05-25 13:24:22] [INFO ] Time to serialize gal into /tmp/CTLCardinality8673449987796526214.gal : 33 ms
[2026-05-25 13:24:22] [INFO ] Time to serialize properties into /tmp/CTLCardinality11700101269158855461.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/CTLCardinality8673449987796526214.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11700101269158855461.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1328/1328 places, 1190/1190 transitions.
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 0 with 8 rules applied. Total rules applied 8 place count 1320 transition count 1190
Applied a total of 8 rules in 41 ms. Remains 1320 /1328 variables (removed 8) and now considering 1190/1190 (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-7640184306805121952.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17912383985669089719.kers'
[2026-05-25 13:24:52] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7640184306805121952.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17912383985669089719.kers]
Culled 0 columns in 2 ms.
// Phase 1: matrix 1190 rows 1320 cols 7665 entries
Finished phase 1 with 514 SingleSign rule and 206 generalized
[2026-05-25 13:24:54] [INFO ] Computed 600 invariants in 1633 ms
Computed 600 P flows in 1634 ms.
Exported basis to /tmp/petrispot-output-17912383985669089719.kers
Total runtime 1642 ms.
[2026-05-25 13:25:41] [INFO ] Performed 503/1320 implicitness test of which 0 returned IMPLICIT in 40 seconds.
[2026-05-25 13:26:24] [INFO ] Performed 578/1320 implicitness test of which 0 returned IMPLICIT in 83 seconds.
[2026-05-25 13:27:07] [INFO ] Performed 629/1320 implicitness test of which 0 returned IMPLICIT in 127 seconds.
[2026-05-25 13:27:07] [INFO ] Timeout of Implicit test with SMT after 127 seconds.
[2026-05-25 13:27:07] [INFO ] Implicit Places using invariants in 135366 ms returned []
[2026-05-25 13:27:07] [INFO ] Invariant cache hit.
[2026-05-25 13:27:41] [INFO ] Implicit Places using invariants and state equation in 33572 ms returned []
Implicit Place search using SMT with State Equation took 168963 ms to find 0 implicit places.
Running 1189 sub problems to find dead transitions.
[2026-05-25 13:27:41] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/1319 variables, 1319/1319 constraints. Problems are: Problem set: 0 solved, 1189 unsolved
SMT process timed out in 30555ms, After SMT, problems are : Problem set: 0 solved, 1189 unsolved
Search for dead transitions found 0 dead transitions in 30574ms
Starting structural reductions in LTL mode, iteration 1 : 1320/1328 places, 1190/1190 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 199585 ms. Remains : 1320/1328 places, 1190/1190 transitions.
[2026-05-25 13:28:12] [INFO ] Flatten gal took : 66 ms
[2026-05-25 13:28:12] [INFO ] Flatten gal took : 70 ms
[2026-05-25 13:28:12] [INFO ] Input system was already deterministic with 1190 transitions.
[2026-05-25 13:28:12] [INFO ] Flatten gal took : 79 ms
[2026-05-25 13:28:12] [INFO ] Flatten gal took : 71 ms
[2026-05-25 13:28:12] [INFO ] Time to serialize gal into /tmp/CTLCardinality13677767719440137436.gal : 15 ms
[2026-05-25 13:28:12] [INFO ] Time to serialize properties into /tmp/CTLCardinality7142618774293044761.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13677767719440137436.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7142618774293044761.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 13:28:42] [INFO ] Flatten gal took : 46 ms
[2026-05-25 13:28:42] [INFO ] Applying decomposition
[2026-05-25 13:28:42] [INFO ] Flatten gal took : 47 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/graph6305697311029895120.txt' '-o' '/tmp/graph6305697311029895120.bin' '-w' '/tmp/graph6305697311029895120.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6305697311029895120.bin' '-l' '-1' '-v' '-w' '/tmp/graph6305697311029895120.weights' '-q' '0' '-e' '0.001'
[2026-05-25 13:28:42] [INFO ] Decomposing Gal with order
[2026-05-25 13:28:42] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 13:28:43] [INFO ] Removed a total of 1951 redundant transitions.
[2026-05-25 13:28:43] [INFO ] Flatten gal took : 165 ms
[2026-05-25 13:28:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 342 labels/synchronizations in 50 ms.
[2026-05-25 13:28:43] [INFO ] Time to serialize gal into /tmp/CTLCardinality16627686620125294444.gal : 26 ms
[2026-05-25 13:28:43] [INFO ] Time to serialize properties into /tmp/CTLCardinality5722660946131258016.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality16627686620125294444.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5722660946131258016.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1328/1328 places, 1190/1190 transitions.
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 0 with 5 rules applied. Total rules applied 5 place count 1323 transition count 1190
Applied a total of 5 rules in 28 ms. Remains 1323 /1328 variables (removed 5) and now considering 1190/1190 (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-15714059908737697057.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2288425140726745983.kers'
[2026-05-25 13:29:13] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15714059908737697057.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2288425140726745983.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 1190 rows 1323 cols 7678 entries
Finished phase 1 with 517 SingleSign rule and 203 generalized
[2026-05-25 13:29:15] [INFO ] Computed 603 invariants in 2283 ms
Computed 603 P flows in 2284 ms.
Exported basis to /tmp/petrispot-output-2288425140726745983.kers
Total runtime 2292 ms.
[2026-05-25 13:29:50] [INFO ] Performed 525/1323 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 13:30:20] [INFO ] Performed 813/1323 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-05-25 13:30:43] [INFO ] Implicit Places using invariants in 90280 ms returned []
[2026-05-25 13:30:43] [INFO ] Invariant cache hit.
[2026-05-25 13:30:55] [INFO ] Implicit Places using invariants and state equation in 11902 ms returned []
Implicit Place search using SMT with State Equation took 102188 ms to find 0 implicit places.
Running 1189 sub problems to find dead transitions.
[2026-05-25 13:30:55] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/1319 variables, 1319/1319 constraints. Problems are: Problem set: 0 solved, 1189 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/1319 variables, 127/1446 constraints. Problems are: Problem set: 0 solved, 1189 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1319/2513 variables, and 1446 constraints, problems are : Problem set: 0 solved, 1189 unsolved in 30040 ms.
Refiners :[Domain max(s): 1319/1323 constraints, Positive P Invariants (semi-flows): 0/11 constraints, Generalized P Invariants (flows): 127/592 constraints, State Equation: 0/1323 constraints, PredecessorRefiner: 1189/1189 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1189 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1319 variables, 1319/1319 constraints. Problems are: Problem set: 0 solved, 1189 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/1319 variables, 127/1446 constraints. Problems are: Problem set: 0 solved, 1189 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1319/2513 variables, and 1446 constraints, problems are : Problem set: 0 solved, 1189 unsolved in 30057 ms.
Refiners :[Domain max(s): 1319/1323 constraints, Positive P Invariants (semi-flows): 0/11 constraints, Generalized P Invariants (flows): 127/592 constraints, State Equation: 0/1323 constraints, PredecessorRefiner: 0/1189 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60896ms problems are : Problem set: 0 solved, 1189 unsolved
Search for dead transitions found 0 dead transitions in 60904ms
Starting structural reductions in LTL mode, iteration 1 : 1323/1328 places, 1190/1190 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 163128 ms. Remains : 1323/1328 places, 1190/1190 transitions.
[2026-05-25 13:31:56] [INFO ] Flatten gal took : 65 ms
[2026-05-25 13:31:56] [INFO ] Flatten gal took : 73 ms
[2026-05-25 13:31:56] [INFO ] Input system was already deterministic with 1190 transitions.
[2026-05-25 13:31:56] [INFO ] Flatten gal took : 74 ms
[2026-05-25 13:31:57] [INFO ] Flatten gal took : 76 ms
[2026-05-25 13:31:57] [INFO ] Time to serialize gal into /tmp/CTLCardinality17963685315969989786.gal : 16 ms
[2026-05-25 13:31:57] [INFO ] Time to serialize properties into /tmp/CTLCardinality8271868538138015369.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality17963685315969989786.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8271868538138015369.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 13:32:27] [INFO ] Flatten gal took : 81 ms
[2026-05-25 13:32:27] [INFO ] Applying decomposition
[2026-05-25 13:32:27] [INFO ] Flatten gal took : 68 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/graph7600755508485017393.txt' '-o' '/tmp/graph7600755508485017393.bin' '-w' '/tmp/graph7600755508485017393.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7600755508485017393.bin' '-l' '-1' '-v' '-w' '/tmp/graph7600755508485017393.weights' '-q' '0' '-e' '0.001'
[2026-05-25 13:32:27] [INFO ] Decomposing Gal with order
[2026-05-25 13:32:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 13:32:27] [INFO ] Removed a total of 1955 redundant transitions.
[2026-05-25 13:32:27] [INFO ] Flatten gal took : 93 ms
[2026-05-25 13:32:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 448 labels/synchronizations in 49 ms.
[2026-05-25 13:32:27] [INFO ] Time to serialize gal into /tmp/CTLCardinality3222504098736979057.gal : 14 ms
[2026-05-25 13:32:27] [INFO ] Time to serialize properties into /tmp/CTLCardinality11526858367691878227.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/CTLCardinality3222504098736979057.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11526858367691878227.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1328/1328 places, 1190/1190 transitions.
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 0 with 8 rules applied. Total rules applied 8 place count 1320 transition count 1190
Applied a total of 8 rules in 28 ms. Remains 1320 /1328 variables (removed 8) and now considering 1190/1190 (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-1791447063336342220.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10646646345377011574.kers'
[2026-05-25 13:32:57] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1791447063336342220.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10646646345377011574.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 1190 rows 1320 cols 7665 entries
Finished phase 1 with 514 SingleSign rule and 206 generalized
[2026-05-25 13:32:59] [INFO ] Computed 600 invariants in 2005 ms
Computed 600 P flows in 2006 ms.
Exported basis to /tmp/petrispot-output-10646646345377011574.kers
Total runtime 2017 ms.
[2026-05-25 13:33:41] [INFO ] Performed 540/1320 implicitness test of which 0 returned IMPLICIT in 37 seconds.
[2026-05-25 13:34:27] [INFO ] Performed 604/1320 implicitness test of which 0 returned IMPLICIT in 83 seconds.
[2026-05-25 13:35:08] [INFO ] Performed 643/1320 implicitness test of which 0 returned IMPLICIT in 124 seconds.
[2026-05-25 13:35:08] [INFO ] Timeout of Implicit test with SMT after 124 seconds.
[2026-05-25 13:35:08] [INFO ] Implicit Places using invariants in 131215 ms returned []
[2026-05-25 13:35:08] [INFO ] Invariant cache hit.
[2026-05-25 13:35:40] [INFO ] Implicit Places using invariants and state equation in 31036 ms returned []
Implicit Place search using SMT with State Equation took 162264 ms to find 0 implicit places.
Running 1189 sub problems to find dead transitions.
[2026-05-25 13:35:40] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/1319 variables, 1319/1319 constraints. Problems are: Problem set: 0 solved, 1189 unsolved
SMT process timed out in 30765ms, After SMT, problems are : Problem set: 0 solved, 1189 unsolved
Search for dead transitions found 0 dead transitions in 30770ms
Starting structural reductions in LTL mode, iteration 1 : 1320/1328 places, 1190/1190 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 193069 ms. Remains : 1320/1328 places, 1190/1190 transitions.
[2026-05-25 13:36:10] [INFO ] Flatten gal took : 70 ms
[2026-05-25 13:36:10] [INFO ] Flatten gal took : 77 ms
[2026-05-25 13:36:11] [INFO ] Input system was already deterministic with 1190 transitions.
[2026-05-25 13:36:11] [INFO ] Flatten gal took : 82 ms
[2026-05-25 13:36:11] [INFO ] Flatten gal took : 79 ms
[2026-05-25 13:36:11] [INFO ] Time to serialize gal into /tmp/CTLCardinality10506220971883406574.gal : 14 ms
[2026-05-25 13:36:11] [INFO ] Time to serialize properties into /tmp/CTLCardinality15163746555691781487.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/CTLCardinality10506220971883406574.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15163746555691781487.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 13:36:41] [INFO ] Flatten gal took : 72 ms
[2026-05-25 13:36:41] [INFO ] Applying decomposition
[2026-05-25 13:36:41] [INFO ] Flatten gal took : 72 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/graph9200956565680796909.txt' '-o' '/tmp/graph9200956565680796909.bin' '-w' '/tmp/graph9200956565680796909.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9200956565680796909.bin' '-l' '-1' '-v' '-w' '/tmp/graph9200956565680796909.weights' '-q' '0' '-e' '0.001'
[2026-05-25 13:36:41] [INFO ] Decomposing Gal with order
[2026-05-25 13:36:41] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 13:36:41] [INFO ] Removed a total of 1933 redundant transitions.
[2026-05-25 13:36:41] [INFO ] Flatten gal took : 149 ms
[2026-05-25 13:36:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 336 labels/synchronizations in 54 ms.
[2026-05-25 13:36:42] [INFO ] Time to serialize gal into /tmp/CTLCardinality11334426119364470584.gal : 25 ms
[2026-05-25 13:36:42] [INFO ] Time to serialize properties into /tmp/CTLCardinality4023310122069217222.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/CTLCardinality11334426119364470584.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4023310122069217222.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 1328/1328 places, 1190/1190 transitions.
Graph (complete) has 4797 edges and 1328 vertex of which 1313 are kept as prefixes of interest. Removing 15 places using SCC suffix rule.8 ms
Discarding 15 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Reduce places removed 1 places and 1 transitions.
Applied a total of 1 rules in 78 ms. Remains 1312 /1328 variables (removed 16) and now considering 1188/1190 (removed 2) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11626479558784247017.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15392374988044973894.kers'
[2026-05-25 13:37:12] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11626479558784247017.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15392374988044973894.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 1188 rows 1312 cols 7614 entries
Finished phase 1 with 507 SingleSign rule and 211 generalized
[2026-05-25 13:37:14] [INFO ] Computed 594 invariants in 1950 ms
Computed 594 P flows in 1951 ms.
Exported basis to /tmp/petrispot-output-15392374988044973894.kers
Total runtime 1964 ms.
[2026-05-25 13:37:50] [INFO ] Performed 593/1312 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 13:38:27] [INFO ] Performed 625/1312 implicitness test of which 1 returned IMPLICIT in 66 seconds.
[2026-05-25 13:38:57] [INFO ] Performed 952/1312 implicitness test of which 6 returned IMPLICIT in 96 seconds.
[2026-05-25 13:39:54] [INFO ] Performed 1306/1312 implicitness test of which 6 returned IMPLICIT in 154 seconds.
[2026-05-25 13:39:54] [INFO ] Implicit Places using invariants in 162015 ms returned [615, 716, 737, 742, 763, 864]
Discarding 6 places :
Implicit Place search using SMT only with invariants took 162019 ms to find 6 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1306/1328 places, 1188/1190 transitions.
Applied a total of 0 rules in 99 ms. Remains 1306 /1306 variables (removed 0) and now considering 1188/1188 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 162197 ms. Remains : 1306/1328 places, 1188/1190 transitions.
[2026-05-25 13:39:54] [INFO ] Flatten gal took : 91 ms
[2026-05-25 13:39:54] [INFO ] Flatten gal took : 75 ms
[2026-05-25 13:39:54] [INFO ] Input system was already deterministic with 1188 transitions.
[2026-05-25 13:39:54] [INFO ] Flatten gal took : 70 ms
[2026-05-25 13:39:54] [INFO ] Flatten gal took : 90 ms
[2026-05-25 13:39:54] [INFO ] Time to serialize gal into /tmp/CTLCardinality7736437498683691769.gal : 14 ms
[2026-05-25 13:39:54] [INFO ] Time to serialize properties into /tmp/CTLCardinality15299876910062727786.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality7736437498683691769.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15299876910062727786.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 13:40:25] [INFO ] Flatten gal took : 44 ms
[2026-05-25 13:40:25] [INFO ] Applying decomposition
[2026-05-25 13:40:25] [INFO ] Flatten gal took : 45 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/graph5952957336064239013.txt' '-o' '/tmp/graph5952957336064239013.bin' '-w' '/tmp/graph5952957336064239013.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5952957336064239013.bin' '-l' '-1' '-v' '-w' '/tmp/graph5952957336064239013.weights' '-q' '0' '-e' '0.001'
[2026-05-25 13:40:25] [INFO ] Decomposing Gal with order
[2026-05-25 13:40:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 13:40:25] [INFO ] Removed a total of 1955 redundant transitions.
[2026-05-25 13:40:25] [INFO ] Flatten gal took : 94 ms
[2026-05-25 13:40:25] [INFO ] Fuse similar labels procedure discarded/fused a total of 426 labels/synchronizations in 41 ms.
[2026-05-25 13:40:25] [INFO ] Time to serialize gal into /tmp/CTLCardinality14104711938143788049.gal : 17 ms
[2026-05-25 13:40:25] [INFO ] Time to serialize properties into /tmp/CTLCardinality5518146965941239269.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/CTLCardinality14104711938143788049.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5518146965941239269.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 1328/1328 places, 1190/1190 transitions.
Graph (complete) has 4797 edges and 1328 vertex of which 1313 are kept as prefixes of interest. Removing 15 places using SCC suffix rule.5 ms
Discarding 15 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Reduce places removed 1 places and 1 transitions.
Applied a total of 1 rules in 75 ms. Remains 1312 /1328 variables (removed 16) and now considering 1188/1190 (removed 2) transitions.
[2026-05-25 13:40:55] [INFO ] Invariant cache hit.
[2026-05-25 13:41:32] [INFO ] Performed 595/1312 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 13:42:18] [INFO ] Performed 680/1312 implicitness test of which 1 returned IMPLICIT in 75 seconds.
[2026-05-25 13:42:48] [INFO ] Performed 780/1312 implicitness test of which 5 returned IMPLICIT in 105 seconds.
[2026-05-25 13:43:11] [INFO ] Implicit Places using invariants in 136081 ms returned [615, 716, 737, 742, 763, 864]
Discarding 6 places :
Implicit Place search using SMT only with invariants took 136086 ms to find 6 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1306/1328 places, 1188/1190 transitions.
Applied a total of 0 rules in 48 ms. Remains 1306 /1306 variables (removed 0) and now considering 1188/1188 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 136210 ms. Remains : 1306/1328 places, 1188/1190 transitions.
[2026-05-25 13:43:11] [INFO ] Flatten gal took : 72 ms
[2026-05-25 13:43:11] [INFO ] Flatten gal took : 45 ms
[2026-05-25 13:43:12] [INFO ] Input system was already deterministic with 1188 transitions.
[2026-05-25 13:43:12] [INFO ] Flatten gal took : 48 ms
[2026-05-25 13:43:12] [INFO ] Flatten gal took : 59 ms
[2026-05-25 13:43:12] [INFO ] Time to serialize gal into /tmp/CTLCardinality10596196453058548553.gal : 9 ms
[2026-05-25 13:43:12] [INFO ] Time to serialize properties into /tmp/CTLCardinality7822955689232179006.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality10596196453058548553.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7822955689232179006.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 13:43:42] [INFO ] Flatten gal took : 42 ms
[2026-05-25 13:43:42] [INFO ] Applying decomposition
[2026-05-25 13:43:42] [INFO ] Flatten gal took : 44 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/graph11403294762100880078.txt' '-o' '/tmp/graph11403294762100880078.bin' '-w' '/tmp/graph11403294762100880078.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11403294762100880078.bin' '-l' '-1' '-v' '-w' '/tmp/graph11403294762100880078.weights' '-q' '0' '-e' '0.001'
[2026-05-25 13:43:42] [INFO ] Decomposing Gal with order
[2026-05-25 13:43:42] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 13:43:42] [INFO ] Removed a total of 1864 redundant transitions.
[2026-05-25 13:43:42] [INFO ] Flatten gal took : 93 ms
[2026-05-25 13:43:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 268 labels/synchronizations in 37 ms.
[2026-05-25 13:43:42] [INFO ] Time to serialize gal into /tmp/CTLCardinality9128224694861582150.gal : 14 ms
[2026-05-25 13:43:42] [INFO ] Time to serialize properties into /tmp/CTLCardinality12794729487307581911.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality9128224694861582150.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12794729487307581911.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1328/1328 places, 1190/1190 transitions.
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 0 with 6 rules applied. Total rules applied 6 place count 1322 transition count 1190
Applied a total of 6 rules in 26 ms. Remains 1322 /1328 variables (removed 6) and now considering 1190/1190 (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-2329326360768391050.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7303238668329802026.kers'
[2026-05-25 13:44:12] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2329326360768391050.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7303238668329802026.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 1190 rows 1322 cols 7674 entries
Finished phase 1 with 517 SingleSign rule and 203 generalized
[2026-05-25 13:44:14] [INFO ] Computed 602 invariants in 1871 ms
Computed 602 P flows in 1872 ms.
Exported basis to /tmp/petrispot-output-7303238668329802026.kers
Total runtime 1879 ms.
[2026-05-25 13:44:48] [INFO ] Performed 503/1322 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 13:45:33] [INFO ] Performed 597/1322 implicitness test of which 0 returned IMPLICIT in 75 seconds.
[2026-05-25 13:46:17] [INFO ] Performed 657/1322 implicitness test of which 0 returned IMPLICIT in 118 seconds.
[2026-05-25 13:46:54] [INFO ] Performed 692/1322 implicitness test of which 0 returned IMPLICIT in 156 seconds.
[2026-05-25 13:46:54] [INFO ] Timeout of Implicit test with SMT after 156 seconds.
[2026-05-25 13:46:54] [INFO ] Implicit Places using invariants in 161923 ms returned []
[2026-05-25 13:46:54] [INFO ] Invariant cache hit.
[2026-05-25 13:47:27] [INFO ] Implicit Places using invariants and state equation in 32389 ms returned []
Implicit Place search using SMT with State Equation took 194315 ms to find 0 implicit places.
Running 1189 sub problems to find dead transitions.
[2026-05-25 13:47:27] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/1319 variables, 1319/1319 constraints. Problems are: Problem set: 0 solved, 1189 unsolved
SMT process timed out in 30536ms, After SMT, problems are : Problem set: 0 solved, 1189 unsolved
Search for dead transitions found 0 dead transitions in 30539ms
Starting structural reductions in LTL mode, iteration 1 : 1322/1328 places, 1190/1190 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 224887 ms. Remains : 1322/1328 places, 1190/1190 transitions.
[2026-05-25 13:47:57] [INFO ] Flatten gal took : 38 ms
[2026-05-25 13:47:57] [INFO ] Flatten gal took : 41 ms
[2026-05-25 13:47:57] [INFO ] Input system was already deterministic with 1190 transitions.
[2026-05-25 13:47:57] [INFO ] Flatten gal took : 51 ms
[2026-05-25 13:47:57] [INFO ] Flatten gal took : 90 ms
[2026-05-25 13:47:58] [INFO ] Time to serialize gal into /tmp/CTLCardinality13625668174453546374.gal : 14 ms
[2026-05-25 13:47:58] [INFO ] Time to serialize properties into /tmp/CTLCardinality17871350389726730033.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13625668174453546374.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17871350389726730033.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 13:48:28] [INFO ] Flatten gal took : 42 ms
[2026-05-25 13:48:28] [INFO ] Applying decomposition
[2026-05-25 13:48:28] [INFO ] Flatten gal took : 43 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/graph7016008036015421540.txt' '-o' '/tmp/graph7016008036015421540.bin' '-w' '/tmp/graph7016008036015421540.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7016008036015421540.bin' '-l' '-1' '-v' '-w' '/tmp/graph7016008036015421540.weights' '-q' '0' '-e' '0.001'
[2026-05-25 13:48:28] [INFO ] Decomposing Gal with order
[2026-05-25 13:48:28] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 13:48:28] [INFO ] Removed a total of 1913 redundant transitions.
[2026-05-25 13:48:28] [INFO ] Flatten gal took : 88 ms
[2026-05-25 13:48:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 311 labels/synchronizations in 25 ms.
[2026-05-25 13:48:28] [INFO ] Time to serialize gal into /tmp/CTLCardinality1479466302474440330.gal : 14 ms
[2026-05-25 13:48:28] [INFO ] Time to serialize properties into /tmp/CTLCardinality2660763970852654057.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality1479466302474440330.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2660763970852654057.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 1328/1328 places, 1190/1190 transitions.
Graph (complete) has 4797 edges and 1328 vertex of which 1313 are kept as prefixes of interest. Removing 15 places using SCC suffix rule.4 ms
Discarding 15 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Reduce places removed 1 places and 1 transitions.
Applied a total of 1 rules in 51 ms. Remains 1312 /1328 variables (removed 16) and now considering 1188/1190 (removed 2) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10110873905510604268.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2397676129226673700.kers'
[2026-05-25 13:48:58] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10110873905510604268.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2397676129226673700.kers]
Culled 0 columns in 2 ms.
// Phase 1: matrix 1188 rows 1312 cols 7614 entries
Finished phase 1 with 507 SingleSign rule and 211 generalized
[2026-05-25 13:49:00] [INFO ] Computed 594 invariants in 1686 ms
Computed 594 P flows in 1687 ms.
Exported basis to /tmp/petrispot-output-2397676129226673700.kers
Total runtime 1702 ms.
[2026-05-25 13:49:36] [INFO ] Performed 586/1312 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 13:50:06] [INFO ] Performed 657/1312 implicitness test of which 1 returned IMPLICIT in 60 seconds.
[2026-05-25 13:50:47] [INFO ] Performed 873/1312 implicitness test of which 6 returned IMPLICIT in 101 seconds.
[2026-05-25 13:51:05] [INFO ] Implicit Places using invariants in 127040 ms returned [615, 716, 737, 742, 763, 864]
Discarding 6 places :
Implicit Place search using SMT only with invariants took 127045 ms to find 6 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1306/1328 places, 1188/1190 transitions.
Applied a total of 0 rules in 49 ms. Remains 1306 /1306 variables (removed 0) and now considering 1188/1188 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 127146 ms. Remains : 1306/1328 places, 1188/1190 transitions.
[2026-05-25 13:51:05] [INFO ] Flatten gal took : 41 ms
[2026-05-25 13:51:05] [INFO ] Flatten gal took : 48 ms
[2026-05-25 13:51:05] [INFO ] Input system was already deterministic with 1188 transitions.
[2026-05-25 13:51:06] [INFO ] Flatten gal took : 97 ms
RANDOM walk for 4887 steps (18 resets) in 443 ms. (11 steps per ms) remains 0/1 properties
FORMULA Echo-PT-d03r05-CTLCardinality-2024-12 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
[2026-05-25 13:51:06] [INFO ] Flatten gal took : 89 ms
[2026-05-25 13:51:06] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality6431674262284878971.gal : 16 ms
[2026-05-25 13:51:06] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality8560334590312026542.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality6431674262284878971.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality8560334590312026542.prop' '--nowitness' '--gen-order' 'FOLLOW'
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 1328/1328 places, 1190/1190 transitions.
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 0 with 8 rules applied. Total rules applied 8 place count 1320 transition count 1190
Applied a total of 8 rules in 41 ms. Remains 1320 /1328 variables (removed 8) and now considering 1190/1190 (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-3859521547612282317.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10901048121594486858.kers'
[2026-05-25 13:51:06] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3859521547612282317.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10901048121594486858.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 1190 rows 1320 cols 7665 entries
Finished phase 1 with 514 SingleSign rule and 206 generalized
[2026-05-25 13:51:08] [INFO ] Computed 600 invariants in 1975 ms
Computed 600 P flows in 1975 ms.
Exported basis to /tmp/petrispot-output-10901048121594486858.kers
Total runtime 1986 ms.
[2026-05-25 13:51:54] [INFO ] Performed 474/1320 implicitness test of which 0 returned IMPLICIT in 41 seconds.
[2026-05-25 13:52:24] [INFO ] Performed 573/1320 implicitness test of which 0 returned IMPLICIT in 71 seconds.
[2026-05-25 13:53:09] [INFO ] Performed 638/1320 implicitness test of which 0 returned IMPLICIT in 116 seconds.
[2026-05-25 13:53:39] [INFO ] Performed 852/1320 implicitness test of which 0 returned IMPLICIT in 146 seconds.
[2026-05-25 13:53:39] [INFO ] Timeout of Implicit test with SMT after 146 seconds.
[2026-05-25 13:53:39] [INFO ] Implicit Places using invariants in 153650 ms returned []
[2026-05-25 13:53:39] [INFO ] Invariant cache hit.
[2026-05-25 13:54:12] [INFO ] Implicit Places using invariants and state equation in 32513 ms returned []
Implicit Place search using SMT with State Equation took 186170 ms to find 0 implicit places.
Running 1189 sub problems to find dead transitions.
[2026-05-25 13:54:12] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/1319 variables, 1319/1319 constraints. Problems are: Problem set: 0 solved, 1189 unsolved
SMT process timed out in 30540ms, After SMT, problems are : Problem set: 0 solved, 1189 unsolved
Search for dead transitions found 0 dead transitions in 30543ms
Starting structural reductions in LTL mode, iteration 1 : 1320/1328 places, 1190/1190 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 216759 ms. Remains : 1320/1328 places, 1190/1190 transitions.
[2026-05-25 13:54:43] [INFO ] Flatten gal took : 38 ms
[2026-05-25 13:54:43] [INFO ] Flatten gal took : 45 ms
[2026-05-25 13:54:43] [INFO ] Input system was already deterministic with 1190 transitions.
[2026-05-25 13:54:43] [INFO ] Flatten gal took : 59 ms
[2026-05-25 13:54:43] [INFO ] Flatten gal took : 50 ms
[2026-05-25 13:54:43] [INFO ] Time to serialize gal into /tmp/CTLCardinality4514685656704023243.gal : 9 ms
[2026-05-25 13:54:43] [INFO ] Time to serialize properties into /tmp/CTLCardinality5373907603501477074.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4514685656704023243.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5373907603501477074.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 13:55:13] [INFO ] Flatten gal took : 45 ms
[2026-05-25 13:55:13] [INFO ] Applying decomposition
[2026-05-25 13:55:13] [INFO ] Flatten gal took : 45 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/graph3138687757931622765.txt' '-o' '/tmp/graph3138687757931622765.bin' '-w' '/tmp/graph3138687757931622765.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph3138687757931622765.bin' '-l' '-1' '-v' '-w' '/tmp/graph3138687757931622765.weights' '-q' '0' '-e' '0.001'
[2026-05-25 13:55:13] [INFO ] Decomposing Gal with order
[2026-05-25 13:55:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 13:55:13] [INFO ] Removed a total of 2017 redundant transitions.
[2026-05-25 13:55:13] [INFO ] Flatten gal took : 91 ms
[2026-05-25 13:55:13] [INFO ] Fuse similar labels procedure discarded/fused a total of 380 labels/synchronizations in 32 ms.
[2026-05-25 13:55:13] [INFO ] Time to serialize gal into /tmp/CTLCardinality7047373484000081674.gal : 19 ms
[2026-05-25 13:55:13] [INFO ] Time to serialize properties into /tmp/CTLCardinality8229729445181083048.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality7047373484000081674.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8229729445181083048.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 13:55:44] [INFO ] Flatten gal took : 44 ms
[2026-05-25 13:55:44] [INFO ] Flatten gal took : 45 ms
[2026-05-25 13:55:44] [INFO ] Applying decomposition
[2026-05-25 13:55:44] [INFO ] Flatten gal took : 46 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/graph6021477478765445281.txt' '-o' '/tmp/graph6021477478765445281.bin' '-w' '/tmp/graph6021477478765445281.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6021477478765445281.bin' '-l' '-1' '-v' '-w' '/tmp/graph6021477478765445281.weights' '-q' '0' '-e' '0.001'
[2026-05-25 13:55:44] [INFO ] Decomposing Gal with order
[2026-05-25 13:55:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 13:55:44] [INFO ] Removed a total of 1918 redundant transitions.
[2026-05-25 13:55:44] [INFO ] Flatten gal took : 90 ms
[2026-05-25 13:55:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 406 labels/synchronizations in 30 ms.
[2026-05-25 13:55:44] [INFO ] Time to serialize gal into /tmp/CTLCardinality7625394432089434591.gal : 17 ms
[2026-05-25 13:55:44] [INFO ] Time to serialize properties into /tmp/CTLCardinality16902308218151649825.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality7625394432089434591.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16902308218151649825.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 11 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Echo-PT-d03r05"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5973"
echo " Executing tool itstools"
echo " Input is Echo-PT-d03r05, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r114-smll-177955740400177"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Echo-PT-d03r05.tgz
mv Echo-PT-d03r05 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;