About the Execution of Smart+red for PolyORBLF-PT-S04J04T10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4147.048 | 3600000.00 | 3638298.00 | 6059.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-167873953100560.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-S04J04T10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953100560
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.2M
-rw-r--r-- 1 mcc users 27K Feb 26 13:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 142K Feb 26 13:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 101K Feb 26 13:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 457K Feb 26 13:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 15K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 53K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 25K Feb 26 13:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 143K Feb 26 13:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 196K Feb 26 13:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 805K Feb 26 13:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 8.9K 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.2M 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 1679510061861
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-S04J04T10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 18:34:23] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 18:34:23] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 18:34:23] [INFO ] Load time of PNML (sax parser for PT used): 246 ms
[2023-03-22 18:34:23] [INFO ] Transformed 870 places.
[2023-03-22 18:34:23] [INFO ] Transformed 5034 transitions.
[2023-03-22 18:34:23] [INFO ] Parsed PT model containing 870 places and 5034 transitions and 34774 arcs in 351 ms.
[2023-03-22 18:34:23] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 870 places, 5034 transitions and 34774 arcs took 60 ms.
Total runtime 438 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S04J04T10
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: 870 places, 5034 transitions, 34774 arcs.
AT ITER 0 NEW BEST:: SOT 2796047 SOS 1198581 HAS SOPS 1181412 HAS SOUS 429804 HAS SOUPS 429129 WITH SCORE 430327.581
AT ITER 6 NEW BEST:: SOT 2796027 SOS 1198561 HAS SOPS 1181392 HAS SOUS 429784 HAS SOUPS 429109 WITH SCORE 430307.561
AT ITER 9 NEW BEST:: SOT 2796027 SOS 1198561 HAS SOPS 1181351 HAS SOUS 429752 HAS SOUPS 429068 WITH SCORE 430266.561
AT ITER 11 NEW BEST:: SOT 2796034 SOS 1198509 HAS SOPS 1181299 HAS SOUS 429700 HAS SOUPS 429016 WITH SCORE 430214.509
AT ITER 16 NEW BEST:: SOT 2795450 SOS 1198016 HAS SOPS 1180806 HAS SOUS 429207 HAS SOUPS 428523 WITH SCORE 429721.016
AT ITER 24 NEW BEST:: SOT 2727961 SOS 1166912 HAS SOPS 1149702 HAS SOUS 418149 HAS SOUPS 417465 WITH SCORE 418631.912
AT ITER 31 NEW BEST:: SOT 2727915 SOS 1166933 HAS SOPS 1149723 HAS SOUS 418127 HAS SOUPS 417443 WITH SCORE 418609.933
AT ITER 34 NEW BEST:: SOT 2727576 SOS 1166797 HAS SOPS 1149587 HAS SOUS 417991 HAS SOUPS 417307 WITH SCORE 418473.797
AT ITER 39 NEW BEST:: SOT 2727058 SOS 1166279 HAS SOPS 1149069 HAS SOUS 417839 HAS SOUPS 417155 WITH SCORE 418321.279
AT ITER 44 NEW BEST:: SOT 2727084 SOS 1166491 HAS SOPS 1149281 HAS SOUS 417715 HAS SOUPS 417031 WITH SCORE 418197.491
AT ITER 50 NEW BEST:: SOT 2726634 SOS 1166168 HAS SOPS 1148958 HAS SOUS 417215 HAS SOUPS 416531 WITH SCORE 417697.168
AT ITER 57 NEW BEST:: SOT 2726719 SOS 1166338 HAS SOPS 1149128 HAS SOUS 417081 HAS SOUPS 416397 WITH SCORE 417563.338
AT ITER 59 NEW BEST:: SOT 2726648 SOS 1166345 HAS SOPS 1149356 HAS SOUS 416982 HAS SOUPS 416298 WITH SCORE 417464.345
AT ITER 64 NEW BEST:: SOT 2725659 SOS 1165614 HAS SOPS 1148625 HAS SOUS 416191 HAS SOUPS 415507 WITH SCORE 416672.614
AT ITER 70 NEW BEST:: SOT 2713933 SOS 1264332 HAS SOPS 1257256 HAS SOUS 406728 HAS SOUPS 406272 WITH SCORE 407536.332
AT ITER 71 NEW BEST:: SOT 2713080 SOS 1263538 HAS SOPS 1256462 HAS SOUS 406414 HAS SOUPS 405958 WITH SCORE 407221.538
AT ITER 80 NEW BEST:: SOT 2713080 SOS 1263561 HAS SOPS 1256485 HAS SOUS 406354 HAS SOUPS 405898 WITH SCORE 407161.561
AT ITER 84 NEW BEST:: SOT 2678472 SOS 1228953 HAS SOPS 1221877 HAS SOUS 399755 HAS SOUPS 399299 WITH SCORE 400527.953
AT ITER 94 NEW BEST:: SOT 2678112 SOS 1227318 HAS SOPS 1220242 HAS SOUS 399525 HAS SOUPS 399069 WITH SCORE 400296.318
AT ITER 100 NEW BEST:: SOT 2677241 SOS 1226699 HAS SOPS 1219623 HAS SOUS 398793 HAS SOUPS 398337 WITH SCORE 399563.699
AT ITER 102 NEW BEST:: SOT 2676328 SOS 1226045 HAS SOPS 1218969 HAS SOUS 397185 HAS SOUPS 396729 WITH SCORE 397955.045
AT ITER 103 NEW BEST:: SOT 2676328 SOS 1226045 HAS SOPS 1218969 HAS SOUS 397152 HAS SOUPS 396696 WITH SCORE 397922.045
AT ITER 105 NEW BEST:: SOT 2676132 SOS 1225849 HAS SOPS 1218773 HAS SOUS 396596 HAS SOUPS 396140 WITH SCORE 397365.849
AT ITER 113 NEW BEST:: SOT 2675841 SOS 1225558 HAS SOPS 1218482 HAS SOUS 395888 HAS SOUPS 395432 WITH SCORE 396657.558
AT ITER 116 NEW BEST:: SOT 2675841 SOS 1225558 HAS SOPS 1218482 HAS SOUS 395878 HAS SOUPS 395422 WITH SCORE 396647.558
AT ITER 117 NEW BEST:: SOT 2675428 SOS 1120657 HAS SOPS 1109584 HAS SOUS 395424 HAS SOUPS 394879 WITH SCORE 395999.657
AT ITER 121 NEW BEST:: SOT 2633553 SOS 1078782 HAS SOPS 1067709 HAS SOUS 387424 HAS SOUPS 386879 WITH SCORE 387957.782
AT ITER 125 NEW BEST:: SOT 2633547 SOS 1078776 HAS SOPS 1067703 HAS SOUS 387412 HAS SOUPS 386867 WITH SCORE 387945.776
AT ITER 130 NEW BEST:: SOT 2633314 SOS 1078543 HAS SOPS 1067470 HAS SOUS 386589 HAS SOUPS 386044 WITH SCORE 387122.543
AT ITER 132 NEW BEST:: SOT 2633055 SOS 1078432 HAS SOPS 1067528 HAS SOUS 386356 HAS SOUPS 385811 WITH SCORE 386889.432
AT ITER 144 NEW BEST:: SOT 2632136 SOS 1121293 HAS SOPS 1110389 HAS SOUS 385793 HAS SOUPS 385248 WITH SCORE 386369.293
AT ITER 149 NEW BEST:: SOT 2632198 SOS 1121235 HAS SOPS 1110331 HAS SOUS 385735 HAS SOUPS 385190 WITH SCORE 386311.235
AT ITER 151 NEW BEST:: SOT 2631900 SOS 1120937 HAS SOPS 1110033 HAS SOUS 385124 HAS SOUPS 384579 WITH SCORE 385699.937
AT ITER 155 NEW BEST:: SOT 2631177 SOS 1120397 HAS SOPS 1109493 HAS SOUS 384420 HAS SOUPS 383875 WITH SCORE 384995.397
AT ITER 169 NEW BEST:: SOT 2631177 SOS 1120397 HAS SOPS 1109493 HAS SOUS 384381 HAS SOUPS 383836 WITH SCORE 384956.397
AT ITER 184 NEW BEST:: SOT 2630197 SOS 1119655 HAS SOPS 1108751 HAS SOUS 383635 HAS SOUPS 383090 WITH SCORE 384209.655
AT ITER 189 NEW BEST:: SOT 2630012 SOS 1119626 HAS SOPS 1108871 HAS SOUS 383419 HAS SOUPS 382874 WITH SCORE 383993.626
AT ITER 196 NEW BEST:: SOT 2623373 SOS 1112987 HAS SOPS 1102232 HAS SOUS 376780 HAS SOUPS 376235 WITH SCORE 377347.987
AT ITER 201 NEW BEST:: SOT 2623271 SOS 1112885 HAS SOPS 1102130 HAS SOUS 376588 HAS SOUPS 376043 WITH SCORE 377155.885
AT ITER 204 NEW BEST:: SOT 2622375 SOS 1111556 HAS SOPS 1100801 HAS SOUS 375259 HAS SOUPS 374714 WITH SCORE 375825.556
AT ITER 205 NEW BEST:: SOT 2622253 SOS 1111434 HAS SOPS 1100679 HAS SOUS 375198 HAS SOUPS 374653 WITH SCORE 375764.434
AT ITER 215 NEW BEST:: SOT 2595307 SOS 1091741 HAS SOPS 1080986 HAS SOUS 371074 HAS SOUPS 370529 WITH SCORE 371620.741
AT ITER 219 NEW BEST:: SOT 2526256 SOS 1036530 HAS SOPS 1025775 HAS SOUS 359025 HAS SOUPS 358480 WITH SCORE 359516.53
AT ITER 224 NEW BEST:: SOT 2526240 SOS 1036514 HAS SOPS 1025759 HAS SOUS 358991 HAS SOUPS 358446 WITH SCORE 359482.514
AT ITER 229 NEW BEST:: SOT 2526012 SOS 1036286 HAS SOPS 1025531 HAS SOUS 358605 HAS SOUPS 358060 WITH SCORE 359096.286
AT ITER 232 NEW BEST:: SOT 2525991 SOS 1036265 HAS SOPS 1025510 HAS SOUS 358566 HAS SOUPS 358021 WITH SCORE 359057.265
AT ITER 237 NEW BEST:: SOT 2524580 SOS 1034810 HAS SOPS 1024055 HAS SOUS 356953 HAS SOUPS 356408 WITH SCORE 357442.81
AT ITER 241 NEW BEST:: SOT 2524834 SOS 1035301 HAS SOPS 1024546 HAS SOUS 356352 HAS SOUPS 355807 WITH SCORE 356842.301
AT ITER 242 NEW BEST:: SOT 2524404 SOS 1038182 HAS SOPS 1027465 HAS SOUS 356046 HAS SOUPS 355501 WITH SCORE 356539.182
AT ITER 248 NEW BEST:: SOT 2523553 SOS 1083971 HAS SOPS 1073254 HAS SOUS 355972 HAS SOUPS 355427 WITH SCORE 356510.971
AT ITER 261 NEW BEST:: SOT 2523884 SOS 1084286 HAS SOPS 1073569 HAS SOUS 355963 HAS SOUPS 355418 WITH SCORE 356502.286
AT ITER 262 NEW BEST:: SOT 2523346 SOS 1117188 HAS SOPS 1106471 HAS SOUS 355707 HAS SOUPS 355162 WITH SCORE 356279.188
AT ITER 266 NEW BEST:: SOT 2522512 SOS 1122166 HAS SOPS 1108323 HAS SOUS 355034 HAS SOUPS 354409 WITH SCORE 355531.166
AT ITER 267 NEW BEST:: SOT 2522519 SOS 1122173 HAS SOPS 1108330 HAS SOUS 355016 HAS SOUPS 354391 WITH SCORE 355513.173
AT ITER 269 NEW BEST:: SOT 2521978 SOS 1121935 HAS SOPS 1108092 HAS SOUS 354700 HAS SOUPS 354075 WITH SCORE 355196.935
AT ITER 274 NEW BEST:: SOT 2458079 SOS 1082349 HAS SOPS 1068506 HAS SOUS 343526 HAS SOUPS 342901 WITH SCORE 343983.349
AT ITER 281 NEW BEST:: SOT 2458073 SOS 1082343 HAS SOPS 1068500 HAS SOUS 343520 HAS SOUPS 342895 WITH SCORE 343977.343
AT ITER 284 NEW BEST:: SOT 2457876 SOS 1082022 HAS SOPS 1068179 HAS SOUS 343255 HAS SOUPS 342630 WITH SCORE 343712.022
AT ITER 285 NEW BEST:: SOT 2457772 SOS 1081918 HAS SOPS 1068075 HAS SOUS 343249 HAS SOUPS 342624 WITH SCORE 343705.918
AT ITER 289 NEW BEST:: SOT 2456973 SOS 1125339 HAS SOPS 1111496 HAS SOUS 343138 HAS SOUPS 342513 WITH SCORE 343638.339
AT ITER 297 NEW BEST:: SOT 2456880 SOS 1125246 HAS SOPS 1111403 HAS SOUS 342952 HAS SOUPS 342327 WITH SCORE 343452.246
AT ITER 306 NEW BEST:: SOT 2456096 SOS 1124532 HAS SOPS 1110689 HAS SOUS 342647 HAS SOUPS 342022 WITH SCORE 343146.532
AT ITER 337 NEW BEST:: SOT 2456065 SOS 1124501 HAS SOPS 1110658 HAS SOUS 342591 HAS SOUPS 341966 WITH SCORE 343090.501
AT ITER 339 NEW BEST:: SOT 2456200 SOS 1124771 HAS SOPS 1110928 HAS SOUS 342386 HAS SOUPS 341761 WITH SCORE 342885.771
AT ITER 343 NEW BEST:: SOT 2456200 SOS 1124771 HAS SOPS 1110928 HAS SOUS 342385 HAS SOUPS 341760 WITH SCORE 342884.771
AT ITER 354 NEW BEST:: SOT 2427046 SOS 1095687 HAS SOPS 1081688 HAS SOUS 336527 HAS SOUPS 335821 WITH SCORE 336916.687
AT ITER 357 NEW BEST:: SOT 2424489 SOS 1093069 HAS SOPS 1079070 HAS SOUS 336049 HAS SOUPS 335343 WITH SCORE 336436.069
AT ITER 358 NEW BEST:: SOT 2424394 SOS 1093029 HAS SOPS 1079030 HAS SOUS 335859 HAS SOUPS 335153 WITH SCORE 336246.029
AT ITER 364 NEW BEST:: SOT 2424366 SOS 1092993 HAS SOPS 1078994 HAS SOUS 335803 HAS SOUPS 335097 WITH SCORE 336189.993
AT ITER 379 NEW BEST:: SOT 2424325 SOS 1092952 HAS SOPS 1078953 HAS SOUS 335721 HAS SOUPS 335015 WITH SCORE 336107.952
AT ITER 385 NEW BEST:: SOT 2356266 SOS 1088427 HAS SOPS 1074428 HAS SOUS 324624 HAS SOUPS 323918 WITH SCORE 325006.427
AT ITER 389 NEW BEST:: SOT 2356506 SOS 1088715 HAS SOPS 1074716 HAS SOUS 324608 HAS SOUPS 323902 WITH SCORE 324990.715
AT ITER 393 NEW BEST:: SOT 2356526 SOS 1092608 HAS SOPS 1074991 HAS SOUS 324648 HAS SOUPS 323894 WITH SCORE 324986.608
AT ITER 394 NEW BEST:: SOT 2356526 SOS 1093368 HAS SOPS 1075751 HAS SOUS 324601 HAS SOUPS 323847 WITH SCORE 324940.368
AT ITER 396 NEW BEST:: SOT 2356542 SOS 1093489 HAS SOPS 1075872 HAS SOUS 324410 HAS SOUPS 323656 WITH SCORE 324749.489
AT ITER 403 NEW BEST:: SOT 2356534 SOS 1093458 HAS SOPS 1075841 HAS SOUS 324371 HAS SOUPS 323617 WITH SCORE 324710.458
AT ITER 409 NEW BEST:: SOT 2356534 SOS 1093640 HAS SOPS 1076023 HAS SOUS 324077 HAS SOUPS 323323 WITH SCORE 324416.64
AT ITER 412 NEW BEST:: SOT 2355529 SOS 1092954 HAS SOPS 1075337 HAS SOUS 323301 HAS SOUPS 322547 WITH SCORE 323639.954
AT ITER 419 NEW BEST:: SOT 2355328 SOS 1092767 HAS SOPS 1075150 HAS SOUS 323100 HAS SOUPS 322346 WITH SCORE 323438.767
AT ITER 420 NEW BEST:: SOT 2355318 SOS 1092757 HAS SOPS 1075167 HAS SOUS 323068 HAS SOUPS 322314 WITH SCORE 323406.757
AT ITER 426 NEW BEST:: SOT 2319289 SOS 1160731 HAS SOPS 1143141 HAS SOUS 318520 HAS SOUPS 317766 WITH SCORE 318926.731
AT ITER 428 NEW BEST:: SOT 2318289 SOS 1160004 HAS SOPS 1142414 HAS SOUS 317754 HAS SOUPS 317000 WITH SCORE 318160.004
AT ITER 435 NEW BEST:: SOT 2318289 SOS 1160156 HAS SOPS 1142566 HAS SOUS 317532 HAS SOUPS 316778 WITH SCORE 317938.156
AT ITER 436 NEW BEST:: SOT 2317935 SOS 1159802 HAS SOPS 1142212 HAS SOUS 316632 HAS SOUPS 315878 WITH SCORE 317037.802
AT ITER 450 NEW BEST:: SOT 2317935 SOS 1159502 HAS SOPS 1141912 HAS SOUS 316632 HAS SOUPS 315878 WITH SCORE 317037.502
AT ITER 460 NEW BEST:: SOT 2317743 SOS 1132899 HAS SOPS 1115309 HAS SOUS 316327 HAS SOUPS 315573 WITH SCORE 316705.899
AT ITER 465 NEW BEST:: SOT 2317305 SOS 1132023 HAS SOPS 1114433 HAS SOUS 315728 HAS SOUPS 314974 WITH SCORE 316106.023
AT ITER 466 NEW BEST:: SOT 2317279 SOS 1131997 HAS SOPS 1114407 HAS SOUS 315686 HAS SOUPS 314932 WITH SCORE 316063.997
AT ITER 475 NEW BEST:: SOT 2317279 SOS 1054366 HAS SOPS 1036776 HAS SOUS 315686 HAS SOUPS 314932 WITH SCORE 315986.366
AT ITER 479 NEW BEST:: SOT 2317279 SOS 1054349 HAS SOPS 1036759 HAS SOUS 315669 HAS SOUPS 314915 WITH SCORE 315969.349
AT ITER 484 NEW BEST:: SOT 2317537 SOS 1054779 HAS SOPS 1037189 HAS SOUS 315497 HAS SOUPS 314743 WITH SCORE 315797.779
AT ITER 485 NEW BEST:: SOT 2317271 SOS 1054664 HAS SOPS 1037074 HAS SOUS 315382 HAS SOUPS 314628 WITH SCORE 315682.664
AT ITER 506 NEW BEST:: SOT 2317149 SOS 1054542 HAS SOPS 1036952 HAS SOUS 315057 HAS SOUPS 314303 WITH SCORE 315357.542
AT ITER 508 NEW BEST:: SOT 2317120 SOS 1040213 HAS SOPS 1022623 HAS SOUS 314739 HAS SOUPS 313985 WITH SCORE 315025.213
AT ITER 509 NEW BEST:: SOT 2315807 SOS 1039207 HAS SOPS 1021617 HAS SOUS 313575 HAS SOUPS 312821 WITH SCORE 313860.207
AT ITER 511 NEW BEST:: SOT 2315582 SOS 1038931 HAS SOPS 1021341 HAS SOUS 313248 HAS SOUPS 312494 WITH SCORE 313532.931
AT ITER 515 NEW BEST:: SOT 2315427 SOS 1038776 HAS SOPS 1021367 HAS SOUS 313197 HAS SOUPS 312443 WITH SCORE 313481.776
AT ITER 518 NEW BEST:: SOT 2315015 SOS 1038675 HAS SOPS 1021266 HAS SOUS 312859 HAS SOUPS 312105 WITH SCORE 313143.675
AT ITER 532 NEW BEST:: SOT 2315074 SOS 1037247 HAS SOPS 1019748 HAS SOUS 312733 HAS SOUPS 311979 WITH SCORE 313016.247
AT ITER 539 NEW BEST:: SOT 2315272 SOS 1037658 HAS SOPS 1020159 HAS SOUS 312542 HAS SOUPS 311788 WITH SCORE 312825.658
AT ITER 540 NEW BEST:: SOT 2315335 SOS 1037565 HAS SOPS 1020066 HAS SOUS 312449 HAS SOUPS 311695 WITH SCORE 312732.565
AT ITER 544 NEW BEST:: SOT 2315436 SOS 1038093 HAS SOPS 1020594 HAS SOUS 312308 HAS SOUPS 311554 WITH SCORE 312592.093
AT ITER 548 NEW BEST:: SOT 2315417 SOS 1038074 HAS SOPS 1020575 HAS SOUS 312113 HAS SOUPS 311359 WITH SCORE 312397.074
AT ITER 573 NEW BEST:: SOT 2315144 SOS 1006770 HAS SOPS 989271 HAS SOUS 311749 HAS SOUPS 310995 WITH SCORE 312001.77
AT ITER 575 NEW BEST:: SOT 2315144 SOS 1008475 HAS SOPS 990976 HAS SOUS 311689 HAS SOUPS 310935 WITH SCORE 311943.475
AT ITER 579 NEW BEST:: SOT 2315140 SOS 1008456 HAS SOPS 990957 HAS SOUS 311666 HAS SOUPS 310912 WITH SCORE 311920.456
AT ITER 586 NEW BEST:: SOT 2308994 SOS 1006467 HAS SOPS 988968 HAS SOUS 311106 HAS SOUPS 310352 WITH SCORE 311358.467
AT ITER 608 NEW BEST:: SOT 2308993 SOS 1006469 HAS SOPS 988970 HAS SOUS 311104 HAS SOUPS 310350 WITH SCORE 311356.469
AT ITER 609 NEW BEST:: SOT 2309080 SOS 1006951 HAS SOPS 989452 HAS SOUS 311041 HAS SOUPS 310287 WITH SCORE 311293.951
AT ITER 611 NEW BEST:: SOT 2309080 SOS 1007410 HAS SOPS 989911 HAS SOUS 311034 HAS SOUPS 310280 WITH SCORE 311287.41
AT ITER 622 NEW BEST:: SOT 2308619 SOS 1007208 HAS SOPS 989709 HAS SOUS 310523 HAS SOUPS 309769 WITH SCORE 310776.208
AT ITER 652 NEW BEST:: SOT 2308601 SOS 1007190 HAS SOPS 989691 HAS SOUS 310505 HAS SOUPS 309751 WITH SCORE 310758.19
AT ITER 676 NEW BEST:: SOT 2308547 SOS 1007109 HAS SOPS 989610 HAS SOUS 310440 HAS SOUPS 309670 WITH SCORE 310677.109
AT ITER 681 NEW BEST:: SOT 2308547 SOS 1007181 HAS SOPS 989682 HAS SOUS 310176 HAS SOUPS 309406 WITH SCORE 310413.181
AT ITER 693 NEW BEST:: SOT 2307936 SOS 1006363 HAS SOPS 988864 HAS SOUS 309768 HAS SOUPS 308998 WITH SCORE 310004.363
AT ITER 700 NEW BEST:: SOT 2307921 SOS 1006348 HAS SOPS 988856 HAS SOUS 309742 HAS SOUPS 308972 WITH SCORE 309978.348
AT ITER 702 NEW BEST:: SOT 2307897 SOS 1006373 HAS SOPS 988881 HAS SOUS 309551 HAS SOUPS 308781 WITH SCORE 309787.373
AT ITER 703 NEW BEST:: SOT 2307846 SOS 1005660 HAS SOPS 988168 HAS SOUS 309517 HAS SOUPS 308747 WITH SCORE 309752.66
AT ITER 707 NEW BEST:: SOT 2307853 SOS 1005624 HAS SOPS 988132 HAS SOUS 309445 HAS SOUPS 308675 WITH SCORE 309680.624
AT ITER 725 NEW BEST:: SOT 2307844 SOS 1005446 HAS SOPS 987954 HAS SOUS 309267 HAS SOUPS 308497 WITH SCORE 309502.446
AT ITER 729 NEW BEST:: SOT 2307568 SOS 1005170 HAS SOPS 987678 HAS SOUS 309136 HAS SOUPS 308366 WITH SCORE 309371.17
AT ITER 745 NEW BEST:: SOT 2307500 SOS 1004966 HAS SOPS 987474 HAS SOUS 308932 HAS SOUPS 308162 WITH SCORE 309166.966
AT ITER 751 NEW BEST:: SOT 2307496 SOS 1005588 HAS SOPS 988096 HAS SOUS 308847 HAS SOUPS 308077 WITH SCORE 309082.588
AT ITER 755 NEW BEST:: SOT 2307379 SOS 1005411 HAS SOPS 987919 HAS SOUS 308795 HAS SOUPS 308025 WITH SCORE 309030.411
AT ITER 761 NEW BEST:: SOT 2307379 SOS 1005551 HAS SOPS 988059 HAS SOUS 308496 HAS SOUPS 307726 WITH SCORE 308731.551
AT ITER 770 NEW BEST:: SOT 2307621 SOS 1005826 HAS SOPS 988334 HAS SOUS 308257 HAS SOUPS 307487 WITH SCORE 308492.826
AT ITER 773 NEW BEST:: SOT 2306619 SOS 1005163 HAS SOPS 987671 HAS SOUS 306941 HAS SOUPS 306171 WITH SCORE 307176.163
AT ITER 802 NEW BEST:: SOT 2306617 SOS 1005159 HAS SOPS 987667 HAS SOUS 306937 HAS SOUPS 306167 WITH SCORE 307172.159
AT ITER 807 NEW BEST:: SOT 2306422 SOS 1004964 HAS SOPS 987472 HAS SOUS 306474 HAS SOUPS 305704 WITH SCORE 306708.964
AT ITER 813 NEW BEST:: SOT 2306422 SOS 1004951 HAS SOPS 987459 HAS SOUS 306461 HAS SOUPS 305691 WITH SCORE 306695.951
AT ITER 814 NEW BEST:: SOT 2306178 SOS 1004850 HAS SOPS 987358 HAS SOUS 306220 HAS SOUPS 305450 WITH SCORE 306454.85
AT ITER 817 NEW BEST:: SOT 2305857 SOS 1003575 HAS SOPS 986083 HAS SOUS 305938 HAS SOUPS 305168 WITH SCORE 306171.575
AT ITER 821 NEW BEST:: SOT 2305577 SOS 1003456 HAS SOPS 985964 HAS SOUS 305819 HAS SOUPS 305049 WITH SCORE 306052.456
AT ITER 825 NEW BEST:: SOT 2305560 SOS 1003439 HAS SOPS 985930 HAS SOUS 305785 HAS SOUPS 305015 WITH SCORE 306018.439
AT ITER 828 NEW BEST:: SOT 2305436 SOS 1003113 HAS SOPS 985805 HAS SOUS 305773 HAS SOUPS 305003 WITH SCORE 306006.113
AT ITER 835 NEW BEST:: SOT 2277556 SOS 974475 HAS SOPS 957987 HAS SOUS 300113 HAS SOUPS 299425 WITH SCORE 300399.475
AT ITER 844 NEW BEST:: SOT 2228143 SOS 991004 HAS SOPS 974516 HAS SOUS 292590 HAS SOUPS 291902 WITH SCORE 292893.004
AT ITER 845 NEW BEST:: SOT 2228049 SOS 989981 HAS SOPS 973493 HAS SOUS 292407 HAS SOUPS 291719 WITH SCORE 292708.981
AT ITER 877 NEW BEST:: SOT 2227519 SOS 989563 HAS SOPS 973075 HAS SOUS 291892 HAS SOUPS 291204 WITH SCORE 292193.563
AT ITER 879 NEW BEST:: SOT 2227519 SOS 989675 HAS SOPS 973187 HAS SOUS 291699 HAS SOUPS 291011 WITH SCORE 292000.675
AT ITER 893 NEW BEST:: SOT 2227512 SOS 989668 HAS SOPS 973180 HAS SOUS 291594 HAS SOUPS 290906 WITH SCORE 291895.668
AT ITER 896 NEW BEST:: SOT 2227510 SOS 989666 HAS SOPS 973178 HAS SOUS 291590 HAS SOUPS 290902 WITH SCORE 291891.666
AT ITER 920 NEW BEST:: SOT 2227579 SOS 994970 HAS SOPS 973623 HAS SOUS 291626 HAS SOUPS 290887 WITH SCORE 291881.97
AT ITER 929 NEW BEST:: SOT 2227275 SOS 994666 HAS SOPS 973319 HAS SOUS 291483 HAS SOUPS 290744 WITH SCORE 291738.666
AT ITER 934 NEW BEST:: SOT 2226953 SOS 994125 HAS SOPS 972902 HAS SOUS 291395 HAS SOUPS 290656 WITH SCORE 291650.125
AT ITER 942 NEW BEST:: SOT 2226706 SOS 993991 HAS SOPS 972768 HAS SOUS 291122 HAS SOUPS 290383 WITH SCORE 291376.991
AT ITER 944 NEW BEST:: SOT 2226585 SOS 993827 HAS SOPS 972604 HAS SOUS 290958 HAS SOUPS 290219 WITH SCORE 291212.827
AT ITER 951 NEW BEST:: SOT 2226295 SOS 993849 HAS SOPS 972818 HAS SOUS 290719 HAS SOUPS 289980 WITH SCORE 290973.849
AT ITER 962 NEW BEST:: SOT 2226139 SOS 993736 HAS SOPS 972690 HAS SOUS 290600 HAS SOUPS 289855 WITH SCORE 290848.736
AT ITER 965 NEW BEST:: SOT 2226048 SOS 993645 HAS SOPS 972599 HAS SOUS 290250 HAS SOUPS 289505 WITH SCORE 290498.645
AT ITER 973 NEW BEST:: SOT 2226057 SOS 993637 HAS SOPS 972668 HAS SOUS 290124 HAS SOUPS 289379 WITH SCORE 290372.637
AT ITER 979 NEW BEST:: SOT 2225990 SOS 993391 HAS SOPS 972422 HAS SOUS 289980 HAS SOUPS 289235 WITH SCORE 290228.391
AT ITER 990 NEW BEST:: SOT 2225870 SOS 993271 HAS SOPS 972302 HAS SOUS 289506 HAS SOUPS 288761 WITH SCORE 289754.271
AT ITER 1017 NEW BEST:: SOT 2225822 SOS 993223 HAS SOPS 972254 HAS SOUS 289394 HAS SOUPS 288649 WITH SCORE 289642.223
AT ITER 1018 NEW BEST:: SOT 2225822 SOS 993213 HAS SOPS 972244 HAS SOUS 289394 HAS SOUPS 288649 WITH SCORE 289642.213
AT ITER 1026 NEW BEST:: SOT 2225758 SOS 993149 HAS SOPS 972177 HAS SOUS 289252 HAS SOUPS 288507 WITH SCORE 289500.149
AT ITER 1034 NEW BEST:: SOT 2221402 SOS 989887 HAS SOPS 967715 HAS SOUS 284922 HAS SOUPS 284057 WITH SCORE 285046.887
AT ITER 1041 NEW BEST:: SOT 2221406 SOS 989923 HAS SOPS 966551 HAS SOUS 284926 HAS SOUPS 283941 WITH SCORE 284930.923
AT ITER 1042 NEW BEST:: SOT 2221301 SOS 989818 HAS SOPS 966446 HAS SOUS 284716 HAS SOUPS 283731 WITH SCORE 284720.818
AT ITER 1044 NEW BEST:: SOT 2221301 SOS 944635 HAS SOPS 921263 HAS SOUS 284716 HAS SOUPS 283731 WITH SCORE 284675.635
AT ITER 1051 NEW BEST:: SOT 2221430 SOS 1001884 HAS SOPS 978512 HAS SOUS 284302 HAS SOUPS 283317 WITH SCORE 284318.884
AT ITER 1059 NEW BEST:: SOT 2221430 SOS 1001884 HAS SOPS 978512 HAS SOUS 284296 HAS SOUPS 283311 WITH SCORE 284312.884
AT ITER 1060 NEW BEST:: SOT 2221357 SOS 1001738 HAS SOPS 978366 HAS SOUS 284150 HAS SOUPS 283165 WITH SCORE 284166.738
AT ITER 1065 NEW BEST:: SOT 2221324 SOS 1001705 HAS SOPS 978333 HAS SOUS 284084 HAS SOUPS 283099 WITH SCORE 284100.705
AT ITER 1073 NEW BEST:: SOT 2220877 SOS 1001489 HAS SOPS 978117 HAS SOUS 283820 HAS SOUPS 282835 WITH SCORE 283836.489
AT ITER 1076 NEW BEST:: SOT 2220468 SOS 1001123 HAS SOPS 977751 HAS SOUS 283498 HAS SOUPS 282513 WITH SCORE 283514.123
AT ITER 1082 NEW BEST:: SOT 2220468 SOS 1001122 HAS SOPS 977750 HAS SOUS 283497 HAS SOUPS 282512 WITH SCORE 283513.122
AT ITER 1092 NEW BEST:: SOT 2220470 SOS 1001001 HAS SOPS 977629 HAS SOUS 283376 HAS SOUPS 282391 WITH SCORE 283392.001
AT ITER 1098 NEW BEST:: SOT 2220464 SOS 1000995 HAS SOPS 977679 HAS SOUS 283360 HAS SOUPS 282375 WITH SCORE 283375.995
AT ITER 1118 NEW BEST:: SOT 2216844 SOS 997416 HAS SOPS 974100 HAS SOUS 282945 HAS SOUPS 281960 WITH SCORE 282957.416
AT ITER 1128 NEW BEST:: SOT 2148823 SOS 945403 HAS SOPS 922087 HAS SOUS 270893 HAS SOUPS 269908 WITH SCORE 270853.403
AT ITER 1146 NEW BEST:: SOT 2148828 SOS 945435 HAS SOPS 922119 HAS SOUS 270777 HAS SOUPS 269792 WITH SCORE 270737.435
AT ITER 1166 NEW BEST:: SOT 2148946 SOS 945553 HAS SOPS 922237 HAS SOUS 270585 HAS SOUPS 269600 WITH SCORE 270545.553
AT ITER 1175 NEW BEST:: SOT 2148946 SOS 945477 HAS SOPS 922161 HAS SOUS 270509 HAS SOUPS 269524 WITH SCORE 270469.477
AT ITER 1180 NEW BEST:: SOT 2148993 SOS 945535 HAS SOPS 922148 HAS SOUS 270533 HAS SOUPS 269494 WITH SCORE 270439.535
AT ITER 1183 NEW BEST:: SOT 2148993 SOS 946191 HAS SOPS 922804 HAS SOUS 270445 HAS SOUPS 269406 WITH SCORE 270352.191
AT ITER 1190 NEW BEST:: SOT 2148944 SOS 946142 HAS SOPS 922755 HAS SOUS 270247 HAS SOUPS 269208 WITH SCORE 270154.142
AT ITER 1192 NEW BEST:: SOT 2148736 SOS 945934 HAS SOPS 922547 HAS SOUS 269469 HAS SOUPS 268430 WITH SCORE 269375.934
AT ITER 1193 NEW BEST:: SOT 2148545 SOS 945742 HAS SOPS 922355 HAS SOUS 269226 HAS SOUPS 268187 WITH SCORE 269132.742
AT ITER 1194 NEW BEST:: SOT 2148597 SOS 944694 HAS SOPS 921307 HAS SOUS 268987 HAS SOUPS 267948 WITH SCORE 268892.694
AT ITER 1202 NEW BEST:: SOT 2148570 SOS 944667 HAS SOPS 921280 HAS SOUS 268910 HAS SOUPS 267871 WITH SCORE 268815.667
AT ITER 1210 NEW BEST:: SOT 2148187 SOS 944541 HAS SOPS 921154 HAS SOUS 268608 HAS SOUPS 267569 WITH SCORE 268513.541
AT ITER 1213 NEW BEST:: SOT 2148187 SOS 966718 HAS SOPS 923324 HAS SOUS 268690 HAS SOUPS 267480 WITH SCORE 268446.718
AT ITER 1221 NEW BEST:: SOT 2148187 SOS 966446 HAS SOPS 923286 HAS SOUS 268688 HAS SOUPS 267480 WITH SCORE 268446.446
AT ITER 1233 NEW BEST:: SOT 2148712 SOS 928670 HAS SOPS 885510 HAS SOUS 268095 HAS SOUPS 266887 WITH SCORE 267815.67
AT ITER 1256 NEW BEST:: SOT 2148677 SOS 928635 HAS SOPS 885475 HAS SOUS 268022 HAS SOUPS 266814 WITH SCORE 267742.635
AT ITER 1264 NEW BEST:: SOT 2148514 SOS 924085 HAS SOPS 880925 HAS SOUS 267642 HAS SOUPS 266434 WITH SCORE 267358.085
AT ITER 1266 NEW BEST:: SOT 2148115 SOS 923686 HAS SOPS 880526 HAS SOUS 266617 HAS SOUPS 265409 WITH SCORE 266332.686
AT ITER 1267 NEW BEST:: SOT 2148096 SOS 923648 HAS SOPS 880488 HAS SOUS 266579 HAS SOUPS 265371 WITH SCORE 266294.648
AT ITER 1274 NEW BEST:: SOT 2148106 SOS 923658 HAS SOPS 880580 HAS SOUS 266479 HAS SOUPS 265271 WITH SCORE 266194.658
AT ITER 1280 NEW BEST:: SOT 2148074 SOS 923626 HAS SOPS 880548 HAS SOUS 266433 HAS SOUPS 265225 WITH SCORE 266148.626
AT ITER 1287 NEW BEST:: SOT 2148073 SOS 923625 HAS SOPS 880547 HAS SOUS 266431 HAS SOUPS 265223 WITH SCORE 266146.625
AT ITER 1293 NEW BEST:: SOT 2148037 SOS 923580 HAS SOPS 880502 HAS SOUS 266386 HAS SOUPS 265178 WITH SCORE 266101.58
AT ITER 1294 NEW BEST:: SOT 2147309 SOS 922791 HAS SOPS 879713 HAS SOUS 265775 HAS SOUPS 264567 WITH SCORE 265489.791
AT ITER 1296 NEW BEST:: SOT 2147115 SOS 922661 HAS SOPS 879583 HAS SOUS 265614 HAS SOUPS 264406 WITH SCORE 265328.661
AT ITER 1300 NEW BEST:: SOT 2147347 SOS 922911 HAS SOPS 879833 HAS SOUS 265140 HAS SOUPS 263932 WITH SCORE 264854.911
AT ITER 1301 NEW BEST:: SOT 2147325 SOS 922882 HAS SOPS 879804 HAS SOUS 265096 HAS SOUPS 263888 WITH SCORE 264810.882
AT ITER 1334 NEW BEST:: SOT 2147367 SOS 925178 HAS SOPS 882100 HAS SOUS 264912 HAS SOUPS 263704 WITH SCORE 264629.178
AT ITER 1347 NEW BEST:: SOT 2147148 SOS 924739 HAS SOPS 881856 HAS SOUS 264852 HAS SOUPS 263644 WITH SCORE 264568.739
AT ITER 1348 NEW BEST:: SOT 2147132 SOS 924751 HAS SOPS 881868 HAS SOUS 264844 HAS SOUPS 263636 WITH SCORE 264560.751
AT ITER 1352 NEW BEST:: SOT 2146969 SOS 924621 HAS SOPS 881738 HAS SOUS 264568 HAS SOUPS 263360 WITH SCORE 264284.621
AT ITER 1361 NEW BEST:: SOT 2146581 SOS 924233 HAS SOPS 881350 HAS SOUS 264385 HAS SOUPS 263177 WITH SCORE 264101.233
AT ITER 1396 NEW BEST:: SOT 2146716 SOS 924194 HAS SOPS 881667 HAS SOUS 264296 HAS SOUPS 263088 WITH SCORE 264012.194
AT ITER 1420 NEW BEST:: SOT 2146554 SOS 923938 HAS SOPS 881411 HAS SOUS 264040 HAS SOUPS 262832 WITH SCORE 263755.938
AT ITER 1421 NEW BEST:: SOT 2146548 SOS 923926 HAS SOPS 881399 HAS SOUS 264028 HAS SOUPS 262820 WITH SCORE 263743.926
AT ITER 1428 NEW BEST:: SOT 2146501 SOS 923879 HAS SOPS 881340 HAS SOUS 263974 HAS SOUPS 262766 WITH SCORE 263689.879
AT ITER 1433 NEW BEST:: SOT 2146481 SOS 923839 HAS SOPS 881300 HAS SOUS 263934 HAS SOUPS 262726 WITH SCORE 263649.839
AT ITER 1443 NEW BEST:: SOT 2146172 SOS 923419 HAS SOPS 880880 HAS SOUS 263490 HAS SOUPS 262282 WITH SCORE 263205.419
AT ITER 1444 NEW BEST:: SOT 2146168 SOS 923379 HAS SOPS 880840 HAS SOUS 263486 HAS SOUPS 262278 WITH SCORE 263201.379
AT ITER 1447 NEW BEST:: SOT 2146156 SOS 923367 HAS SOPS 880828 HAS SOUS 263458 HAS SOUPS 262250 WITH SCORE 263173.367
AT ITER 1468 NEW BEST:: SOT 2146151 SOS 923354 HAS SOPS 880815 HAS SOUS 263440 HAS SOUPS 262232 WITH SCORE 263155.354
AT ITER 1471 NEW BEST:: SOT 2146148 SOS 923351 HAS SOPS 880809 HAS SOUS 263435 HAS SOUPS 262226 WITH SCORE 263149.351
AT ITER 1479 NEW BEST:: SOT 2146054 SOS 923257 HAS SOPS 880715 HAS SOUS 263083 HAS SOUPS 261874 WITH SCORE 262797.257
AT ITER 1485 NEW BEST:: SOT 2146019 SOS 923222 HAS SOPS 880680 HAS SOUS 263077 HAS SOUPS 261868 WITH SCORE 262791.222
AT ITER 1497 NEW BEST:: SOT 2146002 SOS 923276 HAS SOPS 880734 HAS SOUS 263043 HAS SOUPS 261834 WITH SCORE 262757.276
AT ITER 1513 NEW BEST:: SOT 2146002 SOS 923276 HAS SOPS 880734 HAS SOUS 263036 HAS SOUPS 261827 WITH SCORE 262750.276
AT ITER 1522 NEW BEST:: SOT 2145968 SOS 923242 HAS SOPS 880700 HAS SOUS 263002 HAS SOUPS 261793 WITH SCORE 262716.242
AT ITER 1523 NEW BEST:: SOT 2145876 SOS 923150 HAS SOPS 880608 HAS SOUS 262811 HAS SOUPS 261602 WITH SCORE 262525.15
AT ITER 1524 NEW BEST:: SOT 2146025 SOS 923348 HAS SOPS 880806 HAS SOUS 262763 HAS SOUPS 261554 WITH SCORE 262477.348
AT ITER 1532 NEW BEST:: SOT 2145968 SOS 923452 HAS SOPS 880508 HAS SOUS 262622 HAS SOUPS 261413 WITH SCORE 262336.452
AT ITER 1535 NEW BEST:: SOT 2145971 SOS 923443 HAS SOPS 880499 HAS SOUS 262743 HAS SOUPS 261358 WITH SCORE 262281.443
AT ITER 1558 NEW BEST:: SOT 2146241 SOS 903003 HAS SOPS 860059 HAS SOUS 262627 HAS SOUPS 261242 WITH SCORE 262145.003
AT ITER 1587 NEW BEST:: SOT 2145539 SOS 908896 HAS SOPS 865952 HAS SOUS 262548 HAS SOUPS 261163 WITH SCORE 262071.896
AT ITER 1615 NEW BEST:: SOT 2145292 SOS 908807 HAS SOPS 865863 HAS SOUS 262427 HAS SOUPS 261042 WITH SCORE 261950.807
AT ITER 1630 NEW BEST:: SOT 2144856 SOS 908640 HAS SOPS 865696 HAS SOUS 262150 HAS SOUPS 260765 WITH SCORE 261673.64
AT ITER 1643 NEW BEST:: SOT 2144768 SOS 908552 HAS SOPS 865608 HAS SOUS 262087 HAS SOUPS 260702 WITH SCORE 261610.552
AT ITER 1667 NEW BEST:: SOT 2144490 SOS 908221 HAS SOPS 865277 HAS SOUS 261747 HAS SOUPS 260362 WITH SCORE 261270.221
AT ITER 1669 NEW BEST:: SOT 2144938 SOS 911718 HAS SOPS 868774 HAS SOUS 261735 HAS SOUPS 260350 WITH SCORE 261261.718
AT ITER 1676 NEW BEST:: SOT 2144358 SOS 910870 HAS SOPS 867926 HAS SOUS 261270 HAS SOUPS 259885 WITH SCORE 260795.87
AT ITER 1704 NEW BEST:: SOT 2144240 SOS 910752 HAS SOPS 867808 HAS SOUS 261149 HAS SOUPS 259764 WITH SCORE 260674.752
AT ITER 1707 NEW BEST:: SOT 2144290 SOS 910802 HAS SOPS 867858 HAS SOUS 261108 HAS SOUPS 259723 WITH SCORE 260633.802
AT ITER 1718 NEW BEST:: SOT 2144290 SOS 913871 HAS SOPS 870927 HAS SOUS 261090 HAS SOUPS 259705 WITH SCORE 260618.871
AT ITER 1719 NEW BEST:: SOT 2144290 SOS 913871 HAS SOPS 870927 HAS SOUS 261077 HAS SOUPS 259692 WITH SCORE 260605.871
AT ITER 1721 NEW BEST:: SOT 2144290 SOS 913871 HAS SOPS 870927 HAS SOUS 261038 HAS SOUPS 259653 WITH SCORE 260566.871
AT ITER 1728 NEW BEST:: SOT 2144110 SOS 913691 HAS SOPS 870747 HAS SOUS 260967 HAS SOUPS 259582 WITH SCORE 260495.691
AT ITER 1733 NEW BEST:: SOT 2143855 SOS 887476 HAS SOPS 844532 HAS SOUS 259867 HAS SOUPS 258482 WITH SCORE 259369.476
AT ITER 1741 NEW BEST:: SOT 2143824 SOS 887414 HAS SOPS 844470 HAS SOUS 259805 HAS SOUPS 258420 WITH SCORE 259307.414
AT ITER 1756 NEW BEST:: SOT 2143606 SOS 887118 HAS SOPS 844419 HAS SOUS 259804 HAS SOUPS 258419 WITH SCORE 259306.118
AT ITER 1764 NEW BEST:: SOT 2143616 SOS 887168 HAS SOPS 844469 HAS SOUS 259794 HAS SOUPS 258409 WITH SCORE 259296.168
AT ITER 1809 NEW BEST:: SOT 2143442 SOS 887215 HAS SOPS 844476 HAS SOUS 259569 HAS SOUPS 258184 WITH SCORE 259071.215
AT ITER 1817 NEW BEST:: SOT 2143617 SOS 889130 HAS SOPS 846391 HAS SOUS 259556 HAS SOUPS 258171 WITH SCORE 259060.13
AT ITER 1821 NEW BEST:: SOT 2143593 SOS 888836 HAS SOPS 846197 HAS SOUS 259508 HAS SOUPS 258123 WITH SCORE 259011.836
AT ITER 1827 NEW BEST:: SOT 2143655 SOS 889274 HAS SOPS 846635 HAS SOUS 259214 HAS SOUPS 257829 WITH SCORE 258718.274
AT ITER 1842 NEW BEST:: SOT 2143655 SOS 889274 HAS SOPS 846635 HAS SOUS 259203 HAS SOUPS 257818 WITH SCORE 258707.274
AT ITER 1846 NEW BEST:: SOT 2143479 SOS 889098 HAS SOPS 846459 HAS SOUS 258959 HAS SOUPS 257574 WITH SCORE 258463.098
AT ITER 1848 NEW BEST:: SOT 2143372 SOS 888608 HAS SOPS 843769 HAS SOUS 258852 HAS SOUPS 257247 WITH SCORE 258135.608
AT ITER 1849 NEW BEST:: SOT 2143339 SOS 888542 HAS SOPS 843703 HAS SOUS 258769 HAS SOUPS 257164 WITH SCORE 258052.542
AT ITER 1859 NEW BEST:: SOT 2143840 SOS 889372 HAS SOPS 844533 HAS SOUS 258732 HAS SOUPS 257127 WITH SCORE 258016.372
AT ITER 1872 NEW BEST:: SOT 2143800 SOS 889279 HAS SOPS 844440 HAS SOUS 258639 HAS SOUPS 257034 WITH SCORE 257923.279
AT ITER 1879 NEW BEST:: SOT 2143749 SOS 889228 HAS SOPS 844389 HAS SOUS 258614 HAS SOUPS 257009 WITH SCORE 257898.228
AT ITER 1885 NEW BEST:: SOT 2142413 SOS 888322 HAS SOPS 843483 HAS SOUS 258553 HAS SOUPS 256948 WITH SCORE 257836.322
AT ITER 1889 NEW BEST:: SOT 2136746 SOS 915270 HAS SOPS 870431 HAS SOUS 258472 HAS SOUPS 256867 WITH SCORE 257782.27
AT ITER 1904 NEW BEST:: SOT 2136761 SOS 915285 HAS SOPS 870479 HAS SOUS 258443 HAS SOUPS 256838 WITH SCORE 257753.285
AT ITER 1908 NEW BEST:: SOT 2136530 SOS 915054 HAS SOPS 870248 HAS SOUS 257801 HAS SOUPS 256196 WITH SCORE 257111.054
AT ITER 1917 NEW BEST:: SOT 2136287 SOS 914802 HAS SOPS 869996 HAS SOUS 257658 HAS SOUPS 256053 WITH SCORE 256967.802
AT ITER 1922 NEW BEST:: SOT 2135598 SOS 914256 HAS SOPS 869450 HAS SOUS 257269 HAS SOUPS 255664 WITH SCORE 256578.256
AT ITER 1932 NEW BEST:: SOT 2135219 SOS 913932 HAS SOPS 869126 HAS SOUS 256959 HAS SOUPS 255354 WITH SCORE 256267.932
AT ITER 1936 NEW BEST:: SOT 2135217 SOS 913957 HAS SOPS 869151 HAS SOUS 256955 HAS SOUPS 255350 WITH SCORE 256263.957
AT ITER 1941 NEW BEST:: SOT 2135197 SOS 913984 HAS SOPS 869178 HAS SOUS 256928 HAS SOUPS 255323 WITH SCORE 256236.984
AT ITER 1947 NEW BEST:: SOT 2135320 SOS 916459 HAS SOPS 871669 HAS SOUS 256808 HAS SOUPS 255203 WITH SCORE 256119.459
AT ITER 1957 NEW BEST:: SOT 2135289 SOS 916428 HAS SOPS 871669 HAS SOUS 256808 HAS SOUPS 255203 WITH SCORE 256119.428
AT ITER 1970 NEW BEST:: SOT 2135424 SOS 916563 HAS SOPS 871700 HAS SOUS 256712 HAS SOUPS 255107 WITH SCORE 256023.563
AT ITER 1980 NEW BEST:: SOT 2135311 SOS 916450 HAS SOPS 871587 HAS SOUS 256173 HAS SOUPS 254568 WITH SCORE 255484.45
AT ITER 1992 NEW BEST:: SOT 2135311 SOS 916439 HAS SOPS 871576 HAS SOUS 256162 HAS SOUPS 254557 WITH SCORE 255473.439
AT ITER 1996 NEW BEST:: SOT 2135315 SOS 916443 HAS SOPS 871647 HAS SOUS 256117 HAS SOUPS 254512 WITH SCORE 255428.443
AT ITER 2024 NEW BEST:: SOT 2135195 SOS 916295 HAS SOPS 871610 HAS SOUS 256117 HAS SOUPS 254512 WITH SCORE 255428.295
AT ITER 2034 NEW BEST:: SOT 2135048 SOS 916148 HAS SOPS 871463 HAS SOUS 255840 HAS SOUPS 254235 WITH SCORE 255151.148
AT ITER 2035 NEW BEST:: SOT 2134956 SOS 916056 HAS SOPS 871371 HAS SOUS 255656 HAS SOUPS 254051 WITH SCORE 254967.056
AT ITER 2041 NEW BEST:: SOT 2134916 SOS 916016 HAS SOPS 871331 HAS SOUS 255576 HAS SOUPS 253971 WITH SCORE 254887.016
AT ITER 2049 NEW BEST:: SOT 2134629 SOS 915729 HAS SOPS 871044 HAS SOUS 254830 HAS SOUPS 253225 WITH SCORE 254140.729
AT ITER 2088 NEW BEST:: SOT 2134571 SOS 915671 HAS SOPS 870986 HAS SOUS 254685 HAS SOUPS 253080 WITH SCORE 253995.671
AT ITER 2094 NEW BEST:: SOT 2134561 SOS 915651 HAS SOPS 870966 HAS SOUS 254668 HAS SOUPS 253063 WITH SCORE 253978.651
AT ITER 2123 NEW BEST:: SOT 2134777 SOS 915975 HAS SOPS 871290 HAS SOUS 254337 HAS SOUPS 252732 WITH SCORE 253647.975
AT ITER 2124 NEW BEST:: SOT 2134714 SOS 915685 HAS SOPS 871000 HAS SOUS 254047 HAS SOUPS 252442 WITH SCORE 253357.685
AT ITER 2129 NEW BEST:: SOT 2134707 SOS 915671 HAS SOPS 870986 HAS SOUS 254039 HAS SOUPS 252434 WITH SCORE 253349.671
AT ITER 2153 NEW BEST:: SOT 2134615 SOS 915324 HAS SOPS 870741 HAS SOUS 253855 HAS SOUPS 252250 WITH SCORE 253165.324
AT ITER 2155 NEW BEST:: SOT 2134259 SOS 914951 HAS SOPS 870368 HAS SOUS 253737 HAS SOUPS 252132 WITH SCORE 253046.951
AT ITER 2167 NEW BEST:: SOT 2134087 SOS 914768 HAS SOPS 870185 HAS SOUS 253474 HAS SOUPS 251869 WITH SCORE 252783.768
AT ITER 2191 NEW BEST:: SOT 2134087 SOS 914768 HAS SOPS 870185 HAS SOUS 253471 HAS SOUPS 251866 WITH SCORE 252780.768
AT ITER 2203 NEW BEST:: SOT 2134100 SOS 914676 HAS SOPS 870093 HAS SOUS 253379 HAS SOUPS 251774 WITH SCORE 252688.676
AT ITER 2212 NEW BEST:: SOT 2133351 SOS 913927 HAS SOPS 869344 HAS SOUS 252989 HAS SOUPS 251384 WITH SCORE 252297.927
AT ITER 2221 NEW BEST:: SOT 2133195 SOS 913771 HAS SOPS 869188 HAS SOUS 252719 HAS SOUPS 251114 WITH SCORE 252027.771
AT ITER 2223 NEW BEST:: SOT 2133105 SOS 913591 HAS SOPS 869008 HAS SOUS 252539 HAS SOUPS 250934 WITH SCORE 251847.591
AT ITER 2236 NEW BEST:: SOT 2132963 SOS 913332 HAS SOPS 868749 HAS SOUS 252223 HAS SOUPS 250618 WITH SCORE 251531.332
AT ITER 2239 NEW BEST:: SOT 2133209 SOS 913671 HAS SOPS 869088 HAS SOUS 252206 HAS SOUPS 250601 WITH SCORE 251514.671
AT ITER 2240 NEW BEST:: SOT 2132978 SOS 913055 HAS SOPS 868472 HAS SOUS 251864 HAS SOUPS 250259 WITH SCORE 251172.055
AT ITER 2250 NEW BEST:: SOT 2132580 SOS 912625 HAS SOPS 868042 HAS SOUS 251418 HAS SOUPS 249813 WITH SCORE 250725.625
AT ITER 2270 NEW BEST:: SOT 2132539 SOS 912581 HAS SOPS 867998 HAS SOUS 251332 HAS SOUPS 249727 WITH SCORE 250639.581
AT ITER 2277 NEW BEST:: SOT 2132380 SOS 912422 HAS SOPS 867839 HAS SOUS 251192 HAS SOUPS 249587 WITH SCORE 250499.422
AT ITER 2305 NEW BEST:: SOT 2132573 SOS 929983 HAS SOPS 885400 HAS SOUS 250600 HAS SOUPS 248995 WITH SCORE 249924.983
AT ITER 2346 NEW BEST:: SOT 2132579 SOS 930055 HAS SOPS 885394 HAS SOUS 250591 HAS SOUPS 248986 WITH SCORE 249916.055
AT ITER 2350 NEW BEST:: SOT 2132533 SOS 930009 HAS SOPS 885315 HAS SOUS 250480 HAS SOUPS 248870 WITH SCORE 249800.009
AT ITER 2357 NEW BEST:: SOT 2132475 SOS 929951 HAS SOPS 885257 HAS SOUS 250222 HAS SOUPS 248612 WITH SCORE 249541.951
AT ITER 2360 NEW BEST:: SOT 2131626 SOS 929102 HAS SOPS 884408 HAS SOUS 249624 HAS SOUPS 248014 WITH SCORE 248943.102
AT ITER 2403 NEW BEST:: SOT 2131422 SOS 928898 HAS SOPS 884204 HAS SOUS 249284 HAS SOUPS 247674 WITH SCORE 248602.898
AT ITER 2407 NEW BEST:: SOT 2131422 SOS 928873 HAS SOPS 884179 HAS SOUS 249284 HAS SOUPS 247674 WITH SCORE 248602.873
AT ITER 2408 NEW BEST:: SOT 2131308 SOS 928514 HAS SOPS 883820 HAS SOUS 249266 HAS SOUPS 247656 WITH SCORE 248584.514
AT ITER 2424 NEW BEST:: SOT 2130858 SOS 928023 HAS SOPS 883329 HAS SOUS 248885 HAS SOUPS 247275 WITH SCORE 248203.023
AT ITER 2440 NEW BEST:: SOT 2130883 SOS 928388 HAS SOPS 883694 HAS SOUS 248726 HAS SOUPS 247116 WITH SCORE 248044.388
AT ITER 2455 NEW BEST:: SOT 2130883 SOS 928379 HAS SOPS 883685 HAS SOUS 248725 HAS SOUPS 247115 WITH SCORE 248043.379
AT ITER 2474 NEW BEST:: SOT 2130870 SOS 928528 HAS SOPS 883826 HAS SOUS 248720 HAS SOUPS 247108 WITH SCORE 248036.528
AT ITER 2481 NEW BEST:: SOT 2130870 SOS 928528 HAS SOPS 883826 HAS SOUS 248715 HAS SOUPS 247103 WITH SCORE 248031.528
AT ITER 2486 NEW BEST:: SOT 2130786 SOS 927972 HAS SOPS 883270 HAS SOUS 248682 HAS SOUPS 247070 WITH SCORE 247997.972
AT ITER 2493 NEW BEST:: SOT 2130728 SOS 927850 HAS SOPS 883148 HAS SOUS 248560 HAS SOUPS 246948 WITH SCORE 247875.85
AT ITER 2494 NEW BEST:: SOT 2130717 SOS 927839 HAS SOPS 883137 HAS SOUS 248560 HAS SOUPS 246948 WITH SCORE 247875.839
AT ITER 2511 NEW BEST:: SOT 2130703 SOS 927808 HAS SOPS 883106 HAS SOUS 248511 HAS SOUPS 246899 WITH SCORE 247826.808
AT ITER 2524 NEW BEST:: SOT 2130668 SOS 927738 HAS SOPS 883036 HAS SOUS 248441 HAS SOUPS 246829 WITH SCORE 247756.738
AT ITER 2536 NEW BEST:: SOT 2130668 SOS 927591 HAS SOPS 882889 HAS SOUS 248272 HAS SOUPS 246660 WITH SCORE 247587.591
AT ITER 2540 NEW BEST:: SOT 2130398 SOS 927321 HAS SOPS 882619 HAS SOUS 247762 HAS SOUPS 246150 WITH SCORE 247077.321
AT ITER 2546 NEW BEST:: SOT 2130398 SOS 927306 HAS SOPS 882604 HAS SOUS 247762 HAS SOUPS 246150 WITH SCORE 247077.306
AT ITER 2548 NEW BEST:: SOT 2130398 SOS 927571 HAS SOPS 882869 HAS SOUS 247719 HAS SOUPS 246107 WITH SCORE 247034.571
AT ITER 2576 NEW BEST:: SOT 2130339 SOS 927259 HAS SOPS 882557 HAS SOUS 247407 HAS SOUPS 245795 WITH SCORE 246722.259
AT ITER 2583 NEW BEST:: SOT 2130205 SOS 926991 HAS SOPS 882289 HAS SOUS 247139 HAS SOUPS 245527 WITH SCORE 246453.991
AT ITER 2589 NEW BEST:: SOT 2130228 SOS 926980 HAS SOPS 882278 HAS SOUS 246840 HAS SOUPS 245228 WITH SCORE 246154.98
AT ITER 2590 NEW BEST:: SOT 2130217 SOS 926969 HAS SOPS 882267 HAS SOUS 246692 HAS SOUPS 245080 WITH SCORE 246006.969
AT ITER 2595 NEW BEST:: SOT 2130157 SOS 926909 HAS SOPS 882175 HAS SOUS 246636 HAS SOUPS 245024 WITH SCORE 245950.909
AT ITER 2611 NEW BEST:: SOT 2130085 SOS 926643 HAS SOPS 881909 HAS SOUS 246370 HAS SOUPS 244758 WITH SCORE 245684.643
AT ITER 2615 NEW BEST:: SOT 2130082 SOS 926640 HAS SOPS 881906 HAS SOUS 246350 HAS SOUPS 244738 WITH SCORE 245664.64
AT ITER 2622 NEW BEST:: SOT 2129993 SOS 926720 HAS SOPS 881986 HAS SOUS 246215 HAS SOUPS 244603 WITH SCORE 245529.72
AT ITER 2646 NEW BEST:: SOT 2129846 SOS 926573 HAS SOPS 881839 HAS SOUS 246055 HAS SOUPS 244443 WITH SCORE 245369.573
AT ITER 2648 NEW BEST:: SOT 2129846 SOS 926084 HAS SOPS 881350 HAS SOUS 246055 HAS SOUPS 244443 WITH SCORE 245369.084
AT ITER 2654 NEW BEST:: SOT 2129939 SOS 926341 HAS SOPS 881607 HAS SOUS 245893 HAS SOUPS 244281 WITH SCORE 245207.341
AT ITER 2656 NEW BEST:: SOT 2120419 SOS 916892 HAS SOPS 872007 HAS SOUS 243093 HAS SOUPS 241481 WITH SCORE 242397.892
AT ITER 2657 NEW BEST:: SOT 2120396 SOS 916846 HAS SOPS 871961 HAS SOUS 243047 HAS SOUPS 241435 WITH SCORE 242351.846
AT ITER 2694 NEW BEST:: SOT 2120389 SOS 916839 HAS SOPS 871954 HAS SOUS 243033 HAS SOUPS 241421 WITH SCORE 242337.839
AT ITER 2713 NEW BEST:: SOT 2120470 SOS 917001 HAS SOPS 872116 HAS SOUS 243015 HAS SOUPS 241403 WITH SCORE 242320.001
AT ITER 2716 NEW BEST:: SOT 2120470 SOS 917026 HAS SOPS 872141 HAS SOUS 242984 HAS SOUPS 241372 WITH SCORE 242289.026
AT ITER 2729 NEW BEST:: SOT 2120286 SOS 916859 HAS SOPS 872028 HAS SOUS 242645 HAS SOUPS 241033 WITH SCORE 241949.859
AT ITER 2742 NEW BEST:: SOT 2120125 SOS 916698 HAS SOPS 871808 HAS SOUS 242412 HAS SOUPS 240800 WITH SCORE 241716.698
AT ITER 2745 NEW BEST:: SOT 2120147 SOS 916546 HAS SOPS 871914 HAS SOUS 242368 HAS SOUPS 240785 WITH SCORE 241701.546
AT ITER 2763 NEW BEST:: SOT 2120157 SOS 916547 HAS SOPS 871914 HAS SOUS 242025 HAS SOUPS 240442 WITH SCORE 241358.547
AT ITER 2765 NEW BEST:: SOT 2120178 SOS 916568 HAS SOPS 871935 HAS SOUS 241902 HAS SOUPS 240319 WITH SCORE 241235.568
AT ITER 2786 NEW BEST:: SOT 2120178 SOS 911058 HAS SOPS 866425 HAS SOUS 241895 HAS SOUPS 240312 WITH SCORE 241223.058
AT ITER 2799 NEW BEST:: SOT 2120016 SOS 910895 HAS SOPS 866262 HAS SOUS 241443 HAS SOUPS 239860 WITH SCORE 240770.895
AT ITER 2821 NEW BEST:: SOT 2118914 SOS 909832 HAS SOPS 865199 HAS SOUS 240506 HAS SOUPS 238923 WITH SCORE 239832.832
AT ITER 2826 NEW BEST:: SOT 2118884 SOS 909866 HAS SOPS 865233 HAS SOUS 240424 HAS SOUPS 238841 WITH SCORE 239750.866
AT ITER 2828 NEW BEST:: SOT 2118703 SOS 909425 HAS SOPS 864792 HAS SOUS 240066 HAS SOUPS 238483 WITH SCORE 239392.425
AT ITER 2843 NEW BEST:: SOT 2118308 SOS 909156 HAS SOPS 864523 HAS SOUS 239740 HAS SOUPS 238157 WITH SCORE 239066.156
AT ITER 2845 NEW BEST:: SOT 2118434 SOS 909219 HAS SOPS 864586 HAS SOUS 239593 HAS SOUPS 238010 WITH SCORE 238919.219
AT ITER 2847 NEW BEST:: SOT 2118206 SOS 909168 HAS SOPS 864535 HAS SOUS 239515 HAS SOUPS 237932 WITH SCORE 238841.168
AT ITER 2851 NEW BEST:: SOT 2118196 SOS 909153 HAS SOPS 864520 HAS SOUS 239495 HAS SOUPS 237912 WITH SCORE 238821.153
AT ITER 2881 NEW BEST:: SOT 2118190 SOS 909147 HAS SOPS 864514 HAS SOUS 239486 HAS SOUPS 237903 WITH SCORE 238812.147
AT ITER 2892 NEW BEST:: SOT 2118025 SOS 909048 HAS SOPS 864415 HAS SOUS 239231 HAS SOUPS 237648 WITH SCORE 238557.048
AT ITER 2894 NEW BEST:: SOT 2106518 SOS 950817 HAS SOPS 906184 HAS SOUS 237002 HAS SOUPS 235419 WITH SCORE 236369.817
AT ITER 2902 NEW BEST:: SOT 2106504 SOS 950762 HAS SOPS 906129 HAS SOUS 236974 HAS SOUPS 235391 WITH SCORE 236341.762
AT ITER 2906 NEW BEST:: SOT 2106294 SOS 950448 HAS SOPS 905815 HAS SOUS 236742 HAS SOUPS 235159 WITH SCORE 236109.448
AT ITER 2910 NEW BEST:: SOT 2090006 SOS 938503 HAS SOPS 893870 HAS SOUS 236366 HAS SOUPS 234783 WITH SCORE 235721.503
AT ITER 2926 NEW BEST:: SOT 2089336 SOS 937552 HAS SOPS 892919 HAS SOUS 236103 HAS SOUPS 234520 WITH SCORE 235457.552
AT ITER 2934 NEW BEST:: SOT 2089090 SOS 937306 HAS SOPS 892573 HAS SOUS 235613 HAS SOUPS 234030 WITH SCORE 234967.306
AT ITER 2940 NEW BEST:: SOT 2089089 SOS 937305 HAS SOPS 892572 HAS SOUS 235613 HAS SOUPS 234030 WITH SCORE 234967.305
AT ITER 2941 NEW BEST:: SOT 2089072 SOS 937721 HAS SOPS 892988 HAS SOUS 235579 HAS SOUPS 233996 WITH SCORE 234933.721
AT ITER 2950 NEW BEST:: SOT 2089066 SOS 937715 HAS SOPS 892982 HAS SOUS 235567 HAS SOUPS 233984 WITH SCORE 234921.715
AT ITER 2975 NEW BEST:: SOT 2089033 SOS 937682 HAS SOPS 892949 HAS SOUS 235534 HAS SOUPS 233951 WITH SCORE 234888.682
AT ITER 2985 NEW BEST:: SOT 2088652 SOS 937894 HAS SOPS 893161 HAS SOUS 235372 HAS SOUPS 233789 WITH SCORE 234726.894
AT ITER 2987 NEW BEST:: SOT 2088458 SOS 937764 HAS SOPS 893031 HAS SOUS 235074 HAS SOUPS 233491 WITH SCORE 234428.764
AT ITER 2988 NEW BEST:: SOT 2088458 SOS 938239 HAS SOPS 893506 HAS SOUS 235024 HAS SOUPS 233441 WITH SCORE 234379.239
AT ITER 2994 NEW BEST:: SOT 2088460 SOS 938310 HAS SOPS 893579 HAS SOUS 234841 HAS SOUPS 233258 WITH SCORE 234196.31
AT ITER 2998 NEW BEST:: SOT 2088501 SOS 938370 HAS SOPS 893639 HAS SOUS 234795 HAS SOUPS 233212 WITH SCORE 234150.37
AT ITER 3006 NEW BEST:: SOT 2088415 SOS 937864 HAS SOPS 893133 HAS SOUS 234707 HAS SOUPS 233124 WITH SCORE 234061.864
AT ITER 3011 NEW BEST:: SOT 2088657 SOS 937876 HAS SOPS 893145 HAS SOUS 234698 HAS SOUPS 233115 WITH SCORE 234052.876
AT ITER 3041 NEW BEST:: SOT 2088643 SOS 937862 HAS SOPS 893131 HAS SOUS 234671 HAS SOUPS 233088 WITH SCORE 234025.862
AT ITER 3046 NEW BEST:: SOT 2088795 SOS 937944 HAS SOPS 893213 HAS SOUS 234637 HAS SOUPS 233054 WITH SCORE 233991.944
AT ITER 3063 NEW BEST:: SOT 2088238 SOS 934992 HAS SOPS 890245 HAS SOUS 234197 HAS SOUPS 232614 WITH SCORE 233548.992
AT ITER 3074 NEW BEST:: SOT 2088238 SOS 935009 HAS SOPS 890228 HAS SOUS 234180 HAS SOUPS 232597 WITH SCORE 233532.009
AT ITER 3080 NEW BEST:: SOT 2088225 SOS 934996 HAS SOPS 890215 HAS SOUS 233960 HAS SOUPS 232377 WITH SCORE 233311.996
AT ITER 3083 NEW BEST:: SOT 2088193 SOS 934964 HAS SOPS 890183 HAS SOUS 233896 HAS SOUPS 232313 WITH SCORE 233247.964
AT ITER 3091 NEW BEST:: SOT 2088191 SOS 934960 HAS SOPS 890179 HAS SOUS 233882 HAS SOUPS 232299 WITH SCORE 233233.96
AT ITER 3095 NEW BEST:: SOT 2088092 SOS 934663 HAS SOPS 889882 HAS SOUS 233867 HAS SOUPS 232284 WITH SCORE 233218.663
AT ITER 3097 NEW BEST:: SOT 2088090 SOS 934601 HAS SOPS 889820 HAS SOUS 233814 HAS SOUPS 232231 WITH SCORE 233165.601
AT ITER 3110 NEW BEST:: SOT 2087846 SOS 934212 HAS SOPS 889431 HAS SOUS 233688 HAS SOUPS 232105 WITH SCORE 233039.212
AT ITER 3132 NEW BEST:: SOT 2087841 SOS 934203 HAS SOPS 889422 HAS SOUS 233678 HAS SOUPS 232095 WITH SCORE 233029.203
AT ITER 3166 NEW BEST:: SOT 2087813 SOS 934136 HAS SOPS 889355 HAS SOUS 233648 HAS SOUPS 232065 WITH SCORE 232999.136
AT ITER 3174 NEW BEST:: SOT 2046738 SOS 892795 HAS SOPS 848014 HAS SOUS 226719 HAS SOUPS 225136 WITH SCORE 226028.795
AT ITER 3192 NEW BEST:: SOT 2046712 SOS 892813 HAS SOPS 848032 HAS SOUS 226605 HAS SOUPS 225022 WITH SCORE 225914.813
AT ITER 3194 NEW BEST:: SOT 2046703 SOS 892795 HAS SOPS 848014 HAS SOUS 226587 HAS SOUPS 225004 WITH SCORE 225896.795
AT ITER 3236 NEW BEST:: SOT 2046708 SOS 892796 HAS SOPS 848015 HAS SOUS 226581 HAS SOUPS 224998 WITH SCORE 225890.796
AT ITER 3257 NEW BEST:: SOT 2046708 SOS 802882 HAS SOPS 758101 HAS SOUS 226467 HAS SOUPS 224884 WITH SCORE 225686.882
AT ITER 3258 NEW BEST:: SOT 2046781 SOS 800719 HAS SOPS 755938 HAS SOUS 226275 HAS SOUPS 224692 WITH SCORE 225492.719
AT ITER 3261 NEW BEST:: SOT 2046737 SOS 800631 HAS SOPS 755850 HAS SOUS 226187 HAS SOUPS 224604 WITH SCORE 225404.631
AT ITER 3274 NEW BEST:: SOT 2046737 SOS 800619 HAS SOPS 755838 HAS SOUS 226067 HAS SOUPS 224484 WITH SCORE 225284.619
AT ITER 3302 NEW BEST:: SOT 2046737 SOS 800619 HAS SOPS 755838 HAS SOUS 225951 HAS SOUPS 224368 WITH SCORE 225168.619
AT ITER 3314 NEW BEST:: SOT 2046711 SOS 800526 HAS SOPS 755745 HAS SOUS 225940 HAS SOUPS 224357 WITH SCORE 225157.526
AT ITER 3317 NEW BEST:: SOT 2046706 SOS 800521 HAS SOPS 755740 HAS SOUS 225935 HAS SOUPS 224352 WITH SCORE 225152.521
AT ITER 3331 NEW BEST:: SOT 2046603 SOS 786118 HAS SOPS 741337 HAS SOUS 225373 HAS SOUPS 223790 WITH SCORE 224576.118
AT ITER 3333 NEW BEST:: SOT 2046642 SOS 786157 HAS SOPS 741376 HAS SOUS 225300 HAS SOUPS 223717 WITH SCORE 224503.157
AT ITER 3387 NEW BEST:: SOT 2046613 SOS 786128 HAS SOPS 741374 HAS SOUS 225170 HAS SOUPS 223587 WITH SCORE 224373.128
AT ITER 3388 NEW BEST:: SOT 2046598 SOS 786098 HAS SOPS 741344 HAS SOUS 225140 HAS SOUPS 223557 WITH SCORE 224343.098
AT ITER 3400 NEW BEST:: SOT 2046466 SOS 771006 HAS SOPS 726252 HAS SOUS 224964 HAS SOUPS 223381 WITH SCORE 224152.006
AT ITER 3427 NEW BEST:: SOT 2046430 SOS 770970 HAS SOPS 726216 HAS SOUS 224959 HAS SOUPS 223376 WITH SCORE 224146.97
AT ITER 3430 NEW BEST:: SOT 2046470 SOS 759184 HAS SOPS 714430 HAS SOUS 224661 HAS SOUPS 223078 WITH SCORE 223837.184
AT ITER 3431 NEW BEST:: SOT 2046420 SOS 759186 HAS SOPS 714432 HAS SOUS 224656 HAS SOUPS 223073 WITH SCORE 223832.186
AT ITER 3440 NEW BEST:: SOT 2046323 SOS 759066 HAS SOPS 714312 HAS SOUS 224646 HAS SOUPS 223063 WITH SCORE 223822.066
AT ITER 3448 NEW BEST:: SOT 2046224 SOS 758967 HAS SOPS 714213 HAS SOUS 224570 HAS SOUPS 222987 WITH SCORE 223745.967
AT ITER 3455 NEW BEST:: SOT 2046182 SOS 758925 HAS SOPS 714171 HAS SOUS 224511 HAS SOUPS 222928 WITH SCORE 223686.925
AT ITER 3467 NEW BEST:: SOT 2046159 SOS 758902 HAS SOPS 714148 HAS SOUS 224493 HAS SOUPS 222910 WITH SCORE 223668.902
AT ITER 3492 NEW BEST:: SOT 2046071 SOS 758814 HAS SOPS 714060 HAS SOUS 224198 HAS SOUPS 222615 WITH SCORE 223373.814
AT ITER 3503 NEW BEST:: SOT 2046067 SOS 758810 HAS SOPS 714056 HAS SOUS 224194 HAS SOUPS 222611 WITH SCORE 223369.81
AT ITER 3514 NEW BEST:: SOT 2046091 SOS 758869 HAS SOPS 714115 HAS SOUS 224145 HAS SOUPS 222562 WITH SCORE 223320.869
AT ITER 3561 NEW BEST:: SOT 2045961 SOS 758759 HAS SOPS 714005 HAS SOUS 223897 HAS SOUPS 222314 WITH SCORE 223072.759
AT ITER 3575 NEW BEST:: SOT 2046043 SOS 758721 HAS SOPS 713967 HAS SOUS 223711 HAS SOUPS 222128 WITH SCORE 222886.721
AT ITER 3592 NEW BEST:: SOT 2046153 SOS 758951 HAS SOPS 714197 HAS SOUS 223614 HAS SOUPS 222031 WITH SCORE 222789.951
AT ITER 3594 NEW BEST:: SOT 2046127 SOS 758925 HAS SOPS 714197 HAS SOUS 223588 HAS SOUPS 222005 WITH SCORE 222763.925
AT ITER 3636 NEW BEST:: SOT 2046114 SOS 758899 HAS SOPS 714171 HAS SOUS 223562 HAS SOUPS 221979 WITH SCORE 222737.899
AT ITER 3643 NEW BEST:: SOT 2045967 SOS 758796 HAS SOPS 714068 HAS SOUS 223366 HAS SOUPS 221783 WITH SCORE 222541.796
AT ITER 3658 NEW BEST:: SOT 2045974 SOS 758803 HAS SOPS 714055 HAS SOUS 223332 HAS SOUPS 221749 WITH SCORE 222507.803
AT ITER 3667 NEW BEST:: SOT 2045725 SOS 758650 HAS SOPS 713902 HAS SOUS 222776 HAS SOUPS 221193 WITH SCORE 221951.65
AT ITER 3694 NEW BEST:: SOT 2045689 SOS 758560 HAS SOPS 713812 HAS SOUS 222735 HAS SOUPS 221152 WITH SCORE 221910.56
AT ITER 3697 NEW BEST:: SOT 2045340 SOS 758069 HAS SOPS 713321 HAS SOUS 222244 HAS SOUPS 220661 WITH SCORE 221419.069
AT ITER 3723 NEW BEST:: SOT 2045330 SOS 758049 HAS SOPS 713301 HAS SOUS 222224 HAS SOUPS 220641 WITH SCORE 221399.049
AT ITER 3732 NEW BEST:: SOT 2045312 SOS 758031 HAS SOPS 713283 HAS SOUS 222188 HAS SOUPS 220605 WITH SCORE 221363.031
AT ITER 3733 NEW BEST:: SOT 2045260 SOS 747639 HAS SOPS 702891 HAS SOUS 221849 HAS SOUPS 220266 WITH SCORE 221013.639
AT ITER 3737 NEW BEST:: SOT 2045248 SOS 747624 HAS SOPS 702876 HAS SOUS 221849 HAS SOUPS 220266 WITH SCORE 221013.624
AT ITER 3761 NEW BEST:: SOT 2045293 SOS 747569 HAS SOPS 702821 HAS SOUS 221639 HAS SOUPS 220056 WITH SCORE 220803.569
AT ITER 3765 NEW BEST:: SOT 2044729 SOS 744615 HAS SOPS 699867 HAS SOUS 221114 HAS SOUPS 219531 WITH SCORE 220275.615
AT ITER 3777 NEW BEST:: SOT 2044723 SOS 744603 HAS SOPS 699855 HAS SOUS 221102 HAS SOUPS 219519 WITH SCORE 220263.603
AT ITER 3792 NEW BEST:: SOT 2044907 SOS 744874 HAS SOPS 700126 HAS SOUS 220944 HAS SOUPS 219361 WITH SCORE 220105.874
AT ITER 3797 NEW BEST:: SOT 2044878 SOS 744867 HAS SOPS 700119 HAS SOUS 220860 HAS SOUPS 219277 WITH SCORE 220021.867
AT ITER 3800 NEW BEST:: SOT 2045692 SOS 761740 HAS SOPS 716992 HAS SOUS 220287 HAS SOUPS 218704 WITH SCORE 219465.74
AT ITER 3805 NEW BEST:: SOT 2045651 SOS 761699 HAS SOPS 716951 HAS SOUS 220205 HAS SOUPS 218622 WITH SCORE 219383.699
AT ITER 3854 NEW BEST:: SOT 2045479 SOS 761520 HAS SOPS 716772 HAS SOUS 220162 HAS SOUPS 218579 WITH SCORE 219340.52
AT ITER 3857 NEW BEST:: SOT 2045442 SOS 761493 HAS SOPS 716744 HAS SOUS 220103 HAS SOUPS 218520 WITH SCORE 219281.493
AT ITER 3865 NEW BEST:: SOT 2045380 SOS 761390 HAS SOPS 716641 HAS SOUS 220041 HAS SOUPS 218458 WITH SCORE 219219.39
AT ITER 3870 NEW BEST:: SOT 2045380 SOS 761252 HAS SOPS 716503 HAS SOUS 220041 HAS SOUPS 218458 WITH SCORE 219219.252
AT ITER 3879 NEW BEST:: SOT 2045434 SOS 761131 HAS SOPS 716382 HAS SOUS 219902 HAS SOUPS 218319 WITH SCORE 219080.131
AT ITER 3881 NEW BEST:: SOT 2045334 SOS 760931 HAS SOPS 716182 HAS SOUS 219702 HAS SOUPS 218119 WITH SCORE 218879.931
AT ITER 3882 NEW BEST:: SOT 2045373 SOS 761100 HAS SOPS 716351 HAS SOUS 219580 HAS SOUPS 217997 WITH SCORE 218758.1
AT ITER 3883 NEW BEST:: SOT 2045401 SOS 761128 HAS SOPS 716444 HAS SOUS 219576 HAS SOUPS 217993 WITH SCORE 218754.128
AT ITER 3890 NEW BEST:: SOT 2045401 SOS 761168 HAS SOPS 716484 HAS SOUS 219566 HAS SOUPS 217983 WITH SCORE 218744.168
AT ITER 3903 NEW BEST:: SOT 2045411 SOS 758978 HAS SOPS 714294 HAS SOUS 219516 HAS SOUPS 217933 WITH SCORE 218691.978
AT ITER 3913 NEW BEST:: SOT 2045288 SOS 758653 HAS SOPS 713969 HAS SOUS 219321 HAS SOUPS 217738 WITH SCORE 218496.653
AT ITER 3914 NEW BEST:: SOT 2045288 SOS 758653 HAS SOPS 714003 HAS SOUS 219253 HAS SOUPS 217670 WITH SCORE 218428.653
AT ITER 3931 NEW BEST:: SOT 2045050 SOS 758517 HAS SOPS 713867 HAS SOUS 219251 HAS SOUPS 217668 WITH SCORE 218426.517
AT ITER 3937 NEW BEST:: SOT 2045032 SOS 758493 HAS SOPS 713843 HAS SOUS 219221 HAS SOUPS 217638 WITH SCORE 218396.493
AT ITER 3938 NEW BEST:: SOT 2045052 SOS 758524 HAS SOPS 713874 HAS SOUS 219206 HAS SOUPS 217623 WITH SCORE 218381.524
AT ITER 3952 NEW BEST:: SOT 2044976 SOS 758441 HAS SOPS 713791 HAS SOUS 219094 HAS SOUPS 217511 WITH SCORE 218269.441
AT ITER 3959 NEW BEST:: SOT 2044976 SOS 758380 HAS SOPS 713730 HAS SOUS 219094 HAS SOUPS 217511 WITH SCORE 218269.38
AT ITER 3971 NEW BEST:: SOT 2044901 SOS 758305 HAS SOPS 713655 HAS SOUS 219019 HAS SOUPS 217436 WITH SCORE 218194.305
AT ITER 3973 NEW BEST:: SOT 2044900 SOS 757968 HAS SOPS 713318 HAS SOUS 219016 HAS SOUPS 217433 WITH SCORE 218190.968
AT ITER 3976 NEW BEST:: SOT 2044821 SOS 746024 HAS SOPS 712387 HAS SOUS 218854 HAS SOUPS 217365 WITH SCORE 218111.024
AT ITER 3982 NEW BEST:: SOT 2044814 SOS 746010 HAS SOPS 712373 HAS SOUS 218840 HAS SOUPS 217351 WITH SCORE 218097.01
AT ITER 3988 NEW BEST:: SOT 2044974 SOS 746170 HAS SOPS 712469 HAS SOUS 218827 HAS SOUPS 217338 WITH SCORE 218084.17
AT ITER 3989 NEW BEST:: SOT 2044941 SOS 746075 HAS SOPS 712374 HAS SOUS 218600 HAS SOUPS 217111 WITH SCORE 217857.075
AT ITER 4017 NEW BEST:: SOT 2044915 SOS 746049 HAS SOPS 712348 HAS SOUS 218574 HAS SOUPS 217085 WITH SCORE 217831.049
AT ITER 4018 NEW BEST:: SOT 2044930 SOS 746064 HAS SOPS 712363 HAS SOUS 218552 HAS SOUPS 217063 WITH SCORE 217809.064
AT ITER 4019 NEW BEST:: SOT 2044894 SOS 746028 HAS SOPS 712327 HAS SOUS 218480 HAS SOUPS 216991 WITH SCORE 217737.028
AT ITER 4027 NEW BEST:: SOT 2044925 SOS 746058 HAS SOPS 712306 HAS SOUS 218408 HAS SOUPS 216919 WITH SCORE 217665.058
AT ITER 4043 NEW BEST:: SOT 2044943 SOS 746199 HAS SOPS 712447 HAS SOUS 218364 HAS SOUPS 216875 WITH SCORE 217621.199
AT ITER 4060 NEW BEST:: SOT 2044943 SOS 746160 HAS SOPS 712408 HAS SOUS 218364 HAS SOUPS 216875 WITH SCORE 217621.16
AT ITER 4065 NEW BEST:: SOT 2044933 SOS 746150 HAS SOPS 712390 HAS SOUS 218344 HAS SOUPS 216855 WITH SCORE 217601.15
AT ITER 4089 NEW BEST:: SOT 2044949 SOS 746162 HAS SOPS 712402 HAS SOUS 218336 HAS SOUPS 216847 WITH SCORE 217593.162
AT ITER 4097 NEW BEST:: SOT 2045031 SOS 746244 HAS SOPS 712484 HAS SOUS 218272 HAS SOUPS 216783 WITH SCORE 217529.244
AT ITER 4125 NEW BEST:: SOT 2045005 SOS 746218 HAS SOPS 712463 HAS SOUS 218224 HAS SOUPS 216735 WITH SCORE 217481.218
AT ITER 4130 NEW BEST:: SOT 2045039 SOS 746226 HAS SOPS 712471 HAS SOUS 218215 HAS SOUPS 216726 WITH SCORE 217472.226
AT ITER 4138 NEW BEST:: SOT 2044961 SOS 746096 HAS SOPS 712341 HAS SOUS 218111 HAS SOUPS 216622 WITH SCORE 217368.096
AT ITER 4159 NEW BEST:: SOT 2044849 SOS 745818 HAS SOPS 712063 HAS SOUS 218013 HAS SOUPS 216524 WITH SCORE 217269.818
AT ITER 4198 NEW BEST:: SOT 2044693 SOS 745662 HAS SOPS 711907 HAS SOUS 217871 HAS SOUPS 216382 WITH SCORE 217127.662
AT ITER 4213 NEW BEST:: SOT 2044693 SOS 745883 HAS SOPS 712128 HAS SOUS 217748 HAS SOUPS 216259 WITH SCORE 217004.883
AT ITER 4214 NEW BEST:: SOT 2044506 SOS 745535 HAS SOPS 711780 HAS SOUS 217582 HAS SOUPS 216093 WITH SCORE 216838.535
AT ITER 4223 NEW BEST:: SOT 2044579 SOS 745608 HAS SOPS 711853 HAS SOUS 217565 HAS SOUPS 216076 WITH SCORE 216821.608
AT ITER 4228 NEW BEST:: SOT 2044682 SOS 745674 HAS SOPS 712127 HAS SOUS 217314 HAS SOUPS 215825 WITH SCORE 216570.674
AT ITER 4235 NEW BEST:: SOT 2044664 SOS 745656 HAS SOPS 712109 HAS SOUS 217269 HAS SOUPS 215780 WITH SCORE 216525.656
AT ITER 4241 NEW BEST:: SOT 2044653 SOS 745634 HAS SOPS 712087 HAS SOUS 217247 HAS SOUPS 215758 WITH SCORE 216503.634
AT ITER 4248 NEW BEST:: SOT 2039069 SOS 768526 HAS SOPS 734979 HAS SOUS 217014 HAS SOUPS 215525 WITH SCORE 216293.526
AT ITER 4255 NEW BEST:: SOT 2038885 SOS 768124 HAS SOPS 734577 HAS SOUS 216837 HAS SOUPS 215348 WITH SCORE 216116.124
AT ITER 4265 NEW BEST:: SOT 2038787 SOS 768076 HAS SOPS 734529 HAS SOUS 216711 HAS SOUPS 215222 WITH SCORE 215990.076
AT ITER 4281 NEW BEST:: SOT 2038787 SOS 767438 HAS SOPS 733891 HAS SOUS 216655 HAS SOUPS 215166 WITH SCORE 215933.438
AT ITER 4285 NEW BEST:: SOT 2038709 SOS 767360 HAS SOPS 733806 HAS SOUS 216462 HAS SOUPS 214973 WITH SCORE 215740.36
AT ITER 4297 NEW BEST:: SOT 2038709 SOS 764327 HAS SOPS 730773 HAS SOUS 216462 HAS SOUPS 214973 WITH SCORE 215737.327
AT ITER 4299 NEW BEST:: SOT 2038683 SOS 764301 HAS SOPS 730747 HAS SOUS 216397 HAS SOUPS 214908 WITH SCORE 215672.301
AT ITER 4309 NEW BEST:: SOT 2038626 SOS 764204 HAS SOPS 730673 HAS SOUS 216363 HAS SOUPS 214874 WITH SCORE 215638.204
AT ITER 4318 NEW BEST:: SOT 2038630 SOS 764208 HAS SOPS 730629 HAS SOUS 216277 HAS SOUPS 214778 WITH SCORE 215542.208
AT ITER 4324 NEW BEST:: SOT 2038546 SOS 764063 HAS SOPS 730461 HAS SOUS 216096 HAS SOUPS 214597 WITH SCORE 215361.063
AT ITER 4328 NEW BEST:: SOT 2038507 SOS 764346 HAS SOPS 730744 HAS SOUS 216065 HAS SOUPS 214566 WITH SCORE 215330.346
AT ITER 4334 NEW BEST:: SOT 2038502 SOS 764336 HAS SOPS 730734 HAS SOUS 216065 HAS SOUPS 214566 WITH SCORE 215330.336
AT ITER 4344 NEW BEST:: SOT 2037970 SOS 763804 HAS SOPS 730202 HAS SOUS 215675 HAS SOUPS 214176 WITH SCORE 214939.804
AT ITER 4353 NEW BEST:: SOT 2037970 SOS 763800 HAS SOPS 730198 HAS SOUS 215671 HAS SOUPS 214172 WITH SCORE 214935.8
AT ITER 4355 NEW BEST:: SOT 2037970 SOS 763800 HAS SOPS 730157 HAS SOUS 215651 HAS SOUPS 214121 WITH SCORE 214884.8
AT ITER 4359 NEW BEST:: SOT 2037651 SOS 763300 HAS SOPS 729657 HAS SOUS 215644 HAS SOUPS 214114 WITH SCORE 214877.3
AT ITER 4373 NEW BEST:: SOT 2037523 SOS 763098 HAS SOPS 729455 HAS SOUS 215491 HAS SOUPS 213961 WITH SCORE 214724.098
AT ITER 4378 NEW BEST:: SOT 2037655 SOS 763223 HAS SOPS 729580 HAS SOUS 215359 HAS SOUPS 213829 WITH SCORE 214592.223
AT ITER 4389 NEW BEST:: SOT 2037639 SOS 763207 HAS SOPS 729564 HAS SOUS 215343 HAS SOUPS 213813 WITH SCORE 214576.207
AT ITER 4416 NEW BEST:: SOT 2037637 SOS 763205 HAS SOPS 729562 HAS SOUS 215333 HAS SOUPS 213803 WITH SCORE 214566.205
AT ITER 4419 NEW BEST:: SOT 2035038 SOS 762679 HAS SOPS 729036 HAS SOUS 215230 HAS SOUPS 213700 WITH SCORE 214462.679
AT ITER 4456 NEW BEST:: SOT 2035006 SOS 762530 HAS SOPS 728819 HAS SOUS 214951 HAS SOUPS 213418 WITH SCORE 214180.53
AT ITER 4499 NEW BEST:: SOT 2035012 SOS 762536 HAS SOPS 728825 HAS SOUS 214813 HAS SOUPS 213280 WITH SCORE 214042.536
AT ITER 4503 NEW BEST:: SOT 2035000 SOS 762392 HAS SOPS 728681 HAS SOUS 214789 HAS SOUPS 213256 WITH SCORE 214018.392
AT ITER 4505 NEW BEST:: SOT 2034102 SOS 761974 HAS SOPS 727783 HAS SOUS 213729 HAS SOUPS 212148 WITH SCORE 212909.974
AT ITER 4512 NEW BEST:: SOT 2033964 SOS 761836 HAS SOPS 727645 HAS SOUS 213660 HAS SOUPS 212079 WITH SCORE 212840.836
AT ITER 4515 NEW BEST:: SOT 2033744 SOS 761616 HAS SOPS 727425 HAS SOUS 213440 HAS SOUPS 211859 WITH SCORE 212620.616
AT ITER 4557 NEW BEST:: SOT 2033711 SOS 754323 HAS SOPS 720132 HAS SOUS 213209 HAS SOUPS 211628 WITH SCORE 212382.323
AT ITER 4572 NEW BEST:: SOT 2034004 SOS 754397 HAS SOPS 720206 HAS SOUS 212979 HAS SOUPS 211398 WITH SCORE 212152.397
AT ITER 4576 NEW BEST:: SOT 2033996 SOS 754379 HAS SOPS 720188 HAS SOUS 212961 HAS SOUPS 211380 WITH SCORE 212134.379
AT ITER 4591 NEW BEST:: SOT 2034068 SOS 754518 HAS SOPS 720066 HAS SOUS 212860 HAS SOUPS 211279 WITH SCORE 212033.518
AT ITER 4621 NEW BEST:: SOT 2034015 SOS 754433 HAS SOPS 719981 HAS SOUS 212754 HAS SOUPS 211173 WITH SCORE 211927.433
AT ITER 4638 NEW BEST:: SOT 2033904 SOS 753576 HAS SOPS 719124 HAS SOUS 212648 HAS SOUPS 211067 WITH SCORE 211820.576
AT ITER 4654 NEW BEST:: SOT 2033835 SOS 753507 HAS SOPS 719055 HAS SOUS 212421 HAS SOUPS 210840 WITH SCORE 211593.507
AT ITER 4670 NEW BEST:: SOT 2033812 SOS 753484 HAS SOPS 719032 HAS SOUS 212397 HAS SOUPS 210816 WITH SCORE 211569.484
AT ITER 4676 NEW BEST:: SOT 2033866 SOS 753812 HAS SOPS 719360 HAS SOUS 212360 HAS SOUPS 210779 WITH SCORE 211532.812
AT ITER 4690 NEW BEST:: SOT 2033634 SOS 753582 HAS SOPS 719130 HAS SOUS 212151 HAS SOUPS 210570 WITH SCORE 211323.582
AT ITER 4701 NEW BEST:: SOT 2033594 SOS 753534 HAS SOPS 719082 HAS SOUS 212080 HAS SOUPS 210499 WITH SCORE 211252.534
AT ITER 4724 NEW BEST:: SOT 2033588 SOS 753528 HAS SOPS 719076 HAS SOUS 212074 HAS SOUPS 210493 WITH SCORE 211246.528
AT ITER 4738 NEW BEST:: SOT 2033737 SOS 753975 HAS SOPS 719523 HAS SOUS 211925 HAS SOUPS 210344 WITH SCORE 211097.975
AT ITER 4747 NEW BEST:: SOT 2033633 SOS 753068 HAS SOPS 718616 HAS SOUS 211750 HAS SOUPS 210169 WITH SCORE 210922.068
AT ITER 4748 NEW BEST:: SOT 2033546 SOS 752981 HAS SOPS 718452 HAS SOUS 211609 HAS SOUPS 210028 WITH SCORE 210780.981
AT ITER 4769 NEW BEST:: SOT 2033409 SOS 752929 HAS SOPS 718400 HAS SOUS 211357 HAS SOUPS 209776 WITH SCORE 210528.929
AT ITER 4774 NEW BEST:: SOT 2033398 SOS 752918 HAS SOPS 718389 HAS SOUS 211335 HAS SOUPS 209754 WITH SCORE 210506.918
AT ITER 4791 NEW BEST:: SOT 2033300 SOS 752899 HAS SOPS 718370 HAS SOUS 211241 HAS SOUPS 209660 WITH SCORE 210412.899
AT ITER 4798 NEW BEST:: SOT 2033280 SOS 752879 HAS SOPS 718350 HAS SOUS 211238 HAS SOUPS 209657 WITH SCORE 210409.879
AT ITER 4805 NEW BEST:: SOT 2033390 SOS 753151 HAS SOPS 718622 HAS SOUS 211215 HAS SOUPS 209634 WITH SCORE 210387.151
AT ITER 4826 NEW BEST:: SOT 2033389 SOS 753150 HAS SOPS 718621 HAS SOUS 211204 HAS SOUPS 209623 WITH SCORE 210376.15
AT ITER 4828 NEW BEST:: SOT 2033442 SOS 753289 HAS SOPS 718760 HAS SOUS 210966 HAS SOUPS 209385 WITH SCORE 210138.289
AT ITER 4842 NEW BEST:: SOT 2033412 SOS 753259 HAS SOPS 718730 HAS SOUS 210926 HAS SOUPS 209345 WITH SCORE 210098.259
AT ITER 4859 NEW BEST:: SOT 2033387 SOS 753234 HAS SOPS 718692 HAS SOUS 210842 HAS SOUPS 209261 WITH SCORE 210014.234
AT ITER 4875 NEW BEST:: SOT 2033387 SOS 753144 HAS SOPS 718602 HAS SOUS 210842 HAS SOUPS 209261 WITH SCORE 210014.144
AT ITER 4889 NEW BEST:: SOT 2033429 SOS 753265 HAS SOPS 718723 HAS SOUS 210814 HAS SOUPS 209233 WITH SCORE 209986.265
AT ITER 4896 NEW BEST:: SOT 2033401 SOS 753237 HAS SOPS 718695 HAS SOUS 210814 HAS SOUPS 209233 WITH SCORE 209986.237
AT ITER 4901 NEW BEST:: SOT 2033278 SOS 752962 HAS SOPS 718420 HAS SOUS 210723 HAS SOUPS 209142 WITH SCORE 209894.962
AT ITER 4903 NEW BEST:: SOT 2033216 SOS 752824 HAS SOPS 718282 HAS SOUS 210351 HAS SOUPS 208770 WITH SCORE 209522.824
AT ITER 4904 NEW BEST:: SOT 2033210 SOS 752812 HAS SOPS 718270 HAS SOUS 210272 HAS SOUPS 208691 WITH SCORE 209443.812
AT ITER 4905 NEW BEST:: SOT 2033218 SOS 752885 HAS SOPS 718343 HAS SOUS 210227 HAS SOUPS 208646 WITH SCORE 209398.885
AT ITER 4917 NEW BEST:: SOT 2033218 SOS 752885 HAS SOPS 718339 HAS SOUS 210221 HAS SOUPS 208640 WITH SCORE 209392.885
AT ITER 4931 NEW BEST:: SOT 2033163 SOS 752629 HAS SOPS 718083 HAS SOUS 210092 HAS SOUPS 208511 WITH SCORE 209263.629
AT ITER 4932 NEW BEST:: SOT 2033034 SOS 752458 HAS SOPS 717912 HAS SOUS 210002 HAS SOUPS 208421 WITH SCORE 209173.458
AT ITER 4939 NEW BEST:: SOT 2032714 SOS 751864 HAS SOPS 717279 HAS SOUS 209578 HAS SOUPS 207997 WITH SCORE 208748.864
AT ITER 4962 NEW BEST:: SOT 2032698 SOS 751840 HAS SOPS 717255 HAS SOUS 209554 HAS SOUPS 207973 WITH SCORE 208724.84
AT ITER 4970 NEW BEST:: SOT 2032691 SOS 751833 HAS SOPS 717248 HAS SOUS 209540 HAS SOUPS 207959 WITH SCORE 208710.833
AT ITER 4973 NEW BEST:: SOT 2032614 SOS 743649 HAS SOPS 709064 HAS SOUS 209467 HAS SOUPS 207886 WITH SCORE 208629.649
AT ITER 4977 NEW BEST:: SOT 2032017 SOS 742328 HAS SOPS 707743 HAS SOUS 209319 HAS SOUPS 207738 WITH SCORE 208480.328
AT ITER 4986 NEW BEST:: SOT 2032020 SOS 742310 HAS SOPS 707725 HAS SOUS 209304 HAS SOUPS 207723 WITH SCORE 208465.31
AT ITER 4999 NEW BEST:: SOT 2031996 SOS 742238 HAS SOPS 707653 HAS SOUS 209232 HAS SOUPS 207651 WITH SCORE 208393.238
AT ITER 5026 NEW BEST:: SOT 2032136 SOS 742409 HAS SOPS 707538 HAS SOUS 208974 HAS SOUPS 207393 WITH SCORE 208135.409
AT ITER 5033 NEW BEST:: SOT 2032148 SOS 742421 HAS SOPS 707550 HAS SOUS 208963 HAS SOUPS 207382 WITH SCORE 208124.421
AT ITER 5036 NEW BEST:: SOT 2032077 SOS 742333 HAS SOPS 707462 HAS SOUS 208848 HAS SOUPS 207267 WITH SCORE 208009.333
AT ITER 5040 NEW BEST:: SOT 2032045 SOS 742301 HAS SOPS 707430 HAS SOUS 208803 HAS SOUPS 207222 WITH SCORE 207964.301
AT ITER 5080 NEW BEST:: SOT 2031921 SOS 742177 HAS SOPS 707306 HAS SOUS 208519 HAS SOUPS 206938 WITH SCORE 207680.177
AT ITER 5082 NEW BEST:: SOT 2032390 SOS 738471 HAS SOPS 702838 HAS SOUS 208101 HAS SOUPS 206466 WITH SCORE 207204.471
AT ITER 5093 NEW BEST:: SOT 2032323 SOS 738404 HAS SOPS 702771 HAS SOUS 207967 HAS SOUPS 206332 WITH SCORE 207070.404
AT ITER 5094 NEW BEST:: SOT 2032513 SOS 738600 HAS SOPS 702967 HAS SOUS 207914 HAS SOUPS 206279 WITH SCORE 207017.6
AT ITER 5135 NEW BEST:: SOT 2032388 SOS 738485 HAS SOPS 702852 HAS SOUS 207828 HAS SOUPS 206193 WITH SCORE 206931.485
AT ITER 5150 NEW BEST:: SOT 2032344 SOS 738441 HAS SOPS 702808 HAS SOUS 207708 HAS SOUPS 206073 WITH SCORE 206811.441
AT ITER 5153 NEW BEST:: SOT 2032334 SOS 738426 HAS SOPS 702793 HAS SOUS 207688 HAS SOUPS 206053 WITH SCORE 206791.426
AT ITER 5154 NEW BEST:: SOT 2032202 SOS 738650 HAS SOPS 703088 HAS SOUS 207594 HAS SOUPS 205959 WITH SCORE 206697.65
AT ITER 5181 NEW BEST:: SOT 2032088 SOS 733938 HAS SOPS 698376 HAS SOUS 207442 HAS SOUPS 205807 WITH SCORE 206540.938
AT ITER 5199 NEW BEST:: SOT 2032041 SOS 733863 HAS SOPS 698301 HAS SOUS 207348 HAS SOUPS 205713 WITH SCORE 206446.863
AT ITER 5273 NEW BEST:: SOT 2032030 SOS 733852 HAS SOPS 698290 HAS SOUS 207337 HAS SOUPS 205702 WITH SCORE 206435.852
AT ITER 5314 NEW BEST:: SOT 2032010 SOS 733839 HAS SOPS 698277 HAS SOUS 207311 HAS SOUPS 205676 WITH SCORE 206409.839
AT ITER 5316 NEW BEST:: SOT 2031739 SOS 733438 HAS SOPS 697876 HAS SOUS 207093 HAS SOUPS 205458 WITH SCORE 206191.438
AT ITER 5343 NEW BEST:: SOT 2031702 SOS 733401 HAS SOPS 697829 HAS SOUS 207019 HAS SOUPS 205384 WITH SCORE 206117.401
AT ITER 5363 NEW BEST:: SOT 2031572 SOS 733194 HAS SOPS 697622 HAS SOUS 206899 HAS SOUPS 205264 WITH SCORE 205997.194
AT ITER 5364 NEW BEST:: SOT 2031638 SOS 733191 HAS SOPS 697619 HAS SOUS 206893 HAS SOUPS 205258 WITH SCORE 205991.191
AT ITER 5366 NEW BEST:: SOT 2031578 SOS 733125 HAS SOPS 697553 HAS SOUS 206842 HAS SOUPS 205207 WITH SCORE 205940.125
AT ITER 5411 NEW BEST:: SOT 2031044 SOS 732738 HAS SOPS 697166 HAS SOUS 206337 HAS SOUPS 204702 WITH SCORE 205434.738
AT ITER 5414 NEW BEST:: SOT 2030753 SOS 732742 HAS SOPS 697170 HAS SOUS 206021 HAS SOUPS 204386 WITH SCORE 205118.742
AT ITER 5448 NEW BEST:: SOT 2030752 SOS 732741 HAS SOPS 697169 HAS SOUS 206020 HAS SOUPS 204385 WITH SCORE 205117.741
AT ITER 5453 NEW BEST:: SOT 2030752 SOS 732741 HAS SOPS 697169 HAS SOUS 205999 HAS SOUPS 204364 WITH SCORE 205096.741
AT ITER 5535 NEW BEST:: SOT 2030724 SOS 732685 HAS SOPS 697113 HAS SOUS 205985 HAS SOUPS 204350 WITH SCORE 205082.685
AT ITER 5548 NEW BEST:: SOT 2031154 SOS 733191 HAS SOPS 697619 HAS SOUS 205916 HAS SOUPS 204281 WITH SCORE 205014.191
AT ITER 5571 NEW BEST:: SOT 2031042 SOS 733143 HAS SOPS 697571 HAS SOUS 205888 HAS SOUPS 204253 WITH SCORE 204986.143
AT ITER 5592 NEW BEST:: SOT 2031042 SOS 733168 HAS SOPS 697560 HAS SOUS 205877 HAS SOUPS 204242 WITH SCORE 204975.168
AT ITER 5601 NEW BEST:: SOT 2031042 SOS 733168 HAS SOPS 697560 HAS SOUS 205874 HAS SOUPS 204239 WITH SCORE 204972.168
AT ITER 5605 NEW BEST:: SOT 2031549 SOS 733744 HAS SOPS 698136 HAS SOUS 205718 HAS SOUPS 204083 WITH SCORE 204816.744
AT ITER 5621 NEW BEST:: SOT 2031305 SOS 733374 HAS SOPS 697766 HAS SOUS 205258 HAS SOUPS 203623 WITH SCORE 204356.374
AT ITER 5636 NEW BEST:: SOT 2026125 SOS 730299 HAS SOPS 694691 HAS SOUS 204876 HAS SOUPS 203241 WITH SCORE 203971.299
AT ITER 5661 NEW BEST:: SOT 2026137 SOS 730355 HAS SOPS 694747 HAS SOUS 204867 HAS SOUPS 203232 WITH SCORE 203962.355
AT ITER 5675 NEW BEST:: SOT 2026110 SOS 726666 HAS SOPS 694219 HAS SOUS 204759 HAS SOUPS 203151 WITH SCORE 203877.666
AT ITER 5699 NEW BEST:: SOT 2026006 SOS 726466 HAS SOPS 694019 HAS SOUS 204626 HAS SOUPS 203018 WITH SCORE 203744.466
AT ITER 5712 NEW BEST:: SOT 2025851 SOS 726038 HAS SOPS 693591 HAS SOUS 204431 HAS SOUPS 202823 WITH SCORE 203549.038
AT ITER 5729 NEW BEST:: SOT 2025851 SOS 722489 HAS SOPS 690042 HAS SOUS 204398 HAS SOUPS 202790 WITH SCORE 203512.489
AT ITER 5744 NEW BEST:: SOT 2025767 SOS 722405 HAS SOPS 689958 HAS SOUS 204062 HAS SOUPS 202454 WITH SCORE 203176.405
AT ITER 5759 NEW BEST:: SOT 2025755 SOS 722360 HAS SOPS 689913 HAS SOUS 204047 HAS SOUPS 202439 WITH SCORE 203161.36
AT ITER 5774 NEW BEST:: SOT 2025737 SOS 722342 HAS SOPS 689895 HAS SOUS 204029 HAS SOUPS 202421 WITH SCORE 203143.342
AT ITER 5797 NEW BEST:: SOT 2025677 SOS 722541 HAS SOPS 690233 HAS SOUS 203772 HAS SOUPS 202164 WITH SCORE 202886.541
AT ITER 5827 NEW BEST:: SOT 2025677 SOS 722537 HAS SOPS 690229 HAS SOUS 203772 HAS SOUPS 202164 WITH SCORE 202886.537
AT ITER 5847 NEW BEST:: SOT 2025245 SOS 722206 HAS SOPS 689898 HAS SOUS 203698 HAS SOUPS 202090 WITH SCORE 202812.206
AT ITER 5850 NEW BEST:: SOT 2024280 SOS 721341 HAS SOPS 689033 HAS SOUS 203051 HAS SOUPS 201443 WITH SCORE 202164.341
AT ITER 5868 NEW BEST:: SOT 2024266 SOS 721473 HAS SOPS 689165 HAS SOUS 202895 HAS SOUPS 201287 WITH SCORE 202008.473
AT ITER 5876 NEW BEST:: SOT 2024325 SOS 721674 HAS SOPS 689366 HAS SOUS 202763 HAS SOUPS 201155 WITH SCORE 201876.674
AT ITER 5916 NEW BEST:: SOT 2024334 SOS 721754 HAS SOPS 689446 HAS SOUS 202734 HAS SOUPS 201126 WITH SCORE 201847.754
AT ITER 5929 NEW BEST:: SOT 2024333 SOS 722553 HAS SOPS 689278 HAS SOUS 202610 HAS SOUPS 200935 WITH SCORE 201657.553
AT ITER 5968 NEW BEST:: SOT 2024278 SOS 722498 HAS SOPS 689223 HAS SOUS 202493 HAS SOUPS 200818 WITH SCORE 201540.498
AT ITER 5969 NEW BEST:: SOT 2024110 SOS 722423 HAS SOPS 689148 HAS SOUS 202134 HAS SOUPS 200459 WITH SCORE 201181.423
AT ITER 5979 NEW BEST:: SOT 2024208 SOS 722697 HAS SOPS 689422 HAS SOUS 201967 HAS SOUPS 200292 WITH SCORE 201014.697
AT ITER 5980 NEW BEST:: SOT 2024171 SOS 722603 HAS SOPS 689328 HAS SOUS 201930 HAS SOUPS 200255 WITH SCORE 200977.603
AT ITER 5984 NEW BEST:: SOT 2024295 SOS 722789 HAS SOPS 689514 HAS SOUS 201775 HAS SOUPS 200100 WITH SCORE 200822.789
AT ITER 5986 NEW BEST:: SOT 2024261 SOS 722784 HAS SOPS 689494 HAS SOUS 201755 HAS SOUPS 200080 WITH SCORE 200802.784
AT ITER 5997 NEW BEST:: SOT 2024064 SOS 722587 HAS SOPS 689297 HAS SOUS 201620 HAS SOUPS 199945 WITH SCORE 200667.587
AT ITER 6022 NEW BEST:: SOT 2024030 SOS 722519 HAS SOPS 689271 HAS SOUS 201594 HAS SOUPS 199919 WITH SCORE 200641.519
AT ITER 6033 NEW BEST:: SOT 2024030 SOS 722517 HAS SOPS 689269 HAS SOUS 201592 HAS SOUPS 199917 WITH SCORE 200639.517
AT ITER 6060 NEW BEST:: SOT 2023932 SOS 722419 HAS SOPS 689171 HAS SOUS 201554 HAS SOUPS 199879 WITH SCORE 200601.419
AT ITER 6071 NEW BEST:: SOT 2024025 SOS 703395 HAS SOPS 670147 HAS SOUS 200642 HAS SOUPS 198967 WITH SCORE 199670.395
AT ITER 6089 NEW BEST:: SOT 2024007 SOS 703377 HAS SOPS 670129 HAS SOUS 200606 HAS SOUPS 198931 WITH SCORE 199634.377
AT ITER 6110 NEW BEST:: SOT 2023984 SOS 703354 HAS SOPS 670106 HAS SOUS 200537 HAS SOUPS 198862 WITH SCORE 199565.354
AT ITER 6130 NEW BEST:: SOT 2023815 SOS 703185 HAS SOPS 669937 HAS SOUS 200128 HAS SOUPS 198453 WITH SCORE 199156.185
AT ITER 6140 NEW BEST:: SOT 2023949 SOS 703319 HAS SOPS 670021 HAS SOUS 200094 HAS SOUPS 198419 WITH SCORE 199122.319
AT ITER 6143 NEW BEST:: SOT 2023930 SOS 703262 HAS SOPS 669964 HAS SOUS 200075 HAS SOUPS 198400 WITH SCORE 199103.262
AT ITER 6158 NEW BEST:: SOT 2023922 SOS 703233 HAS SOPS 669935 HAS SOUS 200046 HAS SOUPS 198371 WITH SCORE 199074.233
AT ITER 6201 NEW BEST:: SOT 2023788 SOS 703031 HAS SOPS 669733 HAS SOUS 199951 HAS SOUPS 198276 WITH SCORE 198979.031
AT ITER 6207 NEW BEST:: SOT 2023760 SOS 703010 HAS SOPS 669712 HAS SOUS 199923 HAS SOUPS 198248 WITH SCORE 198951.01
AT ITER 6232 NEW BEST:: SOT 2023785 SOS 703282 HAS SOPS 669984 HAS SOUS 199721 HAS SOUPS 198046 WITH SCORE 198749.282
AT ITER 6240 NEW BEST:: SOT 2023762 SOS 703236 HAS SOPS 669938 HAS SOUS 199675 HAS SOUPS 198000 WITH SCORE 198703.236
AT ITER 6284 NEW BEST:: SOT 2023681 SOS 703169 HAS SOPS 669733 HAS SOUS 199462 HAS SOUPS 197787 WITH SCORE 198490.169
AT ITER 6295 NEW BEST:: SOT 2023736 SOS 703224 HAS SOPS 669788 HAS SOUS 199380 HAS SOUPS 197705 WITH SCORE 198408.224
AT ITER 6311 NEW BEST:: SOT 2023724 SOS 703212 HAS SOPS 669764 HAS SOUS 199356 HAS SOUPS 197681 WITH SCORE 198384.212
AT ITER 6330 NEW BEST:: SOT 2023672 SOS 703135 HAS SOPS 669687 HAS SOUS 199290 HAS SOUPS 197615 WITH SCORE 198318.135
AT ITER 6342 NEW BEST:: SOT 2023299 SOS 702472 HAS SOPS 669024 HAS SOUS 198751 HAS SOUPS 197076 WITH SCORE 197778.472
AT ITER 6369 NEW BEST:: SOT 2023283 SOS 702552 HAS SOPS 669104 HAS SOUS 198719 HAS SOUPS 197044 WITH SCORE 197746.552
AT ITER 6389 NEW BEST:: SOT 2022782 SOS 701820 HAS SOPS 668372 HAS SOUS 198604 HAS SOUPS 196929 WITH SCORE 197630.82
AT ITER 6395 NEW BEST:: SOT 2022739 SOS 701688 HAS SOPS 668333 HAS SOUS 198441 HAS SOUPS 196766 WITH SCORE 197467.688
AT ITER 6447 NEW BEST:: SOT 2022714 SOS 701638 HAS SOPS 668283 HAS SOUS 198391 HAS SOUPS 196716 WITH SCORE 197417.638
AT ITER 6485 NEW BEST:: SOT 2022691 SOS 701615 HAS SOPS 668263 HAS SOUS 198371 HAS SOUPS 196696 WITH SCORE 197397.615
AT ITER 6488 NEW BEST:: SOT 2022673 SOS 698737 HAS SOPS 665385 HAS SOUS 198270 HAS SOUPS 196595 WITH SCORE 197293.737
AT ITER 6490 NEW BEST:: SOT 2022673 SOS 698797 HAS SOPS 665445 HAS SOUS 198269 HAS SOUPS 196594 WITH SCORE 197292.797
AT ITER 6499 NEW BEST:: SOT 2022540 SOS 698560 HAS SOPS 665208 HAS SOUS 198159 HAS SOUPS 196484 WITH SCORE 197182.56
AT ITER 6502 NEW BEST:: SOT 2022540 SOS 698623 HAS SOPS 665271 HAS SOUS 198127 HAS SOUPS 196452 WITH SCORE 197150.623
AT ITER 6506 NEW BEST:: SOT 2022519 SOS 698595 HAS SOPS 665243 HAS SOUS 198099 HAS SOUPS 196424 WITH SCORE 197122.595
AT ITER 6512 NEW BEST:: SOT 2022488 SOS 698474 HAS SOPS 665122 HAS SOUS 198068 HAS SOUPS 196393 WITH SCORE 197091.474
AT ITER 6536 NEW BEST:: SOT 2022433 SOS 698419 HAS SOPS 665106 HAS SOUS 197880 HAS SOUPS 196205 WITH SCORE 196903.419
AT ITER 6537 NEW BEST:: SOT 2022414 SOS 698230 HAS SOPS 664917 HAS SOUS 197871 HAS SOUPS 196196 WITH SCORE 196894.23
AT ITER 6582 NEW BEST:: SOT 2022572 SOS 698454 HAS SOPS 665141 HAS SOUS 197543 HAS SOUPS 195868 WITH SCORE 196566.454
AT ITER 6602 NEW BEST:: SOT 2022540 SOS 698116 HAS SOPS 664820 HAS SOUS 197239 HAS SOUPS 195564 WITH SCORE 196262.116
AT ITER 6609 NEW BEST:: SOT 2022783 SOS 698220 HAS SOPS 664702 HAS SOUS 197250 HAS SOUPS 195513 WITH SCORE 196211.22
AT ITER 6617 NEW BEST:: SOT 2022780 SOS 698450 HAS SOPS 664932 HAS SOUS 197141 HAS SOUPS 195404 WITH SCORE 196102.45
AT ITER 6620 NEW BEST:: SOT 2022806 SOS 698476 HAS SOPS 664958 HAS SOUS 197127 HAS SOUPS 195390 WITH SCORE 196088.476
AT ITER 6638 NEW BEST:: SOT 2022788 SOS 698458 HAS SOPS 664974 HAS SOUS 197023 HAS SOUPS 195286 WITH SCORE 195984.458
AT ITER 6646 NEW BEST:: SOT 2022822 SOS 698511 HAS SOPS 665027 HAS SOUS 197015 HAS SOUPS 195278 WITH SCORE 195976.511
AT ITER 6651 NEW BEST:: SOT 2022822 SOS 698559 HAS SOPS 665075 HAS SOUS 196994 HAS SOUPS 195257 WITH SCORE 195955.559
AT ITER 6653 NEW BEST:: SOT 2022796 SOS 694100 HAS SOPS 660616 HAS SOUS 196942 HAS SOUPS 195205 WITH SCORE 195899.1
AT ITER 6655 NEW BEST:: SOT 2022787 SOS 694091 HAS SOPS 660607 HAS SOUS 196924 HAS SOUPS 195187 WITH SCORE 195881.091
AT ITER 6660 NEW BEST:: SOT 2022644 SOS 693812 HAS SOPS 660468 HAS SOUS 196884 HAS SOUPS 195147 WITH SCORE 195840.812
AT ITER 6662 NEW BEST:: SOT 2022337 SOS 693505 HAS SOPS 660161 HAS SOUS 196613 HAS SOUPS 194876 WITH SCORE 195569.505
AT ITER 6686 NEW BEST:: SOT 2022429 SOS 693481 HAS SOPS 660137 HAS SOUS 196558 HAS SOUPS 194821 WITH SCORE 195514.481
AT ITER 6691 NEW BEST:: SOT 2022222 SOS 693274 HAS SOPS 659930 HAS SOUS 196468 HAS SOUPS 194731 WITH SCORE 195424.274
AT ITER 6698 NEW BEST:: SOT 2022196 SOS 693213 HAS SOPS 659869 HAS SOUS 196381 HAS SOUPS 194644 WITH SCORE 195337.213
AT ITER 6707 NEW BEST:: SOT 2022267 SOS 693362 HAS SOPS 660018 HAS SOUS 196279 HAS SOUPS 194542 WITH SCORE 195235.362
AT ITER 6712 NEW BEST:: SOT 2022222 SOS 693317 HAS SOPS 659973 HAS SOUS 196225 HAS SOUPS 194488 WITH SCORE 195181.317
AT ITER 6715 NEW BEST:: SOT 2022216 SOS 693308 HAS SOPS 659964 HAS SOUS 196213 HAS SOUPS 194476 WITH SCORE 195169.308
AT ITER 6719 NEW BEST:: SOT 2022209 SOS 693301 HAS SOPS 659950 HAS SOUS 196213 HAS SOUPS 194476 WITH SCORE 195169.301
AT ITER 6721 NEW BEST:: SOT 2022089 SOS 692997 HAS SOPS 659646 HAS SOUS 196155 HAS SOUPS 194418 WITH SCORE 195110.997
AT ITER 6732 NEW BEST:: SOT 2022087 SOS 692993 HAS SOPS 659642 HAS SOUS 196151 HAS SOUPS 194414 WITH SCORE 195106.993
AT ITER 6760 NEW BEST:: SOT 2021790 SOS 692554 HAS SOPS 659203 HAS SOUS 196003 HAS SOUPS 194266 WITH SCORE 194958.554
AT ITER 6765 NEW BEST:: SOT 2021769 SOS 692533 HAS SOPS 659182 HAS SOUS 195938 HAS SOUPS 194201 WITH SCORE 194893.533
AT ITER 6775 NEW BEST:: SOT 2021771 SOS 692357 HAS SOPS 659006 HAS SOUS 195924 HAS SOUPS 194187 WITH SCORE 194879.357
AT ITER 6776 NEW BEST:: SOT 2021799 SOS 692682 HAS SOPS 659331 HAS SOUS 195864 HAS SOUPS 194127 WITH SCORE 194819.682
AT ITER 6783 NEW BEST:: SOT 2020978 SOS 691861 HAS SOPS 658510 HAS SOUS 195763 HAS SOUPS 194026 WITH SCORE 194717.861
AT ITER 6793 NEW BEST:: SOT 2020923 SOS 691775 HAS SOPS 658424 HAS SOUS 195631 HAS SOUPS 193894 WITH SCORE 194585.775
AT ITER 6845 NEW BEST:: SOT 2020867 SOS 691750 HAS SOPS 658337 HAS SOUS 195531 HAS SOUPS 193794 WITH SCORE 194485.75
AT ITER 6855 NEW BEST:: SOT 2017204 SOS 688087 HAS SOPS 654674 HAS SOUS 194745 HAS SOUPS 193008 WITH SCORE 193696.087
AT ITER 6875 NEW BEST:: SOT 2017183 SOS 688045 HAS SOPS 654632 HAS SOUS 194703 HAS SOUPS 192966 WITH SCORE 193654.045
AT ITER 6893 NEW BEST:: SOT 2017087 SOS 687970 HAS SOPS 654557 HAS SOUS 194643 HAS SOUPS 192906 WITH SCORE 193593.97
AT ITER 6910 NEW BEST:: SOT 2017174 SOS 687990 HAS SOPS 654577 HAS SOUS 194577 HAS SOUPS 192840 WITH SCORE 193527.99
AT ITER 6948 NEW BEST:: SOT 2017170 SOS 688142 HAS SOPS 654729 HAS SOUS 194494 HAS SOUPS 192757 WITH SCORE 193445.142
AT ITER 6966 NEW BEST:: SOT 2017083 SOS 688055 HAS SOPS 654642 HAS SOUS 194398 HAS SOUPS 192661 WITH SCORE 193349.055
AT ITER 6987 NEW BEST:: SOT 2017123 SOS 688095 HAS SOPS 654621 HAS SOUS 194345 HAS SOUPS 192608 WITH SCORE 193296.095
AT ITER 6996 NEW BEST:: SOT 2017096 SOS 688057 HAS SOPS 654567 HAS SOUS 194310 HAS SOUPS 192565 WITH SCORE 193253.057
AT ITER 7002 NEW BEST:: SOT 2016966 SOS 687965 HAS SOPS 654475 HAS SOUS 194241 HAS SOUPS 192496 WITH SCORE 193183.965
AT ITER 7003 NEW BEST:: SOT 2017138 SOS 688176 HAS SOPS 655046 HAS SOUS 194227 HAS SOUPS 192482 WITH SCORE 193170.176
AT ITER 7022 NEW BEST:: SOT 2017116 SOS 688110 HAS SOPS 654980 HAS SOUS 194183 HAS SOUPS 192438 WITH SCORE 193126.11
AT ITER 7034 NEW BEST:: SOT 2017043 SOS 688064 HAS SOPS 654934 HAS SOUS 194170 HAS SOUPS 192425 WITH SCORE 193113.064
AT ITER 7036 NEW BEST:: SOT 2017047 SOS 688061 HAS SOPS 654931 HAS SOUS 194043 HAS SOUPS 192298 WITH SCORE 192986.061
AT ITER 7044 NEW BEST:: SOT 2017047 SOS 687734 HAS SOPS 654604 HAS SOUS 194043 HAS SOUPS 192298 WITH SCORE 192985.734
AT ITER 7050 NEW BEST:: SOT 2017001 SOS 687688 HAS SOPS 654558 HAS SOUS 193948 HAS SOUPS 192203 WITH SCORE 192890.688
AT ITER 7054 NEW BEST:: SOT 2017044 SOS 687688 HAS SOPS 654558 HAS SOUS 193905 HAS SOUPS 192160 WITH SCORE 192847.688
AT ITER 7067 NEW BEST:: SOT 2017094 SOS 687738 HAS SOPS 654608 HAS SOUS 193876 HAS SOUPS 192131 WITH SCORE 192818.738
AT ITER 7072 NEW BEST:: SOT 2017092 SOS 687736 HAS SOPS 654606 HAS SOUS 193855 HAS SOUPS 192110 WITH SCORE 192797.736
AT ITER 7115 NEW BEST:: SOT 2017092 SOS 687538 HAS SOPS 654408 HAS SOUS 193837 HAS SOUPS 192092 WITH SCORE 192779.538
AT ITER 7123 NEW BEST:: SOT 2016904 SOS 686234 HAS SOPS 653104 HAS SOUS 193572 HAS SOUPS 191827 WITH SCORE 192513.234
AT ITER 7125 NEW BEST:: SOT 2016892 SOS 686210 HAS SOPS 653080 HAS SOUS 193548 HAS SOUPS 191803 WITH SCORE 192489.21
AT ITER 7133 NEW BEST:: SOT 2016784 SOS 683033 HAS SOPS 649903 HAS SOUS 193431 HAS SOUPS 191686 WITH SCORE 192369.033
AT ITER 7178 NEW BEST:: SOT 2016810 SOS 683209 HAS SOPS 650079 HAS SOUS 193333 HAS SOUPS 191588 WITH SCORE 192271.209
AT ITER 7182 NEW BEST:: SOT 2016770 SOS 682867 HAS SOPS 649737 HAS SOUS 193212 HAS SOUPS 191467 WITH SCORE 192149.867
AT ITER 7188 NEW BEST:: SOT 2016715 SOS 682812 HAS SOPS 649682 HAS SOUS 193134 HAS SOUPS 191389 WITH SCORE 192071.812
AT ITER 7235 NEW BEST:: SOT 2016715 SOS 683163 HAS SOPS 650033 HAS SOUS 193090 HAS SOUPS 191345 WITH SCORE 192028.163
AT ITER 7241 NEW BEST:: SOT 2016693 SOS 683130 HAS SOPS 650000 HAS SOUS 193057 HAS SOUPS 191312 WITH SCORE 191995.13
AT ITER 7249 NEW BEST:: SOT 2016690 SOS 683127 HAS SOPS 649997 HAS SOUS 193051 HAS SOUPS 191306 WITH SCORE 191989.127
AT ITER 7255 NEW BEST:: SOT 2016525 SOS 694502 HAS SOPS 661372 HAS SOUS 192984 HAS SOUPS 191239 WITH SCORE 191933.502
AT ITER 7263 NEW BEST:: SOT 2016525 SOS 694502 HAS SOPS 661372 HAS SOUS 192877 HAS SOUPS 191132 WITH SCORE 191826.502
AT ITER 7277 NEW BEST:: SOT 2016465 SOS 692861 HAS SOPS 661096 HAS SOUS 192766 HAS SOUPS 191033 WITH SCORE 191725.861
AT ITER 7286 NEW BEST:: SOT 2016464 SOS 692860 HAS SOPS 661095 HAS SOUS 192764 HAS SOUPS 191031 WITH SCORE 191723.86
AT ITER 7312 NEW BEST:: SOT 2016277 SOS 692709 HAS SOPS 660944 HAS SOUS 192523 HAS SOUPS 190790 WITH SCORE 191482.709
AT ITER 7395 NEW BEST:: SOT 2016071 SOS 692503 HAS SOPS 660738 HAS SOUS 192122 HAS SOUPS 190389 WITH SCORE 191081.503
AT ITER 7423 NEW BEST:: SOT 2015962 SOS 692394 HAS SOPS 660629 HAS SOUS 192091 HAS SOUPS 190358 WITH SCORE 191050.394
AT ITER 7462 NEW BEST:: SOT 2015685 SOS 691954 HAS SOPS 660189 HAS SOUS 191726 HAS SOUPS 189993 WITH SCORE 190684.954
AT ITER 7492 NEW BEST:: SOT 2015695 SOS 684299 HAS SOPS 652534 HAS SOUS 191641 HAS SOUPS 189908 WITH SCORE 190592.299
AT ITER 7543 NEW BEST:: SOT 2015671 SOS 684275 HAS SOPS 652510 HAS SOUS 191541 HAS SOUPS 189808 WITH SCORE 190492.275
AT ITER 7578 NEW BEST:: SOT 2015653 SOS 684239 HAS SOPS 652474 HAS SOUS 191487 HAS SOUPS 189754 WITH SCORE 190438.239
AT ITER 7591 NEW BEST:: SOT 2015712 SOS 684298 HAS SOPS 652529 HAS SOUS 191479 HAS SOUPS 189746 WITH SCORE 190430.298
AT ITER 7593 NEW BEST:: SOT 2015712 SOS 684279 HAS SOPS 652510 HAS SOUS 191460 HAS SOUPS 189727 WITH SCORE 190411.279
AT ITER 7603 NEW BEST:: SOT 2015744 SOS 684278 HAS SOPS 652509 HAS SOUS 191459 HAS SOUPS 189726 WITH SCORE 190410.278
AT ITER 7611 NEW BEST:: SOT 2015711 SOS 684205 HAS SOPS 652436 HAS SOUS 191393 HAS SOUPS 189660 WITH SCORE 190344.205
AT ITER 7612 NEW BEST:: SOT 2015624 SOS 684118 HAS SOPS 652349 HAS SOUS 191228 HAS SOUPS 189495 WITH SCORE 190179.118
AT ITER 7621 NEW BEST:: SOT 2015629 SOS 684035 HAS SOPS 652266 HAS SOUS 191225 HAS SOUPS 189492 WITH SCORE 190176.035
AT ITER 7627 NEW BEST:: SOT 2015615 SOS 684078 HAS SOPS 652309 HAS SOUS 191197 HAS SOUPS 189464 WITH SCORE 190148.078
AT ITER 7644 NEW BEST:: SOT 2015606 SOS 684059 HAS SOPS 652283 HAS SOUS 191180 HAS SOUPS 189447 WITH SCORE 190131.059
AT ITER 7647 NEW BEST:: SOT 2015602 SOS 684059 HAS SOPS 652283 HAS SOUS 191176 HAS SOUPS 189443 WITH SCORE 190127.059
AT ITER 7657 NEW BEST:: SOT 2009204 SOS 677604 HAS SOPS 645828 HAS SOUS 189840 HAS SOUPS 188107 WITH SCORE 188784.604
AT ITER 7667 NEW BEST:: SOT 2009117 SOS 677517 HAS SOPS 645741 HAS SOUS 189666 HAS SOUPS 187933 WITH SCORE 188610.517
AT ITER 7677 NEW BEST:: SOT 2009011 SOS 677411 HAS SOPS 645635 HAS SOUS 189441 HAS SOUPS 187708 WITH SCORE 188385.411
AT ITER 7688 NEW BEST:: SOT 2009011 SOS 677408 HAS SOPS 645635 HAS SOUS 189438 HAS SOUPS 187705 WITH SCORE 188382.408
AT ITER 7695 NEW BEST:: SOT 2008988 SOS 677385 HAS SOPS 645612 HAS SOUS 189415 HAS SOUPS 187682 WITH SCORE 188359.385
AT ITER 7702 NEW BEST:: SOT 2008900 SOS 677318 HAS SOPS 645545 HAS SOUS 189224 HAS SOUPS 187491 WITH SCORE 188168.318
AT ITER 7708 NEW BEST:: SOT 2008874 SOS 677266 HAS SOPS 645493 HAS SOUS 189172 HAS SOUPS 187439 WITH SCORE 188116.266
AT ITER 7726 NEW BEST:: SOT 2008836 SOS 677206 HAS SOPS 645433 HAS SOUS 189096 HAS SOUPS 187363 WITH SCORE 188040.206
AT ITER 7736 NEW BEST:: SOT 2008664 SOS 676866 HAS SOPS 645093 HAS SOUS 189037 HAS SOUPS 187304 WITH SCORE 187980.866
AT ITER 7741 NEW BEST:: SOT 2008427 SOS 676629 HAS SOPS 644856 HAS SOUS 188800 HAS SOUPS 187067 WITH SCORE 187743.629
AT ITER 7747 NEW BEST:: SOT 2010574 SOS 678875 HAS SOPS 647102 HAS SOUS 188677 HAS SOUPS 186944 WITH SCORE 187622.875
AT ITER 7753 NEW BEST:: SOT 2010298 SOS 678519 HAS SOPS 646746 HAS SOUS 188399 HAS SOUPS 186666 WITH SCORE 187344.519
AT ITER 7755 NEW BEST:: SOT 2010238 SOS 678399 HAS SOPS 646626 HAS SOUS 188279 HAS SOUPS 186546 WITH SCORE 187224.399
AT ITER 7809 NEW BEST:: SOT 2010232 SOS 678385 HAS SOPS 646612 HAS SOUS 188267 HAS SOUPS 186534 WITH SCORE 187212.385
AT ITER 7813 NEW BEST:: SOT 2010120 SOS 678273 HAS SOPS 646500 HAS SOUS 188159 HAS SOUPS 186426 WITH SCORE 187104.273
AT ITER 7817 NEW BEST:: SOT 2010097 SOS 678250 HAS SOPS 646454 HAS SOUS 188113 HAS SOUPS 186380 WITH SCORE 187058.25
AT ITER 7824 NEW BEST:: SOT 2010111 SOS 678488 HAS SOPS 646692 HAS SOUS 188111 HAS SOUPS 186378 WITH SCORE 187056.488
AT ITER 7835 NEW BEST:: SOT 2010038 SOS 678269 HAS SOPS 646473 HAS SOUS 188038 HAS SOUPS 186305 WITH SCORE 186983.269
AT ITER 7837 NEW BEST:: SOT 2010027 SOS 678258 HAS SOPS 646462 HAS SOUS 188027 HAS SOUPS 186294 WITH SCORE 186972.258
AT ITER 7839 NEW BEST:: SOT 2010027 SOS 678240 HAS SOPS 646444 HAS SOUS 188027 HAS SOUPS 186294 WITH SCORE 186972.24
AT ITER 7855 NEW BEST:: SOT 2009843 SOS 677836 HAS SOPS 646262 HAS SOUS 188026 HAS SOUPS 186293 WITH SCORE 186970.836
AT ITER 7884 NEW BEST:: SOT 2009843 SOS 677646 HAS SOPS 646091 HAS SOUS 188026 HAS SOUPS 186293 WITH SCORE 186970.646
AT ITER 7918 NEW BEST:: SOT 2009823 SOS 677626 HAS SOPS 646071 HAS SOUS 187998 HAS SOUPS 186265 WITH SCORE 186942.626
AT ITER 7999 NEW BEST:: SOT 2009648 SOS 677392 HAS SOPS 645854 HAS SOUS 187705 HAS SOUPS 185989 WITH SCORE 186666.392
AT ITER 8022 NEW BEST:: SOT 2009596 SOS 677288 HAS SOPS 645750 HAS SOUS 187601 HAS SOUPS 185885 WITH SCORE 186562.288
AT ITER 8023 NEW BEST:: SOT 2009271 SOS 676920 HAS SOPS 645382 HAS SOUS 187497 HAS SOUPS 185781 WITH SCORE 186457.92
AT ITER 8053 NEW BEST:: SOT 2009248 SOS 676573 HAS SOPS 645064 HAS SOUS 187457 HAS SOUPS 185741 WITH SCORE 186417.573
AT ITER 8085 NEW BEST:: SOT 2009181 SOS 676506 HAS SOPS 644997 HAS SOUS 187389 HAS SOUPS 185673 WITH SCORE 186349.506
AT ITER 8086 NEW BEST:: SOT 2009181 SOS 676448 HAS SOPS 644910 HAS SOUS 187331 HAS SOUPS 185615 WITH SCORE 186291.448
AT ITER 8092 NEW BEST:: SOT 2009054 SOS 676321 HAS SOPS 644806 HAS SOUS 187249 HAS SOUPS 185533 WITH SCORE 186209.321
AT ITER 8095 NEW BEST:: SOT 2009100 SOS 676197 HAS SOPS 644560 HAS SOUS 187258 HAS SOUPS 185509 WITH SCORE 186185.197
AT ITER 8158 NEW BEST:: SOT 2009209 SOS 676581 HAS SOPS 644944 HAS SOUS 187216 HAS SOUPS 185467 WITH SCORE 186143.581
AT ITER 8176 NEW BEST:: SOT 2009019 SOS 676647 HAS SOPS 645010 HAS SOUS 187089 HAS SOUPS 185340 WITH SCORE 186016.647
AT ITER 8180 NEW BEST:: SOT 2009019 SOS 676347 HAS SOPS 644710 HAS SOUS 187039 HAS SOUPS 185290 WITH SCORE 185966.347
AT ITER 8267 NEW BEST:: SOT 2008977 SOS 676207 HAS SOPS 644570 HAS SOUS 186955 HAS SOUPS 185206 WITH SCORE 185882.207
AT ITER 8283 NEW BEST:: SOT 2008950 SOS 676153 HAS SOPS 644516 HAS SOUS 186918 HAS SOUPS 185169 WITH SCORE 185845.153
AT ITER 8301 NEW BEST:: SOT 2008906 SOS 676131 HAS SOPS 644494 HAS SOUS 186852 HAS SOUPS 185103 WITH SCORE 185779.131
AT ITER 8333 NEW BEST:: SOT 2008906 SOS 676078 HAS SOPS 644441 HAS SOUS 186799 HAS SOUPS 185050 WITH SCORE 185726.078
AT ITER 8402 NEW BEST:: SOT 2008830 SOS 676058 HAS SOPS 644421 HAS SOUS 186751 HAS SOUPS 185002 WITH SCORE 185678.058
AT ITER 8409 NEW BEST:: SOT 2008790 SOS 676018 HAS SOPS 644363 HAS SOUS 186699 HAS SOUPS 184950 WITH SCORE 185626.018
AT ITER 8425 NEW BEST:: SOT 2008786 SOS 676014 HAS SOPS 644359 HAS SOUS 186681 HAS SOUPS 184932 WITH SCORE 185608.014
AT ITER 8439 NEW BEST:: SOT 2008566 SOS 675684 HAS SOPS 644029 HAS SOUS 186681 HAS SOUPS 184932 WITH SCORE 185607.684
AT ITER 8448 NEW BEST:: SOT 2008622 SOS 675740 HAS SOPS 643946 HAS SOUS 186580 HAS SOUPS 184831 WITH SCORE 185506.74
AT ITER 8474 NEW BEST:: SOT 2008539 SOS 674614 HAS SOPS 642820 HAS SOUS 186310 HAS SOUPS 184561 WITH SCORE 185235.614
AT ITER 8476 NEW BEST:: SOT 2008487 SOS 674302 HAS SOPS 642508 HAS SOUS 186232 HAS SOUPS 184483 WITH SCORE 185157.302
AT ITER 8489 NEW BEST:: SOT 2008473 SOS 674305 HAS SOPS 642511 HAS SOUS 186221 HAS SOUPS 184472 WITH SCORE 185146.305
AT ITER 8492 NEW BEST:: SOT 2008473 SOS 674516 HAS SOPS 642722 HAS SOUS 186133 HAS SOUPS 184384 WITH SCORE 185058.516
AT ITER 8497 NEW BEST:: SOT 2008520 SOS 674517 HAS SOPS 642684 HAS SOUS 186095 HAS SOUPS 184346 WITH SCORE 185020.517
AT ITER 8508 NEW BEST:: SOT 2008473 SOS 675083 HAS SOPS 643250 HAS SOUS 185982 HAS SOUPS 184233 WITH SCORE 184908.083
AT ITER 8522 NEW BEST:: SOT 2008473 SOS 674971 HAS SOPS 643138 HAS SOUS 185982 HAS SOUPS 184233 WITH SCORE 184907.971
AT ITER 8523 NEW BEST:: SOT 2008463 SOS 674961 HAS SOPS 643128 HAS SOUS 185962 HAS SOUPS 184213 WITH SCORE 184887.961
AT ITER 8524 NEW BEST:: SOT 2008463 SOS 674981 HAS SOPS 643148 HAS SOUS 185946 HAS SOUPS 184197 WITH SCORE 184871.981
AT ITER 8526 NEW BEST:: SOT 2008346 SOS 674864 HAS SOPS 643031 HAS SOUS 185855 HAS SOUPS 184106 WITH SCORE 184780.864
AT ITER 8545 NEW BEST:: SOT 2008378 SOS 674512 HAS SOPS 642679 HAS SOUS 185823 HAS SOUPS 184074 WITH SCORE 184748.512
AT ITER 8558 NEW BEST:: SOT 2008296 SOS 674376 HAS SOPS 642391 HAS SOUS 185628 HAS SOUPS 183879 WITH SCORE 184553.376
AT ITER 8591 NEW BEST:: SOT 2008328 SOS 674130 HAS SOPS 642145 HAS SOUS 185622 HAS SOUPS 183873 WITH SCORE 184547.13
AT ITER 8623 NEW BEST:: SOT 2008314 SOS 674102 HAS SOPS 642117 HAS SOUS 185580 HAS SOUPS 183831 WITH SCORE 184505.102
AT ITER 8654 NEW BEST:: SOT 2008314 SOS 674102 HAS SOPS 642103 HAS SOUS 185554 HAS SOUPS 183805 WITH SCORE 184479.102
AT ITER 8673 NEW BEST:: SOT 2008314 SOS 674301 HAS SOPS 642302 HAS SOUS 185257 HAS SOUPS 183508 WITH SCORE 184182.301
AT ITER 8683 NEW BEST:: SOT 2008185 SOS 674108 HAS SOPS 642109 HAS SOUS 185064 HAS SOUPS 183315 WITH SCORE 183989.108
AT ITER 8725 NEW BEST:: SOT 2008307 SOS 674208 HAS SOPS 642209 HAS SOUS 185018 HAS SOUPS 183269 WITH SCORE 183943.208
AT ITER 8790 NEW BEST:: SOT 2008296 SOS 674186 HAS SOPS 642198 HAS SOUS 185018 HAS SOUPS 183269 WITH SCORE 183943.186
AT ITER 8791 NEW BEST:: SOT 2008311 SOS 674201 HAS SOPS 642213 HAS SOUS 185016 HAS SOUPS 183267 WITH SCORE 183941.201
AT ITER 8804 NEW BEST:: SOT 2008306 SOS 674191 HAS SOPS 642208 HAS SOUS 185016 HAS SOUPS 183267 WITH SCORE 183941.191
AT ITER 8814 NEW BEST:: SOT 2008289 SOS 674157 HAS SOPS 642174 HAS SOUS 184982 HAS SOUPS 183233 WITH SCORE 183907.157
AT ITER 8828 NEW BEST:: SOT 2008233 SOS 674055 HAS SOPS 642072 HAS SOUS 184880 HAS SOUPS 183131 WITH SCORE 183805.055
AT ITER 8834 NEW BEST:: SOT 2008109 SOS 674015 HAS SOPS 642032 HAS SOUS 184733 HAS SOUPS 182984 WITH SCORE 183658.015
AT ITER 8847 NEW BEST:: SOT 2008165 SOS 674071 HAS SOPS 642038 HAS SOUS 184707 HAS SOUPS 182958 WITH SCORE 183632.071
AT ITER 8863 NEW BEST:: SOT 2008151 SOS 674051 HAS SOPS 642018 HAS SOUS 184679 HAS SOUPS 182930 WITH SCORE 183604.051
AT ITER 8875 NEW BEST:: SOT 2008149 SOS 674047 HAS SOPS 642014 HAS SOUS 184675 HAS SOUPS 182926 WITH SCORE 183600.047
AT ITER 8876 NEW BEST:: SOT 2008199 SOS 674097 HAS SOPS 642064 HAS SOUS 184669 HAS SOUPS 182920 WITH SCORE 183594.097
AT ITER 8882 NEW BEST:: SOT 2008160 SOS 674058 HAS SOPS 642025 HAS SOUS 184591 HAS SOUPS 182842 WITH SCORE 183516.058
AT ITER 8889 NEW BEST:: SOT 2008152 SOS 674050 HAS SOPS 642017 HAS SOUS 184575 HAS SOUPS 182826 WITH SCORE 183500.05
AT ITER 8904 NEW BEST:: SOT 2008187 SOS 673469 HAS SOPS 641436 HAS SOUS 184554 HAS SOUPS 182805 WITH SCORE 183478.469
AT ITER 8907 NEW BEST:: SOT 2008129 SOS 673440 HAS SOPS 641407 HAS SOUS 184502 HAS SOUPS 182753 WITH SCORE 183426.44
AT ITER 8927 NEW BEST:: SOT 2008144 SOS 672105 HAS SOPS 640072 HAS SOUS 184382 HAS SOUPS 182633 WITH SCORE 183305.105
AT ITER 8972 NEW BEST:: SOT 2008003 SOS 671776 HAS SOPS 639743 HAS SOUS 184194 HAS SOUPS 182445 WITH SCORE 183116.776
AT ITER 8987 NEW BEST:: SOT 2008000 SOS 671770 HAS SOPS 639737 HAS SOUS 184182 HAS SOUPS 182433 WITH SCORE 183104.77
AT ITER 9011 NEW BEST:: SOT 2008000 SOS 671590 HAS SOPS 639557 HAS SOUS 184110 HAS SOUPS 182361 WITH SCORE 183032.59
AT ITER 9051 NEW BEST:: SOT 2007876 SOS 671399 HAS SOPS 639366 HAS SOUS 184011 HAS SOUPS 182262 WITH SCORE 182933.399
AT ITER 9057 NEW BEST:: SOT 2007876 SOS 671403 HAS SOPS 639370 HAS SOUS 184009 HAS SOUPS 182260 WITH SCORE 182931.403
AT ITER 9074 NEW BEST:: SOT 2008010 SOS 671413 HAS SOPS 639380 HAS SOUS 183933 HAS SOUPS 182184 WITH SCORE 182855.413
AT ITER 9134 NEW BEST:: SOT 2007909 SOS 671211 HAS SOPS 639178 HAS SOUS 183731 HAS SOUPS 181982 WITH SCORE 182653.211
AT ITER 9140 NEW BEST:: SOT 2007037 SOS 670339 HAS SOPS 638306 HAS SOUS 183583 HAS SOUPS 181834 WITH SCORE 182504.339
AT ITER 9142 NEW BEST:: SOT 2007012 SOS 670289 HAS SOPS 638256 HAS SOUS 183533 HAS SOUPS 181784 WITH SCORE 182454.289
AT ITER 9202 NEW BEST:: SOT 2006870 SOS 669911 HAS SOPS 637974 HAS SOUS 183476 HAS SOUPS 181727 WITH SCORE 182396.911
AT ITER 9217 NEW BEST:: SOT 2006854 SOS 669895 HAS SOPS 637961 HAS SOUS 183463 HAS SOUPS 181714 WITH SCORE 182383.895
AT ITER 9225 NEW BEST:: SOT 2006721 SOS 669786 HAS SOPS 637852 HAS SOUS 183392 HAS SOUPS 181643 WITH SCORE 182312.786
AT ITER 9233 NEW BEST:: SOT 2006759 SOS 669824 HAS SOPS 637871 HAS SOUS 183362 HAS SOUPS 181613 WITH SCORE 182282.824
AT ITER 9237 NEW BEST:: SOT 2006720 SOS 669785 HAS SOPS 637848 HAS SOUS 183341 HAS SOUPS 181611 WITH SCORE 182280.785
AT ITER 9238 NEW BEST:: SOT 2006493 SOS 669623 HAS SOPS 637686 HAS SOUS 183003 HAS SOUPS 181273 WITH SCORE 181942.623
AT ITER 9256 NEW BEST:: SOT 2006488 SOS 669618 HAS SOPS 637676 HAS SOUS 182993 HAS SOUPS 181263 WITH SCORE 181932.618
AT ITER 9268 NEW BEST:: SOT 2006483 SOS 669599 HAS SOPS 637657 HAS SOUS 182983 HAS SOUPS 181253 WITH SCORE 181922.599
AT ITER 9288 NEW BEST:: SOT 2006469 SOS 669573 HAS SOPS 637631 HAS SOUS 182955 HAS SOUPS 181225 WITH SCORE 181894.573
AT ITER 9315 NEW BEST:: SOT 2006352 SOS 669508 HAS SOPS 637566 HAS SOUS 182773 HAS SOUPS 181043 WITH SCORE 181712.508
AT ITER 9320 NEW BEST:: SOT 2005159 SOS 696880 HAS SOPS 664938 HAS SOUS 182686 HAS SOUPS 180956 WITH SCORE 181652.88
AT ITER 9329 NEW BEST:: SOT 2005159 SOS 696877 HAS SOPS 664935 HAS SOUS 182683 HAS SOUPS 180953 WITH SCORE 181649.877
AT ITER 9331 NEW BEST:: SOT 2005278 SOS 696716 HAS SOPS 662948 HAS SOUS 182600 HAS SOUPS 180903 WITH SCORE 181599.716
AT ITER 9382 NEW BEST:: SOT 2005278 SOS 700353 HAS SOPS 666585 HAS SOUS 182506 HAS SOUPS 180809 WITH SCORE 181509.353
AT ITER 9387 NEW BEST:: SOT 2005201 SOS 699762 HAS SOPS 665994 HAS SOUS 182404 HAS SOUPS 180707 WITH SCORE 181406.762
AT ITER 9389 NEW BEST:: SOT 2005205 SOS 699766 HAS SOPS 665998 HAS SOUS 182389 HAS SOUPS 180692 WITH SCORE 181391.766
AT ITER 9390 NEW BEST:: SOT 2005227 SOS 699452 HAS SOPS 665926 HAS SOUS 182308 HAS SOUPS 180611 WITH SCORE 181310.452
AT ITER 9391 NEW BEST:: SOT 2005222 SOS 699447 HAS SOPS 665855 HAS SOUS 182271 HAS SOUPS 180574 WITH SCORE 181273.447
AT ITER 9427 NEW BEST:: SOT 2005138 SOS 699363 HAS SOPS 665771 HAS SOUS 182166 HAS SOUPS 180469 WITH SCORE 181168.363
AT ITER 9440 NEW BEST:: SOT 2005163 SOS 699341 HAS SOPS 665749 HAS SOUS 182163 HAS SOUPS 180466 WITH SCORE 181165.341
AT ITER 9447 NEW BEST:: SOT 2005085 SOS 699263 HAS SOPS 665671 HAS SOUS 182085 HAS SOUPS 180388 WITH SCORE 181087.263
AT ITER 9466 NEW BEST:: SOT 2005111 SOS 699210 HAS SOPS 665618 HAS SOUS 181996 HAS SOUPS 180299 WITH SCORE 180998.21
AT ITER 9472 NEW BEST:: SOT 2005033 SOS 685492 HAS SOPS 651900 HAS SOUS 181925 HAS SOUPS 180228 WITH SCORE 180913.492
AT ITER 9486 NEW BEST:: SOT 2005033 SOS 685474 HAS SOPS 651882 HAS SOUS 181910 HAS SOUPS 180213 WITH SCORE 180898.474
AT ITER 9503 NEW BEST:: SOT 2005030 SOS 685468 HAS SOPS 651876 HAS SOUS 181904 HAS SOUPS 180207 WITH SCORE 180892.468
AT ITER 9508 NEW BEST:: SOT 2004967 SOS 685405 HAS SOPS 651813 HAS SOUS 181809 HAS SOUPS 180112 WITH SCORE 180797.405
AT ITER 9529 NEW BEST:: SOT 2004973 SOS 685411 HAS SOPS 651836 HAS SOUS 181789 HAS SOUPS 180092 WITH SCORE 180777.411
AT ITER 9538 NEW BEST:: SOT 2004970 SOS 685408 HAS SOPS 651830 HAS SOUS 181783 HAS SOUPS 180086 WITH SCORE 180771.408
AT ITER 9556 NEW BEST:: SOT 2005018 SOS 685577 HAS SOPS 651999 HAS SOUS 181717 HAS SOUPS 180020 WITH SCORE 180705.577
AT ITER 9565 NEW BEST:: SOT 2005039 SOS 685450 HAS SOPS 651904 HAS SOUS 181684 HAS SOUPS 179987 WITH SCORE 180672.45
AT ITER 9603 NEW BEST:: SOT 2005092 SOS 685503 HAS SOPS 651935 HAS SOUS 181665 HAS SOUPS 179968 WITH SCORE 180653.503
AT ITER 9606 NEW BEST:: SOT 2005086 SOS 685495 HAS SOPS 651927 HAS SOUS 181661 HAS SOUPS 179964 WITH SCORE 180649.495
AT ITER 9615 NEW BEST:: SOT 2005046 SOS 685455 HAS SOPS 651887 HAS SOUS 181621 HAS SOUPS 179924 WITH SCORE 180609.455
AT ITER 9624 NEW BEST:: SOT 2005046 SOS 685465 HAS SOPS 651863 HAS SOUS 181609 HAS SOUPS 179912 WITH SCORE 180597.465
AT ITER 9637 NEW BEST:: SOT 2004933 SOS 685387 HAS SOPS 651785 HAS SOUS 181505 HAS SOUPS 179808 WITH SCORE 180493.387
AT ITER 9640 NEW BEST:: SOT 2005054 SOS 685596 HAS SOPS 651994 HAS SOUS 181478 HAS SOUPS 179781 WITH SCORE 180466.596
AT ITER 9655 NEW BEST:: SOT 2005176 SOS 685142 HAS SOPS 651540 HAS SOUS 181410 HAS SOUPS 179713 WITH SCORE 180398.142
AT ITER 9656 NEW BEST:: SOT 2005144 SOS 685110 HAS SOPS 651577 HAS SOUS 181127 HAS SOUPS 179430 WITH SCORE 180115.11
AT ITER 9673 NEW BEST:: SOT 2005107 SOS 685073 HAS SOPS 651540 HAS SOUS 180882 HAS SOUPS 179185 WITH SCORE 179870.073
AT ITER 9675 NEW BEST:: SOT 2005045 SOS 684856 HAS SOPS 651323 HAS SOUS 180880 HAS SOUPS 179183 WITH SCORE 179867.856
AT ITER 9679 NEW BEST:: SOT 2004598 SOS 684312 HAS SOPS 650779 HAS SOUS 180412 HAS SOUPS 178715 WITH SCORE 179399.312
AT ITER 9711 NEW BEST:: SOT 2004521 SOS 683727 HAS SOPS 650194 HAS SOUS 180090 HAS SOUPS 178393 WITH SCORE 179076.727
AT ITER 9718 NEW BEST:: SOT 2004473 SOS 683679 HAS SOPS 650146 HAS SOUS 179994 HAS SOUPS 178297 WITH SCORE 178980.679
AT ITER 9724 NEW BEST:: SOT 2004305 SOS 683454 HAS SOPS 649924 HAS SOUS 179772 HAS SOUPS 178075 WITH SCORE 178758.454
AT ITER 9741 NEW BEST:: SOT 2004299 SOS 683413 HAS SOPS 649883 HAS SOUS 179653 HAS SOUPS 177956 WITH SCORE 178639.413
AT ITER 9742 NEW BEST:: SOT 2004281 SOS 683026 HAS SOPS 649496 HAS SOUS 179642 HAS SOUPS 177945 WITH SCORE 178628.026
AT ITER 9753 NEW BEST:: SOT 2004197 SOS 683436 HAS SOPS 649906 HAS SOUS 179599 HAS SOUPS 177902 WITH SCORE 178585.436
AT ITER 9794 NEW BEST:: SOT 2004092 SOS 683331 HAS SOPS 649801 HAS SOUS 179355 HAS SOUPS 177658 WITH SCORE 178341.331
AT ITER 9806 NEW BEST:: SOT 2004085 SOS 683335 HAS SOPS 649805 HAS SOUS 179348 HAS SOUPS 177651 WITH SCORE 178334.335
AT ITER 9818 NEW BEST:: SOT 2003950 SOS 683155 HAS SOPS 649625 HAS SOUS 179258 HAS SOUPS 177561 WITH SCORE 178244.155
AT ITER 9917 NEW BEST:: SOT 2003999 SOS 687410 HAS SOPS 652420 HAS SOUS 179394 HAS SOUPS 177551 WITH SCORE 178238.41
AT ITER 9973 NEW BEST:: SOT 2004490 SOS 687934 HAS SOPS 652944 HAS SOUS 179371 HAS SOUPS 177528 WITH SCORE 178215.934
AT ITER 9995 NEW BEST:: SOT 2004444 SOS 687848 HAS SOPS 652858 HAS SOUS 179279 HAS SOUPS 177436 WITH SCORE 178123.848
AT ITER 9996 NEW BEST:: SOT 2004433 SOS 687526 HAS SOPS 652536 HAS SOUS 179269 HAS SOUPS 177426 WITH SCORE 178113.526
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 12009280 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16108264 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-S04J04T10"
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-S04J04T10, 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-167873953100560"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S04J04T10.tgz
mv PolyORBLF-PT-S04J04T10 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 ;