About the Execution of 2023-gold for ASLink-PT-06a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10834.195 | 3600000.00 | 3665527.00 | 12092.00 | 1 1 1 ? 1 ? 1 1 1 1 1 1 1 ? 1 1 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r021-smll-171620127800056.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-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-5568
Executing tool gold2023
Input is ASLink-PT-06a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r021-smll-171620127800056
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 6.7K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K May 19 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 19 15:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 19 07:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 19 17:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 132K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.4K May 19 07:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 19 15:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 4 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 597K May 18 16:42 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
here is the order used to build the result vector(from text file)
FORMULA_NAME ASLink-PT-06a-UpperBounds-00
FORMULA_NAME ASLink-PT-06a-UpperBounds-01
FORMULA_NAME ASLink-PT-06a-UpperBounds-02
FORMULA_NAME ASLink-PT-06a-UpperBounds-03
FORMULA_NAME ASLink-PT-06a-UpperBounds-04
FORMULA_NAME ASLink-PT-06a-UpperBounds-05
FORMULA_NAME ASLink-PT-06a-UpperBounds-06
FORMULA_NAME ASLink-PT-06a-UpperBounds-07
FORMULA_NAME ASLink-PT-06a-UpperBounds-08
FORMULA_NAME ASLink-PT-06a-UpperBounds-09
FORMULA_NAME ASLink-PT-06a-UpperBounds-10
FORMULA_NAME ASLink-PT-06a-UpperBounds-11
FORMULA_NAME ASLink-PT-06a-UpperBounds-12
FORMULA_NAME ASLink-PT-06a-UpperBounds-13
FORMULA_NAME ASLink-PT-06a-UpperBounds-14
FORMULA_NAME ASLink-PT-06a-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1716419690423
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=gold2023
BK_EXAMINATION=UpperBounds
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ASLink-PT-06a
Not applying reductions.
Model is PT
UpperBounds PT
Running Version 202304061127
[2024-05-22 23:14:52] [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]
[2024-05-22 23:14:52] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-22 23:14:53] [INFO ] Load time of PNML (sax parser for PT used): 262 ms
[2024-05-22 23:14:53] [INFO ] Transformed 1406 places.
[2024-05-22 23:14:53] [INFO ] Transformed 2100 transitions.
[2024-05-22 23:14:53] [INFO ] Found NUPN structural information;
[2024-05-22 23:14:53] [INFO ] Parsed PT model containing 1406 places and 2100 transitions and 7896 arcs in 393 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 9 ms.
Ensure Unique test removed 22 transitions
Reduce redundant transitions removed 22 transitions.
// Phase 1: matrix 2078 rows 1406 cols
[2024-05-22 23:14:53] [INFO ] Computed 270 invariants in 154 ms
Incomplete random walk after 10000 steps, including 50 resets, run finished after 104 ms. (steps per millisecond=96 ) properties (out of 16) seen :7
FORMULA ASLink-PT-06a-UpperBounds-15 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-06a-UpperBounds-14 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-06a-UpperBounds-11 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-06a-UpperBounds-10 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-06a-UpperBounds-09 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-06a-UpperBounds-08 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-06a-UpperBounds-02 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 5 resets, run finished after 33 ms. (steps per millisecond=303 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10000 steps, including 6 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 7 resets, run finished after 27 ms. (steps per millisecond=370 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 8 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 8 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10000 steps, including 8 resets, run finished after 25 ms. (steps per millisecond=400 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 8 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 8 resets, run finished after 18 ms. (steps per millisecond=555 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10000 steps, including 6 resets, run finished after 23 ms. (steps per millisecond=434 ) properties (out of 9) seen :2
FORMULA ASLink-PT-06a-UpperBounds-12 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA ASLink-PT-06a-UpperBounds-04 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
[2024-05-22 23:14:53] [INFO ] Invariant cache hit.
[2024-05-22 23:14:54] [INFO ] [Real]Absence check using 66 positive place invariants in 55 ms returned sat
[2024-05-22 23:14:54] [INFO ] [Real]Absence check using 66 positive and 204 generalized place invariants in 82 ms returned sat
[2024-05-22 23:14:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:14:56] [INFO ] [Real]Absence check using state equation in 1391 ms returned sat
[2024-05-22 23:14:56] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:14:56] [INFO ] [Nat]Absence check using 66 positive place invariants in 53 ms returned sat
[2024-05-22 23:14:56] [INFO ] [Nat]Absence check using 66 positive and 204 generalized place invariants in 88 ms returned sat
[2024-05-22 23:14:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:15:01] [INFO ] [Nat]Absence check using state equation in 4479 ms returned unknown
[2024-05-22 23:15:01] [INFO ] [Real]Absence check using 66 positive place invariants in 46 ms returned sat
[2024-05-22 23:15:01] [INFO ] [Real]Absence check using 66 positive and 204 generalized place invariants in 83 ms returned sat
[2024-05-22 23:15:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:15:02] [INFO ] [Real]Absence check using state equation in 1168 ms returned sat
[2024-05-22 23:15:03] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:15:03] [INFO ] [Nat]Absence check using 66 positive place invariants in 48 ms returned sat
[2024-05-22 23:15:03] [INFO ] [Nat]Absence check using 66 positive and 204 generalized place invariants in 84 ms returned sat
[2024-05-22 23:15:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:15:08] [INFO ] [Nat]Absence check using state equation in 4496 ms returned unknown
[2024-05-22 23:15:08] [INFO ] [Real]Absence check using 66 positive place invariants in 46 ms returned sat
[2024-05-22 23:15:08] [INFO ] [Real]Absence check using 66 positive and 204 generalized place invariants in 85 ms returned sat
[2024-05-22 23:15:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:15:09] [INFO ] [Real]Absence check using state equation in 1328 ms returned sat
[2024-05-22 23:15:09] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:15:10] [INFO ] [Nat]Absence check using 66 positive place invariants in 49 ms returned sat
[2024-05-22 23:15:10] [INFO ] [Nat]Absence check using 66 positive and 204 generalized place invariants in 81 ms returned sat
[2024-05-22 23:15:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:15:14] [INFO ] [Nat]Absence check using state equation in 4611 ms returned unknown
[2024-05-22 23:15:15] [INFO ] [Real]Absence check using 66 positive place invariants in 47 ms returned sat
[2024-05-22 23:15:15] [INFO ] [Real]Absence check using 66 positive and 204 generalized place invariants in 87 ms returned sat
[2024-05-22 23:15:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:15:16] [INFO ] [Real]Absence check using state equation in 1075 ms returned sat
[2024-05-22 23:15:16] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:15:16] [INFO ] [Nat]Absence check using 66 positive place invariants in 45 ms returned sat
[2024-05-22 23:15:16] [INFO ] [Nat]Absence check using 66 positive and 204 generalized place invariants in 81 ms returned sat
[2024-05-22 23:15:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:15:21] [INFO ] [Nat]Absence check using state equation in 4604 ms returned unknown
[2024-05-22 23:15:21] [INFO ] [Real]Absence check using 66 positive place invariants in 44 ms returned sat
[2024-05-22 23:15:22] [INFO ] [Real]Absence check using 66 positive and 204 generalized place invariants in 85 ms returned sat
[2024-05-22 23:15:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:15:23] [INFO ] [Real]Absence check using state equation in 1148 ms returned sat
[2024-05-22 23:15:23] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:15:23] [INFO ] [Nat]Absence check using 66 positive place invariants in 46 ms returned sat
[2024-05-22 23:15:23] [INFO ] [Nat]Absence check using 66 positive and 204 generalized place invariants in 82 ms returned sat
[2024-05-22 23:15:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:15:28] [INFO ] [Nat]Absence check using state equation in 4598 ms returned unknown
[2024-05-22 23:15:28] [INFO ] [Real]Absence check using 66 positive place invariants in 43 ms returned sat
[2024-05-22 23:15:28] [INFO ] [Real]Absence check using 66 positive and 204 generalized place invariants in 82 ms returned sat
[2024-05-22 23:15:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:15:29] [INFO ] [Real]Absence check using state equation in 1316 ms returned sat
[2024-05-22 23:15:30] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:15:30] [INFO ] [Nat]Absence check using 66 positive place invariants in 47 ms returned sat
[2024-05-22 23:15:30] [INFO ] [Nat]Absence check using 66 positive and 204 generalized place invariants in 87 ms returned sat
[2024-05-22 23:15:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:15:35] [INFO ] [Nat]Absence check using state equation in 4593 ms returned unknown
[2024-05-22 23:15:35] [INFO ] [Real]Absence check using 66 positive place invariants in 45 ms returned sat
[2024-05-22 23:15:35] [INFO ] [Real]Absence check using 66 positive and 204 generalized place invariants in 83 ms returned sat
[2024-05-22 23:15:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:15:36] [INFO ] [Real]Absence check using state equation in 1248 ms returned sat
[2024-05-22 23:15:36] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:15:37] [INFO ] [Nat]Absence check using 66 positive place invariants in 45 ms returned sat
[2024-05-22 23:15:37] [INFO ] [Nat]Absence check using 66 positive and 204 generalized place invariants in 82 ms returned sat
[2024-05-22 23:15:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:15:38] [INFO ] [Nat]Absence check using state equation in 1453 ms returned sat
[2024-05-22 23:15:39] [INFO ] Deduced a trap composed of 51 places in 345 ms of which 5 ms to minimize.
[2024-05-22 23:15:41] [INFO ] Trap strengthening (SAT) tested/added 1/1 trap constraints in 3138 ms
Current structural bounds on expressions (after SMT) : [1, 1, 1, 1, 1, 1, 1] Max seen :[0, 0, 0, 0, 0, 0, 0]
Support contains 7 out of 1406 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1406/1406 places, 2078/2078 transitions.
Ensure Unique test removed 24 places
Discarding 12 places :
Implicit places reduction removed 12 places
Drop transitions removed 126 transitions
Trivial Post-agglo rules discarded 126 transitions
Performed 126 trivial Post agglomeration. Transition count delta: 126
Iterating post reduction 0 with 162 rules applied. Total rules applied 162 place count 1370 transition count 1952
Reduce places removed 126 places and 0 transitions.
Iterating post reduction 1 with 126 rules applied. Total rules applied 288 place count 1244 transition count 1952
Performed 128 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 128 Pre rules applied. Total rules applied 288 place count 1244 transition count 1824
Deduced a syphon composed of 128 places in 6 ms
Ensure Unique test removed 50 places
Reduce places removed 178 places and 0 transitions.
Iterating global reduction 2 with 306 rules applied. Total rules applied 594 place count 1066 transition count 1824
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 2 with 1 rules applied. Total rules applied 595 place count 1066 transition count 1823
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 596 place count 1065 transition count 1823
Discarding 9 places :
Symmetric choice reduction at 4 with 9 rule applications. Total rules 605 place count 1056 transition count 1776
Ensure Unique test removed 1 places
Iterating global reduction 4 with 10 rules applied. Total rules applied 615 place count 1055 transition count 1776
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 4 with 6 rules applied. Total rules applied 621 place count 1054 transition count 1771
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 624 place count 1051 transition count 1771
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 625 place count 1050 transition count 1763
Iterating global reduction 6 with 1 rules applied. Total rules applied 626 place count 1050 transition count 1763
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 627 place count 1049 transition count 1755
Iterating global reduction 6 with 1 rules applied. Total rules applied 628 place count 1049 transition count 1755
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 629 place count 1048 transition count 1747
Iterating global reduction 6 with 1 rules applied. Total rules applied 630 place count 1048 transition count 1747
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 631 place count 1047 transition count 1739
Iterating global reduction 6 with 1 rules applied. Total rules applied 632 place count 1047 transition count 1739
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 633 place count 1046 transition count 1731
Iterating global reduction 6 with 1 rules applied. Total rules applied 634 place count 1046 transition count 1731
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 635 place count 1045 transition count 1723
Iterating global reduction 6 with 1 rules applied. Total rules applied 636 place count 1045 transition count 1723
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 637 place count 1044 transition count 1715
Iterating global reduction 6 with 1 rules applied. Total rules applied 638 place count 1044 transition count 1715
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 639 place count 1043 transition count 1707
Iterating global reduction 6 with 1 rules applied. Total rules applied 640 place count 1043 transition count 1707
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 641 place count 1042 transition count 1699
Iterating global reduction 6 with 1 rules applied. Total rules applied 642 place count 1042 transition count 1699
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 643 place count 1041 transition count 1691
Iterating global reduction 6 with 1 rules applied. Total rules applied 644 place count 1041 transition count 1691
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 645 place count 1040 transition count 1683
Iterating global reduction 6 with 1 rules applied. Total rules applied 646 place count 1040 transition count 1683
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 647 place count 1039 transition count 1675
Iterating global reduction 6 with 1 rules applied. Total rules applied 648 place count 1039 transition count 1675
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 649 place count 1038 transition count 1667
Iterating global reduction 6 with 1 rules applied. Total rules applied 650 place count 1038 transition count 1667
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 651 place count 1037 transition count 1659
Iterating global reduction 6 with 1 rules applied. Total rules applied 652 place count 1037 transition count 1659
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 653 place count 1036 transition count 1651
Iterating global reduction 6 with 1 rules applied. Total rules applied 654 place count 1036 transition count 1651
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 655 place count 1035 transition count 1643
Iterating global reduction 6 with 1 rules applied. Total rules applied 656 place count 1035 transition count 1643
Performed 41 Post agglomeration using F-continuation condition.Transition count delta: 41
Deduced a syphon composed of 41 places in 3 ms
Reduce places removed 41 places and 0 transitions.
Iterating global reduction 6 with 82 rules applied. Total rules applied 738 place count 994 transition count 1602
Free-agglomeration rule (complex) applied 5 times.
Iterating global reduction 6 with 5 rules applied. Total rules applied 743 place count 994 transition count 1597
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 6 with 5 rules applied. Total rules applied 748 place count 989 transition count 1597
Partial Free-agglomeration rule applied 6 times.
Drop transitions removed 6 transitions
Iterating global reduction 7 with 6 rules applied. Total rules applied 754 place count 989 transition count 1597
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 755 place count 988 transition count 1596
Reduce places removed 12 places and 0 transitions.
Iterating post reduction 7 with 12 rules applied. Total rules applied 767 place count 976 transition count 1596
Performed 24 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 24 Pre rules applied. Total rules applied 767 place count 976 transition count 1572
Deduced a syphon composed of 24 places in 3 ms
Ensure Unique test removed 1 places
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 8 with 49 rules applied. Total rules applied 816 place count 951 transition count 1572
Discarding 8 places :
Implicit places reduction removed 8 places
Iterating post reduction 8 with 8 rules applied. Total rules applied 824 place count 943 transition count 1572
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 9 with 1 Pre rules applied. Total rules applied 824 place count 943 transition count 1571
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 826 place count 942 transition count 1571
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 3 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 9 with 14 rules applied. Total rules applied 840 place count 935 transition count 1564
Discarding 6 places :
Symmetric choice reduction at 9 with 6 rule applications. Total rules 846 place count 929 transition count 1558
Iterating global reduction 9 with 6 rules applied. Total rules applied 852 place count 929 transition count 1558
Free-agglomeration rule applied 7 times.
Iterating global reduction 9 with 7 rules applied. Total rules applied 859 place count 929 transition count 1551
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 9 with 7 rules applied. Total rules applied 866 place count 922 transition count 1551
Partial Free-agglomeration rule applied 6 times.
Drop transitions removed 6 transitions
Iterating global reduction 10 with 6 rules applied. Total rules applied 872 place count 922 transition count 1551
Applied a total of 872 rules in 1878 ms. Remains 922 /1406 variables (removed 484) and now considering 1551/2078 (removed 527) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1879 ms. Remains : 922/1406 places, 1551/2078 transitions.
// Phase 1: matrix 1551 rows 922 cols
[2024-05-22 23:15:44] [INFO ] Computed 161 invariants in 85 ms
Incomplete random walk after 1000000 steps, including 11386 resets, run finished after 3236 ms. (steps per millisecond=309 ) properties (out of 7) seen :1
FORMULA ASLink-PT-06a-UpperBounds-06 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 1000000 steps, including 1872 resets, run finished after 1367 ms. (steps per millisecond=731 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1865 resets, run finished after 1567 ms. (steps per millisecond=638 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1882 resets, run finished after 1575 ms. (steps per millisecond=634 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1869 resets, run finished after 1562 ms. (steps per millisecond=640 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1842 resets, run finished after 1378 ms. (steps per millisecond=725 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1873 resets, run finished after 1571 ms. (steps per millisecond=636 ) properties (out of 6) seen :1
FORMULA ASLink-PT-06a-UpperBounds-00 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
[2024-05-22 23:15:57] [INFO ] Invariant cache hit.
[2024-05-22 23:15:57] [INFO ] [Real]Absence check using 41 positive place invariants in 22 ms returned sat
[2024-05-22 23:15:57] [INFO ] [Real]Absence check using 41 positive and 120 generalized place invariants in 47 ms returned sat
[2024-05-22 23:15:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:15:58] [INFO ] [Real]Absence check using state equation in 851 ms returned sat
[2024-05-22 23:15:58] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:15:58] [INFO ] [Nat]Absence check using 41 positive place invariants in 21 ms returned sat
[2024-05-22 23:15:58] [INFO ] [Nat]Absence check using 41 positive and 120 generalized place invariants in 44 ms returned sat
[2024-05-22 23:15:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:15:59] [INFO ] [Nat]Absence check using state equation in 918 ms returned sat
[2024-05-22 23:15:59] [INFO ] Computed and/alt/rep : 611/2323/611 causal constraints (skipped 907 transitions) in 248 ms.
[2024-05-22 23:16:16] [INFO ] Added : 416 causal constraints over 84 iterations in 17113 ms. Result :sat
Minimization took 937 ms.
[2024-05-22 23:16:17] [INFO ] [Real]Absence check using 41 positive place invariants in 20 ms returned sat
[2024-05-22 23:16:17] [INFO ] [Real]Absence check using 41 positive and 120 generalized place invariants in 44 ms returned sat
[2024-05-22 23:16:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:16:18] [INFO ] [Real]Absence check using state equation in 820 ms returned sat
[2024-05-22 23:16:18] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:16:18] [INFO ] [Nat]Absence check using 41 positive place invariants in 21 ms returned sat
[2024-05-22 23:16:18] [INFO ] [Nat]Absence check using 41 positive and 120 generalized place invariants in 45 ms returned sat
[2024-05-22 23:16:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:16:19] [INFO ] [Nat]Absence check using state equation in 1047 ms returned sat
[2024-05-22 23:16:20] [INFO ] Computed and/alt/rep : 611/2323/611 causal constraints (skipped 907 transitions) in 145 ms.
[2024-05-22 23:16:34] [INFO ] Added : 446 causal constraints over 90 iterations in 14368 ms. Result :sat
Minimization took 852 ms.
[2024-05-22 23:16:35] [INFO ] [Real]Absence check using 41 positive place invariants in 21 ms returned sat
[2024-05-22 23:16:35] [INFO ] [Real]Absence check using 41 positive and 120 generalized place invariants in 44 ms returned sat
[2024-05-22 23:16:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:16:36] [INFO ] [Real]Absence check using state equation in 839 ms returned sat
[2024-05-22 23:16:36] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:16:36] [INFO ] [Nat]Absence check using 41 positive place invariants in 25 ms returned sat
[2024-05-22 23:16:36] [INFO ] [Nat]Absence check using 41 positive and 120 generalized place invariants in 61 ms returned sat
[2024-05-22 23:16:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:16:37] [INFO ] [Nat]Absence check using state equation in 922 ms returned sat
[2024-05-22 23:16:37] [INFO ] Computed and/alt/rep : 611/2323/611 causal constraints (skipped 907 transitions) in 106 ms.
[2024-05-22 23:16:54] [INFO ] Added : 448 causal constraints over 90 iterations in 16368 ms. Result :sat
Minimization took 847 ms.
[2024-05-22 23:16:55] [INFO ] [Real]Absence check using 41 positive place invariants in 26 ms returned sat
[2024-05-22 23:16:55] [INFO ] [Real]Absence check using 41 positive and 120 generalized place invariants in 70 ms returned sat
[2024-05-22 23:16:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:16:56] [INFO ] [Real]Absence check using state equation in 978 ms returned sat
[2024-05-22 23:16:56] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:16:56] [INFO ] [Nat]Absence check using 41 positive place invariants in 20 ms returned sat
[2024-05-22 23:16:56] [INFO ] [Nat]Absence check using 41 positive and 120 generalized place invariants in 46 ms returned sat
[2024-05-22 23:16:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:16:57] [INFO ] [Nat]Absence check using state equation in 803 ms returned sat
[2024-05-22 23:16:57] [INFO ] Computed and/alt/rep : 611/2323/611 causal constraints (skipped 907 transitions) in 107 ms.
[2024-05-22 23:17:09] [INFO ] Added : 402 causal constraints over 81 iterations in 12413 ms. Result :sat
Minimization took 982 ms.
[2024-05-22 23:17:10] [INFO ] [Real]Absence check using 41 positive place invariants in 19 ms returned sat
[2024-05-22 23:17:10] [INFO ] [Real]Absence check using 41 positive and 120 generalized place invariants in 43 ms returned sat
[2024-05-22 23:17:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:17:11] [INFO ] [Real]Absence check using state equation in 1037 ms returned sat
[2024-05-22 23:17:12] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:17:12] [INFO ] [Nat]Absence check using 41 positive place invariants in 33 ms returned sat
[2024-05-22 23:17:12] [INFO ] [Nat]Absence check using 41 positive and 120 generalized place invariants in 69 ms returned sat
[2024-05-22 23:17:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:17:13] [INFO ] [Nat]Absence check using state equation in 918 ms returned sat
[2024-05-22 23:17:13] [INFO ] Computed and/alt/rep : 611/2323/611 causal constraints (skipped 907 transitions) in 106 ms.
[2024-05-22 23:17:28] [INFO ] Added : 462 causal constraints over 93 iterations in 14901 ms. Result :sat
Minimization took 966 ms.
Current structural bounds on expressions (after SMT) : [1, 1, 1, 1, 1] Max seen :[0, 0, 0, 0, 0]
Support contains 5 out of 922 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 922/922 places, 1551/1551 transitions.
Applied a total of 0 rules in 48 ms. Remains 922 /922 variables (removed 0) and now considering 1551/1551 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 50 ms. Remains : 922/922 places, 1551/1551 transitions.
[2024-05-22 23:17:33] [INFO ] Invariant cache hit.
Incomplete random walk after 1000000 steps, including 11509 resets, run finished after 3291 ms. (steps per millisecond=303 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1877 resets, run finished after 1576 ms. (steps per millisecond=634 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1868 resets, run finished after 1551 ms. (steps per millisecond=644 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1892 resets, run finished after 1357 ms. (steps per millisecond=736 ) properties (out of 5) seen :1
FORMULA ASLink-PT-06a-UpperBounds-07 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 1000001 steps, including 1864 resets, run finished after 1364 ms. (steps per millisecond=733 ) properties (out of 4) seen :0
[2024-05-22 23:17:43] [INFO ] Invariant cache hit.
[2024-05-22 23:17:43] [INFO ] [Real]Absence check using 41 positive place invariants in 20 ms returned sat
[2024-05-22 23:17:43] [INFO ] [Real]Absence check using 41 positive and 120 generalized place invariants in 45 ms returned sat
[2024-05-22 23:17:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:17:43] [INFO ] [Real]Absence check using state equation in 677 ms returned sat
[2024-05-22 23:17:43] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:17:44] [INFO ] [Nat]Absence check using 41 positive place invariants in 33 ms returned sat
[2024-05-22 23:17:44] [INFO ] [Nat]Absence check using 41 positive and 120 generalized place invariants in 69 ms returned sat
[2024-05-22 23:17:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:17:45] [INFO ] [Nat]Absence check using state equation in 1125 ms returned sat
[2024-05-22 23:17:45] [INFO ] Computed and/alt/rep : 611/2323/611 causal constraints (skipped 907 transitions) in 147 ms.
[2024-05-22 23:18:02] [INFO ] Added : 416 causal constraints over 84 iterations in 16593 ms. Result :sat
Minimization took 955 ms.
[2024-05-22 23:18:03] [INFO ] [Real]Absence check using 41 positive place invariants in 19 ms returned sat
[2024-05-22 23:18:03] [INFO ] [Real]Absence check using 41 positive and 120 generalized place invariants in 43 ms returned sat
[2024-05-22 23:18:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:18:04] [INFO ] [Real]Absence check using state equation in 868 ms returned sat
[2024-05-22 23:18:04] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:18:04] [INFO ] [Nat]Absence check using 41 positive place invariants in 21 ms returned sat
[2024-05-22 23:18:04] [INFO ] [Nat]Absence check using 41 positive and 120 generalized place invariants in 48 ms returned sat
[2024-05-22 23:18:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:18:05] [INFO ] [Nat]Absence check using state equation in 1048 ms returned sat
[2024-05-22 23:18:05] [INFO ] Computed and/alt/rep : 611/2323/611 causal constraints (skipped 907 transitions) in 162 ms.
[2024-05-22 23:18:18] [INFO ] Added : 446 causal constraints over 90 iterations in 12717 ms. Result :sat
Minimization took 802 ms.
[2024-05-22 23:18:19] [INFO ] [Real]Absence check using 41 positive place invariants in 19 ms returned sat
[2024-05-22 23:18:19] [INFO ] [Real]Absence check using 41 positive and 120 generalized place invariants in 44 ms returned sat
[2024-05-22 23:18:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:18:20] [INFO ] [Real]Absence check using state equation in 845 ms returned sat
[2024-05-22 23:18:20] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:18:20] [INFO ] [Nat]Absence check using 41 positive place invariants in 20 ms returned sat
[2024-05-22 23:18:20] [INFO ] [Nat]Absence check using 41 positive and 120 generalized place invariants in 41 ms returned sat
[2024-05-22 23:18:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:18:21] [INFO ] [Nat]Absence check using state equation in 837 ms returned sat
[2024-05-22 23:18:21] [INFO ] Computed and/alt/rep : 611/2323/611 causal constraints (skipped 907 transitions) in 105 ms.
[2024-05-22 23:18:36] [INFO ] Added : 448 causal constraints over 90 iterations in 15584 ms. Result :sat
Minimization took 847 ms.
[2024-05-22 23:18:37] [INFO ] [Real]Absence check using 41 positive place invariants in 19 ms returned sat
[2024-05-22 23:18:38] [INFO ] [Real]Absence check using 41 positive and 120 generalized place invariants in 43 ms returned sat
[2024-05-22 23:18:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:18:38] [INFO ] [Real]Absence check using state equation in 878 ms returned sat
[2024-05-22 23:18:38] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:18:39] [INFO ] [Nat]Absence check using 41 positive place invariants in 33 ms returned sat
[2024-05-22 23:18:39] [INFO ] [Nat]Absence check using 41 positive and 120 generalized place invariants in 68 ms returned sat
[2024-05-22 23:18:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:18:40] [INFO ] [Nat]Absence check using state equation in 1005 ms returned sat
[2024-05-22 23:18:40] [INFO ] Computed and/alt/rep : 611/2323/611 causal constraints (skipped 907 transitions) in 106 ms.
[2024-05-22 23:18:56] [INFO ] Added : 462 causal constraints over 93 iterations in 16062 ms. Result :sat
Minimization took 653 ms.
Current structural bounds on expressions (after SMT) : [1, 1, 1, 1] Max seen :[0, 0, 0, 0]
Support contains 4 out of 922 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 922/922 places, 1551/1551 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 921 transition count 1550
Applied a total of 2 rules in 78 ms. Remains 921 /922 variables (removed 1) and now considering 1550/1551 (removed 1) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 78 ms. Remains : 921/922 places, 1550/1551 transitions.
// Phase 1: matrix 1550 rows 921 cols
[2024-05-22 23:18:59] [INFO ] Computed 161 invariants in 24 ms
Incomplete random walk after 1000000 steps, including 11334 resets, run finished after 3114 ms. (steps per millisecond=321 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1867 resets, run finished after 1356 ms. (steps per millisecond=737 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1866 resets, run finished after 1350 ms. (steps per millisecond=740 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1874 resets, run finished after 1354 ms. (steps per millisecond=738 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 1863 resets, run finished after 1357 ms. (steps per millisecond=736 ) properties (out of 4) seen :0
[2024-05-22 23:19:08] [INFO ] Invariant cache hit.
[2024-05-22 23:19:08] [INFO ] [Real]Absence check using 39 positive place invariants in 20 ms returned sat
[2024-05-22 23:19:08] [INFO ] [Real]Absence check using 39 positive and 122 generalized place invariants in 37 ms returned sat
[2024-05-22 23:19:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:19:09] [INFO ] [Real]Absence check using state equation in 728 ms returned sat
[2024-05-22 23:19:09] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:19:09] [INFO ] [Nat]Absence check using 39 positive place invariants in 20 ms returned sat
[2024-05-22 23:19:09] [INFO ] [Nat]Absence check using 39 positive and 122 generalized place invariants in 45 ms returned sat
[2024-05-22 23:19:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:19:11] [INFO ] [Nat]Absence check using state equation in 2077 ms returned sat
[2024-05-22 23:19:11] [INFO ] Computed and/alt/rep : 610/2322/610 causal constraints (skipped 907 transitions) in 106 ms.
[2024-05-22 23:19:25] [INFO ] Added : 470 causal constraints over 94 iterations in 14230 ms. Result :sat
Minimization took 1559 ms.
[2024-05-22 23:19:27] [INFO ] [Real]Absence check using 39 positive place invariants in 20 ms returned sat
[2024-05-22 23:19:27] [INFO ] [Real]Absence check using 39 positive and 122 generalized place invariants in 42 ms returned sat
[2024-05-22 23:19:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:19:28] [INFO ] [Real]Absence check using state equation in 787 ms returned sat
[2024-05-22 23:19:28] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:19:28] [INFO ] [Nat]Absence check using 39 positive place invariants in 20 ms returned sat
[2024-05-22 23:19:28] [INFO ] [Nat]Absence check using 39 positive and 122 generalized place invariants in 61 ms returned sat
[2024-05-22 23:19:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:19:29] [INFO ] [Nat]Absence check using state equation in 899 ms returned sat
[2024-05-22 23:19:29] [INFO ] Computed and/alt/rep : 610/2322/610 causal constraints (skipped 907 transitions) in 104 ms.
[2024-05-22 23:19:43] [INFO ] Added : 470 causal constraints over 94 iterations in 13732 ms. Result :sat
Minimization took 667 ms.
[2024-05-22 23:19:44] [INFO ] [Real]Absence check using 39 positive place invariants in 28 ms returned sat
[2024-05-22 23:19:44] [INFO ] [Real]Absence check using 39 positive and 122 generalized place invariants in 63 ms returned sat
[2024-05-22 23:19:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:19:45] [INFO ] [Real]Absence check using state equation in 867 ms returned sat
[2024-05-22 23:19:45] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:19:45] [INFO ] [Nat]Absence check using 39 positive place invariants in 20 ms returned sat
[2024-05-22 23:19:45] [INFO ] [Nat]Absence check using 39 positive and 122 generalized place invariants in 46 ms returned sat
[2024-05-22 23:19:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:19:46] [INFO ] [Nat]Absence check using state equation in 972 ms returned sat
[2024-05-22 23:19:46] [INFO ] Computed and/alt/rep : 610/2322/610 causal constraints (skipped 907 transitions) in 103 ms.
[2024-05-22 23:19:53] [INFO ] Added : 162 causal constraints over 33 iterations in 6870 ms. Result :sat
Minimization took 906 ms.
[2024-05-22 23:19:54] [INFO ] [Real]Absence check using 39 positive place invariants in 20 ms returned sat
[2024-05-22 23:19:54] [INFO ] [Real]Absence check using 39 positive and 122 generalized place invariants in 44 ms returned sat
[2024-05-22 23:19:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:19:55] [INFO ] [Real]Absence check using state equation in 830 ms returned sat
[2024-05-22 23:19:55] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:19:55] [INFO ] [Nat]Absence check using 39 positive place invariants in 19 ms returned sat
[2024-05-22 23:19:55] [INFO ] [Nat]Absence check using 39 positive and 122 generalized place invariants in 49 ms returned sat
[2024-05-22 23:19:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:19:56] [INFO ] [Nat]Absence check using state equation in 926 ms returned sat
[2024-05-22 23:19:56] [INFO ] Computed and/alt/rep : 610/2322/610 causal constraints (skipped 907 transitions) in 103 ms.
[2024-05-22 23:20:14] [INFO ] Added : 462 causal constraints over 93 iterations in 17982 ms. Result :sat
Minimization took 1023 ms.
Current structural bounds on expressions (after SMT) : [1, 1, 1, 1] Max seen :[0, 0, 0, 0]
Support contains 4 out of 921 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 921/921 places, 1550/1550 transitions.
Applied a total of 0 rules in 47 ms. Remains 921 /921 variables (removed 0) and now considering 1550/1550 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 48 ms. Remains : 921/921 places, 1550/1550 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 921/921 places, 1550/1550 transitions.
Applied a total of 0 rules in 42 ms. Remains 921 /921 variables (removed 0) and now considering 1550/1550 (removed 0) transitions.
[2024-05-22 23:20:18] [INFO ] Invariant cache hit.
[2024-05-22 23:20:19] [INFO ] Implicit Places using invariants in 1513 ms returned [0, 18, 19, 30, 48, 66, 137, 146, 147, 148, 166, 184, 253, 257, 258, 269, 270, 271, 289, 307, 376, 380, 381, 392, 393, 394, 412, 430, 499, 503, 504, 515, 516, 517, 535, 553, 588, 625, 629, 630, 641, 642, 643, 661, 679, 748, 752, 753, 756, 767, 768, 769, 787, 789, 792, 810, 811, 812, 813, 825, 831, 837, 843, 849, 855, 861, 867, 873, 879, 885]
Discarding 70 places :
Implicit Place search using SMT only with invariants took 1518 ms to find 70 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 851/921 places, 1550/1550 transitions.
Drop transitions removed 119 transitions
Trivial Post-agglo rules discarded 119 transitions
Performed 119 trivial Post agglomeration. Transition count delta: 119
Iterating post reduction 0 with 119 rules applied. Total rules applied 119 place count 851 transition count 1431
Reduce places removed 119 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 120 rules applied. Total rules applied 239 place count 732 transition count 1430
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 240 place count 731 transition count 1430
Performed 31 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 31 Pre rules applied. Total rules applied 240 place count 731 transition count 1399
Deduced a syphon composed of 31 places in 2 ms
Ensure Unique test removed 1 places
Reduce places removed 32 places and 0 transitions.
Iterating global reduction 3 with 63 rules applied. Total rules applied 303 place count 699 transition count 1399
Discarding 4 places :
Implicit places reduction removed 4 places
Drop transitions removed 8 transitions
Trivial Post-agglo rules discarded 8 transitions
Performed 8 trivial Post agglomeration. Transition count delta: 8
Iterating post reduction 3 with 12 rules applied. Total rules applied 315 place count 695 transition count 1391
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 4 with 8 rules applied. Total rules applied 323 place count 687 transition count 1391
Discarding 15 places :
Symmetric choice reduction at 5 with 15 rule applications. Total rules 338 place count 672 transition count 1376
Iterating global reduction 5 with 15 rules applied. Total rules applied 353 place count 672 transition count 1376
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 356 place count 672 transition count 1373
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 1 Pre rules applied. Total rules applied 356 place count 672 transition count 1372
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 358 place count 671 transition count 1372
Discarding 3 places :
Symmetric choice reduction at 6 with 3 rule applications. Total rules 361 place count 668 transition count 1369
Iterating global reduction 6 with 3 rules applied. Total rules applied 364 place count 668 transition count 1369
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 365 place count 667 transition count 1368
Iterating global reduction 6 with 1 rules applied. Total rules applied 366 place count 667 transition count 1368
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 367 place count 666 transition count 1367
Iterating global reduction 6 with 1 rules applied. Total rules applied 368 place count 666 transition count 1367
Performed 53 Post agglomeration using F-continuation condition.Transition count delta: 53
Deduced a syphon composed of 53 places in 1 ms
Reduce places removed 53 places and 0 transitions.
Iterating global reduction 6 with 106 rules applied. Total rules applied 474 place count 613 transition count 1314
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 6 with 6 rules applied. Total rules applied 480 place count 613 transition count 1308
Discarding 5 places :
Symmetric choice reduction at 7 with 5 rule applications. Total rules 485 place count 608 transition count 1303
Iterating global reduction 7 with 5 rules applied. Total rules applied 490 place count 608 transition count 1303
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 7 with 5 rules applied. Total rules applied 495 place count 608 transition count 1298
Free-agglomeration rule (complex) applied 12 times.
Iterating global reduction 8 with 12 rules applied. Total rules applied 507 place count 608 transition count 1286
Ensure Unique test removed 1 places
Reduce places removed 13 places and 0 transitions.
Iterating post reduction 8 with 13 rules applied. Total rules applied 520 place count 595 transition count 1286
Partial Free-agglomeration rule applied 19 times.
Drop transitions removed 19 transitions
Iterating global reduction 9 with 19 rules applied. Total rules applied 539 place count 595 transition count 1286
Applied a total of 539 rules in 343 ms. Remains 595 /851 variables (removed 256) and now considering 1286/1550 (removed 264) transitions.
// Phase 1: matrix 1286 rows 595 cols
[2024-05-22 23:20:20] [INFO ] Computed 85 invariants in 23 ms
[2024-05-22 23:20:21] [INFO ] Implicit Places using invariants in 782 ms returned [89, 95, 98, 100, 105, 106, 158, 175, 181, 184, 186, 191, 192, 244, 261, 267, 270, 272, 277, 278, 330, 347, 353, 356, 358, 363, 364, 416, 435, 441, 444, 446, 451, 452, 504, 521, 527, 530, 532]
Discarding 39 places :
Implicit Place search using SMT only with invariants took 786 ms to find 39 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 556/921 places, 1286/1550 transitions.
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 18 place count 538 transition count 1268
Iterating global reduction 0 with 18 rules applied. Total rules applied 36 place count 538 transition count 1268
Discarding 6 places :
Symmetric choice reduction at 0 with 6 rule applications. Total rules 42 place count 532 transition count 1262
Iterating global reduction 0 with 6 rules applied. Total rules applied 48 place count 532 transition count 1262
Performed 11 Post agglomeration using F-continuation condition.Transition count delta: 11
Deduced a syphon composed of 11 places in 2 ms
Reduce places removed 11 places and 0 transitions.
Iterating global reduction 0 with 22 rules applied. Total rules applied 70 place count 521 transition count 1251
Free-agglomeration rule applied 18 times.
Iterating global reduction 0 with 18 rules applied. Total rules applied 88 place count 521 transition count 1233
Reduce places removed 18 places and 0 transitions.
Iterating post reduction 0 with 18 rules applied. Total rules applied 106 place count 503 transition count 1233
Free-agglomeration rule (complex) applied 5 times.
Iterating global reduction 1 with 5 rules applied. Total rules applied 111 place count 503 transition count 1228
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 1 with 5 rules applied. Total rules applied 116 place count 498 transition count 1228
Applied a total of 116 rules in 234 ms. Remains 498 /556 variables (removed 58) and now considering 1228/1286 (removed 58) transitions.
// Phase 1: matrix 1228 rows 498 cols
[2024-05-22 23:20:21] [INFO ] Computed 46 invariants in 22 ms
[2024-05-22 23:20:22] [INFO ] Implicit Places using invariants in 773 ms returned []
[2024-05-22 23:20:22] [INFO ] Invariant cache hit.
[2024-05-22 23:20:23] [INFO ] Implicit Places using invariants and state equation in 1856 ms returned []
Implicit Place search using SMT with State Equation took 2643 ms to find 0 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 3 : 498/921 places, 1228/1550 transitions.
Finished structural reductions in REACHABILITY mode , in 3 iterations and 5568 ms. Remains : 498/921 places, 1228/1550 transitions.
Successfully produced net in file /tmp/petri1000_7862140141639372035.dot
Successfully produced net in file /tmp/petri1001_13761801559990439018.dot
Successfully produced net in file /tmp/petri1002_14872711253139926536.dot
Successfully produced net in file /tmp/petri1003_8666116952084363759.dot
Successfully produced net in file /tmp/petri1004_6445301715149105891.dot
Successfully produced net in file /tmp/petri1005_2102063531540853447.dot
Drop transitions removed 6 transitions
Dominated transitions for bounds rules discarded 6 transitions
// Phase 1: matrix 1222 rows 498 cols
[2024-05-22 23:20:24] [INFO ] Computed 46 invariants in 21 ms
Incomplete random walk after 1000000 steps, including 17691 resets, run finished after 2627 ms. (steps per millisecond=380 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 3954 resets, run finished after 839 ms. (steps per millisecond=1191 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000000 steps, including 3966 resets, run finished after 834 ms. (steps per millisecond=1199 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 3997 resets, run finished after 907 ms. (steps per millisecond=1102 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 4006 resets, run finished after 965 ms. (steps per millisecond=1036 ) properties (out of 4) seen :0
[2024-05-22 23:20:30] [INFO ] Invariant cache hit.
[2024-05-22 23:20:30] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2024-05-22 23:20:30] [INFO ] [Real]Absence check using 11 positive and 35 generalized place invariants in 15 ms returned sat
[2024-05-22 23:20:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:20:30] [INFO ] [Real]Absence check using state equation in 475 ms returned sat
[2024-05-22 23:20:30] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:20:30] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2024-05-22 23:20:31] [INFO ] [Nat]Absence check using 11 positive and 35 generalized place invariants in 27 ms returned sat
[2024-05-22 23:20:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:20:31] [INFO ] [Nat]Absence check using state equation in 913 ms returned sat
[2024-05-22 23:20:32] [INFO ] Computed and/alt/rep : 269/1199/269 causal constraints (skipped 923 transitions) in 83 ms.
[2024-05-22 23:20:33] [INFO ] Added : 27 causal constraints over 6 iterations in 1504 ms. Result :sat
Minimization took 559 ms.
[2024-05-22 23:20:34] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2024-05-22 23:20:34] [INFO ] [Real]Absence check using 11 positive and 35 generalized place invariants in 15 ms returned sat
[2024-05-22 23:20:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:20:34] [INFO ] [Real]Absence check using state equation in 430 ms returned sat
[2024-05-22 23:20:34] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:20:34] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2024-05-22 23:20:34] [INFO ] [Nat]Absence check using 11 positive and 35 generalized place invariants in 27 ms returned sat
[2024-05-22 23:20:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:20:35] [INFO ] [Nat]Absence check using state equation in 995 ms returned sat
[2024-05-22 23:20:35] [INFO ] Computed and/alt/rep : 269/1199/269 causal constraints (skipped 923 transitions) in 81 ms.
[2024-05-22 23:20:37] [INFO ] Deduced a trap composed of 24 places in 419 ms of which 2 ms to minimize.
[2024-05-22 23:20:37] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 587 ms
[2024-05-22 23:20:37] [INFO ] Added : 59 causal constraints over 12 iterations in 1891 ms. Result :sat
Minimization took 445 ms.
[2024-05-22 23:20:38] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2024-05-22 23:20:38] [INFO ] [Real]Absence check using 11 positive and 35 generalized place invariants in 25 ms returned sat
[2024-05-22 23:20:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:20:39] [INFO ] [Real]Absence check using state equation in 614 ms returned sat
[2024-05-22 23:20:39] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:20:39] [INFO ] [Nat]Absence check using 11 positive place invariants in 8 ms returned sat
[2024-05-22 23:20:39] [INFO ] [Nat]Absence check using 11 positive and 35 generalized place invariants in 16 ms returned sat
[2024-05-22 23:20:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:20:39] [INFO ] [Nat]Absence check using state equation in 545 ms returned sat
[2024-05-22 23:20:39] [INFO ] Computed and/alt/rep : 269/1199/269 causal constraints (skipped 923 transitions) in 90 ms.
[2024-05-22 23:20:41] [INFO ] Added : 52 causal constraints over 11 iterations in 1622 ms. Result :sat
Minimization took 500 ms.
[2024-05-22 23:20:42] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2024-05-22 23:20:42] [INFO ] [Real]Absence check using 11 positive and 35 generalized place invariants in 25 ms returned sat
[2024-05-22 23:20:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:20:42] [INFO ] [Real]Absence check using state equation in 600 ms returned sat
[2024-05-22 23:20:42] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:20:42] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2024-05-22 23:20:43] [INFO ] [Nat]Absence check using 11 positive and 35 generalized place invariants in 27 ms returned sat
[2024-05-22 23:20:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:20:43] [INFO ] [Nat]Absence check using state equation in 667 ms returned sat
[2024-05-22 23:20:43] [INFO ] Computed and/alt/rep : 269/1199/269 causal constraints (skipped 923 transitions) in 82 ms.
[2024-05-22 23:20:44] [INFO ] Added : 37 causal constraints over 8 iterations in 993 ms. Result :sat
Minimization took 207 ms.
Current structural bounds on expressions (after SMT) : [1, 1, 1, 1] Max seen :[0, 0, 0, 0]
FORMULA ASLink-PT-06a-UpperBounds-01 1 TECHNIQUES TOPOLOGICAL PARIKH_WALK
Support contains 3 out of 498 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 498/498 places, 1222/1222 transitions.
Graph (complete) has 3023 edges and 498 vertex of which 492 are kept as prefixes of interest. Removing 6 places using SCC suffix rule.2 ms
Discarding 6 places :
Also discarding 0 output transitions
Partial Free-agglomeration rule applied 6 times.
Drop transitions removed 6 transitions
Iterating global reduction 0 with 6 rules applied. Total rules applied 7 place count 492 transition count 1222
Applied a total of 7 rules in 60 ms. Remains 492 /498 variables (removed 6) and now considering 1222/1222 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 61 ms. Remains : 492/498 places, 1222/1222 transitions.
// Phase 1: matrix 1222 rows 492 cols
[2024-05-22 23:20:46] [INFO ] Computed 46 invariants in 21 ms
Incomplete random walk after 1000000 steps, including 18086 resets, run finished after 2411 ms. (steps per millisecond=414 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 1000001 steps, including 3993 resets, run finished after 829 ms. (steps per millisecond=1206 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 1000001 steps, including 4022 resets, run finished after 825 ms. (steps per millisecond=1212 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 1000001 steps, including 4029 resets, run finished after 1031 ms. (steps per millisecond=969 ) properties (out of 3) seen :0
[2024-05-22 23:20:51] [INFO ] Invariant cache hit.
[2024-05-22 23:20:51] [INFO ] [Real]Absence check using 13 positive place invariants in 8 ms returned sat
[2024-05-22 23:20:51] [INFO ] [Real]Absence check using 13 positive and 33 generalized place invariants in 15 ms returned sat
[2024-05-22 23:20:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:20:52] [INFO ] [Real]Absence check using state equation in 407 ms returned sat
[2024-05-22 23:20:52] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:20:52] [INFO ] [Nat]Absence check using 13 positive place invariants in 9 ms returned sat
[2024-05-22 23:20:52] [INFO ] [Nat]Absence check using 13 positive and 33 generalized place invariants in 15 ms returned sat
[2024-05-22 23:20:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:20:52] [INFO ] [Nat]Absence check using state equation in 740 ms returned sat
[2024-05-22 23:20:53] [INFO ] Computed and/alt/rep : 269/1197/269 causal constraints (skipped 923 transitions) in 109 ms.
[2024-05-22 23:20:54] [INFO ] Added : 18 causal constraints over 4 iterations in 1479 ms. Result :sat
Minimization took 779 ms.
[2024-05-22 23:20:55] [INFO ] [Real]Absence check using 13 positive place invariants in 9 ms returned sat
[2024-05-22 23:20:55] [INFO ] [Real]Absence check using 13 positive and 33 generalized place invariants in 16 ms returned sat
[2024-05-22 23:20:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:20:55] [INFO ] [Real]Absence check using state equation in 567 ms returned sat
[2024-05-22 23:20:56] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:20:56] [INFO ] [Nat]Absence check using 13 positive place invariants in 15 ms returned sat
[2024-05-22 23:20:56] [INFO ] [Nat]Absence check using 13 positive and 33 generalized place invariants in 23 ms returned sat
[2024-05-22 23:20:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:20:57] [INFO ] [Nat]Absence check using state equation in 953 ms returned sat
[2024-05-22 23:20:57] [INFO ] Computed and/alt/rep : 269/1197/269 causal constraints (skipped 923 transitions) in 79 ms.
[2024-05-22 23:20:58] [INFO ] Added : 66 causal constraints over 14 iterations in 1452 ms. Result :sat
Minimization took 461 ms.
[2024-05-22 23:20:59] [INFO ] [Real]Absence check using 13 positive place invariants in 14 ms returned sat
[2024-05-22 23:20:59] [INFO ] [Real]Absence check using 13 positive and 33 generalized place invariants in 24 ms returned sat
[2024-05-22 23:20:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:21:00] [INFO ] [Real]Absence check using state equation in 679 ms returned sat
[2024-05-22 23:21:00] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:21:00] [INFO ] [Nat]Absence check using 13 positive place invariants in 9 ms returned sat
[2024-05-22 23:21:00] [INFO ] [Nat]Absence check using 13 positive and 33 generalized place invariants in 16 ms returned sat
[2024-05-22 23:21:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:21:00] [INFO ] [Nat]Absence check using state equation in 651 ms returned sat
[2024-05-22 23:21:00] [INFO ] Computed and/alt/rep : 269/1197/269 causal constraints (skipped 923 transitions) in 79 ms.
[2024-05-22 23:21:01] [INFO ] Added : 12 causal constraints over 3 iterations in 520 ms. Result :sat
Minimization took 204 ms.
Current structural bounds on expressions (after SMT) : [1, 1, 1] Max seen :[0, 0, 0]
Support contains 3 out of 492 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 492/492 places, 1222/1222 transitions.
Applied a total of 0 rules in 29 ms. Remains 492 /492 variables (removed 0) and now considering 1222/1222 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 30 ms. Remains : 492/492 places, 1222/1222 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 492/492 places, 1222/1222 transitions.
Applied a total of 0 rules in 29 ms. Remains 492 /492 variables (removed 0) and now considering 1222/1222 (removed 0) transitions.
[2024-05-22 23:21:02] [INFO ] Invariant cache hit.
[2024-05-22 23:21:03] [INFO ] Implicit Places using invariants in 876 ms returned []
[2024-05-22 23:21:03] [INFO ] Invariant cache hit.
[2024-05-22 23:21:05] [INFO ] Implicit Places using invariants and state equation in 1867 ms returned []
Implicit Place search using SMT with State Equation took 2745 ms to find 0 implicit places.
[2024-05-22 23:21:05] [INFO ] Redundant transitions in 168 ms returned []
[2024-05-22 23:21:05] [INFO ] Invariant cache hit.
[2024-05-22 23:21:06] [INFO ] Dead Transitions using invariants and state equation in 1284 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4239 ms. Remains : 492/492 places, 1222/1222 transitions.
Starting property specific reduction for ASLink-PT-06a-UpperBounds-03
[2024-05-22 23:21:06] [INFO ] Invariant cache hit.
Incomplete random walk after 10000 steps, including 186 resets, run finished after 23 ms. (steps per millisecond=434 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 43 resets, run finished after 9 ms. (steps per millisecond=1111 ) properties (out of 1) seen :0
[2024-05-22 23:21:06] [INFO ] Invariant cache hit.
[2024-05-22 23:21:07] [INFO ] [Real]Absence check using 13 positive place invariants in 9 ms returned sat
[2024-05-22 23:21:07] [INFO ] [Real]Absence check using 13 positive and 33 generalized place invariants in 16 ms returned sat
[2024-05-22 23:21:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:21:07] [INFO ] [Real]Absence check using state equation in 465 ms returned sat
[2024-05-22 23:21:07] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:21:07] [INFO ] [Nat]Absence check using 13 positive place invariants in 10 ms returned sat
[2024-05-22 23:21:07] [INFO ] [Nat]Absence check using 13 positive and 33 generalized place invariants in 16 ms returned sat
[2024-05-22 23:21:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:21:08] [INFO ] [Nat]Absence check using state equation in 767 ms returned sat
[2024-05-22 23:21:08] [INFO ] Computed and/alt/rep : 269/1197/269 causal constraints (skipped 923 transitions) in 79 ms.
[2024-05-22 23:21:09] [INFO ] Added : 18 causal constraints over 4 iterations in 1501 ms. Result :sat
Minimization took 816 ms.
Current structural bounds on expressions (after SMT) : [4] Max seen :[0]
Support contains 1 out of 492 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 492/492 places, 1222/1222 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 492 transition count 1220
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 490 transition count 1220
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 4 place count 490 transition count 1219
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 6 place count 489 transition count 1219
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 7 place count 488 transition count 1218
Iterating global reduction 2 with 1 rules applied. Total rules applied 8 place count 488 transition count 1218
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 9 place count 488 transition count 1217
Applied a total of 9 rules in 67 ms. Remains 488 /492 variables (removed 4) and now considering 1217/1222 (removed 5) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 68 ms. Remains : 488/492 places, 1217/1222 transitions.
// Phase 1: matrix 1217 rows 488 cols
[2024-05-22 23:21:11] [INFO ] Computed 46 invariants in 21 ms
Incomplete random walk after 1000000 steps, including 17953 resets, run finished after 2883 ms. (steps per millisecond=346 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000001 steps, including 4013 resets, run finished after 1304 ms. (steps per millisecond=766 ) properties (out of 1) seen :0
[2024-05-22 23:21:15] [INFO ] Invariant cache hit.
[2024-05-22 23:21:15] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2024-05-22 23:21:15] [INFO ] [Real]Absence check using 11 positive and 35 generalized place invariants in 25 ms returned sat
[2024-05-22 23:21:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:21:16] [INFO ] [Real]Absence check using state equation in 584 ms returned sat
[2024-05-22 23:21:16] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:21:16] [INFO ] [Nat]Absence check using 11 positive place invariants in 8 ms returned sat
[2024-05-22 23:21:16] [INFO ] [Nat]Absence check using 11 positive and 35 generalized place invariants in 17 ms returned sat
[2024-05-22 23:21:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:21:17] [INFO ] [Nat]Absence check using state equation in 1378 ms returned sat
[2024-05-22 23:21:17] [INFO ] Computed and/alt/rep : 271/1239/271 causal constraints (skipped 916 transitions) in 82 ms.
[2024-05-22 23:21:19] [INFO ] Added : 30 causal constraints over 6 iterations in 2271 ms. Result :sat
Minimization took 499 ms.
Current structural bounds on expressions (after SMT) : [2] Max seen :[0]
Support contains 1 out of 488 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 488/488 places, 1217/1217 transitions.
Applied a total of 0 rules in 29 ms. Remains 488 /488 variables (removed 0) and now considering 1217/1217 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 29 ms. Remains : 488/488 places, 1217/1217 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 488/488 places, 1217/1217 transitions.
Applied a total of 0 rules in 28 ms. Remains 488 /488 variables (removed 0) and now considering 1217/1217 (removed 0) transitions.
[2024-05-22 23:21:20] [INFO ] Invariant cache hit.
[2024-05-22 23:21:21] [INFO ] Implicit Places using invariants in 750 ms returned [72]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 754 ms to find 1 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 487/488 places, 1217/1217 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 486 transition count 1216
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 3 place count 486 transition count 1215
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 4 place count 485 transition count 1215
Applied a total of 4 rules in 67 ms. Remains 485 /487 variables (removed 2) and now considering 1215/1217 (removed 2) transitions.
// Phase 1: matrix 1215 rows 485 cols
[2024-05-22 23:21:21] [INFO ] Computed 45 invariants in 17 ms
[2024-05-22 23:21:22] [INFO ] Implicit Places using invariants in 758 ms returned []
[2024-05-22 23:21:22] [INFO ] Invariant cache hit.
[2024-05-22 23:21:24] [INFO ] Implicit Places using invariants and state equation in 1772 ms returned []
Implicit Place search using SMT with State Equation took 2533 ms to find 0 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 485/488 places, 1215/1217 transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 3383 ms. Remains : 485/488 places, 1215/1217 transitions.
[2024-05-22 23:21:24] [INFO ] Invariant cache hit.
Incomplete random walk after 1000000 steps, including 17738 resets, run finished after 2861 ms. (steps per millisecond=349 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000000 steps, including 4041 resets, run finished after 844 ms. (steps per millisecond=1184 ) properties (out of 1) seen :0
[2024-05-22 23:21:27] [INFO ] Invariant cache hit.
[2024-05-22 23:21:28] [INFO ] [Real]Absence check using 13 positive place invariants in 9 ms returned sat
[2024-05-22 23:21:28] [INFO ] [Real]Absence check using 13 positive and 32 generalized place invariants in 20 ms returned sat
[2024-05-22 23:21:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:21:28] [INFO ] [Real]Absence check using state equation in 632 ms returned sat
[2024-05-22 23:21:28] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:21:28] [INFO ] [Nat]Absence check using 13 positive place invariants in 10 ms returned sat
[2024-05-22 23:21:28] [INFO ] [Nat]Absence check using 13 positive and 32 generalized place invariants in 16 ms returned sat
[2024-05-22 23:21:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:21:30] [INFO ] [Nat]Absence check using state equation in 1433 ms returned sat
[2024-05-22 23:21:30] [INFO ] Computed and/alt/rep : 262/1166/262 causal constraints (skipped 923 transitions) in 78 ms.
[2024-05-22 23:21:31] [INFO ] Added : 31 causal constraints over 7 iterations in 1100 ms. Result :sat
Minimization took 566 ms.
Current structural bounds on expressions (after SMT) : [2] Max seen :[0]
Support contains 1 out of 485 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 485/485 places, 1215/1215 transitions.
Applied a total of 0 rules in 26 ms. Remains 485 /485 variables (removed 0) and now considering 1215/1215 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 26 ms. Remains : 485/485 places, 1215/1215 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 485/485 places, 1215/1215 transitions.
Applied a total of 0 rules in 25 ms. Remains 485 /485 variables (removed 0) and now considering 1215/1215 (removed 0) transitions.
[2024-05-22 23:21:32] [INFO ] Invariant cache hit.
[2024-05-22 23:21:33] [INFO ] Implicit Places using invariants in 541 ms returned []
[2024-05-22 23:21:33] [INFO ] Invariant cache hit.
[2024-05-22 23:21:34] [INFO ] Implicit Places using invariants and state equation in 1360 ms returned []
Implicit Place search using SMT with State Equation took 1903 ms to find 0 implicit places.
[2024-05-22 23:21:34] [INFO ] Redundant transitions in 28 ms returned []
[2024-05-22 23:21:34] [INFO ] Invariant cache hit.
[2024-05-22 23:21:35] [INFO ] Dead Transitions using invariants and state equation in 1095 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3059 ms. Remains : 485/485 places, 1215/1215 transitions.
Ending property specific reduction for ASLink-PT-06a-UpperBounds-03 in 28612 ms.
Starting property specific reduction for ASLink-PT-06a-UpperBounds-05
// Phase 1: matrix 1222 rows 492 cols
[2024-05-22 23:21:35] [INFO ] Computed 46 invariants in 13 ms
Incomplete random walk after 10000 steps, including 192 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10000 steps, including 37 resets, run finished after 9 ms. (steps per millisecond=1111 ) properties (out of 1) seen :0
[2024-05-22 23:21:35] [INFO ] Invariant cache hit.
[2024-05-22 23:21:35] [INFO ] [Real]Absence check using 13 positive place invariants in 14 ms returned sat
[2024-05-22 23:21:35] [INFO ] [Real]Absence check using 13 positive and 33 generalized place invariants in 22 ms returned sat
[2024-05-22 23:21:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:21:36] [INFO ] [Real]Absence check using state equation in 616 ms returned sat
[2024-05-22 23:21:36] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:21:36] [INFO ] [Nat]Absence check using 13 positive place invariants in 15 ms returned sat
[2024-05-22 23:21:36] [INFO ] [Nat]Absence check using 13 positive and 33 generalized place invariants in 22 ms returned sat
[2024-05-22 23:21:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:21:37] [INFO ] [Nat]Absence check using state equation in 850 ms returned sat
[2024-05-22 23:21:37] [INFO ] Computed and/alt/rep : 269/1197/269 causal constraints (skipped 923 transitions) in 82 ms.
[2024-05-22 23:21:39] [INFO ] Added : 66 causal constraints over 14 iterations in 1812 ms. Result :sat
Minimization took 460 ms.
Current structural bounds on expressions (after SMT) : [2] Max seen :[0]
Support contains 1 out of 492 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 492/492 places, 1222/1222 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 492 transition count 1221
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 491 transition count 1221
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 2 place count 491 transition count 1220
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 4 place count 490 transition count 1220
Applied a total of 4 rules in 43 ms. Remains 490 /492 variables (removed 2) and now considering 1220/1222 (removed 2) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 43 ms. Remains : 490/492 places, 1220/1222 transitions.
// Phase 1: matrix 1220 rows 490 cols
[2024-05-22 23:21:40] [INFO ] Computed 46 invariants in 19 ms
Incomplete random walk after 1000000 steps, including 17816 resets, run finished after 2486 ms. (steps per millisecond=402 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000000 steps, including 3981 resets, run finished after 831 ms. (steps per millisecond=1203 ) properties (out of 1) seen :0
[2024-05-22 23:21:43] [INFO ] Invariant cache hit.
[2024-05-22 23:21:43] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2024-05-22 23:21:43] [INFO ] [Real]Absence check using 11 positive and 35 generalized place invariants in 15 ms returned sat
[2024-05-22 23:21:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:21:44] [INFO ] [Real]Absence check using state equation in 378 ms returned sat
[2024-05-22 23:21:44] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:21:44] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2024-05-22 23:21:44] [INFO ] [Nat]Absence check using 11 positive and 35 generalized place invariants in 17 ms returned sat
[2024-05-22 23:21:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:21:45] [INFO ] [Nat]Absence check using state equation in 851 ms returned sat
[2024-05-22 23:21:45] [INFO ] Computed and/alt/rep : 267/1195/267 causal constraints (skipped 923 transitions) in 80 ms.
[2024-05-22 23:21:46] [INFO ] Added : 44 causal constraints over 9 iterations in 1090 ms. Result :sat
Minimization took 495 ms.
Current structural bounds on expressions (after SMT) : [2] Max seen :[0]
Support contains 1 out of 490 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 490/490 places, 1220/1220 transitions.
Applied a total of 0 rules in 28 ms. Remains 490 /490 variables (removed 0) and now considering 1220/1220 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 28 ms. Remains : 490/490 places, 1220/1220 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 490/490 places, 1220/1220 transitions.
Applied a total of 0 rules in 29 ms. Remains 490 /490 variables (removed 0) and now considering 1220/1220 (removed 0) transitions.
[2024-05-22 23:21:47] [INFO ] Invariant cache hit.
[2024-05-22 23:21:47] [INFO ] Implicit Places using invariants in 762 ms returned []
[2024-05-22 23:21:47] [INFO ] Invariant cache hit.
[2024-05-22 23:21:50] [INFO ] Implicit Places using invariants and state equation in 2314 ms returned []
Implicit Place search using SMT with State Equation took 3079 ms to find 0 implicit places.
[2024-05-22 23:21:50] [INFO ] Redundant transitions in 30 ms returned []
[2024-05-22 23:21:50] [INFO ] Invariant cache hit.
[2024-05-22 23:21:51] [INFO ] Dead Transitions using invariants and state equation in 1206 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4352 ms. Remains : 490/490 places, 1220/1220 transitions.
Ending property specific reduction for ASLink-PT-06a-UpperBounds-05 in 15970 ms.
Starting property specific reduction for ASLink-PT-06a-UpperBounds-13
// Phase 1: matrix 1222 rows 492 cols
[2024-05-22 23:21:51] [INFO ] Computed 46 invariants in 11 ms
Incomplete random walk after 10000 steps, including 187 resets, run finished after 22 ms. (steps per millisecond=454 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10000 steps, including 41 resets, run finished after 9 ms. (steps per millisecond=1111 ) properties (out of 1) seen :0
[2024-05-22 23:21:51] [INFO ] Invariant cache hit.
[2024-05-22 23:21:51] [INFO ] [Real]Absence check using 13 positive place invariants in 9 ms returned sat
[2024-05-22 23:21:51] [INFO ] [Real]Absence check using 13 positive and 33 generalized place invariants in 15 ms returned sat
[2024-05-22 23:21:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:21:52] [INFO ] [Real]Absence check using state equation in 416 ms returned sat
[2024-05-22 23:21:52] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:21:52] [INFO ] [Nat]Absence check using 13 positive place invariants in 16 ms returned sat
[2024-05-22 23:21:52] [INFO ] [Nat]Absence check using 13 positive and 33 generalized place invariants in 23 ms returned sat
[2024-05-22 23:21:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:21:53] [INFO ] [Nat]Absence check using state equation in 966 ms returned sat
[2024-05-22 23:21:53] [INFO ] Computed and/alt/rep : 269/1197/269 causal constraints (skipped 923 transitions) in 79 ms.
[2024-05-22 23:21:53] [INFO ] Added : 12 causal constraints over 3 iterations in 446 ms. Result :sat
Minimization took 201 ms.
Current structural bounds on expressions (after SMT) : [3] Max seen :[0]
Support contains 1 out of 492 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 492/492 places, 1222/1222 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 492 transition count 1221
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 491 transition count 1221
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 3 place count 490 transition count 1220
Iterating global reduction 2 with 1 rules applied. Total rules applied 4 place count 490 transition count 1220
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 5 place count 490 transition count 1219
Applied a total of 5 rules in 59 ms. Remains 490 /492 variables (removed 2) and now considering 1219/1222 (removed 3) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 60 ms. Remains : 490/492 places, 1219/1222 transitions.
// Phase 1: matrix 1219 rows 490 cols
[2024-05-22 23:21:54] [INFO ] Computed 46 invariants in 17 ms
Incomplete random walk after 1000000 steps, including 17862 resets, run finished after 2506 ms. (steps per millisecond=399 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000001 steps, including 3991 resets, run finished after 848 ms. (steps per millisecond=1179 ) properties (out of 1) seen :0
[2024-05-22 23:21:57] [INFO ] Invariant cache hit.
[2024-05-22 23:21:57] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2024-05-22 23:21:57] [INFO ] [Real]Absence check using 11 positive and 35 generalized place invariants in 15 ms returned sat
[2024-05-22 23:21:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:21:57] [INFO ] [Real]Absence check using state equation in 354 ms returned sat
[2024-05-22 23:21:57] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:21:58] [INFO ] [Nat]Absence check using 11 positive place invariants in 8 ms returned sat
[2024-05-22 23:21:58] [INFO ] [Nat]Absence check using 11 positive and 35 generalized place invariants in 16 ms returned sat
[2024-05-22 23:21:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:21:58] [INFO ] [Nat]Absence check using state equation in 365 ms returned sat
[2024-05-22 23:21:58] [INFO ] Computed and/alt/rep : 273/1241/273 causal constraints (skipped 916 transitions) in 79 ms.
[2024-05-22 23:21:59] [INFO ] Deduced a trap composed of 24 places in 87 ms of which 2 ms to minimize.
[2024-05-22 23:21:59] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 243 ms
[2024-05-22 23:21:59] [INFO ] Added : 30 causal constraints over 9 iterations in 1057 ms. Result :sat
Minimization took 263 ms.
Current structural bounds on expressions (after SMT) : [3] Max seen :[0]
Support contains 1 out of 490 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 490/490 places, 1219/1219 transitions.
Applied a total of 0 rules in 30 ms. Remains 490 /490 variables (removed 0) and now considering 1219/1219 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 30 ms. Remains : 490/490 places, 1219/1219 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 490/490 places, 1219/1219 transitions.
Applied a total of 0 rules in 29 ms. Remains 490 /490 variables (removed 0) and now considering 1219/1219 (removed 0) transitions.
[2024-05-22 23:22:00] [INFO ] Invariant cache hit.
[2024-05-22 23:22:00] [INFO ] Implicit Places using invariants in 875 ms returned [72]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 878 ms to find 1 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 489/490 places, 1219/1219 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 488 transition count 1218
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 3 place count 488 transition count 1217
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 4 place count 487 transition count 1217
Applied a total of 4 rules in 78 ms. Remains 487 /489 variables (removed 2) and now considering 1217/1219 (removed 2) transitions.
// Phase 1: matrix 1217 rows 487 cols
[2024-05-22 23:22:01] [INFO ] Computed 45 invariants in 18 ms
[2024-05-22 23:22:01] [INFO ] Implicit Places using invariants in 895 ms returned []
[2024-05-22 23:22:01] [INFO ] Invariant cache hit.
[2024-05-22 23:22:03] [INFO ] Implicit Places using invariants and state equation in 1611 ms returned []
Implicit Place search using SMT with State Equation took 2519 ms to find 0 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 487/490 places, 1217/1219 transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 3506 ms. Remains : 487/490 places, 1217/1219 transitions.
[2024-05-22 23:22:03] [INFO ] Invariant cache hit.
Incomplete random walk after 1000000 steps, including 17795 resets, run finished after 2676 ms. (steps per millisecond=373 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000001 steps, including 3980 resets, run finished after 833 ms. (steps per millisecond=1200 ) properties (out of 1) seen :0
[2024-05-22 23:22:07] [INFO ] Invariant cache hit.
[2024-05-22 23:22:07] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2024-05-22 23:22:07] [INFO ] [Real]Absence check using 11 positive and 34 generalized place invariants in 16 ms returned sat
[2024-05-22 23:22:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-22 23:22:07] [INFO ] [Real]Absence check using state equation in 378 ms returned sat
[2024-05-22 23:22:07] [INFO ] Solution in real domain found non-integer solution.
[2024-05-22 23:22:07] [INFO ] [Nat]Absence check using 11 positive place invariants in 8 ms returned sat
[2024-05-22 23:22:07] [INFO ] [Nat]Absence check using 11 positive and 34 generalized place invariants in 16 ms returned sat
[2024-05-22 23:22:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-22 23:22:08] [INFO ] [Nat]Absence check using state equation in 511 ms returned sat
[2024-05-22 23:22:08] [INFO ] Computed and/alt/rep : 264/1168/264 causal constraints (skipped 923 transitions) in 78 ms.
[2024-05-22 23:22:09] [INFO ] Added : 54 causal constraints over 11 iterations in 1618 ms. Result :sat
Minimization took 290 ms.
Current structural bounds on expressions (after SMT) : [3] Max seen :[0]
Support contains 1 out of 487 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 487/487 places, 1217/1217 transitions.
Applied a total of 0 rules in 28 ms. Remains 487 /487 variables (removed 0) and now considering 1217/1217 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 29 ms. Remains : 487/487 places, 1217/1217 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 487/487 places, 1217/1217 transitions.
Applied a total of 0 rules in 28 ms. Remains 487 /487 variables (removed 0) and now considering 1217/1217 (removed 0) transitions.
[2024-05-22 23:22:10] [INFO ] Invariant cache hit.
[2024-05-22 23:22:11] [INFO ] Implicit Places using invariants in 921 ms returned []
[2024-05-22 23:22:11] [INFO ] Invariant cache hit.
[2024-05-22 23:22:13] [INFO ] Implicit Places using invariants and state equation in 1980 ms returned []
Implicit Place search using SMT with State Equation took 2903 ms to find 0 implicit places.
[2024-05-22 23:22:13] [INFO ] Redundant transitions in 28 ms returned []
[2024-05-22 23:22:13] [INFO ] Invariant cache hit.
[2024-05-22 23:22:14] [INFO ] Dead Transitions using invariants and state equation in 924 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3892 ms. Remains : 487/487 places, 1217/1217 transitions.
Ending property specific reduction for ASLink-PT-06a-UpperBounds-13 in 22994 ms.
[2024-05-22 23:22:15] [INFO ] Flatten gal took : 307 ms
[2024-05-22 23:22:15] [INFO ] Applying decomposition
[2024-05-22 23:22:15] [INFO ] Flatten gal took : 185 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202304061127/bin/convert-linux64' '-i' '/tmp/graph6665442020408666841.txt' '-o' '/tmp/graph6665442020408666841.bin' '-w' '/tmp/graph6665442020408666841.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202304061127/bin/louvain-linux64' '/tmp/graph6665442020408666841.bin' '-l' '-1' '-v' '-w' '/tmp/graph6665442020408666841.weights' '-q' '0' '-e' '0.001'
[2024-05-22 23:22:15] [INFO ] Decomposing Gal with order
[2024-05-22 23:22:15] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-22 23:22:16] [INFO ] Removed a total of 2404 redundant transitions.
[2024-05-22 23:22:16] [INFO ] Flatten gal took : 274 ms
[2024-05-22 23:22:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 110 labels/synchronizations in 49 ms.
[2024-05-22 23:22:16] [INFO ] Time to serialize gal into /tmp/UpperBounds15349012820093466633.gal : 37 ms
[2024-05-22 23:22:16] [INFO ] Time to serialize properties into /tmp/UpperBounds5195113729660460668.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.202304061127/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/UpperBounds15349012820093466633.gal' '-t' 'CGAL' '-reachable-file' '/tmp/UpperBounds5195113729660460668.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202304061127/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...284
Loading property file /tmp/UpperBounds5195113729660460668.prop.
Detected timeout of ITS tools.
[2024-05-22 23:44:43] [INFO ] Applying decomposition
[2024-05-22 23:44:44] [INFO ] Flatten gal took : 119 ms
[2024-05-22 23:44:44] [INFO ] Decomposing Gal with order
[2024-05-22 23:44:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-22 23:44:44] [INFO ] Removed a total of 2260 redundant transitions.
[2024-05-22 23:44:44] [INFO ] Flatten gal took : 140 ms
[2024-05-22 23:44:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 441 labels/synchronizations in 66 ms.
[2024-05-22 23:44:44] [INFO ] Time to serialize gal into /tmp/UpperBounds3671172378381433187.gal : 6 ms
[2024-05-22 23:44:44] [INFO ] Time to serialize properties into /tmp/UpperBounds7888516456094079468.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.202304061127/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/UpperBounds3671172378381433187.gal' '-t' 'CGAL' '-reachable-file' '/tmp/UpperBounds7888516456094079468.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202304061127/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...283
Loading property file /tmp/UpperBounds7888516456094079468.prop.
Detected timeout of ITS tools.
[2024-05-23 00:07:11] [INFO ] Flatten gal took : 60 ms
[2024-05-23 00:07:11] [INFO ] Input system was already deterministic with 1222 transitions.
[2024-05-23 00:07:12] [INFO ] Transformed 492 places.
[2024-05-23 00:07:12] [INFO ] Transformed 1222 transitions.
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//../itstools/bin//..//greatspn//bin/pinvar' '/home/mcc/execution/gspn'
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//../itstools/bin//..//greatspn//bin/RGMEDD2' '/home/mcc/execution/gspn' '-META' '-varord-only'
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2024-05-23 00:07:12] [INFO ] Time to serialize gal into /tmp/UpperBounds15618192464734152649.gal : 10 ms
[2024-05-23 00:07:12] [INFO ] Time to serialize properties into /tmp/UpperBounds16546381649025809329.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.202304061127/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/UpperBounds15618192464734152649.gal' '-t' 'CGAL' '-reachable-file' '/tmp/UpperBounds16546381649025809329.prop' '--nowitness' '--load-order' '/home/mcc/execution/model.ord' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202304061127/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...351
Successfully loaded order from file /home/mcc/execution/model.ord
Loading property file /tmp/UpperBounds16546381649025809329.prop.
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 7593656 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16102400 kB
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.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /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="ASLink-PT-06a"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="gold2023"
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-5568"
echo " Executing tool gold2023"
echo " Input is ASLink-PT-06a, 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 r021-smll-171620127800056"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-06a.tgz
mv ASLink-PT-06a 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.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -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 ;