About the Execution of Smart+red for PolyORBLF-PT-S04J06T10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2366.588 | 3600000.00 | 3644882.00 | 8608.80 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r299-tall-167873953200584.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 PolyORBLF-PT-S04J06T10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953200584
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.9M
-rw-r--r-- 1 mcc users 26K Feb 26 14:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 146K Feb 26 14:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 26K Feb 26 14:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 148K Feb 26 14:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 9.6K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 40K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 144K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 480K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 47K Feb 26 14:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 248K Feb 26 14:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 38K Feb 26 14:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 195K Feb 26 14:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 8.6K Feb 25 16:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 4.3M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679515529169
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=PolyORBLF-PT-S04J06T10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 20:05:30] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 20:05:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 20:05:30] [INFO ] Load time of PNML (sax parser for PT used): 253 ms
[2023-03-22 20:05:30] [INFO ] Transformed 966 places.
[2023-03-22 20:05:31] [INFO ] Transformed 5354 transitions.
[2023-03-22 20:05:31] [INFO ] Parsed PT model containing 966 places and 5354 transitions and 36134 arcs in 408 ms.
[2023-03-22 20:05:31] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 966 places, 5354 transitions and 36134 arcs took 57 ms.
Total runtime 491 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S04J06T10
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: 966 places, 5354 transitions, 36134 arcs.
AT ITER 0 NEW BEST:: SOT 4413903 SOS 992278 HAS SOPS 976835 HAS SOUS 528072 HAS SOUPS 527622 WITH SCORE 528614.278
AT ITER 6 NEW BEST:: SOT 4411092 SOS 1000738 HAS SOPS 985425 HAS SOUS 525446 HAS SOUPS 524995 WITH SCORE 525995.738
AT ITER 14 NEW BEST:: SOT 4411065 SOS 999989 HAS SOPS 984676 HAS SOUS 525335 HAS SOUPS 524884 WITH SCORE 525883.989
AT ITER 26 NEW BEST:: SOT 4409203 SOS 999547 HAS SOPS 983796 HAS SOUS 523571 HAS SOUPS 523009 WITH SCORE 524008.547
AT ITER 27 NEW BEST:: SOT 4409203 SOS 999547 HAS SOPS 983847 HAS SOUS 523568 HAS SOUPS 523006 WITH SCORE 524005.547
AT ITER 29 NEW BEST:: SOT 4409051 SOS 999395 HAS SOPS 983695 HAS SOUS 523381 HAS SOUPS 522819 WITH SCORE 523818.395
AT ITER 35 NEW BEST:: SOT 4409064 SOS 1001361 HAS SOPS 985601 HAS SOUS 523358 HAS SOUPS 522757 WITH SCORE 523758.361
AT ITER 38 NEW BEST:: SOT 4409055 SOS 1001343 HAS SOPS 985583 HAS SOUS 523340 HAS SOUPS 522739 WITH SCORE 523740.343
AT ITER 42 NEW BEST:: SOT 4408807 SOS 1001095 HAS SOPS 985335 HAS SOUS 523024 HAS SOUPS 522423 WITH SCORE 523424.095
AT ITER 73 NEW BEST:: SOT 4409377 SOS 1001525 HAS SOPS 985710 HAS SOUS 522445 HAS SOUPS 521789 WITH SCORE 522790.525
AT ITER 75 NEW BEST:: SOT 4408703 SOS 1000540 HAS SOPS 984725 HAS SOUS 521729 HAS SOUPS 521073 WITH SCORE 522073.54
AT ITER 83 NEW BEST:: SOT 4408594 SOS 1000036 HAS SOPS 984221 HAS SOUS 521610 HAS SOUPS 520954 WITH SCORE 521954.036
AT ITER 95 NEW BEST:: SOT 4408543 SOS 999457 HAS SOPS 983642 HAS SOUS 521329 HAS SOUPS 520673 WITH SCORE 521672.457
AT ITER 102 NEW BEST:: SOT 4408450 SOS 999271 HAS SOPS 983211 HAS SOUS 521187 HAS SOUPS 520394 WITH SCORE 521393.271
AT ITER 104 NEW BEST:: SOT 4408418 SOS 999250 HAS SOPS 983190 HAS SOUS 521107 HAS SOUPS 520314 WITH SCORE 521313.25
AT ITER 112 NEW BEST:: SOT 4408330 SOS 998810 HAS SOPS 982750 HAS SOUS 521019 HAS SOUPS 520226 WITH SCORE 521224.81
AT ITER 113 NEW BEST:: SOT 4409460 SOS 999645 HAS SOPS 983526 HAS SOUS 514296 HAS SOUPS 513500 WITH SCORE 514499.645
AT ITER 119 NEW BEST:: SOT 4409374 SOS 1000285 HAS SOPS 984369 HAS SOUS 512035 HAS SOUPS 511239 WITH SCORE 512239.285
AT ITER 125 NEW BEST:: SOT 4409329 SOS 1000240 HAS SOPS 984324 HAS SOUS 511906 HAS SOUPS 511110 WITH SCORE 512110.24
AT ITER 135 NEW BEST:: SOT 4409355 SOS 1000266 HAS SOPS 984350 HAS SOUS 511886 HAS SOUPS 511090 WITH SCORE 512090.266
AT ITER 139 NEW BEST:: SOT 4317555 SOS 2999192 HAS SOPS 2983828 HAS SOUS 495515 HAS SOUPS 494888 WITH SCORE 497887.192
AT ITER 141 NEW BEST:: SOT 4317430 SOS 2999192 HAS SOPS 2983828 HAS SOUS 495455 HAS SOUPS 494828 WITH SCORE 497827.192
AT ITER 145 NEW BEST:: SOT 4317311 SOS 2999216 HAS SOPS 2983852 HAS SOUS 495386 HAS SOUPS 494759 WITH SCORE 497758.216
AT ITER 146 NEW BEST:: SOT 4321283 SOS 3003614 HAS SOPS 2988416 HAS SOUS 493049 HAS SOUPS 492422 WITH SCORE 495425.614
AT ITER 150 NEW BEST:: SOT 4320761 SOS 3002857 HAS SOPS 2987659 HAS SOUS 492507 HAS SOUPS 491880 WITH SCORE 494882.857
AT ITER 159 NEW BEST:: SOT 4320761 SOS 3002659 HAS SOPS 2987461 HAS SOUS 492507 HAS SOUPS 491880 WITH SCORE 494882.659
AT ITER 160 NEW BEST:: SOT 4320859 SOS 3002757 HAS SOPS 2987559 HAS SOUS 492453 HAS SOUPS 491826 WITH SCORE 494828.757
AT ITER 163 NEW BEST:: SOT 4320890 SOS 3004433 HAS SOPS 2989205 HAS SOUS 492409 HAS SOUPS 491782 WITH SCORE 494786.433
AT ITER 168 NEW BEST:: SOT 4320886 SOS 3004429 HAS SOPS 2989201 HAS SOUS 492405 HAS SOUPS 491778 WITH SCORE 494782.429
AT ITER 189 NEW BEST:: SOT 4320573 SOS 3003989 HAS SOPS 2988761 HAS SOUS 492085 HAS SOUPS 491458 WITH SCORE 494461.989
AT ITER 194 NEW BEST:: SOT 4321783 SOS 3005493 HAS SOPS 2990580 HAS SOUS 486481 HAS SOUPS 485854 WITH SCORE 488859.493
AT ITER 199 NEW BEST:: SOT 4321733 SOS 3005443 HAS SOPS 2990530 HAS SOUS 486409 HAS SOUPS 485782 WITH SCORE 488787.443
AT ITER 241 NEW BEST:: SOT 4319718 SOS 3005429 HAS SOPS 2990474 HAS SOUS 484202 HAS SOUPS 483634 WITH SCORE 486639.429
AT ITER 242 NEW BEST:: SOT 4319301 SOS 3005012 HAS SOPS 2990057 HAS SOUS 483930 HAS SOUPS 483362 WITH SCORE 486367.012
AT ITER 256 NEW BEST:: SOT 4319301 SOS 3006192 HAS SOPS 2991097 HAS SOUS 483928 HAS SOUPS 483346 WITH SCORE 486352.192
AT ITER 262 NEW BEST:: SOT 4324465 SOS 3011356 HAS SOPS 2996261 HAS SOUS 480517 HAS SOUPS 479935 WITH SCORE 482946.356
AT ITER 271 NEW BEST:: SOT 4324474 SOS 3011365 HAS SOPS 2996217 HAS SOUS 480529 HAS SOUPS 479900 WITH SCORE 482911.365
AT ITER 284 NEW BEST:: SOT 4324332 SOS 3011204 HAS SOPS 2996056 HAS SOUS 480482 HAS SOUPS 479853 WITH SCORE 482864.204
AT ITER 288 NEW BEST:: SOT 4324323 SOS 3011186 HAS SOPS 2996038 HAS SOUS 480464 HAS SOUPS 479835 WITH SCORE 482846.186
AT ITER 297 NEW BEST:: SOT 4324004 SOS 3010867 HAS SOPS 2995719 HAS SOUS 479920 HAS SOUPS 479291 WITH SCORE 482301.867
AT ITER 302 NEW BEST:: SOT 4323926 SOS 3010748 HAS SOPS 2995600 HAS SOUS 473320 HAS SOUPS 472691 WITH SCORE 475701.748
AT ITER 313 NEW BEST:: SOT 4323482 SOS 3010008 HAS SOPS 2994860 HAS SOUS 472848 HAS SOUPS 472219 WITH SCORE 475229.008
AT ITER 316 NEW BEST:: SOT 4316079 SOS 3003217 HAS SOPS 2988069 HAS SOUS 465551 HAS SOUPS 464922 WITH SCORE 467925.217
AT ITER 336 NEW BEST:: SOT 4318908 SOS 3006824 HAS SOPS 2991676 HAS SOUS 461671 HAS SOUPS 461042 WITH SCORE 464048.824
AT ITER 337 NEW BEST:: SOT 4318878 SOS 3006794 HAS SOPS 2991646 HAS SOUS 461628 HAS SOUPS 460999 WITH SCORE 464005.794
AT ITER 345 NEW BEST:: SOT 4318709 SOS 3006794 HAS SOPS 2991794 HAS SOUS 461476 HAS SOUPS 460847 WITH SCORE 463853.794
AT ITER 350 NEW BEST:: SOT 4318593 SOS 3006678 HAS SOPS 2991678 HAS SOUS 461330 HAS SOUPS 460701 WITH SCORE 463707.678
AT ITER 353 NEW BEST:: SOT 4318473 SOS 3006724 HAS SOPS 2991890 HAS SOUS 461139 HAS SOUPS 460510 WITH SCORE 463516.724
AT ITER 360 NEW BEST:: SOT 4318445 SOS 3007946 HAS SOPS 2993112 HAS SOUS 461137 HAS SOUPS 460508 WITH SCORE 463515.946
AT ITER 362 NEW BEST:: SOT 4318643 SOS 3008144 HAS SOPS 2993310 HAS SOUS 460711 HAS SOUPS 460082 WITH SCORE 463090.144
AT ITER 368 NEW BEST:: SOT 4318836 SOS 3009268 HAS SOPS 2994681 HAS SOUS 459923 HAS SOUPS 459294 WITH SCORE 462303.268
AT ITER 385 NEW BEST:: SOT 4318628 SOS 3009031 HAS SOPS 2994444 HAS SOUS 459806 HAS SOUPS 459177 WITH SCORE 462186.031
AT ITER 388 NEW BEST:: SOT 4318698 SOS 3008952 HAS SOPS 2994313 HAS SOUS 459727 HAS SOUPS 459098 WITH SCORE 462106.952
AT ITER 394 NEW BEST:: SOT 4318233 SOS 3008254 HAS SOPS 2993615 HAS SOUS 459261 HAS SOUPS 458632 WITH SCORE 461640.254
AT ITER 400 NEW BEST:: SOT 4318531 SOS 3009728 HAS SOPS 2995089 HAS SOUS 459216 HAS SOUPS 458587 WITH SCORE 461596.728
AT ITER 401 NEW BEST:: SOT 4318313 SOS 3009680 HAS SOPS 2995041 HAS SOUS 459185 HAS SOUPS 458556 WITH SCORE 461565.68
AT ITER 409 NEW BEST:: SOT 4318120 SOS 3009321 HAS SOPS 2994714 HAS SOUS 458805 HAS SOUPS 458176 WITH SCORE 461185.321
AT ITER 417 NEW BEST:: SOT 4317950 SOS 3009964 HAS SOPS 2995357 HAS SOUS 453613 HAS SOUPS 452984 WITH SCORE 455993.964
AT ITER 435 NEW BEST:: SOT 4317950 SOS 3009796 HAS SOPS 2995189 HAS SOUS 453592 HAS SOUPS 452963 WITH SCORE 455972.796
AT ITER 447 NEW BEST:: SOT 4317830 SOS 3009556 HAS SOPS 2994949 HAS SOUS 453352 HAS SOUPS 452723 WITH SCORE 455732.556
AT ITER 449 NEW BEST:: SOT 4317830 SOS 3009651 HAS SOPS 2995139 HAS SOUS 453298 HAS SOUPS 452669 WITH SCORE 455678.651
AT ITER 452 NEW BEST:: SOT 4317838 SOS 3009701 HAS SOPS 2995189 HAS SOUS 453140 HAS SOUPS 452511 WITH SCORE 455520.701
AT ITER 458 NEW BEST:: SOT 4317640 SOS 3009593 HAS SOPS 2995081 HAS SOUS 452978 HAS SOUPS 452349 WITH SCORE 455358.593
AT ITER 459 NEW BEST:: SOT 4317590 SOS 3009543 HAS SOPS 2995031 HAS SOUS 452778 HAS SOUPS 452149 WITH SCORE 455158.543
AT ITER 478 NEW BEST:: SOT 4317316 SOS 3009328 HAS SOPS 2994816 HAS SOUS 452504 HAS SOUPS 451875 WITH SCORE 454884.328
AT ITER 480 NEW BEST:: SOT 4317316 SOS 3009412 HAS SOPS 2994900 HAS SOUS 452488 HAS SOUPS 451859 WITH SCORE 454868.412
AT ITER 483 NEW BEST:: SOT 4317300 SOS 3009380 HAS SOPS 2994868 HAS SOUS 452448 HAS SOUPS 451819 WITH SCORE 454828.38
AT ITER 487 NEW BEST:: SOT 4317300 SOS 3008946 HAS SOPS 2994434 HAS SOUS 452365 HAS SOUPS 451736 WITH SCORE 454744.946
AT ITER 489 NEW BEST:: SOT 4317302 SOS 3008867 HAS SOPS 2994091 HAS SOUS 452170 HAS SOUPS 451494 WITH SCORE 454502.867
AT ITER 492 NEW BEST:: SOT 4316567 SOS 3022735 HAS SOPS 2995936 HAS SOUS 450868 HAS SOUPS 449844 WITH SCORE 452866.735
AT ITER 501 NEW BEST:: SOT 4316808 SOS 3023340 HAS SOPS 2996541 HAS SOUS 450714 HAS SOUPS 449690 WITH SCORE 452713.34
AT ITER 504 NEW BEST:: SOT 4316835 SOS 3023367 HAS SOPS 2996568 HAS SOUS 450624 HAS SOUPS 449600 WITH SCORE 452623.367
AT ITER 507 NEW BEST:: SOT 4315184 SOS 3021818 HAS SOPS 2994743 HAS SOUS 448524 HAS SOUPS 447319 WITH SCORE 450340.818
AT ITER 515 NEW BEST:: SOT 4315632 SOS 3021690 HAS SOPS 2994725 HAS SOUS 448134 HAS SOUPS 446929 WITH SCORE 449950.69
AT ITER 522 NEW BEST:: SOT 4315304 SOS 3021485 HAS SOPS 2994520 HAS SOUS 447955 HAS SOUPS 446750 WITH SCORE 449771.485
AT ITER 525 NEW BEST:: SOT 4315165 SOS 3020439 HAS SOPS 2993715 HAS SOUS 447872 HAS SOUPS 446667 WITH SCORE 449687.439
AT ITER 537 NEW BEST:: SOT 4315956 SOS 3022032 HAS SOPS 2995308 HAS SOUS 447401 HAS SOUPS 446196 WITH SCORE 449218.032
AT ITER 548 NEW BEST:: SOT 4316090 SOS 3022274 HAS SOPS 2995550 HAS SOUS 445612 HAS SOUPS 444407 WITH SCORE 447429.274
AT ITER 559 NEW BEST:: SOT 4316072 SOS 3022180 HAS SOPS 2995456 HAS SOUS 445586 HAS SOUPS 444381 WITH SCORE 447403.18
AT ITER 560 NEW BEST:: SOT 4316072 SOS 3022180 HAS SOPS 2995456 HAS SOUS 445178 HAS SOUPS 443973 WITH SCORE 446995.18
AT ITER 561 NEW BEST:: SOT 4315936 SOS 3022554 HAS SOPS 2995830 HAS SOUS 445057 HAS SOUPS 443852 WITH SCORE 446874.554
AT ITER 563 NEW BEST:: SOT 4315843 SOS 3022461 HAS SOPS 2995923 HAS SOUS 444966 HAS SOUPS 443761 WITH SCORE 446783.461
AT ITER 571 NEW BEST:: SOT 4315609 SOS 3022227 HAS SOPS 2995689 HAS SOUS 444872 HAS SOUPS 443667 WITH SCORE 446689.227
AT ITER 587 NEW BEST:: SOT 4315609 SOS 3022341 HAS SOPS 2995803 HAS SOUS 444206 HAS SOUPS 443001 WITH SCORE 446023.341
AT ITER 605 NEW BEST:: SOT 4315633 SOS 3022365 HAS SOPS 2995827 HAS SOUS 444158 HAS SOUPS 442953 WITH SCORE 445975.365
AT ITER 610 NEW BEST:: SOT 4315586 SOS 3022348 HAS SOPS 2995810 HAS SOUS 444086 HAS SOUPS 442881 WITH SCORE 445903.348
AT ITER 612 NEW BEST:: SOT 4315424 SOS 3023148 HAS SOPS 2996610 HAS SOUS 443924 HAS SOUPS 442719 WITH SCORE 445742.148
AT ITER 626 NEW BEST:: SOT 4315490 SOS 3022919 HAS SOPS 2996381 HAS SOUS 443862 HAS SOUPS 442657 WITH SCORE 445679.919
AT ITER 627 NEW BEST:: SOT 4315409 SOS 3022974 HAS SOPS 2996436 HAS SOUS 443381 HAS SOUPS 442176 WITH SCORE 445198.974
AT ITER 630 NEW BEST:: SOT 4315080 SOS 3022804 HAS SOPS 2996266 HAS SOUS 443241 HAS SOUPS 442036 WITH SCORE 445058.804
AT ITER 642 NEW BEST:: SOT 4315017 SOS 3022741 HAS SOPS 2996203 HAS SOUS 443115 HAS SOUPS 441910 WITH SCORE 444932.741
AT ITER 648 NEW BEST:: SOT 4314536 SOS 3022122 HAS SOPS 2995584 HAS SOUS 442831 HAS SOUPS 441626 WITH SCORE 444648.122
AT ITER 661 NEW BEST:: SOT 4314512 SOS 3022098 HAS SOPS 2995560 HAS SOUS 442564 HAS SOUPS 441359 WITH SCORE 444381.098
AT ITER 664 NEW BEST:: SOT 4314581 SOS 3022628 HAS SOPS 2995728 HAS SOUS 442449 HAS SOUPS 441221 WITH SCORE 444243.628
AT ITER 665 NEW BEST:: SOT 4314574 SOS 3022621 HAS SOPS 2995721 HAS SOUS 442320 HAS SOUPS 441092 WITH SCORE 444114.621
AT ITER 669 NEW BEST:: SOT 4314574 SOS 3022621 HAS SOPS 2995721 HAS SOUS 442248 HAS SOUPS 441020 WITH SCORE 444042.621
AT ITER 672 NEW BEST:: SOT 4314552 SOS 3022599 HAS SOPS 2995699 HAS SOUS 442226 HAS SOUPS 440998 WITH SCORE 444020.599
AT ITER 674 NEW BEST:: SOT 4314510 SOS 3023085 HAS SOPS 2996185 HAS SOUS 440625 HAS SOUPS 439397 WITH SCORE 442420.085
AT ITER 676 NEW BEST:: SOT 4314448 SOS 3022623 HAS SOPS 2995723 HAS SOUS 440605 HAS SOUPS 439377 WITH SCORE 442399.623
AT ITER 681 NEW BEST:: SOT 4314396 SOS 3022541 HAS SOPS 2995641 HAS SOUS 440581 HAS SOUPS 439353 WITH SCORE 442375.541
AT ITER 682 NEW BEST:: SOT 4314692 SOS 3022487 HAS SOPS 2995428 HAS SOUS 440368 HAS SOUPS 439140 WITH SCORE 442162.487
AT ITER 685 NEW BEST:: SOT 4314178 SOS 3021654 HAS SOPS 2994321 HAS SOUS 439918 HAS SOUPS 438690 WITH SCORE 441711.654
AT ITER 717 NEW BEST:: SOT 4314029 SOS 3021505 HAS SOPS 2994463 HAS SOUS 439827 HAS SOUPS 438599 WITH SCORE 441620.505
AT ITER 733 NEW BEST:: SOT 4318326 SOS 3026304 HAS SOPS 2999262 HAS SOUS 438374 HAS SOUPS 437146 WITH SCORE 440172.304
AT ITER 735 NEW BEST:: SOT 4318194 SOS 3026172 HAS SOPS 2999130 HAS SOUS 438242 HAS SOUPS 437014 WITH SCORE 440040.172
AT ITER 741 NEW BEST:: SOT 4318176 SOS 3026091 HAS SOPS 2999067 HAS SOUS 438233 HAS SOUPS 437005 WITH SCORE 440031.091
AT ITER 761 NEW BEST:: SOT 4318073 SOS 3025419 HAS SOPS 2998395 HAS SOUS 438212 HAS SOUPS 436984 WITH SCORE 440009.419
AT ITER 762 NEW BEST:: SOT 4315083 SOS 3024967 HAS SOPS 2997943 HAS SOUS 437742 HAS SOUPS 436514 WITH SCORE 439538.967
AT ITER 765 NEW BEST:: SOT 4315166 SOS 3025032 HAS SOPS 2998008 HAS SOUS 437023 HAS SOUPS 435795 WITH SCORE 438820.032
AT ITER 769 NEW BEST:: SOT 4315186 SOS 3025882 HAS SOPS 2998858 HAS SOUS 436936 HAS SOUPS 435708 WITH SCORE 438733.882
AT ITER 774 NEW BEST:: SOT 4315092 SOS 3025788 HAS SOPS 2998675 HAS SOUS 436796 HAS SOUPS 435569 WITH SCORE 438594.788
AT ITER 789 NEW BEST:: SOT 4314883 SOS 3025579 HAS SOPS 2998466 HAS SOUS 436781 HAS SOUPS 435554 WITH SCORE 438579.579
AT ITER 791 NEW BEST:: SOT 4314883 SOS 3025342 HAS SOPS 2998229 HAS SOUS 436683 HAS SOUPS 435456 WITH SCORE 438481.342
AT ITER 810 NEW BEST:: SOT 4314781 SOS 3025228 HAS SOPS 2998115 HAS SOUS 435730 HAS SOUPS 434503 WITH SCORE 437528.228
AT ITER 818 NEW BEST:: SOT 4314772 SOS 3025219 HAS SOPS 2998106 HAS SOUS 435721 HAS SOUPS 434494 WITH SCORE 437519.219
AT ITER 823 NEW BEST:: SOT 4317735 SOS 3028451 HAS SOPS 3001338 HAS SOUS 435009 HAS SOUPS 433782 WITH SCORE 436810.451
AT ITER 827 NEW BEST:: SOT 4317688 SOS 3028451 HAS SOPS 3001338 HAS SOUS 434869 HAS SOUPS 433642 WITH SCORE 436670.451
AT ITER 833 NEW BEST:: SOT 4317684 SOS 3028447 HAS SOPS 3001334 HAS SOUS 434865 HAS SOUPS 433638 WITH SCORE 436666.447
AT ITER 845 NEW BEST:: SOT 4197021 SOS 2907784 HAS SOPS 2880671 HAS SOUS 415005 HAS SOUPS 413778 WITH SCORE 416685.784
AT ITER 858 NEW BEST:: SOT 4196864 SOS 2907627 HAS SOPS 2880618 HAS SOUS 414718 HAS SOUPS 413491 WITH SCORE 416398.627
AT ITER 859 NEW BEST:: SOT 4197176 SOS 2909227 HAS SOPS 2882218 HAS SOUS 414441 HAS SOUPS 413214 WITH SCORE 416123.227
AT ITER 862 NEW BEST:: SOT 4197122 SOS 2909194 HAS SOPS 2882185 HAS SOUS 414414 HAS SOUPS 413187 WITH SCORE 416096.194
AT ITER 863 NEW BEST:: SOT 4197052 SOS 2909132 HAS SOPS 2882123 HAS SOUS 414278 HAS SOUPS 413051 WITH SCORE 415960.132
AT ITER 888 NEW BEST:: SOT 4197036 SOS 2909116 HAS SOPS 2882107 HAS SOUS 414262 HAS SOUPS 413035 WITH SCORE 415944.116
AT ITER 912 NEW BEST:: SOT 4197000 SOS 2909080 HAS SOPS 2882071 HAS SOUS 414199 HAS SOUPS 412972 WITH SCORE 415881.08
AT ITER 913 NEW BEST:: SOT 4197019 SOS 2909099 HAS SOPS 2882090 HAS SOUS 414067 HAS SOUPS 412840 WITH SCORE 415749.099
AT ITER 915 NEW BEST:: SOT 4196937 SOS 2908876 HAS SOPS 2881867 HAS SOUS 414027 HAS SOUPS 412800 WITH SCORE 415708.876
AT ITER 916 NEW BEST:: SOT 4196826 SOS 2908765 HAS SOPS 2881756 HAS SOUS 413805 HAS SOUPS 412578 WITH SCORE 415486.765
AT ITER 922 NEW BEST:: SOT 4196826 SOS 2908737 HAS SOPS 2881728 HAS SOUS 413791 HAS SOUPS 412564 WITH SCORE 415472.737
AT ITER 935 NEW BEST:: SOT 4196826 SOS 2908737 HAS SOPS 2881728 HAS SOUS 413782 HAS SOUPS 412555 WITH SCORE 415463.737
AT ITER 938 NEW BEST:: SOT 4196682 SOS 2909463 HAS SOPS 2882736 HAS SOUS 413514 HAS SOUPS 412287 WITH SCORE 415196.463
AT ITER 946 NEW BEST:: SOT 4196682 SOS 2909452 HAS SOPS 2882725 HAS SOUS 413503 HAS SOUPS 412276 WITH SCORE 415185.452
AT ITER 952 NEW BEST:: SOT 4196697 SOS 2909467 HAS SOPS 2882740 HAS SOUS 413473 HAS SOUPS 412246 WITH SCORE 415155.467
AT ITER 959 NEW BEST:: SOT 4196082 SOS 2908568 HAS SOPS 2881841 HAS SOUS 412905 HAS SOUPS 411678 WITH SCORE 414586.568
AT ITER 961 NEW BEST:: SOT 4196082 SOS 2908441 HAS SOPS 2881714 HAS SOUS 412905 HAS SOUPS 411678 WITH SCORE 414586.441
AT ITER 979 NEW BEST:: SOT 4196081 SOS 2908440 HAS SOPS 2881713 HAS SOUS 412903 HAS SOUPS 411676 WITH SCORE 414584.44
AT ITER 995 NEW BEST:: SOT 4196081 SOS 2908440 HAS SOPS 2881629 HAS SOUS 412777 HAS SOUPS 411550 WITH SCORE 414458.44
AT ITER 1004 NEW BEST:: SOT 4196074 SOS 2908429 HAS SOPS 2881618 HAS SOUS 412768 HAS SOUPS 411541 WITH SCORE 414449.429
AT ITER 1005 NEW BEST:: SOT 4195842 SOS 2909088 HAS SOPS 2882277 HAS SOUS 412729 HAS SOUPS 411502 WITH SCORE 414411.088
AT ITER 1006 NEW BEST:: SOT 4195632 SOS 2908878 HAS SOPS 2882067 HAS SOUS 412572 HAS SOUPS 411345 WITH SCORE 414253.878
AT ITER 1013 NEW BEST:: SOT 4195566 SOS 2908864 HAS SOPS 2882053 HAS SOUS 412260 HAS SOUPS 411033 WITH SCORE 413941.864
AT ITER 1016 NEW BEST:: SOT 4195706 SOS 2910368 HAS SOPS 2882967 HAS SOUS 412142 HAS SOUPS 410871 WITH SCORE 413781.368
AT ITER 1019 NEW BEST:: SOT 4195780 SOS 2910494 HAS SOPS 2883093 HAS SOUS 412058 HAS SOUPS 410787 WITH SCORE 413697.494
AT ITER 1033 NEW BEST:: SOT 4195779 SOS 2910493 HAS SOPS 2883092 HAS SOUS 411681 HAS SOUPS 410410 WITH SCORE 413320.493
AT ITER 1035 NEW BEST:: SOT 4195717 SOS 2910307 HAS SOPS 2882968 HAS SOUS 411619 HAS SOUPS 410348 WITH SCORE 413258.307
AT ITER 1042 NEW BEST:: SOT 4195685 SOS 2909955 HAS SOPS 2882616 HAS SOUS 411523 HAS SOUPS 410252 WITH SCORE 413161.955
AT ITER 1047 NEW BEST:: SOT 4195628 SOS 2909757 HAS SOPS 2882418 HAS SOUS 411498 HAS SOUPS 410227 WITH SCORE 413136.757
AT ITER 1048 NEW BEST:: SOT 4195444 SOS 2909573 HAS SOPS 2882234 HAS SOUS 411038 HAS SOUPS 409767 WITH SCORE 412676.573
AT ITER 1049 NEW BEST:: SOT 4195458 SOS 2909655 HAS SOPS 2882316 HAS SOUS 410914 HAS SOUPS 409643 WITH SCORE 412552.655
AT ITER 1050 NEW BEST:: SOT 4195458 SOS 2909621 HAS SOPS 2882282 HAS SOUS 410914 HAS SOUPS 409643 WITH SCORE 412552.621
AT ITER 1053 NEW BEST:: SOT 4195382 SOS 2909545 HAS SOPS 2882282 HAS SOUS 410762 HAS SOUPS 409491 WITH SCORE 412400.545
AT ITER 1057 NEW BEST:: SOT 4195242 SOS 2909405 HAS SOPS 2882359 HAS SOUS 410717 HAS SOUPS 409490 WITH SCORE 412399.405
AT ITER 1058 NEW BEST:: SOT 4195158 SOS 2908065 HAS SOPS 2881019 HAS SOUS 408905 HAS SOUPS 407678 WITH SCORE 410586.065
AT ITER 1067 NEW BEST:: SOT 4195333 SOS 2908240 HAS SOPS 2881194 HAS SOUS 408577 HAS SOUPS 407350 WITH SCORE 410258.24
AT ITER 1071 NEW BEST:: SOT 4195333 SOS 2908233 HAS SOPS 2881187 HAS SOUS 408577 HAS SOUPS 407350 WITH SCORE 410258.233
AT ITER 1074 NEW BEST:: SOT 4194942 SOS 2907470 HAS SOPS 2880424 HAS SOUS 407862 HAS SOUPS 406635 WITH SCORE 409542.47
AT ITER 1077 NEW BEST:: SOT 4195280 SOS 2909258 HAS SOPS 2882424 HAS SOUS 407808 HAS SOUPS 406581 WITH SCORE 409490.258
AT ITER 1087 NEW BEST:: SOT 4195244 SOS 2909222 HAS SOPS 2882253 HAS SOUS 407755 HAS SOUPS 406444 WITH SCORE 409353.222
AT ITER 1091 NEW BEST:: SOT 4195244 SOS 2910055 HAS SOPS 2883086 HAS SOUS 407539 HAS SOUPS 406228 WITH SCORE 409138.055
AT ITER 1097 NEW BEST:: SOT 4195601 SOS 2910668 HAS SOPS 2883699 HAS SOUS 406387 HAS SOUPS 405076 WITH SCORE 407986.668
AT ITER 1115 NEW BEST:: SOT 4195508 SOS 2910947 HAS SOPS 2883978 HAS SOUS 406294 HAS SOUPS 404983 WITH SCORE 407893.947
AT ITER 1116 NEW BEST:: SOT 4194967 SOS 2910702 HAS SOPS 2883817 HAS SOUS 406225 HAS SOUPS 404914 WITH SCORE 407824.702
AT ITER 1118 NEW BEST:: SOT 4194879 SOS 2910344 HAS SOPS 2883473 HAS SOUS 405892 HAS SOUPS 404581 WITH SCORE 407491.344
AT ITER 1123 NEW BEST:: SOT 4194558 SOS 2909012 HAS SOPS 2882141 HAS SOUS 405615 HAS SOUPS 404304 WITH SCORE 407213.012
AT ITER 1124 NEW BEST:: SOT 4194509 SOS 2908767 HAS SOPS 2881896 HAS SOUS 405566 HAS SOUPS 404255 WITH SCORE 407163.767
AT ITER 1130 NEW BEST:: SOT 4194371 SOS 2908690 HAS SOPS 2881819 HAS SOUS 405421 HAS SOUPS 404110 WITH SCORE 407018.69
AT ITER 1131 NEW BEST:: SOT 4194569 SOS 2909935 HAS SOPS 2883064 HAS SOUS 405307 HAS SOUPS 403996 WITH SCORE 406905.935
AT ITER 1132 NEW BEST:: SOT 4194531 SOS 2909859 HAS SOPS 2882988 HAS SOUS 405117 HAS SOUPS 403806 WITH SCORE 406715.859
AT ITER 1138 NEW BEST:: SOT 4194339 SOS 2910531 HAS SOPS 2883660 HAS SOUS 405021 HAS SOUPS 403710 WITH SCORE 406620.531
AT ITER 1144 NEW BEST:: SOT 4194195 SOS 2911579 HAS SOPS 2884796 HAS SOUS 404542 HAS SOUPS 403231 WITH SCORE 406142.579
AT ITER 1151 NEW BEST:: SOT 4194082 SOS 2912642 HAS SOPS 2886040 HAS SOUS 403961 HAS SOUPS 402650 WITH SCORE 405562.642
AT ITER 1152 NEW BEST:: SOT 4194065 SOS 2912625 HAS SOPS 2886023 HAS SOUS 403941 HAS SOUPS 402630 WITH SCORE 405542.625
AT ITER 1154 NEW BEST:: SOT 4194049 SOS 2912609 HAS SOPS 2886007 HAS SOUS 403925 HAS SOUPS 402614 WITH SCORE 405526.609
AT ITER 1163 NEW BEST:: SOT 4193487 SOS 2912042 HAS SOPS 2885440 HAS SOUS 403345 HAS SOUPS 402034 WITH SCORE 404946.042
AT ITER 1167 NEW BEST:: SOT 4193461 SOS 2912016 HAS SOPS 2885414 HAS SOUS 403293 HAS SOUPS 401982 WITH SCORE 404894.016
AT ITER 1170 NEW BEST:: SOT 4193575 SOS 2911758 HAS SOPS 2885156 HAS SOUS 402989 HAS SOUPS 401678 WITH SCORE 404589.758
AT ITER 1171 NEW BEST:: SOT 4193521 SOS 2911704 HAS SOPS 2885102 HAS SOUS 402955 HAS SOUPS 401644 WITH SCORE 404555.704
AT ITER 1172 NEW BEST:: SOT 4193513 SOS 2911809 HAS SOPS 2885207 HAS SOUS 402939 HAS SOUPS 401628 WITH SCORE 404539.809
AT ITER 1179 NEW BEST:: SOT 4193493 SOS 2911749 HAS SOPS 2885147 HAS SOUS 402899 HAS SOUPS 401588 WITH SCORE 404499.749
AT ITER 1181 NEW BEST:: SOT 4193493 SOS 2911485 HAS SOPS 2884883 HAS SOUS 402811 HAS SOUPS 401500 WITH SCORE 404411.485
AT ITER 1192 NEW BEST:: SOT 4193481 SOS 2911473 HAS SOPS 2884871 HAS SOUS 402811 HAS SOUPS 401500 WITH SCORE 404411.473
AT ITER 1195 NEW BEST:: SOT 4193451 SOS 2911070 HAS SOPS 2884734 HAS SOUS 402735 HAS SOUPS 401424 WITH SCORE 404335.07
AT ITER 1196 NEW BEST:: SOT 4193792 SOS 2911085 HAS SOPS 2884749 HAS SOUS 402475 HAS SOUPS 401164 WITH SCORE 404075.085
AT ITER 1201 NEW BEST:: SOT 4193312 SOS 2910605 HAS SOPS 2884269 HAS SOUS 401965 HAS SOUPS 400654 WITH SCORE 403564.605
AT ITER 1218 NEW BEST:: SOT 4193079 SOS 2909149 HAS SOPS 2883218 HAS SOUS 401372 HAS SOUPS 400061 WITH SCORE 402970.149
AT ITER 1220 NEW BEST:: SOT 4193152 SOS 2909222 HAS SOPS 2883291 HAS SOUS 401182 HAS SOUPS 399871 WITH SCORE 402780.222
AT ITER 1227 NEW BEST:: SOT 4192885 SOS 2908190 HAS SOPS 2882259 HAS SOUS 401035 HAS SOUPS 399724 WITH SCORE 402632.19
AT ITER 1233 NEW BEST:: SOT 4192793 SOS 2908052 HAS SOPS 2882121 HAS SOUS 400805 HAS SOUPS 399494 WITH SCORE 402402.052
AT ITER 1234 NEW BEST:: SOT 4192793 SOS 2908052 HAS SOPS 2882121 HAS SOUS 400701 HAS SOUPS 399390 WITH SCORE 402298.052
AT ITER 1258 NEW BEST:: SOT 4192690 SOS 2907949 HAS SOPS 2882018 HAS SOUS 400495 HAS SOUPS 399184 WITH SCORE 402091.949
AT ITER 1275 NEW BEST:: SOT 4192636 SOS 2907625 HAS SOPS 2881694 HAS SOUS 400333 HAS SOUPS 399022 WITH SCORE 401929.625
AT ITER 1279 NEW BEST:: SOT 4192692 SOS 2907681 HAS SOPS 2881686 HAS SOUS 400277 HAS SOUPS 398966 WITH SCORE 401873.681
AT ITER 1280 NEW BEST:: SOT 4192680 SOS 2907759 HAS SOPS 2881761 HAS SOUS 400274 HAS SOUPS 398963 WITH SCORE 401870.759
AT ITER 1302 NEW BEST:: SOT 4192554 SOS 2907381 HAS SOPS 2881446 HAS SOUS 400211 HAS SOUPS 398900 WITH SCORE 401807.381
AT ITER 1304 NEW BEST:: SOT 4192554 SOS 2907381 HAS SOPS 2881446 HAS SOUS 399886 HAS SOUPS 398575 WITH SCORE 401482.381
AT ITER 1313 NEW BEST:: SOT 4192734 SOS 2906839 HAS SOPS 2880904 HAS SOUS 399508 HAS SOUPS 398197 WITH SCORE 401103.839
AT ITER 1319 NEW BEST:: SOT 4192563 SOS 2906668 HAS SOPS 2880733 HAS SOUS 399166 HAS SOUPS 397855 WITH SCORE 400761.668
AT ITER 1337 NEW BEST:: SOT 4192369 SOS 2906285 HAS SOPS 2880350 HAS SOUS 398815 HAS SOUPS 397504 WITH SCORE 400410.285
AT ITER 1363 NEW BEST:: SOT 4192357 SOS 2906217 HAS SOPS 2880282 HAS SOUS 398735 HAS SOUPS 397424 WITH SCORE 400330.217
AT ITER 1369 NEW BEST:: SOT 4192167 SOS 2907610 HAS SOPS 2881675 HAS SOUS 397877 HAS SOUPS 396566 WITH SCORE 399473.61
AT ITER 1370 NEW BEST:: SOT 4192174 SOS 2908020 HAS SOPS 2882150 HAS SOUS 397252 HAS SOUPS 395941 WITH SCORE 398849.02
AT ITER 1395 NEW BEST:: SOT 4192174 SOS 2907231 HAS SOPS 2882328 HAS SOUS 397118 HAS SOUPS 395896 WITH SCORE 398803.231
AT ITER 1397 NEW BEST:: SOT 4192116 SOS 2906887 HAS SOPS 2881919 HAS SOUS 396816 HAS SOUPS 395594 WITH SCORE 398500.887
AT ITER 1401 NEW BEST:: SOT 4191422 SOS 2906434 HAS SOPS 2881466 HAS SOUS 396428 HAS SOUPS 395206 WITH SCORE 398112.434
AT ITER 1407 NEW BEST:: SOT 4191360 SOS 2906493 HAS SOPS 2881404 HAS SOUS 396304 HAS SOUPS 395082 WITH SCORE 397988.493
AT ITER 1410 NEW BEST:: SOT 4191237 SOS 2906370 HAS SOPS 2881302 HAS SOUS 396133 HAS SOUPS 394911 WITH SCORE 397817.37
AT ITER 1415 NEW BEST:: SOT 4191334 SOS 2906550 HAS SOPS 2881482 HAS SOUS 395852 HAS SOUPS 394630 WITH SCORE 397536.55
AT ITER 1422 NEW BEST:: SOT 4191207 SOS 2906618 HAS SOPS 2881550 HAS SOUS 395800 HAS SOUPS 394578 WITH SCORE 397484.618
AT ITER 1425 NEW BEST:: SOT 4191079 SOS 2906408 HAS SOPS 2881126 HAS SOUS 395320 HAS SOUPS 394098 WITH SCORE 397004.408
AT ITER 1437 NEW BEST:: SOT 4190865 SOS 2906014 HAS SOPS 2880732 HAS SOUS 395034 HAS SOUPS 393812 WITH SCORE 396718.014
AT ITER 1449 NEW BEST:: SOT 4190965 SOS 2905879 HAS SOPS 2880597 HAS SOUS 394707 HAS SOUPS 393485 WITH SCORE 396390.879
AT ITER 1450 NEW BEST:: SOT 4190965 SOS 2905879 HAS SOPS 2880597 HAS SOUS 394699 HAS SOUPS 393477 WITH SCORE 396382.879
AT ITER 1462 NEW BEST:: SOT 4190445 SOS 2905481 HAS SOPS 2880199 HAS SOUS 394070 HAS SOUPS 392848 WITH SCORE 395753.481
AT ITER 1464 NEW BEST:: SOT 4190410 SOS 2905279 HAS SOPS 2879997 HAS SOUS 393918 HAS SOUPS 392696 WITH SCORE 395601.279
AT ITER 1471 NEW BEST:: SOT 4190239 SOS 2905267 HAS SOPS 2879985 HAS SOUS 393891 HAS SOUPS 392669 WITH SCORE 395574.267
AT ITER 1485 NEW BEST:: SOT 4190239 SOS 2905267 HAS SOPS 2879985 HAS SOUS 393831 HAS SOUPS 392609 WITH SCORE 395514.267
AT ITER 1488 NEW BEST:: SOT 4189672 SOS 2904700 HAS SOPS 2879418 HAS SOUS 393264 HAS SOUPS 392042 WITH SCORE 394946.7
AT ITER 1493 NEW BEST:: SOT 4189560 SOS 2904477 HAS SOPS 2879299 HAS SOUS 392825 HAS SOUPS 391603 WITH SCORE 394507.477
AT ITER 1511 NEW BEST:: SOT 4189560 SOS 2904477 HAS SOPS 2879299 HAS SOUS 392819 HAS SOUPS 391597 WITH SCORE 394501.477
AT ITER 1514 NEW BEST:: SOT 4189487 SOS 2904404 HAS SOPS 2879227 HAS SOUS 392636 HAS SOUPS 391414 WITH SCORE 394318.404
AT ITER 1523 NEW BEST:: SOT 4189394 SOS 2904512 HAS SOPS 2879583 HAS SOUS 392574 HAS SOUPS 391352 WITH SCORE 394256.512
AT ITER 1524 NEW BEST:: SOT 4189335 SOS 2903613 HAS SOPS 2878724 HAS SOUS 392237 HAS SOUPS 391015 WITH SCORE 393918.613
AT ITER 1525 NEW BEST:: SOT 4189441 SOS 2904086 HAS SOPS 2879197 HAS SOUS 392136 HAS SOUPS 390914 WITH SCORE 393818.086
AT ITER 1536 NEW BEST:: SOT 4189433 SOS 2904078 HAS SOPS 2879185 HAS SOUS 392124 HAS SOUPS 390902 WITH SCORE 393806.078
AT ITER 1562 NEW BEST:: SOT 4189395 SOS 2903850 HAS SOPS 2878957 HAS SOUS 392086 HAS SOUPS 390864 WITH SCORE 393767.85
AT ITER 1564 NEW BEST:: SOT 4191750 SOS 2906254 HAS SOPS 2881361 HAS SOUS 392035 HAS SOUPS 390813 WITH SCORE 393719.254
AT ITER 1569 NEW BEST:: SOT 4191855 SOS 2906465 HAS SOPS 2881749 HAS SOUS 391955 HAS SOUPS 390733 WITH SCORE 393639.465
AT ITER 1571 NEW BEST:: SOT 4191791 SOS 2906401 HAS SOPS 2881685 HAS SOUS 391883 HAS SOUPS 390661 WITH SCORE 393567.401
AT ITER 1575 NEW BEST:: SOT 4191661 SOS 2906271 HAS SOPS 2881555 HAS SOUS 391818 HAS SOUPS 390596 WITH SCORE 393502.271
AT ITER 1596 NEW BEST:: SOT 4191514 SOS 2906124 HAS SOPS 2881408 HAS SOUS 391671 HAS SOUPS 390449 WITH SCORE 393355.124
AT ITER 1612 NEW BEST:: SOT 4189851 SOS 2912839 HAS SOPS 2888123 HAS SOUS 390509 HAS SOUPS 389287 WITH SCORE 392199.839
AT ITER 1616 NEW BEST:: SOT 4189843 SOS 2912831 HAS SOPS 2888123 HAS SOUS 390493 HAS SOUPS 389271 WITH SCORE 392183.831
AT ITER 1618 NEW BEST:: SOT 4189843 SOS 2912715 HAS SOPS 2888007 HAS SOUS 390377 HAS SOUPS 389155 WITH SCORE 392067.715
AT ITER 1624 NEW BEST:: SOT 4189383 SOS 2912266 HAS SOPS 2887569 HAS SOUS 389867 HAS SOUPS 388645 WITH SCORE 391557.266
AT ITER 1626 NEW BEST:: SOT 4189312 SOS 2912099 HAS SOPS 2887402 HAS SOUS 389821 HAS SOUPS 388599 WITH SCORE 391511.099
AT ITER 1655 NEW BEST:: SOT 4189311 SOS 2911111 HAS SOPS 2886414 HAS SOUS 388841 HAS SOUPS 387619 WITH SCORE 390530.111
AT ITER 1667 NEW BEST:: SOT 4189234 SOS 2911034 HAS SOPS 2886337 HAS SOUS 388817 HAS SOUPS 387595 WITH SCORE 390506.034
AT ITER 1677 NEW BEST:: SOT 4189086 SOS 1404279 HAS SOPS 1379582 HAS SOUS 386777 HAS SOUPS 385555 WITH SCORE 386959.279
AT ITER 1689 NEW BEST:: SOT 4189089 SOS 1404282 HAS SOPS 1379585 HAS SOUS 386771 HAS SOUPS 385549 WITH SCORE 386953.282
AT ITER 1696 NEW BEST:: SOT 4188941 SOS 1404272 HAS SOPS 1379575 HAS SOUS 386417 HAS SOUPS 385195 WITH SCORE 386599.272
AT ITER 1700 NEW BEST:: SOT 4188923 SOS 1404222 HAS SOPS 1379557 HAS SOUS 386365 HAS SOUPS 385143 WITH SCORE 386547.222
AT ITER 1713 NEW BEST:: SOT 4189021 SOS 1404042 HAS SOPS 1379377 HAS SOUS 386221 HAS SOUPS 384999 WITH SCORE 386403.042
AT ITER 1714 NEW BEST:: SOT 4189063 SOS 1403604 HAS SOPS 1378939 HAS SOUS 386152 HAS SOUPS 384930 WITH SCORE 386333.604
AT ITER 1716 NEW BEST:: SOT 4189063 SOS 1403600 HAS SOPS 1378933 HAS SOUS 386152 HAS SOUPS 384930 WITH SCORE 386333.6
AT ITER 1719 NEW BEST:: SOT 4189063 SOS 1403527 HAS SOPS 1378860 HAS SOUS 385966 HAS SOUPS 384744 WITH SCORE 386147.527
AT ITER 1733 NEW BEST:: SOT 4189050 SOS 1403491 HAS SOPS 1378824 HAS SOUS 385953 HAS SOUPS 384731 WITH SCORE 386134.491
AT ITER 1738 NEW BEST:: SOT 4188911 SOS 1404459 HAS SOPS 1379792 HAS SOUS 384816 HAS SOUPS 383594 WITH SCORE 384998.459
AT ITER 1747 NEW BEST:: SOT 4188911 SOS 1404459 HAS SOPS 1379792 HAS SOUS 384807 HAS SOUPS 383585 WITH SCORE 384989.459
AT ITER 1773 NEW BEST:: SOT 4188904 SOS 1404452 HAS SOPS 1379785 HAS SOUS 384769 HAS SOUPS 383547 WITH SCORE 384951.452
AT ITER 1797 NEW BEST:: SOT 4188862 SOS 1404431 HAS SOPS 1379764 HAS SOUS 384727 HAS SOUPS 383505 WITH SCORE 384909.431
AT ITER 1798 NEW BEST:: SOT 4188751 SOS 1404320 HAS SOPS 1379653 HAS SOUS 384616 HAS SOUPS 383394 WITH SCORE 384798.32
AT ITER 1818 NEW BEST:: SOT 4188004 SOS 1403505 HAS SOPS 1378838 HAS SOUS 384380 HAS SOUPS 383158 WITH SCORE 384561.505
AT ITER 1821 NEW BEST:: SOT 4187727 SOS 1402520 HAS SOPS 1378152 HAS SOUS 384164 HAS SOUPS 382942 WITH SCORE 384344.52
AT ITER 1822 NEW BEST:: SOT 4187567 SOS 1402342 HAS SOPS 1377974 HAS SOUS 383717 HAS SOUPS 382495 WITH SCORE 383897.342
AT ITER 1833 NEW BEST:: SOT 4187526 SOS 1402260 HAS SOPS 1377892 HAS SOUS 383650 HAS SOUPS 382428 WITH SCORE 383830.26
AT ITER 1855 NEW BEST:: SOT 4187213 SOS 1401947 HAS SOPS 1377546 HAS SOUS 383271 HAS SOUPS 382049 WITH SCORE 383450.947
AT ITER 1858 NEW BEST:: SOT 4187006 SOS 1401449 HAS SOPS 1376608 HAS SOUS 383144 HAS SOUPS 381491 WITH SCORE 382892.449
AT ITER 1876 NEW BEST:: SOT 4186908 SOS 1401277 HAS SOPS 1376436 HAS SOUS 383056 HAS SOUPS 381403 WITH SCORE 382804.277
AT ITER 1880 NEW BEST:: SOT 4186802 SOS 1401171 HAS SOPS 1376330 HAS SOUS 382971 HAS SOUPS 381318 WITH SCORE 382719.171
AT ITER 1895 NEW BEST:: SOT 4186802 SOS 1401171 HAS SOPS 1376330 HAS SOUS 382941 HAS SOUPS 381288 WITH SCORE 382689.171
AT ITER 1908 NEW BEST:: SOT 4186138 SOS 1400475 HAS SOPS 1375634 HAS SOUS 382512 HAS SOUPS 380859 WITH SCORE 382259.475
AT ITER 1909 NEW BEST:: SOT 4185362 SOS 1400285 HAS SOPS 1375444 HAS SOUS 381815 HAS SOUPS 380162 WITH SCORE 381562.285
AT ITER 1910 NEW BEST:: SOT 4185325 SOS 1399926 HAS SOPS 1374983 HAS SOUS 381633 HAS SOUPS 379980 WITH SCORE 381379.926
AT ITER 1922 NEW BEST:: SOT 4184661 SOS 1399262 HAS SOPS 1374319 HAS SOUS 380961 HAS SOUPS 379308 WITH SCORE 380707.262
AT ITER 1934 NEW BEST:: SOT 4184468 SOS 1398929 HAS SOPS 1373986 HAS SOUS 380653 HAS SOUPS 379000 WITH SCORE 380398.929
AT ITER 1943 NEW BEST:: SOT 4184463 SOS 1398924 HAS SOPS 1373981 HAS SOUS 380635 HAS SOUPS 378982 WITH SCORE 380380.924
AT ITER 1945 NEW BEST:: SOT 4184351 SOS 1398812 HAS SOPS 1373869 HAS SOUS 380580 HAS SOUPS 378927 WITH SCORE 380325.812
AT ITER 1948 NEW BEST:: SOT 4184419 SOS 1398808 HAS SOPS 1373865 HAS SOUS 380464 HAS SOUPS 378811 WITH SCORE 380209.808
AT ITER 1952 NEW BEST:: SOT 4184101 SOS 1398084 HAS SOPS 1373141 HAS SOUS 379828 HAS SOUPS 378175 WITH SCORE 379573.084
AT ITER 1957 NEW BEST:: SOT 4184101 SOS 1398084 HAS SOPS 1373141 HAS SOUS 379680 HAS SOUPS 378027 WITH SCORE 379425.084
AT ITER 1965 NEW BEST:: SOT 4184168 SOS 1396254 HAS SOPS 1371592 HAS SOUS 379678 HAS SOUPS 378025 WITH SCORE 379421.254
AT ITER 1968 NEW BEST:: SOT 4184168 SOS 1396136 HAS SOPS 1371474 HAS SOUS 379606 HAS SOUPS 377953 WITH SCORE 379349.136
AT ITER 2001 NEW BEST:: SOT 4184165 SOS 1396133 HAS SOPS 1371471 HAS SOUS 379603 HAS SOUPS 377950 WITH SCORE 379346.133
AT ITER 2005 NEW BEST:: SOT 4184139 SOS 1396107 HAS SOPS 1371445 HAS SOUS 379551 HAS SOUPS 377898 WITH SCORE 379294.107
AT ITER 2009 NEW BEST:: SOT 4184143 SOS 1396111 HAS SOPS 1371449 HAS SOUS 379543 HAS SOUPS 377890 WITH SCORE 379286.111
AT ITER 2012 NEW BEST:: SOT 4184141 SOS 1396228 HAS SOPS 1371754 HAS SOUS 379334 HAS SOUPS 377681 WITH SCORE 379077.228
AT ITER 2022 NEW BEST:: SOT 4184124 SOS 1396194 HAS SOPS 1371720 HAS SOUS 379300 HAS SOUPS 377647 WITH SCORE 379043.194
AT ITER 2034 NEW BEST:: SOT 4184515 SOS 1398124 HAS SOPS 1373650 HAS SOUS 376901 HAS SOUPS 375248 WITH SCORE 376646.124
AT ITER 2035 NEW BEST:: SOT 4184347 SOS 1397744 HAS SOPS 1373270 HAS SOUS 376802 HAS SOUPS 375149 WITH SCORE 376546.744
AT ITER 2037 NEW BEST:: SOT 4184306 SOS 1263059 HAS SOPS 1238585 HAS SOUS 376720 HAS SOUPS 375067 WITH SCORE 376330.059
AT ITER 2038 NEW BEST:: SOT 4183846 SOS 1262504 HAS SOPS 1237758 HAS SOUS 376013 HAS SOUPS 374360 WITH SCORE 375622.504
AT ITER 2040 NEW BEST:: SOT 4181800 SOS 1261442 HAS SOPS 1236696 HAS SOUS 374757 HAS SOUPS 373104 WITH SCORE 374365.442
AT ITER 2050 NEW BEST:: SOT 4181651 SOS 1261293 HAS SOPS 1236547 HAS SOUS 374661 HAS SOUPS 373008 WITH SCORE 374269.293
AT ITER 2054 NEW BEST:: SOT 4181527 SOS 1261169 HAS SOPS 1236423 HAS SOUS 374351 HAS SOUPS 372698 WITH SCORE 373959.169
AT ITER 2055 NEW BEST:: SOT 4181500 SOS 1261142 HAS SOPS 1236396 HAS SOUS 374144 HAS SOUPS 372491 WITH SCORE 373752.142
AT ITER 2057 NEW BEST:: SOT 4181456 SOS 1261124 HAS SOPS 1236404 HAS SOUS 374108 HAS SOUPS 372455 WITH SCORE 373716.124
AT ITER 2063 NEW BEST:: SOT 4181125 SOS 1259598 HAS SOPS 1234883 HAS SOUS 373465 HAS SOUPS 371812 WITH SCORE 373071.598
AT ITER 2073 NEW BEST:: SOT 4179537 SOS 1259066 HAS SOPS 1234351 HAS SOUS 372244 HAS SOUPS 370591 WITH SCORE 371850.066
AT ITER 2078 NEW BEST:: SOT 4178903 SOS 1258432 HAS SOPS 1233717 HAS SOUS 371690 HAS SOUPS 370037 WITH SCORE 371295.432
AT ITER 2085 NEW BEST:: SOT 4178898 SOS 1258427 HAS SOPS 1233712 HAS SOUS 371685 HAS SOUPS 370032 WITH SCORE 371290.427
AT ITER 2099 NEW BEST:: SOT 4178944 SOS 1258473 HAS SOPS 1233758 HAS SOUS 371533 HAS SOUPS 369880 WITH SCORE 371138.473
AT ITER 2117 NEW BEST:: SOT 4178946 SOS 1258475 HAS SOPS 1233760 HAS SOUS 371501 HAS SOUPS 369848 WITH SCORE 371106.475
AT ITER 2125 NEW BEST:: SOT 4178846 SOS 1258425 HAS SOPS 1233710 HAS SOUS 371251 HAS SOUPS 369598 WITH SCORE 370856.425
AT ITER 2127 NEW BEST:: SOT 4178839 SOS 1258397 HAS SOPS 1233971 HAS SOUS 371152 HAS SOUPS 369499 WITH SCORE 370757.397
AT ITER 2140 NEW BEST:: SOT 4178494 SOS 1257760 HAS SOPS 1233334 HAS SOUS 371054 HAS SOUPS 369401 WITH SCORE 370658.76
AT ITER 2154 NEW BEST:: SOT 4178029 SOS 1257544 HAS SOPS 1233118 HAS SOUS 370659 HAS SOUPS 369006 WITH SCORE 370263.544
AT ITER 2182 NEW BEST:: SOT 4178014 SOS 1257529 HAS SOPS 1233103 HAS SOUS 370629 HAS SOUPS 368976 WITH SCORE 370233.529
AT ITER 2184 NEW BEST:: SOT 4177948 SOS 1257430 HAS SOPS 1233004 HAS SOUS 370563 HAS SOUPS 368910 WITH SCORE 370167.43
AT ITER 2186 NEW BEST:: SOT 4177887 SOS 1257430 HAS SOPS 1233004 HAS SOUS 370441 HAS SOUPS 368788 WITH SCORE 370045.43
AT ITER 2197 NEW BEST:: SOT 4177893 SOS 1257270 HAS SOPS 1232844 HAS SOUS 370097 HAS SOUPS 368444 WITH SCORE 369701.27
AT ITER 2207 NEW BEST:: SOT 4177833 SOS 1257210 HAS SOPS 1232784 HAS SOUS 370097 HAS SOUPS 368444 WITH SCORE 369701.21
AT ITER 2210 NEW BEST:: SOT 4177946 SOS 1257323 HAS SOPS 1232897 HAS SOUS 369782 HAS SOUPS 368129 WITH SCORE 369386.323
AT ITER 2212 NEW BEST:: SOT 4177787 SOS 1257160 HAS SOPS 1232734 HAS SOUS 369568 HAS SOUPS 367915 WITH SCORE 369172.16
AT ITER 2213 NEW BEST:: SOT 4177765 SOS 1257154 HAS SOPS 1232728 HAS SOUS 369558 HAS SOUPS 367905 WITH SCORE 369162.154
AT ITER 2233 NEW BEST:: SOT 4177733 SOS 1257122 HAS SOPS 1232775 HAS SOUS 369415 HAS SOUPS 367762 WITH SCORE 369019.122
AT ITER 2263 NEW BEST:: SOT 4177367 SOS 1256103 HAS SOPS 1231756 HAS SOUS 368927 HAS SOUPS 367274 WITH SCORE 368530.103
AT ITER 2265 NEW BEST:: SOT 4177366 SOS 1256087 HAS SOPS 1231739 HAS SOUS 368923 HAS SOUPS 367270 WITH SCORE 368526.087
AT ITER 2270 NEW BEST:: SOT 4177366 SOS 1256330 HAS SOPS 1231982 HAS SOUS 368790 HAS SOUPS 367137 WITH SCORE 368393.33
AT ITER 2286 NEW BEST:: SOT 4177233 SOS 865797 HAS SOPS 841053 HAS SOUS 368265 HAS SOUPS 366513 WITH SCORE 367378.797
AT ITER 2311 NEW BEST:: SOT 4177271 SOS 864835 HAS SOPS 840091 HAS SOUS 368261 HAS SOUPS 366509 WITH SCORE 367373.835
AT ITER 2315 NEW BEST:: SOT 4177271 SOS 864883 HAS SOPS 840139 HAS SOUS 368017 HAS SOUPS 366265 WITH SCORE 367129.883
AT ITER 2322 NEW BEST:: SOT 4177417 SOS 865275 HAS SOPS 840531 HAS SOUS 368001 HAS SOUPS 366249 WITH SCORE 367114.275
AT ITER 2324 NEW BEST:: SOT 4177415 SOS 865272 HAS SOPS 840529 HAS SOUS 367999 HAS SOUPS 366247 WITH SCORE 367112.272
AT ITER 2331 NEW BEST:: SOT 4175766 SOS 864543 HAS SOPS 839276 HAS SOUS 366431 HAS SOUPS 364679 WITH SCORE 365543.543
AT ITER 2342 NEW BEST:: SOT 4175891 SOS 864035 HAS SOPS 838768 HAS SOUS 366119 HAS SOUPS 364367 WITH SCORE 365231.035
AT ITER 2346 NEW BEST:: SOT 4175866 SOS 863935 HAS SOPS 838668 HAS SOUS 366058 HAS SOUPS 364306 WITH SCORE 365169.935
AT ITER 2349 NEW BEST:: SOT 4175847 SOS 863916 HAS SOPS 838649 HAS SOUS 366050 HAS SOUPS 364298 WITH SCORE 365161.916
AT ITER 2350 NEW BEST:: SOT 4175406 SOS 867096 HAS SOPS 841829 HAS SOUS 365927 HAS SOUPS 364175 WITH SCORE 365042.096
AT ITER 2352 NEW BEST:: SOT 4175090 SOS 866096 HAS SOPS 840829 HAS SOUS 365637 HAS SOUPS 363885 WITH SCORE 364751.096
AT ITER 2353 NEW BEST:: SOT 4174955 SOS 865913 HAS SOPS 840646 HAS SOUS 365452 HAS SOUPS 363700 WITH SCORE 364565.913
AT ITER 2384 NEW BEST:: SOT 4175004 SOS 865962 HAS SOPS 840695 HAS SOUS 365403 HAS SOUPS 363651 WITH SCORE 364516.962
AT ITER 2401 NEW BEST:: SOT 4175517 SOS 865711 HAS SOPS 840444 HAS SOUS 365154 HAS SOUPS 363402 WITH SCORE 364267.711
AT ITER 2403 NEW BEST:: SOT 4175517 SOS 865711 HAS SOPS 840444 HAS SOUS 365152 HAS SOUPS 363400 WITH SCORE 364265.711
AT ITER 2406 NEW BEST:: SOT 4175629 SOS 865517 HAS SOPS 840343 HAS SOUS 365023 HAS SOUPS 363271 WITH SCORE 364136.517
AT ITER 2415 NEW BEST:: SOT 4175467 SOS 864197 HAS SOPS 839023 HAS SOUS 364699 HAS SOUPS 362947 WITH SCORE 363811.197
AT ITER 2440 NEW BEST:: SOT 4175465 SOS 864195 HAS SOPS 839021 HAS SOUS 364697 HAS SOUPS 362945 WITH SCORE 363809.195
AT ITER 2447 NEW BEST:: SOT 4175369 SOS 863979 HAS SOPS 838805 HAS SOUS 364391 HAS SOUPS 362639 WITH SCORE 363502.979
AT ITER 2448 NEW BEST:: SOT 4175273 SOS 863675 HAS SOPS 838678 HAS SOUS 364180 HAS SOUPS 362512 WITH SCORE 363375.675
AT ITER 2460 NEW BEST:: SOT 4175343 SOS 863675 HAS SOPS 838805 HAS SOUS 364097 HAS SOUPS 362429 WITH SCORE 363292.675
AT ITER 2466 NEW BEST:: SOT 4175492 SOS 862768 HAS SOPS 837898 HAS SOUS 363645 HAS SOUPS 361977 WITH SCORE 362839.768
AT ITER 2475 NEW BEST:: SOT 4175456 SOS 862732 HAS SOPS 837934 HAS SOUS 363537 HAS SOUPS 361869 WITH SCORE 362731.732
AT ITER 2480 NEW BEST:: SOT 4175384 SOS 862624 HAS SOPS 837826 HAS SOUS 363465 HAS SOUPS 361797 WITH SCORE 362659.624
AT ITER 2485 NEW BEST:: SOT 4175322 SOS 862562 HAS SOPS 837764 HAS SOUS 363405 HAS SOUPS 361737 WITH SCORE 362599.562
AT ITER 2498 NEW BEST:: SOT 4175226 SOS 862381 HAS SOPS 837691 HAS SOUS 362997 HAS SOUPS 361329 WITH SCORE 362191.381
AT ITER 2500 NEW BEST:: SOT 4175226 SOS 862407 HAS SOPS 837717 HAS SOUS 362971 HAS SOUPS 361303 WITH SCORE 362165.407
AT ITER 2510 NEW BEST:: SOT 4174816 SOS 862078 HAS SOPS 837388 HAS SOUS 362830 HAS SOUPS 361162 WITH SCORE 362024.078
AT ITER 2529 NEW BEST:: SOT 4174937 SOS 861193 HAS SOPS 836503 HAS SOUS 362644 HAS SOUPS 360976 WITH SCORE 361837.193
AT ITER 2534 NEW BEST:: SOT 4174937 SOS 860981 HAS SOPS 836291 HAS SOUS 362475 HAS SOUPS 360807 WITH SCORE 361667.981
AT ITER 2540 NEW BEST:: SOT 4174952 SOS 860784 HAS SOPS 836371 HAS SOUS 362385 HAS SOUPS 360782 WITH SCORE 361642.784
AT ITER 2544 NEW BEST:: SOT 4174838 SOS 860727 HAS SOPS 836314 HAS SOUS 362100 HAS SOUPS 360497 WITH SCORE 361357.727
AT ITER 2546 NEW BEST:: SOT 4174660 SOS 860637 HAS SOPS 836224 HAS SOUS 362027 HAS SOUPS 360424 WITH SCORE 361284.637
AT ITER 2551 NEW BEST:: SOT 4174634 SOS 860445 HAS SOPS 836032 HAS SOUS 361975 HAS SOUPS 360372 WITH SCORE 361232.445
AT ITER 2557 NEW BEST:: SOT 4174604 SOS 860431 HAS SOPS 836018 HAS SOUS 361958 HAS SOUPS 360355 WITH SCORE 361215.431
AT ITER 2560 NEW BEST:: SOT 4174820 SOS 860517 HAS SOPS 836323 HAS SOUS 361152 HAS SOUPS 359549 WITH SCORE 360409.517
AT ITER 2576 NEW BEST:: SOT 4174771 SOS 859867 HAS SOPS 835673 HAS SOUS 360437 HAS SOUPS 358834 WITH SCORE 359693.867
AT ITER 2577 NEW BEST:: SOT 4174748 SOS 859844 HAS SOPS 835650 HAS SOUS 360414 HAS SOUPS 358811 WITH SCORE 359670.844
AT ITER 2592 NEW BEST:: SOT 4174633 SOS 859729 HAS SOPS 835435 HAS SOUS 360199 HAS SOUPS 358596 WITH SCORE 359455.729
AT ITER 2595 NEW BEST:: SOT 4174860 SOS 859425 HAS SOPS 835131 HAS SOUS 360122 HAS SOUPS 358519 WITH SCORE 359378.425
AT ITER 2603 NEW BEST:: SOT 4174835 SOS 884615 HAS SOPS 860321 HAS SOUS 360055 HAS SOUPS 358452 WITH SCORE 359336.615
AT ITER 2610 NEW BEST:: SOT 4174499 SOS 884279 HAS SOPS 859985 HAS SOUS 359233 HAS SOUPS 357630 WITH SCORE 358514.279
AT ITER 2612 NEW BEST:: SOT 4174522 SOS 884302 HAS SOPS 860008 HAS SOUS 359191 HAS SOUPS 357588 WITH SCORE 358472.302
AT ITER 2615 NEW BEST:: SOT 4174480 SOS 884014 HAS SOPS 859720 HAS SOUS 358946 HAS SOUPS 357343 WITH SCORE 358227.014
AT ITER 2619 NEW BEST:: SOT 4174460 SOS 883994 HAS SOPS 859700 HAS SOUS 358896 HAS SOUPS 357293 WITH SCORE 358176.994
AT ITER 2621 NEW BEST:: SOT 4174375 SOS 884164 HAS SOPS 859700 HAS SOUS 358711 HAS SOUPS 357108 WITH SCORE 357992.164
AT ITER 2622 NEW BEST:: SOT 4174738 SOS 884527 HAS SOPS 860063 HAS SOUS 358485 HAS SOUPS 356882 WITH SCORE 357766.527
AT ITER 2624 NEW BEST:: SOT 4174701 SOS 884474 HAS SOPS 860010 HAS SOUS 358407 HAS SOUPS 356804 WITH SCORE 357688.474
AT ITER 2637 NEW BEST:: SOT 4174693 SOS 884458 HAS SOPS 859994 HAS SOUS 358391 HAS SOUPS 356788 WITH SCORE 357672.458
AT ITER 2641 NEW BEST:: SOT 4174667 SOS 885078 HAS SOPS 860614 HAS SOUS 357973 HAS SOUPS 356370 WITH SCORE 357255.078
AT ITER 2650 NEW BEST:: SOT 4174667 SOS 884619 HAS SOPS 860155 HAS SOUS 357943 HAS SOUPS 356340 WITH SCORE 357224.619
AT ITER 2672 NEW BEST:: SOT 4174679 SOS 884615 HAS SOPS 860151 HAS SOUS 357899 HAS SOUPS 356296 WITH SCORE 357180.615
AT ITER 2680 NEW BEST:: SOT 4174846 SOS 884782 HAS SOPS 860504 HAS SOUS 357756 HAS SOUPS 356153 WITH SCORE 357037.782
AT ITER 2682 NEW BEST:: SOT 4174844 SOS 884961 HAS SOPS 860683 HAS SOUS 357752 HAS SOUPS 356149 WITH SCORE 357033.961
AT ITER 2684 NEW BEST:: SOT 4175013 SOS 883869 HAS SOPS 859591 HAS SOUS 357167 HAS SOUPS 355564 WITH SCORE 356447.869
AT ITER 2696 NEW BEST:: SOT 4174977 SOS 883845 HAS SOPS 859567 HAS SOUS 357095 HAS SOUPS 355492 WITH SCORE 356375.845
AT ITER 2698 NEW BEST:: SOT 4174912 SOS 883715 HAS SOPS 859437 HAS SOUS 357030 HAS SOUPS 355427 WITH SCORE 356310.715
AT ITER 2708 NEW BEST:: SOT 4174914 SOS 883221 HAS SOPS 858957 HAS SOUS 356741 HAS SOUPS 355138 WITH SCORE 356021.221
AT ITER 2709 NEW BEST:: SOT 4174896 SOS 883203 HAS SOPS 858939 HAS SOUS 356176 HAS SOUPS 354573 WITH SCORE 355456.203
AT ITER 2714 NEW BEST:: SOT 4174896 SOS 883203 HAS SOPS 858939 HAS SOUS 356125 HAS SOUPS 354522 WITH SCORE 355405.203
AT ITER 2718 NEW BEST:: SOT 4174832 SOS 882832 HAS SOPS 858568 HAS SOUS 355997 HAS SOUPS 354394 WITH SCORE 355276.832
AT ITER 2721 NEW BEST:: SOT 4174524 SOS 882524 HAS SOPS 858260 HAS SOUS 355513 HAS SOUPS 353910 WITH SCORE 354792.524
AT ITER 2732 NEW BEST:: SOT 4174632 SOS 882684 HAS SOPS 858131 HAS SOUS 355373 HAS SOUPS 353770 WITH SCORE 354652.684
AT ITER 2736 NEW BEST:: SOT 4174534 SOS 882118 HAS SOPS 857565 HAS SOUS 355081 HAS SOUPS 353478 WITH SCORE 354360.118
AT ITER 2737 NEW BEST:: SOT 4174036 SOS 891844 HAS SOPS 867291 HAS SOUS 355043 HAS SOUPS 353440 WITH SCORE 354331.844
AT ITER 2754 NEW BEST:: SOT 4174023 SOS 891831 HAS SOPS 867268 HAS SOUS 355017 HAS SOUPS 353414 WITH SCORE 354305.831
AT ITER 2768 NEW BEST:: SOT 4174023 SOS 891813 HAS SOPS 867241 HAS SOUS 354981 HAS SOUPS 353378 WITH SCORE 354269.813
AT ITER 2778 NEW BEST:: SOT 4173955 SOS 891720 HAS SOPS 867148 HAS SOUS 354945 HAS SOUPS 353342 WITH SCORE 354233.72
AT ITER 2782 NEW BEST:: SOT 4173920 SOS 892040 HAS SOPS 867468 HAS SOUS 354875 HAS SOUPS 353272 WITH SCORE 354164.04
AT ITER 2783 NEW BEST:: SOT 4174224 SOS 891311 HAS SOPS 866884 HAS SOUS 354202 HAS SOUPS 352599 WITH SCORE 353490.311
AT ITER 2791 NEW BEST:: SOT 4172622 SOS 889709 HAS SOPS 865282 HAS SOUS 352942 HAS SOUPS 351339 WITH SCORE 352228.709
AT ITER 2802 NEW BEST:: SOT 4172403 SOS 889490 HAS SOPS 865063 HAS SOUS 352796 HAS SOUPS 351193 WITH SCORE 352082.49
AT ITER 2807 NEW BEST:: SOT 4172403 SOS 889462 HAS SOPS 865035 HAS SOUS 352784 HAS SOUPS 351181 WITH SCORE 352070.462
AT ITER 2808 NEW BEST:: SOT 4172403 SOS 889530 HAS SOPS 865086 HAS SOUS 352767 HAS SOUPS 351164 WITH SCORE 352053.53
AT ITER 2812 NEW BEST:: SOT 4172309 SOS 889372 HAS SOPS 864928 HAS SOUS 352549 HAS SOUPS 350946 WITH SCORE 351835.372
AT ITER 2814 NEW BEST:: SOT 4172335 SOS 889727 HAS SOPS 865194 HAS SOUS 352476 HAS SOUPS 350873 WITH SCORE 351762.727
AT ITER 2818 NEW BEST:: SOT 4172153 SOS 889560 HAS SOPS 865027 HAS SOUS 352220 HAS SOUPS 350617 WITH SCORE 351506.56
AT ITER 2821 NEW BEST:: SOT 4171897 SOS 889176 HAS SOPS 864643 HAS SOUS 351836 HAS SOUPS 350233 WITH SCORE 351122.176
AT ITER 2824 NEW BEST:: SOT 4171778 SOS 889533 HAS SOPS 865000 HAS SOUS 351834 HAS SOUPS 350231 WITH SCORE 351120.533
AT ITER 2829 NEW BEST:: SOT 4171620 SOS 889142 HAS SOPS 864609 HAS SOUS 351443 HAS SOUPS 349840 WITH SCORE 350729.142
AT ITER 2832 NEW BEST:: SOT 4171484 SOS 889414 HAS SOPS 864881 HAS SOUS 351352 HAS SOUPS 349749 WITH SCORE 350638.414
AT ITER 2838 NEW BEST:: SOT 4171318 SOS 889364 HAS SOPS 864831 HAS SOUS 351310 HAS SOUPS 349707 WITH SCORE 350596.364
AT ITER 2844 NEW BEST:: SOT 4171285 SOS 889086 HAS SOPS 864553 HAS SOUS 351167 HAS SOUPS 349564 WITH SCORE 350453.086
AT ITER 2846 NEW BEST:: SOT 4171064 SOS 888864 HAS SOPS 864331 HAS SOUS 350951 HAS SOUPS 349348 WITH SCORE 350236.864
AT ITER 2850 NEW BEST:: SOT 4171012 SOS 888812 HAS SOPS 864279 HAS SOUS 350915 HAS SOUPS 349312 WITH SCORE 350200.812
AT ITER 2853 NEW BEST:: SOT 4168733 SOS 897683 HAS SOPS 884168 HAS SOUS 348784 HAS SOUPS 347362 WITH SCORE 348259.683
AT ITER 2861 NEW BEST:: SOT 4168816 SOS 897733 HAS SOPS 884218 HAS SOUS 348626 HAS SOUPS 347204 WITH SCORE 348101.733
AT ITER 2879 NEW BEST:: SOT 4168669 SOS 897595 HAS SOPS 884080 HAS SOUS 348531 HAS SOUPS 347109 WITH SCORE 348006.595
AT ITER 2883 NEW BEST:: SOT 4168565 SOS 897387 HAS SOPS 883872 HAS SOUS 348323 HAS SOUPS 346901 WITH SCORE 347798.387
AT ITER 2893 NEW BEST:: SOT 4168519 SOS 893454 HAS SOPS 879939 HAS SOUS 348254 HAS SOUPS 346832 WITH SCORE 347725.454
AT ITER 2909 NEW BEST:: SOT 4168567 SOS 892379 HAS SOPS 878864 HAS SOUS 347638 HAS SOUPS 346216 WITH SCORE 347108.379
AT ITER 2910 NEW BEST:: SOT 4168650 SOS 891792 HAS SOPS 878420 HAS SOUS 347392 HAS SOUPS 345995 WITH SCORE 346886.792
AT ITER 2917 NEW BEST:: SOT 4168595 SOS 891737 HAS SOPS 878365 HAS SOUS 347290 HAS SOUPS 345893 WITH SCORE 346784.737
AT ITER 2919 NEW BEST:: SOT 4168580 SOS 891722 HAS SOPS 878350 HAS SOUS 347230 HAS SOUPS 345833 WITH SCORE 346724.722
AT ITER 2920 NEW BEST:: SOT 4168734 SOS 891371 HAS SOPS 877999 HAS SOUS 346873 HAS SOUPS 345476 WITH SCORE 346367.371
AT ITER 2924 NEW BEST:: SOT 4168669 SOS 891341 HAS SOPS 877969 HAS SOUS 346512 HAS SOUPS 345115 WITH SCORE 346006.341
AT ITER 2926 NEW BEST:: SOT 4168658 SOS 891594 HAS SOPS 878222 HAS SOUS 346501 HAS SOUPS 345104 WITH SCORE 345995.594
AT ITER 2933 NEW BEST:: SOT 4168896 SOS 889177 HAS SOPS 875805 HAS SOUS 346487 HAS SOUPS 345090 WITH SCORE 345979.177
AT ITER 2937 NEW BEST:: SOT 4168865 SOS 889146 HAS SOPS 875774 HAS SOUS 346363 HAS SOUPS 344966 WITH SCORE 345855.146
AT ITER 2938 NEW BEST:: SOT 4168347 SOS 888734 HAS SOPS 875468 HAS SOUS 345872 HAS SOUPS 344475 WITH SCORE 345363.734
AT ITER 2945 NEW BEST:: SOT 4168312 SOS 888699 HAS SOPS 875433 HAS SOUS 345802 HAS SOUPS 344405 WITH SCORE 345293.699
AT ITER 2948 NEW BEST:: SOT 4168433 SOS 890455 HAS SOPS 876839 HAS SOUS 345213 HAS SOUPS 343816 WITH SCORE 344706.455
AT ITER 2956 NEW BEST:: SOT 4168372 SOS 890394 HAS SOPS 876783 HAS SOUS 345098 HAS SOUPS 343701 WITH SCORE 344591.394
AT ITER 2958 NEW BEST:: SOT 4168446 SOS 890253 HAS SOPS 876549 HAS SOUS 344864 HAS SOUPS 343467 WITH SCORE 344357.253
AT ITER 2962 NEW BEST:: SOT 4168616 SOS 890923 HAS SOPS 877219 HAS SOUS 344676 HAS SOUPS 343279 WITH SCORE 344169.923
AT ITER 2966 NEW BEST:: SOT 4168747 SOS 890758 HAS SOPS 877054 HAS SOUS 344186 HAS SOUPS 342789 WITH SCORE 343679.758
AT ITER 2977 NEW BEST:: SOT 4169130 SOS 891239 HAS SOPS 877535 HAS SOUS 344185 HAS SOUPS 342788 WITH SCORE 343679.239
AT ITER 2982 NEW BEST:: SOT 4169057 SOS 891114 HAS SOPS 877410 HAS SOUS 343893 HAS SOUPS 342496 WITH SCORE 343387.114
AT ITER 2983 NEW BEST:: SOT 4168931 SOS 890834 HAS SOPS 877130 HAS SOUS 343736 HAS SOUPS 342339 WITH SCORE 343229.834
AT ITER 2987 NEW BEST:: SOT 4168931 SOS 890953 HAS SOPS 877249 HAS SOUS 343498 HAS SOUPS 342101 WITH SCORE 342991.953
AT ITER 2993 NEW BEST:: SOT 4168761 SOS 890439 HAS SOPS 876735 HAS SOUS 343244 HAS SOUPS 341847 WITH SCORE 342737.439
AT ITER 3011 NEW BEST:: SOT 4168761 SOS 890063 HAS SOPS 876359 HAS SOUS 342811 HAS SOUPS 341414 WITH SCORE 342304.063
AT ITER 3012 NEW BEST:: SOT 4168636 SOS 889189 HAS SOPS 875485 HAS SOUS 342702 HAS SOUPS 341305 WITH SCORE 342194.189
AT ITER 3014 NEW BEST:: SOT 4168513 SOS 888877 HAS SOPS 875173 HAS SOUS 342430 HAS SOUPS 341033 WITH SCORE 341921.877
AT ITER 3015 NEW BEST:: SOT 4168247 SOS 888744 HAS SOPS 875040 HAS SOUS 341781 HAS SOUPS 340384 WITH SCORE 341272.744
AT ITER 3031 NEW BEST:: SOT 4168239 SOS 889160 HAS SOPS 875456 HAS SOUS 341571 HAS SOUPS 340174 WITH SCORE 341063.16
AT ITER 3032 NEW BEST:: SOT 4168235 SOS 889140 HAS SOPS 875436 HAS SOUS 341563 HAS SOUPS 340166 WITH SCORE 341055.14
AT ITER 3036 NEW BEST:: SOT 4168187 SOS 889092 HAS SOPS 875388 HAS SOUS 341515 HAS SOUPS 340118 WITH SCORE 341007.092
AT ITER 3037 NEW BEST:: SOT 4168065 SOS 888963 HAS SOPS 875259 HAS SOUS 341262 HAS SOUPS 339865 WITH SCORE 340753.963
AT ITER 3078 NEW BEST:: SOT 4168124 SOS 889297 HAS SOPS 875695 HAS SOUS 341143 HAS SOUPS 339780 WITH SCORE 340669.297
AT ITER 3104 NEW BEST:: SOT 4167571 SOS 888262 HAS SOPS 874660 HAS SOUS 339824 HAS SOUPS 338461 WITH SCORE 339349.262
AT ITER 3112 NEW BEST:: SOT 4167571 SOS 888137 HAS SOPS 874535 HAS SOUS 339805 HAS SOUPS 338442 WITH SCORE 339330.137
AT ITER 3114 NEW BEST:: SOT 4167625 SOS 888245 HAS SOPS 874493 HAS SOUS 339613 HAS SOUPS 338250 WITH SCORE 339138.245
AT ITER 3115 NEW BEST:: SOT 4167619 SOS 888249 HAS SOPS 874497 HAS SOUS 339537 HAS SOUPS 338174 WITH SCORE 339062.249
AT ITER 3138 NEW BEST:: SOT 4167510 SOS 888122 HAS SOPS 874261 HAS SOUS 339336 HAS SOUPS 337973 WITH SCORE 338861.122
AT ITER 3141 NEW BEST:: SOT 4167312 SOS 889161 HAS SOPS 875300 HAS SOUS 339223 HAS SOUPS 337860 WITH SCORE 338749.161
AT ITER 3144 NEW BEST:: SOT 4167312 SOS 888975 HAS SOPS 875114 HAS SOUS 338913 HAS SOUPS 337550 WITH SCORE 338438.975
AT ITER 3164 NEW BEST:: SOT 4167152 SOS 888815 HAS SOPS 874954 HAS SOUS 338905 HAS SOUPS 337542 WITH SCORE 338430.815
AT ITER 3167 NEW BEST:: SOT 4166953 SOS 888620 HAS SOPS 874759 HAS SOUS 338594 HAS SOUPS 337231 WITH SCORE 338119.62
AT ITER 3175 NEW BEST:: SOT 4166953 SOS 888725 HAS SOPS 874864 HAS SOUS 338558 HAS SOUPS 337195 WITH SCORE 338083.725
AT ITER 3184 NEW BEST:: SOT 4167073 SOS 888845 HAS SOPS 874984 HAS SOUS 337841 HAS SOUPS 336478 WITH SCORE 337366.845
AT ITER 3189 NEW BEST:: SOT 4167073 SOS 882765 HAS SOPS 872328 HAS SOUS 337696 HAS SOUPS 336393 WITH SCORE 337275.765
AT ITER 3210 NEW BEST:: SOT 4167073 SOS 882828 HAS SOPS 872391 HAS SOUS 337551 HAS SOUPS 336248 WITH SCORE 337130.828
AT ITER 3212 NEW BEST:: SOT 4167073 SOS 882550 HAS SOPS 872113 HAS SOUS 336856 HAS SOUPS 335553 WITH SCORE 336435.55
AT ITER 3222 NEW BEST:: SOT 4167142 SOS 882650 HAS SOPS 872213 HAS SOUS 336376 HAS SOUPS 335073 WITH SCORE 335955.65
AT ITER 3233 NEW BEST:: SOT 4167098 SOS 882835 HAS SOPS 872398 HAS SOUS 336163 HAS SOUPS 334860 WITH SCORE 335742.835
AT ITER 3256 NEW BEST:: SOT 4167094 SOS 882645 HAS SOPS 872214 HAS SOUS 335918 HAS SOUPS 334615 WITH SCORE 335497.645
AT ITER 3274 NEW BEST:: SOT 4154411 SOS 869899 HAS SOPS 859468 HAS SOUS 333949 HAS SOUPS 332646 WITH SCORE 333515.899
AT ITER 3287 NEW BEST:: SOT 4154680 SOS 869979 HAS SOPS 859548 HAS SOUS 333714 HAS SOUPS 332411 WITH SCORE 333280.979
AT ITER 3299 NEW BEST:: SOT 4154784 SOS 869222 HAS SOPS 858791 HAS SOUS 333172 HAS SOUPS 331869 WITH SCORE 332738.222
AT ITER 3323 NEW BEST:: SOT 4154784 SOS 869222 HAS SOPS 858791 HAS SOUS 333128 HAS SOUPS 331825 WITH SCORE 332694.222
AT ITER 3328 NEW BEST:: SOT 4154784 SOS 869222 HAS SOPS 858772 HAS SOUS 333120 HAS SOUPS 331817 WITH SCORE 332686.222
AT ITER 3329 NEW BEST:: SOT 4154897 SOS 870025 HAS SOPS 859575 HAS SOUS 332939 HAS SOUPS 331636 WITH SCORE 332506.025
AT ITER 3335 NEW BEST:: SOT 4154672 SOS 869800 HAS SOPS 859350 HAS SOUS 332386 HAS SOUPS 331083 WITH SCORE 331952.8
AT ITER 3340 NEW BEST:: SOT 4154774 SOS 869978 HAS SOPS 859413 HAS SOUS 332366 HAS SOUPS 331063 WITH SCORE 331932.978
AT ITER 3342 NEW BEST:: SOT 4154426 SOS 869883 HAS SOPS 859412 HAS SOUS 332108 HAS SOUPS 330805 WITH SCORE 331674.883
AT ITER 3346 NEW BEST:: SOT 4154454 SOS 869883 HAS SOPS 859356 HAS SOUS 332052 HAS SOUPS 330749 WITH SCORE 331618.883
AT ITER 3366 NEW BEST:: SOT 4154454 SOS 869883 HAS SOPS 859356 HAS SOUS 331974 HAS SOUPS 330671 WITH SCORE 331540.883
AT ITER 3392 NEW BEST:: SOT 4154468 SOS 869897 HAS SOPS 859370 HAS SOUS 331954 HAS SOUPS 330651 WITH SCORE 331520.897
AT ITER 3410 NEW BEST:: SOT 4154172 SOS 869574 HAS SOPS 858807 HAS SOUS 331569 HAS SOUPS 330177 WITH SCORE 331046.574
AT ITER 3417 NEW BEST:: SOT 4154148 SOS 869538 HAS SOPS 858771 HAS SOUS 331545 HAS SOUPS 330153 WITH SCORE 331022.538
AT ITER 3419 NEW BEST:: SOT 4154101 SOS 869038 HAS SOPS 858271 HAS SOUS 331104 HAS SOUPS 329712 WITH SCORE 330581.038
AT ITER 3438 NEW BEST:: SOT 4153987 SOS 868924 HAS SOPS 858157 HAS SOUS 330990 HAS SOUPS 329598 WITH SCORE 330466.924
AT ITER 3445 NEW BEST:: SOT 4153987 SOS 868924 HAS SOPS 858157 HAS SOUS 330957 HAS SOUPS 329565 WITH SCORE 330433.924
AT ITER 3473 NEW BEST:: SOT 4153987 SOS 868584 HAS SOPS 857817 HAS SOUS 330880 HAS SOUPS 329488 WITH SCORE 330356.584
AT ITER 3474 NEW BEST:: SOT 4153937 SOS 868481 HAS SOPS 857661 HAS SOUS 330780 HAS SOUPS 329388 WITH SCORE 330256.481
AT ITER 3486 NEW BEST:: SOT 4154005 SOS 868540 HAS SOPS 857720 HAS SOUS 330764 HAS SOUPS 329372 WITH SCORE 330240.54
AT ITER 3490 NEW BEST:: SOT 4154176 SOS 867789 HAS SOPS 856969 HAS SOUS 330698 HAS SOUPS 329306 WITH SCORE 330173.789
AT ITER 3498 NEW BEST:: SOT 4154176 SOS 867721 HAS SOPS 856884 HAS SOUS 330647 HAS SOUPS 329255 WITH SCORE 330122.721
AT ITER 3515 NEW BEST:: SOT 4153939 SOS 867405 HAS SOPS 856568 HAS SOUS 330331 HAS SOUPS 328939 WITH SCORE 329806.405
AT ITER 3516 NEW BEST:: SOT 4153901 SOS 867348 HAS SOPS 856511 HAS SOUS 330293 HAS SOUPS 328901 WITH SCORE 329768.348
AT ITER 3519 NEW BEST:: SOT 4153762 SOS 867896 HAS SOPS 857059 HAS SOUS 330113 HAS SOUPS 328721 WITH SCORE 329588.896
AT ITER 3527 NEW BEST:: SOT 4153718 SOS 867852 HAS SOPS 857015 HAS SOUS 330069 HAS SOUPS 328677 WITH SCORE 329544.852
AT ITER 3531 NEW BEST:: SOT 4153287 SOS 867421 HAS SOPS 856584 HAS SOUS 329788 HAS SOUPS 328396 WITH SCORE 329263.421
AT ITER 3546 NEW BEST:: SOT 4153230 SOS 867592 HAS SOPS 856755 HAS SOUS 329560 HAS SOUPS 328168 WITH SCORE 329035.592
AT ITER 3550 NEW BEST:: SOT 4153206 SOS 867544 HAS SOPS 856707 HAS SOUS 329512 HAS SOUPS 328120 WITH SCORE 328987.544
AT ITER 3572 NEW BEST:: SOT 4153206 SOS 867185 HAS SOPS 856348 HAS SOUS 329219 HAS SOUPS 327827 WITH SCORE 328694.185
AT ITER 3603 NEW BEST:: SOT 4153140 SOS 867119 HAS SOPS 856282 HAS SOUS 328883 HAS SOUPS 327491 WITH SCORE 328358.119
AT ITER 3631 NEW BEST:: SOT 4152910 SOS 866889 HAS SOPS 856052 HAS SOUS 328538 HAS SOUPS 327146 WITH SCORE 328012.889
AT ITER 3655 NEW BEST:: SOT 4152853 SOS 866832 HAS SOPS 855995 HAS SOUS 328462 HAS SOUPS 327070 WITH SCORE 327936.832
AT ITER 3662 NEW BEST:: SOT 4152732 SOS 867350 HAS SOPS 856513 HAS SOUS 328437 HAS SOUPS 327045 WITH SCORE 327912.35
AT ITER 3687 NEW BEST:: SOT 4152669 SOS 867294 HAS SOPS 856457 HAS SOUS 328331 HAS SOUPS 326939 WITH SCORE 327806.294
AT ITER 3696 NEW BEST:: SOT 4152593 SOS 867323 HAS SOPS 856472 HAS SOUS 328236 HAS SOUPS 326844 WITH SCORE 327711.323
AT ITER 3705 NEW BEST:: SOT 4152590 SOS 867317 HAS SOPS 856461 HAS SOUS 328215 HAS SOUPS 326823 WITH SCORE 327690.317
AT ITER 3710 NEW BEST:: SOT 4152470 SOS 867689 HAS SOPS 856833 HAS SOUS 327975 HAS SOUPS 326583 WITH SCORE 327450.689
AT ITER 3721 NEW BEST:: SOT 4152358 SOS 867465 HAS SOPS 856551 HAS SOUS 327910 HAS SOUPS 326518 WITH SCORE 327385.465
AT ITER 3770 NEW BEST:: SOT 4152245 SOS 867352 HAS SOPS 856438 HAS SOUS 327797 HAS SOUPS 326405 WITH SCORE 327272.352
AT ITER 3781 NEW BEST:: SOT 4152169 SOS 866953 HAS SOPS 856039 HAS SOUS 327645 HAS SOUPS 326253 WITH SCORE 327119.953
AT ITER 3783 NEW BEST:: SOT 4152169 SOS 866611 HAS SOPS 855697 HAS SOUS 327645 HAS SOUPS 326253 WITH SCORE 327119.611
AT ITER 3789 NEW BEST:: SOT 4152094 SOS 866670 HAS SOPS 855756 HAS SOUS 327495 HAS SOUPS 326103 WITH SCORE 326969.67
AT ITER 3793 NEW BEST:: SOT 4151921 SOS 866151 HAS SOPS 855237 HAS SOUS 326810 HAS SOUPS 325418 WITH SCORE 326284.151
AT ITER 3808 NEW BEST:: SOT 4151834 SOS 865989 HAS SOPS 855075 HAS SOUS 326329 HAS SOUPS 324937 WITH SCORE 325802.989
AT ITER 3812 NEW BEST:: SOT 4151144 SOS 865117 HAS SOPS 854203 HAS SOUS 326017 HAS SOUPS 324625 WITH SCORE 325490.117
AT ITER 3815 NEW BEST:: SOT 4151144 SOS 865189 HAS SOPS 854273 HAS SOUS 325993 HAS SOUPS 324601 WITH SCORE 325466.189
AT ITER 3828 NEW BEST:: SOT 4151108 SOS 864735 HAS SOPS 853819 HAS SOUS 325921 HAS SOUPS 324529 WITH SCORE 325393.735
AT ITER 3836 NEW BEST:: SOT 4151066 SOS 874687 HAS SOPS 864227 HAS SOUS 325901 HAS SOUPS 324509 WITH SCORE 325383.687
AT ITER 3837 NEW BEST:: SOT 4151059 SOS 874687 HAS SOPS 864234 HAS SOUS 325887 HAS SOUPS 324495 WITH SCORE 325369.687
AT ITER 3839 NEW BEST:: SOT 4150829 SOS 874457 HAS SOPS 864004 HAS SOUS 325670 HAS SOUPS 324278 WITH SCORE 325152.457
AT ITER 3840 NEW BEST:: SOT 4150810 SOS 874310 HAS SOPS 863857 HAS SOUS 325654 HAS SOUPS 324262 WITH SCORE 325136.31
AT ITER 3852 NEW BEST:: SOT 4150810 SOS 874410 HAS SOPS 863957 HAS SOUS 325512 HAS SOUPS 324120 WITH SCORE 324994.41
AT ITER 3859 NEW BEST:: SOT 4150786 SOS 872820 HAS SOPS 862367 HAS SOUS 324612 HAS SOUPS 323220 WITH SCORE 324092.82
AT ITER 3880 NEW BEST:: SOT 4150309 SOS 872184 HAS SOPS 861731 HAS SOUS 323976 HAS SOUPS 322584 WITH SCORE 323456.184
AT ITER 3894 NEW BEST:: SOT 4150309 SOS 871836 HAS SOPS 861383 HAS SOUS 323976 HAS SOUPS 322584 WITH SCORE 323455.836
AT ITER 3896 NEW BEST:: SOT 4149764 SOS 871302 HAS SOPS 860849 HAS SOUS 323386 HAS SOUPS 321994 WITH SCORE 322865.302
AT ITER 3900 NEW BEST:: SOT 4149400 SOS 870938 HAS SOPS 860485 HAS SOUS 323298 HAS SOUPS 321906 WITH SCORE 322776.938
AT ITER 3931 NEW BEST:: SOT 4149400 SOS 870453 HAS SOPS 860000 HAS SOUS 323293 HAS SOUPS 321901 WITH SCORE 322771.453
AT ITER 3935 NEW BEST:: SOT 4148902 SOS 869979 HAS SOPS 859526 HAS SOUS 322917 HAS SOUPS 321525 WITH SCORE 322394.979
AT ITER 3954 NEW BEST:: SOT 4149091 SOS 870091 HAS SOPS 859638 HAS SOUS 322828 HAS SOUPS 321436 WITH SCORE 322306.091
AT ITER 3977 NEW BEST:: SOT 4149091 SOS 870901 HAS SOPS 860448 HAS SOUS 322193 HAS SOUPS 320801 WITH SCORE 321671.901
AT ITER 3993 NEW BEST:: SOT 4149068 SOS 879446 HAS SOPS 868993 HAS SOUS 322102 HAS SOUPS 320710 WITH SCORE 321589.446
AT ITER 3996 NEW BEST:: SOT 4149068 SOS 879470 HAS SOPS 869011 HAS SOUS 322096 HAS SOUPS 320704 WITH SCORE 321583.47
AT ITER 4001 NEW BEST:: SOT 4148783 SOS 878613 HAS SOPS 868074 HAS SOUS 321744 HAS SOUPS 320352 WITH SCORE 321230.613
AT ITER 4032 NEW BEST:: SOT 4148769 SOS 878571 HAS SOPS 868032 HAS SOUS 321716 HAS SOUPS 320324 WITH SCORE 321202.571
AT ITER 4069 NEW BEST:: SOT 4148568 SOS 878303 HAS SOPS 867764 HAS SOUS 321448 HAS SOUPS 320056 WITH SCORE 320934.303
AT ITER 4086 NEW BEST:: SOT 4148449 SOS 878184 HAS SOPS 867645 HAS SOUS 321256 HAS SOUPS 319864 WITH SCORE 320742.184
AT ITER 4088 NEW BEST:: SOT 4148357 SOS 877856 HAS SOPS 867317 HAS SOUS 321062 HAS SOUPS 319670 WITH SCORE 320547.856
AT ITER 4134 NEW BEST:: SOT 4148298 SOS 877541 HAS SOPS 867125 HAS SOUS 320975 HAS SOUPS 319610 WITH SCORE 320487.541
AT ITER 4137 NEW BEST:: SOT 4148164 SOS 877407 HAS SOPS 866991 HAS SOUS 320834 HAS SOUPS 319469 WITH SCORE 320346.407
AT ITER 4141 NEW BEST:: SOT 4147915 SOS 877061 HAS SOPS 866714 HAS SOUS 320519 HAS SOUPS 319154 WITH SCORE 320031.061
AT ITER 4145 NEW BEST:: SOT 4147915 SOS 876301 HAS SOPS 865954 HAS SOUS 320510 HAS SOUPS 319145 WITH SCORE 320021.301
AT ITER 4146 NEW BEST:: SOT 4148062 SOS 875984 HAS SOPS 865637 HAS SOUS 319843 HAS SOUPS 318478 WITH SCORE 319353.984
AT ITER 4157 NEW BEST:: SOT 4147908 SOS 875830 HAS SOPS 865483 HAS SOUS 319843 HAS SOUPS 318478 WITH SCORE 319353.83
AT ITER 4170 NEW BEST:: SOT 4147754 SOS 875381 HAS SOPS 864947 HAS SOUS 319514 HAS SOUPS 318149 WITH SCORE 319024.381
AT ITER 4175 NEW BEST:: SOT 4147617 SOS 875265 HAS SOPS 864831 HAS SOUS 319310 HAS SOUPS 317945 WITH SCORE 318820.265
AT ITER 4215 NEW BEST:: SOT 4147395 SOS 875043 HAS SOPS 864720 HAS SOUS 318755 HAS SOUPS 317390 WITH SCORE 318265.043
AT ITER 4221 NEW BEST:: SOT 4147371 SOS 875038 HAS SOPS 864715 HAS SOUS 318698 HAS SOUPS 317333 WITH SCORE 318208.038
AT ITER 4250 NEW BEST:: SOT 4147373 SOS 875006 HAS SOPS 864683 HAS SOUS 318513 HAS SOUPS 317148 WITH SCORE 318023.006
AT ITER 4252 NEW BEST:: SOT 4147259 SOS 874893 HAS SOPS 864570 HAS SOUS 318124 HAS SOUPS 316759 WITH SCORE 317633.893
AT ITER 4271 NEW BEST:: SOT 4147219 SOS 874752 HAS SOPS 864429 HAS SOUS 318092 HAS SOUPS 316727 WITH SCORE 317601.752
AT ITER 4276 NEW BEST:: SOT 4147046 SOS 874434 HAS SOPS 864180 HAS SOUS 318000 HAS SOUPS 316635 WITH SCORE 317509.434
AT ITER 4280 NEW BEST:: SOT 4147019 SOS 874218 HAS SOPS 863964 HAS SOUS 317947 HAS SOUPS 316582 WITH SCORE 317456.218
AT ITER 4284 NEW BEST:: SOT 4146946 SOS 873621 HAS SOPS 863367 HAS SOUS 317773 HAS SOUPS 316408 WITH SCORE 317281.621
AT ITER 4288 NEW BEST:: SOT 4146937 SOS 873603 HAS SOPS 863349 HAS SOUS 317755 HAS SOUPS 316390 WITH SCORE 317263.603
AT ITER 4289 NEW BEST:: SOT 4146854 SOS 873422 HAS SOPS 863168 HAS SOUS 317589 HAS SOUPS 316224 WITH SCORE 317097.422
AT ITER 4292 NEW BEST:: SOT 4146854 SOS 872774 HAS SOPS 862520 HAS SOUS 317589 HAS SOUPS 316224 WITH SCORE 317096.774
AT ITER 4298 NEW BEST:: SOT 4146854 SOS 872673 HAS SOPS 862394 HAS SOUS 317589 HAS SOUPS 316224 WITH SCORE 317096.673
AT ITER 4304 NEW BEST:: SOT 4146854 SOS 872912 HAS SOPS 862633 HAS SOUS 317525 HAS SOUPS 316160 WITH SCORE 317032.912
AT ITER 4305 NEW BEST:: SOT 4146910 SOS 872976 HAS SOPS 862697 HAS SOUS 317477 HAS SOUPS 316112 WITH SCORE 316984.976
AT ITER 4308 NEW BEST:: SOT 4146687 SOS 873501 HAS SOPS 863222 HAS SOUS 317096 HAS SOUPS 315731 WITH SCORE 316604.501
AT ITER 4310 NEW BEST:: SOT 4146347 SOS 873205 HAS SOPS 862926 HAS SOUS 316719 HAS SOUPS 315354 WITH SCORE 316227.205
AT ITER 4312 NEW BEST:: SOT 4146301 SOS 873059 HAS SOPS 862780 HAS SOUS 316627 HAS SOUPS 315262 WITH SCORE 316135.059
AT ITER 4328 NEW BEST:: SOT 4146183 SOS 872957 HAS SOPS 862716 HAS SOUS 316361 HAS SOUPS 314996 WITH SCORE 315868.957
AT ITER 4384 NEW BEST:: SOT 4146015 SOS 872789 HAS SOPS 862548 HAS SOUS 316249 HAS SOUPS 314884 WITH SCORE 315756.789
AT ITER 4403 NEW BEST:: SOT 4146156 SOS 872934 HAS SOPS 862693 HAS SOUS 316205 HAS SOUPS 314840 WITH SCORE 315712.934
AT ITER 4412 NEW BEST:: SOT 4146150 SOS 872909 HAS SOPS 862668 HAS SOUS 316193 HAS SOUPS 314828 WITH SCORE 315700.909
AT ITER 4416 NEW BEST:: SOT 4145994 SOS 872838 HAS SOPS 862597 HAS SOUS 316147 HAS SOUPS 314782 WITH SCORE 315654.838
AT ITER 4439 NEW BEST:: SOT 4146029 SOS 872904 HAS SOPS 862663 HAS SOUS 316000 HAS SOUPS 314635 WITH SCORE 315507.904
AT ITER 4443 NEW BEST:: SOT 4145928 SOS 872803 HAS SOPS 862418 HAS SOUS 315798 HAS SOUPS 314433 WITH SCORE 315305.803
AT ITER 4463 NEW BEST:: SOT 4145920 SOS 872794 HAS SOPS 862409 HAS SOUS 315789 HAS SOUPS 314424 WITH SCORE 315296.794
AT ITER 4467 NEW BEST:: SOT 4145796 SOS 872811 HAS SOPS 862426 HAS SOUS 315777 HAS SOUPS 314412 WITH SCORE 315284.811
AT ITER 4468 NEW BEST:: SOT 4145668 SOS 872683 HAS SOPS 862298 HAS SOUS 315516 HAS SOUPS 314151 WITH SCORE 315023.683
AT ITER 4472 NEW BEST:: SOT 4145368 SOS 872751 HAS SOPS 862676 HAS SOUS 314415 HAS SOUPS 313360 WITH SCORE 314232.751
AT ITER 4490 NEW BEST:: SOT 4145275 SOS 872658 HAS SOPS 862583 HAS SOUS 314353 HAS SOUPS 313298 WITH SCORE 314170.658
AT ITER 4505 NEW BEST:: SOT 4145259 SOS 872702 HAS SOPS 862627 HAS SOUS 314321 HAS SOUPS 313266 WITH SCORE 314138.702
AT ITER 4515 NEW BEST:: SOT 4145227 SOS 872542 HAS SOPS 862467 HAS SOUS 314147 HAS SOUPS 313092 WITH SCORE 313964.542
AT ITER 4523 NEW BEST:: SOT 4145182 SOS 872497 HAS SOPS 862422 HAS SOUS 314120 HAS SOUPS 313065 WITH SCORE 313937.497
AT ITER 4543 NEW BEST:: SOT 4144944 SOS 872259 HAS SOPS 862184 HAS SOUS 313982 HAS SOUPS 312927 WITH SCORE 313799.259
AT ITER 4580 NEW BEST:: SOT 4144944 SOS 872415 HAS SOPS 862288 HAS SOUS 313878 HAS SOUPS 312823 WITH SCORE 313695.415
AT ITER 4590 NEW BEST:: SOT 4144944 SOS 872415 HAS SOPS 862288 HAS SOUS 313859 HAS SOUPS 312804 WITH SCORE 313676.415
AT ITER 4594 NEW BEST:: SOT 4144712 SOS 872183 HAS SOPS 862056 HAS SOUS 313751 HAS SOUPS 312696 WITH SCORE 313568.183
AT ITER 4655 NEW BEST:: SOT 4144704 SOS 872450 HAS SOPS 862323 HAS SOUS 313456 HAS SOUPS 312401 WITH SCORE 313273.45
AT ITER 4669 NEW BEST:: SOT 4144694 SOS 872673 HAS SOPS 862546 HAS SOUS 313436 HAS SOUPS 312381 WITH SCORE 313253.673
AT ITER 4674 NEW BEST:: SOT 4142822 SOS 870849 HAS SOPS 860708 HAS SOUS 311598 HAS SOUPS 310543 WITH SCORE 311413.849
AT ITER 4688 NEW BEST:: SOT 4142770 SOS 870123 HAS SOPS 859982 HAS SOUS 311197 HAS SOUPS 310142 WITH SCORE 311012.123
AT ITER 4690 NEW BEST:: SOT 4142393 SOS 869729 HAS SOPS 859777 HAS SOUS 310632 HAS SOUPS 309577 WITH SCORE 310446.729
AT ITER 4698 NEW BEST:: SOT 4142393 SOS 869729 HAS SOPS 859777 HAS SOUS 310628 HAS SOUPS 309573 WITH SCORE 310442.729
AT ITER 4699 NEW BEST:: SOT 4142393 SOS 869729 HAS SOPS 859693 HAS SOUS 310460 HAS SOUPS 309405 WITH SCORE 310274.729
AT ITER 4718 NEW BEST:: SOT 4142391 SOS 869727 HAS SOPS 859691 HAS SOUS 310458 HAS SOUPS 309403 WITH SCORE 310272.727
AT ITER 4724 NEW BEST:: SOT 4142442 SOS 869778 HAS SOPS 859742 HAS SOUS 310231 HAS SOUPS 309176 WITH SCORE 310045.778
AT ITER 4737 NEW BEST:: SOT 4142442 SOS 869791 HAS SOPS 859755 HAS SOUS 310205 HAS SOUPS 309150 WITH SCORE 310019.791
AT ITER 4743 NEW BEST:: SOT 4142529 SOS 869878 HAS SOPS 859842 HAS SOUS 310168 HAS SOUPS 309113 WITH SCORE 309982.878
AT ITER 4744 NEW BEST:: SOT 4142450 SOS 869799 HAS SOPS 859763 HAS SOUS 310010 HAS SOUPS 308955 WITH SCORE 309824.799
AT ITER 4776 NEW BEST:: SOT 4142427 SOS 869647 HAS SOPS 859611 HAS SOUS 309921 HAS SOUPS 308866 WITH SCORE 309735.647
AT ITER 4792 NEW BEST:: SOT 4142358 SOS 869578 HAS SOPS 859542 HAS SOUS 309717 HAS SOUPS 308662 WITH SCORE 309531.578
AT ITER 4795 NEW BEST:: SOT 4142352 SOS 869560 HAS SOPS 859524 HAS SOUS 309708 HAS SOUPS 308653 WITH SCORE 309522.56
AT ITER 4821 NEW BEST:: SOT 4142409 SOS 868923 HAS SOPS 858887 HAS SOUS 309666 HAS SOUPS 308611 WITH SCORE 309479.923
AT ITER 4826 NEW BEST:: SOT 4142186 SOS 868700 HAS SOPS 858664 HAS SOUS 309443 HAS SOUPS 308388 WITH SCORE 309256.7
AT ITER 4834 NEW BEST:: SOT 4142111 SOS 868450 HAS SOPS 858239 HAS SOUS 308766 HAS SOUPS 307711 WITH SCORE 308579.45
AT ITER 4839 NEW BEST:: SOT 4142013 SOS 868352 HAS SOPS 858141 HAS SOUS 308758 HAS SOUPS 307703 WITH SCORE 308571.352
AT ITER 4844 NEW BEST:: SOT 4142008 SOS 867537 HAS SOPS 857326 HAS SOUS 308698 HAS SOUPS 307643 WITH SCORE 308510.537
AT ITER 4850 NEW BEST:: SOT 4141971 SOS 867476 HAS SOPS 857265 HAS SOUS 308600 HAS SOUPS 307545 WITH SCORE 308412.476
AT ITER 4871 NEW BEST:: SOT 4141845 SOS 867413 HAS SOPS 857202 HAS SOUS 308474 HAS SOUPS 307419 WITH SCORE 308286.413
AT ITER 4911 NEW BEST:: SOT 4141862 SOS 867413 HAS SOPS 857202 HAS SOUS 308457 HAS SOUPS 307402 WITH SCORE 308269.413
AT ITER 4960 NEW BEST:: SOT 4141862 SOS 867442 HAS SOPS 857245 HAS SOUS 308294 HAS SOUPS 307239 WITH SCORE 308106.442
AT ITER 4976 NEW BEST:: SOT 4141720 SOS 867297 HAS SOPS 857100 HAS SOUS 308138 HAS SOUPS 307083 WITH SCORE 307950.297
AT ITER 4977 NEW BEST:: SOT 4141726 SOS 867188 HAS SOPS 856829 HAS SOUS 308163 HAS SOUPS 307028 WITH SCORE 307895.188
AT ITER 5013 NEW BEST:: SOT 4141721 SOS 867183 HAS SOPS 856829 HAS SOUS 308158 HAS SOUPS 307023 WITH SCORE 307890.183
AT ITER 5034 NEW BEST:: SOT 4141721 SOS 866560 HAS SOPS 856206 HAS SOUS 308151 HAS SOUPS 307016 WITH SCORE 307882.56
AT ITER 5037 NEW BEST:: SOT 4141725 SOS 865099 HAS SOPS 854745 HAS SOUS 307732 HAS SOUPS 306597 WITH SCORE 307462.099
AT ITER 5054 NEW BEST:: SOT 4141736 SOS 865210 HAS SOPS 854806 HAS SOUS 307704 HAS SOUPS 306569 WITH SCORE 307434.21
AT ITER 5066 NEW BEST:: SOT 4141711 SOS 865185 HAS SOPS 854756 HAS SOUS 307654 HAS SOUPS 306519 WITH SCORE 307384.185
AT ITER 5068 NEW BEST:: SOT 4141732 SOS 865206 HAS SOPS 854777 HAS SOUS 307113 HAS SOUPS 305978 WITH SCORE 306843.206
AT ITER 5080 NEW BEST:: SOT 4141692 SOS 865194 HAS SOPS 854737 HAS SOUS 307106 HAS SOUPS 305971 WITH SCORE 306836.194
AT ITER 5097 NEW BEST:: SOT 4141692 SOS 865194 HAS SOPS 854737 HAS SOUS 306961 HAS SOUPS 305826 WITH SCORE 306691.194
AT ITER 5103 NEW BEST:: SOT 4141623 SOS 865155 HAS SOPS 854698 HAS SOUS 306934 HAS SOUPS 305799 WITH SCORE 306664.155
AT ITER 5104 NEW BEST:: SOT 4141449 SOS 865157 HAS SOPS 854700 HAS SOUS 306593 HAS SOUPS 305458 WITH SCORE 306323.157
AT ITER 5107 NEW BEST:: SOT 4141465 SOS 865145 HAS SOPS 854688 HAS SOUS 306570 HAS SOUPS 305435 WITH SCORE 306300.145
AT ITER 5115 NEW BEST:: SOT 4141515 SOS 865019 HAS SOPS 854562 HAS SOUS 306002 HAS SOUPS 304867 WITH SCORE 305732.019
AT ITER 5120 NEW BEST:: SOT 4141275 SOS 864779 HAS SOPS 854322 HAS SOUS 305900 HAS SOUPS 304765 WITH SCORE 305629.779
AT ITER 5139 NEW BEST:: SOT 4141325 SOS 864829 HAS SOPS 854372 HAS SOUS 305868 HAS SOUPS 304733 WITH SCORE 305597.829
AT ITER 5142 NEW BEST:: SOT 4141313 SOS 864817 HAS SOPS 854360 HAS SOUS 305856 HAS SOUPS 304721 WITH SCORE 305585.817
AT ITER 5143 NEW BEST:: SOT 4141309 SOS 864813 HAS SOPS 854356 HAS SOUS 305848 HAS SOUPS 304713 WITH SCORE 305577.813
AT ITER 5144 NEW BEST:: SOT 4141320 SOS 864835 HAS SOPS 854378 HAS SOUS 305837 HAS SOUPS 304702 WITH SCORE 305566.835
AT ITER 5145 NEW BEST:: SOT 4141215 SOS 864434 HAS SOPS 853977 HAS SOUS 305627 HAS SOUPS 304492 WITH SCORE 305356.434
AT ITER 5161 NEW BEST:: SOT 4141120 SOS 863749 HAS SOPS 853292 HAS SOUS 305451 HAS SOUPS 304316 WITH SCORE 305179.749
AT ITER 5166 NEW BEST:: SOT 4141122 SOS 863767 HAS SOPS 853310 HAS SOUS 305343 HAS SOUPS 304208 WITH SCORE 305071.767
AT ITER 5221 NEW BEST:: SOT 4141056 SOS 864065 HAS SOPS 853602 HAS SOUS 305234 HAS SOUPS 304099 WITH SCORE 304963.065
AT ITER 5228 NEW BEST:: SOT 4140939 SOS 863948 HAS SOPS 853485 HAS SOUS 305000 HAS SOUPS 303865 WITH SCORE 304728.948
AT ITER 5272 NEW BEST:: SOT 4140939 SOS 863945 HAS SOPS 853482 HAS SOUS 304999 HAS SOUPS 303864 WITH SCORE 304727.945
AT ITER 5273 NEW BEST:: SOT 4140786 SOS 863163 HAS SOPS 852700 HAS SOUS 304646 HAS SOUPS 303511 WITH SCORE 304374.163
AT ITER 5278 NEW BEST:: SOT 4140708 SOS 863085 HAS SOPS 852622 HAS SOUS 304646 HAS SOUPS 303511 WITH SCORE 304374.085
AT ITER 5298 NEW BEST:: SOT 4140791 SOS 864129 HAS SOPS 853722 HAS SOUS 304233 HAS SOUPS 303098 WITH SCORE 303962.129
AT ITER 5318 NEW BEST:: SOT 4140791 SOS 864121 HAS SOPS 853714 HAS SOUS 304233 HAS SOUPS 303098 WITH SCORE 303962.121
AT ITER 5320 NEW BEST:: SOT 4140791 SOS 869305 HAS SOPS 858898 HAS SOUS 304201 HAS SOUPS 303066 WITH SCORE 303935.305
AT ITER 5329 NEW BEST:: SOT 4140631 SOS 869183 HAS SOPS 858842 HAS SOUS 303881 HAS SOUPS 302746 WITH SCORE 303615.183
AT ITER 5403 NEW BEST:: SOT 4140693 SOS 869261 HAS SOPS 858920 HAS SOUS 303695 HAS SOUPS 302560 WITH SCORE 303429.261
AT ITER 5443 NEW BEST:: SOT 4140238 SOS 868623 HAS SOPS 858282 HAS SOUS 303315 HAS SOUPS 302180 WITH SCORE 303048.623
AT ITER 5478 NEW BEST:: SOT 4140150 SOS 868447 HAS SOPS 858106 HAS SOUS 303139 HAS SOUPS 302004 WITH SCORE 302872.447
AT ITER 5493 NEW BEST:: SOT 4139446 SOS 881375 HAS SOPS 871034 HAS SOUS 302802 HAS SOUPS 301667 WITH SCORE 302548.375
AT ITER 5501 NEW BEST:: SOT 4139422 SOS 881407 HAS SOPS 871066 HAS SOUS 302754 HAS SOUPS 301619 WITH SCORE 302500.407
AT ITER 5504 NEW BEST:: SOT 4139354 SOS 881339 HAS SOPS 870998 HAS SOUS 302754 HAS SOUPS 301619 WITH SCORE 302500.339
AT ITER 5507 NEW BEST:: SOT 4139259 SOS 881628 HAS SOPS 871287 HAS SOUS 302372 HAS SOUPS 301237 WITH SCORE 302118.628
AT ITER 5514 NEW BEST:: SOT 4139018 SOS 881288 HAS SOPS 870947 HAS SOUS 302291 HAS SOUPS 301156 WITH SCORE 302037.288
AT ITER 5521 NEW BEST:: SOT 4139000 SOS 880654 HAS SOPS 870313 HAS SOUS 302255 HAS SOUPS 301120 WITH SCORE 302000.654
AT ITER 5527 NEW BEST:: SOT 4138997 SOS 880646 HAS SOPS 870305 HAS SOUS 302255 HAS SOUPS 301120 WITH SCORE 302000.646
AT ITER 5533 NEW BEST:: SOT 4138981 SOS 880622 HAS SOPS 870281 HAS SOUS 302231 HAS SOUPS 301096 WITH SCORE 301976.622
AT ITER 5561 NEW BEST:: SOT 4138412 SOS 893472 HAS SOPS 883131 HAS SOUS 302006 HAS SOUPS 300871 WITH SCORE 301764.472
AT ITER 5589 NEW BEST:: SOT 4138138 SOS 893374 HAS SOPS 883288 HAS SOUS 301491 HAS SOUPS 300356 WITH SCORE 301249.374
AT ITER 5606 NEW BEST:: SOT 4137968 SOS 893204 HAS SOPS 883118 HAS SOUS 301333 HAS SOUPS 300198 WITH SCORE 301091.204
AT ITER 5611 NEW BEST:: SOT 4137938 SOS 893174 HAS SOPS 883116 HAS SOUS 301303 HAS SOUPS 300168 WITH SCORE 301061.174
AT ITER 5617 NEW BEST:: SOT 4137903 SOS 893123 HAS SOPS 883065 HAS SOUS 301233 HAS SOUPS 300098 WITH SCORE 300991.123
AT ITER 5621 NEW BEST:: SOT 4137505 SOS 892725 HAS SOPS 882667 HAS SOUS 300767 HAS SOUPS 299632 WITH SCORE 300524.725
AT ITER 5622 NEW BEST:: SOT 4137519 SOS 892718 HAS SOPS 882660 HAS SOUS 300733 HAS SOUPS 299598 WITH SCORE 300490.718
AT ITER 5626 NEW BEST:: SOT 4137502 SOS 892701 HAS SOPS 882643 HAS SOUS 300668 HAS SOUPS 299533 WITH SCORE 300425.701
AT ITER 5631 NEW BEST:: SOT 4137527 SOS 892751 HAS SOPS 882693 HAS SOUS 300586 HAS SOUPS 299451 WITH SCORE 300343.751
AT ITER 5656 NEW BEST:: SOT 4137535 SOS 892775 HAS SOPS 882717 HAS SOUS 300574 HAS SOUPS 299439 WITH SCORE 300331.775
AT ITER 5663 NEW BEST:: SOT 4137010 SOS 893164 HAS SOPS 883106 HAS SOUS 300093 HAS SOUPS 298958 WITH SCORE 299851.164
AT ITER 5672 NEW BEST:: SOT 4137010 SOS 892932 HAS SOPS 882874 HAS SOUS 300093 HAS SOUPS 298958 WITH SCORE 299850.932
AT ITER 5673 NEW BEST:: SOT 4136910 SOS 892832 HAS SOPS 882774 HAS SOUS 299943 HAS SOUPS 298808 WITH SCORE 299700.832
AT ITER 5674 NEW BEST:: SOT 4137271 SOS 893193 HAS SOPS 883135 HAS SOUS 299934 HAS SOUPS 298799 WITH SCORE 299692.193
AT ITER 5701 NEW BEST:: SOT 4137271 SOS 892767 HAS SOPS 882709 HAS SOUS 299859 HAS SOUPS 298724 WITH SCORE 299616.767
AT ITER 5711 NEW BEST:: SOT 4137278 SOS 892774 HAS SOPS 882716 HAS SOUS 299743 HAS SOUPS 298608 WITH SCORE 299500.774
AT ITER 5720 NEW BEST:: SOT 4137285 SOS 892908 HAS SOPS 882850 HAS SOUS 299369 HAS SOUPS 298234 WITH SCORE 299126.908
AT ITER 5744 NEW BEST:: SOT 4137355 SOS 892978 HAS SOPS 882920 HAS SOUS 299229 HAS SOUPS 298094 WITH SCORE 298986.978
AT ITER 5779 NEW BEST:: SOT 4138585 SOS 894208 HAS SOPS 884150 HAS SOUS 298888 HAS SOUPS 297753 WITH SCORE 298647.208
AT ITER 5801 NEW BEST:: SOT 4138573 SOS 894160 HAS SOPS 884102 HAS SOUS 298852 HAS SOUPS 297717 WITH SCORE 298611.16
AT ITER 5806 NEW BEST:: SOT 4138357 SOS 893832 HAS SOPS 883774 HAS SOUS 298756 HAS SOUPS 297621 WITH SCORE 298514.832
AT ITER 5809 NEW BEST:: SOT 4138361 SOS 893894 HAS SOPS 883836 HAS SOUS 298743 HAS SOUPS 297608 WITH SCORE 298501.894
AT ITER 5835 NEW BEST:: SOT 4138210 SOS 893798 HAS SOPS 883774 HAS SOUS 298674 HAS SOUPS 297539 WITH SCORE 298432.798
AT ITER 5857 NEW BEST:: SOT 4138220 SOS 899316 HAS SOPS 889292 HAS SOUS 298660 HAS SOUPS 297525 WITH SCORE 298424.316
AT ITER 5865 NEW BEST:: SOT 4138210 SOS 899280 HAS SOPS 889256 HAS SOUS 298644 HAS SOUPS 297509 WITH SCORE 298408.28
AT ITER 5874 NEW BEST:: SOT 4138194 SOS 899218 HAS SOPS 889148 HAS SOUS 298520 HAS SOUPS 297385 WITH SCORE 298284.218
AT ITER 5885 NEW BEST:: SOT 4138129 SOS 899088 HAS SOPS 889018 HAS SOUS 298390 HAS SOUPS 297255 WITH SCORE 298154.088
AT ITER 5894 NEW BEST:: SOT 4137767 SOS 897736 HAS SOPS 887666 HAS SOUS 298302 HAS SOUPS 297167 WITH SCORE 298064.736
AT ITER 5907 NEW BEST:: SOT 4137695 SOS 897664 HAS SOPS 887594 HAS SOUS 298192 HAS SOUPS 297057 WITH SCORE 297954.664
AT ITER 5911 NEW BEST:: SOT 4137650 SOS 897619 HAS SOPS 887549 HAS SOUS 298192 HAS SOUPS 297057 WITH SCORE 297954.619
AT ITER 5912 NEW BEST:: SOT 4137729 SOS 897698 HAS SOPS 887628 HAS SOUS 297900 HAS SOUPS 296765 WITH SCORE 297662.698
AT ITER 5919 NEW BEST:: SOT 4137760 SOS 897729 HAS SOPS 887659 HAS SOUS 297860 HAS SOUPS 296725 WITH SCORE 297622.729
AT ITER 5924 NEW BEST:: SOT 4137319 SOS 897194 HAS SOPS 887156 HAS SOUS 297589 HAS SOUPS 296454 WITH SCORE 297351.194
AT ITER 5937 NEW BEST:: SOT 4137393 SOS 897268 HAS SOPS 887230 HAS SOUS 297477 HAS SOUPS 296342 WITH SCORE 297239.268
AT ITER 5941 NEW BEST:: SOT 4136511 SOS 896289 HAS SOPS 886251 HAS SOUS 296636 HAS SOUPS 295501 WITH SCORE 296397.289
AT ITER 5964 NEW BEST:: SOT 4136443 SOS 896221 HAS SOPS 886183 HAS SOUS 296314 HAS SOUPS 295179 WITH SCORE 296075.221
AT ITER 5970 NEW BEST:: SOT 4135980 SOS 895758 HAS SOPS 885720 HAS SOUS 295794 HAS SOUPS 294659 WITH SCORE 295554.758
AT ITER 5974 NEW BEST:: SOT 4135752 SOS 895530 HAS SOPS 885492 HAS SOUS 295686 HAS SOUPS 294551 WITH SCORE 295446.53
AT ITER 5980 NEW BEST:: SOT 4135752 SOS 895530 HAS SOPS 885492 HAS SOUS 295519 HAS SOUPS 294384 WITH SCORE 295279.53
AT ITER 6016 NEW BEST:: SOT 4135662 SOS 895440 HAS SOPS 885402 HAS SOUS 295159 HAS SOUPS 294024 WITH SCORE 294919.44
AT ITER 6019 NEW BEST:: SOT 4135719 SOS 895497 HAS SOPS 885459 HAS SOUS 295087 HAS SOUPS 293952 WITH SCORE 294847.497
AT ITER 6042 NEW BEST:: SOT 4135704 SOS 894972 HAS SOPS 884934 HAS SOUS 294778 HAS SOUPS 293643 WITH SCORE 294537.972
AT ITER 6076 NEW BEST:: SOT 4135704 SOS 894395 HAS SOPS 884357 HAS SOUS 294773 HAS SOUPS 293638 WITH SCORE 294532.395
AT ITER 6079 NEW BEST:: SOT 4136029 SOS 895033 HAS SOPS 884995 HAS SOUS 294654 HAS SOUPS 293519 WITH SCORE 294414.033
AT ITER 6142 NEW BEST:: SOT 4135919 SOS 894777 HAS SOPS 884724 HAS SOUS 294606 HAS SOUPS 293471 WITH SCORE 294365.777
AT ITER 6161 NEW BEST:: SOT 4135879 SOS 894737 HAS SOPS 884709 HAS SOUS 294581 HAS SOUPS 293446 WITH SCORE 294340.737
AT ITER 6180 NEW BEST:: SOT 4135761 SOS 894619 HAS SOPS 884323 HAS SOUS 294345 HAS SOUPS 293210 WITH SCORE 294104.619
AT ITER 6185 NEW BEST:: SOT 4135731 SOS 895111 HAS SOPS 884815 HAS SOUS 294091 HAS SOUPS 292956 WITH SCORE 293851.111
AT ITER 6190 NEW BEST:: SOT 4135650 SOS 893537 HAS SOPS 883241 HAS SOUS 293599 HAS SOUPS 292464 WITH SCORE 293357.537
AT ITER 6214 NEW BEST:: SOT 4135715 SOS 893655 HAS SOPS 883359 HAS SOUS 293540 HAS SOUPS 292405 WITH SCORE 293298.655
AT ITER 6217 NEW BEST:: SOT 4135715 SOS 893663 HAS SOPS 883367 HAS SOUS 293532 HAS SOUPS 292397 WITH SCORE 293290.663
AT ITER 6218 NEW BEST:: SOT 4135706 SOS 893654 HAS SOPS 883358 HAS SOUS 293514 HAS SOUPS 292379 WITH SCORE 293272.654
AT ITER 6228 NEW BEST:: SOT 4135746 SOS 893694 HAS SOPS 883398 HAS SOUS 293509 HAS SOUPS 292374 WITH SCORE 293267.694
AT ITER 6247 NEW BEST:: SOT 4135745 SOS 893694 HAS SOPS 883398 HAS SOUS 293508 HAS SOUPS 292373 WITH SCORE 293266.694
AT ITER 6256 NEW BEST:: SOT 4135741 SOS 893690 HAS SOPS 883394 HAS SOUS 293504 HAS SOUPS 292369 WITH SCORE 293262.69
AT ITER 6295 NEW BEST:: SOT 4135679 SOS 893635 HAS SOPS 883413 HAS SOUS 293476 HAS SOUPS 292341 WITH SCORE 293234.635
AT ITER 6300 NEW BEST:: SOT 4135679 SOS 893671 HAS SOPS 883449 HAS SOUS 293404 HAS SOUPS 292269 WITH SCORE 293162.671
AT ITER 6303 NEW BEST:: SOT 4135673 SOS 893665 HAS SOPS 883443 HAS SOUS 293398 HAS SOUPS 292263 WITH SCORE 293156.665
AT ITER 6317 NEW BEST:: SOT 4135540 SOS 893899 HAS SOPS 883677 HAS SOUS 293196 HAS SOUPS 292061 WITH SCORE 292954.899
AT ITER 6335 NEW BEST:: SOT 4135477 SOS 893836 HAS SOPS 883593 HAS SOUS 293097 HAS SOUPS 291962 WITH SCORE 292855.836
AT ITER 6350 NEW BEST:: SOT 4135403 SOS 891420 HAS SOPS 881177 HAS SOUS 292447 HAS SOUPS 291312 WITH SCORE 292203.42
AT ITER 6357 NEW BEST:: SOT 4135358 SOS 891375 HAS SOPS 881132 HAS SOUS 292372 HAS SOUPS 291237 WITH SCORE 292128.375
AT ITER 6361 NEW BEST:: SOT 4135562 SOS 891473 HAS SOPS 881230 HAS SOUS 292341 HAS SOUPS 291206 WITH SCORE 292097.473
AT ITER 6362 NEW BEST:: SOT 4135582 SOS 891493 HAS SOPS 881250 HAS SOUS 292333 HAS SOUPS 291198 WITH SCORE 292089.493
AT ITER 6376 NEW BEST:: SOT 4135588 SOS 891499 HAS SOPS 881192 HAS SOUS 292256 HAS SOUPS 291121 WITH SCORE 292012.499
AT ITER 6377 NEW BEST:: SOT 4135576 SOS 891535 HAS SOPS 881228 HAS SOUS 292208 HAS SOUPS 291073 WITH SCORE 291964.535
AT ITER 6438 NEW BEST:: SOT 4135516 SOS 891595 HAS SOPS 881288 HAS SOUS 292088 HAS SOUPS 290953 WITH SCORE 291844.595
AT ITER 6443 NEW BEST:: SOT 4135558 SOS 891637 HAS SOPS 881330 HAS SOUS 292016 HAS SOUPS 290881 WITH SCORE 291772.637
AT ITER 6459 NEW BEST:: SOT 4135533 SOS 891636 HAS SOPS 881329 HAS SOUS 291981 HAS SOUPS 290846 WITH SCORE 291737.636
AT ITER 6472 NEW BEST:: SOT 4135528 SOS 891631 HAS SOPS 881324 HAS SOUS 291974 HAS SOUPS 290839 WITH SCORE 291730.631
AT ITER 6486 NEW BEST:: SOT 4135511 SOS 891490 HAS SOPS 881059 HAS SOUS 291658 HAS SOUPS 290523 WITH SCORE 291414.49
AT ITER 6505 NEW BEST:: SOT 4135577 SOS 891624 HAS SOPS 881193 HAS SOUS 291468 HAS SOUPS 290333 WITH SCORE 291224.624
AT ITER 6508 NEW BEST:: SOT 4135397 SOS 891320 HAS SOPS 880982 HAS SOUS 291285 HAS SOUPS 290150 WITH SCORE 291041.32
AT ITER 6531 NEW BEST:: SOT 4135399 SOS 891326 HAS SOPS 880988 HAS SOUS 291261 HAS SOUPS 290126 WITH SCORE 291017.326
AT ITER 6534 NEW BEST:: SOT 4135311 SOS 891477 HAS SOPS 881139 HAS SOUS 291110 HAS SOUPS 289975 WITH SCORE 290866.477
AT ITER 6560 NEW BEST:: SOT 4135303 SOS 891437 HAS SOPS 881107 HAS SOUS 291102 HAS SOUPS 289967 WITH SCORE 290858.437
AT ITER 6567 NEW BEST:: SOT 4135295 SOS 891429 HAS SOPS 881099 HAS SOUS 291050 HAS SOUPS 289915 WITH SCORE 290806.429
AT ITER 6587 NEW BEST:: SOT 4135127 SOS 890422 HAS SOPS 880092 HAS SOUS 290695 HAS SOUPS 289560 WITH SCORE 290450.422
AT ITER 6614 NEW BEST:: SOT 4135010 SOS 890464 HAS SOPS 879961 HAS SOUS 290591 HAS SOUPS 289356 WITH SCORE 290246.464
AT ITER 6615 NEW BEST:: SOT 4134953 SOS 890407 HAS SOPS 879904 HAS SOUS 290306 HAS SOUPS 289071 WITH SCORE 289961.407
AT ITER 6627 NEW BEST:: SOT 4134953 SOS 890787 HAS SOPS 880284 HAS SOUS 290247 HAS SOUPS 289012 WITH SCORE 289902.787
AT ITER 6630 NEW BEST:: SOT 4134946 SOS 890780 HAS SOPS 880277 HAS SOUS 290060 HAS SOUPS 288825 WITH SCORE 289715.78
AT ITER 6655 NEW BEST:: SOT 4134951 SOS 890785 HAS SOPS 880282 HAS SOUS 290050 HAS SOUPS 288815 WITH SCORE 289705.785
AT ITER 6693 NEW BEST:: SOT 4134938 SOS 890752 HAS SOPS 880249 HAS SOUS 289984 HAS SOUPS 288749 WITH SCORE 289639.752
AT ITER 6709 NEW BEST:: SOT 4134916 SOS 890730 HAS SOPS 880227 HAS SOUS 289940 HAS SOUPS 288705 WITH SCORE 289595.73
AT ITER 6714 NEW BEST:: SOT 4135022 SOS 889774 HAS SOPS 879271 HAS SOUS 289738 HAS SOUPS 288503 WITH SCORE 289392.774
AT ITER 6732 NEW BEST:: SOT 4134988 SOS 889740 HAS SOPS 879237 HAS SOUS 289670 HAS SOUPS 288435 WITH SCORE 289324.74
AT ITER 6775 NEW BEST:: SOT 4134977 SOS 889718 HAS SOPS 879215 HAS SOUS 289648 HAS SOUPS 288413 WITH SCORE 289302.718
AT ITER 6782 NEW BEST:: SOT 4134977 SOS 889718 HAS SOPS 879215 HAS SOUS 289598 HAS SOUPS 288363 WITH SCORE 289252.718
AT ITER 6798 NEW BEST:: SOT 4134963 SOS 889676 HAS SOPS 879173 HAS SOUS 289584 HAS SOUPS 288349 WITH SCORE 289238.676
AT ITER 6825 NEW BEST:: SOT 4134793 SOS 889506 HAS SOPS 879003 HAS SOUS 289538 HAS SOUPS 288303 WITH SCORE 289192.506
AT ITER 6828 NEW BEST:: SOT 4134584 SOS 889325 HAS SOPS 878822 HAS SOUS 289425 HAS SOUPS 288190 WITH SCORE 289079.325
AT ITER 6868 NEW BEST:: SOT 4134553 SOS 889356 HAS SOPS 878853 HAS SOUS 289363 HAS SOUPS 288128 WITH SCORE 289017.356
AT ITER 6916 NEW BEST:: SOT 4134547 SOS 889350 HAS SOPS 878847 HAS SOUS 289360 HAS SOUPS 288125 WITH SCORE 289014.35
AT ITER 6941 NEW BEST:: SOT 4134532 SOS 889320 HAS SOPS 878817 HAS SOUS 289330 HAS SOUPS 288095 WITH SCORE 288984.32
AT ITER 6946 NEW BEST:: SOT 4134805 SOS 889191 HAS SOPS 878688 HAS SOUS 288981 HAS SOUPS 287746 WITH SCORE 288635.191
AT ITER 6950 NEW BEST:: SOT 4134750 SOS 889111 HAS SOPS 878608 HAS SOUS 288874 HAS SOUPS 287639 WITH SCORE 288528.111
AT ITER 6961 NEW BEST:: SOT 4134494 SOS 889792 HAS SOPS 879289 HAS SOUS 288620 HAS SOUPS 287385 WITH SCORE 288274.792
AT ITER 6971 NEW BEST:: SOT 4134602 SOS 889733 HAS SOPS 879063 HAS SOUS 288502 HAS SOUPS 287267 WITH SCORE 288156.733
AT ITER 6976 NEW BEST:: SOT 4135191 SOS 890441 HAS SOPS 879771 HAS SOUS 288463 HAS SOUPS 287228 WITH SCORE 288118.441
AT ITER 6989 NEW BEST:: SOT 4135153 SOS 890403 HAS SOPS 879733 HAS SOUS 288425 HAS SOUPS 287190 WITH SCORE 288080.403
AT ITER 6991 NEW BEST:: SOT 4135123 SOS 890356 HAS SOPS 879686 HAS SOUS 288357 HAS SOUPS 287122 WITH SCORE 288012.356
AT ITER 6993 NEW BEST:: SOT 4135035 SOS 890268 HAS SOPS 879598 HAS SOUS 288229 HAS SOUPS 286994 WITH SCORE 287884.268
AT ITER 7007 NEW BEST:: SOT 4134785 SOS 890112 HAS SOPS 879442 HAS SOUS 288084 HAS SOUPS 286849 WITH SCORE 287739.112
AT ITER 7023 NEW BEST:: SOT 4134727 SOS 890054 HAS SOPS 879384 HAS SOUS 287991 HAS SOUPS 286756 WITH SCORE 287646.054
AT ITER 7025 NEW BEST:: SOT 4134656 SOS 889693 HAS SOPS 879023 HAS SOUS 287717 HAS SOUPS 286482 WITH SCORE 287371.693
AT ITER 7034 NEW BEST:: SOT 4134653 SOS 888544 HAS SOPS 877874 HAS SOUS 287705 HAS SOUPS 286470 WITH SCORE 287358.544
AT ITER 7039 NEW BEST:: SOT 4134445 SOS 888133 HAS SOPS 877608 HAS SOUS 287422 HAS SOUPS 286187 WITH SCORE 287075.133
AT ITER 7047 NEW BEST:: SOT 4134416 SOS 888255 HAS SOPS 877730 HAS SOUS 287297 HAS SOUPS 286062 WITH SCORE 286950.255
AT ITER 7068 NEW BEST:: SOT 4134068 SOS 891309 HAS SOPS 880784 HAS SOUS 287206 HAS SOUPS 285971 WITH SCORE 286862.309
AT ITER 7076 NEW BEST:: SOT 4134130 SOS 891294 HAS SOPS 880787 HAS SOUS 287193 HAS SOUPS 285958 WITH SCORE 286849.294
AT ITER 7078 NEW BEST:: SOT 4134179 SOS 890891 HAS SOPS 880384 HAS SOUS 287178 HAS SOUPS 285943 WITH SCORE 286833.891
AT ITER 7149 NEW BEST:: SOT 4134249 SOS 890994 HAS SOPS 880487 HAS SOUS 287110 HAS SOUPS 285875 WITH SCORE 286765.994
AT ITER 7150 NEW BEST:: SOT 4134249 SOS 890904 HAS SOPS 880397 HAS SOUS 287079 HAS SOUPS 285844 WITH SCORE 286734.904
AT ITER 7167 NEW BEST:: SOT 4134249 SOS 891337 HAS SOPS 880781 HAS SOUS 287079 HAS SOUPS 285838 WITH SCORE 286729.337
AT ITER 7197 NEW BEST:: SOT 4134247 SOS 891599 HAS SOPS 881043 HAS SOUS 287075 HAS SOUPS 285834 WITH SCORE 286725.599
AT ITER 7203 NEW BEST:: SOT 4134167 SOS 891419 HAS SOPS 880863 HAS SOUS 286895 HAS SOUPS 285654 WITH SCORE 286545.419
AT ITER 7204 NEW BEST:: SOT 4134032 SOS 891273 HAS SOPS 880717 HAS SOUS 286845 HAS SOUPS 285604 WITH SCORE 286495.273
AT ITER 7215 NEW BEST:: SOT 4133818 SOS 891059 HAS SOPS 880503 HAS SOUS 286417 HAS SOUPS 285176 WITH SCORE 286067.059
AT ITER 7232 NEW BEST:: SOT 4133827 SOS 888368 HAS SOPS 877812 HAS SOUS 286289 HAS SOUPS 285048 WITH SCORE 285936.368
AT ITER 7234 NEW BEST:: SOT 4133665 SOS 888206 HAS SOPS 877650 HAS SOUS 286163 HAS SOUPS 284922 WITH SCORE 285810.206
AT ITER 7250 NEW BEST:: SOT 4133505 SOS 887726 HAS SOPS 877170 HAS SOUS 286003 HAS SOUPS 284762 WITH SCORE 285649.726
AT ITER 7253 NEW BEST:: SOT 4133505 SOS 887739 HAS SOPS 877183 HAS SOUS 285977 HAS SOUPS 284736 WITH SCORE 285623.739
AT ITER 7267 NEW BEST:: SOT 4133412 SOS 887587 HAS SOPS 877031 HAS SOUS 285909 HAS SOUPS 284668 WITH SCORE 285555.587
AT ITER 7282 NEW BEST:: SOT 4133383 SOS 887619 HAS SOPS 877063 HAS SOUS 285866 HAS SOUPS 284625 WITH SCORE 285512.619
AT ITER 7283 NEW BEST:: SOT 4133395 SOS 887657 HAS SOPS 877101 HAS SOUS 285864 HAS SOUPS 284623 WITH SCORE 285510.657
AT ITER 7295 NEW BEST:: SOT 4133398 SOS 887660 HAS SOPS 877104 HAS SOUS 285835 HAS SOUPS 284594 WITH SCORE 285481.66
AT ITER 7299 NEW BEST:: SOT 4133390 SOS 887724 HAS SOPS 877168 HAS SOUS 285719 HAS SOUPS 284478 WITH SCORE 285365.724
AT ITER 7315 NEW BEST:: SOT 4133348 SOS 888060 HAS SOPS 877504 HAS SOUS 285635 HAS SOUPS 284394 WITH SCORE 285282.06
AT ITER 7334 NEW BEST:: SOT 4133288 SOS 888060 HAS SOPS 877504 HAS SOUS 285515 HAS SOUPS 284274 WITH SCORE 285162.06
AT ITER 7336 NEW BEST:: SOT 4133273 SOS 888045 HAS SOPS 877489 HAS SOUS 285474 HAS SOUPS 284233 WITH SCORE 285121.045
AT ITER 7341 NEW BEST:: SOT 4133258 SOS 888020 HAS SOPS 877464 HAS SOUS 285459 HAS SOUPS 284218 WITH SCORE 285106.02
AT ITER 7377 NEW BEST:: SOT 4132971 SOS 887733 HAS SOPS 877177 HAS SOUS 285419 HAS SOUPS 284178 WITH SCORE 285065.733
AT ITER 7387 NEW BEST:: SOT 4132951 SOS 887713 HAS SOPS 877157 HAS SOUS 285323 HAS SOUPS 284082 WITH SCORE 284969.713
AT ITER 7392 NEW BEST:: SOT 4133150 SOS 887912 HAS SOPS 877356 HAS SOUS 285308 HAS SOUPS 284067 WITH SCORE 284954.912
AT ITER 7403 NEW BEST:: SOT 4131130 SOS 885892 HAS SOPS 875336 HAS SOUS 284951 HAS SOUPS 283710 WITH SCORE 284595.892
AT ITER 7408 NEW BEST:: SOT 4131102 SOS 885914 HAS SOPS 875358 HAS SOUS 284845 HAS SOUPS 283604 WITH SCORE 284489.914
AT ITER 7410 NEW BEST:: SOT 4131101 SOS 885913 HAS SOPS 875358 HAS SOUS 284843 HAS SOUPS 283602 WITH SCORE 284487.913
AT ITER 7419 NEW BEST:: SOT 4131061 SOS 885648 HAS SOPS 875093 HAS SOUS 284708 HAS SOUPS 283467 WITH SCORE 284352.648
AT ITER 7422 NEW BEST:: SOT 4131025 SOS 885594 HAS SOPS 875057 HAS SOUS 284672 HAS SOUPS 283431 WITH SCORE 284316.594
AT ITER 7426 NEW BEST:: SOT 4130893 SOS 885337 HAS SOPS 874675 HAS SOUS 284408 HAS SOUPS 283167 WITH SCORE 284052.337
AT ITER 7453 NEW BEST:: SOT 4130810 SOS 885254 HAS SOPS 874592 HAS SOUS 284265 HAS SOUPS 283024 WITH SCORE 283909.254
AT ITER 7459 NEW BEST:: SOT 4130741 SOS 885500 HAS SOPS 874838 HAS SOUS 284206 HAS SOUPS 282965 WITH SCORE 283850.5
AT ITER 7477 NEW BEST:: SOT 4130657 SOS 885240 HAS SOPS 874598 HAS SOUS 284114 HAS SOUPS 282873 WITH SCORE 283758.24
AT ITER 7480 NEW BEST:: SOT 4130689 SOS 885575 HAS SOPS 874933 HAS SOUS 284085 HAS SOUPS 282844 WITH SCORE 283729.575
AT ITER 7519 NEW BEST:: SOT 4130664 SOS 885550 HAS SOPS 874908 HAS SOUS 284060 HAS SOUPS 282819 WITH SCORE 283704.55
AT ITER 7521 NEW BEST:: SOT 4130542 SOS 885368 HAS SOPS 874724 HAS SOUS 283822 HAS SOUPS 282581 WITH SCORE 283466.368
AT ITER 7551 NEW BEST:: SOT 4130512 SOS 885584 HAS SOPS 874948 HAS SOUS 283762 HAS SOUPS 282521 WITH SCORE 283406.584
AT ITER 7561 NEW BEST:: SOT 4130658 SOS 885811 HAS SOPS 875175 HAS SOUS 283711 HAS SOUPS 282470 WITH SCORE 283355.811
AT ITER 7566 NEW BEST:: SOT 4130633 SOS 885184 HAS SOPS 874548 HAS SOUS 283607 HAS SOUPS 282366 WITH SCORE 283251.184
AT ITER 7567 NEW BEST:: SOT 4130624 SOS 885145 HAS SOPS 874509 HAS SOUS 283595 HAS SOUPS 282354 WITH SCORE 283239.145
AT ITER 7572 NEW BEST:: SOT 4130616 SOS 884983 HAS SOPS 874347 HAS SOUS 283521 HAS SOUPS 282280 WITH SCORE 283164.983
AT ITER 7578 NEW BEST:: SOT 4130719 SOS 885086 HAS SOPS 874450 HAS SOUS 283438 HAS SOUPS 282197 WITH SCORE 283082.086
AT ITER 7580 NEW BEST:: SOT 4130679 SOS 885193 HAS SOPS 874530 HAS SOUS 283385 HAS SOUPS 282117 WITH SCORE 283002.193
AT ITER 7613 NEW BEST:: SOT 4130607 SOS 885303 HAS SOPS 874640 HAS SOUS 283192 HAS SOUPS 281924 WITH SCORE 282809.303
AT ITER 7615 NEW BEST:: SOT 4130630 SOS 885547 HAS SOPS 874794 HAS SOUS 283102 HAS SOUPS 281834 WITH SCORE 282719.547
AT ITER 7624 NEW BEST:: SOT 4130545 SOS 885462 HAS SOPS 874709 HAS SOUS 282973 HAS SOUPS 281705 WITH SCORE 282590.462
AT ITER 7642 NEW BEST:: SOT 4130243 SOS 885435 HAS SOPS 874682 HAS SOUS 282467 HAS SOUPS 281199 WITH SCORE 282084.435
AT ITER 7643 NEW BEST:: SOT 4130293 SOS 885685 HAS SOPS 874932 HAS SOUS 282417 HAS SOUPS 281149 WITH SCORE 282034.685
AT ITER 7645 NEW BEST:: SOT 4130321 SOS 885713 HAS SOPS 874960 HAS SOUS 282353 HAS SOUPS 281085 WITH SCORE 281970.713
AT ITER 7650 NEW BEST:: SOT 4130263 SOS 885655 HAS SOPS 874902 HAS SOUS 282349 HAS SOUPS 281081 WITH SCORE 281966.655
AT ITER 7661 NEW BEST:: SOT 4130247 SOS 885639 HAS SOPS 874886 HAS SOUS 282317 HAS SOUPS 281049 WITH SCORE 281934.639
AT ITER 7667 NEW BEST:: SOT 4130199 SOS 885591 HAS SOPS 874838 HAS SOUS 282281 HAS SOUPS 281013 WITH SCORE 281898.591
AT ITER 7677 NEW BEST:: SOT 4130127 SOS 885519 HAS SOPS 874685 HAS SOUS 282151 HAS SOUPS 280883 WITH SCORE 281768.519
AT ITER 7692 NEW BEST:: SOT 4129998 SOS 885390 HAS SOPS 874556 HAS SOUS 281868 HAS SOUPS 280600 WITH SCORE 281485.39
AT ITER 7724 NEW BEST:: SOT 4129986 SOS 885400 HAS SOPS 874566 HAS SOUS 281844 HAS SOUPS 280576 WITH SCORE 281461.4
AT ITER 7745 NEW BEST:: SOT 4129791 SOS 885252 HAS SOPS 874418 HAS SOUS 281454 HAS SOUPS 280186 WITH SCORE 281071.252
AT ITER 7750 NEW BEST:: SOT 4129746 SOS 885131 HAS SOPS 874297 HAS SOUS 281440 HAS SOUPS 280172 WITH SCORE 281057.131
AT ITER 7760 NEW BEST:: SOT 4129716 SOS 885104 HAS SOPS 874270 HAS SOUS 281428 HAS SOUPS 280160 WITH SCORE 281045.104
AT ITER 7765 NEW BEST:: SOT 4129688 SOS 885076 HAS SOPS 874242 HAS SOUS 281372 HAS SOUPS 280104 WITH SCORE 280989.076
AT ITER 7793 NEW BEST:: SOT 4129638 SOS 884937 HAS SOPS 874103 HAS SOUS 281272 HAS SOUPS 280004 WITH SCORE 280888.937
AT ITER 7797 NEW BEST:: SOT 4129596 SOS 884895 HAS SOPS 874061 HAS SOUS 281251 HAS SOUPS 279983 WITH SCORE 280867.895
AT ITER 7799 NEW BEST:: SOT 4129592 SOS 884600 HAS SOPS 873766 HAS SOUS 281243 HAS SOUPS 279975 WITH SCORE 280859.6
AT ITER 7822 NEW BEST:: SOT 4129524 SOS 884532 HAS SOPS 873698 HAS SOUS 281219 HAS SOUPS 279951 WITH SCORE 280835.532
AT ITER 7835 NEW BEST:: SOT 4129732 SOS 882763 HAS SOPS 871324 HAS SOUS 281071 HAS SOUPS 279843 WITH SCORE 280725.763
AT ITER 7839 NEW BEST:: SOT 4129807 SOS 883357 HAS SOPS 871918 HAS SOUS 280936 HAS SOUPS 279708 WITH SCORE 280591.357
AT ITER 7842 NEW BEST:: SOT 4129788 SOS 883338 HAS SOPS 871899 HAS SOUS 280894 HAS SOUPS 279666 WITH SCORE 280549.338
AT ITER 7857 NEW BEST:: SOT 4129648 SOS 883758 HAS SOPS 872319 HAS SOUS 280614 HAS SOUPS 279386 WITH SCORE 280269.758
AT ITER 7860 NEW BEST:: SOT 4129762 SOS 883202 HAS SOPS 871763 HAS SOUS 280606 HAS SOUPS 279378 WITH SCORE 280261.202
AT ITER 7868 NEW BEST:: SOT 4129520 SOS 882960 HAS SOPS 871521 HAS SOUS 280592 HAS SOUPS 279364 WITH SCORE 280246.96
AT ITER 7910 NEW BEST:: SOT 4129479 SOS 882534 HAS SOPS 871095 HAS SOUS 280191 HAS SOUPS 278963 WITH SCORE 279845.534
AT ITER 7952 NEW BEST:: SOT 4129313 SOS 882366 HAS SOPS 870927 HAS SOUS 280164 HAS SOUPS 278936 WITH SCORE 279818.366
AT ITER 7958 NEW BEST:: SOT 4129300 SOS 882353 HAS SOPS 870914 HAS SOUS 280112 HAS SOUPS 278884 WITH SCORE 279766.353
AT ITER 7964 NEW BEST:: SOT 4129200 SOS 882053 HAS SOPS 870614 HAS SOUS 280012 HAS SOUPS 278784 WITH SCORE 279666.053
AT ITER 8005 NEW BEST:: SOT 4129092 SOS 882619 HAS SOPS 871180 HAS SOUS 279898 HAS SOUPS 278670 WITH SCORE 279552.619
AT ITER 8020 NEW BEST:: SOT 4129068 SOS 882585 HAS SOPS 871136 HAS SOUS 279850 HAS SOUPS 278622 WITH SCORE 279504.585
AT ITER 8041 NEW BEST:: SOT 4128939 SOS 882539 HAS SOPS 871062 HAS SOUS 279696 HAS SOUPS 278468 WITH SCORE 279350.539
AT ITER 8050 NEW BEST:: SOT 4128889 SOS 882723 HAS SOPS 870962 HAS SOUS 279607 HAS SOUPS 278379 WITH SCORE 279261.723
AT ITER 8061 NEW BEST:: SOT 4128889 SOS 882723 HAS SOPS 870962 HAS SOUS 279603 HAS SOUPS 278375 WITH SCORE 279257.723
AT ITER 8069 NEW BEST:: SOT 4129114 SOS 882948 HAS SOPS 871187 HAS SOUS 279563 HAS SOUPS 278335 WITH SCORE 279217.948
AT ITER 8091 NEW BEST:: SOT 4129066 SOS 882900 HAS SOPS 871139 HAS SOUS 279371 HAS SOUPS 278143 WITH SCORE 279025.9
AT ITER 8095 NEW BEST:: SOT 4129044 SOS 882866 HAS SOPS 871107 HAS SOUS 279300 HAS SOUPS 278074 WITH SCORE 278956.866
AT ITER 8096 NEW BEST:: SOT 4128904 SOS 882273 HAS SOPS 870514 HAS SOUS 278947 HAS SOUPS 277721 WITH SCORE 278603.273
AT ITER 8119 NEW BEST:: SOT 4128894 SOS 882263 HAS SOPS 870504 HAS SOUS 278927 HAS SOUPS 277701 WITH SCORE 278583.263
AT ITER 8170 NEW BEST:: SOT 4128870 SOS 882239 HAS SOPS 870480 HAS SOUS 278879 HAS SOUPS 277653 WITH SCORE 278535.239
AT ITER 8174 NEW BEST:: SOT 4128816 SOS 882218 HAS SOPS 870459 HAS SOUS 278808 HAS SOUPS 277582 WITH SCORE 278464.218
AT ITER 8227 NEW BEST:: SOT 4128637 SOS 881911 HAS SOPS 870152 HAS SOUS 278594 HAS SOUPS 277368 WITH SCORE 278249.911
AT ITER 8252 NEW BEST:: SOT 4128631 SOS 881907 HAS SOPS 870107 HAS SOUS 278556 HAS SOUPS 277330 WITH SCORE 278211.907
AT ITER 8271 NEW BEST:: SOT 4128622 SOS 881898 HAS SOPS 870098 HAS SOUS 278520 HAS SOUPS 277294 WITH SCORE 278175.898
AT ITER 8274 NEW BEST:: SOT 4128642 SOS 881827 HAS SOPS 870027 HAS SOUS 278395 HAS SOUPS 277169 WITH SCORE 278050.827
AT ITER 8281 NEW BEST:: SOT 4128642 SOS 881749 HAS SOPS 869871 HAS SOUS 278271 HAS SOUPS 277045 WITH SCORE 277926.749
AT ITER 8289 NEW BEST:: SOT 4128598 SOS 881661 HAS SOPS 869783 HAS SOUS 278169 HAS SOUPS 276943 WITH SCORE 277824.661
AT ITER 8292 NEW BEST:: SOT 4128540 SOS 881503 HAS SOPS 869625 HAS SOUS 278169 HAS SOUPS 276943 WITH SCORE 277824.503
AT ITER 8302 NEW BEST:: SOT 4128514 SOS 881341 HAS SOPS 869463 HAS SOUS 278047 HAS SOUPS 276821 WITH SCORE 277702.341
AT ITER 8309 NEW BEST:: SOT 4128532 SOS 881310 HAS SOPS 869432 HAS SOUS 278034 HAS SOUPS 276808 WITH SCORE 277689.31
AT ITER 8341 NEW BEST:: SOT 4128541 SOS 881268 HAS SOPS 869390 HAS SOUS 277930 HAS SOUPS 276704 WITH SCORE 277585.268
AT ITER 8349 NEW BEST:: SOT 4128645 SOS 881372 HAS SOPS 869494 HAS SOUS 277885 HAS SOUPS 276659 WITH SCORE 277540.372
AT ITER 8366 NEW BEST:: SOT 4128615 SOS 881342 HAS SOPS 869464 HAS SOUS 277765 HAS SOUPS 276539 WITH SCORE 277420.342
AT ITER 8392 NEW BEST:: SOT 4128543 SOS 880625 HAS SOPS 868779 HAS SOUS 277486 HAS SOUPS 276260 WITH SCORE 277140.625
AT ITER 8395 NEW BEST:: SOT 4128566 SOS 880648 HAS SOPS 868802 HAS SOUS 277150 HAS SOUPS 275924 WITH SCORE 276804.648
AT ITER 8403 NEW BEST:: SOT 4128522 SOS 880312 HAS SOPS 868466 HAS SOUS 276984 HAS SOUPS 275758 WITH SCORE 276638.312
AT ITER 8405 NEW BEST:: SOT 4128419 SOS 880209 HAS SOPS 868375 HAS SOUS 276762 HAS SOUPS 275536 WITH SCORE 276416.209
AT ITER 8431 NEW BEST:: SOT 4128313 SOS 880103 HAS SOPS 868269 HAS SOUS 276556 HAS SOUPS 275330 WITH SCORE 276210.103
AT ITER 8442 NEW BEST:: SOT 4128187 SOS 879977 HAS SOPS 868143 HAS SOUS 276203 HAS SOUPS 274977 WITH SCORE 275856.977
AT ITER 8473 NEW BEST:: SOT 4128177 SOS 879967 HAS SOPS 868133 HAS SOUS 276183 HAS SOUPS 274957 WITH SCORE 275836.967
AT ITER 8475 NEW BEST:: SOT 4128174 SOS 879964 HAS SOPS 868130 HAS SOUS 276174 HAS SOUPS 274948 WITH SCORE 275827.964
AT ITER 8483 NEW BEST:: SOT 4128174 SOS 880042 HAS SOPS 868208 HAS SOUS 276127 HAS SOUPS 274901 WITH SCORE 275781.042
AT ITER 8515 NEW BEST:: SOT 4128174 SOS 880042 HAS SOPS 868208 HAS SOUS 276120 HAS SOUPS 274894 WITH SCORE 275774.042
AT ITER 8518 NEW BEST:: SOT 4128172 SOS 880040 HAS SOPS 868206 HAS SOUS 276118 HAS SOUPS 274892 WITH SCORE 275772.04
AT ITER 8525 NEW BEST:: SOT 4128167 SOS 880035 HAS SOPS 868201 HAS SOUS 276018 HAS SOUPS 274792 WITH SCORE 275672.035
AT ITER 8549 NEW BEST:: SOT 4128187 SOS 880190 HAS SOPS 868356 HAS SOUS 276013 HAS SOUPS 274787 WITH SCORE 275667.19
AT ITER 8565 NEW BEST:: SOT 4128121 SOS 880124 HAS SOPS 868290 HAS SOUS 275803 HAS SOUPS 274577 WITH SCORE 275457.124
AT ITER 8582 NEW BEST:: SOT 4128095 SOS 880098 HAS SOPS 868264 HAS SOUS 275716 HAS SOUPS 274490 WITH SCORE 275370.098
AT ITER 8587 NEW BEST:: SOT 4128091 SOS 880094 HAS SOPS 868260 HAS SOUS 275638 HAS SOUPS 274412 WITH SCORE 275292.094
AT ITER 8588 NEW BEST:: SOT 4128091 SOS 870948 HAS SOPS 859114 HAS SOUS 275560 HAS SOUPS 274334 WITH SCORE 275204.948
AT ITER 8649 NEW BEST:: SOT 4128175 SOS 870696 HAS SOPS 858862 HAS SOUS 275560 HAS SOUPS 274334 WITH SCORE 275204.696
AT ITER 8661 NEW BEST:: SOT 4128175 SOS 870696 HAS SOPS 858862 HAS SOUS 275555 HAS SOUPS 274329 WITH SCORE 275199.696
AT ITER 8675 NEW BEST:: SOT 4128102 SOS 870555 HAS SOPS 858653 HAS SOUS 275282 HAS SOUPS 274056 WITH SCORE 274926.555
AT ITER 8683 NEW BEST:: SOT 4128064 SOS 870155 HAS SOPS 858253 HAS SOUS 275096 HAS SOUPS 273870 WITH SCORE 274740.155
AT ITER 8712 NEW BEST:: SOT 4127894 SOS 869815 HAS SOPS 857913 HAS SOUS 274756 HAS SOUPS 273530 WITH SCORE 274399.815
AT ITER 8715 NEW BEST:: SOT 4127980 SOS 870166 HAS SOPS 858264 HAS SOUS 274753 HAS SOUPS 273527 WITH SCORE 274397.166
AT ITER 8729 NEW BEST:: SOT 4127871 SOS 868819 HAS SOPS 857274 HAS SOUS 274536 HAS SOUPS 273400 WITH SCORE 274268.819
AT ITER 8817 NEW BEST:: SOT 4127868 SOS 868813 HAS SOPS 857268 HAS SOUS 274533 HAS SOUPS 273397 WITH SCORE 274265.813
AT ITER 8818 NEW BEST:: SOT 4127860 SOS 872352 HAS SOPS 858084 HAS SOUS 274530 HAS SOUPS 273324 WITH SCORE 274196.352
AT ITER 8836 NEW BEST:: SOT 4127860 SOS 871697 HAS SOPS 857429 HAS SOUS 274419 HAS SOUPS 273213 WITH SCORE 274084.697
AT ITER 8909 NEW BEST:: SOT 4127567 SOS 872136 HAS SOPS 857868 HAS SOUS 274130 HAS SOUPS 272924 WITH SCORE 273796.136
AT ITER 8910 NEW BEST:: SOT 4127694 SOS 872263 HAS SOPS 857995 HAS SOUS 273864 HAS SOUPS 272658 WITH SCORE 273530.263
AT ITER 8960 NEW BEST:: SOT 4127598 SOS 872187 HAS SOPS 857919 HAS SOUS 273771 HAS SOUPS 272565 WITH SCORE 273437.187
AT ITER 8999 NEW BEST:: SOT 4127558 SOS 872264 HAS SOPS 857996 HAS SOUS 273519 HAS SOUPS 272313 WITH SCORE 273185.264
AT ITER 9002 NEW BEST:: SOT 4127474 SOS 872180 HAS SOPS 857912 HAS SOUS 273373 HAS SOUPS 272167 WITH SCORE 273039.18
AT ITER 9010 NEW BEST:: SOT 4127462 SOS 872168 HAS SOPS 857900 HAS SOUS 273347 HAS SOUPS 272141 WITH SCORE 273013.168
AT ITER 9046 NEW BEST:: SOT 4127435 SOS 872129 HAS SOPS 857861 HAS SOUS 273317 HAS SOUPS 272111 WITH SCORE 272983.129
AT ITER 9092 NEW BEST:: SOT 4127421 SOS 871461 HAS SOPS 857185 HAS SOUS 273208 HAS SOUPS 272002 WITH SCORE 272873.461
AT ITER 9093 NEW BEST:: SOT 4127421 SOS 871456 HAS SOPS 857180 HAS SOUS 273203 HAS SOUPS 271997 WITH SCORE 272868.456
AT ITER 9100 NEW BEST:: SOT 4127356 SOS 862573 HAS SOPS 848297 HAS SOUS 272747 HAS SOUPS 271541 WITH SCORE 272403.573
AT ITER 9121 NEW BEST:: SOT 4127346 SOS 862112 HAS SOPS 847910 HAS SOUS 272744 HAS SOUPS 271538 WITH SCORE 272400.112
AT ITER 9154 NEW BEST:: SOT 4127386 SOS 862152 HAS SOPS 847950 HAS SOUS 272639 HAS SOUPS 271433 WITH SCORE 272295.152
AT ITER 9178 NEW BEST:: SOT 4127332 SOS 861882 HAS SOPS 847788 HAS SOUS 272639 HAS SOUPS 271433 WITH SCORE 272294.882
AT ITER 9182 NEW BEST:: SOT 4127313 SOS 861863 HAS SOPS 847769 HAS SOUS 272601 HAS SOUPS 271395 WITH SCORE 272256.863
AT ITER 9209 NEW BEST:: SOT 4127299 SOS 861849 HAS SOPS 847755 HAS SOUS 272573 HAS SOUPS 271367 WITH SCORE 272228.849
AT ITER 9231 NEW BEST:: SOT 4127298 SOS 862724 HAS SOPS 848630 HAS SOUS 272571 HAS SOUPS 271365 WITH SCORE 272227.724
AT ITER 9234 NEW BEST:: SOT 4127267 SOS 862345 HAS SOPS 848251 HAS SOUS 272570 HAS SOUPS 271364 WITH SCORE 272226.345
AT ITER 9309 NEW BEST:: SOT 4127295 SOS 862140 HAS SOPS 848046 HAS SOUS 272539 HAS SOUPS 271333 WITH SCORE 272195.14
AT ITER 9318 NEW BEST:: SOT 4127295 SOS 862108 HAS SOPS 848014 HAS SOUS 272507 HAS SOUPS 271301 WITH SCORE 272163.108
AT ITER 9320 NEW BEST:: SOT 4127295 SOS 862428 HAS SOPS 848334 HAS SOUS 272446 HAS SOUPS 271240 WITH SCORE 272102.428
AT ITER 9332 NEW BEST:: SOT 4127222 SOS 862355 HAS SOPS 848261 HAS SOUS 272373 HAS SOUPS 271167 WITH SCORE 272029.355
AT ITER 9335 NEW BEST:: SOT 4126940 SOS 861348 HAS SOPS 847254 HAS SOUS 272352 HAS SOUPS 271146 WITH SCORE 272007.348
AT ITER 9337 NEW BEST:: SOT 4126845 SOS 861185 HAS SOPS 847159 HAS SOUS 272298 HAS SOUPS 271092 WITH SCORE 271953.185
AT ITER 9353 NEW BEST:: SOT 4126855 SOS 861123 HAS SOPS 847097 HAS SOUS 272178 HAS SOUPS 270972 WITH SCORE 271833.123
AT ITER 9387 NEW BEST:: SOT 4126834 SOS 861290 HAS SOPS 847264 HAS SOUS 272022 HAS SOUPS 270816 WITH SCORE 271677.29
AT ITER 9392 NEW BEST:: SOT 4126860 SOS 861316 HAS SOPS 847290 HAS SOUS 271997 HAS SOUPS 270791 WITH SCORE 271652.316
AT ITER 9402 NEW BEST:: SOT 4126868 SOS 861324 HAS SOPS 847298 HAS SOUS 271912 HAS SOUPS 270706 WITH SCORE 271567.324
AT ITER 9411 NEW BEST:: SOT 4126825 SOS 861367 HAS SOPS 847341 HAS SOUS 271654 HAS SOUPS 270448 WITH SCORE 271309.367
AT ITER 9443 NEW BEST:: SOT 4126825 SOS 861284 HAS SOPS 847258 HAS SOUS 271545 HAS SOUPS 270339 WITH SCORE 271200.284
AT ITER 9486 NEW BEST:: SOT 4126793 SOS 860719 HAS SOPS 846693 HAS SOUS 271481 HAS SOUPS 270275 WITH SCORE 271135.719
AT ITER 9491 NEW BEST:: SOT 4126834 SOS 860760 HAS SOPS 846734 HAS SOUS 271398 HAS SOUPS 270192 WITH SCORE 271052.76
AT ITER 9513 NEW BEST:: SOT 4126746 SOS 860359 HAS SOPS 846420 HAS SOUS 271250 HAS SOUPS 270044 WITH SCORE 270904.359
AT ITER 9520 NEW BEST:: SOT 4126793 SOS 860350 HAS SOPS 846411 HAS SOUS 271249 HAS SOUPS 270043 WITH SCORE 270903.35
AT ITER 9527 NEW BEST:: SOT 4126442 SOS 859999 HAS SOPS 846060 HAS SOUS 271137 HAS SOUPS 269931 WITH SCORE 270790.999
AT ITER 9588 NEW BEST:: SOT 4126196 SOS 859652 HAS SOPS 845612 HAS SOUS 270645 HAS SOUPS 269439 WITH SCORE 270298.652
AT ITER 9593 NEW BEST:: SOT 4126182 SOS 859638 HAS SOPS 845598 HAS SOUS 270631 HAS SOUPS 269425 WITH SCORE 270284.638
AT ITER 9609 NEW BEST:: SOT 4126182 SOS 859606 HAS SOPS 845566 HAS SOUS 270631 HAS SOUPS 269425 WITH SCORE 270284.606
AT ITER 9619 NEW BEST:: SOT 4126119 SOS 860551 HAS SOPS 846511 HAS SOUS 270541 HAS SOUPS 269335 WITH SCORE 270195.551
AT ITER 9620 NEW BEST:: SOT 4126235 SOS 860605 HAS SOPS 846387 HAS SOUS 270417 HAS SOUPS 269211 WITH SCORE 270071.605
AT ITER 9622 NEW BEST:: SOT 4126153 SOS 860523 HAS SOPS 846305 HAS SOUS 270181 HAS SOUPS 268975 WITH SCORE 269835.523
AT ITER 9631 NEW BEST:: SOT 4126105 SOS 860311 HAS SOPS 846093 HAS SOUS 270051 HAS SOUPS 268845 WITH SCORE 269705.311
AT ITER 9657 NEW BEST:: SOT 4125718 SOS 859925 HAS SOPS 845707 HAS SOUS 269711 HAS SOUPS 268505 WITH SCORE 269364.925
AT ITER 9659 NEW BEST:: SOT 4125745 SOS 860193 HAS SOPS 845917 HAS SOUS 269676 HAS SOUPS 268470 WITH SCORE 269330.193
AT ITER 9666 NEW BEST:: SOT 4125684 SOS 860546 HAS SOPS 846255 HAS SOUS 269660 HAS SOUPS 268454 WITH SCORE 269314.546
AT ITER 9704 NEW BEST:: SOT 4125688 SOS 860550 HAS SOPS 846259 HAS SOUS 269616 HAS SOUPS 268410 WITH SCORE 269270.55
AT ITER 9706 NEW BEST:: SOT 4125651 SOS 860513 HAS SOPS 846222 HAS SOUS 269491 HAS SOUPS 268285 WITH SCORE 269145.513
AT ITER 9711 NEW BEST:: SOT 4125599 SOS 860403 HAS SOPS 846115 HAS SOUS 269488 HAS SOUPS 268282 WITH SCORE 269142.403
AT ITER 9747 NEW BEST:: SOT 4125538 SOS 860309 HAS SOPS 846021 HAS SOUS 269482 HAS SOUPS 268276 WITH SCORE 269136.309
AT ITER 9753 NEW BEST:: SOT 4125178 SOS 859949 HAS SOPS 845661 HAS SOUS 269469 HAS SOUPS 268263 WITH SCORE 269122.949
AT ITER 9785 NEW BEST:: SOT 4125174 SOS 860021 HAS SOPS 845733 HAS SOUS 269444 HAS SOUPS 268238 WITH SCORE 269098.021
AT ITER 9798 NEW BEST:: SOT 4125114 SOS 859963 HAS SOPS 845679 HAS SOUS 269345 HAS SOUPS 268139 WITH SCORE 268998.963
AT ITER 9806 NEW BEST:: SOT 4125107 SOS 859963 HAS SOPS 845679 HAS SOUS 269338 HAS SOUPS 268132 WITH SCORE 268991.963
AT ITER 9807 NEW BEST:: SOT 4125028 SOS 860032 HAS SOPS 845864 HAS SOUS 269328 HAS SOUPS 268122 WITH SCORE 268982.032
AT ITER 9813 NEW BEST:: SOT 4125028 SOS 860042 HAS SOPS 845874 HAS SOUS 269298 HAS SOUPS 268092 WITH SCORE 268952.042
AT ITER 9821 NEW BEST:: SOT 4124995 SOS 860009 HAS SOPS 845841 HAS SOUS 269232 HAS SOUPS 268026 WITH SCORE 268886.009
AT ITER 9828 NEW BEST:: SOT 4124995 SOS 859992 HAS SOPS 845824 HAS SOUS 269232 HAS SOUPS 268026 WITH SCORE 268885.992
AT ITER 9830 NEW BEST:: SOT 4124965 SOS 859962 HAS SOPS 845794 HAS SOUS 269082 HAS SOUPS 267876 WITH SCORE 268735.962
AT ITER 9848 NEW BEST:: SOT 4124965 SOS 859805 HAS SOPS 845637 HAS SOUS 269082 HAS SOUPS 267876 WITH SCORE 268735.805
AT ITER 9891 NEW BEST:: SOT 4124887 SOS 859571 HAS SOPS 845403 HAS SOUS 269004 HAS SOUPS 267798 WITH SCORE 268657.571
AT ITER 9929 NEW BEST:: SOT 4124891 SOS 859575 HAS SOPS 845407 HAS SOUS 268754 HAS SOUPS 267548 WITH SCORE 268407.575
AT ITER 9942 NEW BEST:: SOT 4124914 SOS 859578 HAS SOPS 845410 HAS SOUS 268745 HAS SOUPS 267539 WITH SCORE 268398.578
AT ITER 9953 NEW BEST:: SOT 4125037 SOS 859748 HAS SOPS 845589 HAS SOUS 268625 HAS SOUPS 267419 WITH SCORE 268278.748
AT ITER 9960 NEW BEST:: SOT 4125037 SOS 859457 HAS SOPS 845298 HAS SOUS 268625 HAS SOUPS 267419 WITH SCORE 268278.457
AT ITER 9963 NEW BEST:: SOT 4124983 SOS 859403 HAS SOPS 845244 HAS SOUS 268517 HAS SOUPS 267311 WITH SCORE 268170.403
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 13786888 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16106100 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="PolyORBLF-PT-S04J06T10"
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 PolyORBLF-PT-S04J06T10, 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 r299-tall-167873953200584"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S04J06T10.tgz
mv PolyORBLF-PT-S04J06T10 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 ;