About the Execution of ITS-Tools for LeafsetExtension-PT-S16C2
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 753.731 | 110577.00 | 157047.00 | 423.40 | TFFFFFFTTFTFTFTT | 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.r162-smll-177961107900473.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 LeafsetExtension-PT-S16C2, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r162-smll-177961107900473
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 11K Mar 7 16:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Mar 7 16:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Mar 7 16:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Mar 7 16:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.0K Mar 15 11:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 33K Mar 15 11:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Mar 15 11:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 15 11:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 21K Mar 7 16:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 135K Mar 7 16:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 21K Mar 7 16:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 101K Mar 7 16:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Mar 15 11:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.3K Mar 15 11:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 905K 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 LeafsetExtension-PT-S16C2-CTLCardinality-2024-00
FORMULA_NAME LeafsetExtension-PT-S16C2-CTLCardinality-2024-01
FORMULA_NAME LeafsetExtension-PT-S16C2-CTLCardinality-2024-02
FORMULA_NAME LeafsetExtension-PT-S16C2-CTLCardinality-2024-03
FORMULA_NAME LeafsetExtension-PT-S16C2-CTLCardinality-2024-04
FORMULA_NAME LeafsetExtension-PT-S16C2-CTLCardinality-2024-05
FORMULA_NAME LeafsetExtension-PT-S16C2-CTLCardinality-2024-06
FORMULA_NAME LeafsetExtension-PT-S16C2-CTLCardinality-2024-07
FORMULA_NAME LeafsetExtension-PT-S16C2-CTLCardinality-2024-08
FORMULA_NAME LeafsetExtension-PT-S16C2-CTLCardinality-2024-09
FORMULA_NAME LeafsetExtension-PT-S16C2-CTLCardinality-2024-10
FORMULA_NAME LeafsetExtension-PT-S16C2-CTLCardinality-2024-11
FORMULA_NAME LeafsetExtension-PT-S16C2-CTLCardinality-2024-12
FORMULA_NAME LeafsetExtension-PT-S16C2-CTLCardinality-2024-13
FORMULA_NAME LeafsetExtension-PT-S16C2-CTLCardinality-2024-14
FORMULA_NAME LeafsetExtension-PT-S16C2-CTLCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1779912580301
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=LeafsetExtension-PT-S16C2
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202604301425
[2026-05-27 20:09:42] [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-27 20:09:42] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-27 20:09:43] [INFO ] Load time of PNML (sax parser for PT used): 312 ms
[2026-05-27 20:09:43] [INFO ] Transformed 1542 places.
[2026-05-27 20:09:43] [INFO ] Transformed 1449 transitions.
[2026-05-27 20:09:43] [INFO ] Parsed PT model containing 1542 places and 1449 transitions and 4668 arcs in 564 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 22 ms.
Support contains 126 out of 1542 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1542/1542 places, 1449/1449 transitions.
Reduce places removed 272 places and 0 transitions.
Iterating post reduction 0 with 272 rules applied. Total rules applied 272 place count 1270 transition count 1449
Discarding 234 places :
Symmetric choice reduction at 1 with 234 rule applications. Total rules 506 place count 1036 transition count 1215
Iterating global reduction 1 with 234 rules applied. Total rules applied 740 place count 1036 transition count 1215
Discarding 179 places :
Symmetric choice reduction at 1 with 179 rule applications. Total rules 919 place count 857 transition count 1036
Iterating global reduction 1 with 179 rules applied. Total rules applied 1098 place count 857 transition count 1036
Discarding 159 places :
Symmetric choice reduction at 1 with 159 rule applications. Total rules 1257 place count 698 transition count 877
Iterating global reduction 1 with 159 rules applied. Total rules applied 1416 place count 698 transition count 877
Discarding 3 places :
Implicit places reduction removed 3 places
Iterating post reduction 1 with 3 rules applied. Total rules applied 1419 place count 695 transition count 877
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 1420 place count 694 transition count 876
Iterating global reduction 2 with 1 rules applied. Total rules applied 1421 place count 694 transition count 876
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 1422 place count 693 transition count 875
Iterating global reduction 2 with 1 rules applied. Total rules applied 1423 place count 693 transition count 875
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 1424 place count 692 transition count 874
Iterating global reduction 2 with 1 rules applied. Total rules applied 1425 place count 692 transition count 874
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 1426 place count 691 transition count 873
Iterating global reduction 2 with 1 rules applied. Total rules applied 1427 place count 691 transition count 873
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 1432 place count 686 transition count 868
Iterating global reduction 2 with 5 rules applied. Total rules applied 1437 place count 686 transition count 868
Applied a total of 1437 rules in 829 ms. Remains 686 /1542 variables (removed 856) and now considering 868/1449 (removed 581) transitions.
[2026-05-27 20:09:44] [INFO ] Flow matrix only has 863 transitions (discarded 5 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7790168950913605938.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8601792300057534390.kers'
[2026-05-27 20:09:44] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7790168950913605938.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8601792300057534390.kers]
Culling duplicate invariants (modulo rational): removing 3 columns.
Culled 3 columns in 0 ms.
// Phase 1: matrix 863 rows 683 cols 2259 entries
Finished phase 1 with 492 SingleSign rule and 141 generalized
[2026-05-27 20:09:44] [INFO ] Computed 53 invariants in 6 ms
Computed 53 P flows in 8 ms.
Exported basis to /tmp/petrispot-output-8601792300057534390.kers
Total runtime 9 ms.
[2026-05-27 20:09:46] [INFO ] Implicit Places using invariants in 1671 ms returned [4, 37, 42, 53, 67, 113, 206, 235, 276, 308, 310, 351, 389, 430, 466, 510, 532, 575, 611, 647]
Discarding 20 places :
Implicit Place search using SMT only with invariants took 1725 ms to find 20 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 666/1542 places, 868/1449 transitions.
Discarding 127 places :
Symmetric choice reduction at 0 with 127 rule applications. Total rules 127 place count 539 transition count 741
Iterating global reduction 0 with 127 rules applied. Total rules applied 254 place count 539 transition count 741
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 257 place count 536 transition count 738
Iterating global reduction 0 with 3 rules applied. Total rules applied 260 place count 536 transition count 738
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 263 place count 533 transition count 735
Iterating global reduction 0 with 3 rules applied. Total rules applied 266 place count 533 transition count 735
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 269 place count 530 transition count 732
Iterating global reduction 0 with 3 rules applied. Total rules applied 272 place count 530 transition count 732
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 275 place count 527 transition count 729
Iterating global reduction 0 with 3 rules applied. Total rules applied 278 place count 527 transition count 729
Applied a total of 278 rules in 330 ms. Remains 527 /666 variables (removed 139) and now considering 729/868 (removed 139) transitions.
[2026-05-27 20:09:46] [INFO ] Flow matrix only has 708 transitions (discarded 21 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1899603471637019724.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13181439875525465470.kers'
[2026-05-27 20:09:46] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1899603471637019724.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13181439875525465470.kers]
Culling duplicate invariants (modulo rational): removing 2 columns.
Culled 2 columns in 1 ms.
// Phase 1: matrix 708 rows 525 cols 1671 entries
Finished phase 1 with 372 SingleSign rule and 122 generalized
[2026-05-27 20:09:46] [INFO ] Computed 33 invariants in 11 ms
Computed 33 P flows in 12 ms.
Exported basis to /tmp/petrispot-output-13181439875525465470.kers
Total runtime 13 ms.
[2026-05-27 20:09:46] [INFO ] Implicit Places using invariants in 429 ms returned []
[2026-05-27 20:09:46] [INFO ] Flow matrix only has 708 transitions (discarded 21 similar events)
[2026-05-27 20:09:46] [INFO ] Invariant cache hit.
[2026-05-27 20:09:47] [INFO ] Implicit Places using invariants and state equation in 1102 ms returned []
Implicit Place search using SMT with State Equation took 1537 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 527/1542 places, 729/1449 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 4459 ms. Remains : 527/1542 places, 729/1449 transitions.
Starting structural reductions in LTL mode, iteration 0 : 527/527 places, 729/729 transitions.
Applied a total of 0 rules in 17 ms. Remains 527 /527 variables (removed 0) and now considering 729/729 (removed 0) transitions.
[2026-05-27 20:09:47] [INFO ] Flow matrix only has 708 transitions (discarded 21 similar events)
[2026-05-27 20:09:47] [INFO ] Invariant cache hit.
[2026-05-27 20:09:48] [INFO ] Implicit Places using invariants in 284 ms returned []
[2026-05-27 20:09:48] [INFO ] Flow matrix only has 708 transitions (discarded 21 similar events)
[2026-05-27 20:09:48] [INFO ] Invariant cache hit.
[2026-05-27 20:09:49] [INFO ] Implicit Places using invariants and state equation in 993 ms returned []
Implicit Place search using SMT with State Equation took 1280 ms to find 0 implicit places.
Running 712 sub problems to find dead transitions.
[2026-05-27 20:09:49] [INFO ] Flow matrix only has 708 transitions (discarded 21 similar events)
[2026-05-27 20:09:49] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/505 variables, 28/28 constraints. Problems are: Problem set: 0 solved, 712 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 505/1235 variables, and 28 constraints, problems are : Problem set: 0 solved, 712 unsolved in 30050 ms.
Refiners :[Positive P Invariants (semi-flows): 0/2 constraints, Generalized P Invariants (flows): 28/31 constraints, State Equation: 0/527 constraints, PredecessorRefiner: 712/712 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 712 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/505 variables, 28/28 constraints. Problems are: Problem set: 0 solved, 712 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/505 variables, 0/28 constraints. Problems are: Problem set: 0 solved, 712 unsolved
At refinement iteration 2 (OVERLAPS) 2/507 variables, 2/30 constraints. Problems are: Problem set: 0 solved, 712 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 507/1235 variables, and 30 constraints, problems are : Problem set: 0 solved, 712 unsolved in 30036 ms.
Refiners :[Positive P Invariants (semi-flows): 2/2 constraints, Generalized P Invariants (flows): 28/31 constraints, State Equation: 0/527 constraints, PredecessorRefiner: 0/712 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60493ms problems are : Problem set: 0 solved, 712 unsolved
Search for dead transitions found 0 dead transitions in 60541ms
Finished structural reductions in LTL mode , in 1 iterations and 61894 ms. Remains : 527/527 places, 729/729 transitions.
Support contains 126 out of 527 places after structural reductions.
[2026-05-27 20:10:50] [INFO ] Flatten gal took : 117 ms
[2026-05-27 20:10:50] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA LeafsetExtension-PT-S16C2-CTLCardinality-2024-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2026-05-27 20:10:50] [INFO ] Flatten gal took : 61 ms
[2026-05-27 20:10:50] [INFO ] Input system was already deterministic with 729 transitions.
Support contains 119 out of 527 places (down from 126) after GAL structural reductions.
RANDOM walk for 40000 steps (2160 resets) in 2818 ms. (14 steps per ms) remains 34/68 properties
BEST_FIRST walk for 4003 steps (29 resets) in 22 ms. (174 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (32 resets) in 24 ms. (160 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4003 steps (30 resets) in 33 ms. (117 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4002 steps (28 resets) in 52 ms. (75 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4002 steps (29 resets) in 26 ms. (148 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4003 steps (29 resets) in 22 ms. (174 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (29 resets) in 23 ms. (166 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (29 resets) in 13 ms. (286 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (29 resets) in 13 ms. (286 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4002 steps (28 resets) in 12 ms. (307 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4002 steps (29 resets) in 16 ms. (235 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4003 steps (29 resets) in 28 ms. (138 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4002 steps (30 resets) in 26 ms. (148 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (16 resets) in 15 ms. (250 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4003 steps (29 resets) in 36 ms. (108 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (29 resets) in 12 ms. (308 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4003 steps (28 resets) in 12 ms. (307 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (31 resets) in 22 ms. (174 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4003 steps (28 resets) in 11 ms. (333 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4003 steps (28 resets) in 17 ms. (222 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4003 steps (29 resets) in 14 ms. (266 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4002 steps (29 resets) in 17 ms. (222 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (30 resets) in 12 ms. (308 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4003 steps (29 resets) in 12 ms. (307 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (30 resets) in 14 ms. (266 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (29 resets) in 10 ms. (364 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4002 steps (28 resets) in 14 ms. (266 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4002 steps (29 resets) in 12 ms. (307 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4003 steps (29 resets) in 15 ms. (250 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4003 steps (28 resets) in 22 ms. (174 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4002 steps (28 resets) in 15 ms. (250 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4003 steps (28 resets) in 25 ms. (153 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4003 steps (29 resets) in 13 ms. (285 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4003 steps (28 resets) in 18 ms. (210 steps per ms) remains 34/34 properties
[2026-05-27 20:10:51] [INFO ] Flow matrix only has 708 transitions (discarded 21 similar events)
[2026-05-27 20:10:51] [INFO ] Invariant cache hit.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/46 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 34 unsolved
At refinement iteration 1 (OVERLAPS) 396/442 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 34 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/442 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 34 unsolved
At refinement iteration 3 (OVERLAPS) 68/510 variables, 18/31 constraints. Problems are: Problem set: 0 solved, 34 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/510 variables, 0/31 constraints. Problems are: Problem set: 0 solved, 34 unsolved
At refinement iteration 5 (OVERLAPS) 2/512 variables, 2/33 constraints. Problems are: Problem set: 0 solved, 34 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/512 variables, 0/33 constraints. Problems are: Problem set: 0 solved, 34 unsolved
Problem AtomicPropp1 is UNSAT
Problem AtomicPropp3 is UNSAT
Problem AtomicPropp4 is UNSAT
Problem AtomicPropp5 is UNSAT
Problem AtomicPropp7 is UNSAT
Problem AtomicPropp9 is UNSAT
Problem AtomicPropp12 is UNSAT
Problem AtomicPropp14 is UNSAT
Problem AtomicPropp15 is UNSAT
Problem AtomicPropp24 is UNSAT
Problem AtomicPropp28 is UNSAT
Problem AtomicPropp29 is UNSAT
Problem AtomicPropp31 is UNSAT
Problem AtomicPropp32 is UNSAT
Problem AtomicPropp35 is UNSAT
Problem AtomicPropp36 is UNSAT
Problem AtomicPropp38 is UNSAT
Problem AtomicPropp39 is UNSAT
Problem AtomicPropp41 is UNSAT
Problem AtomicPropp43 is UNSAT
Problem AtomicPropp44 is UNSAT
Problem AtomicPropp46 is UNSAT
Problem AtomicPropp47 is UNSAT
Problem AtomicPropp48 is UNSAT
Problem AtomicPropp56 is UNSAT
Problem AtomicPropp57 is UNSAT
Problem AtomicPropp58 is UNSAT
Problem AtomicPropp64 is UNSAT
Problem AtomicPropp66 is UNSAT
Problem AtomicPropp67 is UNSAT
At refinement iteration 7 (OVERLAPS) 707/1219 variables, 512/545 constraints. Problems are: Problem set: 30 solved, 4 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1219 variables, 0/545 constraints. Problems are: Problem set: 30 solved, 4 unsolved
At refinement iteration 9 (OVERLAPS) 16/1235 variables, 15/560 constraints. Problems are: Problem set: 30 solved, 4 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1235 variables, 0/560 constraints. Problems are: Problem set: 30 solved, 4 unsolved
At refinement iteration 11 (OVERLAPS) 0/1235 variables, 0/560 constraints. Problems are: Problem set: 30 solved, 4 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1235/1235 variables, and 560 constraints, problems are : Problem set: 30 solved, 4 unsolved in 3079 ms.
Refiners :[Positive P Invariants (semi-flows): 2/2 constraints, Generalized P Invariants (flows): 31/31 constraints, State Equation: 527/527 constraints, PredecessorRefiner: 34/34 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 30 solved, 4 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/7 variables, 0/0 constraints. Problems are: Problem set: 30 solved, 4 unsolved
At refinement iteration 1 (OVERLAPS) 412/419 variables, 6/6 constraints. Problems are: Problem set: 30 solved, 4 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/419 variables, 0/6 constraints. Problems are: Problem set: 30 solved, 4 unsolved
At refinement iteration 3 (OVERLAPS) 87/506 variables, 25/31 constraints. Problems are: Problem set: 30 solved, 4 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/506 variables, 0/31 constraints. Problems are: Problem set: 30 solved, 4 unsolved
At refinement iteration 5 (OVERLAPS) 2/508 variables, 2/33 constraints. Problems are: Problem set: 30 solved, 4 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/508 variables, 0/33 constraints. Problems are: Problem set: 30 solved, 4 unsolved
At refinement iteration 7 (OVERLAPS) 707/1215 variables, 508/541 constraints. Problems are: Problem set: 30 solved, 4 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1215 variables, 4/545 constraints. Problems are: Problem set: 30 solved, 4 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1215 variables, 0/545 constraints. Problems are: Problem set: 30 solved, 4 unsolved
At refinement iteration 10 (OVERLAPS) 20/1235 variables, 19/564 constraints. Problems are: Problem set: 30 solved, 4 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1235 variables, 0/564 constraints. Problems are: Problem set: 30 solved, 4 unsolved
At refinement iteration 12 (OVERLAPS) 0/1235 variables, 0/564 constraints. Problems are: Problem set: 30 solved, 4 unsolved
No progress, stopping.
After SMT solving in domain Int declared 1235/1235 variables, and 564 constraints, problems are : Problem set: 30 solved, 4 unsolved in 1758 ms.
Refiners :[Positive P Invariants (semi-flows): 2/2 constraints, Generalized P Invariants (flows): 31/31 constraints, State Equation: 527/527 constraints, PredecessorRefiner: 4/34 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 4853ms problems are : Problem set: 30 solved, 4 unsolved
Finished Parikh walk after 8 steps, including 0 resets, run visited all 1 properties in 1 ms. (steps per millisecond=8 )
Parikh walk visited 4 properties in 74 ms.
Successfully simplified 30 atomic propositions for a total of 15 simplifications.
Initial state reduction rules removed 1 formulas.
FORMULA LeafsetExtension-PT-S16C2-CTLCardinality-2024-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA LeafsetExtension-PT-S16C2-CTLCardinality-2024-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA LeafsetExtension-PT-S16C2-CTLCardinality-2024-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2026-05-27 20:10:56] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2026-05-27 20:10:56] [INFO ] Flatten gal took : 66 ms
[2026-05-27 20:10:56] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
FORMULA LeafsetExtension-PT-S16C2-CTLCardinality-2024-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA LeafsetExtension-PT-S16C2-CTLCardinality-2024-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA LeafsetExtension-PT-S16C2-CTLCardinality-2024-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2026-05-27 20:10:56] [INFO ] Flatten gal took : 63 ms
[2026-05-27 20:10:56] [INFO ] Input system was already deterministic with 729 transitions.
Support contains 44 out of 527 places (down from 60) after GAL structural reductions.
FORMULA LeafsetExtension-PT-S16C2-CTLCardinality-2024-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Computed a total of 527 stabilizing places and 729 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 527 transition count 729
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
AF dead knowledge conclusive for 2 formulas.
FORMULA LeafsetExtension-PT-S16C2-CTLCardinality-2024-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA LeafsetExtension-PT-S16C2-CTLCardinality-2024-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Starting structural reductions in LTL mode, iteration 0 : 527/527 places, 729/729 transitions.
Reduce places removed 17 places and 0 transitions.
Iterating post reduction 0 with 17 rules applied. Total rules applied 17 place count 510 transition count 729
Discarding 84 places :
Symmetric choice reduction at 1 with 84 rule applications. Total rules 101 place count 426 transition count 645
Iterating global reduction 1 with 84 rules applied. Total rules applied 185 place count 426 transition count 645
Discarding 66 places :
Symmetric choice reduction at 1 with 66 rule applications. Total rules 251 place count 360 transition count 579
Iterating global reduction 1 with 66 rules applied. Total rules applied 317 place count 360 transition count 579
Discarding 3 places :
Implicit places reduction removed 3 places
Iterating post reduction 1 with 3 rules applied. Total rules applied 320 place count 357 transition count 579
Discarding 53 places :
Symmetric choice reduction at 2 with 53 rule applications. Total rules 373 place count 304 transition count 526
Iterating global reduction 2 with 53 rules applied. Total rules applied 426 place count 304 transition count 526
Discarding 15 places :
Implicit places reduction removed 15 places
Iterating post reduction 2 with 15 rules applied. Total rules applied 441 place count 289 transition count 526
Discarding 49 places :
Symmetric choice reduction at 3 with 49 rule applications. Total rules 490 place count 240 transition count 477
Iterating global reduction 3 with 49 rules applied. Total rules applied 539 place count 240 transition count 477
Discarding 17 places :
Symmetric choice reduction at 3 with 17 rule applications. Total rules 556 place count 223 transition count 460
Iterating global reduction 3 with 17 rules applied. Total rules applied 573 place count 223 transition count 460
Discarding 17 places :
Symmetric choice reduction at 3 with 17 rule applications. Total rules 590 place count 206 transition count 443
Iterating global reduction 3 with 17 rules applied. Total rules applied 607 place count 206 transition count 443
Discarding 18 places :
Symmetric choice reduction at 3 with 18 rule applications. Total rules 625 place count 188 transition count 425
Iterating global reduction 3 with 18 rules applied. Total rules applied 643 place count 188 transition count 425
Discarding 18 places :
Symmetric choice reduction at 3 with 18 rule applications. Total rules 661 place count 170 transition count 407
Iterating global reduction 3 with 18 rules applied. Total rules applied 679 place count 170 transition count 407
Applied a total of 679 rules in 84 ms. Remains 170 /527 variables (removed 357) and now considering 407/729 (removed 322) transitions.
[2026-05-27 20:10:56] [INFO ] Flow matrix only has 245 transitions (discarded 162 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10329920162158102464.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3184827709647058229.kers'
[2026-05-27 20:10:56] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10329920162158102464.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3184827709647058229.kers]
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 0 ms.
// Phase 1: matrix 245 rows 169 cols 566 entries
Finished phase 1 with 119 SingleSign rule and 37 generalized
[2026-05-27 20:10:56] [INFO ] Computed 14 invariants in 3 ms
Computed 14 P flows in 4 ms.
Exported basis to /tmp/petrispot-output-3184827709647058229.kers
Total runtime 5 ms.
[2026-05-27 20:10:57] [INFO ] Implicit Places using invariants in 211 ms returned [27, 32, 42, 111]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 213 ms to find 4 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 166/527 places, 407/729 transitions.
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 11 place count 155 transition count 396
Iterating global reduction 0 with 11 rules applied. Total rules applied 22 place count 155 transition count 396
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 25 place count 152 transition count 393
Iterating global reduction 0 with 3 rules applied. Total rules applied 28 place count 152 transition count 393
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 31 place count 149 transition count 390
Iterating global reduction 0 with 3 rules applied. Total rules applied 34 place count 149 transition count 390
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 37 place count 146 transition count 387
Iterating global reduction 0 with 3 rules applied. Total rules applied 40 place count 146 transition count 387
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 43 place count 143 transition count 384
Iterating global reduction 0 with 3 rules applied. Total rules applied 46 place count 143 transition count 384
Applied a total of 46 rules in 18 ms. Remains 143 /166 variables (removed 23) and now considering 384/407 (removed 23) transitions.
[2026-05-27 20:10:57] [INFO ] Flow matrix only has 200 transitions (discarded 184 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4404642842597362457.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6376149310628408552.kers'
[2026-05-27 20:10:57] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4404642842597362457.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6376149310628408552.kers]
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 0 ms.
// Phase 1: matrix 200 rows 142 cols 455 entries
Finished phase 1 with 100 SingleSign rule and 33 generalized
[2026-05-27 20:10:57] [INFO ] Computed 10 invariants in 1 ms
Computed 10 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-6376149310628408552.kers
Total runtime 2 ms.
[2026-05-27 20:10:57] [INFO ] Implicit Places using invariants in 108 ms returned []
[2026-05-27 20:10:57] [INFO ] Flow matrix only has 200 transitions (discarded 184 similar events)
[2026-05-27 20:10:57] [INFO ] Invariant cache hit.
[2026-05-27 20:10:57] [INFO ] Implicit Places using invariants and state equation in 357 ms returned []
Implicit Place search using SMT with State Equation took 471 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 143/527 places, 384/729 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 786 ms. Remains : 143/527 places, 384/729 transitions.
[2026-05-27 20:10:57] [INFO ] Flatten gal took : 25 ms
[2026-05-27 20:10:57] [INFO ] Flatten gal took : 28 ms
[2026-05-27 20:10:57] [INFO ] Input system was already deterministic with 384 transitions.
[2026-05-27 20:10:57] [INFO ] Flatten gal took : 24 ms
[2026-05-27 20:10:57] [INFO ] Flatten gal took : 23 ms
[2026-05-27 20:10:57] [INFO ] Time to serialize gal into /tmp/CTLCardinality6588630670322803927.gal : 18 ms
[2026-05-27 20:10:57] [INFO ] Time to serialize properties into /tmp/CTLCardinality17746550623045209106.ctl : 6 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality6588630670322803927.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17746550623045209106.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,109207,1.67174,38704,2,8002,5,101008,6,0,926,189127,0
Converting to forward existential form...Done !
original formula: !(E((AX(FALSE) * ((EG(AX((Node11ManageTheBreakDownOfNode6>=1))) * (((Node13FailureProcessedByNode14<=0) + AF((Node14ManageTheBreakDownOfN...800
=> equivalent forward existential formula: [(FwdU(FwdU(Init,(!(EX(!(FALSE))) * ((EG(!(EX(!((Node11ManageTheBreakDownOfNode6>=1))))) * (((Node13FailureProce...873
Reverse transition relation is NOT exact ! Due to transitions t1, t5, t6, t7, t8, t9, t10, t11, t12, t13, t16, t17, t18, t19, t23, t24, t25, t26, t27, t29,...1769
(forward)formula 0,0,16.2107,355100,1,0,1186,1.69266e+06,809,462,6232,1.74566e+06,925
FORMULA LeafsetExtension-PT-S16C2-CTLCardinality-2024-04 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
Starting structural reductions in SI_CTL mode, iteration 0 : 527/527 places, 729/729 transitions.
Graph (complete) has 1440 edges and 527 vertex of which 506 are kept as prefixes of interest. Removing 21 places using SCC suffix rule.10 ms
Discarding 21 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 121 transitions
Trivial Post-agglo rules discarded 121 transitions
Performed 121 trivial Post agglomeration. Transition count delta: 121
Iterating post reduction 0 with 121 rules applied. Total rules applied 122 place count 506 transition count 607
Reduce places removed 121 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 123 rules applied. Total rules applied 245 place count 385 transition count 605
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 247 place count 383 transition count 605
Performed 42 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 42 Pre rules applied. Total rules applied 247 place count 383 transition count 563
Deduced a syphon composed of 42 places in 1 ms
Reduce places removed 42 places and 0 transitions.
Iterating global reduction 3 with 84 rules applied. Total rules applied 331 place count 341 transition count 563
Discarding 74 places :
Symmetric choice reduction at 3 with 74 rule applications. Total rules 405 place count 267 transition count 489
Iterating global reduction 3 with 74 rules applied. Total rules applied 479 place count 267 transition count 489
Discarding 35 places :
Symmetric choice reduction at 3 with 35 rule applications. Total rules 514 place count 232 transition count 454
Iterating global reduction 3 with 35 rules applied. Total rules applied 549 place count 232 transition count 454
Discarding 4 places :
Implicit places reduction removed 4 places
Iterating post reduction 3 with 4 rules applied. Total rules applied 553 place count 228 transition count 454
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 4 Pre rules applied. Total rules applied 553 place count 228 transition count 450
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 4 with 8 rules applied. Total rules applied 561 place count 224 transition count 450
Discarding 4 places :
Symmetric choice reduction at 4 with 4 rule applications. Total rules 565 place count 220 transition count 446
Iterating global reduction 4 with 4 rules applied. Total rules applied 569 place count 220 transition count 446
Discarding 4 places :
Symmetric choice reduction at 4 with 4 rule applications. Total rules 573 place count 216 transition count 442
Iterating global reduction 4 with 4 rules applied. Total rules applied 577 place count 216 transition count 442
Performed 58 Post agglomeration using F-continuation condition.Transition count delta: 58
Deduced a syphon composed of 58 places in 1 ms
Reduce places removed 58 places and 0 transitions.
Iterating global reduction 4 with 116 rules applied. Total rules applied 693 place count 158 transition count 384
Discarding 22 places :
Symmetric choice reduction at 4 with 22 rule applications. Total rules 715 place count 136 transition count 362
Iterating global reduction 4 with 22 rules applied. Total rules applied 737 place count 136 transition count 362
Applied a total of 737 rules in 219 ms. Remains 136 /527 variables (removed 391) and now considering 362/729 (removed 367) transitions.
[2026-05-27 20:11:14] [INFO ] Flow matrix only has 301 transitions (discarded 61 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6205953621589741962.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4563439444042012918.kers'
[2026-05-27 20:11:14] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6205953621589741962.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4563439444042012918.kers]
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 0 ms.
// Phase 1: matrix 301 rows 135 cols 845 entries
Finished phase 1 with 64 SingleSign rule and 44 generalized
[2026-05-27 20:11:14] [INFO ] Computed 28 invariants in 2 ms
Computed 28 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-4563439444042012918.kers
Total runtime 4 ms.
[2026-05-27 20:11:14] [INFO ] Implicit Places using invariants in 263 ms returned [10, 12, 17, 20, 24, 26, 28, 34, 38, 40, 45, 50, 61, 66, 68, 74, 76, 81, 86, 90, 92, 97, 102, 104]
Discarding 24 places :
Implicit Place search using SMT only with invariants took 265 ms to find 24 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 112/527 places, 362/729 transitions.
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 21 place count 91 transition count 341
Iterating global reduction 0 with 21 rules applied. Total rules applied 42 place count 91 transition count 341
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 62 place count 71 transition count 321
Iterating global reduction 0 with 20 rules applied. Total rules applied 82 place count 71 transition count 321
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 93 place count 60 transition count 310
Iterating global reduction 0 with 11 rules applied. Total rules applied 104 place count 60 transition count 310
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 0 with 8 rules applied. Total rules applied 112 place count 56 transition count 306
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 114 place count 54 transition count 304
Iterating global reduction 0 with 2 rules applied. Total rules applied 116 place count 54 transition count 304
Applied a total of 116 rules in 48 ms. Remains 54 /112 variables (removed 58) and now considering 304/362 (removed 58) transitions.
[2026-05-27 20:11:14] [INFO ] Flow matrix only has 67 transitions (discarded 237 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7489363141202946136.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11111961335129749536.kers'
[2026-05-27 20:11:14] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7489363141202946136.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11111961335129749536.kers]
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 0 ms.
// Phase 1: matrix 67 rows 53 cols 155 entries
Finished phase 1 with 46 SingleSign rule and 4 generalized
[2026-05-27 20:11:14] [INFO ] Computed 4 invariants in 0 ms
Computed 4 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-11111961335129749536.kers
Total runtime 1 ms.
[2026-05-27 20:11:14] [INFO ] Implicit Places using invariants in 103 ms returned []
[2026-05-27 20:11:14] [INFO ] Flow matrix only has 67 transitions (discarded 237 similar events)
[2026-05-27 20:11:14] [INFO ] Invariant cache hit.
[2026-05-27 20:11:15] [INFO ] Implicit Places using invariants and state equation in 198 ms returned []
Implicit Place search using SMT with State Equation took 304 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 54/527 places, 304/729 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 837 ms. Remains : 54/527 places, 304/729 transitions.
[2026-05-27 20:11:15] [INFO ] Flatten gal took : 13 ms
[2026-05-27 20:11:15] [INFO ] Flatten gal took : 14 ms
[2026-05-27 20:11:15] [INFO ] Input system was already deterministic with 304 transitions.
[2026-05-27 20:11:15] [INFO ] Flatten gal took : 14 ms
[2026-05-27 20:11:15] [INFO ] Flatten gal took : 22 ms
[2026-05-27 20:11:15] [INFO ] Time to serialize gal into /tmp/CTLCardinality9853342081446740091.gal : 8 ms
[2026-05-27 20:11:15] [INFO ] Time to serialize properties into /tmp/CTLCardinality11989121396240157063.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/CTLCardinality9853342081446740091.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11989121396240157063.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,5963,0.255647,8412,2,1867,5,14445,6,0,500,9925,0
Converting to forward existential form...Done !
original formula: EF(EG(E(((Node1Failure>Node8HasTheLeafSetOfRxToReplaceNode10)&&(RequestOfNode8IsSentToRx>Node3ManageTheBreakDownOfNode9)) U (LeafSetOfRxI...175
=> equivalent forward existential formula: [FwdG(FwdU(Init,TRUE),E(((Node1Failure>Node8HasTheLeafSetOfRxToReplaceNode10)&&(RequestOfNode8IsSentToRx>Node3Ma...225
Reverse transition relation is NOT exact ! Due to transitions t1, t2, t3, t4, t5, t6, t7, t8, t9, t11, t12, t13, t14, t15, t16, t17, t18, t19, t24, t29, t3...1725
dead was empty
(forward)formula 0,0,1.40825,39380,1,0,905,172800,630,309,3286,143372,633
FORMULA LeafsetExtension-PT-S16C2-CTLCardinality-2024-06 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 527/527 places, 729/729 transitions.
Reduce places removed 20 places and 0 transitions.
Iterating post reduction 0 with 20 rules applied. Total rules applied 20 place count 507 transition count 729
Discarding 96 places :
Symmetric choice reduction at 1 with 96 rule applications. Total rules 116 place count 411 transition count 633
Iterating global reduction 1 with 96 rules applied. Total rules applied 212 place count 411 transition count 633
Discarding 75 places :
Symmetric choice reduction at 1 with 75 rule applications. Total rules 287 place count 336 transition count 558
Iterating global reduction 1 with 75 rules applied. Total rules applied 362 place count 336 transition count 558
Discarding 5 places :
Implicit places reduction removed 5 places
Iterating post reduction 1 with 5 rules applied. Total rules applied 367 place count 331 transition count 558
Discarding 60 places :
Symmetric choice reduction at 2 with 60 rule applications. Total rules 427 place count 271 transition count 498
Iterating global reduction 2 with 60 rules applied. Total rules applied 487 place count 271 transition count 498
Discarding 20 places :
Implicit places reduction removed 20 places
Iterating post reduction 2 with 20 rules applied. Total rules applied 507 place count 251 transition count 498
Discarding 59 places :
Symmetric choice reduction at 3 with 59 rule applications. Total rules 566 place count 192 transition count 439
Iterating global reduction 3 with 59 rules applied. Total rules applied 625 place count 192 transition count 439
Discarding 25 places :
Symmetric choice reduction at 3 with 25 rule applications. Total rules 650 place count 167 transition count 414
Iterating global reduction 3 with 25 rules applied. Total rules applied 675 place count 167 transition count 414
Discarding 25 places :
Symmetric choice reduction at 3 with 25 rule applications. Total rules 700 place count 142 transition count 389
Iterating global reduction 3 with 25 rules applied. Total rules applied 725 place count 142 transition count 389
Discarding 26 places :
Symmetric choice reduction at 3 with 26 rule applications. Total rules 751 place count 116 transition count 363
Iterating global reduction 3 with 26 rules applied. Total rules applied 777 place count 116 transition count 363
Discarding 30 places :
Symmetric choice reduction at 3 with 30 rule applications. Total rules 807 place count 86 transition count 333
Iterating global reduction 3 with 30 rules applied. Total rules applied 837 place count 86 transition count 333
Applied a total of 837 rules in 36 ms. Remains 86 /527 variables (removed 441) and now considering 333/729 (removed 396) transitions.
[2026-05-27 20:11:16] [INFO ] Flow matrix only has 106 transitions (discarded 227 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13317693323476808037.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-18328619276968104392.kers'
[2026-05-27 20:11:16] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13317693323476808037.kers, --Pflows, --basisKERS=/tmp/petrispot-output-18328619276968104392.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 106 rows 86 cols 249 entries
Finished phase 1 with 55 SingleSign rule and 25 generalized
[2026-05-27 20:11:16] [INFO ] Computed 6 invariants in 0 ms
Computed 6 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-18328619276968104392.kers
Total runtime 1 ms.
[2026-05-27 20:11:16] [INFO ] Implicit Places using invariants in 136 ms returned [30]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 138 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 85/527 places, 333/729 transitions.
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 3 place count 82 transition count 330
Iterating global reduction 0 with 3 rules applied. Total rules applied 6 place count 82 transition count 330
Applied a total of 6 rules in 3 ms. Remains 82 /85 variables (removed 3) and now considering 330/333 (removed 3) transitions.
[2026-05-27 20:11:16] [INFO ] Flow matrix only has 102 transitions (discarded 228 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12348567768649575413.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1961505764528004529.kers'
[2026-05-27 20:11:16] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12348567768649575413.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1961505764528004529.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 102 rows 82 cols 237 entries
Finished phase 1 with 53 SingleSign rule and 24 generalized
[2026-05-27 20:11:16] [INFO ] Computed 5 invariants in 0 ms
Computed 5 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-1961505764528004529.kers
Total runtime 1 ms.
[2026-05-27 20:11:16] [INFO ] Implicit Places using invariants in 122 ms returned []
[2026-05-27 20:11:16] [INFO ] Flow matrix only has 102 transitions (discarded 228 similar events)
[2026-05-27 20:11:16] [INFO ] Invariant cache hit.
[2026-05-27 20:11:17] [INFO ] Implicit Places using invariants and state equation in 262 ms returned []
Implicit Place search using SMT with State Equation took 385 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 82/527 places, 330/729 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 563 ms. Remains : 82/527 places, 330/729 transitions.
[2026-05-27 20:11:17] [INFO ] Flatten gal took : 9 ms
[2026-05-27 20:11:17] [INFO ] Flatten gal took : 9 ms
[2026-05-27 20:11:17] [INFO ] Input system was already deterministic with 330 transitions.
[2026-05-27 20:11:17] [INFO ] Flatten gal took : 10 ms
[2026-05-27 20:11:17] [INFO ] Flatten gal took : 10 ms
[2026-05-27 20:11:17] [INFO ] Time to serialize gal into /tmp/CTLCardinality12539987616535928081.gal : 3 ms
[2026-05-27 20:11:17] [INFO ] Time to serialize properties into /tmp/CTLCardinality6910396140346342694.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/CTLCardinality12539987616535928081.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6910396140346342694.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,39394,0.404321,14460,2,2432,5,38704,6,0,637,34913,0
Converting to forward existential form...Done !
original formula: AX(AG(((Node4HasTheLeafSetOfLxToReplaceNode0<2)&&(Node8FailureProcessedByNode3>Node4HasAskedItsLeafSetToRxToReplaceNode10))))
=> equivalent forward existential formula: [(FwdU(EY(Init),TRUE) * !(((Node4HasTheLeafSetOfLxToReplaceNode0<2)&&(Node8FailureProcessedByNode3>Node4HasAsked...197
(forward)formula 0,0,0.658558,15928,1,0,11,40990,10,2,1209,38307,4
FORMULA LeafsetExtension-PT-S16C2-CTLCardinality-2024-09 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
Starting structural reductions in SI_CTL mode, iteration 0 : 527/527 places, 729/729 transitions.
Graph (complete) has 1440 edges and 527 vertex of which 505 are kept as prefixes of interest. Removing 22 places using SCC suffix rule.4 ms
Discarding 22 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 124 transitions
Trivial Post-agglo rules discarded 124 transitions
Performed 124 trivial Post agglomeration. Transition count delta: 124
Iterating post reduction 0 with 124 rules applied. Total rules applied 125 place count 505 transition count 604
Reduce places removed 124 places and 0 transitions.
Iterating post reduction 1 with 124 rules applied. Total rules applied 249 place count 381 transition count 604
Performed 43 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 43 Pre rules applied. Total rules applied 249 place count 381 transition count 561
Deduced a syphon composed of 43 places in 0 ms
Reduce places removed 43 places and 0 transitions.
Iterating global reduction 2 with 86 rules applied. Total rules applied 335 place count 338 transition count 561
Discarding 74 places :
Symmetric choice reduction at 2 with 74 rule applications. Total rules 409 place count 264 transition count 487
Iterating global reduction 2 with 74 rules applied. Total rules applied 483 place count 264 transition count 487
Discarding 34 places :
Symmetric choice reduction at 2 with 34 rule applications. Total rules 517 place count 230 transition count 453
Iterating global reduction 2 with 34 rules applied. Total rules applied 551 place count 230 transition count 453
Discarding 4 places :
Implicit places reduction removed 4 places
Iterating post reduction 2 with 4 rules applied. Total rules applied 555 place count 226 transition count 453
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 3 Pre rules applied. Total rules applied 555 place count 226 transition count 450
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 3 with 6 rules applied. Total rules applied 561 place count 223 transition count 450
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 565 place count 219 transition count 446
Iterating global reduction 3 with 4 rules applied. Total rules applied 569 place count 219 transition count 446
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 572 place count 216 transition count 443
Iterating global reduction 3 with 3 rules applied. Total rules applied 575 place count 216 transition count 443
Performed 60 Post agglomeration using F-continuation condition.Transition count delta: 60
Deduced a syphon composed of 60 places in 0 ms
Reduce places removed 60 places and 0 transitions.
Iterating global reduction 3 with 120 rules applied. Total rules applied 695 place count 156 transition count 383
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 718 place count 133 transition count 360
Iterating global reduction 3 with 23 rules applied. Total rules applied 741 place count 133 transition count 360
Applied a total of 741 rules in 83 ms. Remains 133 /527 variables (removed 394) and now considering 360/729 (removed 369) transitions.
[2026-05-27 20:11:18] [INFO ] Flow matrix only has 307 transitions (discarded 53 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-18323318265547213675.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10366881224074249296.kers'
[2026-05-27 20:11:18] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-18323318265547213675.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10366881224074249296.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 307 rows 133 cols 863 entries
Finished phase 1 with 62 SingleSign rule and 44 generalized
[2026-05-27 20:11:18] [INFO ] Computed 27 invariants in 1 ms
Computed 27 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-10366881224074249296.kers
Total runtime 2 ms.
[2026-05-27 20:11:18] [INFO ] Implicit Places using invariants in 159 ms returned [9, 11, 16, 17, 21, 23, 25, 31, 35, 44, 50, 52, 57, 62, 64, 69, 71, 76, 81, 85, 87, 92, 99, 101]
Discarding 24 places :
Implicit Place search using SMT only with invariants took 162 ms to find 24 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 109/527 places, 360/729 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 109 transition count 359
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 108 transition count 359
Discarding 21 places :
Symmetric choice reduction at 2 with 21 rule applications. Total rules 23 place count 87 transition count 338
Iterating global reduction 2 with 21 rules applied. Total rules applied 44 place count 87 transition count 338
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 64 place count 67 transition count 318
Iterating global reduction 2 with 20 rules applied. Total rules applied 84 place count 67 transition count 318
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 94 place count 57 transition count 308
Iterating global reduction 2 with 10 rules applied. Total rules applied 104 place count 57 transition count 308
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 0 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 114 place count 52 transition count 303
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 116 place count 50 transition count 301
Iterating global reduction 2 with 2 rules applied. Total rules applied 118 place count 50 transition count 301
Applied a total of 118 rules in 28 ms. Remains 50 /109 variables (removed 59) and now considering 301/360 (removed 59) transitions.
[2026-05-27 20:11:18] [INFO ] Flow matrix only has 71 transitions (discarded 230 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3158309650275455435.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13175857324385348075.kers'
[2026-05-27 20:11:18] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3158309650275455435.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13175857324385348075.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 71 rows 50 cols 169 entries
Finished phase 1 with 28 SingleSign rule and 19 generalized
[2026-05-27 20:11:18] [INFO ] Computed 3 invariants in 0 ms
Computed 3 P flows in 0 ms.
Exported basis to /tmp/petrispot-output-13175857324385348075.kers
Total runtime 0 ms.
[2026-05-27 20:11:18] [INFO ] Implicit Places using invariants in 95 ms returned []
[2026-05-27 20:11:18] [INFO ] Flow matrix only has 71 transitions (discarded 230 similar events)
[2026-05-27 20:11:18] [INFO ] Invariant cache hit.
[2026-05-27 20:11:18] [INFO ] Implicit Places using invariants and state equation in 169 ms returned []
Implicit Place search using SMT with State Equation took 266 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 50/527 places, 301/729 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 539 ms. Remains : 50/527 places, 301/729 transitions.
[2026-05-27 20:11:18] [INFO ] Flatten gal took : 7 ms
[2026-05-27 20:11:18] [INFO ] Flatten gal took : 7 ms
[2026-05-27 20:11:18] [INFO ] Input system was already deterministic with 301 transitions.
[2026-05-27 20:11:18] [INFO ] Flatten gal took : 7 ms
[2026-05-27 20:11:18] [INFO ] Flatten gal took : 6 ms
[2026-05-27 20:11:18] [INFO ] Time to serialize gal into /tmp/CTLCardinality12598718505967167598.gal : 3 ms
[2026-05-27 20:11:18] [INFO ] Time to serialize properties into /tmp/CTLCardinality5884013775799752489.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/CTLCardinality12598718505967167598.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5884013775799752489.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,5982,0.31194,9364,2,1933,5,19043,6,0,484,12310,0
Converting to forward existential form...Done !
original formula: E((Node6HasAskedItsLeafSetToRxToReplaceNode13<=0) U EG(((LxHasReceivedTheRequestOfNode7>=2) + AG((RequestOfNode15IsSentToRx>=2)))))
=> equivalent forward existential formula: [FwdG(FwdU(Init,(Node6HasAskedItsLeafSetToRxToReplaceNode13<=0)),((LxHasReceivedTheRequestOfNode7>=2) + !(E(TRUE...205
Hit Full ! (commute/partial/dont) 299/0/2
Reverse transition relation is NOT exact ! Due to transitions t1, t2, t3, t4, t5, t6, t7, t8, t9, t11, t12, t13, t14, t15, t16, t17, t18, t19, t27, t28, t2...1727
dead was empty
(forward)formula 0,0,1.42818,44472,1,0,901,192733,634,307,3338,160148,632
FORMULA LeafsetExtension-PT-S16C2-CTLCardinality-2024-11 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 527/527 places, 729/729 transitions.
Reduce places removed 17 places and 0 transitions.
Iterating post reduction 0 with 17 rules applied. Total rules applied 17 place count 510 transition count 729
Discarding 91 places :
Symmetric choice reduction at 1 with 91 rule applications. Total rules 108 place count 419 transition count 638
Iterating global reduction 1 with 91 rules applied. Total rules applied 199 place count 419 transition count 638
Discarding 70 places :
Symmetric choice reduction at 1 with 70 rule applications. Total rules 269 place count 349 transition count 568
Iterating global reduction 1 with 70 rules applied. Total rules applied 339 place count 349 transition count 568
Discarding 4 places :
Implicit places reduction removed 4 places
Iterating post reduction 1 with 4 rules applied. Total rules applied 343 place count 345 transition count 568
Discarding 55 places :
Symmetric choice reduction at 2 with 55 rule applications. Total rules 398 place count 290 transition count 513
Iterating global reduction 2 with 55 rules applied. Total rules applied 453 place count 290 transition count 513
Discarding 17 places :
Implicit places reduction removed 17 places
Iterating post reduction 2 with 17 rules applied. Total rules applied 470 place count 273 transition count 513
Discarding 52 places :
Symmetric choice reduction at 3 with 52 rule applications. Total rules 522 place count 221 transition count 461
Iterating global reduction 3 with 52 rules applied. Total rules applied 574 place count 221 transition count 461
Discarding 21 places :
Symmetric choice reduction at 3 with 21 rule applications. Total rules 595 place count 200 transition count 440
Iterating global reduction 3 with 21 rules applied. Total rules applied 616 place count 200 transition count 440
Discarding 21 places :
Symmetric choice reduction at 3 with 21 rule applications. Total rules 637 place count 179 transition count 419
Iterating global reduction 3 with 21 rules applied. Total rules applied 658 place count 179 transition count 419
Discarding 22 places :
Symmetric choice reduction at 3 with 22 rule applications. Total rules 680 place count 157 transition count 397
Iterating global reduction 3 with 22 rules applied. Total rules applied 702 place count 157 transition count 397
Discarding 25 places :
Symmetric choice reduction at 3 with 25 rule applications. Total rules 727 place count 132 transition count 372
Iterating global reduction 3 with 25 rules applied. Total rules applied 752 place count 132 transition count 372
Applied a total of 752 rules in 38 ms. Remains 132 /527 variables (removed 395) and now considering 372/729 (removed 357) transitions.
[2026-05-27 20:11:20] [INFO ] Flow matrix only has 178 transitions (discarded 194 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12868080480762046574.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5921396449485056065.kers'
[2026-05-27 20:11:20] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12868080480762046574.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5921396449485056065.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 178 rows 132 cols 416 entries
Finished phase 1 with 88 SingleSign rule and 34 generalized
[2026-05-27 20:11:20] [INFO ] Computed 10 invariants in 1 ms
Computed 10 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-5921396449485056065.kers
Total runtime 1 ms.
[2026-05-27 20:11:20] [INFO ] Implicit Places using invariants in 132 ms returned [31, 37, 100]
Discarding 3 places :
Implicit Place search using SMT only with invariants took 134 ms to find 3 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 129/527 places, 372/729 transitions.
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 7 place count 122 transition count 365
Iterating global reduction 0 with 7 rules applied. Total rules applied 14 place count 122 transition count 365
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 16 place count 120 transition count 363
Iterating global reduction 0 with 2 rules applied. Total rules applied 18 place count 120 transition count 363
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 20 place count 118 transition count 361
Iterating global reduction 0 with 2 rules applied. Total rules applied 22 place count 118 transition count 361
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 24 place count 116 transition count 359
Iterating global reduction 0 with 2 rules applied. Total rules applied 26 place count 116 transition count 359
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 28 place count 114 transition count 357
Iterating global reduction 0 with 2 rules applied. Total rules applied 30 place count 114 transition count 357
Applied a total of 30 rules in 7 ms. Remains 114 /129 variables (removed 15) and now considering 357/372 (removed 15) transitions.
[2026-05-27 20:11:20] [INFO ] Flow matrix only has 148 transitions (discarded 209 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-419471290341552788.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1114891055973652751.kers'
[2026-05-27 20:11:20] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-419471290341552788.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1114891055973652751.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 148 rows 114 cols 342 entries
Finished phase 1 with 76 SingleSign rule and 31 generalized
[2026-05-27 20:11:20] [INFO ] Computed 7 invariants in 1 ms
Computed 7 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-1114891055973652751.kers
Total runtime 2 ms.
[2026-05-27 20:11:20] [INFO ] Implicit Places using invariants in 110 ms returned []
[2026-05-27 20:11:20] [INFO ] Flow matrix only has 148 transitions (discarded 209 similar events)
[2026-05-27 20:11:20] [INFO ] Invariant cache hit.
[2026-05-27 20:11:20] [INFO ] Implicit Places using invariants and state equation in 272 ms returned []
Implicit Place search using SMT with State Equation took 384 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 114/527 places, 357/729 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 565 ms. Remains : 114/527 places, 357/729 transitions.
[2026-05-27 20:11:20] [INFO ] Flatten gal took : 8 ms
[2026-05-27 20:11:20] [INFO ] Flatten gal took : 9 ms
[2026-05-27 20:11:20] [INFO ] Input system was already deterministic with 357 transitions.
[2026-05-27 20:11:20] [INFO ] Flatten gal took : 8 ms
[2026-05-27 20:11:20] [INFO ] Flatten gal took : 8 ms
[2026-05-27 20:11:20] [INFO ] Time to serialize gal into /tmp/CTLCardinality2851026993996896077.gal : 3 ms
[2026-05-27 20:11:20] [INFO ] Time to serialize properties into /tmp/CTLCardinality14388558742692535972.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/CTLCardinality2851026993996896077.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14388558742692535972.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,69110,0.531936,17296,2,4171,5,42226,6,0,783,55544,0
Converting to forward existential form...Done !
original formula: (AX(AX((Node8FailureProcessedByNode16>=1))) + EG(AF(((!(A((Node15ManageTheBreakDownOfNode11>=1) U (Node4HasTheLeafSetOfLxToReplaceNode8<=...419
=> equivalent forward existential formula: [(EY(EY((Init * !(EG(!(EG(!(((!(!((E(!((Node4HasTheLeafSetOfLxToReplaceNode8<=0)) U (!((Node15ManageTheBreakDown...586
Reverse transition relation is NOT exact ! Due to transitions t1, t5, t6, t7, t8, t9, t10, t11, t12, t13, t17, t18, t19, t20, t21, t22, t23, t24, t26, t27,...1738
(forward)formula 0,0,7.04595,162692,1,0,1114,819780,750,441,5119,824736,843
FORMULA LeafsetExtension-PT-S16C2-CTLCardinality-2024-13 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 527/527 places, 729/729 transitions.
Reduce places removed 21 places and 0 transitions.
Iterating post reduction 0 with 21 rules applied. Total rules applied 21 place count 506 transition count 729
Discarding 96 places :
Symmetric choice reduction at 1 with 96 rule applications. Total rules 117 place count 410 transition count 633
Iterating global reduction 1 with 96 rules applied. Total rules applied 213 place count 410 transition count 633
Discarding 76 places :
Symmetric choice reduction at 1 with 76 rule applications. Total rules 289 place count 334 transition count 557
Iterating global reduction 1 with 76 rules applied. Total rules applied 365 place count 334 transition count 557
Discarding 5 places :
Implicit places reduction removed 5 places
Iterating post reduction 1 with 5 rules applied. Total rules applied 370 place count 329 transition count 557
Discarding 61 places :
Symmetric choice reduction at 2 with 61 rule applications. Total rules 431 place count 268 transition count 496
Iterating global reduction 2 with 61 rules applied. Total rules applied 492 place count 268 transition count 496
Discarding 21 places :
Implicit places reduction removed 21 places
Iterating post reduction 2 with 21 rules applied. Total rules applied 513 place count 247 transition count 496
Discarding 62 places :
Symmetric choice reduction at 3 with 62 rule applications. Total rules 575 place count 185 transition count 434
Iterating global reduction 3 with 62 rules applied. Total rules applied 637 place count 185 transition count 434
Discarding 26 places :
Symmetric choice reduction at 3 with 26 rule applications. Total rules 663 place count 159 transition count 408
Iterating global reduction 3 with 26 rules applied. Total rules applied 689 place count 159 transition count 408
Discarding 26 places :
Symmetric choice reduction at 3 with 26 rule applications. Total rules 715 place count 133 transition count 382
Iterating global reduction 3 with 26 rules applied. Total rules applied 741 place count 133 transition count 382
Discarding 27 places :
Symmetric choice reduction at 3 with 27 rule applications. Total rules 768 place count 106 transition count 355
Iterating global reduction 3 with 27 rules applied. Total rules applied 795 place count 106 transition count 355
Discarding 32 places :
Symmetric choice reduction at 3 with 32 rule applications. Total rules 827 place count 74 transition count 323
Iterating global reduction 3 with 32 rules applied. Total rules applied 859 place count 74 transition count 323
Applied a total of 859 rules in 38 ms. Remains 74 /527 variables (removed 453) and now considering 323/729 (removed 406) transitions.
[2026-05-27 20:11:27] [INFO ] Flow matrix only has 89 transitions (discarded 234 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14411185618812324389.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4296315185318086852.kers'
[2026-05-27 20:11:27] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14411185618812324389.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4296315185318086852.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 89 rows 74 cols 209 entries
Finished phase 1 with 47 SingleSign rule and 22 generalized
[2026-05-27 20:11:27] [INFO ] Computed 5 invariants in 0 ms
Computed 5 P flows in 0 ms.
Exported basis to /tmp/petrispot-output-4296315185318086852.kers
Total runtime 1 ms.
[2026-05-27 20:11:27] [INFO ] Implicit Places using invariants in 98 ms returned [20]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 99 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 73/527 places, 323/729 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 71 transition count 321
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 71 transition count 321
Applied a total of 4 rules in 3 ms. Remains 71 /73 variables (removed 2) and now considering 321/323 (removed 2) transitions.
[2026-05-27 20:11:27] [INFO ] Flow matrix only has 86 transitions (discarded 235 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14867592159543746178.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4566764827236067902.kers'
[2026-05-27 20:11:27] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14867592159543746178.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4566764827236067902.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 86 rows 71 cols 200 entries
Finished phase 1 with 46 SingleSign rule and 21 generalized
[2026-05-27 20:11:27] [INFO ] Computed 4 invariants in 0 ms
Computed 4 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-4566764827236067902.kers
Total runtime 1 ms.
[2026-05-27 20:11:27] [INFO ] Implicit Places using invariants in 88 ms returned []
[2026-05-27 20:11:27] [INFO ] Flow matrix only has 86 transitions (discarded 235 similar events)
[2026-05-27 20:11:27] [INFO ] Invariant cache hit.
[2026-05-27 20:11:28] [INFO ] Implicit Places using invariants and state equation in 143 ms returned []
Implicit Place search using SMT with State Equation took 233 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 71/527 places, 321/729 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 373 ms. Remains : 71/527 places, 321/729 transitions.
[2026-05-27 20:11:28] [INFO ] Flatten gal took : 6 ms
[2026-05-27 20:11:28] [INFO ] Flatten gal took : 7 ms
[2026-05-27 20:11:28] [INFO ] Input system was already deterministic with 321 transitions.
[2026-05-27 20:11:28] [INFO ] Flatten gal took : 7 ms
[2026-05-27 20:11:28] [INFO ] Flatten gal took : 7 ms
[2026-05-27 20:11:28] [INFO ] Time to serialize gal into /tmp/CTLCardinality11816246967115057256.gal : 3 ms
[2026-05-27 20:11:28] [INFO ] Time to serialize properties into /tmp/CTLCardinality4194950756354505087.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/CTLCardinality11816246967115057256.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4194950756354505087.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,27118,0.645929,15488,2,3144,5,45618,6,0,587,35168,0
Converting to forward existential form...Done !
original formula: AG((((Node5WantsToManageTheBreakDownOfNode8>0) + AX(AX(FALSE))) + EF(!(E(((Node8HasAskedItsLeafSetToRxToReplaceNode15>=1)&&(Node16HasAske...206
=> equivalent forward existential formula: [(EY(EY(((FwdU(Init,TRUE) * !(E(TRUE U !(E(((Node8HasAskedItsLeafSetToRxToReplaceNode15>=1)&&(Node16HasAskedItsL...278
Reverse transition relation is NOT exact ! Due to transitions t1, t6, t7, t8, t9, t10, t11, t12, t13, t18, t19, t20, t21, t22, t23, t24, t26, t27, t28, t29...1721
(forward)formula 0,1,2.57369,67152,1,0,929,307682,668,333,3842,257602,664
FORMULA LeafsetExtension-PT-S16C2-CTLCardinality-2024-14 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is TRUE !
***************************************
ITS tools runner thread asked to quit. Dying gracefully.
[2026-05-27 20:11:30] [INFO ] Flatten gal took : 14 ms
[2026-05-27 20:11:30] [INFO ] Flatten gal took : 22 ms
Total runtime 108091 ms.
BK_STOP 1779912690878
--------------------
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="LeafsetExtension-PT-S16C2"
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 LeafsetExtension-PT-S16C2, 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 r162-smll-177961107900473"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/LeafsetExtension-PT-S16C2.tgz
mv LeafsetExtension-PT-S16C2 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 ;