About the Execution of Smart+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 |
| 7433.292 | 3600000.00 | 3634999.00 | 10385.00 | [undef] | Time out reached |
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.r203-smll-167840349500424.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 smartxred
Input is HexagonalGrid-PT-816, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349500424
=====================================================================
--------------------
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)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678622112779
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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HexagonalGrid-PT-816
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 11:55:15] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 11:55:15] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 11:55:16] [INFO ] Load time of PNML (sax parser for PT used): 551 ms
[2023-03-12 11:55:16] [INFO ] Transformed 3391 places.
[2023-03-12 11:55:16] [INFO ] Transformed 6174 transitions.
[2023-03-12 11:55:16] [INFO ] Parsed PT model containing 3391 places and 6174 transitions and 24696 arcs in 751 ms.
[2023-03-12 11:55:16] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 3391 places, 6174 transitions and 24696 arcs took 79 ms.
Total runtime 896 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HexagonalGrid (PT), instance 816
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart
Filename model.pnml
Petri model created: 3391 places, 6174 transitions, 24696 arcs.
AT ITER 0 NEW BEST:: SOT 11073053 SOS 1129598 HAS SOPS 1129598 HAS SOUS 564582 HAS SOUPS 564582 WITH SCORE 565711.598
AT ITER 12 NEW BEST:: SOT 11073053 SOS 1129598 HAS SOPS 1129598 HAS SOUS 564540 HAS SOUPS 564540 WITH SCORE 565669.598
AT ITER 143 NEW BEST:: SOT 11073053 SOS 1129168 HAS SOPS 1129168 HAS SOUS 564454 HAS SOUPS 564454 WITH SCORE 565583.168
AT ITER 197 NEW BEST:: SOT 11073053 SOS 1129168 HAS SOPS 1129168 HAS SOUS 564440 HAS SOUPS 564440 WITH SCORE 565569.168
AT ITER 229 NEW BEST:: SOT 11073053 SOS 1129168 HAS SOPS 1129168 HAS SOUS 564435 HAS SOUPS 564435 WITH SCORE 565564.168
AT ITER 235 NEW BEST:: SOT 11073053 SOS 1129168 HAS SOPS 1129168 HAS SOUS 564364 HAS SOUPS 564364 WITH SCORE 565493.168
AT ITER 302 NEW BEST:: SOT 11072974 SOS 1128694 HAS SOPS 1128694 HAS SOUS 564206 HAS SOUPS 564206 WITH SCORE 565334.694
AT ITER 306 NEW BEST:: SOT 11072974 SOS 1128734 HAS SOPS 1128734 HAS SOUS 564190 HAS SOUPS 564190 WITH SCORE 565318.734
AT ITER 314 NEW BEST:: SOT 11072934 SOS 1128694 HAS SOPS 1128694 HAS SOUS 564150 HAS SOUPS 564150 WITH SCORE 565278.694
AT ITER 322 NEW BEST:: SOT 11072934 SOS 1128478 HAS SOPS 1128478 HAS SOUS 564078 HAS SOUPS 564078 WITH SCORE 565206.478
AT ITER 372 NEW BEST:: SOT 11072943 SOS 1128091 HAS SOPS 1128091 HAS SOUS 564015 HAS SOUPS 564015 WITH SCORE 565143.091
AT ITER 395 NEW BEST:: SOT 11072943 SOS 1128091 HAS SOPS 1128091 HAS SOUS 563976 HAS SOUPS 563976 WITH SCORE 565104.091
AT ITER 431 NEW BEST:: SOT 11072888 SOS 1128036 HAS SOPS 1128036 HAS SOUS 563866 HAS SOUPS 563866 WITH SCORE 564994.036
AT ITER 515 NEW BEST:: SOT 11072693 SOS 1127646 HAS SOPS 1127646 HAS SOUS 563632 HAS SOUPS 563632 WITH SCORE 564759.646
AT ITER 559 NEW BEST:: SOT 11072693 SOS 1127326 HAS SOPS 1127326 HAS SOUS 563568 HAS SOUPS 563568 WITH SCORE 564695.326
AT ITER 599 NEW BEST:: SOT 11072693 SOS 1127671 HAS SOPS 1127671 HAS SOUS 563361 HAS SOUPS 563361 WITH SCORE 564488.671
AT ITER 605 NEW BEST:: SOT 11072643 SOS 1127611 HAS SOPS 1127611 HAS SOUS 563301 HAS SOUPS 563301 WITH SCORE 564428.611
AT ITER 619 NEW BEST:: SOT 11072608 SOS 1127576 HAS SOPS 1127576 HAS SOUS 563266 HAS SOUPS 563266 WITH SCORE 564393.576
AT ITER 683 NEW BEST:: SOT 11072413 SOS 1127186 HAS SOPS 1127186 HAS SOUS 563032 HAS SOUPS 563032 WITH SCORE 564159.186
AT ITER 698 NEW BEST:: SOT 11072413 SOS 1127186 HAS SOPS 1127186 HAS SOUS 562950 HAS SOUPS 562950 WITH SCORE 564077.186
AT ITER 730 NEW BEST:: SOT 11072418 SOS 1126771 HAS SOPS 1126771 HAS SOUS 562875 HAS SOUPS 562875 WITH SCORE 564001.771
AT ITER 750 NEW BEST:: SOT 11072418 SOS 1126426 HAS SOPS 1126426 HAS SOUS 562806 HAS SOUPS 562806 WITH SCORE 563932.426
AT ITER 810 NEW BEST:: SOT 11072318 SOS 1126306 HAS SOPS 1126306 HAS SOUS 562686 HAS SOUPS 562686 WITH SCORE 563812.306
AT ITER 821 NEW BEST:: SOT 11072318 SOS 1126162 HAS SOPS 1126162 HAS SOUS 562638 HAS SOUPS 562638 WITH SCORE 563764.162
AT ITER 848 NEW BEST:: SOT 11071928 SOS 1125694 HAS SOPS 1125694 HAS SOUS 562106 HAS SOUPS 562106 WITH SCORE 563231.694
AT ITER 954 NEW BEST:: SOT 11071928 SOS 1126064 HAS SOPS 1126064 HAS SOUS 561884 HAS SOUPS 561884 WITH SCORE 563010.064
AT ITER 973 NEW BEST:: SOT 11071928 SOS 1126064 HAS SOPS 1126064 HAS SOUS 561727 HAS SOUPS 561727 WITH SCORE 562853.064
AT ITER 1021 NEW BEST:: SOT 11071788 SOS 1125784 HAS SOPS 1125784 HAS SOUS 561559 HAS SOUPS 561559 WITH SCORE 562684.784
AT ITER 1076 NEW BEST:: SOT 11071788 SOS 1125777 HAS SOPS 1125777 HAS SOUS 561552 HAS SOUPS 561552 WITH SCORE 562677.777
AT ITER 1134 NEW BEST:: SOT 11071782 SOS 1125313 HAS SOPS 1125313 HAS SOUS 561456 HAS SOUPS 561456 WITH SCORE 562581.313
AT ITER 1255 NEW BEST:: SOT 11071597 SOS 1125091 HAS SOPS 1125091 HAS SOUS 561234 HAS SOUPS 561234 WITH SCORE 562359.091
AT ITER 1332 NEW BEST:: SOT 11071342 SOS 1124581 HAS SOPS 1124581 HAS SOUS 560928 HAS SOUPS 560928 WITH SCORE 562052.581
AT ITER 1400 NEW BEST:: SOT 11071032 SOS 1123961 HAS SOPS 1123961 HAS SOUS 560556 HAS SOUPS 560556 WITH SCORE 561679.961
AT ITER 1431 NEW BEST:: SOT 11071132 SOS 1124161 HAS SOPS 1124161 HAS SOUS 560552 HAS SOUPS 560552 WITH SCORE 561676.161
AT ITER 1449 NEW BEST:: SOT 11071128 SOS 1124137 HAS SOPS 1124137 HAS SOUS 560544 HAS SOUPS 560544 WITH SCORE 561668.137
AT ITER 1530 NEW BEST:: SOT 11071083 SOS 1123867 HAS SOPS 1123867 HAS SOUS 560454 HAS SOUPS 560454 WITH SCORE 561577.867
AT ITER 1554 NEW BEST:: SOT 11071083 SOS 1123627 HAS SOPS 1123627 HAS SOUS 560374 HAS SOUPS 560374 WITH SCORE 561497.627
AT ITER 1591 NEW BEST:: SOT 11070638 SOS 1123093 HAS SOPS 1123093 HAS SOUS 559840 HAS SOUPS 559840 WITH SCORE 560963.093
AT ITER 1624 NEW BEST:: SOT 11070462 SOS 1122917 HAS SOPS 1122917 HAS SOUS 559664 HAS SOUPS 559664 WITH SCORE 560786.917
AT ITER 1717 NEW BEST:: SOT 11070402 SOS 1122857 HAS SOPS 1122857 HAS SOUS 559604 HAS SOUPS 559604 WITH SCORE 560726.857
AT ITER 1756 NEW BEST:: SOT 11070402 SOS 1122857 HAS SOPS 1122857 HAS SOUS 559478 HAS SOUPS 559478 WITH SCORE 560600.857
AT ITER 1757 NEW BEST:: SOT 11069977 SOS 1122347 HAS SOPS 1122347 HAS SOUS 558672 HAS SOUPS 558672 WITH SCORE 559794.347
AT ITER 1782 NEW BEST:: SOT 11069977 SOS 1122347 HAS SOPS 1122347 HAS SOUS 558594 HAS SOUPS 558594 WITH SCORE 559716.347
AT ITER 1816 NEW BEST:: SOT 11069977 SOS 1122477 HAS SOPS 1122477 HAS SOUS 558532 HAS SOUPS 558532 WITH SCORE 559654.477
AT ITER 1822 NEW BEST:: SOT 11069977 SOS 1122477 HAS SOPS 1122477 HAS SOUS 558502 HAS SOUPS 558502 WITH SCORE 559624.477
AT ITER 1853 NEW BEST:: SOT 11069977 SOS 1122357 HAS SOPS 1122357 HAS SOUS 558462 HAS SOUPS 558462 WITH SCORE 559584.357
AT ITER 1936 NEW BEST:: SOT 11069977 SOS 1122357 HAS SOPS 1122357 HAS SOUS 558420 HAS SOUPS 558420 WITH SCORE 559542.357
AT ITER 2008 NEW BEST:: SOT 11069887 SOS 1122249 HAS SOPS 1122249 HAS SOUS 558312 HAS SOUPS 558312 WITH SCORE 559434.249
AT ITER 2015 NEW BEST:: SOT 11069887 SOS 1122033 HAS SOPS 1122033 HAS SOUS 558240 HAS SOUPS 558240 WITH SCORE 559362.033
AT ITER 2044 NEW BEST:: SOT 11069832 SOS 1121967 HAS SOPS 1121967 HAS SOUS 558174 HAS SOUPS 558174 WITH SCORE 559295.967
AT ITER 2049 NEW BEST:: SOT 11069832 SOS 1121967 HAS SOPS 1121967 HAS SOUS 558151 HAS SOUPS 558151 WITH SCORE 559272.967
AT ITER 2071 NEW BEST:: SOT 11069753 SOS 1121493 HAS SOPS 1121493 HAS SOUS 557993 HAS SOUPS 557993 WITH SCORE 559114.493
AT ITER 2279 NEW BEST:: SOT 11069753 SOS 1121733 HAS SOPS 1121733 HAS SOUS 557753 HAS SOUPS 557753 WITH SCORE 558874.733
AT ITER 2284 NEW BEST:: SOT 11069338 SOS 1120903 HAS SOPS 1120903 HAS SOUS 557283 HAS SOUPS 557283 WITH SCORE 558403.903
AT ITER 2306 NEW BEST:: SOT 11069338 SOS 1120548 HAS SOPS 1120548 HAS SOUS 557212 HAS SOUPS 557212 WITH SCORE 558332.548
AT ITER 2312 NEW BEST:: SOT 11069330 SOS 1120540 HAS SOPS 1120540 HAS SOUS 557204 HAS SOUPS 557204 WITH SCORE 558324.54
AT ITER 2322 NEW BEST:: SOT 11069095 SOS 1120023 HAS SOPS 1120023 HAS SOUS 556875 HAS SOUPS 556875 WITH SCORE 557995.023
AT ITER 2338 NEW BEST:: SOT 11069095 SOS 1120128 HAS SOPS 1120128 HAS SOUS 556824 HAS SOUPS 556824 WITH SCORE 557944.128
AT ITER 2356 NEW BEST:: SOT 11068790 SOS 1119457 HAS SOPS 1119457 HAS SOUS 556397 HAS SOUPS 556397 WITH SCORE 557516.457
AT ITER 2378 NEW BEST:: SOT 11068790 SOS 1119457 HAS SOPS 1119457 HAS SOUS 556317 HAS SOUPS 556317 WITH SCORE 557436.457
AT ITER 2401 NEW BEST:: SOT 11068790 SOS 1119457 HAS SOPS 1119457 HAS SOUS 556253 HAS SOUPS 556253 WITH SCORE 557372.457
AT ITER 2439 NEW BEST:: SOT 11068833 SOS 1119500 HAS SOPS 1119500 HAS SOUS 556178 HAS SOUPS 556178 WITH SCORE 557297.5
AT ITER 2563 NEW BEST:: SOT 11068628 SOS 1119090 HAS SOPS 1119090 HAS SOUS 555932 HAS SOUPS 555932 WITH SCORE 557051.09
AT ITER 2567 NEW BEST:: SOT 11068558 SOS 1118600 HAS SOPS 1118600 HAS SOUS 555722 HAS SOUPS 555722 WITH SCORE 556840.6
AT ITER 2569 NEW BEST:: SOT 11068558 SOS 1118600 HAS SOPS 1118600 HAS SOUS 555715 HAS SOUPS 555715 WITH SCORE 556833.6
AT ITER 2591 NEW BEST:: SOT 11068558 SOS 1118260 HAS SOPS 1118260 HAS SOUS 555671 HAS SOUPS 555671 WITH SCORE 556789.26
AT ITER 2599 NEW BEST:: SOT 11068558 SOS 1117990 HAS SOPS 1117990 HAS SOUS 555645 HAS SOUPS 555645 WITH SCORE 556762.99
AT ITER 2645 NEW BEST:: SOT 11068561 SOS 1117901 HAS SOPS 1117901 HAS SOUS 555632 HAS SOUPS 555632 WITH SCORE 556749.901
AT ITER 2658 NEW BEST:: SOT 11068516 SOS 1117856 HAS SOPS 1117856 HAS SOUS 555542 HAS SOUPS 555542 WITH SCORE 556659.856
AT ITER 2664 NEW BEST:: SOT 11068509 SOS 1117849 HAS SOPS 1117849 HAS SOUS 555535 HAS SOUPS 555535 WITH SCORE 556652.849
AT ITER 2702 NEW BEST:: SOT 11068479 SOS 1117819 HAS SOPS 1117819 HAS SOUS 555505 HAS SOUPS 555505 WITH SCORE 556622.819
AT ITER 2884 NEW BEST:: SOT 11068479 SOS 1117315 HAS SOPS 1117315 HAS SOUS 555337 HAS SOUPS 555337 WITH SCORE 556454.315
AT ITER 2916 NEW BEST:: SOT 11068479 SOS 1116859 HAS SOPS 1116859 HAS SOUS 555185 HAS SOUPS 555185 WITH SCORE 556301.859
AT ITER 2952 NEW BEST:: SOT 11068479 SOS 1116661 HAS SOPS 1116661 HAS SOUS 555119 HAS SOUPS 555119 WITH SCORE 556235.661
AT ITER 2957 NEW BEST:: SOT 11068479 SOS 1116637 HAS SOPS 1116637 HAS SOUS 555111 HAS SOUPS 555111 WITH SCORE 556227.637
AT ITER 2959 NEW BEST:: SOT 11068479 SOS 1116637 HAS SOPS 1116637 HAS SOUS 555094 HAS SOUPS 555094 WITH SCORE 556210.637
AT ITER 3079 NEW BEST:: SOT 11068479 SOS 1116637 HAS SOPS 1116637 HAS SOUS 555028 HAS SOUPS 555028 WITH SCORE 556144.637
AT ITER 3120 NEW BEST:: SOT 11068464 SOS 1116622 HAS SOPS 1116622 HAS SOUS 555013 HAS SOUPS 555013 WITH SCORE 556129.622
AT ITER 3127 NEW BEST:: SOT 11068389 SOS 1116472 HAS SOPS 1116472 HAS SOUS 554923 HAS SOUPS 554923 WITH SCORE 556039.472
AT ITER 3279 NEW BEST:: SOT 11068389 SOS 1116438 HAS SOPS 1116438 HAS SOUS 554889 HAS SOUPS 554889 WITH SCORE 556005.438
AT ITER 3462 NEW BEST:: SOT 11067934 SOS 1115892 HAS SOPS 1115892 HAS SOUS 554043 HAS SOUPS 554043 WITH SCORE 555158.892
AT ITER 3465 NEW BEST:: SOT 11067889 SOS 1115838 HAS SOPS 1115838 HAS SOUS 554013 HAS SOUPS 554013 WITH SCORE 555128.838
AT ITER 3509 NEW BEST:: SOT 11067856 SOS 1115527 HAS SOPS 1115527 HAS SOUS 553946 HAS SOUPS 553946 WITH SCORE 555061.527
AT ITER 3553 NEW BEST:: SOT 11067856 SOS 1115297 HAS SOPS 1115297 HAS SOUS 553900 HAS SOUPS 553900 WITH SCORE 555015.297
AT ITER 3584 NEW BEST:: SOT 11067856 SOS 1115297 HAS SOPS 1115297 HAS SOUS 553887 HAS SOUPS 553887 WITH SCORE 555002.297
AT ITER 3617 NEW BEST:: SOT 11067793 SOS 1114919 HAS SOPS 1114919 HAS SOUS 553761 HAS SOUPS 553761 WITH SCORE 554875.919
AT ITER 3632 NEW BEST:: SOT 11067708 SOS 1114498 HAS SOPS 1114498 HAS SOUS 553564 HAS SOUPS 553564 WITH SCORE 554678.498
AT ITER 3662 NEW BEST:: SOT 11067634 SOS 1114054 HAS SOPS 1114054 HAS SOUS 553416 HAS SOUPS 553416 WITH SCORE 554530.054
AT ITER 3962 NEW BEST:: SOT 11067634 SOS 1114114 HAS SOPS 1114114 HAS SOUS 553400 HAS SOUPS 553400 WITH SCORE 554514.114
AT ITER 4006 NEW BEST:: SOT 11067642 SOS 1113940 HAS SOPS 1113940 HAS SOUS 553378 HAS SOUPS 553378 WITH SCORE 554491.94
AT ITER 4082 NEW BEST:: SOT 11067642 SOS 1113844 HAS SOPS 1113844 HAS SOUS 553378 HAS SOUPS 553378 WITH SCORE 554491.844
AT ITER 4120 NEW BEST:: SOT 11067642 SOS 1113816 HAS SOPS 1113816 HAS SOUS 553350 HAS SOUPS 553350 WITH SCORE 554463.816
AT ITER 4164 NEW BEST:: SOT 11067822 SOS 1114536 HAS SOPS 1114536 HAS SOUS 553270 HAS SOUPS 553270 WITH SCORE 554384.536
AT ITER 4177 NEW BEST:: SOT 11067822 SOS 1114476 HAS SOPS 1114476 HAS SOUS 553210 HAS SOUPS 553210 WITH SCORE 554324.476
AT ITER 4299 NEW BEST:: SOT 11067798 SOS 1114452 HAS SOPS 1114452 HAS SOUS 553186 HAS SOUPS 553186 WITH SCORE 554300.452
AT ITER 4352 NEW BEST:: SOT 11067859 SOS 1114513 HAS SOPS 1114513 HAS SOUS 553169 HAS SOUPS 553169 WITH SCORE 554283.513
AT ITER 4404 NEW BEST:: SOT 11067594 SOS 1113930 HAS SOPS 1113930 HAS SOUS 552798 HAS SOUPS 552798 WITH SCORE 553911.93
AT ITER 4601 NEW BEST:: SOT 11067504 SOS 1113560 HAS SOPS 1113560 HAS SOUS 552580 HAS SOUPS 552580 WITH SCORE 553693.56
AT ITER 4644 NEW BEST:: SOT 11067094 SOS 1112714 HAS SOPS 1112714 HAS SOUS 552062 HAS SOUPS 552062 WITH SCORE 553174.714
AT ITER 4702 NEW BEST:: SOT 11067094 SOS 1112714 HAS SOPS 1112714 HAS SOUS 552023 HAS SOUPS 552023 WITH SCORE 553135.714
AT ITER 4707 NEW BEST:: SOT 11067094 SOS 1112654 HAS SOPS 1112654 HAS SOUS 552011 HAS SOUPS 552011 WITH SCORE 553123.654
AT ITER 4753 NEW BEST:: SOT 11067118 SOS 1112372 HAS SOPS 1112372 HAS SOUS 551993 HAS SOUPS 551993 WITH SCORE 553105.372
AT ITER 4775 NEW BEST:: SOT 11066928 SOS 1111954 HAS SOPS 1111954 HAS SOUS 551727 HAS SOUPS 551727 WITH SCORE 552838.954
AT ITER 4787 NEW BEST:: SOT 11066928 SOS 1111954 HAS SOPS 1111954 HAS SOUS 551677 HAS SOUPS 551677 WITH SCORE 552788.954
AT ITER 4998 NEW BEST:: SOT 11066928 SOS 1111954 HAS SOPS 1111954 HAS SOUS 551470 HAS SOUPS 551470 WITH SCORE 552581.954
AT ITER 5027 NEW BEST:: SOT 11066928 SOS 1111954 HAS SOPS 1111954 HAS SOUS 551426 HAS SOUPS 551426 WITH SCORE 552537.954
AT ITER 5054 NEW BEST:: SOT 11066838 SOS 1111494 HAS SOPS 1111494 HAS SOUS 551190 HAS SOUPS 551190 WITH SCORE 552301.494
AT ITER 5151 NEW BEST:: SOT 11066828 SOS 1111474 HAS SOPS 1111474 HAS SOUS 551178 HAS SOUPS 551178 WITH SCORE 552289.474
AT ITER 5168 NEW BEST:: SOT 11066422 SOS 1110662 HAS SOPS 1110662 HAS SOUS 550902 HAS SOUPS 550902 WITH SCORE 552012.662
AT ITER 5300 NEW BEST:: SOT 11066407 SOS 1110647 HAS SOPS 1110647 HAS SOUS 550887 HAS SOUPS 550887 WITH SCORE 551997.647
AT ITER 5302 NEW BEST:: SOT 11066407 SOS 1110747 HAS SOPS 1110747 HAS SOUS 550867 HAS SOUPS 550867 WITH SCORE 551977.747
AT ITER 5368 NEW BEST:: SOT 11066407 SOS 1110731 HAS SOPS 1110731 HAS SOUS 550851 HAS SOUPS 550851 WITH SCORE 551961.731
AT ITER 5414 NEW BEST:: SOT 11066407 SOS 1110731 HAS SOPS 1110731 HAS SOUS 550799 HAS SOUPS 550799 WITH SCORE 551909.731
AT ITER 5416 NEW BEST:: SOT 11066407 SOS 1110711 HAS SOPS 1110711 HAS SOUS 550795 HAS SOUPS 550795 WITH SCORE 551905.711
AT ITER 5471 NEW BEST:: SOT 11066404 SOS 1110708 HAS SOPS 1110708 HAS SOUS 550780 HAS SOUPS 550780 WITH SCORE 551890.708
AT ITER 5472 NEW BEST:: SOT 11066404 SOS 1110708 HAS SOPS 1110708 HAS SOUS 550752 HAS SOUPS 550752 WITH SCORE 551862.708
AT ITER 5486 NEW BEST:: SOT 11066404 SOS 1110708 HAS SOPS 1110708 HAS SOUS 550737 HAS SOUPS 550737 WITH SCORE 551847.708
AT ITER 5544 NEW BEST:: SOT 11066404 SOS 1110521 HAS SOPS 1110521 HAS SOUS 550702 HAS SOUPS 550702 WITH SCORE 551812.521
AT ITER 5656 NEW BEST:: SOT 11066345 SOS 1110108 HAS SOPS 1110108 HAS SOUS 550525 HAS SOUPS 550525 WITH SCORE 551635.108
AT ITER 5700 NEW BEST:: SOT 11066345 SOS 1110102 HAS SOPS 1110102 HAS SOUS 550519 HAS SOUPS 550519 WITH SCORE 551629.102
AT ITER 5745 NEW BEST:: SOT 11066345 SOS 1109706 HAS SOPS 1109706 HAS SOUS 550387 HAS SOUPS 550387 WITH SCORE 551496.706
AT ITER 5751 NEW BEST:: SOT 11066345 SOS 1109706 HAS SOPS 1109706 HAS SOUS 550351 HAS SOUPS 550351 WITH SCORE 551460.706
AT ITER 5815 NEW BEST:: SOT 11066345 SOS 1109878 HAS SOPS 1109878 HAS SOUS 550327 HAS SOUPS 550327 WITH SCORE 551436.878
AT ITER 5877 NEW BEST:: SOT 11066345 SOS 1109878 HAS SOPS 1109878 HAS SOUS 550276 HAS SOUPS 550276 WITH SCORE 551385.878
AT ITER 5932 NEW BEST:: SOT 11066050 SOS 1109288 HAS SOPS 1109288 HAS SOUS 549922 HAS SOUPS 549922 WITH SCORE 551031.288
AT ITER 5955 NEW BEST:: SOT 11066026 SOS 1109264 HAS SOPS 1109264 HAS SOUS 549898 HAS SOUPS 549898 WITH SCORE 551007.264
AT ITER 6119 NEW BEST:: SOT 11066026 SOS 1109264 HAS SOPS 1109264 HAS SOUS 549830 HAS SOUPS 549830 WITH SCORE 550939.264
AT ITER 6124 NEW BEST:: SOT 11066021 SOS 1109259 HAS SOPS 1109259 HAS SOUS 549825 HAS SOUPS 549825 WITH SCORE 550934.259
AT ITER 6209 NEW BEST:: SOT 11066032 SOS 1109046 HAS SOPS 1109046 HAS SOUS 549800 HAS SOUPS 549800 WITH SCORE 550909.046
AT ITER 6238 NEW BEST:: SOT 11065742 SOS 1108422 HAS SOPS 1108422 HAS SOUS 549464 HAS SOUPS 549464 WITH SCORE 550572.422
AT ITER 6263 NEW BEST:: SOT 11065690 SOS 1108214 HAS SOPS 1108214 HAS SOUS 549464 HAS SOUPS 549464 WITH SCORE 550572.214
AT ITER 6287 NEW BEST:: SOT 11065435 SOS 1107704 HAS SOPS 1107704 HAS SOUS 549158 HAS SOUPS 549158 WITH SCORE 550265.704
AT ITER 6428 NEW BEST:: SOT 11065355 SOS 1107624 HAS SOPS 1107624 HAS SOUS 549078 HAS SOUPS 549078 WITH SCORE 550185.624
AT ITER 6496 NEW BEST:: SOT 11065010 SOS 1107210 HAS SOPS 1107210 HAS SOUS 548664 HAS SOUPS 548664 WITH SCORE 549771.21
AT ITER 6552 NEW BEST:: SOT 11064582 SOS 1106354 HAS SOPS 1106354 HAS SOUS 548168 HAS SOUPS 548168 WITH SCORE 549274.354
AT ITER 6695 NEW BEST:: SOT 11064582 SOS 1106354 HAS SOPS 1106354 HAS SOUS 548151 HAS SOUPS 548151 WITH SCORE 549257.354
AT ITER 6821 NEW BEST:: SOT 11064582 SOS 1106120 HAS SOPS 1106120 HAS SOUS 548073 HAS SOUPS 548073 WITH SCORE 549179.12
AT ITER 6838 NEW BEST:: SOT 11064592 SOS 1106130 HAS SOPS 1106130 HAS SOUS 548033 HAS SOUPS 548033 WITH SCORE 549139.13
AT ITER 6843 NEW BEST:: SOT 11064592 SOS 1105764 HAS SOPS 1105764 HAS SOUS 547911 HAS SOUPS 547911 WITH SCORE 549016.764
AT ITER 6906 NEW BEST:: SOT 11064592 SOS 1105749 HAS SOPS 1105749 HAS SOUS 547908 HAS SOUPS 547908 WITH SCORE 549013.749
AT ITER 6924 NEW BEST:: SOT 11064187 SOS 1104858 HAS SOPS 1104858 HAS SOUS 547341 HAS SOUPS 547341 WITH SCORE 548445.858
AT ITER 7017 NEW BEST:: SOT 11064155 SOS 1104826 HAS SOPS 1104826 HAS SOUS 547309 HAS SOUPS 547309 WITH SCORE 548413.826
AT ITER 7024 NEW BEST:: SOT 11064155 SOS 1104466 HAS SOPS 1104466 HAS SOUS 547189 HAS SOUPS 547189 WITH SCORE 548293.466
AT ITER 7038 NEW BEST:: SOT 11064155 SOS 1104598 HAS SOPS 1104598 HAS SOUS 547057 HAS SOUPS 547057 WITH SCORE 548161.598
AT ITER 7093 NEW BEST:: SOT 11064093 SOS 1104226 HAS SOPS 1104226 HAS SOUS 546933 HAS SOUPS 546933 WITH SCORE 548037.226
AT ITER 7174 NEW BEST:: SOT 11064003 SOS 1103676 HAS SOPS 1103676 HAS SOUS 546679 HAS SOUPS 546679 WITH SCORE 547782.676
AT ITER 7181 NEW BEST:: SOT 11063758 SOS 1103137 HAS SOPS 1103137 HAS SOUS 546336 HAS SOUPS 546336 WITH SCORE 547439.137
AT ITER 7189 NEW BEST:: SOT 11063758 SOS 1103137 HAS SOPS 1103137 HAS SOUS 546324 HAS SOUPS 546324 WITH SCORE 547427.137
AT ITER 7209 NEW BEST:: SOT 11063706 SOS 1102773 HAS SOPS 1102773 HAS SOUS 546168 HAS SOUPS 546168 WITH SCORE 547270.773
AT ITER 7371 NEW BEST:: SOT 11063654 SOS 1102409 HAS SOPS 1102409 HAS SOUS 546012 HAS SOUPS 546012 WITH SCORE 547114.409
AT ITER 7413 NEW BEST:: SOT 11063612 SOS 1102367 HAS SOPS 1102367 HAS SOUS 546001 HAS SOUPS 546001 WITH SCORE 547103.367
AT ITER 7463 NEW BEST:: SOT 11063626 SOS 1102395 HAS SOPS 1102395 HAS SOUS 545981 HAS SOUPS 545981 WITH SCORE 547083.395
AT ITER 7642 NEW BEST:: SOT 11063601 SOS 1102370 HAS SOPS 1102370 HAS SOUS 545956 HAS SOUPS 545956 WITH SCORE 547058.37
AT ITER 7666 NEW BEST:: SOT 11063509 SOS 1101762 HAS SOPS 1101762 HAS SOUS 545692 HAS SOUPS 545692 WITH SCORE 546793.762
AT ITER 7784 NEW BEST:: SOT 11063476 SOS 1101759 HAS SOPS 1101759 HAS SOUS 545689 HAS SOUPS 545689 WITH SCORE 546790.759
AT ITER 7800 NEW BEST:: SOT 11063381 SOS 1101645 HAS SOPS 1101645 HAS SOUS 545571 HAS SOUPS 545571 WITH SCORE 546672.645
AT ITER 7885 NEW BEST:: SOT 11063381 SOS 1101940 HAS SOPS 1101940 HAS SOUS 545394 HAS SOUPS 545394 WITH SCORE 546495.94
AT ITER 7994 NEW BEST:: SOT 11063381 SOS 1101784 HAS SOPS 1101784 HAS SOUS 545342 HAS SOUPS 545342 WITH SCORE 546443.784
AT ITER 8048 NEW BEST:: SOT 11063381 SOS 1101405 HAS SOPS 1101405 HAS SOUS 545323 HAS SOUPS 545323 WITH SCORE 546424.405
AT ITER 8063 NEW BEST:: SOT 11063381 SOS 1101099 HAS SOPS 1101099 HAS SOUS 545221 HAS SOUPS 545221 WITH SCORE 546322.099
AT ITER 8135 NEW BEST:: SOT 11063381 SOS 1100955 HAS SOPS 1100955 HAS SOUS 545173 HAS SOUPS 545173 WITH SCORE 546273.955
AT ITER 8157 NEW BEST:: SOT 11063381 SOS 1100955 HAS SOPS 1100955 HAS SOUS 545158 HAS SOUPS 545158 WITH SCORE 546258.955
AT ITER 8165 NEW BEST:: SOT 11063381 SOS 1100949 HAS SOPS 1100949 HAS SOUS 545156 HAS SOUPS 545156 WITH SCORE 546256.949
AT ITER 8231 NEW BEST:: SOT 11063314 SOS 1100480 HAS SOPS 1100480 HAS SOUS 544955 HAS SOUPS 544955 WITH SCORE 546055.48
AT ITER 8314 NEW BEST:: SOT 11063144 SOS 1100140 HAS SOPS 1100140 HAS SOUS 544751 HAS SOUPS 544751 WITH SCORE 545851.14
AT ITER 8339 NEW BEST:: SOT 11063054 SOS 1100032 HAS SOPS 1100032 HAS SOUS 544643 HAS SOUPS 544643 WITH SCORE 545743.032
AT ITER 8373 NEW BEST:: SOT 11063051 SOS 1100029 HAS SOPS 1100029 HAS SOUS 544640 HAS SOUPS 544640 WITH SCORE 545740.029
AT ITER 8377 NEW BEST:: SOT 11063045 SOS 1100023 HAS SOPS 1100023 HAS SOUS 544640 HAS SOUPS 544640 WITH SCORE 545740.023
AT ITER 8428 NEW BEST:: SOT 11063012 SOS 1099687 HAS SOPS 1099687 HAS SOUS 544544 HAS SOUPS 544544 WITH SCORE 545643.687
AT ITER 8537 NEW BEST:: SOT 11063012 SOS 1099687 HAS SOPS 1099687 HAS SOUS 544529 HAS SOUPS 544529 WITH SCORE 545628.687
AT ITER 8563 NEW BEST:: SOT 11063012 SOS 1099681 HAS SOPS 1099681 HAS SOUS 544523 HAS SOUPS 544523 WITH SCORE 545622.681
AT ITER 8612 NEW BEST:: SOT 11063012 SOS 1099159 HAS SOPS 1099159 HAS SOUS 544349 HAS SOUPS 544349 WITH SCORE 545448.159
AT ITER 8798 NEW BEST:: SOT 11062882 SOS 1098899 HAS SOPS 1098899 HAS SOUS 544193 HAS SOUPS 544193 WITH SCORE 545291.899
AT ITER 9075 NEW BEST:: SOT 11062840 SOS 1098815 HAS SOPS 1098815 HAS SOUS 544109 HAS SOUPS 544109 WITH SCORE 545207.815
AT ITER 9099 NEW BEST:: SOT 11062775 SOS 1098685 HAS SOPS 1098685 HAS SOUS 544031 HAS SOUPS 544031 WITH SCORE 545129.685
AT ITER 9147 NEW BEST:: SOT 11062745 SOS 1098655 HAS SOPS 1098655 HAS SOUS 544001 HAS SOUPS 544001 WITH SCORE 545099.655
AT ITER 9180 NEW BEST:: SOT 11062430 SOS 1098025 HAS SOPS 1098025 HAS SOUS 543623 HAS SOUPS 543623 WITH SCORE 544721.025
AT ITER 9201 NEW BEST:: SOT 11062348 SOS 1097581 HAS SOPS 1097581 HAS SOUS 543403 HAS SOUPS 543403 WITH SCORE 544500.581
AT ITER 9354 NEW BEST:: SOT 11062348 SOS 1097533 HAS SOPS 1097533 HAS SOUS 543355 HAS SOUPS 543355 WITH SCORE 544452.533
AT ITER 9375 NEW BEST:: SOT 11062348 SOS 1097243 HAS SOPS 1097243 HAS SOUS 543297 HAS SOUPS 543297 WITH SCORE 544394.243
AT ITER 9384 NEW BEST:: SOT 11061923 SOS 1096733 HAS SOPS 1096733 HAS SOUS 542807 HAS SOUPS 542807 WITH SCORE 543903.733
AT ITER 9419 NEW BEST:: SOT 11061923 SOS 1096733 HAS SOPS 1096733 HAS SOUS 542734 HAS SOUPS 542734 WITH SCORE 543830.733
AT ITER 9435 NEW BEST:: SOT 11061923 SOS 1096733 HAS SOPS 1096733 HAS SOUS 542718 HAS SOUPS 542718 WITH SCORE 543814.733
AT ITER 9483 NEW BEST:: SOT 11061856 SOS 1096331 HAS SOPS 1096331 HAS SOUS 542584 HAS SOUPS 542584 WITH SCORE 543680.331
AT ITER 9527 NEW BEST:: SOT 11061836 SOS 1096211 HAS SOPS 1096211 HAS SOUS 542544 HAS SOUPS 542544 WITH SCORE 543640.211
AT ITER 9537 NEW BEST:: SOT 11061836 SOS 1096063 HAS SOPS 1096063 HAS SOUS 542544 HAS SOUPS 542544 WITH SCORE 543640.063
AT ITER 9676 NEW BEST:: SOT 11061776 SOS 1095713 HAS SOPS 1095713 HAS SOUS 542536 HAS SOUPS 542536 WITH SCORE 543631.713
AT ITER 9743 NEW BEST:: SOT 11061561 SOS 1095455 HAS SOPS 1095455 HAS SOUS 542278 HAS SOUPS 542278 WITH SCORE 543373.455
AT ITER 9745 NEW BEST:: SOT 11061543 SOS 1095437 HAS SOPS 1095437 HAS SOUS 542260 HAS SOUPS 542260 WITH SCORE 543355.437
AT ITER 9775 NEW BEST:: SOT 11061543 SOS 1095405 HAS SOPS 1095405 HAS SOUS 542228 HAS SOUPS 542228 WITH SCORE 543323.405
AT ITER 9805 NEW BEST:: SOT 11061543 SOS 1095405 HAS SOPS 1095405 HAS SOUS 542168 HAS SOUPS 542168 WITH SCORE 543263.405
AT ITER 9816 NEW BEST:: SOT 11061551 SOS 1095001 HAS SOPS 1095001 HAS SOUS 542100 HAS SOUPS 542100 WITH SCORE 543195.001
AT ITER 9871 NEW BEST:: SOT 11061504 SOS 1094967 HAS SOPS 1094967 HAS SOUS 541966 HAS SOUPS 541966 WITH SCORE 543060.967
AT ITER 9894 NEW BEST:: SOT 11061504 SOS 1094894 HAS SOPS 1094894 HAS SOUS 541893 HAS SOUPS 541893 WITH SCORE 542987.894
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 8728136 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16115404 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
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 StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
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="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is HexagonalGrid-PT-816, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r203-smll-167840349500424"
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 [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;