About the Execution of Smart+red for DLCflexbar-PT-8a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7456.600 | 3600000.00 | 3664952.00 | 7520.30 | [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.r107-tall-167814484400608.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 DLCflexbar-PT-8a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484400608
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.2M
-rw-r--r-- 1 mcc users 7.8K Feb 26 07:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 07:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 25 18:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 25 18:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Feb 27 06:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 203K Feb 27 06:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 21:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 21:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 8.7M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678402544674
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=DLCflexbar-PT-8a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 22:55:46] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 22:55:46] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 22:55:46] [INFO ] Load time of PNML (sax parser for PT used): 574 ms
[2023-03-09 22:55:47] [INFO ] Transformed 3971 places.
[2023-03-09 22:55:47] [INFO ] Transformed 32571 transitions.
[2023-03-09 22:55:47] [INFO ] Found NUPN structural information;
[2023-03-09 22:55:47] [INFO ] Parsed PT model containing 3971 places and 32571 transitions and 129321 arcs in 760 ms.
[2023-03-09 22:55:47] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 3971 places, 32571 transitions and 129321 arcs took 160 ms.
Total runtime 949 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 8a
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: 3971 places, 32571 transitions, 129321 arcs.
AT ITER 0 NEW BEST:: SOT 71640229 SOS 62951652 HAS SOPS 29653807 HAS SOUS 3330788 HAS SOUPS 1266478 WITH SCORE 1329429.652
AT ITER 22 NEW BEST:: SOT 71639509 SOS 62950212 HAS SOPS 29656917 HAS SOUS 3329277 HAS SOUPS 1265422 WITH SCORE 1328372.212
AT ITER 38 NEW BEST:: SOT 71639509 SOS 62950212 HAS SOPS 29656917 HAS SOUS 3329115 HAS SOUPS 1265260 WITH SCORE 1328210.212
AT ITER 87 NEW BEST:: SOT 71639509 SOS 62950212 HAS SOPS 29656917 HAS SOUS 3329033 HAS SOUPS 1265178 WITH SCORE 1328128.212
AT ITER 95 NEW BEST:: SOT 71636422 SOS 62963972 HAS SOPS 29659697 HAS SOUS 3326763 HAS SOUPS 1262908 WITH SCORE 1325871.972
AT ITER 103 NEW BEST:: SOT 71636422 SOS 62963972 HAS SOPS 29659697 HAS SOUS 3326631 HAS SOUPS 1262776 WITH SCORE 1325739.972
AT ITER 110 NEW BEST:: SOT 71636422 SOS 62963972 HAS SOPS 29659697 HAS SOUS 3326355 HAS SOUPS 1262500 WITH SCORE 1325463.972
AT ITER 115 NEW BEST:: SOT 71636422 SOS 62963972 HAS SOPS 29659697 HAS SOUS 3326315 HAS SOUPS 1262460 WITH SCORE 1325423.972
AT ITER 148 NEW BEST:: SOT 71634522 SOS 62969212 HAS SOPS 29655337 HAS SOUS 3325185 HAS SOUPS 1261010 WITH SCORE 1323979.212
AT ITER 152 NEW BEST:: SOT 71633196 SOS 63014316 HAS SOPS 29671341 HAS SOUS 3326069 HAS SOUPS 1260924 WITH SCORE 1323938.316
AT ITER 159 NEW BEST:: SOT 71631822 SOS 63018792 HAS SOPS 29668077 HAS SOUS 3325511 HAS SOUPS 1260108 WITH SCORE 1323126.792
AT ITER 166 NEW BEST:: SOT 71631822 SOS 63018792 HAS SOPS 29668077 HAS SOUS 3325271 HAS SOUPS 1259868 WITH SCORE 1322886.792
AT ITER 176 NEW BEST:: SOT 71631822 SOS 63018792 HAS SOPS 29668077 HAS SOUS 3324991 HAS SOUPS 1259588 WITH SCORE 1322606.792
AT ITER 179 NEW BEST:: SOT 71631822 SOS 63018792 HAS SOPS 29668077 HAS SOUS 3324711 HAS SOUPS 1259308 WITH SCORE 1322326.792
AT ITER 192 NEW BEST:: SOT 71631232 SOS 63017612 HAS SOPS 29672117 HAS SOUS 3323361 HAS SOUPS 1258480 WITH SCORE 1321497.612
AT ITER 194 NEW BEST:: SOT 71630895 SOS 63013956 HAS SOPS 29673431 HAS SOUS 3322684 HAS SOUPS 1258300 WITH SCORE 1321313.956
AT ITER 201 NEW BEST:: SOT 71630605 SOS 63013376 HAS SOPS 29677601 HAS SOUS 3321919 HAS SOUPS 1258010 WITH SCORE 1321023.376
AT ITER 217 NEW BEST:: SOT 71626668 SOS 63033984 HAS SOPS 29683529 HAS SOUS 3318903 HAS SOUPS 1254994 WITH SCORE 1318027.984
AT ITER 228 NEW BEST:: SOT 71626286 SOS 63029824 HAS SOPS 29685029 HAS SOUS 3317955 HAS SOUPS 1254612 WITH SCORE 1317641.824
AT ITER 233 NEW BEST:: SOT 71624163 SOS 63037072 HAS SOPS 29681087 HAS SOUS 3316568 HAS SOUPS 1252852 WITH SCORE 1315889.072
AT ITER 244 NEW BEST:: SOT 71623601 SOS 63035948 HAS SOPS 29682773 HAS SOUS 3315444 HAS SOUPS 1252009 WITH SCORE 1315044.948
AT ITER 252 NEW BEST:: SOT 71623260 SOS 63035266 HAS SOPS 29685501 HAS SOUS 3314762 HAS SOUPS 1251668 WITH SCORE 1314703.266
AT ITER 264 NEW BEST:: SOT 71623260 SOS 63035266 HAS SOPS 29685501 HAS SOUS 3314482 HAS SOUPS 1251388 WITH SCORE 1314423.266
AT ITER 278 NEW BEST:: SOT 71622732 SOS 63034210 HAS SOPS 29688155 HAS SOUS 3313346 HAS SOUPS 1250623 WITH SCORE 1313657.21
AT ITER 285 NEW BEST:: SOT 71619118 SOS 63048568 HAS SOPS 29690473 HAS SOUS 3310271 HAS SOUPS 1247548 WITH SCORE 1310596.568
AT ITER 303 NEW BEST:: SOT 71618563 SOS 63043252 HAS SOPS 29692167 HAS SOUS 3309018 HAS SOUPS 1246996 WITH SCORE 1310039.252
AT ITER 316 NEW BEST:: SOT 71618563 SOS 63043252 HAS SOPS 29692167 HAS SOUS 3308766 HAS SOUPS 1246744 WITH SCORE 1309787.252
AT ITER 325 NEW BEST:: SOT 71618368 SOS 63040138 HAS SOPS 29693593 HAS SOUS 3308268 HAS SOUPS 1246700 WITH SCORE 1309740.138
AT ITER 329 NEW BEST:: SOT 71618368 SOS 63040138 HAS SOPS 29693593 HAS SOUS 3307988 HAS SOUPS 1246420 WITH SCORE 1309460.138
AT ITER 355 NEW BEST:: SOT 71617894 SOS 63039190 HAS SOPS 29695015 HAS SOUS 3307040 HAS SOUPS 1245709 WITH SCORE 1308748.19
AT ITER 426 NEW BEST:: SOT 71617894 SOS 63039190 HAS SOPS 29695015 HAS SOUS 3306780 HAS SOUPS 1245449 WITH SCORE 1308488.19
AT ITER 428 NEW BEST:: SOT 71617894 SOS 63039190 HAS SOPS 29695015 HAS SOUS 3306524 HAS SOUPS 1245193 WITH SCORE 1308232.19
AT ITER 438 NEW BEST:: SOT 71617266 SOS 63037934 HAS SOPS 29696899 HAS SOUS 3305268 HAS SOUPS 1244251 WITH SCORE 1307288.934
AT ITER 439 NEW BEST:: SOT 71617266 SOS 63037934 HAS SOPS 29696899 HAS SOUS 3305208 HAS SOUPS 1244191 WITH SCORE 1307228.934
AT ITER 444 NEW BEST:: SOT 71614927 SOS 63046192 HAS SOPS 29692647 HAS SOUS 3303664 HAS SOUPS 1242230 WITH SCORE 1305276.192
AT ITER 453 NEW BEST:: SOT 71614927 SOS 63046192 HAS SOPS 29692647 HAS SOUS 3303384 HAS SOUPS 1241950 WITH SCORE 1304996.192
AT ITER 491 NEW BEST:: SOT 71614605 SOS 63043346 HAS SOPS 29693471 HAS SOUS 3302779 HAS SOUPS 1241712 WITH SCORE 1304755.346
AT ITER 492 NEW BEST:: SOT 71612524 SOS 63081275 HAS SOPS 29704910 HAS SOUS 3302568 HAS SOUPS 1240618 WITH SCORE 1303699.275
AT ITER 498 NEW BEST:: SOT 71612082 SOS 63077313 HAS SOPS 29706078 HAS SOUS 3301613 HAS SOUPS 1240176 WITH SCORE 1303253.313
AT ITER 503 NEW BEST:: SOT 71612082 SOS 63077313 HAS SOPS 29706078 HAS SOUS 3301453 HAS SOUPS 1240016 WITH SCORE 1303093.313
AT ITER 509 NEW BEST:: SOT 71612082 SOS 63077313 HAS SOPS 29706078 HAS SOUS 3301189 HAS SOUPS 1239752 WITH SCORE 1302829.313
AT ITER 556 NEW BEST:: SOT 71611670 SOS 63074791 HAS SOPS 29703556 HAS SOUS 3300777 HAS SOUPS 1239340 WITH SCORE 1302414.791
AT ITER 570 NEW BEST:: SOT 71611103 SOS 63070477 HAS SOPS 29699242 HAS SOUS 3300669 HAS SOUPS 1239232 WITH SCORE 1302302.477
AT ITER 580 NEW BEST:: SOT 71602537 SOS 63054184 HAS SOPS 29693104 HAS SOUS 3300418 HAS SOUPS 1239109 WITH SCORE 1302163.184
AT ITER 587 NEW BEST:: SOT 71602537 SOS 63054184 HAS SOPS 29693104 HAS SOUS 3300138 HAS SOUPS 1238829 WITH SCORE 1301883.184
AT ITER 591 NEW BEST:: SOT 71602537 SOS 63054184 HAS SOPS 29693104 HAS SOUS 3299940 HAS SOUPS 1238631 WITH SCORE 1301685.184
AT ITER 595 NEW BEST:: SOT 71601184 SOS 63047870 HAS SOPS 29691300 HAS SOUS 3297685 HAS SOUPS 1236827 WITH SCORE 1299874.87
AT ITER 602 NEW BEST:: SOT 71601184 SOS 63047870 HAS SOPS 29691300 HAS SOUS 3297405 HAS SOUPS 1236547 WITH SCORE 1299594.87
AT ITER 679 NEW BEST:: SOT 71600877 SOS 63047256 HAS SOPS 29694426 HAS SOUS 3296757 HAS SOUPS 1236273 WITH SCORE 1299320.256
AT ITER 729 NEW BEST:: SOT 71600514 SOS 63043794 HAS SOPS 29695524 HAS SOUS 3296067 HAS SOUPS 1236039 WITH SCORE 1299082.794
AT ITER 802 NEW BEST:: SOT 71600278 SOS 63042614 HAS SOPS 29694344 HAS SOUS 3295831 HAS SOUPS 1235803 WITH SCORE 1298845.614
AT ITER 808 NEW BEST:: SOT 71599932 SOS 63041922 HAS SOPS 29695382 HAS SOUS 3295139 HAS SOUPS 1235284 WITH SCORE 1298325.922
AT ITER 814 NEW BEST:: SOT 71599716 SOS 63040842 HAS SOPS 29694302 HAS SOUS 3294923 HAS SOUPS 1235068 WITH SCORE 1298108.842
AT ITER 824 NEW BEST:: SOT 71599716 SOS 63040842 HAS SOPS 29694302 HAS SOUS 3294697 HAS SOUPS 1234842 WITH SCORE 1297882.842
AT ITER 830 NEW BEST:: SOT 71599186 SOS 63037388 HAS SOPS 29694838 HAS SOUS 3293768 HAS SOUPS 1234312 WITH SCORE 1297349.388
AT ITER 843 NEW BEST:: SOT 71599186 SOS 63037388 HAS SOPS 29694838 HAS SOUS 3293554 HAS SOUPS 1234098 WITH SCORE 1297135.388
AT ITER 876 NEW BEST:: SOT 71598615 SOS 63036246 HAS SOPS 29696976 HAS SOUS 3292370 HAS SOUPS 1233242 WITH SCORE 1296278.246
AT ITER 886 NEW BEST:: SOT 71598615 SOS 63036246 HAS SOPS 29696976 HAS SOUS 3292092 HAS SOUPS 1232964 WITH SCORE 1296000.246
AT ITER 905 NEW BEST:: SOT 71595533 SOS 63067704 HAS SOPS 29709854 HAS SOUS 3290228 HAS SOUPS 1231100 WITH SCORE 1294167.704
AT ITER 929 NEW BEST:: SOT 71593768 SOS 63076212 HAS SOPS 29706632 HAS SOUS 3289610 HAS SOUPS 1230091 WITH SCORE 1293167.212
AT ITER 943 NEW BEST:: SOT 71593768 SOS 63076212 HAS SOPS 29706632 HAS SOUS 3289492 HAS SOUPS 1229973 WITH SCORE 1293049.212
AT ITER 986 NEW BEST:: SOT 71591724 SOS 62970043 HAS SOPS 29718987 HAS SOUS 3288440 HAS SOUPS 1228921 WITH SCORE 1291891.043
AT ITER 987 NEW BEST:: SOT 71591724 SOS 62970043 HAS SOPS 29718987 HAS SOUS 3288276 HAS SOUPS 1228757 WITH SCORE 1291727.043
AT ITER 989 NEW BEST:: SOT 71591389 SOS 62966847 HAS SOPS 29720001 HAS SOUS 3287633 HAS SOUPS 1228535 WITH SCORE 1291501.847
AT ITER 993 NEW BEST:: SOT 71591389 SOS 62966847 HAS SOPS 29720001 HAS SOUS 3287447 HAS SOUPS 1228349 WITH SCORE 1291315.847
AT ITER 996 NEW BEST:: SOT 71590835 SOS 62961905 HAS SOPS 29721449 HAS SOUS 3286254 HAS SOUPS 1227795 WITH SCORE 1290756.905
AT ITER 1013 NEW BEST:: SOT 71590835 SOS 62961905 HAS SOPS 29721449 HAS SOUS 3285974 HAS SOUPS 1227515 WITH SCORE 1290476.905
AT ITER 1019 NEW BEST:: SOT 71590515 SOS 62961265 HAS SOPS 29720809 HAS SOUS 3285654 HAS SOUPS 1227195 WITH SCORE 1290156.265
AT ITER 1043 NEW BEST:: SOT 71590515 SOS 62961265 HAS SOPS 29720809 HAS SOUS 3285400 HAS SOUPS 1226941 WITH SCORE 1289902.265
AT ITER 1048 NEW BEST:: SOT 71589612 SOS 62963845 HAS SOPS 29719519 HAS SOUS 3284884 HAS SOUPS 1226296 WITH SCORE 1289259.845
AT ITER 1076 NEW BEST:: SOT 71587546 SOS 62956557 HAS SOPS 29717491 HAS SOUS 3283539 HAS SOUPS 1225477 WITH SCORE 1288433.557
AT ITER 1077 NEW BEST:: SOT 71586124 SOS 62951961 HAS SOPS 29712895 HAS SOUS 3282649 HAS SOUPS 1224587 WITH SCORE 1287538.961
AT ITER 1081 NEW BEST:: SOT 71585578 SOS 62948709 HAS SOPS 29713243 HAS SOUS 3281743 HAS SOUPS 1224041 WITH SCORE 1286989.709
AT ITER 1088 NEW BEST:: SOT 71585578 SOS 62948709 HAS SOPS 29713243 HAS SOUS 3281491 HAS SOUPS 1223789 WITH SCORE 1286737.709
AT ITER 1093 NEW BEST:: SOT 71585047 SOS 62947647 HAS SOPS 29717761 HAS SOUS 3280211 HAS SOUPS 1223067 WITH SCORE 1286014.647
AT ITER 1103 NEW BEST:: SOT 71585047 SOS 62947647 HAS SOPS 29717761 HAS SOUS 3279969 HAS SOUPS 1222825 WITH SCORE 1285772.647
AT ITER 1151 NEW BEST:: SOT 71585047 SOS 62947647 HAS SOPS 29717761 HAS SOUS 3279943 HAS SOUPS 1222799 WITH SCORE 1285746.647
AT ITER 1164 NEW BEST:: SOT 71581681 SOS 62973617 HAS SOPS 29727451 HAS SOUS 3277505 HAS SOUPS 1220361 WITH SCORE 1283334.617
AT ITER 1192 NEW BEST:: SOT 71581681 SOS 62973617 HAS SOPS 29727451 HAS SOUS 3277323 HAS SOUPS 1220179 WITH SCORE 1283152.617
AT ITER 1264 NEW BEST:: SOT 71581103 SOS 62970685 HAS SOPS 29724519 HAS SOUS 3276523 HAS SOUPS 1219379 WITH SCORE 1282349.685
AT ITER 1283 NEW BEST:: SOT 71580603 SOS 62967069 HAS SOPS 29725263 HAS SOUS 3275587 HAS SOUPS 1218879 WITH SCORE 1281846.069
AT ITER 1329 NEW BEST:: SOT 71580603 SOS 62967069 HAS SOPS 29725263 HAS SOUS 3275307 HAS SOUPS 1218599 WITH SCORE 1281566.069
AT ITER 1330 NEW BEST:: SOT 71580603 SOS 62967069 HAS SOPS 29725263 HAS SOUS 3275027 HAS SOUPS 1218319 WITH SCORE 1281286.069
AT ITER 1334 NEW BEST:: SOT 71580101 SOS 62966065 HAS SOPS 29728059 HAS SOUS 3273927 HAS SOUPS 1217599 WITH SCORE 1280565.065
AT ITER 1342 NEW BEST:: SOT 71577045 SOS 62995235 HAS SOPS 29740249 HAS SOUS 3271937 HAS SOUPS 1215609 WITH SCORE 1278604.235
AT ITER 1350 NEW BEST:: SOT 71577045 SOS 62995235 HAS SOPS 29740249 HAS SOUS 3271858 HAS SOUPS 1215530 WITH SCORE 1278525.235
AT ITER 1355 NEW BEST:: SOT 71566292 SOS 62974498 HAS SOPS 29733122 HAS SOUS 3270924 HAS SOUPS 1215276 WITH SCORE 1278250.498
AT ITER 1403 NEW BEST:: SOT 71564270 SOS 62862328 HAS SOPS 29742808 HAS SOUS 3270884 HAS SOUPS 1215236 WITH SCORE 1278098.328
AT ITER 1411 NEW BEST:: SOT 71564270 SOS 62862328 HAS SOPS 29742808 HAS SOUS 3270628 HAS SOUPS 1214980 WITH SCORE 1277842.328
AT ITER 1443 NEW BEST:: SOT 71563856 SOS 62859952 HAS SOPS 29740432 HAS SOUS 3270214 HAS SOUPS 1214566 WITH SCORE 1277425.952
AT ITER 1464 NEW BEST:: SOT 71559967 SOS 62878788 HAS SOPS 29744708 HAS SOUS 3267294 HAS SOUPS 1211646 WITH SCORE 1274524.788
AT ITER 1489 NEW BEST:: SOT 71559967 SOS 62878788 HAS SOPS 29744708 HAS SOUS 3267070 HAS SOUPS 1211422 WITH SCORE 1274300.788
AT ITER 1491 NEW BEST:: SOT 71559938 SOS 62856980 HAS SOPS 29722900 HAS SOUS 3267070 HAS SOUPS 1211422 WITH SCORE 1274278.98
AT ITER 1526 NEW BEST:: SOT 71556281 SOS 62878400 HAS SOPS 29728160 HAS SOUS 3264651 HAS SOUPS 1209003 WITH SCORE 1271881.4
AT ITER 1532 NEW BEST:: SOT 71555604 SOS 62872756 HAS SOPS 29726806 HAS SOUS 3263206 HAS SOUPS 1207987 WITH SCORE 1270859.756
AT ITER 1546 NEW BEST:: SOT 71554196 SOS 62877444 HAS SOPS 29723454 HAS SOUS 3262636 HAS SOUPS 1207149 WITH SCORE 1270026.444
AT ITER 1566 NEW BEST:: SOT 71553720 SOS 62879076 HAS SOPS 29723046 HAS SOUS 3262432 HAS SOUPS 1206877 WITH SCORE 1269756.076
AT ITER 1578 NEW BEST:: SOT 71553720 SOS 62879076 HAS SOPS 29723046 HAS SOUS 3262168 HAS SOUPS 1206613 WITH SCORE 1269492.076
AT ITER 1582 NEW BEST:: SOT 71553392 SOS 62878256 HAS SOPS 29722390 HAS SOUS 3261840 HAS SOUPS 1206285 WITH SCORE 1269163.256
AT ITER 1586 NEW BEST:: SOT 71553392 SOS 62878256 HAS SOPS 29722390 HAS SOUS 3261590 HAS SOUPS 1206035 WITH SCORE 1268913.256
AT ITER 1591 NEW BEST:: SOT 71552823 SOS 62877118 HAS SOPS 29726142 HAS SOUS 3260248 HAS SOUPS 1205182 WITH SCORE 1268059.118
AT ITER 1597 NEW BEST:: SOT 71551658 SOS 62923330 HAS SOPS 29742744 HAS SOUS 3261097 HAS SOUPS 1205044 WITH SCORE 1267967.33
AT ITER 1614 NEW BEST:: SOT 71551556 SOS 62923126 HAS SOPS 29745060 HAS SOUS 3260743 HAS SOUPS 1204942 WITH SCORE 1267865.126
AT ITER 1619 NEW BEST:: SOT 71550259 SOS 62925544 HAS SOPS 29743898 HAS SOUS 3259944 HAS SOUPS 1204143 WITH SCORE 1267068.544
AT ITER 1661 NEW BEST:: SOT 71546154 SOS 62942832 HAS SOPS 29747166 HAS SOUS 3256433 HAS SOUPS 1200632 WITH SCORE 1263574.832
AT ITER 1675 NEW BEST:: SOT 71546154 SOS 62942832 HAS SOPS 29747166 HAS SOUS 3256325 HAS SOUPS 1200524 WITH SCORE 1263466.832
AT ITER 1682 NEW BEST:: SOT 71546154 SOS 62942832 HAS SOPS 29747166 HAS SOUS 3256045 HAS SOUPS 1200244 WITH SCORE 1263186.832
AT ITER 1695 NEW BEST:: SOT 71546154 SOS 62942832 HAS SOPS 29747166 HAS SOUS 3256007 HAS SOUPS 1200206 WITH SCORE 1263148.832
AT ITER 1708 NEW BEST:: SOT 71544852 SOS 62949120 HAS SOPS 29746434 HAS SOUS 3255590 HAS SOUPS 1199555 WITH SCORE 1262504.12
AT ITER 1712 NEW BEST:: SOT 71544740 SOS 62948896 HAS SOPS 29747330 HAS SOUS 3255254 HAS SOUPS 1199331 WITH SCORE 1262279.896
AT ITER 1742 NEW BEST:: SOT 71544740 SOS 62948896 HAS SOPS 29747330 HAS SOUS 3255222 HAS SOUPS 1199299 WITH SCORE 1262247.896
AT ITER 1774 NEW BEST:: SOT 71544740 SOS 62948896 HAS SOPS 29747330 HAS SOUS 3254942 HAS SOUPS 1199019 WITH SCORE 1261967.896
AT ITER 1786 NEW BEST:: SOT 71544740 SOS 62948896 HAS SOPS 29747330 HAS SOUS 3254662 HAS SOUPS 1198739 WITH SCORE 1261687.896
AT ITER 1798 NEW BEST:: SOT 71543700 SOS 62945364 HAS SOPS 29743798 HAS SOUS 3254280 HAS SOUPS 1198357 WITH SCORE 1261302.364
AT ITER 1808 NEW BEST:: SOT 71543700 SOS 62945364 HAS SOPS 29743798 HAS SOUS 3254000 HAS SOUPS 1198077 WITH SCORE 1261022.364
AT ITER 1811 NEW BEST:: SOT 71543648 SOS 62945260 HAS SOPS 29743694 HAS SOUS 3253948 HAS SOUPS 1198025 WITH SCORE 1260970.26
AT ITER 1814 NEW BEST:: SOT 71543648 SOS 62945260 HAS SOPS 29743694 HAS SOUS 3253776 HAS SOUPS 1197853 WITH SCORE 1260798.26
AT ITER 1817 NEW BEST:: SOT 71543605 SOS 62944274 HAS SOPS 29743608 HAS SOUS 3253622 HAS SOUPS 1197789 WITH SCORE 1260733.274
AT ITER 1830 NEW BEST:: SOT 71543605 SOS 62944274 HAS SOPS 29743608 HAS SOUS 3253470 HAS SOUPS 1197637 WITH SCORE 1260581.274
AT ITER 1845 NEW BEST:: SOT 71543279 SOS 62941066 HAS SOPS 29744660 HAS SOUS 3252836 HAS SOUPS 1197429 WITH SCORE 1260370.066
AT ITER 1858 NEW BEST:: SOT 71543279 SOS 62941066 HAS SOPS 29744660 HAS SOUS 3252638 HAS SOUPS 1197231 WITH SCORE 1260172.066
AT ITER 1871 NEW BEST:: SOT 71540671 SOS 62962800 HAS SOPS 29752294 HAS SOUS 3251213 HAS SOUPS 1195806 WITH SCORE 1258768.8
AT ITER 1883 NEW BEST:: SOT 71540487 SOS 62962432 HAS SOPS 29751926 HAS SOUS 3251029 HAS SOUPS 1195622 WITH SCORE 1258584.432
AT ITER 1892 NEW BEST:: SOT 71538868 SOS 62965774 HAS SOPS 29748218 HAS SOUS 3249947 HAS SOUPS 1194305 WITH SCORE 1257270.774
AT ITER 1908 NEW BEST:: SOT 71536365 SOS 62978074 HAS SOPS 29749878 HAS SOUS 3248034 HAS SOUPS 1192392 WITH SCORE 1255370.074
AT ITER 1937 NEW BEST:: SOT 71536168 SOS 62977680 HAS SOPS 29749484 HAS SOUS 3247837 HAS SOUPS 1192195 WITH SCORE 1255172.68
AT ITER 1940 NEW BEST:: SOT 71535286 SOS 62981812 HAS SOPS 29749596 HAS SOUS 3247463 HAS SOUPS 1191687 WITH SCORE 1254668.812
AT ITER 1943 NEW BEST:: SOT 71531980 SOS 62970658 HAS SOPS 29746012 HAS SOUS 3245258 HAS SOUPS 1190239 WITH SCORE 1253209.658
AT ITER 1958 NEW BEST:: SOT 71530710 SOS 62961926 HAS SOPS 29745020 HAS SOUS 3242941 HAS SOUPS 1188696 WITH SCORE 1251657.926
AT ITER 1980 NEW BEST:: SOT 71530710 SOS 62961926 HAS SOPS 29745020 HAS SOUS 3242661 HAS SOUPS 1188416 WITH SCORE 1251377.926
AT ITER 1984 NEW BEST:: SOT 71530710 SOS 62961926 HAS SOPS 29745020 HAS SOUS 3242381 HAS SOUPS 1188136 WITH SCORE 1251097.926
AT ITER 2011 NEW BEST:: SOT 71527349 SOS 62985390 HAS SOPS 29753244 HAS SOUS 3239851 HAS SOUPS 1185606 WITH SCORE 1248591.39
AT ITER 2016 NEW BEST:: SOT 71527349 SOS 62985390 HAS SOPS 29753244 HAS SOUS 3239593 HAS SOUPS 1185348 WITH SCORE 1248333.39
AT ITER 2023 NEW BEST:: SOT 71527313 SOS 62985318 HAS SOPS 29758252 HAS SOUS 3239049 HAS SOUPS 1185312 WITH SCORE 1248297.318
AT ITER 2026 NEW BEST:: SOT 71517652 SOS 62966379 HAS SOPS 29752017 HAS SOUS 3238054 HAS SOUPS 1185111 WITH SCORE 1248077.379
AT ITER 2039 NEW BEST:: SOT 71517652 SOS 62966379 HAS SOPS 29752017 HAS SOUS 3237794 HAS SOUPS 1184851 WITH SCORE 1247817.379
AT ITER 2046 NEW BEST:: SOT 71515378 SOS 62975445 HAS SOPS 29752423 HAS SOUS 3236392 HAS SOUPS 1183449 WITH SCORE 1246424.445
AT ITER 2135 NEW BEST:: SOT 71514826 SOS 62974773 HAS SOPS 29751751 HAS SOUS 3236115 HAS SOUPS 1183172 WITH SCORE 1246146.773
AT ITER 2171 NEW BEST:: SOT 71514646 SOS 62974413 HAS SOPS 29752291 HAS SOUS 3235845 HAS SOUPS 1182992 WITH SCORE 1245966.413
AT ITER 2192 NEW BEST:: SOT 71514326 SOS 62973773 HAS SOPS 29753251 HAS SOUS 3235205 HAS SOUPS 1182512 WITH SCORE 1245485.773
AT ITER 2196 NEW BEST:: SOT 71514196 SOS 62973123 HAS SOPS 29753251 HAS SOUS 3235010 HAS SOUPS 1182382 WITH SCORE 1245355.123
AT ITER 2228 NEW BEST:: SOT 71513909 SOS 62973697 HAS SOPS 29753005 HAS SOUS 3234887 HAS SOUPS 1182259 WITH SCORE 1245232.697
AT ITER 2243 NEW BEST:: SOT 71512299 SOS 62977953 HAS SOPS 29751921 HAS SOUS 3233844 HAS SOUPS 1181216 WITH SCORE 1244193.953
AT ITER 2261 NEW BEST:: SOT 71509776 SOS 62968707 HAS SOPS 29749675 HAS SOUS 3231759 HAS SOUPS 1179831 WITH SCORE 1242799.707
AT ITER 2276 NEW BEST:: SOT 71509356 SOS 62965191 HAS SOPS 29750619 HAS SOUS 3230893 HAS SOUPS 1179411 WITH SCORE 1242376.191
AT ITER 2284 NEW BEST:: SOT 71506834 SOS 62974821 HAS SOPS 29746509 HAS SOUS 3229245 HAS SOUPS 1177305 WITH SCORE 1240279.821
AT ITER 2289 NEW BEST:: SOT 71506540 SOS 62974233 HAS SOPS 29748861 HAS SOUS 3228657 HAS SOUPS 1177011 WITH SCORE 1239985.233
AT ITER 2303 NEW BEST:: SOT 71506463 SOS 62972321 HAS SOPS 29746949 HAS SOUS 3228580 HAS SOUPS 1176934 WITH SCORE 1239906.321
AT ITER 2338 NEW BEST:: SOT 71506463 SOS 62972321 HAS SOPS 29746949 HAS SOUS 3228300 HAS SOUPS 1176654 WITH SCORE 1239626.321
AT ITER 2350 NEW BEST:: SOT 71505789 SOS 62970973 HAS SOPS 29748971 HAS SOUS 3226952 HAS SOUPS 1175643 WITH SCORE 1238613.973
AT ITER 2361 NEW BEST:: SOT 71505578 SOS 62967821 HAS SOPS 29750369 HAS SOUS 3226437 HAS SOUPS 1175583 WITH SCORE 1238550.821
AT ITER 2369 NEW BEST:: SOT 71505488 SOS 62967191 HAS SOPS 29749739 HAS SOUS 3226301 HAS SOUPS 1175447 WITH SCORE 1238414.191
AT ITER 2436 NEW BEST:: SOT 71501987 SOS 62989387 HAS SOPS 29756815 HAS SOUS 3224154 HAS SOUPS 1173300 WITH SCORE 1236289.387
AT ITER 2494 NEW BEST:: SOT 71498205 SOS 63017069 HAS SOPS 29766957 HAS SOUS 3221343 HAS SOUPS 1170489 WITH SCORE 1233506.069
AT ITER 2549 NEW BEST:: SOT 71499166 SOS 63021607 HAS SOPS 29771495 HAS SOUS 3220793 HAS SOUPS 1169939 WITH SCORE 1232960.607
AT ITER 2560 NEW BEST:: SOT 71498708 SOS 63016269 HAS SOPS 29773527 HAS SOUS 3219598 HAS SOUPS 1169481 WITH SCORE 1232497.269
AT ITER 2563 NEW BEST:: SOT 71498546 SOS 63015135 HAS SOPS 29772393 HAS SOUS 3219354 HAS SOUPS 1169237 WITH SCORE 1232252.135
AT ITER 2568 NEW BEST:: SOT 71497909 SOS 63013861 HAS SOPS 29776039 HAS SOUS 3217907 HAS SOUPS 1168282 WITH SCORE 1231295.861
AT ITER 2601 NEW BEST:: SOT 71497481 SOS 63010701 HAS SOPS 29776719 HAS SOUS 3217095 HAS SOUPS 1167854 WITH SCORE 1230864.701
AT ITER 2618 NEW BEST:: SOT 71495871 SOS 63024621 HAS SOPS 29775489 HAS SOUS 3217235 HAS SOUPS 1167489 WITH SCORE 1230513.621
AT ITER 2684 NEW BEST:: SOT 71495871 SOS 63024621 HAS SOPS 29775489 HAS SOUS 3216955 HAS SOUPS 1167209 WITH SCORE 1230233.621
AT ITER 2687 NEW BEST:: SOT 71495613 SOS 63024105 HAS SOPS 29774973 HAS SOUS 3216697 HAS SOUPS 1166951 WITH SCORE 1229975.105
AT ITER 2695 NEW BEST:: SOT 71495639 SOS 63024113 HAS SOPS 29774981 HAS SOUS 3216651 HAS SOUPS 1166905 WITH SCORE 1229929.113
AT ITER 2718 NEW BEST:: SOT 71494324 SOS 63016643 HAS SOPS 29773561 HAS SOUS 3214951 HAS SOUPS 1165810 WITH SCORE 1228826.643
AT ITER 2720 NEW BEST:: SOT 71494324 SOS 63016643 HAS SOPS 29773561 HAS SOUS 3214797 HAS SOUPS 1165656 WITH SCORE 1228672.643
AT ITER 2729 NEW BEST:: SOT 71494324 SOS 63016643 HAS SOPS 29773561 HAS SOUS 3214517 HAS SOUPS 1165376 WITH SCORE 1228392.643
AT ITER 2742 NEW BEST:: SOT 71494201 SOS 63015897 HAS SOPS 29776785 HAS SOUS 3214026 HAS SOUPS 1165282 WITH SCORE 1228297.897
AT ITER 2750 NEW BEST:: SOT 71494201 SOS 63015897 HAS SOPS 29776785 HAS SOUS 3213746 HAS SOUPS 1165002 WITH SCORE 1228017.897
AT ITER 2790 NEW BEST:: SOT 71494201 SOS 63015897 HAS SOPS 29776785 HAS SOUS 3213466 HAS SOUPS 1164722 WITH SCORE 1227737.897
AT ITER 2793 NEW BEST:: SOT 71494201 SOS 63015897 HAS SOPS 29776785 HAS SOUS 3213186 HAS SOUPS 1164442 WITH SCORE 1227457.897
AT ITER 2824 NEW BEST:: SOT 71492632 SOS 63026973 HAS SOPS 29777121 HAS SOUS 3213022 HAS SOUPS 1163920 WITH SCORE 1226946.973
AT ITER 2834 NEW BEST:: SOT 71492390 SOS 63026489 HAS SOPS 29778347 HAS SOUS 3212609 HAS SOUPS 1163678 WITH SCORE 1226704.489
AT ITER 2855 NEW BEST:: SOT 71491984 SOS 62989107 HAS SOPS 29738315 HAS SOUS 3212468 HAS SOUPS 1163272 WITH SCORE 1226261.107
AT ITER 2863 NEW BEST:: SOT 71489678 SOS 62993175 HAS SOPS 29733083 HAS SOUS 3210984 HAS SOUPS 1161478 WITH SCORE 1224471.175
AT ITER 2891 NEW BEST:: SOT 71489678 SOS 62993175 HAS SOPS 29733083 HAS SOUS 3210704 HAS SOUPS 1161198 WITH SCORE 1224191.175
AT ITER 2896 NEW BEST:: SOT 71487934 SOS 62986699 HAS SOPS 29731587 HAS SOUS 3209527 HAS SOUPS 1160519 WITH SCORE 1223505.699
AT ITER 2906 NEW BEST:: SOT 71486814 SOS 62979467 HAS SOPS 29730595 HAS SOUS 3207629 HAS SOUPS 1159245 WITH SCORE 1222224.467
AT ITER 2941 NEW BEST:: SOT 71486814 SOS 62978759 HAS SOPS 29731067 HAS SOUS 3207511 HAS SOUPS 1159245 WITH SCORE 1222223.759
AT ITER 2960 NEW BEST:: SOT 71486814 SOS 62978759 HAS SOPS 29731067 HAS SOUS 3207291 HAS SOUPS 1159025 WITH SCORE 1222003.759
AT ITER 2983 NEW BEST:: SOT 71486328 SOS 62977787 HAS SOPS 29732525 HAS SOUS 3206319 HAS SOUPS 1158296 WITH SCORE 1221273.787
AT ITER 2995 NEW BEST:: SOT 71486328 SOS 62977787 HAS SOPS 29732525 HAS SOUS 3206039 HAS SOUPS 1158016 WITH SCORE 1220993.787
AT ITER 3006 NEW BEST:: SOT 71486516 SOS 62978163 HAS SOPS 29732901 HAS SOUS 3205935 HAS SOUPS 1157912 WITH SCORE 1220890.163
AT ITER 3052 NEW BEST:: SOT 71486516 SOS 62978163 HAS SOPS 29732901 HAS SOUS 3205655 HAS SOUPS 1157632 WITH SCORE 1220610.163
AT ITER 3114 NEW BEST:: SOT 71485196 SOS 62985023 HAS SOPS 29732261 HAS SOUS 3205648 HAS SOUPS 1157375 WITH SCORE 1220360.023
AT ITER 3122 NEW BEST:: SOT 71482620 SOS 62990175 HAS SOPS 29726373 HAS SOUS 3204544 HAS SOUPS 1155903 WITH SCORE 1218893.175
AT ITER 3159 NEW BEST:: SOT 71482104 SOS 62989633 HAS SOPS 29725831 HAS SOUS 3203622 HAS SOUPS 1154981 WITH SCORE 1217970.633
AT ITER 3162 NEW BEST:: SOT 71481187 SOS 62992253 HAS SOPS 29724521 HAS SOUS 3203098 HAS SOUPS 1154326 WITH SCORE 1217318.253
AT ITER 3171 NEW BEST:: SOT 71480488 SOS 62990855 HAS SOPS 29726963 HAS SOUS 3201666 HAS SOUPS 1153278 WITH SCORE 1216268.855
AT ITER 3237 NEW BEST:: SOT 71480166 SOS 62987739 HAS SOPS 29727967 HAS SOUS 3200932 HAS SOUPS 1152956 WITH SCORE 1215943.739
AT ITER 3240 NEW BEST:: SOT 71480166 SOS 62987739 HAS SOPS 29727967 HAS SOUS 3200652 HAS SOUPS 1152676 WITH SCORE 1215663.739
AT ITER 3241 NEW BEST:: SOT 71479797 SOS 62987370 HAS SOPS 29727598 HAS SOUS 3200650 HAS SOUPS 1152674 WITH SCORE 1215661.37
AT ITER 3269 NEW BEST:: SOT 71479446 SOS 62989296 HAS SOPS 29729524 HAS SOUS 3200017 HAS SOUPS 1152041 WITH SCORE 1215030.296
AT ITER 3280 NEW BEST:: SOT 71479446 SOS 62989296 HAS SOPS 29729524 HAS SOUS 3199995 HAS SOUPS 1152019 WITH SCORE 1215008.296
AT ITER 3298 NEW BEST:: SOT 71476773 SOS 62983988 HAS SOPS 29728409 HAS SOUS 3199129 HAS SOUPS 1151932 WITH SCORE 1214915.988
AT ITER 3307 NEW BEST:: SOT 71476773 SOS 62983988 HAS SOPS 29728409 HAS SOUS 3198849 HAS SOUPS 1151652 WITH SCORE 1214635.988
AT ITER 3312 NEW BEST:: SOT 71475048 SOS 62990456 HAS SOPS 29727047 HAS SOUS 3197947 HAS SOUPS 1150489 WITH SCORE 1213479.456
AT ITER 3318 NEW BEST:: SOT 71475048 SOS 62990456 HAS SOPS 29727047 HAS SOUS 3197905 HAS SOUPS 1150447 WITH SCORE 1213437.456
AT ITER 3327 NEW BEST:: SOT 71473452 SOS 63012568 HAS SOPS 29736399 HAS SOUS 3197518 HAS SOUPS 1150060 WITH SCORE 1213072.568
AT ITER 3330 NEW BEST:: SOT 71472608 SOS 63050924 HAS SOPS 29747125 HAS SOUS 3198125 HAS SOUPS 1149746 WITH SCORE 1212796.924
AT ITER 3363 NEW BEST:: SOT 71472608 SOS 63050924 HAS SOPS 29747125 HAS SOUS 3198101 HAS SOUPS 1149722 WITH SCORE 1212772.924
AT ITER 3365 NEW BEST:: SOT 71472608 SOS 63050924 HAS SOPS 29747125 HAS SOUS 3198091 HAS SOUPS 1149712 WITH SCORE 1212762.924
AT ITER 3374 NEW BEST:: SOT 71470270 SOS 63072554 HAS SOPS 29756815 HAS SOUS 3196425 HAS SOUPS 1148046 WITH SCORE 1211118.554
AT ITER 3431 NEW BEST:: SOT 71468110 SOS 63087784 HAS SOPS 29756445 HAS SOUS 3195905 HAS SOUPS 1147006 WITH SCORE 1210093.784
AT ITER 3492 NEW BEST:: SOT 71468110 SOS 63087784 HAS SOPS 29756445 HAS SOUS 3195699 HAS SOUPS 1146800 WITH SCORE 1209887.784
AT ITER 3500 NEW BEST:: SOT 71463569 SOS 63100092 HAS SOPS 29757253 HAS SOUS 3192851 HAS SOUPS 1143952 WITH SCORE 1207052.092
AT ITER 3512 NEW BEST:: SOT 71463569 SOS 63100092 HAS SOPS 29757253 HAS SOUS 3192797 HAS SOUPS 1143898 WITH SCORE 1206998.092
AT ITER 3536 NEW BEST:: SOT 71463057 SOS 63099068 HAS SOPS 29758789 HAS SOUS 3191773 HAS SOUPS 1143130 WITH SCORE 1206229.068
AT ITER 3564 NEW BEST:: SOT 71462315 SOS 63100552 HAS SOPS 29758153 HAS SOUS 3191349 HAS SOUPS 1142706 WITH SCORE 1205806.552
AT ITER 3608 NEW BEST:: SOT 71462380 SOS 63097122 HAS SOPS 29758283 HAS SOUS 3190754 HAS SOUPS 1142467 WITH SCORE 1205564.122
AT ITER 3610 NEW BEST:: SOT 71462380 SOS 63097122 HAS SOPS 29758283 HAS SOUS 3190626 HAS SOUPS 1142339 WITH SCORE 1205436.122
AT ITER 3618 NEW BEST:: SOT 71461923 SOS 63096208 HAS SOPS 29762819 HAS SOUS 3189476 HAS SOUPS 1141734 WITH SCORE 1204830.208
AT ITER 3622 NEW BEST:: SOT 71461923 SOS 63095018 HAS SOPS 29761629 HAS SOUS 3189357 HAS SOUPS 1141615 WITH SCORE 1204710.018
AT ITER 3627 NEW BEST:: SOT 71459765 SOS 63112176 HAS SOPS 29763247 HAS SOUS 3189044 HAS SOUPS 1140784 WITH SCORE 1203896.176
AT ITER 3659 NEW BEST:: SOT 71459765 SOS 63112176 HAS SOPS 29763247 HAS SOUS 3189016 HAS SOUPS 1140756 WITH SCORE 1203868.176
AT ITER 3701 NEW BEST:: SOT 71458574 SOS 63106602 HAS SOPS 29761663 HAS SOUS 3187033 HAS SOUPS 1139172 WITH SCORE 1202278.602
AT ITER 3722 NEW BEST:: SOT 71458574 SOS 63106602 HAS SOPS 29761663 HAS SOUS 3186753 HAS SOUPS 1138892 WITH SCORE 1201998.602
AT ITER 3776 NEW BEST:: SOT 71455745 SOS 63128488 HAS SOPS 29764619 HAS SOUS 3185069 HAS SOUPS 1136577 WITH SCORE 1199705.488
AT ITER 3781 NEW BEST:: SOT 71451733 SOS 63120990 HAS SOPS 29761977 HAS SOUS 3184700 HAS SOUPS 1136471 WITH SCORE 1199591.99
AT ITER 3822 NEW BEST:: SOT 71451475 SOS 63120216 HAS SOPS 29761203 HAS SOUS 3184528 HAS SOUPS 1136299 WITH SCORE 1199419.216
AT ITER 3835 NEW BEST:: SOT 71450929 SOS 63119124 HAS SOPS 29762841 HAS SOUS 3183436 HAS SOUPS 1135480 WITH SCORE 1198599.124
AT ITER 3867 NEW BEST:: SOT 71450352 SOS 63117970 HAS SOPS 29766217 HAS SOUS 3182159 HAS SOUPS 1134656 WITH SCORE 1197773.97
AT ITER 3876 NEW BEST:: SOT 71450352 SOS 63117970 HAS SOPS 29766217 HAS SOUS 3181907 HAS SOUPS 1134404 WITH SCORE 1197521.97
AT ITER 3881 NEW BEST:: SOT 71448190 SOS 63144082 HAS SOPS 29776489 HAS SOUS 3181674 HAS SOUPS 1134171 WITH SCORE 1197315.082
AT ITER 3887 NEW BEST:: SOT 71448190 SOS 63144082 HAS SOPS 29776489 HAS SOUS 3181498 HAS SOUPS 1133995 WITH SCORE 1197139.082
AT ITER 3906 NEW BEST:: SOT 71446451 SOS 63169400 HAS SOPS 29782937 HAS SOUS 3180538 HAS SOUPS 1132406 WITH SCORE 1195575.4
AT ITER 3918 NEW BEST:: SOT 71446451 SOS 63169400 HAS SOPS 29782937 HAS SOUS 3180258 HAS SOUPS 1132126 WITH SCORE 1195295.4
AT ITER 3955 NEW BEST:: SOT 71447082 SOS 63102656 HAS SOPS 29787817 HAS SOUS 3179949 HAS SOUPS 1132055 WITH SCORE 1195157.656
AT ITER 3978 NEW BEST:: SOT 71445490 SOS 63097060 HAS SOPS 29786241 HAS SOUS 3179292 HAS SOUPS 1131800 WITH SCORE 1194897.06
AT ITER 3993 NEW BEST:: SOT 71443051 SOS 63085678 HAS SOPS 29782989 HAS SOUS 3176040 HAS SOUPS 1129361 WITH SCORE 1192446.678
AT ITER 4025 NEW BEST:: SOT 71443051 SOS 63085678 HAS SOPS 29782989 HAS SOUS 3176024 HAS SOUPS 1129345 WITH SCORE 1192430.678
AT ITER 4038 NEW BEST:: SOT 71442476 SOS 63084528 HAS SOPS 29786099 HAS SOUS 3174770 HAS SOUPS 1128517 WITH SCORE 1191601.528
AT ITER 4083 NEW BEST:: SOT 71440759 SOS 63088402 HAS SOPS 29784753 HAS SOUS 3173447 HAS SOUPS 1127194 WITH SCORE 1190282.402
AT ITER 4091 NEW BEST:: SOT 71440543 SOS 63088186 HAS SOPS 29784537 HAS SOUS 3173231 HAS SOUPS 1126978 WITH SCORE 1190066.186
AT ITER 4099 NEW BEST:: SOT 71440543 SOS 63088186 HAS SOPS 29784537 HAS SOUS 3172951 HAS SOUPS 1126698 WITH SCORE 1189786.186
AT ITER 4133 NEW BEST:: SOT 71440543 SOS 63088186 HAS SOPS 29784537 HAS SOUS 3172817 HAS SOUPS 1126564 WITH SCORE 1189652.186
AT ITER 4134 NEW BEST:: SOT 71439956 SOS 63087012 HAS SOPS 29789033 HAS SOUS 3171370 HAS SOUPS 1125684 WITH SCORE 1188771.012
AT ITER 4138 NEW BEST:: SOT 71437768 SOS 63079822 HAS SOPS 29786533 HAS SOUS 3170354 HAS SOUPS 1125137 WITH SCORE 1188216.822
AT ITER 4148 NEW BEST:: SOT 71439031 SOS 63082900 HAS SOPS 29786596 HAS SOUS 3170607 HAS SOUPS 1124790 WITH SCORE 1187872.9
AT ITER 4183 NEW BEST:: SOT 71423545 SOS 63054417 HAS SOPS 29776576 HAS SOUS 3169606 HAS SOUPS 1124609 WITH SCORE 1187663.417
AT ITER 4257 NEW BEST:: SOT 71424706 SOS 63060151 HAS SOPS 29782310 HAS SOUS 3169509 HAS SOUPS 1124512 WITH SCORE 1187572.151
AT ITER 4266 NEW BEST:: SOT 71424706 SOS 63060151 HAS SOPS 29782310 HAS SOUS 3169499 HAS SOUPS 1124502 WITH SCORE 1187562.151
AT ITER 4313 NEW BEST:: SOT 71424086 SOS 63058911 HAS SOPS 29784170 HAS SOUS 3168259 HAS SOUPS 1123572 WITH SCORE 1186630.911
AT ITER 4380 NEW BEST:: SOT 71424086 SOS 63058911 HAS SOPS 29784170 HAS SOUS 3168105 HAS SOUPS 1123418 WITH SCORE 1186476.911
AT ITER 4401 NEW BEST:: SOT 71424086 SOS 63058911 HAS SOPS 29784170 HAS SOUS 3167825 HAS SOUPS 1123138 WITH SCORE 1186196.911
AT ITER 4405 NEW BEST:: SOT 71423921 SOS 63057371 HAS SOPS 29784280 HAS SOUS 3167493 HAS SOUPS 1122971 WITH SCORE 1186028.371
AT ITER 4408 NEW BEST:: SOT 71423642 SOS 63056813 HAS SOPS 29786512 HAS SOUS 3166656 HAS SOUPS 1122413 WITH SCORE 1185469.813
AT ITER 4414 NEW BEST:: SOT 71423404 SOS 63056337 HAS SOPS 29788416 HAS SOUS 3165942 HAS SOUPS 1121937 WITH SCORE 1184993.337
AT ITER 4453 NEW BEST:: SOT 71422523 SOS 62922559 HAS SOPS 29787546 HAS SOUS 3162441 HAS SOUPS 1119328 WITH SCORE 1182250.559
AT ITER 4470 NEW BEST:: SOT 71417177 SOS 62944231 HAS SOPS 29791258 HAS SOUS 3159204 HAS SOUPS 1116091 WITH SCORE 1179035.231
AT ITER 4477 NEW BEST:: SOT 71415226 SOS 62977135 HAS SOPS 29798332 HAS SOUS 3158774 HAS SOUPS 1114800 WITH SCORE 1177777.135
AT ITER 4509 NEW BEST:: SOT 71415226 SOS 62977135 HAS SOPS 29798332 HAS SOUS 3158762 HAS SOUPS 1114788 WITH SCORE 1177765.135
AT ITER 4527 NEW BEST:: SOT 71414160 SOS 62991009 HAS SOPS 29798346 HAS SOUS 3159135 HAS SOUPS 1114699 WITH SCORE 1177690.009
AT ITER 4564 NEW BEST:: SOT 71414160 SOS 62991009 HAS SOPS 29798346 HAS SOUS 3158911 HAS SOUPS 1114475 WITH SCORE 1177466.009
AT ITER 4616 NEW BEST:: SOT 71414160 SOS 62991009 HAS SOPS 29798346 HAS SOUS 3158671 HAS SOUPS 1114235 WITH SCORE 1177226.009
AT ITER 4624 NEW BEST:: SOT 71414160 SOS 62991009 HAS SOPS 29798346 HAS SOUS 3158545 HAS SOUPS 1114109 WITH SCORE 1177100.009
AT ITER 4630 NEW BEST:: SOT 71396730 SOS 62958679 HAS SOPS 29787340 HAS SOUS 3157355 HAS SOUPS 1113988 WITH SCORE 1176946.679
AT ITER 4647 NEW BEST:: SOT 71396730 SOS 62958679 HAS SOPS 29787340 HAS SOUS 3157251 HAS SOUPS 1113884 WITH SCORE 1176842.679
AT ITER 4657 NEW BEST:: SOT 71396855 SOS 62922804 HAS SOPS 29768840 HAS SOUS 3157251 HAS SOUPS 1113884 WITH SCORE 1176806.804
AT ITER 4664 NEW BEST:: SOT 71393279 SOS 62939656 HAS SOPS 29764152 HAS SOUS 3157057 HAS SOUPS 1112972 WITH SCORE 1175911.656
AT ITER 4666 NEW BEST:: SOT 71393279 SOS 62939656 HAS SOPS 29764152 HAS SOUS 3156777 HAS SOUPS 1112692 WITH SCORE 1175631.656
AT ITER 4701 NEW BEST:: SOT 71390193 SOS 62955470 HAS SOPS 29768226 HAS SOUS 3154565 HAS SOUPS 1110480 WITH SCORE 1173435.47
AT ITER 4745 NEW BEST:: SOT 71390193 SOS 62955470 HAS SOPS 29768226 HAS SOUS 3154563 HAS SOUPS 1110478 WITH SCORE 1173433.47
AT ITER 4789 NEW BEST:: SOT 71390179 SOS 62955442 HAS SOPS 29770238 HAS SOUS 3154345 HAS SOUPS 1110464 WITH SCORE 1173419.442
AT ITER 4800 NEW BEST:: SOT 71389919 SOS 62869980 HAS SOPS 29727390 HAS SOUS 3153604 HAS SOUPS 1110009 WITH SCORE 1172878.98
AT ITER 4801 NEW BEST:: SOT 71389650 SOS 62869442 HAS SOPS 29726852 HAS SOUS 3153171 HAS SOUPS 1109576 WITH SCORE 1172445.442
AT ITER 4812 NEW BEST:: SOT 71388918 SOS 62866682 HAS SOPS 29726252 HAS SOUS 3152772 HAS SOUPS 1109393 WITH SCORE 1172259.682
AT ITER 4851 NEW BEST:: SOT 71387788 SOS 62862592 HAS SOPS 29722162 HAS SOUS 3152088 HAS SOUPS 1108709 WITH SCORE 1171571.592
AT ITER 4892 NEW BEST:: SOT 71386235 SOS 62871554 HAS SOPS 29718494 HAS SOUS 3151832 HAS SOUPS 1108032 WITH SCORE 1170903.554
AT ITER 4899 NEW BEST:: SOT 71370465 SOS 62841686 HAS SOPS 29708475 HAS SOUS 3150408 HAS SOUPS 1107758 WITH SCORE 1170599.686
AT ITER 4928 NEW BEST:: SOT 71370465 SOS 62841686 HAS SOPS 29708475 HAS SOUS 3150128 HAS SOUPS 1107478 WITH SCORE 1170319.686
AT ITER 5008 NEW BEST:: SOT 71368576 SOS 62831908 HAS SOPS 29706197 HAS SOUS 3147100 HAS SOUPS 1105200 WITH SCORE 1168031.908
AT ITER 5041 NEW BEST:: SOT 71368576 SOS 62831908 HAS SOPS 29706197 HAS SOUS 3146982 HAS SOUPS 1105082 WITH SCORE 1167913.908
AT ITER 5050 NEW BEST:: SOT 71368088 SOS 62827932 HAS SOPS 29707221 HAS SOUS 3145994 HAS SOUPS 1104594 WITH SCORE 1167421.932
AT ITER 5063 NEW BEST:: SOT 71364884 SOS 62837504 HAS SOPS 29706393 HAS SOUS 3143234 HAS SOUPS 1101834 WITH SCORE 1164671.504
AT ITER 5071 NEW BEST:: SOT 71364884 SOS 62837504 HAS SOPS 29706393 HAS SOUS 3142954 HAS SOUPS 1101554 WITH SCORE 1164391.504
AT ITER 5089 NEW BEST:: SOT 71351368 SOS 62812236 HAS SOPS 29697845 HAS SOUS 3141721 HAS SOUPS 1101366 WITH SCORE 1164178.236
AT ITER 5097 NEW BEST:: SOT 71351368 SOS 62812236 HAS SOPS 29697845 HAS SOUS 3141705 HAS SOUPS 1101350 WITH SCORE 1164162.236
AT ITER 5124 NEW BEST:: SOT 71348894 SOS 62803130 HAS SOPS 29695669 HAS SOUS 3140637 HAS SOUPS 1100975 WITH SCORE 1163778.13
AT ITER 5126 NEW BEST:: SOT 71348894 SOS 62803130 HAS SOPS 29695669 HAS SOUS 3140525 HAS SOUPS 1100863 WITH SCORE 1163666.13
AT ITER 5145 NEW BEST:: SOT 71348894 SOS 62802640 HAS SOPS 29695729 HAS SOUS 3140470 HAS SOUPS 1100863 WITH SCORE 1163665.64
AT ITER 5153 NEW BEST:: SOT 71336022 SOS 62778571 HAS SOPS 29687694 HAS SOUS 3139441 HAS SOUPS 1100763 WITH SCORE 1163541.571
AT ITER 5183 NEW BEST:: SOT 71335818 SOS 62778163 HAS SOPS 29687286 HAS SOUS 3139237 HAS SOUPS 1100559 WITH SCORE 1163337.163
AT ITER 5203 NEW BEST:: SOT 71332797 SOS 62807875 HAS SOPS 29699038 HAS SOUS 3138004 HAS SOUPS 1099326 WITH SCORE 1162133.875
AT ITER 5206 NEW BEST:: SOT 71332749 SOS 62807779 HAS SOPS 29698942 HAS SOUS 3137908 HAS SOUPS 1099230 WITH SCORE 1162037.779
AT ITER 5256 NEW BEST:: SOT 71332749 SOS 62807779 HAS SOPS 29698942 HAS SOUS 3137628 HAS SOUPS 1098950 WITH SCORE 1161757.779
AT ITER 5260 NEW BEST:: SOT 71332297 SOS 62803239 HAS SOPS 29700462 HAS SOUS 3136570 HAS SOUPS 1098498 WITH SCORE 1161301.239
AT ITER 5270 NEW BEST:: SOT 71332297 SOS 62801841 HAS SOPS 29699064 HAS SOUS 3136570 HAS SOUPS 1098498 WITH SCORE 1161299.841
AT ITER 5352 NEW BEST:: SOT 71332160 SOS 62801293 HAS SOPS 29698516 HAS SOUS 3136433 HAS SOUPS 1098361 WITH SCORE 1161162.293
AT ITER 5382 NEW BEST:: SOT 71332160 SOS 62801293 HAS SOPS 29698516 HAS SOUS 3136153 HAS SOUPS 1098081 WITH SCORE 1160882.293
AT ITER 5388 NEW BEST:: SOT 71331206 SOS 62813057 HAS SOPS 29699660 HAS SOUS 3136357 HAS SOUPS 1097931 WITH SCORE 1160744.057
AT ITER 5401 NEW BEST:: SOT 71331061 SOS 62812332 HAS SOPS 29698935 HAS SOUS 3136315 HAS SOUPS 1097889 WITH SCORE 1160701.332
AT ITER 5411 NEW BEST:: SOT 71331061 SOS 62812132 HAS SOPS 29698735 HAS SOUS 3136210 HAS SOUPS 1097784 WITH SCORE 1160596.132
AT ITER 5416 NEW BEST:: SOT 71331061 SOS 62812132 HAS SOPS 29698735 HAS SOUS 3135930 HAS SOUPS 1097504 WITH SCORE 1160316.132
AT ITER 5418 NEW BEST:: SOT 71330603 SOS 62811216 HAS SOPS 29702059 HAS SOUS 3134807 HAS SOUPS 1096805 WITH SCORE 1159616.216
AT ITER 5422 NEW BEST:: SOT 71329387 SOS 62816820 HAS SOPS 29701923 HAS SOUS 3134461 HAS SOUPS 1096459 WITH SCORE 1159275.82
AT ITER 5451 NEW BEST:: SOT 71329184 SOS 62815196 HAS SOPS 29702329 HAS SOUS 3134258 HAS SOUPS 1096459 WITH SCORE 1159274.196
AT ITER 5459 NEW BEST:: SOT 71328701 SOS 62814230 HAS SOPS 29701363 HAS SOUS 3133532 HAS SOUPS 1095733 WITH SCORE 1158547.23
AT ITER 5483 NEW BEST:: SOT 71328316 SOS 62813030 HAS SOPS 29702853 HAS SOUS 3132761 HAS SOUPS 1095231 WITH SCORE 1158044.03
AT ITER 5517 NEW BEST:: SOT 71328316 SOS 62810570 HAS SOPS 29702853 HAS SOUS 3132515 HAS SOUPS 1095231 WITH SCORE 1158041.57
AT ITER 5533 NEW BEST:: SOT 71328316 SOS 62810570 HAS SOPS 29702853 HAS SOUS 3132489 HAS SOUPS 1095205 WITH SCORE 1158015.57
AT ITER 5565 NEW BEST:: SOT 71328293 SOS 62810524 HAS SOPS 29703037 HAS SOUS 3132443 HAS SOUPS 1095182 WITH SCORE 1157992.524
AT ITER 5574 NEW BEST:: SOT 71329494 SOS 62571413 HAS SOPS 29505904 HAS SOUS 3132674 HAS SOUPS 1095413 WITH SCORE 1157984.413
AT ITER 5589 NEW BEST:: SOT 71326231 SOS 62592909 HAS SOPS 29511220 HAS SOUS 3130923 HAS SOUPS 1093662 WITH SCORE 1156254.909
AT ITER 5626 NEW BEST:: SOT 71324844 SOS 62586411 HAS SOPS 29510042 HAS SOUS 3128847 HAS SOUPS 1092118 WITH SCORE 1154704.411
AT ITER 5628 NEW BEST:: SOT 71315420 SOS 62568524 HAS SOPS 29503032 HAS SOUS 3128217 HAS SOUPS 1091657 WITH SCORE 1154225.524
AT ITER 5661 NEW BEST:: SOT 71315420 SOS 62568524 HAS SOPS 29503032 HAS SOUS 3128107 HAS SOUPS 1091547 WITH SCORE 1154115.524
AT ITER 5673 NEW BEST:: SOT 71315420 SOS 62568524 HAS SOPS 29503032 HAS SOUS 3127827 HAS SOUPS 1091267 WITH SCORE 1153835.524
AT ITER 5679 NEW BEST:: SOT 71315389 SOS 62572802 HAS SOPS 29503001 HAS SOUS 3127796 HAS SOUPS 1091236 WITH SCORE 1153808.802
AT ITER 5685 NEW BEST:: SOT 71315249 SOS 62574202 HAS SOPS 29503701 HAS SOUS 3127726 HAS SOUPS 1091166 WITH SCORE 1153740.202
AT ITER 5692 NEW BEST:: SOT 71315249 SOS 62574202 HAS SOPS 29503701 HAS SOUS 3127446 HAS SOUPS 1090886 WITH SCORE 1153460.202
AT ITER 5711 NEW BEST:: SOT 71315249 SOS 62574202 HAS SOPS 29503701 HAS SOUS 3127166 HAS SOUPS 1090606 WITH SCORE 1153180.202
AT ITER 5726 NEW BEST:: SOT 71315249 SOS 62574202 HAS SOPS 29503701 HAS SOUS 3127160 HAS SOUPS 1090600 WITH SCORE 1153174.202
AT ITER 5734 NEW BEST:: SOT 71315806 SOS 62605210 HAS SOPS 29515929 HAS SOUS 3127522 HAS SOUPS 1090336 WITH SCORE 1152941.21
AT ITER 5752 NEW BEST:: SOT 71315806 SOS 62605210 HAS SOPS 29515929 HAS SOUS 3127502 HAS SOUPS 1090316 WITH SCORE 1152921.21
AT ITER 5756 NEW BEST:: SOT 71315806 SOS 62605210 HAS SOPS 29515929 HAS SOUS 3127304 HAS SOUPS 1090118 WITH SCORE 1152723.21
AT ITER 5760 NEW BEST:: SOT 71315806 SOS 62605210 HAS SOPS 29515929 HAS SOUS 3127024 HAS SOUPS 1089838 WITH SCORE 1152443.21
AT ITER 5764 NEW BEST:: SOT 71315806 SOS 62605210 HAS SOPS 29515929 HAS SOUS 3126970 HAS SOUPS 1089784 WITH SCORE 1152389.21
AT ITER 5787 NEW BEST:: SOT 71312508 SOS 62633736 HAS SOPS 29527275 HAS SOUS 3124662 HAS SOUPS 1087476 WITH SCORE 1150109.736
AT ITER 5806 NEW BEST:: SOT 71312508 SOS 62633736 HAS SOPS 29527275 HAS SOUS 3124636 HAS SOUPS 1087450 WITH SCORE 1150083.736
AT ITER 5873 NEW BEST:: SOT 71310686 SOS 62646070 HAS SOPS 29527429 HAS SOUS 3124389 HAS SOUPS 1086797 WITH SCORE 1149443.07
AT ITER 5880 NEW BEST:: SOT 71310686 SOS 62646070 HAS SOPS 29527429 HAS SOUS 3124135 HAS SOUPS 1086543 WITH SCORE 1149189.07
AT ITER 5894 NEW BEST:: SOT 71309062 SOS 62674468 HAS SOPS 29542187 HAS SOUS 3123139 HAS SOUPS 1085547 WITH SCORE 1148221.468
AT ITER 5901 NEW BEST:: SOT 71309008 SOS 62674360 HAS SOPS 29542079 HAS SOUS 3123085 HAS SOUPS 1085493 WITH SCORE 1148167.36
AT ITER 5910 NEW BEST:: SOT 71308625 SOS 62673594 HAS SOPS 29546203 HAS SOUS 3122212 HAS SOUPS 1085109 WITH SCORE 1147782.594
AT ITER 5929 NEW BEST:: SOT 71308055 SOS 62676786 HAS SOPS 29547115 HAS SOUS 3121756 HAS SOUPS 1084653 WITH SCORE 1147329.786
AT ITER 5932 NEW BEST:: SOT 71307725 SOS 62676126 HAS SOPS 29546455 HAS SOUS 3121536 HAS SOUPS 1084433 WITH SCORE 1147109.126
AT ITER 5954 NEW BEST:: SOT 71307725 SOS 62676126 HAS SOPS 29546455 HAS SOUS 3121256 HAS SOUPS 1084153 WITH SCORE 1146829.126
AT ITER 5964 NEW BEST:: SOT 71307725 SOS 62676126 HAS SOPS 29546455 HAS SOUS 3121210 HAS SOUPS 1084107 WITH SCORE 1146783.126
AT ITER 5973 NEW BEST:: SOT 71307499 SOS 62673028 HAS SOPS 29547767 HAS SOUS 3120685 HAS SOUPS 1084023 WITH SCORE 1146696.028
AT ITER 5984 NEW BEST:: SOT 71305775 SOS 62687142 HAS SOPS 29547811 HAS SOUS 3120465 HAS SOUPS 1083334 WITH SCORE 1146021.142
AT ITER 5993 NEW BEST:: SOT 71305818 SOS 62693356 HAS SOPS 29549015 HAS SOUS 3120457 HAS SOUPS 1083159 WITH SCORE 1145852.356
AT ITER 6032 NEW BEST:: SOT 71305818 SOS 62693356 HAS SOPS 29549015 HAS SOUS 3120269 HAS SOUPS 1082971 WITH SCORE 1145664.356
AT ITER 6042 NEW BEST:: SOT 71305818 SOS 62693356 HAS SOPS 29549015 HAS SOUS 3120101 HAS SOUPS 1082803 WITH SCORE 1145496.356
AT ITER 6050 NEW BEST:: SOT 71305224 SOS 62689495 HAS SOPS 29548124 HAS SOUS 3119514 HAS SOUPS 1082513 WITH SCORE 1145202.495
AT ITER 6056 NEW BEST:: SOT 71305224 SOS 62689495 HAS SOPS 29548124 HAS SOUS 3119384 HAS SOUPS 1082383 WITH SCORE 1145072.495
AT ITER 6069 NEW BEST:: SOT 71304990 SOS 62689027 HAS SOPS 29547656 HAS SOUS 3119033 HAS SOUPS 1082032 WITH SCORE 1144721.027
AT ITER 6098 NEW BEST:: SOT 71304990 SOS 62689027 HAS SOPS 29547656 HAS SOUS 3118753 HAS SOUPS 1081752 WITH SCORE 1144441.027
AT ITER 6108 NEW BEST:: SOT 71304811 SOS 62688669 HAS SOPS 29547298 HAS SOUS 3118395 HAS SOUPS 1081394 WITH SCORE 1144082.669
AT ITER 6118 NEW BEST:: SOT 71304555 SOS 62688157 HAS SOPS 29546786 HAS SOUS 3117469 HAS SOUPS 1080468 WITH SCORE 1143156.157
AT ITER 6180 NEW BEST:: SOT 71304555 SOS 62688007 HAS SOPS 29546886 HAS SOUS 3117444 HAS SOUPS 1080468 WITH SCORE 1143156.007
AT ITER 6199 NEW BEST:: SOT 71303589 SOS 62694031 HAS SOPS 29545890 HAS SOUS 3116786 HAS SOUPS 1079576 WITH SCORE 1142270.031
AT ITER 6209 NEW BEST:: SOT 71303589 SOS 62694031 HAS SOPS 29545890 HAS SOUS 3116668 HAS SOUPS 1079458 WITH SCORE 1142152.031
AT ITER 6219 NEW BEST:: SOT 71303341 SOS 62695023 HAS SOPS 29544402 HAS SOUS 3116668 HAS SOUPS 1079210 WITH SCORE 1141905.023
AT ITER 6222 NEW BEST:: SOT 71302397 SOS 62691719 HAS SOPS 29543458 HAS SOUS 3116391 HAS SOUPS 1079169 WITH SCORE 1141860.719
AT ITER 6248 NEW BEST:: SOT 71302151 SOS 62690489 HAS SOPS 29543458 HAS SOUS 3116022 HAS SOUPS 1078923 WITH SCORE 1141613.489
AT ITER 6249 NEW BEST:: SOT 71301415 SOS 62698061 HAS SOPS 29543050 HAS SOUS 3116012 HAS SOUPS 1078647 WITH SCORE 1141345.061
AT ITER 6263 NEW BEST:: SOT 71300967 SOS 62697125 HAS SOPS 29547614 HAS SOUS 3114873 HAS SOUPS 1078058 WITH SCORE 1140755.125
AT ITER 6281 NEW BEST:: SOT 71301085 SOS 62688879 HAS SOPS 29549649 HAS SOUS 3114783 HAS SOUPS 1078037 WITH SCORE 1140725.879
AT ITER 6321 NEW BEST:: SOT 71292316 SOS 62672635 HAS SOPS 29543571 HAS SOUS 3114288 HAS SOUPS 1077678 WITH SCORE 1140350.635
AT ITER 6331 NEW BEST:: SOT 71292316 SOS 62673145 HAS SOPS 29544081 HAS SOUS 3114206 HAS SOUPS 1077596 WITH SCORE 1140269.145
AT ITER 6354 NEW BEST:: SOT 71292316 SOS 62673145 HAS SOPS 29544081 HAS SOUS 3114190 HAS SOUPS 1077580 WITH SCORE 1140253.145
AT ITER 6375 NEW BEST:: SOT 71293218 SOS 62580056 HAS SOPS 29544539 HAS SOUS 3114227 HAS SOUPS 1077617 WITH SCORE 1140197.056
AT ITER 6396 NEW BEST:: SOT 71292873 SOS 62579366 HAS SOPS 29548049 HAS SOUS 3113195 HAS SOUPS 1077005 WITH SCORE 1139584.366
AT ITER 6423 NEW BEST:: SOT 71292649 SOS 62578908 HAS SOPS 29555031 HAS SOUS 3112306 HAS SOUPS 1076860 WITH SCORE 1139438.908
AT ITER 6426 NEW BEST:: SOT 71291991 SOS 62577592 HAS SOPS 29553715 HAS SOUS 3111648 HAS SOUPS 1076202 WITH SCORE 1138779.592
AT ITER 6441 NEW BEST:: SOT 71291461 SOS 62576532 HAS SOPS 29558375 HAS SOUS 3110340 HAS SOUPS 1075466 WITH SCORE 1138042.532
AT ITER 6491 NEW BEST:: SOT 71291461 SOS 62576532 HAS SOPS 29558375 HAS SOUS 3110126 HAS SOUPS 1075252 WITH SCORE 1137828.532
AT ITER 6497 NEW BEST:: SOT 71291461 SOS 62576532 HAS SOPS 29558375 HAS SOUS 3109846 HAS SOUPS 1074972 WITH SCORE 1137548.532
AT ITER 6498 NEW BEST:: SOT 71291461 SOS 62576532 HAS SOPS 29558375 HAS SOUS 3109624 HAS SOUPS 1074750 WITH SCORE 1137326.532
AT ITER 6507 NEW BEST:: SOT 71291461 SOS 62576532 HAS SOPS 29558375 HAS SOUS 3109580 HAS SOUPS 1074706 WITH SCORE 1137282.532
AT ITER 6524 NEW BEST:: SOT 71291461 SOS 62576532 HAS SOPS 29558375 HAS SOUS 3109300 HAS SOUPS 1074426 WITH SCORE 1137002.532
AT ITER 6527 NEW BEST:: SOT 71291461 SOS 62575292 HAS SOPS 29558375 HAS SOUS 3109176 HAS SOUPS 1074426 WITH SCORE 1137001.292
AT ITER 6559 NEW BEST:: SOT 71285717 SOS 62569192 HAS SOPS 29554969 HAS SOUS 3108908 HAS SOUPS 1074158 WITH SCORE 1136727.192
AT ITER 6589 NEW BEST:: SOT 71285593 SOS 62569598 HAS SOPS 29554285 HAS SOUS 3108742 HAS SOUPS 1073883 WITH SCORE 1136452.598
AT ITER 6592 NEW BEST:: SOT 71277037 SOS 62555324 HAS SOPS 29542434 HAS SOUS 3109107 HAS SOUPS 1073838 WITH SCORE 1136393.324
AT ITER 6634 NEW BEST:: SOT 71276939 SOS 62556078 HAS SOPS 29542238 HAS SOUS 3109101 HAS SOUPS 1073737 WITH SCORE 1136293.078
AT ITER 6661 NEW BEST:: SOT 71276786 SOS 62555772 HAS SOPS 29541932 HAS SOUS 3108948 HAS SOUPS 1073584 WITH SCORE 1136139.772
AT ITER 6673 NEW BEST:: SOT 71276446 SOS 62555092 HAS SOPS 29537922 HAS SOUS 3108941 HAS SOUPS 1073244 WITH SCORE 1135799.092
AT ITER 6678 NEW BEST:: SOT 71275902 SOS 62552186 HAS SOPS 29538046 HAS SOUS 3108094 HAS SOUPS 1072700 WITH SCORE 1135252.186
AT ITER 6691 NEW BEST:: SOT 71275902 SOS 62552186 HAS SOPS 29538046 HAS SOUS 3107886 HAS SOUPS 1072492 WITH SCORE 1135044.186
AT ITER 6700 NEW BEST:: SOT 71275902 SOS 62552186 HAS SOPS 29538046 HAS SOUS 3107884 HAS SOUPS 1072490 WITH SCORE 1135042.186
AT ITER 6707 NEW BEST:: SOT 71276060 SOS 62549972 HAS SOPS 29535778 HAS SOUS 3107812 HAS SOUPS 1072418 WITH SCORE 1134967.972
AT ITER 6718 NEW BEST:: SOT 71276060 SOS 62549972 HAS SOPS 29535778 HAS SOUS 3107810 HAS SOUPS 1072416 WITH SCORE 1134965.972
AT ITER 6788 NEW BEST:: SOT 71276060 SOS 62549972 HAS SOPS 29535778 HAS SOUS 3107550 HAS SOUPS 1072156 WITH SCORE 1134705.972
AT ITER 6799 NEW BEST:: SOT 71274226 SOS 62544150 HAS SOPS 29533546 HAS SOUS 3106411 HAS SOUPS 1071376 WITH SCORE 1133920.15
AT ITER 6818 NEW BEST:: SOT 71274039 SOS 62540578 HAS SOPS 29535304 HAS SOUS 3105876 HAS SOUPS 1071374 WITH SCORE 1133914.578
AT ITER 6844 NEW BEST:: SOT 71273980 SOS 62523940 HAS SOPS 29527516 HAS SOUS 3104932 HAS SOUPS 1070725 WITH SCORE 1133248.94
AT ITER 6864 NEW BEST:: SOT 71273980 SOS 62522810 HAS SOPS 29530416 HAS SOUS 3104529 HAS SOUPS 1070725 WITH SCORE 1133247.81
AT ITER 6889 NEW BEST:: SOT 71273980 SOS 62520848 HAS SOPS 29531724 HAS SOUS 3104202 HAS SOUPS 1070725 WITH SCORE 1133245.848
AT ITER 6905 NEW BEST:: SOT 71272547 SOS 62539832 HAS SOPS 29537308 HAS SOUS 3104016 HAS SOUPS 1070539 WITH SCORE 1133078.832
AT ITER 6934 NEW BEST:: SOT 71272303 SOS 62538612 HAS SOPS 29536088 HAS SOUS 3103772 HAS SOUPS 1070295 WITH SCORE 1132833.612
AT ITER 6941 NEW BEST:: SOT 71270312 SOS 62550240 HAS SOPS 29534216 HAS SOUS 3102796 HAS SOUPS 1068869 WITH SCORE 1131419.24
AT ITER 6983 NEW BEST:: SOT 71270200 SOS 62548386 HAS SOPS 29533992 HAS SOUS 3102471 HAS SOUPS 1068707 WITH SCORE 1131255.386
AT ITER 6989 NEW BEST:: SOT 71267412 SOS 62561432 HAS SOPS 29530568 HAS SOUS 3100695 HAS SOUPS 1066382 WITH SCORE 1128943.432
AT ITER 6995 NEW BEST:: SOT 71267118 SOS 62565548 HAS SOPS 29532724 HAS SOUS 3100499 HAS SOUPS 1066186 WITH SCORE 1128751.548
AT ITER 7020 NEW BEST:: SOT 71270934 SOS 62572544 HAS SOPS 29534632 HAS SOUS 3100181 HAS SOUPS 1065550 WITH SCORE 1128122.544
AT ITER 7027 NEW BEST:: SOT 71270490 SOS 62570726 HAS SOPS 29532814 HAS SOUS 3099496 HAS SOUPS 1064865 WITH SCORE 1127435.726
AT ITER 7038 NEW BEST:: SOT 71264841 SOS 62592720 HAS SOPS 29537028 HAS SOUS 3096549 HAS SOUPS 1061918 WITH SCORE 1124510.72
AT ITER 7055 NEW BEST:: SOT 71261880 SOS 62609712 HAS SOPS 29539980 HAS SOUS 3096711 HAS SOUPS 1061612 WITH SCORE 1124221.712
AT ITER 7072 NEW BEST:: SOT 71261692 SOS 62609336 HAS SOPS 29539604 HAS SOUS 3096436 HAS SOUPS 1061337 WITH SCORE 1123946.336
AT ITER 7075 NEW BEST:: SOT 71261361 SOS 62608674 HAS SOPS 29542252 HAS SOUS 3095774 HAS SOUPS 1061006 WITH SCORE 1123614.674
AT ITER 7086 NEW BEST:: SOT 71261196 SOS 62609742 HAS SOPS 29540990 HAS SOUS 3095745 HAS SOUPS 1060744 WITH SCORE 1123353.742
AT ITER 7093 NEW BEST:: SOT 71261196 SOS 62609742 HAS SOPS 29540990 HAS SOUS 3095465 HAS SOUPS 1060464 WITH SCORE 1123073.742
AT ITER 7103 NEW BEST:: SOT 71259499 SOS 62629888 HAS SOPS 29549236 HAS SOUS 3094393 HAS SOUPS 1059392 WITH SCORE 1122021.888
AT ITER 7119 NEW BEST:: SOT 71259427 SOS 62630086 HAS SOPS 29549254 HAS SOUS 3094348 HAS SOUPS 1059347 WITH SCORE 1121977.086
AT ITER 7127 NEW BEST:: SOT 71259427 SOS 62630086 HAS SOPS 29549254 HAS SOUS 3094068 HAS SOUPS 1059067 WITH SCORE 1121697.086
AT ITER 7138 NEW BEST:: SOT 71259100 SOS 62629861 HAS SOPS 29549121 HAS SOUS 3093928 HAS SOUPS 1059024 WITH SCORE 1121653.861
AT ITER 7160 NEW BEST:: SOT 71259100 SOS 62629861 HAS SOPS 29549121 HAS SOUS 3093732 HAS SOUPS 1058828 WITH SCORE 1121457.861
AT ITER 7169 NEW BEST:: SOT 71259100 SOS 62629861 HAS SOPS 29549121 HAS SOUS 3093658 HAS SOUPS 1058754 WITH SCORE 1121383.861
AT ITER 7214 NEW BEST:: SOT 71258722 SOS 62631795 HAS SOPS 29551055 HAS SOUS 3092911 HAS SOUPS 1058007 WITH SCORE 1120638.795
AT ITER 7219 NEW BEST:: SOT 71258967 SOS 62620427 HAS SOPS 29544627 HAS SOUS 3092895 HAS SOUPS 1057991 WITH SCORE 1120611.427
AT ITER 7228 NEW BEST:: SOT 71258936 SOS 62620365 HAS SOPS 29544565 HAS SOUS 3092864 HAS SOUPS 1057960 WITH SCORE 1120580.365
AT ITER 7256 NEW BEST:: SOT 71258936 SOS 62620365 HAS SOPS 29544565 HAS SOUS 3092644 HAS SOUPS 1057740 WITH SCORE 1120360.365
AT ITER 7258 NEW BEST:: SOT 71255936 SOS 62609829 HAS SOPS 29541589 HAS SOUS 3091298 HAS SOUPS 1057150 WITH SCORE 1119759.829
AT ITER 7269 NEW BEST:: SOT 71255110 SOS 62611397 HAS SOPS 29540857 HAS SOUS 3090702 HAS SOUPS 1056554 WITH SCORE 1119165.397
AT ITER 7270 NEW BEST:: SOT 71255110 SOS 62611397 HAS SOPS 29540857 HAS SOUS 3090422 HAS SOUPS 1056274 WITH SCORE 1118885.397
AT ITER 7281 NEW BEST:: SOT 71255110 SOS 62611397 HAS SOPS 29540857 HAS SOUS 3090350 HAS SOUPS 1056202 WITH SCORE 1118813.397
AT ITER 7289 NEW BEST:: SOT 71255110 SOS 62611397 HAS SOPS 29540857 HAS SOUS 3090306 HAS SOUPS 1056158 WITH SCORE 1118769.397
AT ITER 7389 NEW BEST:: SOT 71252003 SOS 62624519 HAS SOPS 29541539 HAS SOUS 3090125 HAS SOUPS 1055977 WITH SCORE 1118601.519
AT ITER 7391 NEW BEST:: SOT 71240591 SOS 62603283 HAS SOPS 29533337 HAS SOUS 3089284 HAS SOUPS 1055369 WITH SCORE 1117972.283
AT ITER 7428 NEW BEST:: SOT 71240117 SOS 62665485 HAS SOPS 29532810 HAS SOUS 3089614 HAS SOUPS 1055278 WITH SCORE 1117943.485
AT ITER 7478 NEW BEST:: SOT 71239717 SOS 62664685 HAS SOPS 29532010 HAS SOUS 3088890 HAS SOUPS 1054554 WITH SCORE 1117218.685
AT ITER 7501 NEW BEST:: SOT 71238861 SOS 62666121 HAS SOPS 29533446 HAS SOUS 3088829 HAS SOUPS 1054493 WITH SCORE 1117159.121
AT ITER 7521 NEW BEST:: SOT 71238810 SOS 62666019 HAS SOPS 29534814 HAS SOUS 3088606 HAS SOUPS 1054417 WITH SCORE 1117083.019
AT ITER 7552 NEW BEST:: SOT 71238810 SOS 62666019 HAS SOPS 29534814 HAS SOUS 3088326 HAS SOUPS 1054137 WITH SCORE 1116803.019
AT ITER 7568 NEW BEST:: SOT 71230654 SOS 62680809 HAS SOPS 29536779 HAS SOUS 3082579 HAS SOUPS 1049123 WITH SCORE 1111803.809
AT ITER 7570 NEW BEST:: SOT 71227994 SOS 62697115 HAS SOPS 29542445 HAS SOUS 3080256 HAS SOUPS 1046800 WITH SCORE 1109497.115
AT ITER 7576 NEW BEST:: SOT 71227994 SOS 62697115 HAS SOPS 29542445 HAS SOUS 3080034 HAS SOUPS 1046578 WITH SCORE 1109275.115
AT ITER 7596 NEW BEST:: SOT 71228280 SOS 62701227 HAS SOPS 29546557 HAS SOUS 3079946 HAS SOUPS 1046490 WITH SCORE 1109191.227
AT ITER 7601 NEW BEST:: SOT 71228280 SOS 62701227 HAS SOPS 29546557 HAS SOUS 3079764 HAS SOUPS 1046308 WITH SCORE 1109009.227
AT ITER 7640 NEW BEST:: SOT 71227001 SOS 62708100 HAS SOPS 29543956 HAS SOUS 3079727 HAS SOUPS 1045957 WITH SCORE 1108665.1
AT ITER 7641 NEW BEST:: SOT 71227001 SOS 62708100 HAS SOPS 29543956 HAS SOUS 3079517 HAS SOUPS 1045747 WITH SCORE 1108455.1
AT ITER 7651 NEW BEST:: SOT 71226973 SOS 62708044 HAS SOPS 29543900 HAS SOUS 3079488 HAS SOUPS 1045718 WITH SCORE 1108426.044
AT ITER 7673 NEW BEST:: SOT 71227188 SOS 62697054 HAS SOPS 29537910 HAS SOUS 3079452 HAS SOUPS 1045682 WITH SCORE 1108379.054
AT ITER 7703 NEW BEST:: SOT 71227188 SOS 62697054 HAS SOPS 29537910 HAS SOUS 3079172 HAS SOUPS 1045402 WITH SCORE 1108099.054
AT ITER 7721 NEW BEST:: SOT 71227188 SOS 62697054 HAS SOPS 29537910 HAS SOUS 3078930 HAS SOUPS 1045160 WITH SCORE 1107857.054
AT ITER 7725 NEW BEST:: SOT 71226967 SOS 62696612 HAS SOPS 29537468 HAS SOUS 3078602 HAS SOUPS 1044832 WITH SCORE 1107528.612
AT ITER 7753 NEW BEST:: SOT 71215660 SOS 62675227 HAS SOPS 29530767 HAS SOUS 3077530 HAS SOUPS 1044544 WITH SCORE 1107219.227
AT ITER 7761 NEW BEST:: SOT 71213866 SOS 62668939 HAS SOPS 29528979 HAS SOUS 3075964 HAS SOUPS 1043428 WITH SCORE 1106096.939
AT ITER 7789 NEW BEST:: SOT 71213075 SOS 62672329 HAS SOPS 29528979 HAS SOUS 3075625 HAS SOUPS 1042976 WITH SCORE 1105648.329
AT ITER 7866 NEW BEST:: SOT 71213075 SOS 62672329 HAS SOPS 29528979 HAS SOUS 3075345 HAS SOUPS 1042696 WITH SCORE 1105368.329
AT ITER 7897 NEW BEST:: SOT 71212550 SOS 62671279 HAS SOPS 29527929 HAS SOUS 3074373 HAS SOUPS 1041724 WITH SCORE 1104395.279
AT ITER 7908 NEW BEST:: SOT 71212550 SOS 62669609 HAS SOPS 29527929 HAS SOUS 3074205 HAS SOUPS 1041723 WITH SCORE 1104392.609
AT ITER 7947 NEW BEST:: SOT 71211384 SOS 62665423 HAS SOPS 29523743 HAS SOUS 3073943 HAS SOUPS 1041461 WITH SCORE 1104126.423
AT ITER 7957 NEW BEST:: SOT 71210234 SOS 62663123 HAS SOPS 29521443 HAS SOUS 3073606 HAS SOUPS 1041124 WITH SCORE 1103787.123
AT ITER 7965 NEW BEST:: SOT 71216383 SOS 62671924 HAS SOPS 29527502 HAS SOUS 3073336 HAS SOUPS 1041100 WITH SCORE 1103771.924
AT ITER 7977 NEW BEST:: SOT 71216383 SOS 62671924 HAS SOPS 29527502 HAS SOUS 3073056 HAS SOUPS 1040820 WITH SCORE 1103491.924
AT ITER 8002 NEW BEST:: SOT 71216383 SOS 62671924 HAS SOPS 29527502 HAS SOUS 3072974 HAS SOUPS 1040738 WITH SCORE 1103409.924
AT ITER 8018 NEW BEST:: SOT 71216383 SOS 62671924 HAS SOPS 29527502 HAS SOUS 3072414 HAS SOUPS 1040178 WITH SCORE 1102849.924
AT ITER 8024 NEW BEST:: SOT 71216359 SOS 62675376 HAS SOPS 29527454 HAS SOUS 3072740 HAS SOUPS 1040154 WITH SCORE 1102829.376
AT ITER 8035 NEW BEST:: SOT 71216359 SOS 62675046 HAS SOPS 29527454 HAS SOUS 3072707 HAS SOUPS 1040154 WITH SCORE 1102829.046
AT ITER 8054 NEW BEST:: SOT 71216202 SOS 62674732 HAS SOPS 29527140 HAS SOUS 3072393 HAS SOUPS 1039840 WITH SCORE 1102514.732
AT ITER 8056 NEW BEST:: SOT 71205988 SOS 62655692 HAS SOPS 29520416 HAS SOUS 3071899 HAS SOUPS 1039762 WITH SCORE 1102417.692
AT ITER 8105 NEW BEST:: SOT 71205988 SOS 62655692 HAS SOPS 29520416 HAS SOUS 3071705 HAS SOUPS 1039568 WITH SCORE 1102223.692
AT ITER 8125 NEW BEST:: SOT 71205959 SOS 62655634 HAS SOPS 29520358 HAS SOUS 3071675 HAS SOUPS 1039538 WITH SCORE 1102193.634
AT ITER 8163 NEW BEST:: SOT 71205536 SOS 62661876 HAS SOPS 29521290 HAS SOUS 3071305 HAS SOUPS 1038991 WITH SCORE 1101652.876
AT ITER 8198 NEW BEST:: SOT 71203944 SOS 62673264 HAS SOPS 29525398 HAS SOUS 3070077 HAS SOUPS 1037763 WITH SCORE 1100436.264
AT ITER 8236 NEW BEST:: SOT 71203944 SOS 62673264 HAS SOPS 29525398 HAS SOUS 3069654 HAS SOUPS 1037340 WITH SCORE 1100013.264
AT ITER 8270 NEW BEST:: SOT 71203944 SOS 62673264 HAS SOPS 29525398 HAS SOUS 3069584 HAS SOUPS 1037270 WITH SCORE 1099943.264
AT ITER 8296 NEW BEST:: SOT 71203869 SOS 62675154 HAS SOPS 29524695 HAS SOUS 3069220 HAS SOUPS 1036650 WITH SCORE 1099325.154
AT ITER 8316 NEW BEST:: SOT 71202593 SOS 62684898 HAS SOPS 29527399 HAS SOUS 3068479 HAS SOUPS 1035909 WITH SCORE 1098593.898
AT ITER 8325 NEW BEST:: SOT 71202385 SOS 62687478 HAS SOPS 29527839 HAS SOUS 3068465 HAS SOUPS 1035895 WITH SCORE 1098582.4780000001
AT ITER 8340 NEW BEST:: SOT 71202323 SOS 62687624 HAS SOPS 29527751 HAS SOUS 3068426 HAS SOUPS 1035856 WITH SCORE 1098543.624
AT ITER 8357 NEW BEST:: SOT 71202254 SOS 62687509 HAS SOPS 29527636 HAS SOUS 3068380 HAS SOUPS 1035810 WITH SCORE 1098497.509
AT ITER 8387 NEW BEST:: SOT 71202254 SOS 62687085 HAS SOPS 29527212 HAS SOUS 3068380 HAS SOUPS 1035810 WITH SCORE 1098497.085
AT ITER 8402 NEW BEST:: SOT 71202491 SOS 62674837 HAS SOPS 29522734 HAS SOUS 3067963 HAS SOUPS 1035652 WITH SCORE 1098326.837
AT ITER 8412 NEW BEST:: SOT 71202353 SOS 62674561 HAS SOPS 29522458 HAS SOUS 3067825 HAS SOUPS 1035514 WITH SCORE 1098188.561
AT ITER 8415 NEW BEST:: SOT 71201272 SOS 62684063 HAS SOPS 29524670 HAS SOUS 3067959 HAS SOUPS 1035405 WITH SCORE 1098089.063
AT ITER 8428 NEW BEST:: SOT 71199298 SOS 62695319 HAS SOPS 29526766 HAS SOUS 3067199 HAS SOUPS 1034645 WITH SCORE 1097340.319
AT ITER 8434 NEW BEST:: SOT 71199298 SOS 62695319 HAS SOPS 29526766 HAS SOUS 3066919 HAS SOUPS 1034365 WITH SCORE 1097060.319
AT ITER 8446 NEW BEST:: SOT 71199298 SOS 62695319 HAS SOPS 29526766 HAS SOUS 3066639 HAS SOUPS 1034085 WITH SCORE 1096780.319
AT ITER 8511 NEW BEST:: SOT 71189683 SOS 62676934 HAS SOPS 29520509 HAS SOUS 3065919 HAS SOUPS 1034054 WITH SCORE 1096730.934
AT ITER 8519 NEW BEST:: SOT 71189683 SOS 62676934 HAS SOPS 29520509 HAS SOUS 3065907 HAS SOUPS 1034042 WITH SCORE 1096718.934
AT ITER 8545 NEW BEST:: SOT 71189683 SOS 62673574 HAS SOPS 29518549 HAS SOUS 3065837 HAS SOUPS 1033972 WITH SCORE 1096645.574
AT ITER 8546 NEW BEST:: SOT 71189683 SOS 62673574 HAS SOPS 29518549 HAS SOUS 3065557 HAS SOUPS 1033692 WITH SCORE 1096365.574
AT ITER 8551 NEW BEST:: SOT 71188624 SOS 62684870 HAS SOPS 29519255 HAS SOUS 3065557 HAS SOUPS 1033339 WITH SCORE 1096023.87
AT ITER 8611 NEW BEST:: SOT 71188538 SOS 62684698 HAS SOPS 29519083 HAS SOUS 3065471 HAS SOUPS 1033253 WITH SCORE 1095937.698
AT ITER 8622 NEW BEST:: SOT 71187888 SOS 62679771 HAS SOPS 29518186 HAS SOUS 3064835 HAS SOUPS 1033020 WITH SCORE 1095699.771
AT ITER 8631 NEW BEST:: SOT 71187888 SOS 62679771 HAS SOPS 29518186 HAS SOUS 3064599 HAS SOUPS 1032784 WITH SCORE 1095463.771
AT ITER 8635 NEW BEST:: SOT 71186347 SOS 62676908 HAS SOPS 29516966 HAS SOUS 3064380 HAS SOUPS 1032565 WITH SCORE 1095241.908
AT ITER 8647 NEW BEST:: SOT 71186319 SOS 62677202 HAS SOPS 29516500 HAS SOUS 3064404 HAS SOUPS 1032513 WITH SCORE 1095190.202
AT ITER 8652 NEW BEST:: SOT 71186319 SOS 62677202 HAS SOPS 29516500 HAS SOUS 3064198 HAS SOUPS 1032307 WITH SCORE 1094984.202
AT ITER 8701 NEW BEST:: SOT 71186204 SOS 62676972 HAS SOPS 29516270 HAS SOUS 3064083 HAS SOUPS 1032192 WITH SCORE 1094868.972
AT ITER 8762 NEW BEST:: SOT 71186050 SOS 62676664 HAS SOPS 29515962 HAS SOUS 3063743 HAS SOUPS 1031852 WITH SCORE 1094528.664
AT ITER 8773 NEW BEST:: SOT 71185804 SOS 62678186 HAS SOPS 29515894 HAS SOUS 3063781 HAS SOUPS 1031837 WITH SCORE 1094515.186
AT ITER 8791 NEW BEST:: SOT 71185804 SOS 62678186 HAS SOPS 29515894 HAS SOUS 3063721 HAS SOUPS 1031777 WITH SCORE 1094455.186
AT ITER 8799 NEW BEST:: SOT 71185388 SOS 62676166 HAS SOPS 29513874 HAS SOUS 3063653 HAS SOUPS 1031709 WITH SCORE 1094385.166
AT ITER 8808 NEW BEST:: SOT 71183227 SOS 62701538 HAS SOPS 29525386 HAS SOUS 3062045 HAS SOUPS 1030101 WITH SCORE 1092802.538
AT ITER 8816 NEW BEST:: SOT 71183061 SOS 62700408 HAS SOPS 29524256 HAS SOUS 3061879 HAS SOUPS 1029935 WITH SCORE 1092635.408
AT ITER 8842 NEW BEST:: SOT 71183061 SOS 62700408 HAS SOPS 29524256 HAS SOUS 3061851 HAS SOUPS 1029907 WITH SCORE 1092607.408
AT ITER 8875 NEW BEST:: SOT 71183061 SOS 62700408 HAS SOPS 29524256 HAS SOUS 3061659 HAS SOUPS 1029715 WITH SCORE 1092415.408
AT ITER 8889 NEW BEST:: SOT 71183061 SOS 62700408 HAS SOPS 29524256 HAS SOUS 3061585 HAS SOUPS 1029641 WITH SCORE 1092341.408
AT ITER 8897 NEW BEST:: SOT 71179969 SOS 62689046 HAS SOPS 29521524 HAS SOUS 3060183 HAS SOUPS 1029102 WITH SCORE 1091791.046
AT ITER 8899 NEW BEST:: SOT 71176253 SOS 62710604 HAS SOPS 29527582 HAS SOUS 3057520 HAS SOUPS 1026439 WITH SCORE 1089149.604
AT ITER 8924 NEW BEST:: SOT 71176253 SOS 62710604 HAS SOPS 29527582 HAS SOUS 3057406 HAS SOUPS 1026325 WITH SCORE 1089035.604
AT ITER 8985 NEW BEST:: SOT 71176253 SOS 62710604 HAS SOPS 29527582 HAS SOUS 3057126 HAS SOUPS 1026045 WITH SCORE 1088755.604
AT ITER 9019 NEW BEST:: SOT 71176035 SOS 62715138 HAS SOPS 29527126 HAS SOUS 3057316 HAS SOUPS 1025736 WITH SCORE 1088451.138
AT ITER 9175 NEW BEST:: SOT 71176035 SOS 62715138 HAS SOPS 29527126 HAS SOUS 3057256 HAS SOUPS 1025676 WITH SCORE 1088391.138
AT ITER 9180 NEW BEST:: SOT 71175758 SOS 62712088 HAS SOPS 29528236 HAS SOUS 3056682 HAS SOUPS 1025518 WITH SCORE 1088230.088
AT ITER 9201 NEW BEST:: SOT 71175062 SOS 62712256 HAS SOPS 29528404 HAS SOUS 3055879 HAS SOUPS 1024715 WITH SCORE 1087427.256
AT ITER 9332 NEW BEST:: SOT 71174560 SOS 62718186 HAS SOPS 29528244 HAS SOUS 3055918 HAS SOUPS 1024551 WITH SCORE 1087269.186
AT ITER 9419 NEW BEST:: SOT 71174560 SOS 62718186 HAS SOPS 29528244 HAS SOUS 3055824 HAS SOUPS 1024457 WITH SCORE 1087175.186
AT ITER 9447 NEW BEST:: SOT 71174560 SOS 62718186 HAS SOPS 29528244 HAS SOUS 3055544 HAS SOUPS 1024177 WITH SCORE 1086895.186
AT ITER 9456 NEW BEST:: SOT 71173126 SOS 62721132 HAS SOPS 29525850 HAS SOUS 3054667 HAS SOUPS 1023122 WITH SCORE 1085843.132
AT ITER 9471 NEW BEST:: SOT 71170553 SOS 62735588 HAS SOPS 29528626 HAS SOUS 3054597 HAS SOUPS 1023052 WITH SCORE 1085787.588
AT ITER 9503 NEW BEST:: SOT 71170553 SOS 62735588 HAS SOPS 29528626 HAS SOUS 3054587 HAS SOUPS 1023042 WITH SCORE 1085777.588
AT ITER 9524 NEW BEST:: SOT 71170289 SOS 62735060 HAS SOPS 29526138 HAS SOUS 3054451 HAS SOUPS 1022710 WITH SCORE 1085445.06
AT ITER 9551 NEW BEST:: SOT 71170289 SOS 62735060 HAS SOPS 29526138 HAS SOUS 3054297 HAS SOUPS 1022556 WITH SCORE 1085291.06
AT ITER 9594 NEW BEST:: SOT 71170289 SOS 62735060 HAS SOPS 29526138 HAS SOUS 3054167 HAS SOUPS 1022426 WITH SCORE 1085161.06
AT ITER 9603 NEW BEST:: SOT 71170062 SOS 62734606 HAS SOPS 29525684 HAS SOUS 3054167 HAS SOUPS 1022426 WITH SCORE 1085160.606
AT ITER 9608 NEW BEST:: SOT 71170168 SOS 62730988 HAS SOPS 29522066 HAS SOUS 3053996 HAS SOUPS 1022255 WITH SCORE 1084985.988
AT ITER 9618 NEW BEST:: SOT 71172136 SOS 62734596 HAS SOPS 29523050 HAS SOUS 3053832 HAS SOUPS 1021927 WITH SCORE 1084661.596
AT ITER 9702 NEW BEST:: SOT 71166277 SOS 62724793 HAS SOPS 29515669 HAS SOUS 3053280 HAS SOUPS 1021375 WITH SCORE 1084099.793
AT ITER 9754 NEW BEST:: SOT 71165905 SOS 62722419 HAS SOPS 29515155 HAS SOUS 3052536 HAS SOUPS 1020817 WITH SCORE 1083539.419
AT ITER 9795 NEW BEST:: SOT 71165905 SOS 62722419 HAS SOPS 29515155 HAS SOUS 3052256 HAS SOUPS 1020537 WITH SCORE 1083259.419
AT ITER 9841 NEW BEST:: SOT 71165971 SOS 62721891 HAS SOPS 29515287 HAS SOUS 3052190 HAS SOUPS 1020537 WITH SCORE 1083258.891
AT ITER 9847 NEW BEST:: SOT 71165670 SOS 62721289 HAS SOPS 29514685 HAS SOUS 3051889 HAS SOUPS 1020236 WITH SCORE 1082957.289
AT ITER 9848 NEW BEST:: SOT 71165670 SOS 62721289 HAS SOPS 29514685 HAS SOUS 3051761 HAS SOUPS 1020108 WITH SCORE 1082829.289
AT ITER 9874 NEW BEST:: SOT 71165509 SOS 62721933 HAS SOPS 29513719 HAS SOUS 3051761 HAS SOUPS 1019947 WITH SCORE 1082668.933
AT ITER 9907 NEW BEST:: SOT 71164107 SOS 62754075 HAS SOPS 29522191 HAS SOUS 3050563 HAS SOUPS 1017960 WITH SCORE 1080714.075
AT ITER 9933 NEW BEST:: SOT 71163887 SOS 62753635 HAS SOPS 29521751 HAS SOUS 3049590 HAS SOUPS 1016987 WITH SCORE 1079740.635
AT ITER 9940 NEW BEST:: SOT 71163539 SOS 62752939 HAS SOPS 29522795 HAS SOUS 3048894 HAS SOUPS 1016465 WITH SCORE 1079217.939
AT ITER 9974 NEW BEST:: SOT 71162587 SOS 62751035 HAS SOPS 29520891 HAS SOUS 3048758 HAS SOUPS 1016329 WITH SCORE 1079080.035
AT ITER 9984 NEW BEST:: SOT 71161775 SOS 62749961 HAS SOPS 29515077 HAS SOUS 3048161 HAS SOUPS 1015258 WITH SCORE 1078007.961
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 8671616 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16083288 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="DLCflexbar-PT-8a"
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 DLCflexbar-PT-8a, 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 r107-tall-167814484400608"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-8a.tgz
mv DLCflexbar-PT-8a 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 ;