About the Execution of LoLa+red for HexagonalGrid-PT-816
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 958.768 | 1404800.00 | 1448741.00 | 3908.30 | 1 1 1 1 1 1 1 12 1 12 1 1 12 12 12 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/mcc2023-input.r199-smll-167840345900421.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lolaxred
Input is HexagonalGrid-PT-816, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r199-smll-167840345900421
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.1M
-rw-r--r-- 1 mcc users 7.9K Feb 26 17:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 17:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 17:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 17:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 17:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 134K Feb 26 17:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 17:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 99K Feb 26 17:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rwxr-xr-x 1 mcc users 2.6M Mar 5 18:22 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 HexagonalGrid-PT-816-UpperBounds-00
FORMULA_NAME HexagonalGrid-PT-816-UpperBounds-01
FORMULA_NAME HexagonalGrid-PT-816-UpperBounds-02
FORMULA_NAME HexagonalGrid-PT-816-UpperBounds-03
FORMULA_NAME HexagonalGrid-PT-816-UpperBounds-04
FORMULA_NAME HexagonalGrid-PT-816-UpperBounds-05
FORMULA_NAME HexagonalGrid-PT-816-UpperBounds-06
FORMULA_NAME HexagonalGrid-PT-816-UpperBounds-07
FORMULA_NAME HexagonalGrid-PT-816-UpperBounds-08
FORMULA_NAME HexagonalGrid-PT-816-UpperBounds-09
FORMULA_NAME HexagonalGrid-PT-816-UpperBounds-10
FORMULA_NAME HexagonalGrid-PT-816-UpperBounds-11
FORMULA_NAME HexagonalGrid-PT-816-UpperBounds-12
FORMULA_NAME HexagonalGrid-PT-816-UpperBounds-13
FORMULA_NAME HexagonalGrid-PT-816-UpperBounds-14
FORMULA_NAME HexagonalGrid-PT-816-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1678536551648
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=lolaxred
BK_EXAMINATION=UpperBounds
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HexagonalGrid-PT-816
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-11 12:09:15] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -timeout, 360, -rebuildPNML]
[2023-03-11 12:09:15] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 12:09:15] [INFO ] Load time of PNML (sax parser for PT used): 469 ms
[2023-03-11 12:09:15] [INFO ] Transformed 3391 places.
[2023-03-11 12:09:15] [INFO ] Transformed 6174 transitions.
[2023-03-11 12:09:16] [INFO ] Parsed PT model containing 3391 places and 6174 transitions and 24696 arcs in 693 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 9 ms.
// Phase 1: matrix 6174 rows 3391 cols
[2023-03-11 12:09:16] [INFO ] Computed 1274 place invariants in 415 ms
FORMULA HexagonalGrid-PT-816-UpperBounds-08 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HexagonalGrid-PT-816-UpperBounds-06 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HexagonalGrid-PT-816-UpperBounds-05 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HexagonalGrid-PT-816-UpperBounds-04 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HexagonalGrid-PT-816-UpperBounds-03 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HexagonalGrid-PT-816-UpperBounds-01 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10000 steps, including 2 resets, run finished after 2804 ms. (steps per millisecond=3 ) properties (out of 10) seen :15
FORMULA HexagonalGrid-PT-816-UpperBounds-15 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA HexagonalGrid-PT-816-UpperBounds-11 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA HexagonalGrid-PT-816-UpperBounds-10 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA HexagonalGrid-PT-816-UpperBounds-02 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA HexagonalGrid-PT-816-UpperBounds-00 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 411 ms. (steps per millisecond=24 ) properties (out of 5) seen :5
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 404 ms. (steps per millisecond=24 ) properties (out of 5) seen :5
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 415 ms. (steps per millisecond=24 ) properties (out of 5) seen :5
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 554 ms. (steps per millisecond=18 ) properties (out of 5) seen :5
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 462 ms. (steps per millisecond=21 ) properties (out of 5) seen :5
[2023-03-11 12:09:21] [INFO ] Invariant cache hit.
[2023-03-11 12:09:23] [INFO ] [Real]Absence check using 1273 positive place invariants in 466 ms returned sat
[2023-03-11 12:09:23] [INFO ] [Real]Absence check using 1273 positive and 1 generalized place invariants in 356 ms returned sat
[2023-03-11 12:09:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-11 12:09:26] [INFO ] [Real]Absence check using state equation in 3105 ms returned unknown
[2023-03-11 12:09:27] [INFO ] [Real]Absence check using 1273 positive place invariants in 443 ms returned sat
[2023-03-11 12:09:28] [INFO ] [Real]Absence check using 1273 positive and 1 generalized place invariants in 217 ms returned sat
[2023-03-11 12:09:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-11 12:09:31] [INFO ] [Real]Absence check using state equation in 3705 ms returned unknown
[2023-03-11 12:09:32] [INFO ] [Real]Absence check using 1273 positive place invariants in 451 ms returned sat
[2023-03-11 12:09:33] [INFO ] [Real]Absence check using 1273 positive and 1 generalized place invariants in 223 ms returned sat
[2023-03-11 12:09:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-11 12:09:36] [INFO ] [Real]Absence check using state equation in 3683 ms returned unknown
[2023-03-11 12:09:38] [INFO ] [Real]Absence check using 1273 positive place invariants in 697 ms returned sat
[2023-03-11 12:09:38] [INFO ] [Real]Absence check using 1273 positive and 1 generalized place invariants in 249 ms returned sat
[2023-03-11 12:09:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-11 12:09:41] [INFO ] [Real]Absence check using state equation in 3351 ms returned unknown
[2023-03-11 12:09:42] [INFO ] [Real]Absence check using 1273 positive place invariants in 611 ms returned sat
[2023-03-11 12:09:43] [INFO ] [Real]Absence check using 1273 positive and 1 generalized place invariants in 220 ms returned sat
[2023-03-11 12:09:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-11 12:09:46] [INFO ] [Real]Absence check using state equation in 3737 ms returned unknown
Current structural bounds on expressions (after SMT) : [12, 12, 12, 12, 12] Max seen :[2, 2, 2, 1, 3]
Support contains 5 out of 3391 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3391/3391 places, 6174/6174 transitions.
Applied a total of 0 rules in 606 ms. Remains 3391 /3391 variables (removed 0) and now considering 6174/6174 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 610 ms. Remains : 3391/3391 places, 6174/6174 transitions.
[2023-03-11 12:09:47] [INFO ] Invariant cache hit.
Finished random walk after 175169 steps, including 1 resets, run visited all 5 properties in 30001 ms. (steps per millisecond=5 )
Finished Best-First random walk after 105758 steps, including 0 resets, run visited all 5 properties in 5005 ms. (steps per millisecond=21 )
Finished Best-First random walk after 125063 steps, including 0 resets, run visited all 5 properties in 5001 ms. (steps per millisecond=25 )
Finished Best-First random walk after 109088 steps, including 0 resets, run visited all 5 properties in 5033 ms. (steps per millisecond=21 )
Finished Best-First random walk after 110084 steps, including 0 resets, run visited all 5 properties in 5032 ms. (steps per millisecond=21 )
Finished Best-First random walk after 120078 steps, including 0 resets, run visited all 5 properties in 5006 ms. (steps per millisecond=23 )
[2023-03-11 12:10:42] [INFO ] Invariant cache hit.
[2023-03-11 12:10:43] [INFO ] [Real]Absence check using 1273 positive place invariants in 433 ms returned sat
[2023-03-11 12:10:43] [INFO ] [Real]Absence check using 1273 positive and 1 generalized place invariants in 240 ms returned sat
[2023-03-11 12:10:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-11 12:10:47] [INFO ] [Real]Absence check using state equation in 3977 ms returned sat
[2023-03-11 12:10:48] [INFO ] Solution in real domain found non-integer solution.
[2023-03-11 12:10:49] [INFO ] [Nat]Absence check using 1273 positive place invariants in 473 ms returned sat
[2023-03-11 12:10:49] [INFO ] [Nat]Absence check using 1273 positive and 1 generalized place invariants in 228 ms returned sat
[2023-03-11 12:10:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-11 12:10:53] [INFO ] [Nat]Absence check using state equation in 3922 ms returned sat
[2023-03-11 12:10:54] [INFO ] Computed and/alt/rep : 5160/5160/5160 causal constraints (skipped 0 transitions) in 539 ms.
[2023-03-11 12:11:13] [INFO ] Added : 150 causal constraints over 30 iterations in 20089 ms.(timeout) Result :sat
[2023-03-11 12:11:15] [INFO ] [Real]Absence check using 1273 positive place invariants in 435 ms returned sat
[2023-03-11 12:11:15] [INFO ] [Real]Absence check using 1273 positive and 1 generalized place invariants in 327 ms returned sat
[2023-03-11 12:11:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-11 12:11:19] [INFO ] [Real]Absence check using state equation in 4055 ms returned sat
[2023-03-11 12:11:19] [INFO ] Solution in real domain found non-integer solution.
[2023-03-11 12:11:20] [INFO ] [Nat]Absence check using 1273 positive place invariants in 489 ms returned sat
[2023-03-11 12:11:21] [INFO ] [Nat]Absence check using 1273 positive and 1 generalized place invariants in 354 ms returned sat
[2023-03-11 12:11:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-11 12:11:25] [INFO ] [Nat]Absence check using state equation in 4102 ms returned sat
[2023-03-11 12:11:26] [INFO ] Computed and/alt/rep : 5160/5160/5160 causal constraints (skipped 0 transitions) in 574 ms.
[2023-03-11 12:11:45] [INFO ] Added : 150 causal constraints over 30 iterations in 20035 ms.(timeout) Result :sat
[2023-03-11 12:11:47] [INFO ] [Real]Absence check using 1273 positive place invariants in 427 ms returned sat
[2023-03-11 12:11:47] [INFO ] [Real]Absence check using 1273 positive and 1 generalized place invariants in 225 ms returned sat
[2023-03-11 12:11:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-11 12:11:51] [INFO ] [Real]Absence check using state equation in 4118 ms returned sat
[2023-03-11 12:11:51] [INFO ] Solution in real domain found non-integer solution.
[2023-03-11 12:11:52] [INFO ] [Nat]Absence check using 1273 positive place invariants in 440 ms returned sat
[2023-03-11 12:11:53] [INFO ] [Nat]Absence check using 1273 positive and 1 generalized place invariants in 324 ms returned sat
[2023-03-11 12:11:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-11 12:11:57] [INFO ] [Nat]Absence check using state equation in 4104 ms returned sat
[2023-03-11 12:11:57] [INFO ] Computed and/alt/rep : 5160/5160/5160 causal constraints (skipped 0 transitions) in 396 ms.
[2023-03-11 12:12:18] [INFO ] Added : 160 causal constraints over 32 iterations in 20878 ms.(timeout) Result :sat
[2023-03-11 12:12:20] [INFO ] [Real]Absence check using 1273 positive place invariants in 584 ms returned sat
[2023-03-11 12:12:20] [INFO ] [Real]Absence check using 1273 positive and 1 generalized place invariants in 365 ms returned sat
[2023-03-11 12:12:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-11 12:12:24] [INFO ] [Real]Absence check using state equation in 4483 ms returned sat
[2023-03-11 12:12:25] [INFO ] Solution in real domain found non-integer solution.
[2023-03-11 12:12:26] [INFO ] [Nat]Absence check using 1273 positive place invariants in 460 ms returned sat
[2023-03-11 12:12:26] [INFO ] [Nat]Absence check using 1273 positive and 1 generalized place invariants in 226 ms returned sat
[2023-03-11 12:12:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-11 12:12:30] [INFO ] [Nat]Absence check using state equation in 4418 ms returned sat
[2023-03-11 12:12:31] [INFO ] Computed and/alt/rep : 5160/5160/5160 causal constraints (skipped 0 transitions) in 567 ms.
[2023-03-11 12:12:51] [INFO ] Added : 210 causal constraints over 42 iterations in 20240 ms.(timeout) Result :sat
[2023-03-11 12:12:52] [INFO ] [Real]Absence check using 1273 positive place invariants in 495 ms returned sat
[2023-03-11 12:12:52] [INFO ] [Real]Absence check using 1273 positive and 1 generalized place invariants in 216 ms returned sat
[2023-03-11 12:12:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-11 12:12:57] [INFO ] [Real]Absence check using state equation in 4387 ms returned sat
[2023-03-11 12:12:57] [INFO ] Solution in real domain found non-integer solution.
[2023-03-11 12:12:58] [INFO ] [Nat]Absence check using 1273 positive place invariants in 512 ms returned sat
[2023-03-11 12:12:58] [INFO ] [Nat]Absence check using 1273 positive and 1 generalized place invariants in 217 ms returned sat
[2023-03-11 12:12:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-11 12:13:03] [INFO ] [Nat]Absence check using state equation in 4397 ms returned sat
[2023-03-11 12:13:04] [INFO ] Computed and/alt/rep : 5160/5160/5160 causal constraints (skipped 0 transitions) in 523 ms.
[2023-03-11 12:13:23] [INFO ] Added : 155 causal constraints over 31 iterations in 20031 ms.(timeout) Result :sat
Current structural bounds on expressions (after SMT) : [12, 12, 12, 12, 12] Max seen :[6, 4, 3, 5, 5]
Support contains 5 out of 3391 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3391/3391 places, 6174/6174 transitions.
Applied a total of 0 rules in 437 ms. Remains 3391 /3391 variables (removed 0) and now considering 6174/6174 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 437 ms. Remains : 3391/3391 places, 6174/6174 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3391/3391 places, 6174/6174 transitions.
Applied a total of 0 rules in 312 ms. Remains 3391 /3391 variables (removed 0) and now considering 6174/6174 (removed 0) transitions.
[2023-03-11 12:15:54] [INFO ] Invariant cache hit.
[2023-03-11 12:15:59] [INFO ] Implicit Places using invariants in 4407 ms returned []
[2023-03-11 12:15:59] [INFO ] Invariant cache hit.
[2023-03-11 12:16:03] [INFO ] Implicit Places using invariants and state equation in 4162 ms returned []
Implicit Place search using SMT with State Equation took 8571 ms to find 0 implicit places.
[2023-03-11 12:16:04] [INFO ] Redundant transitions in 938 ms returned []
[2023-03-11 12:16:04] [INFO ] Invariant cache hit.
[2023-03-11 12:16:11] [INFO ] Dead Transitions using invariants and state equation in 6877 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 16708 ms. Remains : 3391/3391 places, 6174/6174 transitions.
[2023-03-11 12:16:11] [INFO ] Invariant cache hit.
Finished random walk after 163875 steps, including 1 resets, run visited all 5 properties in 30001 ms. (steps per millisecond=5 )
Finished Best-First random walk after 115268 steps, including 0 resets, run visited all 5 properties in 5002 ms. (steps per millisecond=23 )
Finished Best-First random walk after 122732 steps, including 0 resets, run visited all 5 properties in 5002 ms. (steps per millisecond=24 )
Finished Best-First random walk after 128652 steps, including 0 resets, run visited all 5 properties in 5026 ms. (steps per millisecond=25 )
Finished Best-First random walk after 129228 steps, including 0 resets, run visited all 5 properties in 5028 ms. (steps per millisecond=25 )
Finished Best-First random walk after 128963 steps, including 0 resets, run visited all 5 properties in 5021 ms. (steps per millisecond=25 )
[2023-03-11 12:17:06] [INFO ] Invariant cache hit.
[2023-03-11 12:17:07] [INFO ] [Real]Absence check using 1273 positive place invariants in 703 ms returned sat
[2023-03-11 12:17:07] [INFO ] [Real]Absence check using 1273 positive and 1 generalized place invariants in 266 ms returned sat
[2023-03-11 12:17:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-11 12:17:12] [INFO ] [Real]Absence check using state equation in 4154 ms returned sat
[2023-03-11 12:17:12] [INFO ] Solution in real domain found non-integer solution.
[2023-03-11 12:17:13] [INFO ] [Nat]Absence check using 1273 positive place invariants in 640 ms returned sat
[2023-03-11 12:17:14] [INFO ] [Nat]Absence check using 1273 positive and 1 generalized place invariants in 221 ms returned sat
[2023-03-11 12:17:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-11 12:17:18] [INFO ] [Nat]Absence check using state equation in 4204 ms returned sat
[2023-03-11 12:17:18] [INFO ] Computed and/alt/rep : 5160/5160/5160 causal constraints (skipped 0 transitions) in 462 ms.
[2023-03-11 12:17:39] [INFO ] Added : 155 causal constraints over 31 iterations in 20569 ms.(timeout) Result :sat
[2023-03-11 12:17:40] [INFO ] [Real]Absence check using 1273 positive place invariants in 451 ms returned sat
[2023-03-11 12:17:40] [INFO ] [Real]Absence check using 1273 positive and 1 generalized place invariants in 232 ms returned sat
[2023-03-11 12:17:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-11 12:17:45] [INFO ] [Real]Absence check using state equation in 4427 ms returned sat
[2023-03-11 12:17:45] [INFO ] Solution in real domain found non-integer solution.
[2023-03-11 12:17:46] [INFO ] [Nat]Absence check using 1273 positive place invariants in 456 ms returned sat
[2023-03-11 12:17:46] [INFO ] [Nat]Absence check using 1273 positive and 1 generalized place invariants in 218 ms returned sat
[2023-03-11 12:17:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-11 12:17:51] [INFO ] [Nat]Absence check using state equation in 4622 ms returned sat
[2023-03-11 12:17:52] [INFO ] Computed and/alt/rep : 5160/5160/5160 causal constraints (skipped 0 transitions) in 576 ms.
[2023-03-11 12:18:12] [INFO ] Added : 145 causal constraints over 29 iterations in 20279 ms.(timeout) Result :sat
[2023-03-11 12:18:13] [INFO ] [Real]Absence check using 1273 positive place invariants in 459 ms returned sat
[2023-03-11 12:18:14] [INFO ] [Real]Absence check using 1273 positive and 1 generalized place invariants in 355 ms returned sat
[2023-03-11 12:18:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-11 12:18:19] [INFO ] [Real]Absence check using state equation in 4933 ms returned sat
[2023-03-11 12:18:19] [INFO ] Solution in real domain found non-integer solution.
[2023-03-11 12:18:20] [INFO ] [Nat]Absence check using 1273 positive place invariants in 644 ms returned sat
[2023-03-11 12:18:20] [INFO ] [Nat]Absence check using 1273 positive and 1 generalized place invariants in 219 ms returned sat
[2023-03-11 12:18:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-11 12:18:25] [INFO ] [Nat]Absence check using state equation in 4565 ms returned sat
[2023-03-11 12:18:25] [INFO ] Computed and/alt/rep : 5160/5160/5160 causal constraints (skipped 0 transitions) in 402 ms.
[2023-03-11 12:18:46] [INFO ] Added : 150 causal constraints over 30 iterations in 20846 ms.(timeout) Result :sat
[2023-03-11 12:18:48] [INFO ] [Real]Absence check using 1273 positive place invariants in 664 ms returned sat
[2023-03-11 12:18:48] [INFO ] [Real]Absence check using 1273 positive and 1 generalized place invariants in 349 ms returned sat
[2023-03-11 12:18:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-11 12:18:52] [INFO ] [Real]Absence check using state equation in 4278 ms returned sat
[2023-03-11 12:18:53] [INFO ] Solution in real domain found non-integer solution.
[2023-03-11 12:18:54] [INFO ] [Nat]Absence check using 1273 positive place invariants in 498 ms returned sat
[2023-03-11 12:18:54] [INFO ] [Nat]Absence check using 1273 positive and 1 generalized place invariants in 224 ms returned sat
[2023-03-11 12:18:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-11 12:18:58] [INFO ] [Nat]Absence check using state equation in 4174 ms returned sat
[2023-03-11 12:18:59] [INFO ] Computed and/alt/rep : 5160/5160/5160 causal constraints (skipped 0 transitions) in 574 ms.
[2023-03-11 12:19:19] [INFO ] Added : 150 causal constraints over 30 iterations in 20419 ms.(timeout) Result :sat
[2023-03-11 12:19:20] [INFO ] [Real]Absence check using 1273 positive place invariants in 448 ms returned sat
[2023-03-11 12:19:20] [INFO ] [Real]Absence check using 1273 positive and 1 generalized place invariants in 224 ms returned sat
[2023-03-11 12:19:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-11 12:19:25] [INFO ] [Real]Absence check using state equation in 4343 ms returned sat
[2023-03-11 12:19:25] [INFO ] Solution in real domain found non-integer solution.
[2023-03-11 12:19:26] [INFO ] [Nat]Absence check using 1273 positive place invariants in 487 ms returned sat
[2023-03-11 12:19:26] [INFO ] [Nat]Absence check using 1273 positive and 1 generalized place invariants in 220 ms returned sat
[2023-03-11 12:19:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-11 12:19:31] [INFO ] [Nat]Absence check using state equation in 4304 ms returned sat
[2023-03-11 12:19:32] [INFO ] Computed and/alt/rep : 5160/5160/5160 causal constraints (skipped 0 transitions) in 439 ms.
[2023-03-11 12:19:51] [INFO ] Added : 150 causal constraints over 30 iterations in 20290 ms.(timeout) Result :sat
Current structural bounds on expressions (after SMT) : [12, 12, 12, 12, 12] Max seen :[8, 6, 10, 11, 6]
FORMULA HexagonalGrid-PT-816-UpperBounds-13 12 TECHNIQUES TOPOLOGICAL PARIKH_WALK
FORMULA HexagonalGrid-PT-816-UpperBounds-12 12 TECHNIQUES TOPOLOGICAL PARIKH_WALK
Support contains 3 out of 3391 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3391/3391 places, 6174/6174 transitions.
Applied a total of 0 rules in 301 ms. Remains 3391 /3391 variables (removed 0) and now considering 6174/6174 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 301 ms. Remains : 3391/3391 places, 6174/6174 transitions.
[2023-03-11 12:22:22] [INFO ] Invariant cache hit.
Finished random walk after 171276 steps, including 1 resets, run visited all 3 properties in 30001 ms. (steps per millisecond=5 )
Finished Best-First random walk after 129150 steps, including 0 resets, run visited all 3 properties in 5010 ms. (steps per millisecond=25 )
Finished Best-First random walk after 123928 steps, including 0 resets, run visited all 3 properties in 5040 ms. (steps per millisecond=24 )
Finished Best-First random walk after 125916 steps, including 0 resets, run visited all 3 properties in 5057 ms. (steps per millisecond=24 )
[2023-03-11 12:23:07] [INFO ] Invariant cache hit.
[2023-03-11 12:23:08] [INFO ] [Real]Absence check using 1273 positive place invariants in 524 ms returned sat
[2023-03-11 12:23:09] [INFO ] [Real]Absence check using 1273 positive and 1 generalized place invariants in 230 ms returned sat
[2023-03-11 12:23:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-11 12:23:13] [INFO ] [Real]Absence check using state equation in 4092 ms returned sat
[2023-03-11 12:23:13] [INFO ] Solution in real domain found non-integer solution.
[2023-03-11 12:23:14] [INFO ] [Nat]Absence check using 1273 positive place invariants in 498 ms returned sat
[2023-03-11 12:23:14] [INFO ] [Nat]Absence check using 1273 positive and 1 generalized place invariants in 221 ms returned sat
[2023-03-11 12:23:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-11 12:23:19] [INFO ] [Nat]Absence check using state equation in 4487 ms returned sat
[2023-03-11 12:23:20] [INFO ] Computed and/alt/rep : 5160/5160/5160 causal constraints (skipped 0 transitions) in 533 ms.
[2023-03-11 12:23:39] [INFO ] Added : 165 causal constraints over 33 iterations in 20223 ms.(timeout) Result :sat
[2023-03-11 12:23:41] [INFO ] [Real]Absence check using 1273 positive place invariants in 582 ms returned sat
[2023-03-11 12:23:41] [INFO ] [Real]Absence check using 1273 positive and 1 generalized place invariants in 219 ms returned sat
[2023-03-11 12:23:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-11 12:23:45] [INFO ] [Real]Absence check using state equation in 4420 ms returned sat
[2023-03-11 12:23:46] [INFO ] Solution in real domain found non-integer solution.
[2023-03-11 12:23:47] [INFO ] [Nat]Absence check using 1273 positive place invariants in 463 ms returned sat
[2023-03-11 12:23:47] [INFO ] [Nat]Absence check using 1273 positive and 1 generalized place invariants in 219 ms returned sat
[2023-03-11 12:23:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-11 12:23:51] [INFO ] [Nat]Absence check using state equation in 4400 ms returned sat
[2023-03-11 12:23:52] [INFO ] Computed and/alt/rep : 5160/5160/5160 causal constraints (skipped 0 transitions) in 374 ms.
[2023-03-11 12:24:12] [INFO ] Added : 185 causal constraints over 37 iterations in 20141 ms.(timeout) Result :sat
[2023-03-11 12:24:14] [INFO ] [Real]Absence check using 1273 positive place invariants in 662 ms returned sat
[2023-03-11 12:24:14] [INFO ] [Real]Absence check using 1273 positive and 1 generalized place invariants in 331 ms returned sat
[2023-03-11 12:24:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-11 12:24:18] [INFO ] [Real]Absence check using state equation in 4455 ms returned sat
[2023-03-11 12:24:19] [INFO ] Solution in real domain found non-integer solution.
[2023-03-11 12:24:20] [INFO ] [Nat]Absence check using 1273 positive place invariants in 462 ms returned sat
[2023-03-11 12:24:20] [INFO ] [Nat]Absence check using 1273 positive and 1 generalized place invariants in 222 ms returned sat
[2023-03-11 12:24:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-11 12:24:24] [INFO ] [Nat]Absence check using state equation in 4163 ms returned sat
[2023-03-11 12:24:25] [INFO ] Computed and/alt/rep : 5160/5160/5160 causal constraints (skipped 0 transitions) in 365 ms.
[2023-03-11 12:24:45] [INFO ] Added : 150 causal constraints over 30 iterations in 20456 ms.(timeout) Result :sat
Current structural bounds on expressions (after SMT) : [12, 12, 12] Max seen :[10, 7, 8]
FORMULA HexagonalGrid-PT-816-UpperBounds-07 12 TECHNIQUES TOPOLOGICAL PARIKH_WALK
Support contains 2 out of 3391 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3391/3391 places, 6174/6174 transitions.
Applied a total of 0 rules in 288 ms. Remains 3391 /3391 variables (removed 0) and now considering 6174/6174 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 288 ms. Remains : 3391/3391 places, 6174/6174 transitions.
[2023-03-11 12:26:16] [INFO ] Invariant cache hit.
Finished random walk after 167767 steps, including 1 resets, run visited all 2 properties in 30001 ms. (steps per millisecond=5 )
Finished Best-First random walk after 119300 steps, including 0 resets, run visited all 2 properties in 5034 ms. (steps per millisecond=23 )
Finished Best-First random walk after 113621 steps, including 0 resets, run visited all 2 properties in 5026 ms. (steps per millisecond=22 )
[2023-03-11 12:26:56] [INFO ] Invariant cache hit.
[2023-03-11 12:26:57] [INFO ] [Real]Absence check using 1273 positive place invariants in 452 ms returned sat
[2023-03-11 12:26:57] [INFO ] [Real]Absence check using 1273 positive and 1 generalized place invariants in 254 ms returned sat
[2023-03-11 12:26:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-11 12:27:01] [INFO ] [Real]Absence check using state equation in 4175 ms returned sat
[2023-03-11 12:27:01] [INFO ] Solution in real domain found non-integer solution.
[2023-03-11 12:27:02] [INFO ] [Nat]Absence check using 1273 positive place invariants in 540 ms returned sat
[2023-03-11 12:27:03] [INFO ] [Nat]Absence check using 1273 positive and 1 generalized place invariants in 220 ms returned sat
[2023-03-11 12:27:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-11 12:27:07] [INFO ] [Nat]Absence check using state equation in 4805 ms returned sat
[2023-03-11 12:27:08] [INFO ] Computed and/alt/rep : 5160/5160/5160 causal constraints (skipped 0 transitions) in 397 ms.
[2023-03-11 12:27:28] [INFO ] Added : 150 causal constraints over 30 iterations in 20532 ms.(timeout) Result :sat
[2023-03-11 12:27:30] [INFO ] [Real]Absence check using 1273 positive place invariants in 536 ms returned sat
[2023-03-11 12:27:30] [INFO ] [Real]Absence check using 1273 positive and 1 generalized place invariants in 220 ms returned sat
[2023-03-11 12:27:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-11 12:27:34] [INFO ] [Real]Absence check using state equation in 4168 ms returned sat
[2023-03-11 12:27:35] [INFO ] Solution in real domain found non-integer solution.
[2023-03-11 12:27:36] [INFO ] [Nat]Absence check using 1273 positive place invariants in 467 ms returned sat
[2023-03-11 12:27:36] [INFO ] [Nat]Absence check using 1273 positive and 1 generalized place invariants in 220 ms returned sat
[2023-03-11 12:27:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-11 12:27:40] [INFO ] [Nat]Absence check using state equation in 4286 ms returned sat
[2023-03-11 12:27:41] [INFO ] Computed and/alt/rep : 5160/5160/5160 causal constraints (skipped 0 transitions) in 363 ms.
[2023-03-11 12:28:01] [INFO ] Added : 170 causal constraints over 34 iterations in 20359 ms.(timeout) Result :sat
Current structural bounds on expressions (after SMT) : [12, 12] Max seen :[9, 9]
FORMULA HexagonalGrid-PT-816-UpperBounds-14 12 TECHNIQUES TOPOLOGICAL PARIKH_WALK
Support contains 1 out of 3391 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3391/3391 places, 6174/6174 transitions.
Applied a total of 0 rules in 272 ms. Remains 3391 /3391 variables (removed 0) and now considering 6174/6174 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 273 ms. Remains : 3391/3391 places, 6174/6174 transitions.
[2023-03-11 12:29:02] [INFO ] Invariant cache hit.
Finished random walk after 176621 steps, including 1 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=5 )
Finished Best-First random walk after 128131 steps, including 0 resets, run visited all 1 properties in 5002 ms. (steps per millisecond=25 )
[2023-03-11 12:29:37] [INFO ] Invariant cache hit.
[2023-03-11 12:29:38] [INFO ] [Real]Absence check using 1273 positive place invariants in 450 ms returned sat
[2023-03-11 12:29:38] [INFO ] [Real]Absence check using 1273 positive and 1 generalized place invariants in 248 ms returned sat
[2023-03-11 12:29:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-11 12:29:43] [INFO ] [Real]Absence check using state equation in 4882 ms returned sat
[2023-03-11 12:29:43] [INFO ] Solution in real domain found non-integer solution.
[2023-03-11 12:29:44] [INFO ] [Nat]Absence check using 1273 positive place invariants in 467 ms returned sat
[2023-03-11 12:29:44] [INFO ] [Nat]Absence check using 1273 positive and 1 generalized place invariants in 224 ms returned sat
[2023-03-11 12:29:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-11 12:29:49] [INFO ] [Nat]Absence check using state equation in 4680 ms returned sat
[2023-03-11 12:29:50] [INFO ] Computed and/alt/rep : 5160/5160/5160 causal constraints (skipped 0 transitions) in 462 ms.
[2023-03-11 12:30:10] [INFO ] Added : 175 causal constraints over 35 iterations in 20184 ms.(timeout) Result :sat
Current structural bounds on expressions (after SMT) : [12] Max seen :[10]
Support contains 1 out of 3391 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3391/3391 places, 6174/6174 transitions.
Applied a total of 0 rules in 266 ms. Remains 3391 /3391 variables (removed 0) and now considering 6174/6174 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 266 ms. Remains : 3391/3391 places, 6174/6174 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3391/3391 places, 6174/6174 transitions.
Applied a total of 0 rules in 261 ms. Remains 3391 /3391 variables (removed 0) and now considering 6174/6174 (removed 0) transitions.
[2023-03-11 12:30:41] [INFO ] Invariant cache hit.
[2023-03-11 12:30:45] [INFO ] Implicit Places using invariants in 4583 ms returned []
[2023-03-11 12:30:45] [INFO ] Invariant cache hit.
[2023-03-11 12:30:49] [INFO ] Implicit Places using invariants and state equation in 4121 ms returned []
Implicit Place search using SMT with State Equation took 8710 ms to find 0 implicit places.
[2023-03-11 12:30:50] [INFO ] Redundant transitions in 832 ms returned []
[2023-03-11 12:30:50] [INFO ] Invariant cache hit.
[2023-03-11 12:30:57] [INFO ] Dead Transitions using invariants and state equation in 6834 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 16647 ms. Remains : 3391/3391 places, 6174/6174 transitions.
[2023-03-11 12:30:57] [INFO ] Invariant cache hit.
Finished random walk after 164361 steps, including 1 resets, run visited all 1 properties in 30001 ms. (steps per millisecond=5 )
Finished Best-First random walk after 120970 steps, including 0 resets, run visited all 1 properties in 5027 ms. (steps per millisecond=24 )
[2023-03-11 12:31:32] [INFO ] Invariant cache hit.
[2023-03-11 12:31:33] [INFO ] [Real]Absence check using 1273 positive place invariants in 452 ms returned sat
[2023-03-11 12:31:33] [INFO ] [Real]Absence check using 1273 positive and 1 generalized place invariants in 244 ms returned sat
[2023-03-11 12:31:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-11 12:31:38] [INFO ] [Real]Absence check using state equation in 4331 ms returned sat
[2023-03-11 12:31:38] [INFO ] Solution in real domain found non-integer solution.
[2023-03-11 12:31:39] [INFO ] [Nat]Absence check using 1273 positive place invariants in 507 ms returned sat
[2023-03-11 12:31:39] [INFO ] [Nat]Absence check using 1273 positive and 1 generalized place invariants in 225 ms returned sat
[2023-03-11 12:31:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2023-03-11 12:31:43] [INFO ] [Nat]Absence check using state equation in 4084 ms returned sat
[2023-03-11 12:31:44] [INFO ] Computed and/alt/rep : 5160/5160/5160 causal constraints (skipped 0 transitions) in 552 ms.
[2023-03-11 12:32:04] [INFO ] Added : 150 causal constraints over 30 iterations in 20575 ms.(timeout) Result :sat
Current structural bounds on expressions (after SMT) : [12] Max seen :[11]
FORMULA HexagonalGrid-PT-816-UpperBounds-09 12 TECHNIQUES TOPOLOGICAL PARIKH_WALK
All properties solved without resorting to model-checking.
Total runtime 1399994 ms.
ITS solved all properties within timeout
BK_STOP 1678537956448
--------------------
content from stderr:
+ 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//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination UpperBounds -timeout 360 -rebuildPNML
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="HexagonalGrid-PT-816"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lolaxred"
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-5348"
echo " Executing tool lolaxred"
echo " Input is HexagonalGrid-PT-816, 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 r199-smll-167840345900421"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HexagonalGrid-PT-816.tgz
mv HexagonalGrid-PT-816 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 ;