About the Execution of Smart+red for NoC3x3-PT-4B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5321.987 | 3600000.00 | 3623998.00 | 8561.80 | [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.r267-smll-167863541600288.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 NoC3x3-PT-4B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541600288
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 6.5K Feb 26 10:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 10:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 10:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 10:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 25 16:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 10:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 26 10:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 26 10:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 26 10:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 608K Mar 5 18:23 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 1678836176745
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=NoC3x3-PT-4B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 23:23:00] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 23:23:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 23:23:00] [INFO ] Load time of PNML (sax parser for PT used): 450 ms
[2023-03-14 23:23:00] [INFO ] Transformed 2328 places.
[2023-03-14 23:23:00] [INFO ] Transformed 2701 transitions.
[2023-03-14 23:23:00] [INFO ] Found NUPN structural information;
[2023-03-14 23:23:00] [INFO ] Parsed PT model containing 2328 places and 2701 transitions and 6091 arcs in 685 ms.
[2023-03-14 23:23:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2328 places, 2701 transitions and 6091 arcs took 37 ms.
Total runtime 802 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 4B
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: 2328 places, 2701 transitions, 6091 arcs.
AT ITER 0 NEW BEST:: SOT 3272806 SOS 300764 HAS SOPS 300764 HAS SOUS 271709 HAS SOUPS 271709 WITH SCORE 272009.764
AT ITER 22 NEW BEST:: SOT 3272805 SOS 300763 HAS SOPS 300763 HAS SOUS 271708 HAS SOUPS 271708 WITH SCORE 272008.763
AT ITER 59 NEW BEST:: SOT 3272682 SOS 300640 HAS SOPS 300640 HAS SOUS 271579 HAS SOUPS 271579 WITH SCORE 271879.64
AT ITER 110 NEW BEST:: SOT 3272307 SOS 300265 HAS SOPS 300265 HAS SOUS 271204 HAS SOUPS 271204 WITH SCORE 271504.265
AT ITER 115 NEW BEST:: SOT 3272276 SOS 300258 HAS SOPS 300258 HAS SOUS 271186 HAS SOUPS 271186 WITH SCORE 271486.258
AT ITER 166 NEW BEST:: SOT 3272226 SOS 300208 HAS SOPS 300208 HAS SOUS 271136 HAS SOUPS 271136 WITH SCORE 271436.208
AT ITER 181 NEW BEST:: SOT 3271980 SOS 300466 HAS SOPS 300466 HAS SOUS 271020 HAS SOUPS 271020 WITH SCORE 271320.466
AT ITER 197 NEW BEST:: SOT 3271980 SOS 300466 HAS SOPS 300466 HAS SOUS 270977 HAS SOUPS 270977 WITH SCORE 271277.466
AT ITER 252 NEW BEST:: SOT 3271545 SOS 300246 HAS SOPS 300246 HAS SOUS 270572 HAS SOUPS 270572 WITH SCORE 270872.246
AT ITER 283 NEW BEST:: SOT 3271440 SOS 300162 HAS SOPS 300162 HAS SOUS 270446 HAS SOUPS 270446 WITH SCORE 270746.162
AT ITER 284 NEW BEST:: SOT 3271439 SOS 300345 HAS SOPS 300345 HAS SOUS 270444 HAS SOUPS 270444 WITH SCORE 270744.345
AT ITER 305 NEW BEST:: SOT 3271357 SOS 300181 HAS SOPS 300181 HAS SOUS 270280 HAS SOUPS 270280 WITH SCORE 270580.181
AT ITER 319 NEW BEST:: SOT 3271282 SOS 300106 HAS SOPS 300106 HAS SOUS 270199 HAS SOUPS 270199 WITH SCORE 270499.106
AT ITER 321 NEW BEST:: SOT 3270712 SOS 299535 HAS SOPS 299535 HAS SOUS 269628 HAS SOUPS 269628 WITH SCORE 269927.535
AT ITER 365 NEW BEST:: SOT 3270366 SOS 299189 HAS SOPS 299189 HAS SOUS 269282 HAS SOUPS 269282 WITH SCORE 269581.189
AT ITER 384 NEW BEST:: SOT 3270366 SOS 299188 HAS SOPS 299188 HAS SOUS 269281 HAS SOUPS 269281 WITH SCORE 269580.188
AT ITER 386 NEW BEST:: SOT 3270230 SOS 299086 HAS SOPS 299086 HAS SOUS 269145 HAS SOUPS 269145 WITH SCORE 269444.086
AT ITER 420 NEW BEST:: SOT 3269959 SOS 299664 HAS SOPS 299664 HAS SOUS 268834 HAS SOUPS 268834 WITH SCORE 269133.664
AT ITER 443 NEW BEST:: SOT 3269429 SOS 299319 HAS SOPS 299319 HAS SOUS 268447 HAS SOUPS 268447 WITH SCORE 268746.319
AT ITER 456 NEW BEST:: SOT 3269428 SOS 299317 HAS SOPS 299317 HAS SOUS 268445 HAS SOUPS 268445 WITH SCORE 268744.317
AT ITER 494 NEW BEST:: SOT 3269286 SOS 299212 HAS SOPS 299212 HAS SOUS 268340 HAS SOUPS 268340 WITH SCORE 268639.212
AT ITER 580 NEW BEST:: SOT 3269266 SOS 299212 HAS SOPS 299212 HAS SOUS 268325 HAS SOUPS 268325 WITH SCORE 268624.212
AT ITER 585 NEW BEST:: SOT 3268154 SOS 298816 HAS SOPS 298816 HAS SOUS 267111 HAS SOUPS 267111 WITH SCORE 267409.816
AT ITER 695 NEW BEST:: SOT 3268137 SOS 298799 HAS SOPS 298799 HAS SOUS 267092 HAS SOUPS 267092 WITH SCORE 267390.799
AT ITER 720 NEW BEST:: SOT 3268199 SOS 298923 HAS SOPS 298923 HAS SOUS 267034 HAS SOUPS 267034 WITH SCORE 267332.923
AT ITER 755 NEW BEST:: SOT 3268180 SOS 298914 HAS SOPS 298914 HAS SOUS 267014 HAS SOUPS 267014 WITH SCORE 267312.914
AT ITER 761 NEW BEST:: SOT 3268180 SOS 298872 HAS SOPS 298872 HAS SOUS 266972 HAS SOUPS 266972 WITH SCORE 267270.872
AT ITER 799 NEW BEST:: SOT 3268129 SOS 298827 HAS SOPS 298827 HAS SOUS 266927 HAS SOUPS 266927 WITH SCORE 267225.827
AT ITER 803 NEW BEST:: SOT 3268026 SOS 298782 HAS SOPS 298782 HAS SOUS 266858 HAS SOUPS 266858 WITH SCORE 267156.782
AT ITER 833 NEW BEST:: SOT 3268026 SOS 298782 HAS SOPS 298782 HAS SOUS 266615 HAS SOUPS 266615 WITH SCORE 266913.782
AT ITER 934 NEW BEST:: SOT 3268025 SOS 298781 HAS SOPS 298781 HAS SOUS 266614 HAS SOUPS 266614 WITH SCORE 266912.781
AT ITER 1025 NEW BEST:: SOT 3267593 SOS 298337 HAS SOPS 298337 HAS SOUS 266182 HAS SOUPS 266182 WITH SCORE 266480.337
AT ITER 1101 NEW BEST:: SOT 3267592 SOS 298387 HAS SOPS 298387 HAS SOUS 266180 HAS SOUPS 266180 WITH SCORE 266478.387
AT ITER 1110 NEW BEST:: SOT 3267322 SOS 298133 HAS SOPS 298133 HAS SOUS 265910 HAS SOUPS 265910 WITH SCORE 266208.133
AT ITER 1158 NEW BEST:: SOT 3267322 SOS 298133 HAS SOPS 298133 HAS SOUS 265752 HAS SOUPS 265752 WITH SCORE 266050.133
AT ITER 1186 NEW BEST:: SOT 3266904 SOS 297951 HAS SOPS 297951 HAS SOUS 265508 HAS SOUPS 265508 WITH SCORE 265805.951
AT ITER 1238 NEW BEST:: SOT 3266904 SOS 298050 HAS SOPS 298050 HAS SOUS 265507 HAS SOUPS 265507 WITH SCORE 265805.05
AT ITER 1254 NEW BEST:: SOT 3266904 SOS 298050 HAS SOPS 298050 HAS SOUS 265503 HAS SOUPS 265503 WITH SCORE 265801.05
AT ITER 1280 NEW BEST:: SOT 3266886 SOS 298014 HAS SOPS 298014 HAS SOUS 265386 HAS SOUPS 265386 WITH SCORE 265684.014
AT ITER 1307 NEW BEST:: SOT 3266818 SOS 297878 HAS SOPS 297878 HAS SOUS 265351 HAS SOUPS 265351 WITH SCORE 265648.878
AT ITER 1343 NEW BEST:: SOT 3266797 SOS 297836 HAS SOPS 297836 HAS SOUS 265309 HAS SOUPS 265309 WITH SCORE 265606.836
AT ITER 1379 NEW BEST:: SOT 3266807 SOS 297826 HAS SOPS 297826 HAS SOUS 265309 HAS SOUPS 265309 WITH SCORE 265606.826
AT ITER 1393 NEW BEST:: SOT 3266656 SOS 297675 HAS SOPS 297675 HAS SOUS 265158 HAS SOUPS 265158 WITH SCORE 265455.675
AT ITER 1406 NEW BEST:: SOT 3266119 SOS 297204 HAS SOPS 297204 HAS SOUS 264700 HAS SOUPS 264700 WITH SCORE 264997.204
AT ITER 1551 NEW BEST:: SOT 3266089 SOS 297174 HAS SOPS 297174 HAS SOUS 264670 HAS SOUPS 264670 WITH SCORE 264967.174
AT ITER 1619 NEW BEST:: SOT 3265313 SOS 297422 HAS SOPS 297422 HAS SOUS 264273 HAS SOUPS 264273 WITH SCORE 264570.422
AT ITER 1661 NEW BEST:: SOT 3265313 SOS 297422 HAS SOPS 297422 HAS SOUS 264261 HAS SOUPS 264261 WITH SCORE 264558.422
AT ITER 1677 NEW BEST:: SOT 3265258 SOS 297492 HAS SOPS 297492 HAS SOUS 264249 HAS SOUPS 264249 WITH SCORE 264546.492
AT ITER 1738 NEW BEST:: SOT 3265257 SOS 297490 HAS SOPS 297490 HAS SOUS 264247 HAS SOUPS 264247 WITH SCORE 264544.49
AT ITER 1837 NEW BEST:: SOT 3265251 SOS 297472 HAS SOPS 297472 HAS SOUS 264235 HAS SOUPS 264235 WITH SCORE 264532.472
AT ITER 1869 NEW BEST:: SOT 3264814 SOS 297883 HAS SOPS 297883 HAS SOUS 263892 HAS SOUPS 263892 WITH SCORE 264189.883
AT ITER 1894 NEW BEST:: SOT 3264781 SOS 297911 HAS SOPS 297911 HAS SOUS 263859 HAS SOUPS 263859 WITH SCORE 264156.911
AT ITER 1982 NEW BEST:: SOT 3264760 SOS 297916 HAS SOPS 297916 HAS SOUS 263837 HAS SOUPS 263837 WITH SCORE 264134.916
AT ITER 2106 NEW BEST:: SOT 3264614 SOS 297827 HAS SOPS 297827 HAS SOUS 263748 HAS SOUPS 263748 WITH SCORE 264045.827
AT ITER 2141 NEW BEST:: SOT 3264331 SOS 297544 HAS SOPS 297544 HAS SOUS 263465 HAS SOUPS 263465 WITH SCORE 263762.544
AT ITER 2181 NEW BEST:: SOT 3264389 SOS 297543 HAS SOPS 297543 HAS SOUS 263463 HAS SOUPS 263463 WITH SCORE 263760.543
AT ITER 2209 NEW BEST:: SOT 3264389 SOS 297523 HAS SOPS 297523 HAS SOUS 263443 HAS SOUPS 263443 WITH SCORE 263740.523
AT ITER 2216 NEW BEST:: SOT 3264285 SOS 297417 HAS SOPS 297417 HAS SOUS 263338 HAS SOUPS 263338 WITH SCORE 263635.417
AT ITER 2269 NEW BEST:: SOT 3264251 SOS 297425 HAS SOPS 297425 HAS SOUS 263304 HAS SOUPS 263304 WITH SCORE 263601.425
AT ITER 2294 NEW BEST:: SOT 3263981 SOS 297155 HAS SOPS 297155 HAS SOUS 263034 HAS SOUPS 263034 WITH SCORE 263331.155
AT ITER 2426 NEW BEST:: SOT 3263894 SOS 297100 HAS SOPS 297100 HAS SOUS 262979 HAS SOUPS 262979 WITH SCORE 263276.1
AT ITER 2473 NEW BEST:: SOT 3263622 SOS 297096 HAS SOPS 297096 HAS SOUS 262735 HAS SOUPS 262735 WITH SCORE 263032.096
AT ITER 2508 NEW BEST:: SOT 3263612 SOS 297073 HAS SOPS 297073 HAS SOUS 262714 HAS SOUPS 262714 WITH SCORE 263011.073
AT ITER 2550 NEW BEST:: SOT 3263562 SOS 296973 HAS SOPS 296973 HAS SOUS 262697 HAS SOUPS 262697 WITH SCORE 262993.973
AT ITER 2555 NEW BEST:: SOT 3263562 SOS 296973 HAS SOPS 296973 HAS SOUS 262667 HAS SOUPS 262667 WITH SCORE 262963.973
AT ITER 2705 NEW BEST:: SOT 3263379 SOS 296790 HAS SOPS 296790 HAS SOUS 262364 HAS SOUPS 262364 WITH SCORE 262660.79
AT ITER 2726 NEW BEST:: SOT 3263272 SOS 296772 HAS SOPS 296772 HAS SOUS 262344 HAS SOUPS 262344 WITH SCORE 262640.772
AT ITER 2749 NEW BEST:: SOT 3263272 SOS 296771 HAS SOPS 296771 HAS SOUS 262343 HAS SOUPS 262343 WITH SCORE 262639.771
AT ITER 2758 NEW BEST:: SOT 3263223 SOS 296673 HAS SOPS 296673 HAS SOUS 262273 HAS SOUPS 262273 WITH SCORE 262569.673
AT ITER 2762 NEW BEST:: SOT 3263223 SOS 296673 HAS SOPS 296673 HAS SOUS 262272 HAS SOUPS 262272 WITH SCORE 262568.673
AT ITER 2771 NEW BEST:: SOT 3263227 SOS 296681 HAS SOPS 296681 HAS SOUS 262018 HAS SOUPS 262018 WITH SCORE 262314.681
AT ITER 2777 NEW BEST:: SOT 3262846 SOS 296305 HAS SOPS 296305 HAS SOUS 261637 HAS SOUPS 261637 WITH SCORE 261933.305
AT ITER 2810 NEW BEST:: SOT 3262846 SOS 296305 HAS SOPS 296305 HAS SOUS 261587 HAS SOUPS 261587 WITH SCORE 261883.305
AT ITER 2831 NEW BEST:: SOT 3262912 SOS 296437 HAS SOPS 296437 HAS SOUS 261562 HAS SOUPS 261562 WITH SCORE 261858.437
AT ITER 2845 NEW BEST:: SOT 3262659 SOS 296414 HAS SOPS 296414 HAS SOUS 261148 HAS SOUPS 261148 WITH SCORE 261444.414
AT ITER 2968 NEW BEST:: SOT 3262389 SOS 296115 HAS SOPS 296115 HAS SOUS 260851 HAS SOUPS 260851 WITH SCORE 261147.115
AT ITER 3061 NEW BEST:: SOT 3262392 SOS 296084 HAS SOPS 296084 HAS SOUS 260816 HAS SOUPS 260816 WITH SCORE 261112.084
AT ITER 3073 NEW BEST:: SOT 3262325 SOS 296102 HAS SOPS 296102 HAS SOUS 260775 HAS SOUPS 260775 WITH SCORE 261071.102
AT ITER 3110 NEW BEST:: SOT 3262306 SOS 296083 HAS SOPS 296083 HAS SOUS 260752 HAS SOUPS 260752 WITH SCORE 261048.083
AT ITER 3144 NEW BEST:: SOT 3261998 SOS 295852 HAS SOPS 295852 HAS SOUS 260444 HAS SOUPS 260444 WITH SCORE 260739.852
AT ITER 3192 NEW BEST:: SOT 3261722 SOS 295908 HAS SOPS 295908 HAS SOUS 260275 HAS SOUPS 260275 WITH SCORE 260570.908
AT ITER 3197 NEW BEST:: SOT 3261715 SOS 295910 HAS SOPS 295910 HAS SOUS 260262 HAS SOUPS 260262 WITH SCORE 260557.91
AT ITER 3198 NEW BEST:: SOT 3261715 SOS 295909 HAS SOPS 295909 HAS SOUS 260261 HAS SOUPS 260261 WITH SCORE 260556.909
AT ITER 3202 NEW BEST:: SOT 3261750 SOS 295899 HAS SOPS 295899 HAS SOUS 260251 HAS SOUPS 260251 WITH SCORE 260546.899
AT ITER 3263 NEW BEST:: SOT 3261519 SOS 295997 HAS SOPS 295997 HAS SOUS 259963 HAS SOUPS 259963 WITH SCORE 260258.997
AT ITER 3272 NEW BEST:: SOT 3261514 SOS 295987 HAS SOPS 295987 HAS SOUS 259953 HAS SOUPS 259953 WITH SCORE 260248.987
AT ITER 3280 NEW BEST:: SOT 3261514 SOS 295892 HAS SOPS 295892 HAS SOUS 259951 HAS SOUPS 259951 WITH SCORE 260246.892
AT ITER 3319 NEW BEST:: SOT 3261456 SOS 295840 HAS SOPS 295840 HAS SOUS 259876 HAS SOUPS 259876 WITH SCORE 260171.84
AT ITER 3328 NEW BEST:: SOT 3261420 SOS 295804 HAS SOPS 295804 HAS SOUS 259876 HAS SOUPS 259876 WITH SCORE 260171.804
AT ITER 3330 NEW BEST:: SOT 3261409 SOS 295757 HAS SOPS 295757 HAS SOUS 259840 HAS SOUPS 259840 WITH SCORE 260135.757
AT ITER 3431 NEW BEST:: SOT 3261409 SOS 295756 HAS SOPS 295756 HAS SOUS 259840 HAS SOUPS 259840 WITH SCORE 260135.756
AT ITER 3441 NEW BEST:: SOT 3261385 SOS 295745 HAS SOPS 295745 HAS SOUS 259829 HAS SOUPS 259829 WITH SCORE 260124.745
AT ITER 3477 NEW BEST:: SOT 3261385 SOS 295726 HAS SOPS 295726 HAS SOUS 259810 HAS SOUPS 259810 WITH SCORE 260105.726
AT ITER 3568 NEW BEST:: SOT 3261316 SOS 295657 HAS SOPS 295657 HAS SOUS 259741 HAS SOUPS 259741 WITH SCORE 260036.657
AT ITER 3610 NEW BEST:: SOT 3261255 SOS 295383 HAS SOPS 295383 HAS SOUS 259618 HAS SOUPS 259618 WITH SCORE 259913.383
AT ITER 3614 NEW BEST:: SOT 3261191 SOS 295287 HAS SOPS 295287 HAS SOUS 259551 HAS SOUPS 259551 WITH SCORE 259846.287
AT ITER 3628 NEW BEST:: SOT 3261045 SOS 294770 HAS SOPS 294770 HAS SOUS 259180 HAS SOUPS 259180 WITH SCORE 259474.77
AT ITER 3637 NEW BEST:: SOT 3260921 SOS 294646 HAS SOPS 294646 HAS SOUS 259056 HAS SOUPS 259056 WITH SCORE 259350.646
AT ITER 3667 NEW BEST:: SOT 3260921 SOS 294540 HAS SOPS 294540 HAS SOUS 259003 HAS SOUPS 259003 WITH SCORE 259297.54
AT ITER 3711 NEW BEST:: SOT 3260680 SOS 294959 HAS SOPS 294959 HAS SOUS 258963 HAS SOUPS 258963 WITH SCORE 259257.959
AT ITER 3720 NEW BEST:: SOT 3260447 SOS 294763 HAS SOPS 294763 HAS SOUS 258752 HAS SOUPS 258752 WITH SCORE 259046.763
AT ITER 3736 NEW BEST:: SOT 3260447 SOS 294493 HAS SOPS 294493 HAS SOUS 258752 HAS SOUPS 258752 WITH SCORE 259046.493
AT ITER 3773 NEW BEST:: SOT 3260427 SOS 294493 HAS SOPS 294493 HAS SOUS 258732 HAS SOUPS 258732 WITH SCORE 259026.493
AT ITER 3788 NEW BEST:: SOT 3260327 SOS 294293 HAS SOPS 294293 HAS SOUS 258532 HAS SOUPS 258532 WITH SCORE 258826.293
AT ITER 3790 NEW BEST:: SOT 3260309 SOS 294257 HAS SOPS 294257 HAS SOUS 258496 HAS SOUPS 258496 WITH SCORE 258790.257
AT ITER 3847 NEW BEST:: SOT 3260276 SOS 294224 HAS SOPS 294224 HAS SOUS 258463 HAS SOUPS 258463 WITH SCORE 258757.224
AT ITER 3867 NEW BEST:: SOT 3260070 SOS 293929 HAS SOPS 293929 HAS SOUS 258140 HAS SOUPS 258140 WITH SCORE 258433.929
AT ITER 3880 NEW BEST:: SOT 3260070 SOS 294603 HAS SOPS 294603 HAS SOUS 258094 HAS SOUPS 258094 WITH SCORE 258388.603
AT ITER 3889 NEW BEST:: SOT 3259907 SOS 294468 HAS SOPS 294468 HAS SOUS 257963 HAS SOUPS 257963 WITH SCORE 258257.468
AT ITER 3911 NEW BEST:: SOT 3260049 SOS 294752 HAS SOPS 294752 HAS SOUS 257962 HAS SOUPS 257962 WITH SCORE 258256.752
AT ITER 3913 NEW BEST:: SOT 3259915 SOS 295019 HAS SOPS 295019 HAS SOUS 257934 HAS SOUPS 257934 WITH SCORE 258229.019
AT ITER 3942 NEW BEST:: SOT 3259391 SOS 295519 HAS SOPS 295519 HAS SOUS 257666 HAS SOUPS 257666 WITH SCORE 257961.519
AT ITER 3946 NEW BEST:: SOT 3259440 SOS 295617 HAS SOPS 295617 HAS SOUS 257619 HAS SOUPS 257619 WITH SCORE 257914.617
AT ITER 3950 NEW BEST:: SOT 3259452 SOS 295629 HAS SOPS 295629 HAS SOUS 257603 HAS SOUPS 257603 WITH SCORE 257898.629
AT ITER 4038 NEW BEST:: SOT 3259349 SOS 295617 HAS SOPS 295617 HAS SOUS 257500 HAS SOUPS 257500 WITH SCORE 257795.617
AT ITER 4061 NEW BEST:: SOT 3259250 SOS 295299 HAS SOPS 295299 HAS SOUS 257401 HAS SOUPS 257401 WITH SCORE 257696.299
AT ITER 4143 NEW BEST:: SOT 3259249 SOS 295258 HAS SOPS 295258 HAS SOUS 257399 HAS SOUPS 257399 WITH SCORE 257694.258
AT ITER 4183 NEW BEST:: SOT 3259141 SOS 295114 HAS SOPS 295114 HAS SOUS 257255 HAS SOUPS 257255 WITH SCORE 257550.114
AT ITER 4207 NEW BEST:: SOT 3259141 SOS 295107 HAS SOPS 295107 HAS SOUS 257248 HAS SOUPS 257248 WITH SCORE 257543.107
AT ITER 4261 NEW BEST:: SOT 3259083 SOS 295049 HAS SOPS 295049 HAS SOUS 257190 HAS SOUPS 257190 WITH SCORE 257485.049
AT ITER 4269 NEW BEST:: SOT 3259032 SOS 295002 HAS SOPS 295002 HAS SOUS 257138 HAS SOUPS 257138 WITH SCORE 257433.002
AT ITER 4360 NEW BEST:: SOT 3259004 SOS 294946 HAS SOPS 294946 HAS SOUS 257110 HAS SOUPS 257110 WITH SCORE 257404.946
AT ITER 4393 NEW BEST:: SOT 3258925 SOS 295189 HAS SOPS 295189 HAS SOUS 257097 HAS SOUPS 257097 WITH SCORE 257392.189
AT ITER 4418 NEW BEST:: SOT 3258857 SOS 295465 HAS SOPS 295465 HAS SOUS 257072 HAS SOUPS 257072 WITH SCORE 257367.465
AT ITER 4435 NEW BEST:: SOT 3258857 SOS 295425 HAS SOPS 295425 HAS SOUS 257032 HAS SOUPS 257032 WITH SCORE 257327.425
AT ITER 4438 NEW BEST:: SOT 3258588 SOS 295222 HAS SOPS 295222 HAS SOUS 256762 HAS SOUPS 256762 WITH SCORE 257057.222
AT ITER 4499 NEW BEST:: SOT 3258508 SOS 295183 HAS SOPS 295183 HAS SOUS 256716 HAS SOUPS 256716 WITH SCORE 257011.183
AT ITER 4521 NEW BEST:: SOT 3258517 SOS 295765 HAS SOPS 295765 HAS SOUS 256705 HAS SOUPS 256705 WITH SCORE 257000.765
AT ITER 4603 NEW BEST:: SOT 3258517 SOS 295759 HAS SOPS 295759 HAS SOUS 256705 HAS SOUPS 256705 WITH SCORE 257000.759
AT ITER 4635 NEW BEST:: SOT 3258517 SOS 295741 HAS SOPS 295741 HAS SOUS 256687 HAS SOUPS 256687 WITH SCORE 256982.741
AT ITER 4642 NEW BEST:: SOT 3258372 SOS 295835 HAS SOPS 295835 HAS SOUS 256550 HAS SOUPS 256550 WITH SCORE 256845.835
AT ITER 4667 NEW BEST:: SOT 3258365 SOS 295802 HAS SOPS 295802 HAS SOUS 256531 HAS SOUPS 256531 WITH SCORE 256826.802
AT ITER 4696 NEW BEST:: SOT 3258346 SOS 295761 HAS SOPS 295761 HAS SOUS 256500 HAS SOUPS 256500 WITH SCORE 256795.761
AT ITER 4704 NEW BEST:: SOT 3258326 SOS 295746 HAS SOPS 295746 HAS SOUS 256480 HAS SOUPS 256480 WITH SCORE 256775.746
AT ITER 4774 NEW BEST:: SOT 3258245 SOS 295584 HAS SOPS 295584 HAS SOUS 256399 HAS SOUPS 256399 WITH SCORE 256694.584
AT ITER 4783 NEW BEST:: SOT 3258136 SOS 296161 HAS SOPS 296161 HAS SOUS 256389 HAS SOUPS 256389 WITH SCORE 256685.161
AT ITER 4786 NEW BEST:: SOT 3258135 SOS 296159 HAS SOPS 296159 HAS SOUS 256387 HAS SOUPS 256387 WITH SCORE 256683.159
AT ITER 4813 NEW BEST:: SOT 3258135 SOS 296159 HAS SOPS 296159 HAS SOUS 256386 HAS SOUPS 256386 WITH SCORE 256682.159
AT ITER 4837 NEW BEST:: SOT 3258135 SOS 296158 HAS SOPS 296158 HAS SOUS 256385 HAS SOUPS 256385 WITH SCORE 256681.158
AT ITER 4844 NEW BEST:: SOT 3258131 SOS 296148 HAS SOPS 296148 HAS SOUS 256381 HAS SOUPS 256381 WITH SCORE 256677.148
AT ITER 4898 NEW BEST:: SOT 3258130 SOS 296146 HAS SOPS 296146 HAS SOUS 256379 HAS SOUPS 256379 WITH SCORE 256675.146
AT ITER 4900 NEW BEST:: SOT 3257915 SOS 296011 HAS SOPS 296011 HAS SOUS 256166 HAS SOUPS 256166 WITH SCORE 256462.011
AT ITER 4906 NEW BEST:: SOT 3257828 SOS 296010 HAS SOPS 296010 HAS SOUS 256165 HAS SOUPS 256165 WITH SCORE 256461.01
AT ITER 4983 NEW BEST:: SOT 3257440 SOS 295234 HAS SOPS 295234 HAS SOUS 255743 HAS SOUPS 255743 WITH SCORE 256038.234
AT ITER 4984 NEW BEST:: SOT 3257439 SOS 295232 HAS SOPS 295232 HAS SOUS 255741 HAS SOUPS 255741 WITH SCORE 256036.232
AT ITER 4986 NEW BEST:: SOT 3257434 SOS 295000 HAS SOPS 295000 HAS SOUS 255687 HAS SOUPS 255687 WITH SCORE 255982.0
AT ITER 5018 NEW BEST:: SOT 3257414 SOS 294979 HAS SOPS 294979 HAS SOUS 255686 HAS SOUPS 255686 WITH SCORE 255980.979
AT ITER 5057 NEW BEST:: SOT 3257404 SOS 294969 HAS SOPS 294969 HAS SOUS 255676 HAS SOUPS 255676 WITH SCORE 255970.969
AT ITER 5094 NEW BEST:: SOT 3257404 SOS 294907 HAS SOPS 294907 HAS SOUS 255676 HAS SOUPS 255676 WITH SCORE 255970.907
AT ITER 5097 NEW BEST:: SOT 3257404 SOS 294906 HAS SOPS 294906 HAS SOUS 255675 HAS SOUPS 255675 WITH SCORE 255969.906
AT ITER 5100 NEW BEST:: SOT 3257413 SOS 294889 HAS SOPS 294889 HAS SOUS 255616 HAS SOUPS 255616 WITH SCORE 255910.889
AT ITER 5122 NEW BEST:: SOT 3257353 SOS 294840 HAS SOPS 294840 HAS SOUS 255496 HAS SOUPS 255496 WITH SCORE 255790.84
AT ITER 5166 NEW BEST:: SOT 3257353 SOS 294765 HAS SOPS 294765 HAS SOUS 255421 HAS SOUPS 255421 WITH SCORE 255715.765
AT ITER 5196 NEW BEST:: SOT 3257283 SOS 295687 HAS SOPS 295687 HAS SOUS 255308 HAS SOUPS 255308 WITH SCORE 255603.687
AT ITER 5207 NEW BEST:: SOT 3257245 SOS 295611 HAS SOPS 295611 HAS SOUS 255232 HAS SOUPS 255232 WITH SCORE 255527.611
AT ITER 5364 NEW BEST:: SOT 3257118 SOS 295484 HAS SOPS 295484 HAS SOUS 255105 HAS SOUPS 255105 WITH SCORE 255400.484
AT ITER 5396 NEW BEST:: SOT 3257084 SOS 295416 HAS SOPS 295416 HAS SOUS 255037 HAS SOUPS 255037 WITH SCORE 255332.416
AT ITER 5398 NEW BEST:: SOT 3257083 SOS 295414 HAS SOPS 295414 HAS SOUS 255035 HAS SOUPS 255035 WITH SCORE 255330.414
AT ITER 5468 NEW BEST:: SOT 3257083 SOS 295411 HAS SOPS 295411 HAS SOUS 255035 HAS SOUPS 255035 WITH SCORE 255330.411
AT ITER 5525 NEW BEST:: SOT 3257082 SOS 295409 HAS SOPS 295409 HAS SOUS 255033 HAS SOUPS 255033 WITH SCORE 255328.409
AT ITER 5553 NEW BEST:: SOT 3256989 SOS 295316 HAS SOPS 295316 HAS SOUS 254940 HAS SOUPS 254940 WITH SCORE 255235.316
AT ITER 5623 NEW BEST:: SOT 3256989 SOS 295185 HAS SOPS 295185 HAS SOUS 254809 HAS SOUPS 254809 WITH SCORE 255104.185
AT ITER 5688 NEW BEST:: SOT 3256977 SOS 295173 HAS SOPS 295173 HAS SOUS 254809 HAS SOUPS 254809 WITH SCORE 255104.173
AT ITER 5708 NEW BEST:: SOT 3256917 SOS 295113 HAS SOPS 295113 HAS SOUS 254809 HAS SOUPS 254809 WITH SCORE 255104.113
AT ITER 5734 NEW BEST:: SOT 3256897 SOS 295093 HAS SOPS 295093 HAS SOUS 254789 HAS SOUPS 254789 WITH SCORE 255084.093
AT ITER 5885 NEW BEST:: SOT 3256655 SOS 295140 HAS SOPS 295140 HAS SOUS 254548 HAS SOUPS 254548 WITH SCORE 254843.14
AT ITER 5899 NEW BEST:: SOT 3256572 SOS 295057 HAS SOPS 295057 HAS SOUS 254546 HAS SOUPS 254546 WITH SCORE 254841.057
AT ITER 5941 NEW BEST:: SOT 3256303 SOS 295596 HAS SOPS 295596 HAS SOUS 254387 HAS SOUPS 254387 WITH SCORE 254682.596
AT ITER 5962 NEW BEST:: SOT 3256316 SOS 295596 HAS SOPS 295596 HAS SOUS 254374 HAS SOUPS 254374 WITH SCORE 254669.596
AT ITER 5981 NEW BEST:: SOT 3256253 SOS 295534 HAS SOPS 295534 HAS SOUS 254311 HAS SOUPS 254311 WITH SCORE 254606.534
AT ITER 5993 NEW BEST:: SOT 3256253 SOS 295531 HAS SOPS 295531 HAS SOUS 254308 HAS SOUPS 254308 WITH SCORE 254603.531
AT ITER 6047 NEW BEST:: SOT 3256234 SOS 295511 HAS SOPS 295511 HAS SOUS 254288 HAS SOUPS 254288 WITH SCORE 254583.511
AT ITER 6055 NEW BEST:: SOT 3256195 SOS 295480 HAS SOPS 295480 HAS SOUS 254249 HAS SOUPS 254249 WITH SCORE 254544.48
AT ITER 6114 NEW BEST:: SOT 3255932 SOS 295974 HAS SOPS 295974 HAS SOUS 254019 HAS SOUPS 254019 WITH SCORE 254314.974
AT ITER 6119 NEW BEST:: SOT 3255932 SOS 296014 HAS SOPS 296014 HAS SOUS 253984 HAS SOUPS 253984 WITH SCORE 254280.014
AT ITER 6125 NEW BEST:: SOT 3255878 SOS 295906 HAS SOPS 295906 HAS SOUS 253876 HAS SOUPS 253876 WITH SCORE 254171.906
AT ITER 6127 NEW BEST:: SOT 3255728 SOS 295770 HAS SOPS 295770 HAS SOUS 253723 HAS SOUPS 253723 WITH SCORE 254018.77
AT ITER 6132 NEW BEST:: SOT 3255737 SOS 295762 HAS SOPS 295762 HAS SOUS 253719 HAS SOUPS 253719 WITH SCORE 254014.762
AT ITER 6147 NEW BEST:: SOT 3255733 SOS 295754 HAS SOPS 295754 HAS SOUS 253715 HAS SOUPS 253715 WITH SCORE 254010.754
AT ITER 6151 NEW BEST:: SOT 3255671 SOS 295692 HAS SOPS 295692 HAS SOUS 253591 HAS SOUPS 253591 WITH SCORE 253886.692
AT ITER 6157 NEW BEST:: SOT 3255652 SOS 295673 HAS SOPS 295673 HAS SOUS 253572 HAS SOUPS 253572 WITH SCORE 253867.673
AT ITER 6236 NEW BEST:: SOT 3255600 SOS 295649 HAS SOPS 295649 HAS SOUS 253485 HAS SOUPS 253485 WITH SCORE 253780.649
AT ITER 6335 NEW BEST:: SOT 3255546 SOS 295541 HAS SOPS 295541 HAS SOUS 253150 HAS SOUPS 253150 WITH SCORE 253445.541
AT ITER 6431 NEW BEST:: SOT 3255440 SOS 295435 HAS SOPS 295435 HAS SOUS 253044 HAS SOUPS 253044 WITH SCORE 253339.435
AT ITER 6436 NEW BEST:: SOT 3255469 SOS 295476 HAS SOPS 295476 HAS SOUS 253029 HAS SOUPS 253029 WITH SCORE 253324.476
AT ITER 6473 NEW BEST:: SOT 3255083 SOS 295099 HAS SOPS 295099 HAS SOUS 252567 HAS SOUPS 252567 WITH SCORE 252862.099
AT ITER 6488 NEW BEST:: SOT 3255083 SOS 295084 HAS SOPS 295084 HAS SOUS 252567 HAS SOUPS 252567 WITH SCORE 252862.084
AT ITER 6490 NEW BEST:: SOT 3254607 SOS 295015 HAS SOPS 295015 HAS SOUS 252141 HAS SOUPS 252141 WITH SCORE 252436.015
AT ITER 6518 NEW BEST:: SOT 3254606 SOS 295014 HAS SOPS 295014 HAS SOUS 252049 HAS SOUPS 252049 WITH SCORE 252344.014
AT ITER 6541 NEW BEST:: SOT 3254502 SOS 294797 HAS SOPS 294797 HAS SOUS 251832 HAS SOUPS 251832 WITH SCORE 252126.797
AT ITER 6661 NEW BEST:: SOT 3254502 SOS 294772 HAS SOPS 294772 HAS SOUS 251807 HAS SOUPS 251807 WITH SCORE 252101.772
AT ITER 6686 NEW BEST:: SOT 3254472 SOS 294742 HAS SOPS 294742 HAS SOUS 251777 HAS SOUPS 251777 WITH SCORE 252071.742
AT ITER 6737 NEW BEST:: SOT 3254458 SOS 294728 HAS SOPS 294728 HAS SOUS 251763 HAS SOUPS 251763 WITH SCORE 252057.728
AT ITER 6738 NEW BEST:: SOT 3254515 SOS 294824 HAS SOPS 294824 HAS SOUS 251761 HAS SOUPS 251761 WITH SCORE 252055.824
AT ITER 6849 NEW BEST:: SOT 3253953 SOS 294450 HAS SOPS 294450 HAS SOUS 251239 HAS SOUPS 251239 WITH SCORE 251533.45
AT ITER 6881 NEW BEST:: SOT 3253953 SOS 294409 HAS SOPS 294409 HAS SOUS 251198 HAS SOUPS 251198 WITH SCORE 251492.409
AT ITER 6884 NEW BEST:: SOT 3253953 SOS 294456 HAS SOPS 294456 HAS SOUS 251144 HAS SOUPS 251144 WITH SCORE 251438.456
AT ITER 6941 NEW BEST:: SOT 3253919 SOS 294434 HAS SOPS 294434 HAS SOUS 251126 HAS SOUPS 251126 WITH SCORE 251420.434
AT ITER 6947 NEW BEST:: SOT 3253918 SOS 294432 HAS SOPS 294432 HAS SOUS 251124 HAS SOUPS 251124 WITH SCORE 251418.432
AT ITER 6989 NEW BEST:: SOT 3253894 SOS 294268 HAS SOPS 294268 HAS SOUS 251105 HAS SOUPS 251105 WITH SCORE 251399.268
AT ITER 7036 NEW BEST:: SOT 3253841 SOS 294162 HAS SOPS 294162 HAS SOUS 251052 HAS SOUPS 251052 WITH SCORE 251346.162
AT ITER 7051 NEW BEST:: SOT 3253808 SOS 294030 HAS SOPS 294030 HAS SOUS 250986 HAS SOUPS 250986 WITH SCORE 251280.03
AT ITER 7080 NEW BEST:: SOT 3253544 SOS 293832 HAS SOPS 293832 HAS SOUS 250788 HAS SOUPS 250788 WITH SCORE 251081.832
AT ITER 7099 NEW BEST:: SOT 3253410 SOS 293616 HAS SOPS 293616 HAS SOUS 250558 HAS SOUPS 250558 WITH SCORE 250851.616
AT ITER 7101 NEW BEST:: SOT 3253331 SOS 293620 HAS SOPS 293620 HAS SOUS 250521 HAS SOUPS 250521 WITH SCORE 250814.62
AT ITER 7113 NEW BEST:: SOT 3252983 SOS 293359 HAS SOPS 293359 HAS SOUS 250173 HAS SOUPS 250173 WITH SCORE 250466.359
AT ITER 7155 NEW BEST:: SOT 3252939 SOS 293270 HAS SOPS 293270 HAS SOUS 250167 HAS SOUPS 250167 WITH SCORE 250460.27
AT ITER 7274 NEW BEST:: SOT 3252779 SOS 293146 HAS SOPS 293146 HAS SOUS 250049 HAS SOUPS 250049 WITH SCORE 250342.146
AT ITER 7383 NEW BEST:: SOT 3252797 SOS 293182 HAS SOPS 293182 HAS SOUS 249986 HAS SOUPS 249986 WITH SCORE 250279.182
AT ITER 7416 NEW BEST:: SOT 3251837 SOS 292952 HAS SOPS 292952 HAS SOUS 249076 HAS SOUPS 249076 WITH SCORE 249368.952
AT ITER 7489 NEW BEST:: SOT 3251792 SOS 292907 HAS SOPS 292907 HAS SOUS 249027 HAS SOUPS 249027 WITH SCORE 249319.907
AT ITER 7522 NEW BEST:: SOT 3251787 SOS 292897 HAS SOPS 292897 HAS SOUS 249017 HAS SOUPS 249017 WITH SCORE 249309.897
AT ITER 7553 NEW BEST:: SOT 3251905 SOS 292863 HAS SOPS 292863 HAS SOUS 249015 HAS SOUPS 249015 WITH SCORE 249307.863
AT ITER 7634 NEW BEST:: SOT 3251775 SOS 292863 HAS SOPS 292863 HAS SOUS 248885 HAS SOUPS 248885 WITH SCORE 249177.863
AT ITER 7698 NEW BEST:: SOT 3251756 SOS 292849 HAS SOPS 292849 HAS SOUS 248871 HAS SOUPS 248871 WITH SCORE 249163.849
AT ITER 7700 NEW BEST:: SOT 3251756 SOS 292881 HAS SOPS 292881 HAS SOUS 248870 HAS SOUPS 248870 WITH SCORE 249162.881
AT ITER 7725 NEW BEST:: SOT 3251756 SOS 292796 HAS SOPS 292796 HAS SOUS 248870 HAS SOUPS 248870 WITH SCORE 249162.796
AT ITER 7806 NEW BEST:: SOT 3251737 SOS 292778 HAS SOPS 292778 HAS SOUS 248851 HAS SOUPS 248851 WITH SCORE 249143.778
AT ITER 7890 NEW BEST:: SOT 3251658 SOS 292607 HAS SOPS 292607 HAS SOUS 248759 HAS SOUPS 248759 WITH SCORE 249051.607
AT ITER 7982 NEW BEST:: SOT 3251578 SOS 292619 HAS SOPS 292619 HAS SOUS 248709 HAS SOUPS 248709 WITH SCORE 249001.619
AT ITER 8004 NEW BEST:: SOT 3251578 SOS 292789 HAS SOPS 292789 HAS SOUS 248708 HAS SOUPS 248708 WITH SCORE 249000.789
AT ITER 8216 NEW BEST:: SOT 3251539 SOS 292762 HAS SOPS 292762 HAS SOUS 248681 HAS SOUPS 248681 WITH SCORE 248973.762
AT ITER 8225 NEW BEST:: SOT 3251492 SOS 292733 HAS SOPS 292733 HAS SOUS 248634 HAS SOUPS 248634 WITH SCORE 248926.733
AT ITER 8237 NEW BEST:: SOT 3251394 SOS 292635 HAS SOPS 292635 HAS SOUS 248536 HAS SOUPS 248536 WITH SCORE 248828.635
AT ITER 8274 NEW BEST:: SOT 3251338 SOS 292603 HAS SOPS 292603 HAS SOUS 248516 HAS SOUPS 248516 WITH SCORE 248808.603
AT ITER 8285 NEW BEST:: SOT 3251338 SOS 292540 HAS SOPS 292540 HAS SOUS 248453 HAS SOUPS 248453 WITH SCORE 248745.54
AT ITER 8605 NEW BEST:: SOT 3251151 SOS 292700 HAS SOPS 292700 HAS SOUS 248403 HAS SOUPS 248403 WITH SCORE 248695.7
AT ITER 8649 NEW BEST:: SOT 3251150 SOS 292698 HAS SOPS 292698 HAS SOUS 248401 HAS SOUPS 248401 WITH SCORE 248693.698
AT ITER 8660 NEW BEST:: SOT 3251150 SOS 292644 HAS SOPS 292644 HAS SOUS 248374 HAS SOUPS 248374 WITH SCORE 248666.644
AT ITER 8682 NEW BEST:: SOT 3251038 SOS 292955 HAS SOPS 292955 HAS SOUS 248006 HAS SOUPS 248006 WITH SCORE 248298.955
AT ITER 8720 NEW BEST:: SOT 3251037 SOS 292935 HAS SOPS 292935 HAS SOUS 247986 HAS SOUPS 247986 WITH SCORE 248278.935
AT ITER 8771 NEW BEST:: SOT 3251036 SOS 292933 HAS SOPS 292933 HAS SOUS 247986 HAS SOUPS 247986 WITH SCORE 248278.933
AT ITER 8787 NEW BEST:: SOT 3250917 SOS 293016 HAS SOPS 293016 HAS SOUS 247924 HAS SOUPS 247924 WITH SCORE 248217.016
AT ITER 8855 NEW BEST:: SOT 3250801 SOS 292929 HAS SOPS 292929 HAS SOUS 247808 HAS SOUPS 247808 WITH SCORE 248100.929
AT ITER 8864 NEW BEST:: SOT 3250100 SOS 292409 HAS SOPS 292409 HAS SOUS 247139 HAS SOUPS 247139 WITH SCORE 247431.409
AT ITER 8959 NEW BEST:: SOT 3250013 SOS 292322 HAS SOPS 292322 HAS SOUS 247052 HAS SOUPS 247052 WITH SCORE 247344.322
AT ITER 8981 NEW BEST:: SOT 3249782 SOS 292445 HAS SOPS 292445 HAS SOUS 246931 HAS SOUPS 246931 WITH SCORE 247223.445
AT ITER 9041 NEW BEST:: SOT 3249782 SOS 292439 HAS SOPS 292439 HAS SOUS 246931 HAS SOUPS 246931 WITH SCORE 247223.439
AT ITER 9068 NEW BEST:: SOT 3249782 SOS 292439 HAS SOPS 292439 HAS SOUS 246909 HAS SOUPS 246909 WITH SCORE 247201.439
AT ITER 9086 NEW BEST:: SOT 3249770 SOS 292415 HAS SOPS 292415 HAS SOUS 246885 HAS SOUPS 246885 WITH SCORE 247177.415
AT ITER 9122 NEW BEST:: SOT 3249719 SOS 292376 HAS SOPS 292376 HAS SOUS 246834 HAS SOUPS 246834 WITH SCORE 247126.376
AT ITER 9163 NEW BEST:: SOT 3249613 SOS 292344 HAS SOPS 292344 HAS SOUS 246731 HAS SOUPS 246731 WITH SCORE 247023.344
AT ITER 9170 NEW BEST:: SOT 3249722 SOS 292453 HAS SOPS 292453 HAS SOUS 246730 HAS SOUPS 246730 WITH SCORE 247022.453
AT ITER 9178 NEW BEST:: SOT 3249706 SOS 292421 HAS SOPS 292421 HAS SOUS 246714 HAS SOUPS 246714 WITH SCORE 247006.421
AT ITER 9209 NEW BEST:: SOT 3249753 SOS 292451 HAS SOPS 292451 HAS SOUS 246670 HAS SOUPS 246670 WITH SCORE 246962.451
AT ITER 9312 NEW BEST:: SOT 3249717 SOS 292383 HAS SOPS 292383 HAS SOUS 246641 HAS SOUPS 246641 WITH SCORE 246933.383
AT ITER 9351 NEW BEST:: SOT 3249721 SOS 292269 HAS SOPS 292269 HAS SOUS 246606 HAS SOUPS 246606 WITH SCORE 246898.269
AT ITER 9415 NEW BEST:: SOT 3249601 SOS 292029 HAS SOPS 292029 HAS SOUS 246366 HAS SOUPS 246366 WITH SCORE 246658.029
AT ITER 9425 NEW BEST:: SOT 3249582 SOS 291979 HAS SOPS 291979 HAS SOUS 246316 HAS SOUPS 246316 WITH SCORE 246607.979
AT ITER 9457 NEW BEST:: SOT 3249557 SOS 291929 HAS SOPS 291929 HAS SOUS 246291 HAS SOUPS 246291 WITH SCORE 246582.929
AT ITER 9461 NEW BEST:: SOT 3249449 SOS 291731 HAS SOPS 291731 HAS SOUS 246151 HAS SOUPS 246151 WITH SCORE 246442.731
AT ITER 9482 NEW BEST:: SOT 3249262 SOS 291632 HAS SOPS 291632 HAS SOUS 245972 HAS SOUPS 245972 WITH SCORE 246263.632
AT ITER 9557 NEW BEST:: SOT 3249184 SOS 291476 HAS SOPS 291476 HAS SOUS 245754 HAS SOUPS 245754 WITH SCORE 246045.476
AT ITER 9583 NEW BEST:: SOT 3249178 SOS 291428 HAS SOPS 291428 HAS SOUS 245732 HAS SOUPS 245732 WITH SCORE 246023.428
AT ITER 9617 NEW BEST:: SOT 3249034 SOS 291320 HAS SOPS 291320 HAS SOUS 245624 HAS SOUPS 245624 WITH SCORE 245915.32
AT ITER 9662 NEW BEST:: SOT 3248513 SOS 290888 HAS SOPS 290888 HAS SOUS 245070 HAS SOUPS 245070 WITH SCORE 245360.888
AT ITER 9676 NEW BEST:: SOT 3248425 SOS 290894 HAS SOPS 290894 HAS SOUS 245034 HAS SOUPS 245034 WITH SCORE 245324.894
AT ITER 9681 NEW BEST:: SOT 3248424 SOS 290892 HAS SOPS 290892 HAS SOUS 245032 HAS SOUPS 245032 WITH SCORE 245322.892
AT ITER 9714 NEW BEST:: SOT 3248424 SOS 290755 HAS SOPS 290755 HAS SOUS 245032 HAS SOUPS 245032 WITH SCORE 245322.755
AT ITER 9726 NEW BEST:: SOT 3248386 SOS 290679 HAS SOPS 290679 HAS SOUS 244956 HAS SOUPS 244956 WITH SCORE 245246.679
AT ITER 9799 NEW BEST:: SOT 3248210 SOS 289932 HAS SOPS 289932 HAS SOUS 244385 HAS SOUPS 244385 WITH SCORE 244674.932
AT ITER 9938 NEW BEST:: SOT 3248002 SOS 289784 HAS SOPS 289784 HAS SOUS 244208 HAS SOUPS 244208 WITH SCORE 244497.784
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 10845516 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16122208 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="NoC3x3-PT-4B"
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 NoC3x3-PT-4B, 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 r267-smll-167863541600288"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-4B.tgz
mv NoC3x3-PT-4B 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 ;