About the Execution of 2024-gold for MultiCrashLeafsetExtension-PT-S32C11
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15691.000 | 3600000.00 | 3723790.00 | 10122.90 | 1 ? 1 1 ? 1 1 1 1 ? ? 1 1 1 ? 1 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r139-smll-174876533200063.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-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-5832
Executing tool gold2024
Input is MultiCrashLeafsetExtension-PT-S32C11, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-174876533200063
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 35M
-rw-r--r-- 1 mcc users 13K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 79K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.6K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 29K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 167K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 20K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.0K May 29 14:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 14:32 equiv_col
-rw-r--r-- 1 mcc users 7 May 29 14:32 instance
-rw-r--r-- 1 mcc users 6 May 29 14:32 iscolored
-rw-r--r-- 1 mcc users 35M May 29 14:32 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1748934096921
Invoking MCC driver with
BK_TOOL=gold2024
BK_EXAMINATION=UpperBounds
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C11
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
UpperBounds PT
Running Version 202405141337
[2025-06-03 07:01:38] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2025-06-03 07:01:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-03 07:01:41] [INFO ] Load time of PNML (sax parser for PT used): 2041 ms
[2025-06-03 07:01:41] [INFO ] Transformed 34406 places.
[2025-06-03 07:01:41] [INFO ] Transformed 51525 transitions.
[2025-06-03 07:01:41] [INFO ] Parsed PT model containing 34406 places and 51525 transitions and 192310 arcs in 2545 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 61 ms.
Current structural bounds on expressions (Initially) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[+inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf]
Current structural bounds on expressions (Before main loop) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[+inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf]
[2025-06-03 07:01:42] [INFO ] Flow matrix only has 50469 transitions (discarded 1056 similar events)
// Phase 1: matrix 50469 rows 34406 cols
[2025-06-03 07:02:04] [INFO ] Computed 1963 invariants in 21987 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[33, 1, 99, 33, 33, 99, 33, 99, 33, 1, 99, 33, 1, 99, 1, 99]
RANDOM walk for 10000 steps (88 resets) in 629 ms. (15 steps per ms)
BEST_FIRST walk for 160014 steps (208 resets) in 1596 ms. (100 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[33, 1, 99, 33, 33, 99, 33, 99, 33, 1, 99, 33, 1, 99, 1, 99]
[2025-06-03 07:02:06] [INFO ] Flow matrix only has 50469 transitions (discarded 1056 similar events)
[2025-06-03 07:02:06] [INFO ] Invariant cache hit.
[2025-06-03 07:02:11] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed... while checking expression at index 0
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:299)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:826)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2249)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:219)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:910)
at fr.lip6.move.gal.application.Application.start(Application.java:189)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:208)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:651)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:588)
at org.eclipse.equinox.launcher.Main.run(Main.java:1459)
at org.eclipse.equinox.launcher.Main.main(Main.java:1432)
Current structural bounds on expressions (after SMT) : Max Seen:[1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[33, 1, 99, 33, 33, 99, 33, 99, 33, 1, 99, 33, 1, 99, 1, 99]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[33, 1, 99, 33, 33, 99, 33, 99, 33, 1, 99, 33, 1, 99, 1, 99]
Support contains 16 out of 34406 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 34406/34406 places, 51525/51525 transitions.
Graph (complete) has 112391 edges and 34406 vertex of which 34348 are kept as prefixes of interest. Removing 58 places using SCC suffix rule.149 ms
Discarding 58 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 11604 transitions
Trivial Post-agglo rules discarded 11604 transitions
Performed 11604 trivial Post agglomeration. Transition count delta: 11604
Iterating post reduction 0 with 11604 rules applied. Total rules applied 11605 place count 34348 transition count 39921
Reduce places removed 11604 places and 0 transitions.
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Iterating post reduction 1 with 11610 rules applied. Total rules applied 23215 place count 22744 transition count 39915
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 23221 place count 22738 transition count 39915
Performed 726 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 726 Pre rules applied. Total rules applied 23221 place count 22738 transition count 39189
Deduced a syphon composed of 726 places in 83 ms
Reduce places removed 726 places and 0 transitions.
Iterating global reduction 3 with 1452 rules applied. Total rules applied 24673 place count 22012 transition count 39189
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 64 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 24739 place count 21979 transition count 39156
Free-agglomeration rule (complex) applied 1577 times.
Iterating global reduction 3 with 1577 rules applied. Total rules applied 26316 place count 21979 transition count 37579
Reduce places removed 1577 places and 0 transitions.
Iterating post reduction 3 with 1577 rules applied. Total rules applied 27893 place count 20402 transition count 37579
Partial Free-agglomeration rule applied 5268 times.
Drop transitions (Partial Free agglomeration) removed 5268 transitions
Iterating global reduction 4 with 5268 rules applied. Total rules applied 33161 place count 20402 transition count 37579
Applied a total of 33161 rules in 19882 ms. Remains 20402 /34406 variables (removed 14004) and now considering 37579/51525 (removed 13946) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 19908 ms. Remains : 20402/34406 places, 37579/51525 transitions.
[2025-06-03 07:03:47] [INFO ] Flow matrix only has 36014 transitions (discarded 1565 similar events)
// Phase 1: matrix 36014 rows 20402 cols
[2025-06-03 07:04:08] [INFO ] Computed 1905 invariants in 21589 ms
Current structural bounds on expressions (after invariants) : Max Seen:[1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 2, 1, 1, 2, 1, 2, 1, 1, 2, 1, 1, 2, 1, 2]
FORMULA MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-03 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-00 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
RANDOM walk for 218250 steps (3233 resets) in 30001 ms. (7 steps per ms)
FORMULA MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-06 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 4127224 steps (6130 resets) in 65013 ms. (63 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 1] Max Struct:[1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 1, 2]
[2025-06-03 07:05:43] [INFO ] Flow matrix only has 36014 transitions (discarded 1565 similar events)
[2025-06-03 07:05:43] [INFO ] Invariant cache hit.
[2025-06-03 07:05:49] [INFO ] [Real]Absence check using 65 positive place invariants in 1304 ms returned sat
[2025-06-03 07:05:50] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 1256 ms returned sat
[2025-06-03 07:06:28] [INFO ] [Real]Absence check using state equation in 38509 ms returned unknown
[2025-06-03 07:06:33] [INFO ] [Real]Absence check using 65 positive place invariants in 1141 ms returned sat
[2025-06-03 07:06:34] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 409 ms returned unsat
[2025-06-03 07:06:39] [INFO ] [Real]Absence check using 65 positive place invariants in 1434 ms returned sat
[2025-06-03 07:06:41] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 1803 ms returned sat
[2025-06-03 07:07:19] [INFO ] [Real]Absence check using state equation in 37886 ms returned unknown
[2025-06-03 07:07:24] [INFO ] [Real]Absence check using 65 positive place invariants in 1238 ms returned sat
[2025-06-03 07:07:24] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 140 ms returned unsat
[2025-06-03 07:07:29] [INFO ] [Real]Absence check using 65 positive place invariants in 1319 ms returned sat
[2025-06-03 07:07:30] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 541 ms returned unsat
[2025-06-03 07:07:35] [INFO ] [Real]Absence check using 65 positive place invariants in 1163 ms returned sat
[2025-06-03 07:07:36] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 1202 ms returned sat
[2025-06-03 07:08:15] [INFO ] [Real]Absence check using state equation in 38713 ms returned unknown
[2025-06-03 07:08:20] [INFO ] [Real]Absence check using 65 positive place invariants in 1439 ms returned sat
[2025-06-03 07:08:22] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 1507 ms returned sat
[2025-06-03 07:09:00] [INFO ] [Real]Absence check using state equation in 38070 ms returned unknown
[2025-06-03 07:09:05] [INFO ] [Real]Absence check using 65 positive place invariants in 1114 ms returned sat
[2025-06-03 07:09:06] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 1140 ms returned sat
[2025-06-03 07:09:45] [INFO ] [Real]Absence check using state equation in 38907 ms returned unknown
[2025-06-03 07:09:50] [INFO ] [Real]Absence check using 65 positive place invariants in 1102 ms returned sat
[2025-06-03 07:09:51] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 1107 ms returned sat
[2025-06-03 07:10:30] [INFO ] [Real]Absence check using state equation in 38999 ms returned unknown
[2025-06-03 07:10:35] [INFO ] [Real]Absence check using 65 positive place invariants in 1129 ms returned sat
[2025-06-03 07:10:36] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 1508 ms returned sat
[2025-06-03 07:11:15] [INFO ] [Real]Absence check using state equation in 38425 ms returned unknown
[2025-06-03 07:11:20] [INFO ] [Real]Absence check using 65 positive place invariants in 1083 ms returned sat
[2025-06-03 07:11:20] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 140 ms returned unsat
[2025-06-03 07:11:25] [INFO ] [Real]Absence check using 65 positive place invariants in 1116 ms returned sat
[2025-06-03 07:11:26] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 1265 ms returned sat
[2025-06-03 07:12:05] [INFO ] [Real]Absence check using state equation in 38774 ms returned unknown
[2025-06-03 07:12:10] [INFO ] [Real]Absence check using 65 positive place invariants in 1071 ms returned sat
[2025-06-03 07:12:10] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 120 ms returned unsat
Current structural bounds on expressions (after SMT) : Max Seen:[0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 1] Max Struct:[1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1]
FORMULA MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-15 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-13 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-07 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-05 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-02 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 2, 1, 1, 1]
Support contains 8 out of 20402 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 20402/20402 places, 37579/37579 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 20402 transition count 37576
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 1 with 3 rules applied. Total rules applied 6 place count 20399 transition count 37576
Free-agglomeration rule (complex) applied 6 times.
Iterating global reduction 2 with 6 rules applied. Total rules applied 12 place count 20399 transition count 37570
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 18 place count 20393 transition count 37570
Partial Free-agglomeration rule applied 1 times.
Drop transitions (Partial Free agglomeration) removed 1 transitions
Iterating global reduction 3 with 1 rules applied. Total rules applied 19 place count 20393 transition count 37570
Applied a total of 19 rules in 5445 ms. Remains 20393 /20402 variables (removed 9) and now considering 37570/37579 (removed 9) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 5445 ms. Remains : 20393/20402 places, 37570/37579 transitions.
[2025-06-03 07:12:15] [INFO ] Flow matrix only has 36005 transitions (discarded 1565 similar events)
// Phase 1: matrix 36005 rows 20393 cols
[2025-06-03 07:12:34] [INFO ] Computed 1905 invariants in 18200 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 2, 1, 1, 1]
RANDOM walk for 224903 steps (3333 resets) in 30001 ms. (7 steps per ms)
FORMULA MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-11 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 2403557 steps (3571 resets) in 35007 ms. (68 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 2, 1, 1]
[2025-06-03 07:13:39] [INFO ] Flow matrix only has 36005 transitions (discarded 1565 similar events)
[2025-06-03 07:13:39] [INFO ] Invariant cache hit.
[2025-06-03 07:13:43] [INFO ] [Real]Absence check using 65 positive place invariants in 1088 ms returned sat
[2025-06-03 07:13:44] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 1223 ms returned sat
[2025-06-03 07:14:24] [INFO ] [Real]Absence check using state equation in 39237 ms returned unknown
[2025-06-03 07:14:28] [INFO ] [Real]Absence check using 65 positive place invariants in 1085 ms returned sat
[2025-06-03 07:14:29] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 1091 ms returned sat
[2025-06-03 07:15:09] [INFO ] [Real]Absence check using state equation in 39352 ms returned unknown
[2025-06-03 07:15:13] [INFO ] [Real]Absence check using 65 positive place invariants in 1127 ms returned sat
[2025-06-03 07:15:15] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 1435 ms returned sat
[2025-06-03 07:15:54] [INFO ] [Real]Absence check using state equation in 38785 ms returned unknown
[2025-06-03 07:15:58] [INFO ] [Real]Absence check using 65 positive place invariants in 1109 ms returned sat
[2025-06-03 07:15:59] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 1026 ms returned sat
[2025-06-03 07:16:39] [INFO ] [Real]Absence check using state equation in 39257 ms returned unknown
[2025-06-03 07:16:44] [INFO ] [Real]Absence check using 65 positive place invariants in 1270 ms returned sat
[2025-06-03 07:16:45] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 1477 ms returned sat
[2025-06-03 07:17:24] [INFO ] [Real]Absence check using state equation in 38637 ms returned unknown
[2025-06-03 07:17:29] [INFO ] [Real]Absence check using 65 positive place invariants in 1119 ms returned sat
[2025-06-03 07:17:30] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 1138 ms returned sat
[2025-06-03 07:18:09] [INFO ] [Real]Absence check using state equation in 38964 ms returned unknown
[2025-06-03 07:18:14] [INFO ] [Real]Absence check using 65 positive place invariants in 1114 ms returned sat
[2025-06-03 07:18:15] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 1098 ms returned sat
[2025-06-03 07:18:54] [INFO ] [Real]Absence check using state equation in 38944 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 2, 1, 1]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 2, 1, 1]
Support contains 7 out of 20393 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 20393/20393 places, 37570/37570 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 20393 transition count 37569
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 20392 transition count 37569
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 3 place count 20392 transition count 37568
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 4 place count 20391 transition count 37568
Applied a total of 4 rules in 3798 ms. Remains 20391 /20393 variables (removed 2) and now considering 37568/37570 (removed 2) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3798 ms. Remains : 20391/20393 places, 37568/37570 transitions.
[2025-06-03 07:18:58] [INFO ] Flow matrix only has 36003 transitions (discarded 1565 similar events)
// Phase 1: matrix 36003 rows 20391 cols
[2025-06-03 07:19:19] [INFO ] Computed 1905 invariants in 21284 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 2, 1, 1]
RANDOM walk for 222078 steps (3291 resets) in 30001 ms. (7 steps per ms)
BEST_FIRST walk for 2257626 steps (3354 resets) in 35007 ms. (64 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 2, 1, 1]
[2025-06-03 07:20:24] [INFO ] Flow matrix only has 36003 transitions (discarded 1565 similar events)
[2025-06-03 07:20:24] [INFO ] Invariant cache hit.
[2025-06-03 07:20:29] [INFO ] [Real]Absence check using 65 positive place invariants in 1092 ms returned sat
[2025-06-03 07:20:30] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 1488 ms returned sat
[2025-06-03 07:21:09] [INFO ] [Real]Absence check using state equation in 38607 ms returned unknown
[2025-06-03 07:21:13] [INFO ] [Real]Absence check using 65 positive place invariants in 1047 ms returned sat
[2025-06-03 07:21:15] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 1523 ms returned sat
[2025-06-03 07:21:54] [INFO ] [Real]Absence check using state equation in 38940 ms returned unknown
[2025-06-03 07:21:59] [INFO ] [Real]Absence check using 65 positive place invariants in 1099 ms returned sat
[2025-06-03 07:22:00] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 1557 ms returned sat
[2025-06-03 07:22:39] [INFO ] [Real]Absence check using state equation in 38535 ms returned unknown
[2025-06-03 07:22:44] [INFO ] [Real]Absence check using 65 positive place invariants in 1094 ms returned sat
[2025-06-03 07:22:45] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 1150 ms returned sat
[2025-06-03 07:23:24] [INFO ] [Real]Absence check using state equation in 38901 ms returned unknown
[2025-06-03 07:23:29] [INFO ] [Real]Absence check using 65 positive place invariants in 1086 ms returned sat
[2025-06-03 07:23:30] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 935 ms returned sat
[2025-06-03 07:24:09] [INFO ] [Real]Absence check using state equation in 39260 ms returned unknown
[2025-06-03 07:24:14] [INFO ] [Real]Absence check using 65 positive place invariants in 1063 ms returned sat
[2025-06-03 07:24:15] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 1059 ms returned sat
[2025-06-03 07:24:54] [INFO ] [Real]Absence check using state equation in 39077 ms returned unknown
[2025-06-03 07:24:59] [INFO ] [Real]Absence check using 65 positive place invariants in 1089 ms returned sat
[2025-06-03 07:25:00] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 1075 ms returned sat
[2025-06-03 07:25:39] [INFO ] [Real]Absence check using state equation in 39128 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 2, 1, 1]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 2, 1, 1]
Support contains 7 out of 20391 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 20391/20391 places, 37568/37568 transitions.
Applied a total of 0 rules in 1851 ms. Remains 20391 /20391 variables (removed 0) and now considering 37568/37568 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1851 ms. Remains : 20391/20391 places, 37568/37568 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 20391/20391 places, 37568/37568 transitions.
Applied a total of 0 rules in 1876 ms. Remains 20391 /20391 variables (removed 0) and now considering 37568/37568 (removed 0) transitions.
[2025-06-03 07:25:43] [INFO ] Flow matrix only has 36003 transitions (discarded 1565 similar events)
[2025-06-03 07:25:43] [INFO ] Invariant cache hit.
[2025-06-03 07:26:19] [INFO ] Performed 3467/20391 implicitness test of which 146 returned IMPLICIT in 30 seconds.
[2025-06-03 07:26:49] [INFO ] Performed 5830/20391 implicitness test of which 271 returned IMPLICIT in 60 seconds.
[2025-06-03 07:27:19] [INFO ] Performed 7904/20391 implicitness test of which 407 returned IMPLICIT in 90 seconds.
[2025-06-03 07:27:49] [INFO ] Performed 10477/20391 implicitness test of which 596 returned IMPLICIT in 120 seconds.
[2025-06-03 07:28:19] [INFO ] Performed 12146/20391 implicitness test of which 717 returned IMPLICIT in 150 seconds.
[2025-06-03 07:28:23] [INFO ] Implicit Places using invariants in 160067 ms returned [4, 7, 20, 35, 52, 71, 92, 115, 140, 167, 196, 227, 260, 295, 332, 371, 412, 454, 495, 534, 571, 606, 639, 670, 699, 726, 751, 774, 795, 814, 831, 846, 859, 895, 901, 914, 927, 942, 959, 978, 999, 1022, 1047, 1074, 1103, 1134, 1167, 1202, 1239, 1278, 1318, 1357, 1394, 1429, 1462, 1493, 1522, 1549, 1574, 1597, 1618, 1637, 1654, 1669, 1682, 1695, 1731, 1737, 1750, 1763, 1776, 1791, 1808, 1827, 1848, 1871, 1896, 1923, 1952, 1983, 2016, 2051, 2088, 2126, 2163, 2198, 2231, 2262, 2291, 2318, 2343, 2366, 2387, 2406, 2423, 2438, 2451, 2464, 2477, 2513, 2519, 2532, 2545, 2558, 2571, 2586, 2603, 2622, 2643, 2666, 2691, 2718, 2747, 2778, 2811, 2846, 2882, 2917, 2950, 2981, 3010, 3037, 3062, 3085, 3106, 3125, 3142, 3157, 3170, 3183, 3196, 3209, 3245, 3251, 3264, 3277, 3290, 3303, 3316, 3331, 3348, 3367, 3388, 3411, 3436, 3463, 3492, 3523, 3556, 3590, 3623, 3654, 3683, 3710, 3735, 3758, 3779, 3798, 3815, 3830, 3843, 3856, 3869, 3882, 3895, 3931, 3937, 3950, 3963, 3976, 3989, 4002, 4015, 4030, 4047, 4066, 4087, 4110, 4135, 4162, 4191, 4222, 4254, 4285, 4314, 4341, 4366, 4389, 4410, 4429, 4446, 4461, 4474, 4487, 4500, 4513, 4526, 4539, 4575, 4581, 4594, 4607, 4620, 4633, 4646, 4659, 4672, 4687, 4704, 4723, 4744, 4767, 4792, 4819, 4848, 4878, 4907, 4934, 4959, 4982, 5003, 5022, 5039, 5054, 5067, 5080, 5093, 5106, 5119, 5132, 5145, 5181, 5187, 5200, 5213, 5226, 5239, 5252, 5265, 5278, 5291, 5306, 5323, 5342, 5363, 5386, 5411, 5438, 5466, 5493, 5518, 5541, 5562, 5581, 5598, 5613, 5626, 5639, 5652, 5665, 5678, 5691, 5704, 5717, 5753, 5759, 5772, 5785, 5798, 5811, 5824, 5837, 5850, 5863, 5876, 5891, 5908, 5927, 5948, 5971, 5996, 6022, 6047, 6070, 6091, 6110, 6127, 6142, 6155, 6168, 6181, 6194, 6207, 6220, 6233, 6246, 6259, 6295, 6301, 6314, 6327, 6340, 6353, 6366, 6379, 6392, 6405, 6418, 6431, 6446, 6463, 6482, 6503, 6526, 6550, 6573, 6594, 6613, 6630, 6645, 6658, 6671, 6684, 6697, 6710, 6723, 6736, 6749, 6762, 6775, 6811, 6817, 6830, 6843, 6856, 6869, 6882, 6895, 6908, 6921, 6934, 6947, 6960, 6975, 6992, 7011, 7032, 7054, 7075, 7094, 7111, 7126, 7139, 7152, 7165, 7178, 7191, 7204, 7217, 7230, 7243, 7256, 7269, 7305, 7311, 7324, 7337, 7350, 7363, 7376, 7389, 7402, 7415, 7428, 7441, 7454, 7467, 7482, 7499, 7518, 7538, 7557, 7574, 7589, 7602, 7615, 7628, 7641, 7654, 7667, 7680, 7693, 7706, 7719, 7732, 7745, 7781, 7787, 7800, 7813, 7826, 7839, 7852, 7865, 7878, 7891, 7904, 7917, 7930, 7943, 7956, 7971, 7988, 8006, 8023, 8038, 8051, 8064, 8077, 8090, 8103, 8116, 8129, 8142, 8155, 8168, 8182, 8195, 8208, 8244, 8250, 8263, 8276, 8289, 8302, 8315, 8328, 8341, 8354, 8367, 8380, 8393, 8406, 8419, 8432, 8447, 8463, 8478, 8491, 8504, 8517, 8530, 8543, 8556, 8569, 8582, 8595, 8608, 8621, 8634, 8647, 8660, 8696, 8702, 8715, 8728, 8741, 8754, 8767, 8780, 8793, 8806, 8819, 8832, 8845, 8858, 8871, 8884, 8897, 8911, 8924, 8937, 8950, 8963, 8976, 8989, 9002, 9015, 9028, 9041, 9054, 9067, 9080, 9093, 9106, 9142, 9148, 9161, 9174, 9187, 9200, 9213, 9226, 9239, 9252, 9265, 9278, 9291, 9304, 9317, 9330, 9343, 9356, 9369, 9382, 9395, 9408, 9421, 9434, 9447, 9460, 9473, 9486, 9499, 9512, 9525, 9538, 9551, 9587, 9589, 9592, 9605, 9618, 9631, 9644, 9657, 9670, 9683, 9696, 9709, 9722, 9735, 9748, 9761, 9774, 9787, 9800, 9813, 9826, 9839, 9852, 9865, 9878, 9891, 9904, 9917, 9930, 9943, 9956, 9969, 9982, 9995, 10031, 10037, 10050, 10063, 10076, 10089, 10102, 10115, 10128, 10141, 10154, 10167, 10180, 10193, 10206, 10219, 10232, 10245, 10258, 10271, 10284, 10297, 10310, 10323, 10336, 10349, 10362, 10375, 10388, 10401, 10414, 10427, 10440, 10476, 10482, 10495, 10508, 10521, 10534, 10547, 10560, 10573, 10586, 10599, 10612, 10625, 10638, 10651, 10664, 10677, 10690, 10704, 10717, 10730, 10743, 10756, 10769, 10782, 10795, 10808, 10821, 10834, 10847, 10860, 10873, 10886, 10922, 10928, 10941, 10954, 10967, 10980, 10993, 11006, 11019, 11032, 11045, 11058, 11071, 11084, 11097, 11110, 11123, 11138, 11154, 11169, 11182, 11195, 11208, 11221, 11234, 11247, 11260, 11273, 11286, 11299, 11312, 11325, 11338, 11374, 11380, 11393, 11406, 11419, 11432, 11445, 11458, 11471, 11484, 11497, 11510, 11523, 11536, 11549, 11562, 11577, 11594, 11612, 11629, 11644, 11657, 11670, 11683, 11696, 11709, 11722, 11735, 11748, 11761, 11774, 11787, 11800, 11836, 11842, 11855, 11868, 11881, 11894, 11907, 11920, 11933, 11946, 11959, 11972, 11985, 11998, 12011, 12026, 12043, 12062, 12082, 12101, 12118, 12133, 12146, 12159, 12172, 12185, 12198, 12211, 12224, 12237, 12250, 12263, 12276, 12312]
[2025-06-03 07:28:23] [INFO ] Actually due to overlaps returned [895, 1731, 2513, 3245, 3931, 4575, 5181, 5753, 6295, 6811, 7305, 7781, 8244, 8696, 9142, 9587, 10031, 10476, 10922, 11374, 11836, 12312, 639, 670, 699, 726, 751, 774, 795, 814, 831, 846, 859, 1493, 1522, 1549, 1574, 1597, 1618, 1637, 1654, 1669, 1682, 1695, 2291, 2318, 2343, 2366, 2387, 2406, 2423, 2438, 2451, 2464, 2477, 3037, 3062, 3085, 3106, 3125, 3142, 3157, 3170, 3183, 3196, 3209, 3735, 3758, 3779, 3798, 3815, 3830, 3843, 3856, 3869, 3882, 3895, 4389, 4410, 4429, 4446, 4461, 4474, 4487, 4500, 4513, 4526, 4539, 5003, 5022, 5039, 5054, 5067, 5080, 5093, 5106, 5119, 5132, 5145, 5581, 5598, 5613, 5626, 5639, 5652, 5665, 5678, 5691, 5704, 5717, 6127, 6142, 6155, 6168, 6181, 6194, 6207, 6220, 6233, 6246, 6259, 6645, 6658, 6671, 6684, 6697, 6710, 6723, 6736, 6749, 6762, 6775, 7139, 7152, 7165, 7178, 7191, 7204, 7217, 7230, 7243, 7256, 7269, 7615, 7628, 7641, 7654, 7667, 7680, 7693, 7706, 7719, 7732, 7745, 8077, 8090, 8103, 8116, 8129, 8142, 8155, 8168, 8182, 8195, 8208, 8530, 8543, 8556, 8569, 8582, 8595, 8608, 8621, 8634, 8647, 8660, 8976, 8989, 9002, 9015, 9028, 9041, 9054, 9067, 9080, 9093, 9106, 9421, 9434, 9447, 9460, 9473, 9486, 9499, 9512, 9525, 9538, 9551, 9865, 9878, 9891, 9904, 9917, 9930, 9943, 9956, 9969, 9982, 9995, 10310, 10323, 10336, 10349, 10362, 10375, 10388, 10401, 10414, 10427, 10440, 10756, 10769, 10782, 10795, 10808, 10821, 10834, 10847, 10860, 10873, 10886, 11208, 11221, 11234, 11247, 11260, 11273, 11286, 11299, 11312, 11325, 11338, 11670, 11683, 11696, 11709, 11722, 11735, 11748, 11761, 11774, 11787, 11800, 12146, 12159, 12172, 12185, 12198, 12211, 12224, 12237, 12250, 12263, 12276, 4, 9589]
Discarding 266 places :
Implicit Place search using SMT only with invariants took 160134 ms to find 266 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 20125/20391 places, 37568/37568 transitions.
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 20125 transition count 37566
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 4 place count 20123 transition count 37566
Applied a total of 4 rules in 3419 ms. Remains 20123 /20125 variables (removed 2) and now considering 37566/37568 (removed 2) transitions.
[2025-06-03 07:28:26] [INFO ] Flow matrix only has 36001 transitions (discarded 1565 similar events)
// Phase 1: matrix 36001 rows 20123 cols
[2025-06-03 07:28:47] [INFO ] Computed 1639 invariants in 20826 ms
[2025-06-03 07:29:23] [INFO ] Performed 5016/20123 implicitness test of which 147 returned IMPLICIT in 30 seconds.
[2025-06-03 07:29:53] [INFO ] Performed 8230/20123 implicitness test of which 284 returned IMPLICIT in 60 seconds.
[2025-06-03 07:30:23] [INFO ] Performed 11582/20123 implicitness test of which 441 returned IMPLICIT in 90 seconds.
[2025-06-03 07:30:54] [INFO ] Performed 13599/20123 implicitness test of which 561 returned IMPLICIT in 120 seconds.
[2025-06-03 07:31:25] [INFO ] Performed 16108/20123 implicitness test of which 693 returned IMPLICIT in 151 seconds.
[2025-06-03 07:31:27] [INFO ] Implicit Places using invariants in 180893 ms returned [6, 19, 34, 51, 70, 91, 114, 139, 166, 195, 226, 259, 294, 331, 370, 411, 453, 494, 533, 570, 605, 887, 900, 913, 928, 945, 964, 985, 1008, 1033, 1060, 1089, 1120, 1153, 1188, 1225, 1264, 1304, 1343, 1380, 1415, 1448, 1711, 1724, 1737, 1750, 1765, 1782, 1801, 1822, 1845, 1870, 1897, 1926, 1957, 1990, 2025, 2062, 2100, 2137, 2172, 2205, 2236, 2481, 2494, 2507, 2520, 2533, 2548, 2565, 2584, 2605, 2628, 2653, 2680, 2709, 2740, 2773, 2808, 2844, 2879, 2912, 2943, 2972, 3201, 3214, 3227, 3240, 3253, 3266, 3281, 3298, 3317, 3338, 3361, 3386, 3413, 3442, 3473, 3506, 3540, 3573, 3604, 3633, 3660, 3875, 3888, 3901, 3914, 3927, 3940, 3953, 3968, 3985, 4004, 4025, 4048, 4073, 4100, 4129, 4160, 4192, 4223, 4252, 4279, 4304, 4507, 4520, 4533, 4546, 4559, 4572, 4585, 4598, 4613, 4630, 4649, 4670, 4693, 4718, 4745, 4774, 4804, 4833, 4860, 4885, 4908, 5101, 5114, 5127, 5140, 5153, 5166, 5179, 5192, 5205, 5220, 5237, 5256, 5277, 5300, 5325, 5352, 5380, 5407, 5432, 5455, 5476, 5661, 5674, 5687, 5700, 5713, 5726, 5739, 5752, 5765, 5778, 5793, 5810, 5829, 5850, 5873, 5898, 5924, 5949, 5972, 5993, 6012, 6191, 6204, 6217, 6230, 6243, 6256, 6269, 6282, 6295, 6308, 6321, 6336, 6353, 6372, 6393, 6416, 6440, 6463, 6484, 6503, 6520, 6695, 6708, 6721, 6734, 6747, 6760, 6773, 6786, 6799, 6812, 6825, 6838, 6853, 6870, 6889, 6910, 6932, 6953, 6972, 6989, 7004, 7177, 7190, 7203, 7216, 7229, 7242, 7255, 7268, 7281, 7294, 7307, 7320, 7333, 7348, 7365, 7384, 7404, 7423, 7440, 7455, 7468, 7641, 7654, 7667, 7680, 7693, 7706, 7719, 7732, 7745, 7758, 7771, 7784, 7797, 7810, 7825, 7842, 7860, 7877, 7892, 7905, 7918, 8092, 8105, 8118, 8131, 8144, 8157, 8170, 8183, 8196, 8209, 8222, 8235, 8248, 8261, 8274, 8289, 8305, 8320, 8333, 8346, 8359, 8532, 8545, 8558, 8571, 8584, 8597, 8610, 8623, 8636, 8649, 8662, 8675, 8688, 8701, 8714, 8727, 8741, 8754, 8767, 8780, 8793, 8966, 8979, 8992, 9005, 9018, 9031, 9044, 9057, 9070, 9083, 9096, 9109, 9122, 9135, 9148, 9161, 9174, 9187, 9200, 9213, 9226, 9397, 9410, 9423, 9436, 9449, 9462, 9475, 9488, 9501, 9514, 9527, 9540, 9553, 9566, 9579, 9592, 9605, 9618, 9631, 9644, 9657, 9829, 9842, 9855, 9868, 9881, 9894, 9907, 9920, 9933, 9946, 9959, 9972, 9985, 9998, 10011, 10024, 10037, 10050, 10063, 10076, 10089, 10262, 10275, 10288, 10301, 10314, 10327, 10340, 10353, 10366, 10379, 10392, 10405, 10418, 10431, 10444, 10457, 10470, 10484, 10497, 10510, 10523, 10696, 10709, 10722, 10735, 10748, 10761, 10774, 10787, 10800, 10813, 10826, 10839, 10852, 10865, 10878, 10891, 10906, 10922, 10937, 10950, 10963, 11136, 11149, 11162, 11175, 11188, 11201, 11214, 11227, 11240, 11253, 11266, 11279, 11292, 11305, 11318, 11333, 11350, 11368, 11385, 11400, 11413, 11586, 11599, 11612, 11625, 11638, 11651, 11664, 11677, 11690, 11703, 11716, 11729, 11742, 11755, 11770, 11787, 11806, 11826, 11845, 11862, 11877, 12050, 12063, 12076, 12089, 12102, 12115, 12128, 12141, 12154, 12167, 12180, 12193, 12206, 12221, 12238, 12257, 12278, 12300, 12321, 12340, 12357, 12372, 12385, 12398, 12411, 12424, 12437, 12450, 12463, 12476, 12489, 12502, 12538, 12544, 12557, 12570, 12583, 12596, 12609, 12622, 12635, 12648, 12661, 12674, 12687, 12702, 12719, 12738, 12759, 12782, 12806, 12829, 12850, 12869, 12886, 12901, 12914, 12927, 12940, 12953, 12966, 12979, 12992, 13005, 13018, 13054, 13060, 13073, 13086, 13099, 13112, 13125, 13138, 13151, 13164, 13177, 13190, 13205, 13222, 13241, 13262, 13285, 13310, 13336, 13361, 13384, 13405, 13424, 13441, 13456, 13469, 13482, 13495, 13508, 13521, 13534, 13547, 13560, 13596, 13602, 13615, 13628, 13641, 13654, 13667, 13680, 13693, 13706, 13719, 13734, 13751, 13770, 13791, 13814, 13840, 13867, 13895, 13922, 13947, 13970, 13991, 14010, 14027, 14042, 14055, 14068, 14081, 14094, 14107, 14120, 14133, 14169, 14175, 14188, 14201, 14214, 14227, 14240, 14253, 14266, 14279, 14294, 14311, 14330, 14351, 14374, 14399, 14426, 14455, 14485, 14514, 14541, 14566, 14589, 14610, 14629, 14646, 14661, 14674, 14687, 14700, 14713, 14726, 14739, 14775, 14781, 14794, 14807, 14820, 14833, 14846, 14859, 14872, 14887, 14904, 14923, 14944, 14967, 14992, 15019, 15048, 15079, 15111, 15142, 15171, 15198, 15223, 15246, 15267, 15286, 15303, 15318, 15331, 15344, 15357, 15370, 15383, 15419, 15425, 15438, 15451, 15464, 15477, 15490, 15503, 15518, 15535, 15554, 15575, 15598, 15623, 15650, 15679, 15710, 15743, 15777, 15810, 15841, 15870, 15897, 15922, 15945, 15966, 15985, 16002, 16017, 16030, 16043, 16056, 16069, 16105, 16111, 16124, 16137, 16150, 16163, 16176, 16191, 16208, 16227, 16248, 16271, 16296, 16323, 16352, 16383, 16416, 16451, 16487, 16522, 16555, 16586, 16615]
[2025-06-03 07:31:27] [INFO ] Actually due to overlaps returned [12538, 13054, 13596, 14169, 14775, 15419, 16105, 6, 19, 34, 51, 70, 91, 114, 139, 166, 195, 226, 259, 294, 331, 370, 411, 453, 494, 533, 570, 605, 887, 900, 913, 928, 945, 964, 985, 1008, 1033, 1060, 1089, 1120, 1153, 1188, 1225, 1264, 1304, 1343, 1380, 1415, 1448, 1711, 1724, 1737, 1750, 1765, 1782, 1801, 1822, 1845, 1870, 1897, 1926, 1957, 1990, 2025, 2062, 2100, 2137, 2172, 2205, 2236, 2481, 2494, 2507, 2520, 2533, 2548, 2565, 2584, 2605, 2628, 2653, 2680, 2709, 2740, 2773, 2808, 2844, 2879, 2912, 2943, 2972, 3201, 3214, 3227, 3240, 3253, 3266, 3281, 3298, 3317, 3338, 3361, 3386, 3413, 3442, 3473, 3506, 3540, 3573, 3604, 3633, 3660, 3875, 3888, 3901, 3914, 3927, 3940, 3953, 3968, 3985, 4004, 4025, 4048, 4073, 4100, 4129, 4160, 4192, 4223, 4252, 4279, 4304, 4507, 4520, 4533, 4546, 4559, 4572, 4585, 4598, 4613, 4630, 4649, 4670, 4693, 4718, 4745, 4774, 4804, 4833, 4860, 4885, 4908, 5101, 5114, 5127, 5140, 5153, 5166, 5179, 5192, 5205, 5220, 5237, 5256, 5277, 5300, 5325, 5352, 5380, 5407, 5432, 5455, 5476, 5661, 5674, 5687, 5700, 5713, 5726, 5739, 5752, 5765, 5778, 5793, 5810, 5829, 5850, 5873, 5898, 5924, 5949, 5972, 5993, 6012, 6191, 6204, 6217, 6230, 6243, 6256, 6269, 6282, 6295, 6308, 6321, 6336, 6353, 6372, 6393, 6416, 6440, 6463, 6484, 6503, 6520, 6695, 6708, 6721, 6734, 6747, 6760, 6773, 6786, 6799, 6812, 6825, 6838, 6853, 6870, 6889, 6910, 6932, 6953, 6972, 6989, 7004, 7177, 7190, 7203, 7216, 7229, 7242, 7255, 7268, 7281, 7294, 7307, 7320, 7333, 7348, 7365, 7384, 7404, 7423, 7440, 7455, 7468, 7641, 7654, 7667, 7680, 7693, 7706, 7719, 7732, 7745, 7758, 7771, 7784, 7797, 7810, 7825, 7842, 7860, 7877, 7892, 7905, 7918, 8092, 8105, 8118, 8131, 8144, 8157, 8170, 8183, 8196, 8209, 8222, 8235, 8248, 8261, 8274, 8289, 8305, 8320, 8333, 8346, 8359, 8532, 8545, 8558, 8571, 8584, 8597, 8610, 8623, 8636, 8649, 8662, 8675, 8688, 8701, 8714, 8727, 8741, 8754, 8767, 8780, 8793, 8966, 8979, 8992, 9005, 9018, 9031, 9044, 9057, 9070, 9083, 9096, 9109, 9122, 9135, 9148, 9161, 9174, 9187, 9200, 9213, 9226, 9397, 9410, 9423, 9436, 9449, 9462, 9475, 9488, 9501, 9514, 9527, 9540, 9553, 9566, 9579, 9592, 9605, 9618, 9631, 9644, 9657, 9829, 9842, 9855, 9868, 9881, 9894, 9907, 9920, 9933, 9946, 9959, 9972, 9985, 9998, 10011, 10024, 10037, 10050, 10063, 10076, 10089, 10262, 10275, 10288, 10301, 10314, 10327, 10340, 10353, 10366, 10379, 10392, 10405, 10418, 10431, 10444, 10457, 10470, 10484, 10497, 10510, 10523, 10696, 10709, 10722, 10735, 10748, 10761, 10774, 10787, 10800, 10813, 10826, 10839, 10852, 10865, 10878, 10891, 10906, 10922, 10937, 10950, 10963, 11136, 11149, 11162, 11175, 11188, 11201, 11214, 11227, 11240, 11253, 11266, 11279, 11292, 11305, 11318, 11333, 11350, 11368, 11385, 11400, 11413, 11586, 11599, 11612, 11625, 11638, 11651, 11664, 11677, 11690, 11703, 11716, 11729, 11742, 11755, 11770, 11787, 11806, 11826, 11845, 11862, 11877, 12050, 12063, 12076, 12089, 12102, 12115, 12128, 12141, 12154, 12167, 12180, 12193, 12206, 12221, 12238, 12257, 12278, 12300, 12321, 12340, 12357, 12372, 12463, 12476, 12489, 12502, 12544, 12557, 12570, 12583, 12596, 12609, 12622, 12635, 12648, 12661, 12674, 12687, 12702, 12719, 12738, 12759, 12782, 12806, 12829, 12850, 12869, 12886, 12979, 12992, 13005, 13018, 13060, 13073, 13086, 13099, 13112, 13125, 13138, 13151, 13164, 13177, 13190, 13205, 13222, 13241, 13262, 13285, 13310, 13336, 13361, 13384, 13405, 13424, 13521, 13534, 13547, 13560, 13602, 13615, 13628, 13641, 13654, 13667, 13680, 13693, 13706, 13719, 13734, 13751, 13770, 13791, 13814, 13840, 13867, 13895, 13922, 13947, 13970, 13991, 14094, 14107, 14120, 14133, 14175, 14188, 14201, 14214, 14227, 14240, 14253, 14266, 14279, 14294, 14311, 14330, 14351, 14374, 14399, 14426, 14455, 14485, 14514, 14541, 14566, 14589, 14700, 14713, 14726, 14739, 14781, 14794, 14807, 14820, 14833, 14846, 14859, 14872, 14887, 14904, 14923, 14944, 14967, 14992, 15019, 15048, 15079, 15111, 15142, 15171, 15198, 15223, 15344, 15357, 15370, 15383, 15425, 15438, 15451, 15464, 15477, 15490, 15503, 15518, 15535, 15554, 15575, 15598, 15623, 15650, 15679, 15710, 15743, 15777, 15810, 15841, 15870, 15897, 16030, 16043, 16056, 16069, 16111, 16124, 16137, 16150, 16163, 16176, 16191, 16208, 16227, 16248, 16271, 16296, 16323, 16352, 16383, 16416, 16451, 16487, 16522, 16555, 16586, 16615]
Discarding 673 places :
Implicit Place search using SMT only with invariants took 180982 ms to find 673 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 19450/20391 places, 37566/37568 transitions.
Applied a total of 0 rules in 1657 ms. Remains 19450 /19450 variables (removed 0) and now considering 37566/37566 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 3 iterations and 348082 ms. Remains : 19450/20391 places, 37566/37568 transitions.
[2025-06-03 07:31:29] [INFO ] Flow matrix only has 36001 transitions (discarded 1565 similar events)
// Phase 1: matrix 36001 rows 19450 cols
[2025-06-03 07:31:48] [INFO ] Computed 966 invariants in 18915 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 2, 1, 1]
RANDOM walk for 231578 steps (3487 resets) in 30001 ms. (7 steps per ms)
BEST_FIRST walk for 2694109 steps (3546 resets) in 35007 ms. (76 steps per ms)
FORMULA MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-12 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 2, 1]
[2025-06-03 07:32:53] [INFO ] Flow matrix only has 36001 transitions (discarded 1565 similar events)
[2025-06-03 07:32:53] [INFO ] Invariant cache hit.
[2025-06-03 07:32:58] [INFO ] [Real]Absence check using 64 positive place invariants in 1033 ms returned sat
[2025-06-03 07:32:58] [INFO ] [Real]Absence check using 64 positive and 902 generalized place invariants in 598 ms returned sat
[2025-06-03 07:33:38] [INFO ] [Real]Absence check using state equation in 39698 ms returned unknown
[2025-06-03 07:33:42] [INFO ] [Real]Absence check using 64 positive place invariants in 1052 ms returned sat
[2025-06-03 07:33:43] [INFO ] [Real]Absence check using 64 positive and 902 generalized place invariants in 510 ms returned sat
[2025-06-03 07:34:23] [INFO ] [Real]Absence check using state equation in 40095 ms returned unknown
[2025-06-03 07:34:28] [INFO ] [Real]Absence check using 64 positive place invariants in 1094 ms returned sat
[2025-06-03 07:34:28] [INFO ] [Real]Absence check using 64 positive and 902 generalized place invariants in 785 ms returned sat
[2025-06-03 07:35:08] [INFO ] [Real]Absence check using state equation in 39762 ms returned unknown
[2025-06-03 07:35:13] [INFO ] [Real]Absence check using 64 positive place invariants in 1102 ms returned sat
[2025-06-03 07:35:13] [INFO ] [Real]Absence check using 64 positive and 902 generalized place invariants in 680 ms returned sat
[2025-06-03 07:35:53] [INFO ] [Real]Absence check using state equation in 39857 ms returned unknown
[2025-06-03 07:35:58] [INFO ] [Real]Absence check using 64 positive place invariants in 1060 ms returned sat
[2025-06-03 07:35:58] [INFO ] [Real]Absence check using 64 positive and 902 generalized place invariants in 491 ms returned sat
[2025-06-03 07:36:38] [INFO ] [Real]Absence check using state equation in 39948 ms returned unknown
[2025-06-03 07:36:43] [INFO ] [Real]Absence check using 64 positive place invariants in 1094 ms returned sat
[2025-06-03 07:36:43] [INFO ] [Real]Absence check using 64 positive and 902 generalized place invariants in 828 ms returned sat
[2025-06-03 07:37:23] [INFO ] [Real]Absence check using state equation in 39720 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 2, 1]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 2, 1]
Support contains 6 out of 19450 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19450/19450 places, 37566/37566 transitions.
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 1 place count 19450 transition count 37565
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 19449 transition count 37565
Applied a total of 2 rules in 3275 ms. Remains 19449 /19450 variables (removed 1) and now considering 37565/37566 (removed 1) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3275 ms. Remains : 19449/19450 places, 37565/37566 transitions.
[2025-06-03 07:37:27] [INFO ] Flow matrix only has 35999 transitions (discarded 1566 similar events)
// Phase 1: matrix 35999 rows 19449 cols
[2025-06-03 07:37:47] [INFO ] Computed 966 invariants in 20115 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 1, 2, 1]
RANDOM walk for 227088 steps (3418 resets) in 30001 ms. (7 steps per ms)
FORMULA MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-08 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 1884308 steps (2484 resets) in 25005 ms. (75 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 2, 1]
[2025-06-03 07:38:42] [INFO ] Flow matrix only has 35999 transitions (discarded 1566 similar events)
[2025-06-03 07:38:42] [INFO ] Invariant cache hit.
[2025-06-03 07:38:47] [INFO ] [Real]Absence check using 64 positive place invariants in 1076 ms returned sat
[2025-06-03 07:38:47] [INFO ] [Real]Absence check using 64 positive and 902 generalized place invariants in 786 ms returned sat
[2025-06-03 07:39:27] [INFO ] [Real]Absence check using state equation in 39378 ms returned unknown
[2025-06-03 07:39:31] [INFO ] [Real]Absence check using 64 positive place invariants in 1043 ms returned sat
[2025-06-03 07:39:32] [INFO ] [Real]Absence check using 64 positive and 902 generalized place invariants in 529 ms returned sat
[2025-06-03 07:40:12] [INFO ] [Real]Absence check using state equation in 39937 ms returned unknown
[2025-06-03 07:40:16] [INFO ] [Real]Absence check using 64 positive place invariants in 1105 ms returned sat
[2025-06-03 07:40:17] [INFO ] [Real]Absence check using 64 positive and 902 generalized place invariants in 506 ms returned sat
[2025-06-03 07:40:57] [INFO ] [Real]Absence check using state equation in 39760 ms returned unknown
[2025-06-03 07:41:02] [INFO ] [Real]Absence check using 64 positive place invariants in 1167 ms returned sat
[2025-06-03 07:41:02] [INFO ] [Real]Absence check using 64 positive and 902 generalized place invariants in 707 ms returned sat
[2025-06-03 07:41:42] [INFO ] [Real]Absence check using state equation in 39410 ms returned unknown
[2025-06-03 07:41:46] [INFO ] [Real]Absence check using 64 positive place invariants in 1133 ms returned sat
[2025-06-03 07:41:47] [INFO ] [Real]Absence check using 64 positive and 902 generalized place invariants in 729 ms returned sat
[2025-06-03 07:42:27] [INFO ] [Real]Absence check using state equation in 39606 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 2, 1]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 2, 1]
Support contains 5 out of 19449 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19449/19449 places, 37565/37565 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 19449 transition count 37564
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 19448 transition count 37564
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 3 place count 19448 transition count 37563
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 4 place count 19447 transition count 37563
Applied a total of 4 rules in 3416 ms. Remains 19447 /19449 variables (removed 2) and now considering 37563/37565 (removed 2) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3416 ms. Remains : 19447/19449 places, 37563/37565 transitions.
[2025-06-03 07:42:30] [INFO ] Flow matrix only has 35997 transitions (discarded 1566 similar events)
// Phase 1: matrix 35997 rows 19447 cols
[2025-06-03 07:42:48] [INFO ] Computed 966 invariants in 17273 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 2, 1]
RANDOM walk for 229959 steps (3462 resets) in 30001 ms. (7 steps per ms)
BEST_FIRST walk for 2004777 steps (2642 resets) in 25005 ms. (80 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 2, 1]
[2025-06-03 07:43:43] [INFO ] Flow matrix only has 35997 transitions (discarded 1566 similar events)
[2025-06-03 07:43:43] [INFO ] Invariant cache hit.
[2025-06-03 07:43:47] [INFO ] [Real]Absence check using 64 positive place invariants in 1101 ms returned sat
[2025-06-03 07:43:48] [INFO ] [Real]Absence check using 64 positive and 902 generalized place invariants in 732 ms returned sat
[2025-06-03 07:44:28] [INFO ] [Real]Absence check using state equation in 39822 ms returned unknown
[2025-06-03 07:44:32] [INFO ] [Real]Absence check using 64 positive place invariants in 1112 ms returned sat
[2025-06-03 07:44:33] [INFO ] [Real]Absence check using 64 positive and 902 generalized place invariants in 693 ms returned sat
[2025-06-03 07:45:13] [INFO ] [Real]Absence check using state equation in 39831 ms returned unknown
[2025-06-03 07:45:17] [INFO ] [Real]Absence check using 64 positive place invariants in 1122 ms returned sat
[2025-06-03 07:45:18] [INFO ] [Real]Absence check using 64 positive and 902 generalized place invariants in 516 ms returned sat
[2025-06-03 07:45:58] [INFO ] [Real]Absence check using state equation in 39802 ms returned unknown
[2025-06-03 07:46:02] [INFO ] [Real]Absence check using 64 positive place invariants in 1117 ms returned sat
[2025-06-03 07:46:03] [INFO ] [Real]Absence check using 64 positive and 902 generalized place invariants in 503 ms returned sat
[2025-06-03 07:46:43] [INFO ] [Real]Absence check using state equation in 40005 ms returned unknown
[2025-06-03 07:46:48] [INFO ] [Real]Absence check using 64 positive place invariants in 1126 ms returned sat
[2025-06-03 07:46:48] [INFO ] [Real]Absence check using 64 positive and 902 generalized place invariants in 522 ms returned sat
[2025-06-03 07:47:28] [INFO ] [Real]Absence check using state equation in 39622 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 2, 1]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 2, 1]
Support contains 5 out of 19447 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19447/19447 places, 37563/37563 transitions.
Applied a total of 0 rules in 1485 ms. Remains 19447 /19447 variables (removed 0) and now considering 37563/37563 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1485 ms. Remains : 19447/19447 places, 37563/37563 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19447/19447 places, 37563/37563 transitions.
Applied a total of 0 rules in 1464 ms. Remains 19447 /19447 variables (removed 0) and now considering 37563/37563 (removed 0) transitions.
[2025-06-03 07:47:31] [INFO ] Flow matrix only has 35997 transitions (discarded 1566 similar events)
[2025-06-03 07:47:31] [INFO ] Invariant cache hit.
[2025-06-03 07:48:06] [INFO ] Performed 5984/19447 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 07:48:36] [INFO ] Performed 10126/19447 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-03 07:49:07] [INFO ] Performed 13055/19447 implicitness test of which 18 returned IMPLICIT in 91 seconds.
[2025-06-03 07:49:37] [INFO ] Performed 16127/19447 implicitness test of which 52 returned IMPLICIT in 121 seconds.
[2025-06-03 07:50:11] [INFO ] Performed 18744/19447 implicitness test of which 153 returned IMPLICIT in 154 seconds.
[2025-06-03 07:50:11] [INFO ] Implicit Places using invariants in 160054 ms returned [11901, 11914, 11927, 11940, 11953, 11966, 12390, 12403, 12416, 12429, 12442, 12455, 12903, 12918, 12931, 12944, 12957, 12970, 13444, 13461, 13476, 13489, 13502, 13515, 14017, 14036, 14053, 14068, 14081, 14094, 14626, 14647, 14666, 14683, 14698, 14711, 15275, 15298, 15319, 15338, 15355, 15370, 15968, 15993, 16016, 16037, 16056, 16073, 16088, 16101, 16114, 16127, 16163, 16169, 16182, 16195, 16208, 16221, 16236, 16253, 16272, 16293, 16316, 16341, 16368, 16397, 16428, 16461, 16496, 16533, 16571, 16608, 16643, 16676, 16707, 16736, 16763, 16788, 16811, 16832, 16851, 16868, 16883, 16896, 16909, 16945, 16951, 16964, 16977, 16990, 17005, 17022, 17041, 17062, 17085, 17110, 17137, 17166, 17197, 17230, 17265, 17302, 17341, 17381, 17420, 17457, 17492, 17525, 17556, 17585, 17612, 17637, 17660, 17681, 17700, 17717, 17732, 17745, 17781, 17783, 17786, 17799, 17812, 17827, 17844, 17863, 17884, 17907, 17932, 17959, 17988, 18019, 18052, 18087, 18124, 18163, 18204, 18246, 18287, 18326, 18363, 18398, 18431, 18462, 18491, 18518, 18543, 18566, 18587, 18606, 18623, 18638, 18674]
[2025-06-03 07:50:11] [INFO ] Actually due to overlaps returned [16163, 16945, 17781, 18674, 11901, 11914, 11927, 11940, 11953, 11966, 12390, 12403, 12416, 12429, 12442, 12455, 12903, 12918, 12931, 12944, 12957, 12970, 13444, 13461, 13476, 13489, 13502, 13515, 14017, 14036, 14053, 14068, 14081, 14094, 14626, 14647, 14666, 14683, 14698, 14711, 15275, 15298, 15319, 15338, 15355, 15370, 15968, 15993, 16016, 16037, 16056, 16073, 16088, 16169, 16182, 16195, 16208, 16221, 16236, 16253, 16272, 16293, 16316, 16341, 16368, 16397, 16428, 16461, 16496, 16533, 16571, 16608, 16643, 16676, 16707, 16736, 16763, 16788, 16811, 16832, 16851, 16868, 16951, 16964, 16977, 16990, 17005, 17022, 17041, 17062, 17085, 17110, 17137, 17166, 17197, 17230, 17265, 17302, 17341, 17381, 17420, 17457, 17492, 17525, 17556, 17585, 17612, 17637, 17660, 17681, 17700, 17786, 17799, 17812, 17827, 17844, 17863, 17884, 17907, 17932, 17959, 17988, 18019, 18052, 18087, 18124, 18163, 18204, 18246, 18287, 18326, 18363, 18398, 18431, 18462, 18491, 18518, 18543, 18566, 18587, 17783]
Discarding 141 places :
Implicit Place search using SMT only with invariants took 160082 ms to find 141 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 19306/19447 places, 37563/37563 transitions.
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 1 place count 19306 transition count 37562
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 19305 transition count 37562
Applied a total of 2 rules in 3132 ms. Remains 19305 /19306 variables (removed 1) and now considering 37562/37563 (removed 1) transitions.
[2025-06-03 07:50:14] [INFO ] Flow matrix only has 35996 transitions (discarded 1566 similar events)
// Phase 1: matrix 35996 rows 19305 cols
[2025-06-03 07:50:32] [INFO ] Computed 825 invariants in 18630 ms
[2025-06-03 07:51:07] [INFO ] Performed 6559/19305 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 07:51:38] [INFO ] Performed 11141/19305 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-03 07:52:08] [INFO ] Performed 15174/19305 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-03 07:52:40] [INFO ] Performed 18602/19305 implicitness test of which 12 returned IMPLICIT in 122 seconds.
[2025-06-03 07:53:12] [INFO ] Performed 18742/19305 implicitness test of which 12 returned IMPLICIT in 155 seconds.
[2025-06-03 07:53:12] [INFO ] Implicit Places using invariants in 178680 ms returned [16052, 16065, 16078, 16804, 16817, 16830, 17608, 17623, 17636, 18466, 18483, 18498]
Discarding 12 places :
Implicit Place search using SMT only with invariants took 178704 ms to find 12 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 19293/19447 places, 37562/37563 transitions.
Applied a total of 0 rules in 1623 ms. Remains 19293 /19293 variables (removed 0) and now considering 37562/37562 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 3 iterations and 345010 ms. Remains : 19293/19447 places, 37562/37563 transitions.
[2025-06-03 07:53:14] [INFO ] Flow matrix only has 35996 transitions (discarded 1566 similar events)
// Phase 1: matrix 35996 rows 19293 cols
[2025-06-03 07:53:31] [INFO ] Computed 813 invariants in 16920 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 2, 1]
RANDOM walk for 228744 steps (3497 resets) in 30001 ms. (7 steps per ms)
BEST_FIRST walk for 2167404 steps (2564 resets) in 25005 ms. (86 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 2, 1]
[2025-06-03 07:54:26] [INFO ] Flow matrix only has 35996 transitions (discarded 1566 similar events)
[2025-06-03 07:54:26] [INFO ] Invariant cache hit.
[2025-06-03 07:54:31] [INFO ] [Real]Absence check using 63 positive place invariants in 1040 ms returned sat
[2025-06-03 07:54:31] [INFO ] [Real]Absence check using 63 positive and 750 generalized place invariants in 436 ms returned sat
[2025-06-03 07:55:11] [INFO ] [Real]Absence check using state equation in 40127 ms returned unknown
[2025-06-03 07:55:16] [INFO ] [Real]Absence check using 63 positive place invariants in 1014 ms returned sat
[2025-06-03 07:55:16] [INFO ] [Real]Absence check using 63 positive and 750 generalized place invariants in 446 ms returned sat
[2025-06-03 07:55:56] [INFO ] [Real]Absence check using state equation in 40091 ms returned unknown
[2025-06-03 07:56:01] [INFO ] [Real]Absence check using 63 positive place invariants in 1049 ms returned sat
[2025-06-03 07:56:01] [INFO ] [Real]Absence check using 63 positive and 750 generalized place invariants in 427 ms returned sat
[2025-06-03 07:56:41] [INFO ] [Real]Absence check using state equation in 40055 ms returned unknown
[2025-06-03 07:56:46] [INFO ] [Real]Absence check using 63 positive place invariants in 1000 ms returned sat
[2025-06-03 07:56:46] [INFO ] [Real]Absence check using 63 positive and 750 generalized place invariants in 412 ms returned sat
[2025-06-03 07:57:26] [INFO ] [Real]Absence check using state equation in 40145 ms returned unknown
[2025-06-03 07:57:31] [INFO ] [Real]Absence check using 63 positive place invariants in 994 ms returned sat
[2025-06-03 07:57:31] [INFO ] [Real]Absence check using 63 positive and 750 generalized place invariants in 418 ms returned sat
[2025-06-03 07:58:11] [INFO ] [Real]Absence check using state equation in 40238 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 2, 1]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0, 0] Max Struct:[1, 1, 1, 2, 1]
Support contains 5 out of 19293 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19293/19293 places, 37562/37562 transitions.
Applied a total of 0 rules in 1633 ms. Remains 19293 /19293 variables (removed 0) and now considering 37562/37562 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1633 ms. Remains : 19293/19293 places, 37562/37562 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19293/19293 places, 37562/37562 transitions.
Applied a total of 0 rules in 1466 ms. Remains 19293 /19293 variables (removed 0) and now considering 37562/37562 (removed 0) transitions.
[2025-06-03 07:58:14] [INFO ] Flow matrix only has 35996 transitions (discarded 1566 similar events)
[2025-06-03 07:58:14] [INFO ] Invariant cache hit.
[2025-06-03 07:58:49] [INFO ] Performed 6660/19293 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 07:59:20] [INFO ] Performed 11584/19293 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-03 07:59:50] [INFO ] Performed 16814/19293 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-03 08:00:20] [INFO ] Performed 18670/19293 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-06-03 08:00:20] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-06-03 08:00:20] [INFO ] Implicit Places using invariants in 125281 ms returned []
Implicit Place search using SMT only with invariants took 125282 ms to find 0 implicit places.
Running 37436 sub problems to find dead transitions.
[2025-06-03 08:00:20] [INFO ] Flow matrix only has 35996 transitions (discarded 1566 similar events)
[2025-06-03 08:00:20] [INFO ] Invariant cache hit.
[2025-06-03 08:00:23] [INFO ] State equation strengthened by 16546 read => feed constraints.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ UpperBounds = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution UpperBounds -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
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ 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.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination UpperBounds -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="MultiCrashLeafsetExtension-PT-S32C11"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="gold2024"
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-5832"
echo " Executing tool gold2024"
echo " Input is MultiCrashLeafsetExtension-PT-S32C11, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r139-smll-174876533200063"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C11.tgz
mv MultiCrashLeafsetExtension-PT-S32C11 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "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 [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.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 [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
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 ;