About the Execution of 2024-gold for MultiCrashLeafsetExtension-PT-S32C09
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15688.750 | 3600000.00 | 4010942.00 | 10243.50 | ? 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-174876533200061.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-S32C09, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-174876533200061
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 31M
-rw-r--r-- 1 mcc users 15K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.1K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K 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 17K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 92K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 17K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 77K 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 30M 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-S32C09-UpperBounds-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-UpperBounds-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-UpperBounds-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-UpperBounds-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-UpperBounds-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-UpperBounds-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-UpperBounds-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-UpperBounds-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-UpperBounds-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-UpperBounds-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-UpperBounds-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-UpperBounds-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-UpperBounds-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-UpperBounds-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-UpperBounds-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C09-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1748930478111
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-S32C09
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
UpperBounds PT
Running Version 202405141337
[2025-06-03 06:01:20] [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 06:01:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-03 06:01:22] [INFO ] Load time of PNML (sax parser for PT used): 2025 ms
[2025-06-03 06:01:22] [INFO ] Transformed 29770 places.
[2025-06-03 06:01:23] [INFO ] Transformed 44921 transitions.
[2025-06-03 06:01:23] [INFO ] Parsed PT model containing 29770 places and 44921 transitions and 170374 arcs in 2446 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 24 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 06:01:23] [INFO ] Flow matrix only has 43865 transitions (discarded 1056 similar events)
// Phase 1: matrix 43865 rows 29770 cols
[2025-06-03 06:01:38] [INFO ] Computed 1823 invariants in 15130 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:[1, 33, 99, 33, 1, 99, 99, 99, 1, 33, 1, 1, 1, 1, 33, 99]
RANDOM walk for 10000 steps (109 resets) in 681 ms. (14 steps per ms)
BEST_FIRST walk for 160016 steps (256 resets) in 1454 ms. (109 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 1, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1] Max Struct:[1, 33, 99, 33, 1, 99, 99, 99, 1, 33, 1, 1, 1, 1, 33, 99]
[2025-06-03 06:01:41] [INFO ] Flow matrix only has 43865 transitions (discarded 1056 similar events)
[2025-06-03 06:01:41] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after SMT) : Max Seen:[0, 1, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1] Max Struct:[1, 33, 99, 33, 1, 99, 99, 99, 1, 33, 1, 1, 1, 1, 33, 99]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 1, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1] Max Struct:[1, 33, 99, 33, 1, 99, 99, 99, 1, 33, 1, 1, 1, 1, 33, 99]
Support contains 16 out of 29770 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 29770/29770 places, 44921/44921 transitions.
Graph (complete) has 99155 edges and 29770 vertex of which 29716 are kept as prefixes of interest. Removing 54 places using SCC suffix rule.100 ms
Discarding 54 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 9496 transitions
Trivial Post-agglo rules discarded 9496 transitions
Performed 9496 trivial Post agglomeration. Transition count delta: 9496
Iterating post reduction 0 with 9496 rules applied. Total rules applied 9497 place count 29716 transition count 35425
Reduce places removed 9496 places and 0 transitions.
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Iterating post reduction 1 with 9501 rules applied. Total rules applied 18998 place count 20220 transition count 35420
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 2 with 5 rules applied. Total rules applied 19003 place count 20215 transition count 35420
Performed 594 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 594 Pre rules applied. Total rules applied 19003 place count 20215 transition count 34826
Deduced a syphon composed of 594 places in 57 ms
Reduce places removed 594 places and 0 transitions.
Iterating global reduction 3 with 1188 rules applied. Total rules applied 20191 place count 19621 transition count 34826
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 52 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 20257 place count 19588 transition count 34793
Free-agglomeration rule (complex) applied 1576 times.
Iterating global reduction 3 with 1576 rules applied. Total rules applied 21833 place count 19588 transition count 33217
Reduce places removed 1576 places and 0 transitions.
Iterating post reduction 3 with 1576 rules applied. Total rules applied 23409 place count 18012 transition count 33217
Partial Free-agglomeration rule applied 3160 times.
Drop transitions (Partial Free agglomeration) removed 3160 transitions
Iterating global reduction 4 with 3160 rules applied. Total rules applied 26569 place count 18012 transition count 33217
Applied a total of 26569 rules in 16869 ms. Remains 18012 /29770 variables (removed 11758) and now considering 33217/44921 (removed 11704) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 16904 ms. Remains : 18012/29770 places, 33217/44921 transitions.
[2025-06-03 06:03:18] [INFO ] Flow matrix only has 31652 transitions (discarded 1565 similar events)
// Phase 1: matrix 31652 rows 18012 cols
[2025-06-03 06:03:34] [INFO ] Computed 1769 invariants in 16128 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 1, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1] Max Struct:[1, 1, 2, 1, 1, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 2]
FORMULA MultiCrashLeafsetExtension-PT-S32C09-UpperBounds-03 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C09-UpperBounds-01 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
RANDOM walk for 239665 steps (4326 resets) in 30001 ms. (7 steps per ms)
FORMULA MultiCrashLeafsetExtension-PT-S32C09-UpperBounds-14 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C09-UpperBounds-09 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 4438239 steps (7804 resets) in 60012 ms. (73 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 1, 1, 1, 0, 0, 0, 0, 0, 1] Max Struct:[1, 2, 1, 2, 2, 2, 1, 1, 1, 1, 1, 2]
[2025-06-03 06:05:04] [INFO ] Flow matrix only has 31652 transitions (discarded 1565 similar events)
[2025-06-03 06:05:04] [INFO ] Invariant cache hit.
[2025-06-03 06:05:09] [INFO ] [Real]Absence check using 65 positive place invariants in 1021 ms returned sat
[2025-06-03 06:05:10] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 1361 ms returned sat
[2025-06-03 06:05:49] [INFO ] [Real]Absence check using state equation in 39389 ms returned unknown
[2025-06-03 06:05:54] [INFO ] [Real]Absence check using 65 positive place invariants in 942 ms returned sat
[2025-06-03 06:05:55] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 1098 ms returned sat
[2025-06-03 06:06:34] [INFO ] [Real]Absence check using state equation in 39523 ms returned unknown
[2025-06-03 06:06:39] [INFO ] [Real]Absence check using 65 positive place invariants in 1126 ms returned sat
[2025-06-03 06:06:40] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 1424 ms returned sat
[2025-06-03 06:07:19] [INFO ] [Real]Absence check using state equation in 38989 ms returned unknown
[2025-06-03 06:07:24] [INFO ] [Real]Absence check using 65 positive place invariants in 1093 ms returned sat
[2025-06-03 06:07:25] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 625 ms returned unsat
[2025-06-03 06:07:29] [INFO ] [Real]Absence check using 65 positive place invariants in 910 ms returned sat
[2025-06-03 06:07:30] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 983 ms returned unsat
[2025-06-03 06:07:35] [INFO ] [Real]Absence check using 65 positive place invariants in 908 ms returned sat
[2025-06-03 06:07:35] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 538 ms returned unsat
[2025-06-03 06:07:40] [INFO ] [Real]Absence check using 65 positive place invariants in 898 ms returned sat
[2025-06-03 06:07:41] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 1009 ms returned sat
[2025-06-03 06:08:20] [INFO ] [Real]Absence check using state equation in 39706 ms returned unknown
[2025-06-03 06:08:25] [INFO ] [Real]Absence check using 65 positive place invariants in 972 ms returned sat
[2025-06-03 06:08:26] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 1642 ms returned sat
[2025-06-03 06:09:05] [INFO ] [Real]Absence check using state equation in 38792 ms returned unknown
[2025-06-03 06:09:09] [INFO ] [Real]Absence check using 65 positive place invariants in 894 ms returned sat
[2025-06-03 06:09:10] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 976 ms returned sat
[2025-06-03 06:09:50] [INFO ] [Real]Absence check using state equation in 39853 ms returned unknown
[2025-06-03 06:09:55] [INFO ] [Real]Absence check using 65 positive place invariants in 912 ms returned sat
[2025-06-03 06:09:56] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 1232 ms returned sat
[2025-06-03 06:10:35] [INFO ] [Real]Absence check using state equation in 39432 ms returned unknown
[2025-06-03 06:10:40] [INFO ] [Real]Absence check using 65 positive place invariants in 1182 ms returned sat
[2025-06-03 06:10:42] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 1448 ms returned sat
[2025-06-03 06:11:20] [INFO ] [Real]Absence check using state equation in 38576 ms returned unknown
[2025-06-03 06:11:25] [INFO ] [Real]Absence check using 65 positive place invariants in 1100 ms returned sat
[2025-06-03 06:11:26] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 721 ms returned unsat
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0, 1, 1, 1, 0, 0, 0, 0, 0, 1] Max Struct:[1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
FORMULA MultiCrashLeafsetExtension-PT-S32C09-UpperBounds-15 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C09-UpperBounds-07 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C09-UpperBounds-06 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C09-UpperBounds-05 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, 2, 1, 1, 1, 1, 1, 1]
Support contains 8 out of 18012 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 18012/18012 places, 33217/33217 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 18012 transition count 33214
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 1 with 3 rules applied. Total rules applied 6 place count 18009 transition count 33214
Free-agglomeration rule (complex) applied 6 times.
Iterating global reduction 2 with 6 rules applied. Total rules applied 12 place count 18009 transition count 33208
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 18 place count 18003 transition count 33208
Applied a total of 18 rules in 3915 ms. Remains 18003 /18012 variables (removed 9) and now considering 33208/33217 (removed 9) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3917 ms. Remains : 18003/18012 places, 33208/33217 transitions.
[2025-06-03 06:11:30] [INFO ] Flow matrix only has 31643 transitions (discarded 1565 similar events)
// Phase 1: matrix 31643 rows 18003 cols
[2025-06-03 06:11:48] [INFO ] Computed 1769 invariants in 18566 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 1, 1, 1, 1]
RANDOM walk for 237167 steps (4282 resets) in 30001 ms. (7 steps per ms)
BEST_FIRST walk for 2904827 steps (5106 resets) in 40008 ms. (72 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 1, 1, 1, 1]
[2025-06-03 06:12:58] [INFO ] Flow matrix only has 31643 transitions (discarded 1565 similar events)
[2025-06-03 06:12:58] [INFO ] Invariant cache hit.
[2025-06-03 06:13:02] [INFO ] [Real]Absence check using 65 positive place invariants in 869 ms returned sat
[2025-06-03 06:13:04] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 1273 ms returned sat
[2025-06-03 06:13:43] [INFO ] [Real]Absence check using state equation in 39709 ms returned unknown
[2025-06-03 06:13:48] [INFO ] [Real]Absence check using 65 positive place invariants in 861 ms returned sat
[2025-06-03 06:13:48] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 924 ms returned sat
[2025-06-03 06:14:28] [INFO ] [Real]Absence check using state equation in 39963 ms returned unknown
[2025-06-03 06:14:33] [INFO ] [Real]Absence check using 65 positive place invariants in 1036 ms returned sat
[2025-06-03 06:14:35] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 1527 ms returned sat
[2025-06-03 06:15:13] [INFO ] [Real]Absence check using state equation in 38913 ms returned unknown
[2025-06-03 06:15:18] [INFO ] [Real]Absence check using 65 positive place invariants in 1073 ms returned sat
[2025-06-03 06:15:19] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 1296 ms returned sat
[2025-06-03 06:15:58] [INFO ] [Real]Absence check using state equation in 39387 ms returned unknown
[2025-06-03 06:16:03] [INFO ] [Real]Absence check using 65 positive place invariants in 1043 ms returned sat
[2025-06-03 06:16:05] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 1640 ms returned sat
[2025-06-03 06:16:44] [INFO ] [Real]Absence check using state equation in 38790 ms returned unknown
[2025-06-03 06:16:48] [INFO ] [Real]Absence check using 65 positive place invariants in 921 ms returned sat
[2025-06-03 06:16:49] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 1314 ms returned sat
[2025-06-03 06:17:29] [INFO ] [Real]Absence check using state equation in 39392 ms returned unknown
[2025-06-03 06:17:33] [INFO ] [Real]Absence check using 65 positive place invariants in 882 ms returned sat
[2025-06-03 06:17:34] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 1276 ms returned sat
[2025-06-03 06:18:14] [INFO ] [Real]Absence check using state equation in 39738 ms returned unknown
[2025-06-03 06:18:18] [INFO ] [Real]Absence check using 65 positive place invariants in 855 ms returned sat
[2025-06-03 06:18:19] [INFO ] [Real]Absence check using 65 positive and 1704 generalized place invariants in 1304 ms returned sat
[2025-06-03 06:18:59] [INFO ] [Real]Absence check using state equation in 39712 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 1, 1, 1, 1]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 1, 1, 1, 1]
Support contains 8 out of 18003 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 18003/18003 places, 33208/33208 transitions.
Applied a total of 0 rules in 1601 ms. Remains 18003 /18003 variables (removed 0) and now considering 33208/33208 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1601 ms. Remains : 18003/18003 places, 33208/33208 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 18003/18003 places, 33208/33208 transitions.
Applied a total of 0 rules in 1547 ms. Remains 18003 /18003 variables (removed 0) and now considering 33208/33208 (removed 0) transitions.
[2025-06-03 06:19:02] [INFO ] Flow matrix only has 31643 transitions (discarded 1565 similar events)
[2025-06-03 06:19:02] [INFO ] Invariant cache hit.
[2025-06-03 06:19:37] [INFO ] Performed 2976/18003 implicitness test of which 133 returned IMPLICIT in 30 seconds.
[2025-06-03 06:20:07] [INFO ] Performed 5599/18003 implicitness test of which 292 returned IMPLICIT in 60 seconds.
[2025-06-03 06:20:37] [INFO ] Performed 7371/18003 implicitness test of which 431 returned IMPLICIT in 90 seconds.
[2025-06-03 06:21:07] [INFO ] Performed 9515/18003 implicitness test of which 620 returned IMPLICIT in 120 seconds.
[2025-06-03 06:21:37] [INFO ] Performed 10818/18003 implicitness test of which 728 returned IMPLICIT in 150 seconds.
[2025-06-03 06:21:42] [INFO ] Implicit Places using invariants in 160090 ms returned [4, 7, 18, 31, 46, 63, 82, 103, 126, 151, 178, 207, 238, 271, 306, 343, 382, 422, 461, 498, 533, 566, 597, 626, 653, 678, 701, 722, 741, 758, 773, 786, 797, 827, 833, 844, 855, 868, 883, 900, 919, 940, 963, 988, 1015, 1044, 1075, 1108, 1143, 1180, 1218, 1255, 1290, 1323, 1354, 1383, 1410, 1435, 1458, 1479, 1498, 1515, 1530, 1543, 1554, 1565, 1595, 1601, 1612, 1623, 1634, 1647, 1662, 1679, 1698, 1719, 1742, 1767, 1794, 1823, 1854, 1887, 1922, 1958, 1993, 2026, 2057, 2086, 2113, 2138, 2161, 2182, 2201, 2218, 2233, 2246, 2257, 2268, 2279, 2309, 2315, 2326, 2337, 2348, 2359, 2372, 2387, 2404, 2423, 2444, 2467, 2492, 2519, 2548, 2579, 2612, 2646, 2679, 2710, 2739, 2766, 2791, 2814, 2835, 2854, 2871, 2886, 2899, 2910, 2921, 2932, 2943, 2973, 2979, 2990, 3001, 3012, 3023, 3034, 3047, 3062, 3079, 3098, 3119, 3142, 3167, 3194, 3223, 3254, 3286, 3317, 3346, 3373, 3398, 3421, 3442, 3461, 3478, 3493, 3506, 3517, 3528, 3539, 3550, 3561, 3591, 3597, 3608, 3619, 3630, 3641, 3652, 3663, 3676, 3691, 3708, 3727, 3748, 3771, 3796, 3823, 3852, 3882, 3911, 3938, 3963, 3986, 4007, 4026, 4043, 4058, 4071, 4082, 4093, 4104, 4115, 4126, 4137, 4167, 4173, 4184, 4195, 4206, 4217, 4228, 4239, 4250, 4263, 4278, 4295, 4314, 4335, 4358, 4383, 4410, 4438, 4465, 4490, 4513, 4534, 4553, 4570, 4585, 4598, 4609, 4620, 4631, 4642, 4653, 4664, 4675, 4705, 4711, 4722, 4733, 4744, 4755, 4766, 4777, 4788, 4799, 4812, 4827, 4844, 4864, 4885, 4908, 4933, 4959, 4984, 5007, 5028, 5047, 5064, 5079, 5092, 5103, 5114, 5125, 5136, 5147, 5158, 5169, 5180, 5210, 5216, 5227, 5238, 5249, 5260, 5271, 5282, 5293, 5304, 5315, 5328, 5343, 5360, 5379, 5400, 5423, 5447, 5470, 5491, 5510, 5527, 5542, 5555, 5566, 5577, 5588, 5599, 5610, 5621, 5632, 5643, 5654, 5684, 5690, 5701, 5712, 5723, 5734, 5745, 5756, 5767, 5778, 5789, 5800, 5813, 5828, 5845, 5864, 5885, 5907, 5928, 5947, 5964, 5979, 5992, 6003, 6014, 6025, 6036, 6047, 6058, 6069, 6080, 6091, 6102, 6132, 6138, 6149, 6160, 6171, 6182, 6193, 6204, 6215, 6226, 6237, 6248, 6259, 6272, 6287, 6304, 6323, 6343, 6362, 6379, 6394, 6407, 6418, 6429, 6440, 6451, 6462, 6473, 6484, 6495, 6506, 6517, 6528, 6558, 6564, 6575, 6586, 6597, 6608, 6619, 6630, 6641, 6652, 6663, 6674, 6685, 6696, 6709, 6724, 6741, 6759, 6776, 6791, 6804, 6815, 6826, 6837, 6848, 6859, 6870, 6881, 6892, 6903, 6914, 6925, 6936, 6966, 6972, 6983, 6994, 7005, 7016, 7027, 7038, 7049, 7060, 7071, 7082, 7093, 7104, 7115, 7128, 7143, 7159, 7174, 7187, 7198, 7209, 7220, 7231, 7242, 7253, 7264, 7275, 7286, 7297, 7308, 7319, 7330, 7360, 7366, 7377, 7388, 7399, 7410, 7421, 7432, 7443, 7454, 7465, 7476, 7487, 7498, 7509, 7520, 7533, 7547, 7560, 7571, 7582, 7593, 7604, 7615, 7626, 7637, 7648, 7659, 7670, 7681, 7692, 7703, 7714, 7744, 7750, 7761, 7772, 7783, 7794, 7805, 7816, 7827, 7838, 7849, 7860, 7871, 7882, 7893, 7904, 7915, 7927, 7938, 7949, 7960, 7971, 7982, 7993, 8004, 8015, 8026, 8037, 8048, 8059, 8070, 8081, 8092, 8122, 8128, 8139, 8150, 8161, 8172, 8183, 8194, 8205, 8216, 8227, 8238, 8249, 8260, 8271, 8282, 8293, 8304, 8315, 8326, 8337, 8348, 8359, 8370, 8381, 8392, 8403, 8414, 8425, 8436, 8447, 8458, 8469, 8499, 8501, 8504, 8515, 8526, 8537, 8548, 8559, 8570, 8581, 8592, 8603, 8614, 8625, 8636, 8647, 8658, 8669, 8680, 8691, 8702, 8713, 8724, 8735, 8746, 8757, 8768, 8779, 8790, 8801, 8812, 8823, 8834, 8845, 8875, 8881, 8892, 8903, 8914, 8925, 8936, 8947, 8958, 8969, 8980, 8991, 9002, 9013, 9024, 9035, 9046, 9057, 9068, 9079, 9090, 9101, 9112, 9123, 9134, 9145, 9156, 9167, 9178, 9189, 9200, 9211, 9222, 9252, 9258, 9269, 9280, 9291, 9302, 9313, 9324, 9335, 9346, 9357, 9368, 9379, 9390, 9401, 9412, 9423, 9434, 9446, 9457, 9468, 9479, 9490, 9501, 9512, 9523, 9534, 9545, 9556, 9567, 9578, 9589, 9600, 9630, 9636, 9647, 9658, 9669, 9680, 9691, 9702, 9713, 9724, 9735, 9746, 9757, 9768, 9779, 9790, 9801, 9814, 9828, 9841, 9852, 9863, 9874, 9885, 9896, 9907, 9918, 9929, 9940, 9951, 9962, 9973, 9984, 10014, 10020, 10031, 10042, 10053, 10064, 10075, 10086, 10097, 10108, 10119, 10130, 10141, 10152, 10163, 10174, 10187, 10202, 10218, 10233, 10246, 10257, 10268, 10279, 10290, 10301, 10312, 10323, 10334, 10345, 10356, 10367, 10378, 10408, 10414, 10425, 10436, 10447, 10458, 10469, 10480, 10491, 10502, 10513, 10524, 10535, 10546, 10557, 10570, 10585, 10602, 10620, 10637, 10652, 10665, 10676, 10687, 10698, 10709, 10720, 10731, 10742, 10753, 10764, 10775, 10786, 10816, 10822, 10833, 10844, 10855, 10866, 10877, 10888]
[2025-06-03 06:21:42] [INFO ] Actually due to overlaps returned [827, 1595, 2309, 2973, 3591, 4167, 4705, 5210, 5684, 6132, 6558, 6966, 7360, 7744, 8122, 8499, 8875, 9252, 9630, 10014, 10408, 10816, 597, 626, 653, 678, 701, 722, 741, 758, 773, 786, 797, 1383, 1410, 1435, 1458, 1479, 1498, 1515, 1530, 1543, 1554, 1565, 2113, 2138, 2161, 2182, 2201, 2218, 2233, 2246, 2257, 2268, 2279, 2791, 2814, 2835, 2854, 2871, 2886, 2899, 2910, 2921, 2932, 2943, 3421, 3442, 3461, 3478, 3493, 3506, 3517, 3528, 3539, 3550, 3561, 4007, 4026, 4043, 4058, 4071, 4082, 4093, 4104, 4115, 4126, 4137, 4553, 4570, 4585, 4598, 4609, 4620, 4631, 4642, 4653, 4664, 4675, 5064, 5079, 5092, 5103, 5114, 5125, 5136, 5147, 5158, 5169, 5180, 5542, 5555, 5566, 5577, 5588, 5599, 5610, 5621, 5632, 5643, 5654, 5992, 6003, 6014, 6025, 6036, 6047, 6058, 6069, 6080, 6091, 6102, 6418, 6429, 6440, 6451, 6462, 6473, 6484, 6495, 6506, 6517, 6528, 6826, 6837, 6848, 6859, 6870, 6881, 6892, 6903, 6914, 6925, 6936, 7220, 7231, 7242, 7253, 7264, 7275, 7286, 7297, 7308, 7319, 7330, 7604, 7615, 7626, 7637, 7648, 7659, 7670, 7681, 7692, 7703, 7714, 7982, 7993, 8004, 8015, 8026, 8037, 8048, 8059, 8070, 8081, 8092, 8359, 8370, 8381, 8392, 8403, 8414, 8425, 8436, 8447, 8458, 8469, 8735, 8746, 8757, 8768, 8779, 8790, 8801, 8812, 8823, 8834, 8845, 9112, 9123, 9134, 9145, 9156, 9167, 9178, 9189, 9200, 9211, 9222, 9490, 9501, 9512, 9523, 9534, 9545, 9556, 9567, 9578, 9589, 9600, 9874, 9885, 9896, 9907, 9918, 9929, 9940, 9951, 9962, 9973, 9984, 10268, 10279, 10290, 10301, 10312, 10323, 10334, 10345, 10356, 10367, 10378, 10676, 10687, 10698, 10709, 10720, 10731, 10742, 10753, 10764, 10775, 10786, 4, 8501]
Discarding 266 places :
Implicit Place search using SMT only with invariants took 160194 ms to find 266 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 17737/18003 places, 33208/33208 transitions.
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 17737 transition count 33206
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 4 place count 17735 transition count 33206
Applied a total of 4 rules in 3823 ms. Remains 17735 /17737 variables (removed 2) and now considering 33206/33208 (removed 2) transitions.
[2025-06-03 06:21:46] [INFO ] Flow matrix only has 31641 transitions (discarded 1565 similar events)
// Phase 1: matrix 31641 rows 17735 cols
[2025-06-03 06:22:04] [INFO ] Computed 1503 invariants in 18683 ms
[2025-06-03 06:22:41] [INFO ] Performed 4663/17735 implicitness test of which 151 returned IMPLICIT in 30 seconds.
[2025-06-03 06:23:11] [INFO ] Performed 8005/17735 implicitness test of which 321 returned IMPLICIT in 60 seconds.
[2025-06-03 06:23:41] [INFO ] Performed 10881/17735 implicitness test of which 488 returned IMPLICIT in 90 seconds.
[2025-06-03 06:24:11] [INFO ] Performed 12940/17735 implicitness test of which 627 returned IMPLICIT in 120 seconds.
[2025-06-03 06:24:41] [INFO ] Performed 16279/17735 implicitness test of which 792 returned IMPLICIT in 150 seconds.
[2025-06-03 06:24:45] [INFO ] Implicit Places using invariants in 178764 ms returned [6, 17, 30, 45, 62, 81, 102, 125, 150, 177, 206, 237, 270, 305, 342, 381, 421, 460, 497, 532, 565, 819, 830, 841, 854, 869, 886, 905, 926, 949, 974, 1001, 1030, 1061, 1094, 1129, 1166, 1204, 1241, 1276, 1309, 1340, 1575, 1586, 1597, 1608, 1621, 1636, 1653, 1672, 1693, 1716, 1741, 1768, 1797, 1828, 1861, 1896, 1932, 1967, 2000, 2031, 2060, 2277, 2288, 2299, 2310, 2321, 2334, 2349, 2366, 2385, 2406, 2429, 2454, 2481, 2510, 2541, 2574, 2608, 2641, 2672, 2701, 2728, 2929, 2940, 2951, 2962, 2973, 2984, 2997, 3012, 3029, 3048, 3069, 3092, 3117, 3144, 3173, 3204, 3236, 3267, 3296, 3323, 3348, 3535, 3546, 3557, 3568, 3579, 3590, 3601, 3614, 3629, 3646, 3665, 3686, 3709, 3734, 3761, 3790, 3820, 3849, 3876, 3901, 3924, 4099, 4110, 4121, 4132, 4143, 4154, 4165, 4176, 4189, 4204, 4221, 4240, 4261, 4284, 4309, 4336, 4364, 4391, 4416, 4439, 4460, 4625, 4636, 4647, 4658, 4669, 4680, 4691, 4702, 4713, 4726, 4741, 4758, 4778, 4799, 4822, 4847, 4873, 4898, 4921, 4942, 4961, 5118, 5129, 5140, 5151, 5162, 5173, 5184, 5195, 5206, 5217, 5230, 5245, 5262, 5281, 5302, 5325, 5349, 5372, 5393, 5412, 5429, 5580, 5591, 5602, 5613, 5624, 5635, 5646, 5657, 5668, 5679, 5690, 5703, 5718, 5735, 5754, 5775, 5797, 5818, 5837, 5854, 5869, 6016, 6027, 6038, 6049, 6060, 6071, 6082, 6093, 6104, 6115, 6126, 6137, 6150, 6165, 6182, 6201, 6221, 6240, 6257, 6272, 6285, 6430, 6441, 6452, 6463, 6474, 6485, 6496, 6507, 6518, 6529, 6540, 6551, 6562, 6575, 6590, 6607, 6625, 6642, 6657, 6670, 6681, 6826, 6837, 6848, 6859, 6870, 6881, 6892, 6903, 6914, 6925, 6936, 6947, 6958, 6969, 6982, 6997, 7013, 7028, 7041, 7052, 7063, 7208, 7219, 7230, 7241, 7252, 7263, 7274, 7285, 7296, 7307, 7318, 7329, 7340, 7351, 7362, 7375, 7389, 7402, 7413, 7424, 7435, 7580, 7591, 7602, 7613, 7624, 7635, 7646, 7657, 7668, 7679, 7690, 7701, 7712, 7723, 7734, 7745, 7757, 7768, 7779, 7790, 7801, 7946, 7957, 7968, 7979, 7990, 8001, 8012, 8023, 8034, 8045, 8056, 8067, 8078, 8089, 8100, 8111, 8122, 8133, 8144, 8155, 8166, 8309, 8320, 8331, 8342, 8353, 8364, 8375, 8386, 8397, 8408, 8419, 8430, 8441, 8452, 8463, 8474, 8485, 8496, 8507, 8518, 8529, 8673, 8684, 8695, 8706, 8717, 8728, 8739, 8750, 8761, 8772, 8783, 8794, 8805, 8816, 8827, 8838, 8849, 8860, 8871, 8882, 8893, 9038, 9049, 9060, 9071, 9082, 9093, 9104, 9115, 9126, 9137, 9148, 9159, 9170, 9181, 9192, 9203, 9214, 9226, 9237, 9248, 9259, 9404, 9415, 9426, 9437, 9448, 9459, 9470, 9481, 9492, 9503, 9514, 9525, 9536, 9547, 9558, 9569, 9582, 9596, 9609, 9620, 9631, 9776, 9787, 9798, 9809, 9820, 9831, 9842, 9853, 9864, 9875, 9886, 9897, 9908, 9919, 9930, 9943, 9958, 9974, 9989, 10002, 10013, 10158, 10169, 10180, 10191, 10202, 10213, 10224, 10235, 10246, 10257, 10268, 10279, 10290, 10301, 10314, 10329, 10346, 10364, 10381, 10396, 10409, 10554, 10565, 10576, 10587, 10598, 10609, 10620, 10631, 10642, 10653, 10664, 10675, 10686, 10699, 10714, 10731, 10750, 10770, 10789, 10806, 10821, 10834, 10845, 10856, 10867, 10878, 10889, 10900, 10911, 10922, 10933, 10944, 10974, 10980, 10991, 11002, 11013, 11024, 11035, 11046, 11057, 11068, 11079, 11090, 11101, 11114, 11129, 11146, 11165, 11186, 11208, 11229, 11248, 11265, 11280, 11293, 11304, 11315, 11326, 11337, 11348, 11359, 11370, 11381, 11392, 11422, 11428, 11439, 11450, 11461, 11472, 11483, 11494, 11505, 11516, 11527, 11538, 11551, 11566, 11583, 11602, 11623, 11646, 11670, 11693, 11714, 11733, 11750, 11765, 11778, 11789, 11800, 11811, 11822, 11833, 11844, 11855, 11866, 11896, 11902, 11913, 11924, 11935, 11946, 11957, 11968, 11979, 11990, 12001, 12014, 12029, 12046, 12065, 12086, 12109, 12134, 12160, 12185, 12208, 12229, 12248, 12265, 12280, 12293, 12304, 12315, 12326, 12337, 12348, 12359, 12370, 12400, 12406, 12417, 12428, 12439, 12450, 12461, 12472, 12483, 12494, 12507, 12522, 12539, 12558, 12579, 12602, 12627, 12654, 12682, 12709, 12734, 12757, 12778, 12797, 12814, 12829, 12842, 12853, 12864, 12875, 12886, 12897, 12908, 12938, 12944, 12955, 12966, 12977, 12988, 12999, 13010, 13021, 13034, 13049, 13066, 13085, 13106, 13129, 13154, 13181, 13210, 13240, 13269, 13296, 13321, 13344, 13365, 13384, 13401, 13416, 13429, 13440, 13451, 13462, 13473, 13484, 13514, 13520, 13531, 13542, 13553, 13564, 13575, 13586, 13599, 13614, 13631, 13650, 13671, 13694, 13719, 13746, 13775, 13806, 13838, 13869, 13898, 13925, 13950, 13973, 13994, 14013, 14030, 14045, 14058, 14069, 14080, 14091, 14102, 14132, 14138, 14149, 14160, 14171, 14182, 14193, 14206, 14221, 14238, 14257, 14278, 14301, 14326, 14353, 14382, 14413, 14446, 14480, 14513, 14544, 14573, 14600, 14625, 14648, 14669, 14688, 14705, 14720, 14733, 14744, 14755, 14766, 14796, 14802, 14813, 14824, 14835, 14846, 14859, 14874, 14891, 14910, 14931, 14954, 14979, 15006, 15035, 15066, 15099, 15134, 15170, 15205, 15238, 15269, 15298, 15325, 15350, 15373, 15394, 15413, 15430, 15445, 15458, 15469, 15480, 15510, 15516, 15527, 15538, 15549, 15562, 15577, 15594, 15613, 15634, 15657, 15682, 15709, 15738, 15769, 15802, 15837, 15874, 15912, 15949, 15984, 16017, 16048, 16077, 16104, 16129, 16152, 16173, 16192, 16209, 16224, 16237, 16248, 16278, 16280, 16283, 16294, 16305, 16318, 16333, 16350, 16369, 16390, 16413, 16438, 16465, 16494, 16525, 16558, 16593, 16630, 16669, 16709]
[2025-06-03 06:24:45] [INFO ] Actually due to overlaps returned [10974, 11422, 11896, 12400, 12938, 13514, 14132, 14796, 15510, 16278, 6, 17, 30, 45, 62, 81, 102, 125, 150, 177, 206, 237, 270, 305, 342, 381, 421, 460, 497, 532, 565, 819, 830, 841, 854, 869, 886, 905, 926, 949, 974, 1001, 1030, 1061, 1094, 1129, 1166, 1204, 1241, 1276, 1309, 1340, 1575, 1586, 1597, 1608, 1621, 1636, 1653, 1672, 1693, 1716, 1741, 1768, 1797, 1828, 1861, 1896, 1932, 1967, 2000, 2031, 2060, 2277, 2288, 2299, 2310, 2321, 2334, 2349, 2366, 2385, 2406, 2429, 2454, 2481, 2510, 2541, 2574, 2608, 2641, 2672, 2701, 2728, 2929, 2940, 2951, 2962, 2973, 2984, 2997, 3012, 3029, 3048, 3069, 3092, 3117, 3144, 3173, 3204, 3236, 3267, 3296, 3323, 3348, 3535, 3546, 3557, 3568, 3579, 3590, 3601, 3614, 3629, 3646, 3665, 3686, 3709, 3734, 3761, 3790, 3820, 3849, 3876, 3901, 3924, 4099, 4110, 4121, 4132, 4143, 4154, 4165, 4176, 4189, 4204, 4221, 4240, 4261, 4284, 4309, 4336, 4364, 4391, 4416, 4439, 4460, 4625, 4636, 4647, 4658, 4669, 4680, 4691, 4702, 4713, 4726, 4741, 4758, 4778, 4799, 4822, 4847, 4873, 4898, 4921, 4942, 4961, 5118, 5129, 5140, 5151, 5162, 5173, 5184, 5195, 5206, 5217, 5230, 5245, 5262, 5281, 5302, 5325, 5349, 5372, 5393, 5412, 5429, 5580, 5591, 5602, 5613, 5624, 5635, 5646, 5657, 5668, 5679, 5690, 5703, 5718, 5735, 5754, 5775, 5797, 5818, 5837, 5854, 5869, 6016, 6027, 6038, 6049, 6060, 6071, 6082, 6093, 6104, 6115, 6126, 6137, 6150, 6165, 6182, 6201, 6221, 6240, 6257, 6272, 6285, 6430, 6441, 6452, 6463, 6474, 6485, 6496, 6507, 6518, 6529, 6540, 6551, 6562, 6575, 6590, 6607, 6625, 6642, 6657, 6670, 6681, 6826, 6837, 6848, 6859, 6870, 6881, 6892, 6903, 6914, 6925, 6936, 6947, 6958, 6969, 6982, 6997, 7013, 7028, 7041, 7052, 7063, 7208, 7219, 7230, 7241, 7252, 7263, 7274, 7285, 7296, 7307, 7318, 7329, 7340, 7351, 7362, 7375, 7389, 7402, 7413, 7424, 7435, 7580, 7591, 7602, 7613, 7624, 7635, 7646, 7657, 7668, 7679, 7690, 7701, 7712, 7723, 7734, 7745, 7757, 7768, 7779, 7790, 7801, 7946, 7957, 7968, 7979, 7990, 8001, 8012, 8023, 8034, 8045, 8056, 8067, 8078, 8089, 8100, 8111, 8122, 8133, 8144, 8155, 8166, 8309, 8320, 8331, 8342, 8353, 8364, 8375, 8386, 8397, 8408, 8419, 8430, 8441, 8452, 8463, 8474, 8485, 8496, 8507, 8518, 8529, 8673, 8684, 8695, 8706, 8717, 8728, 8739, 8750, 8761, 8772, 8783, 8794, 8805, 8816, 8827, 8838, 8849, 8860, 8871, 8882, 8893, 9038, 9049, 9060, 9071, 9082, 9093, 9104, 9115, 9126, 9137, 9148, 9159, 9170, 9181, 9192, 9203, 9214, 9226, 9237, 9248, 9259, 9404, 9415, 9426, 9437, 9448, 9459, 9470, 9481, 9492, 9503, 9514, 9525, 9536, 9547, 9558, 9569, 9582, 9596, 9609, 9620, 9631, 9776, 9787, 9798, 9809, 9820, 9831, 9842, 9853, 9864, 9875, 9886, 9897, 9908, 9919, 9930, 9943, 9958, 9974, 9989, 10002, 10013, 10158, 10169, 10180, 10191, 10202, 10213, 10224, 10235, 10246, 10257, 10268, 10279, 10290, 10301, 10314, 10329, 10346, 10364, 10381, 10396, 10409, 10554, 10565, 10576, 10587, 10598, 10609, 10620, 10631, 10642, 10653, 10664, 10675, 10686, 10699, 10714, 10731, 10750, 10770, 10789, 10806, 10821, 10834, 10944, 10980, 10991, 11002, 11013, 11024, 11035, 11046, 11057, 11068, 11079, 11090, 11101, 11114, 11129, 11146, 11165, 11186, 11208, 11229, 11248, 11265, 11280, 11392, 11428, 11439, 11450, 11461, 11472, 11483, 11494, 11505, 11516, 11527, 11538, 11551, 11566, 11583, 11602, 11623, 11646, 11670, 11693, 11714, 11733, 11750, 11866, 11902, 11913, 11924, 11935, 11946, 11957, 11968, 11979, 11990, 12001, 12014, 12029, 12046, 12065, 12086, 12109, 12134, 12160, 12185, 12208, 12229, 12248, 12370, 12406, 12417, 12428, 12439, 12450, 12461, 12472, 12483, 12494, 12507, 12522, 12539, 12558, 12579, 12602, 12627, 12654, 12682, 12709, 12734, 12757, 12778, 12908, 12944, 12955, 12966, 12977, 12988, 12999, 13010, 13021, 13034, 13049, 13066, 13085, 13106, 13129, 13154, 13181, 13210, 13240, 13269, 13296, 13321, 13344, 13484, 13520, 13531, 13542, 13553, 13564, 13575, 13586, 13599, 13614, 13631, 13650, 13671, 13694, 13719, 13746, 13775, 13806, 13838, 13869, 13898, 13925, 13950, 14102, 14138, 14149, 14160, 14171, 14182, 14193, 14206, 14221, 14238, 14257, 14278, 14301, 14326, 14353, 14382, 14413, 14446, 14480, 14513, 14544, 14573, 14600, 14766, 14802, 14813, 14824, 14835, 14846, 14859, 14874, 14891, 14910, 14931, 14954, 14979, 15006, 15035, 15066, 15099, 15134, 15170, 15205, 15238, 15269, 15298, 15480, 15516, 15527, 15538, 15549, 15562, 15577, 15594, 15613, 15634, 15657, 15682, 15709, 15738, 15769, 15802, 15837, 15874, 15912, 15949, 15984, 16017, 16048, 16248, 16283, 16294, 16305, 16318, 16333, 16350, 16369, 16390, 16413, 16438, 16465, 16494, 16525, 16558, 16593, 16630, 16669, 16709, 16280]
Discarding 721 places :
Implicit Place search using SMT only with invariants took 178861 ms to find 721 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 17014/18003 places, 33206/33208 transitions.
Applied a total of 0 rules in 1569 ms. Remains 17014 /17014 variables (removed 0) and now considering 33206/33206 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 3 iterations and 346011 ms. Remains : 17014/18003 places, 33206/33208 transitions.
[2025-06-03 06:24:46] [INFO ] Flow matrix only has 31641 transitions (discarded 1565 similar events)
// Phase 1: matrix 31641 rows 17014 cols
[2025-06-03 06:24:58] [INFO ] Computed 782 invariants in 12168 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 1, 1, 1, 1]
RANDOM walk for 249741 steps (4599 resets) in 30001 ms. (8 steps per ms)
BEST_FIRST walk for 3410963 steps (5217 resets) in 40008 ms. (85 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 1, 1, 1, 1]
[2025-06-03 06:26:08] [INFO ] Flow matrix only has 31641 transitions (discarded 1565 similar events)
[2025-06-03 06:26:08] [INFO ] Invariant cache hit.
[2025-06-03 06:26:12] [INFO ] [Real]Absence check using 63 positive place invariants in 765 ms returned sat
[2025-06-03 06:26:13] [INFO ] [Real]Absence check using 63 positive and 719 generalized place invariants in 461 ms returned sat
[2025-06-03 06:26:54] [INFO ] [Real]Absence check using state equation in 40646 ms returned unknown
[2025-06-03 06:26:57] [INFO ] [Real]Absence check using 63 positive place invariants in 798 ms returned sat
[2025-06-03 06:26:58] [INFO ] [Real]Absence check using 63 positive and 719 generalized place invariants in 373 ms returned sat
[2025-06-03 06:27:39] [INFO ] [Real]Absence check using state equation in 40981 ms returned unknown
[2025-06-03 06:27:42] [INFO ] [Real]Absence check using 63 positive place invariants in 766 ms returned sat
[2025-06-03 06:27:43] [INFO ] [Real]Absence check using 63 positive and 719 generalized place invariants in 375 ms returned sat
[2025-06-03 06:28:24] [INFO ] [Real]Absence check using state equation in 40928 ms returned unknown
[2025-06-03 06:28:28] [INFO ] [Real]Absence check using 63 positive place invariants in 800 ms returned sat
[2025-06-03 06:28:28] [INFO ] [Real]Absence check using 63 positive and 719 generalized place invariants in 375 ms returned sat
[2025-06-03 06:29:09] [INFO ] [Real]Absence check using state equation in 40471 ms returned unknown
[2025-06-03 06:29:12] [INFO ] [Real]Absence check using 63 positive place invariants in 812 ms returned sat
[2025-06-03 06:29:13] [INFO ] [Real]Absence check using 63 positive and 719 generalized place invariants in 410 ms returned sat
[2025-06-03 06:29:54] [INFO ] [Real]Absence check using state equation in 40952 ms returned unknown
[2025-06-03 06:29:58] [INFO ] [Real]Absence check using 63 positive place invariants in 782 ms returned sat
[2025-06-03 06:29:58] [INFO ] [Real]Absence check using 63 positive and 719 generalized place invariants in 375 ms returned sat
[2025-06-03 06:30:39] [INFO ] [Real]Absence check using state equation in 40689 ms returned unknown
[2025-06-03 06:30:43] [INFO ] [Real]Absence check using 63 positive place invariants in 787 ms returned sat
[2025-06-03 06:30:43] [INFO ] [Real]Absence check using 63 positive and 719 generalized place invariants in 376 ms returned sat
[2025-06-03 06:31:24] [INFO ] [Real]Absence check using state equation in 40749 ms returned unknown
[2025-06-03 06:31:27] [INFO ] [Real]Absence check using 63 positive place invariants in 777 ms returned sat
[2025-06-03 06:31:28] [INFO ] [Real]Absence check using 63 positive and 719 generalized place invariants in 387 ms returned sat
[2025-06-03 06:32:09] [INFO ] [Real]Absence check using state equation in 41016 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 1, 1, 1, 1]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 1, 1, 1, 1]
Support contains 8 out of 17014 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 17014/17014 places, 33206/33206 transitions.
Applied a total of 0 rules in 1553 ms. Remains 17014 /17014 variables (removed 0) and now considering 33206/33206 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1553 ms. Remains : 17014/17014 places, 33206/33206 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 17014/17014 places, 33206/33206 transitions.
Applied a total of 0 rules in 1533 ms. Remains 17014 /17014 variables (removed 0) and now considering 33206/33206 (removed 0) transitions.
[2025-06-03 06:32:12] [INFO ] Flow matrix only has 31641 transitions (discarded 1565 similar events)
[2025-06-03 06:32:12] [INFO ] Invariant cache hit.
[2025-06-03 06:32:46] [INFO ] Performed 6121/17014 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 06:33:17] [INFO ] Performed 10914/17014 implicitness test of which 18 returned IMPLICIT in 60 seconds.
[2025-06-03 06:33:47] [INFO ] Performed 15634/17014 implicitness test of which 90 returned IMPLICIT in 90 seconds.
[2025-06-03 06:34:20] [INFO ] Performed 16592/17014 implicitness test of which 105 returned IMPLICIT in 124 seconds.
[2025-06-03 06:34:52] [INFO ] Performed 16767/17014 implicitness test of which 105 returned IMPLICIT in 155 seconds.
[2025-06-03 06:34:52] [INFO ] Implicit Places with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... after 160054 ms
Discarding 105 places :
Implicit Place search using SMT only with invariants took 160078 ms to find 105 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 16909/17014 places, 33206/33206 transitions.
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 1 place count 16909 transition count 33205
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 16908 transition count 33205
Applied a total of 2 rules in 2961 ms. Remains 16908 /16909 variables (removed 1) and now considering 33205/33206 (removed 1) transitions.
[2025-06-03 06:34:55] [INFO ] Flow matrix only has 31640 transitions (discarded 1565 similar events)
// Phase 1: matrix 31640 rows 16908 cols
[2025-06-03 06:35:08] [INFO ] Computed 677 invariants in 12819 ms
[2025-06-03 06:35:42] [INFO ] Performed 6931/16908 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 06:36:13] [INFO ] Performed 11809/16908 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-03 06:36:44] [INFO ] Performed 16311/16908 implicitness test of which 0 returned IMPLICIT in 92 seconds.
[2025-06-03 06:37:16] [INFO ] Performed 16451/16908 implicitness test of which 0 returned IMPLICIT in 124 seconds.
[2025-06-03 06:37:16] [INFO ] Timeout of Implicit test with SMT after 124 seconds.
[2025-06-03 06:37:16] [INFO ] Implicit Places using invariants in 141591 ms returned []
Implicit Place search using SMT only with invariants took 141594 ms to find 0 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 16908/17014 places, 33205/33206 transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 306167 ms. Remains : 16908/17014 places, 33205/33206 transitions.
[2025-06-03 06:37:17] [INFO ] Flow matrix only has 31640 transitions (discarded 1565 similar events)
[2025-06-03 06:37:17] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 1, 1, 1, 1]
RANDOM walk for 238805 steps (4483 resets) in 30001 ms. (7 steps per ms)
BEST_FIRST walk for 3722327 steps (5026 resets) in 40008 ms. (93 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 1, 1, 1, 1]
[2025-06-03 06:38:27] [INFO ] Flow matrix only has 31640 transitions (discarded 1565 similar events)
[2025-06-03 06:38:27] [INFO ] Invariant cache hit.
[2025-06-03 06:38:31] [INFO ] [Real]Absence check using 63 positive place invariants in 843 ms returned sat
[2025-06-03 06:38:31] [INFO ] [Real]Absence check using 63 positive and 614 generalized place invariants in 348 ms returned sat
[2025-06-03 06:39:12] [INFO ] [Real]Absence check using state equation in 40315 ms returned unknown
[2025-06-03 06:39:16] [INFO ] [Real]Absence check using 63 positive place invariants in 859 ms returned sat
[2025-06-03 06:39:16] [INFO ] [Real]Absence check using 63 positive and 614 generalized place invariants in 349 ms returned sat
[2025-06-03 06:39:57] [INFO ] [Real]Absence check using state equation in 40587 ms returned unknown
[2025-06-03 06:40:01] [INFO ] [Real]Absence check using 63 positive place invariants in 831 ms returned sat
[2025-06-03 06:40:01] [INFO ] [Real]Absence check using 63 positive and 614 generalized place invariants in 347 ms returned sat
[2025-06-03 06:40:42] [INFO ] [Real]Absence check using state equation in 40654 ms returned unknown
[2025-06-03 06:40:46] [INFO ] [Real]Absence check using 63 positive place invariants in 855 ms returned sat
[2025-06-03 06:40:46] [INFO ] [Real]Absence check using 63 positive and 614 generalized place invariants in 357 ms returned sat
[2025-06-03 06:41:27] [INFO ] [Real]Absence check using state equation in 40766 ms returned unknown
[2025-06-03 06:41:30] [INFO ] [Real]Absence check using 63 positive place invariants in 823 ms returned sat
[2025-06-03 06:41:31] [INFO ] [Real]Absence check using 63 positive and 614 generalized place invariants in 327 ms returned sat
[2025-06-03 06:42:12] [INFO ] [Real]Absence check using state equation in 41023 ms returned unknown
[2025-06-03 06:42:16] [INFO ] [Real]Absence check using 63 positive place invariants in 857 ms returned sat
[2025-06-03 06:42:16] [INFO ] [Real]Absence check using 63 positive and 614 generalized place invariants in 350 ms returned sat
[2025-06-03 06:42:57] [INFO ] [Real]Absence check using state equation in 40471 ms returned unknown
[2025-06-03 06:43:01] [INFO ] [Real]Absence check using 63 positive place invariants in 829 ms returned sat
[2025-06-03 06:43:01] [INFO ] [Real]Absence check using 63 positive and 614 generalized place invariants in 350 ms returned sat
[2025-06-03 06:43:42] [INFO ] [Real]Absence check using state equation in 40876 ms returned unknown
[2025-06-03 06:43:46] [INFO ] [Real]Absence check using 63 positive place invariants in 985 ms returned sat
[2025-06-03 06:43:46] [INFO ] [Real]Absence check using 63 positive and 614 generalized place invariants in 321 ms returned sat
[2025-06-03 06:44:27] [INFO ] [Real]Absence check using state equation in 40661 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 1, 1, 1, 1]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1, 2, 1, 1, 1, 1, 1, 1]
Support contains 8 out of 16908 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 16908/16908 places, 33205/33205 transitions.
Applied a total of 0 rules in 1651 ms. Remains 16908 /16908 variables (removed 0) and now considering 33205/33205 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1652 ms. Remains : 16908/16908 places, 33205/33205 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 16908/16908 places, 33205/33205 transitions.
Applied a total of 0 rules in 1394 ms. Remains 16908 /16908 variables (removed 0) and now considering 33205/33205 (removed 0) transitions.
[2025-06-03 06:44:30] [INFO ] Flow matrix only has 31640 transitions (discarded 1565 similar events)
[2025-06-03 06:44:30] [INFO ] Invariant cache hit.
[2025-06-03 06:45:04] [INFO ] Performed 6941/16908 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 06:45:34] [INFO ] Performed 12281/16908 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-06-03 06:46:08] [INFO ] Performed 16381/16908 implicitness test of which 0 returned IMPLICIT in 94 seconds.
[2025-06-03 06:46:42] [INFO ] Performed 16556/16908 implicitness test of which 0 returned IMPLICIT in 127 seconds.
[2025-06-03 06:46:42] [INFO ] Timeout of Implicit test with SMT after 127 seconds.
[2025-06-03 06:46:42] [INFO ] Implicit Places using invariants in 132105 ms returned []
Implicit Place search using SMT only with invariants took 132106 ms to find 0 implicit places.
Running 33079 sub problems to find dead transitions.
[2025-06-03 06:46:43] [INFO ] Flow matrix only has 31640 transitions (discarded 1565 similar events)
[2025-06-03 06:46:43] [INFO ] Invariant cache hit.
[2025-06-03 06:46:45] [INFO ] State equation strengthened by 14434 read => feed constraints.
SMT process timed out in 477263ms, After SMT, problems are : Problem set: 0 solved, 33079 unsolved
Search for dead transitions found 0 dead transitions in 477761ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 611407 ms. Remains : 16908/16908 places, 33205/33205 transitions.
RANDOM walk for 40000 steps (748 resets) in 9923 ms. (4 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 64 ms. (61 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4003 steps (8 resets) in 49 ms. (80 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 63 ms. (62 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4003 steps (8 resets) in 52 ms. (75 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4002 steps (8 resets) in 74 ms. (53 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4003 steps (8 resets) in 124 ms. (32 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4003 steps (8 resets) in 61 ms. (64 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 16/16 properties
[2025-06-03 06:54:44] [INFO ] Flatten gal took : 2659 ms
[2025-06-03 06:54:46] [INFO ] Flatten gal took : 1280 ms
[2025-06-03 06:54:46] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13203125499863835968.gal : 535 ms
[2025-06-03 06:54:46] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15739137071482996791.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality13203125499863835968.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality15739137071482996791.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...330
Interrupted probabilistic random walk after 19508 steps, run timeout after 9001 ms. (steps per millisecond=2 ) properties seen :0 out of 16
Probabilistic random walk after 19508 steps, saw 9359 distinct states, run finished after 9011 ms. (steps per millisecond=2 ) properties seen :0
[2025-06-03 06:54:52] [INFO ] Flow matrix only has 31640 transitions (discarded 1565 similar events)
[2025-06-03 06:54:52] [INFO ] Invariant cache hit.
[2025-06-03 06:54:55] [INFO ] State equation strengthened by 14434 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/8 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 1 (OVERLAPS) 7233/7241 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 16 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 7241/48548 variables, and 2 constraints, problems are : Problem set: 0 solved, 16 unsolved in 5030 ms.
Refiners :[Positive P Invariants (semi-flows): 2/63 constraints, Generalized P Invariants (flows): 0/614 constraints, State Equation: 0/16908 constraints, ReadFeed: 0/14434 constraints, PredecessorRefiner: 16/16 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 16 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/8 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 1 (OVERLAPS) 7233/7241 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 16 unsolved
Loading property file /tmp/ReachabilityCardinality15739137071482996791.prop.
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 7241/48548 variables, and 2 constraints, problems are : Problem set: 0 solved, 16 unsolved in 5174 ms.
Refiners :[Positive P Invariants (semi-flows): 2/63 constraints, Generalized P Invariants (flows): 0/614 constraints, State Equation: 0/16908 constraints, ReadFeed: 0/14434 constraints, PredecessorRefiner: 0/16 constraints, Known Traps: 0/0 constraints]
After SMT, in 12521ms problems are : Problem set: 0 solved, 16 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 8 out of 16908 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 16908/16908 places, 33205/33205 transitions.
Applied a total of 0 rules in 1573 ms. Remains 16908 /16908 variables (removed 0) and now considering 33205/33205 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1577 ms. Remains : 16908/16908 places, 33205/33205 transitions.
RANDOM walk for 40000 steps (748 resets) in 6669 ms. (5 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4003 steps (8 resets) in 46 ms. (85 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4003 steps (8 resets) in 35 ms. (111 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4003 steps (8 resets) in 34 ms. (114 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4003 steps (8 resets) in 37 ms. (105 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4003 steps (8 resets) in 36 ms. (108 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4003 steps (8 resets) in 37 ms. (105 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4003 steps (8 resets) in 57 ms. (69 steps per ms) remains 16/16 properties
Interrupted probabilistic random walk after 12319 steps, run timeout after 6001 ms. (steps per millisecond=2 ) properties seen :0 out of 16
Probabilistic random walk after 12319 steps, saw 6132 distinct states, run finished after 6024 ms. (steps per millisecond=2 ) properties seen :0
[2025-06-03 06:55:15] [INFO ] Flow matrix only has 31640 transitions (discarded 1565 similar events)
[2025-06-03 06:55:15] [INFO ] Invariant cache hit.
[2025-06-03 06:55:16] [INFO ] State equation strengthened by 14434 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/8 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 1 (OVERLAPS) 7233/7241 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/7241 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 16 unsolved
At refinement iteration 3 (OVERLAPS) 34/7275 variables, 1/3 constraints. Problems are: Problem set: 0 solved, 16 unsolved
Detected timeout of ITS tools.
[2025-06-03 06:55:38] [INFO ] Flatten gal took : 1499 ms
[2025-06-03 06:55:38] [INFO ] Applying decomposition
[2025-06-03 06:55:39] [INFO ] Flatten gal took : 1342 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph11658223076277570023.txt' '-o' '/tmp/graph11658223076277570023.bin' '-w' '/tmp/graph11658223076277570023.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph11658223076277570023.bin' '-l' '-1' '-v' '-w' '/tmp/graph11658223076277570023.weights' '-q' '0' '-e' '0.001'
[2025-06-03 06:55:44] [INFO ] Decomposing Gal with order
[2025-06-03 06:55:45] [INFO ] Deduced a trap composed of 1442 places in 17790 ms of which 878 ms to minimize.
[2025-06-03 06:55:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 06:56:05] [INFO ] Deduced a trap composed of 2010 places in 19836 ms of which 93 ms to minimize.
SMT process timed out in 49892ms, After SMT, problems are : Problem set: 0 solved, 16 unsolved
Fused 16 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 8 out of 16908 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 16908/16908 places, 33205/33205 transitions.
Applied a total of 0 rules in 1611 ms. Remains 16908 /16908 variables (removed 0) and now considering 33205/33205 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1611 ms. Remains : 16908/16908 places, 33205/33205 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 16908/16908 places, 33205/33205 transitions.
Applied a total of 0 rules in 1446 ms. Remains 16908 /16908 variables (removed 0) and now considering 33205/33205 (removed 0) transitions.
[2025-06-03 06:56:08] [INFO ] Flow matrix only has 31640 transitions (discarded 1565 similar events)
[2025-06-03 06:56:08] [INFO ] Invariant cache hit.
[2025-06-03 06:56:12] [INFO ] Removed a total of 56591 redundant transitions.
[2025-06-03 06:56:14] [INFO ] Flatten gal took : 14895 ms
[2025-06-03 06:56:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 37143 labels/synchronizations in 17235 ms.
[2025-06-03 06:56:39] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7115867491676084081.gal : 525 ms
[2025-06-03 06:56:39] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5089399969135606496.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality7115867491676084081.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality5089399969135606496.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...307
[2025-06-03 06:56:42] [INFO ] Performed 6050/16908 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-03 06:57:12] [INFO ] Performed 9432/16908 implicitness test of which 0 returned IMPLICIT in 60 seconds.
Detected timeout of ITS tools.
[2025-06-03 06:57:43] [INFO ] Performed 13442/16908 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-06-03 06:58:13] [INFO ] Performed 16381/16908 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-06-03 06:58:13] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-06-03 06:58:13] [INFO ] Implicit Places using invariants in 125083 ms returned []
Implicit Place search using SMT only with invariants took 125092 ms to find 0 implicit places.
Running 33079 sub problems to find dead transitions.
[2025-06-03 06:58:13] [INFO ] Flow matrix only has 31640 transitions (discarded 1565 similar events)
[2025-06-03 06:58:13] [INFO ] Invariant cache hit.
[2025-06-03 06:58:15] [INFO ] State equation strengthened by 14434 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-S32C09"
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-S32C09, 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-174876533200061"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C09.tgz
mv MultiCrashLeafsetExtension-PT-S32C09 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 ;