About the Execution of Smart+red for Raft-PT-08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16217.523 | 2643280.00 | 2682065.00 | 4963.30 | [undef] | Cannot compute |
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.r331-tall-167889204400344.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 Raft-PT-08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204400344
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 624K
-rw-r--r-- 1 mcc users 6.5K Feb 26 17:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 17:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 17:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 17:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 17:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 163K Feb 26 17:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 26 17:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 26 17:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 156K 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 1679140259332
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=Raft-PT-08
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 11:51:01] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 11:51:01] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 11:51:01] [INFO ] Load time of PNML (sax parser for PT used): 68 ms
[2023-03-18 11:51:01] [INFO ] Transformed 328 places.
[2023-03-18 11:51:01] [INFO ] Transformed 568 transitions.
[2023-03-18 11:51:01] [INFO ] Found NUPN structural information;
[2023-03-18 11:51:01] [INFO ] Parsed PT model containing 328 places and 568 transitions and 2163 arcs in 145 ms.
[2023-03-18 11:51:01] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 328 places, 568 transitions and 2163 arcs took 8 ms.
Total runtime 187 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Raft (PT), instance 08
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: 328 places, 568 transitions, 2163 arcs.
AT ITER 0 NEW BEST:: SOT 163639 SOS 109952 HAS SOPS 109920 HAS SOUS 86574 HAS SOUPS 86566 WITH SCORE 86675.952
AT ITER 2 NEW BEST:: SOT 163639 SOS 108962 HAS SOPS 108930 HAS SOUS 86574 HAS SOUPS 86566 WITH SCORE 86674.962
AT ITER 3 NEW BEST:: SOT 163491 SOS 108812 HAS SOPS 108760 HAS SOUS 86367 HAS SOUPS 86340 WITH SCORE 86448.812
AT ITER 4 NEW BEST:: SOT 163295 SOS 108407 HAS SOPS 108309 HAS SOUS 85960 HAS SOUPS 85889 WITH SCORE 85997.407
AT ITER 5 NEW BEST:: SOT 163295 SOS 108063 HAS SOPS 107965 HAS SOUS 85928 HAS SOUPS 85857 WITH SCORE 85965.063
AT ITER 7 NEW BEST:: SOT 162931 SOS 107846 HAS SOPS 107709 HAS SOUS 85632 HAS SOUPS 85542 WITH SCORE 85649.846
AT ITER 11 NEW BEST:: SOT 162671 SOS 107501 HAS SOPS 107309 HAS SOUS 85285 HAS SOUPS 85142 WITH SCORE 85249.501
AT ITER 12 NEW BEST:: SOT 159933 SOS 106795 HAS SOPS 105158 HAS SOUS 83669 HAS SOUPS 83355 WITH SCORE 83461.795
AT ITER 13 NEW BEST:: SOT 159688 SOS 106550 HAS SOPS 104913 HAS SOUS 83422 HAS SOUPS 83108 WITH SCORE 83214.55
AT ITER 18 NEW BEST:: SOT 158098 SOS 109620 HAS SOPS 103700 HAS SOUS 82825 HAS SOUPS 82343 WITH SCORE 82452.62
AT ITER 19 NEW BEST:: SOT 156630 SOS 108620 HAS SOPS 102514 HAS SOUS 81953 HAS SOUPS 81377 WITH SCORE 81485.62
AT ITER 24 NEW BEST:: SOT 156630 SOS 108584 HAS SOPS 102496 HAS SOUS 81953 HAS SOUPS 81377 WITH SCORE 81485.584
AT ITER 27 NEW BEST:: SOT 156630 SOS 108474 HAS SOPS 102386 HAS SOUS 81953 HAS SOUPS 81377 WITH SCORE 81485.474
AT ITER 28 NEW BEST:: SOT 156012 SOS 107747 HAS SOPS 101583 HAS SOUS 81173 HAS SOUPS 80577 WITH SCORE 80684.747
AT ITER 29 NEW BEST:: SOT 155920 SOS 107556 HAS SOPS 101384 HAS SOUS 80772 HAS SOUPS 80169 WITH SCORE 80276.556
AT ITER 30 NEW BEST:: SOT 155440 SOS 107047 HAS SOPS 100754 HAS SOUS 80158 HAS SOUPS 79539 WITH SCORE 79646.047
AT ITER 32 NEW BEST:: SOT 155440 SOS 107047 HAS SOPS 100754 HAS SOUS 80136 HAS SOUPS 79517 WITH SCORE 79624.047
AT ITER 33 NEW BEST:: SOT 154832 SOS 106383 HAS SOPS 100066 HAS SOUS 79464 HAS SOUPS 78836 WITH SCORE 78942.383
AT ITER 39 NEW BEST:: SOT 154832 SOS 106382 HAS SOPS 100066 HAS SOUS 79464 HAS SOUPS 78836 WITH SCORE 78942.382
AT ITER 40 NEW BEST:: SOT 154407 SOS 105867 HAS SOPS 99530 HAS SOUS 78862 HAS SOUPS 78234 WITH SCORE 78339.867
AT ITER 41 NEW BEST:: SOT 153999 SOS 105409 HAS SOPS 99044 HAS SOUS 78351 HAS SOUPS 77717 WITH SCORE 77822.409
AT ITER 42 NEW BEST:: SOT 153533 SOS 104943 HAS SOPS 98509 HAS SOUS 77830 HAS SOUPS 77182 WITH SCORE 77286.943
AT ITER 43 NEW BEST:: SOT 153533 SOS 104937 HAS SOPS 98503 HAS SOUS 77830 HAS SOUPS 77182 WITH SCORE 77286.937
AT ITER 44 NEW BEST:: SOT 153138 SOS 104542 HAS SOPS 98108 HAS SOUS 77432 HAS SOUPS 76784 WITH SCORE 76888.542
AT ITER 46 NEW BEST:: SOT 153138 SOS 104542 HAS SOPS 98108 HAS SOUS 77425 HAS SOUPS 76777 WITH SCORE 76881.542
AT ITER 48 NEW BEST:: SOT 152897 SOS 104308 HAS SOPS 97921 HAS SOUS 77224 HAS SOUPS 76590 WITH SCORE 76694.308
AT ITER 49 NEW BEST:: SOT 152625 SOS 104308 HAS SOPS 97804 HAS SOUS 77115 HAS SOUPS 76481 WITH SCORE 76585.308
AT ITER 51 NEW BEST:: SOT 149265 SOS 100948 HAS SOPS 94276 HAS SOUS 73624 HAS SOUPS 72986 WITH SCORE 73086.948
AT ITER 55 NEW BEST:: SOT 149149 SOS 100832 HAS SOPS 93824 HAS SOUS 73185 HAS SOUPS 72534 WITH SCORE 72634.832
AT ITER 56 NEW BEST:: SOT 149149 SOS 100763 HAS SOPS 93749 HAS SOUS 73185 HAS SOUPS 72534 WITH SCORE 72634.763
AT ITER 58 NEW BEST:: SOT 146724 SOS 100402 HAS SOPS 91909 HAS SOUS 71964 HAS SOUPS 71118 WITH SCORE 71218.402
AT ITER 59 NEW BEST:: SOT 146724 SOS 100376 HAS SOPS 91909 HAS SOUS 71964 HAS SOUPS 71118 WITH SCORE 71218.376
AT ITER 61 NEW BEST:: SOT 145603 SOS 100258 HAS SOPS 91117 HAS SOUS 71362 HAS SOUPS 70439 WITH SCORE 70539.258
AT ITER 62 NEW BEST:: SOT 145347 SOS 100002 HAS SOPS 90821 HAS SOUS 71057 HAS SOUPS 70134 WITH SCORE 70234.002
AT ITER 64 NEW BEST:: SOT 145347 SOS 99939 HAS SOPS 90758 HAS SOUS 71024 HAS SOUPS 70101 WITH SCORE 70200.939
AT ITER 65 NEW BEST:: SOT 145347 SOS 99847 HAS SOPS 90679 HAS SOUS 70994 HAS SOUPS 70071 WITH SCORE 70170.847
AT ITER 67 NEW BEST:: SOT 145338 SOS 99838 HAS SOPS 90661 HAS SOUS 70976 HAS SOUPS 70053 WITH SCORE 70152.838
AT ITER 68 NEW BEST:: SOT 145338 SOS 99873 HAS SOPS 90661 HAS SOUS 70914 HAS SOUPS 69991 WITH SCORE 70090.873
AT ITER 69 NEW BEST:: SOT 145307 SOS 99811 HAS SOPS 90599 HAS SOUS 70851 HAS SOUPS 69928 WITH SCORE 70027.811
AT ITER 70 NEW BEST:: SOT 145171 SOS 99658 HAS SOPS 90446 HAS SOUS 70681 HAS SOUPS 69758 WITH SCORE 69857.658
AT ITER 72 NEW BEST:: SOT 145171 SOS 99629 HAS SOPS 90355 HAS SOUS 70681 HAS SOUPS 69758 WITH SCORE 69857.629
AT ITER 73 NEW BEST:: SOT 144015 SOS 98439 HAS SOPS 89126 HAS SOUS 69379 HAS SOUPS 68456 WITH SCORE 68554.439
AT ITER 78 NEW BEST:: SOT 144015 SOS 98535 HAS SOPS 89126 HAS SOUS 69371 HAS SOUPS 68448 WITH SCORE 68546.535
AT ITER 79 NEW BEST:: SOT 144030 SOS 98550 HAS SOPS 89105 HAS SOUS 69365 HAS SOUPS 68442 WITH SCORE 68540.55
AT ITER 83 NEW BEST:: SOT 143962 SOS 98465 HAS SOPS 89020 HAS SOUS 69263 HAS SOUPS 68340 WITH SCORE 68438.465
AT ITER 86 NEW BEST:: SOT 140951 SOS 98825 HAS SOPS 86269 HAS SOUS 67311 HAS SOUPS 66188 WITH SCORE 66286.825
AT ITER 90 NEW BEST:: SOT 140951 SOS 98049 HAS SOPS 85571 HAS SOUS 67311 HAS SOUPS 66188 WITH SCORE 66286.049
AT ITER 91 NEW BEST:: SOT 140606 SOS 97699 HAS SOPS 85131 HAS SOUS 66940 HAS SOUPS 65817 WITH SCORE 65914.699
AT ITER 94 NEW BEST:: SOT 140606 SOS 97550 HAS SOPS 85131 HAS SOUS 66940 HAS SOUPS 65817 WITH SCORE 65914.55
AT ITER 104 NEW BEST:: SOT 140280 SOS 97204 HAS SOPS 84921 HAS SOUS 66695 HAS SOUPS 65572 WITH SCORE 65669.204
AT ITER 110 NEW BEST:: SOT 139852 SOS 96776 HAS SOPS 84434 HAS SOUS 66208 HAS SOUPS 65085 WITH SCORE 65181.776
AT ITER 112 NEW BEST:: SOT 139682 SOS 97236 HAS SOPS 84316 HAS SOUS 66141 HAS SOUPS 65001 WITH SCORE 65098.236
AT ITER 113 NEW BEST:: SOT 138623 SOS 96078 HAS SOPS 83035 HAS SOUS 64871 HAS SOUPS 63720 WITH SCORE 63816.078
AT ITER 115 NEW BEST:: SOT 138532 SOS 95544 HAS SOPS 82586 HAS SOUS 64724 HAS SOUPS 63573 WITH SCORE 63668.544
AT ITER 116 NEW BEST:: SOT 138020 SOS 95032 HAS SOPS 81946 HAS SOUS 63960 HAS SOUPS 62809 WITH SCORE 62904.032
AT ITER 122 NEW BEST:: SOT 138020 SOS 95146 HAS SOPS 81981 HAS SOUS 63949 HAS SOUPS 62798 WITH SCORE 62893.146
AT ITER 124 NEW BEST:: SOT 137539 SOS 94229 HAS SOPS 81432 HAS SOUS 63430 HAS SOUPS 62279 WITH SCORE 62373.229
AT ITER 125 NEW BEST:: SOT 137539 SOS 94180 HAS SOPS 81299 HAS SOUS 63380 HAS SOUPS 62229 WITH SCORE 62323.18
AT ITER 127 NEW BEST:: SOT 137539 SOS 94170 HAS SOPS 81249 HAS SOUS 63380 HAS SOUPS 62229 WITH SCORE 62323.17
AT ITER 129 NEW BEST:: SOT 137515 SOS 94146 HAS SOPS 81222 HAS SOUS 63353 HAS SOUPS 62202 WITH SCORE 62296.146
AT ITER 130 NEW BEST:: SOT 137485 SOS 94116 HAS SOPS 81177 HAS SOUS 63308 HAS SOUPS 62157 WITH SCORE 62251.116
AT ITER 131 NEW BEST:: SOT 137485 SOS 94094 HAS SOPS 81177 HAS SOUS 63308 HAS SOUPS 62157 WITH SCORE 62251.094
AT ITER 137 NEW BEST:: SOT 137120 SOS 93735 HAS SOPS 81144 HAS SOUS 63024 HAS SOUPS 61881 WITH SCORE 61974.735
AT ITER 142 NEW BEST:: SOT 136866 SOS 93481 HAS SOPS 80954 HAS SOUS 62750 HAS SOUPS 61639 WITH SCORE 61732.481
AT ITER 144 NEW BEST:: SOT 136418 SOS 93033 HAS SOPS 80386 HAS SOUS 62255 HAS SOUPS 61071 WITH SCORE 61164.033
AT ITER 147 NEW BEST:: SOT 135588 SOS 92183 HAS SOPS 79567 HAS SOUS 61430 HAS SOUPS 60242 WITH SCORE 60334.183
AT ITER 149 NEW BEST:: SOT 135552 SOS 92147 HAS SOPS 79519 HAS SOUS 61388 HAS SOUPS 60200 WITH SCORE 60292.147
AT ITER 150 NEW BEST:: SOT 135552 SOS 92147 HAS SOPS 79439 HAS SOUS 61364 HAS SOUPS 60176 WITH SCORE 60268.147
AT ITER 151 NEW BEST:: SOT 135552 SOS 92146 HAS SOPS 79439 HAS SOUS 61364 HAS SOUPS 60176 WITH SCORE 60268.146
AT ITER 155 NEW BEST:: SOT 135552 SOS 92027 HAS SOPS 79320 HAS SOUS 61364 HAS SOUPS 60176 WITH SCORE 60268.027
AT ITER 159 NEW BEST:: SOT 135577 SOS 91648 HAS SOPS 78941 HAS SOUS 61348 HAS SOUPS 60160 WITH SCORE 60251.648
AT ITER 163 NEW BEST:: SOT 135577 SOS 91610 HAS SOPS 78903 HAS SOUS 61348 HAS SOUPS 60160 WITH SCORE 60251.61
AT ITER 167 NEW BEST:: SOT 135323 SOS 91297 HAS SOPS 78491 HAS SOUS 60995 HAS SOUPS 59805 WITH SCORE 59896.297
AT ITER 168 NEW BEST:: SOT 135323 SOS 91081 HAS SOPS 78275 HAS SOUS 60995 HAS SOUPS 59805 WITH SCORE 59896.081
AT ITER 169 NEW BEST:: SOT 135227 SOS 90973 HAS SOPS 78167 HAS SOUS 60875 HAS SOUPS 59685 WITH SCORE 59775.973
AT ITER 174 NEW BEST:: SOT 134943 SOS 90655 HAS SOPS 77901 HAS SOUS 60608 HAS SOUPS 59418 WITH SCORE 59508.655
AT ITER 178 NEW BEST:: SOT 134651 SOS 90360 HAS SOPS 77647 HAS SOUS 60348 HAS SOUPS 59164 WITH SCORE 59254.36
AT ITER 179 NEW BEST:: SOT 134639 SOS 90336 HAS SOPS 77623 HAS SOUS 60324 HAS SOUPS 59140 WITH SCORE 59230.336
AT ITER 180 NEW BEST:: SOT 134487 SOS 90184 HAS SOPS 77319 HAS SOUS 60025 HAS SOUPS 58836 WITH SCORE 58926.184
AT ITER 183 NEW BEST:: SOT 134347 SOS 90087 HAS SOPS 77115 HAS SOUS 59729 HAS SOUPS 58538 WITH SCORE 58628.087
AT ITER 186 NEW BEST:: SOT 133865 SOS 89605 HAS SOPS 76601 HAS SOUS 59141 HAS SOUPS 57950 WITH SCORE 58039.605
AT ITER 187 NEW BEST:: SOT 133787 SOS 89527 HAS SOPS 76523 HAS SOUS 59057 HAS SOUPS 57866 WITH SCORE 57955.527
AT ITER 193 NEW BEST:: SOT 133881 SOS 89110 HAS SOPS 76145 HAS SOUS 58972 HAS SOUPS 57781 WITH SCORE 57870.11
AT ITER 195 NEW BEST:: SOT 133881 SOS 89085 HAS SOPS 76145 HAS SOUS 58972 HAS SOUPS 57781 WITH SCORE 57870.085
AT ITER 197 NEW BEST:: SOT 133395 SOS 88562 HAS SOPS 75768 HAS SOUS 58498 HAS SOUPS 57307 WITH SCORE 57395.562
AT ITER 200 NEW BEST:: SOT 132284 SOS 87267 HAS SOPS 74634 HAS SOUS 57341 HAS SOUPS 56150 WITH SCORE 56237.267
AT ITER 207 NEW BEST:: SOT 131662 SOS 86605 HAS SOPS 74000 HAS SOUS 56614 HAS SOUPS 55423 WITH SCORE 55509.605
AT ITER 209 NEW BEST:: SOT 131297 SOS 86419 HAS SOPS 74158 HAS SOUS 56591 HAS SOUPS 55400 WITH SCORE 55486.419
AT ITER 217 NEW BEST:: SOT 130894 SOS 86016 HAS SOPS 73755 HAS SOUS 56188 HAS SOUPS 54997 WITH SCORE 55083.016
AT ITER 219 NEW BEST:: SOT 130112 SOS 85234 HAS SOPS 72973 HAS SOUS 55247 HAS SOUPS 54056 WITH SCORE 54141.234
AT ITER 222 NEW BEST:: SOT 130112 SOS 85231 HAS SOPS 72973 HAS SOUS 55247 HAS SOUPS 54056 WITH SCORE 54141.231
AT ITER 223 NEW BEST:: SOT 129512 SOS 84825 HAS SOPS 72953 HAS SOUS 54823 HAS SOUPS 53632 WITH SCORE 53716.825
AT ITER 226 NEW BEST:: SOT 129287 SOS 84670 HAS SOPS 72814 HAS SOUS 54573 HAS SOUPS 53382 WITH SCORE 53466.67
AT ITER 231 NEW BEST:: SOT 129257 SOS 83772 HAS SOPS 71916 HAS SOUS 54179 HAS SOUPS 52988 WITH SCORE 53071.772
AT ITER 240 NEW BEST:: SOT 129176 SOS 83638 HAS SOPS 71843 HAS SOUS 54159 HAS SOUPS 52968 WITH SCORE 53051.638
AT ITER 241 NEW BEST:: SOT 128427 SOS 82950 HAS SOPS 71153 HAS SOUS 53498 HAS SOUPS 52308 WITH SCORE 52390.95
AT ITER 242 NEW BEST:: SOT 128427 SOS 82900 HAS SOPS 71128 HAS SOUS 53498 HAS SOUPS 52308 WITH SCORE 52390.9
AT ITER 245 NEW BEST:: SOT 128427 SOS 82900 HAS SOPS 71128 HAS SOUS 53436 HAS SOUPS 52246 WITH SCORE 52328.9
AT ITER 247 NEW BEST:: SOT 127811 SOS 82855 HAS SOPS 71120 HAS SOUS 53031 HAS SOUPS 51841 WITH SCORE 51923.855
AT ITER 251 NEW BEST:: SOT 127614 SOS 82649 HAS SOPS 70914 HAS SOUS 52783 HAS SOUPS 51593 WITH SCORE 51675.649
AT ITER 254 NEW BEST:: SOT 127302 SOS 82337 HAS SOPS 70602 HAS SOUS 52471 HAS SOUPS 51281 WITH SCORE 51363.337
AT ITER 255 NEW BEST:: SOT 127217 SOS 82252 HAS SOPS 70405 HAS SOUS 52215 HAS SOUPS 51025 WITH SCORE 51107.252
AT ITER 256 NEW BEST:: SOT 127217 SOS 81930 HAS SOPS 70111 HAS SOUS 52162 HAS SOUPS 50972 WITH SCORE 51053.93
AT ITER 260 NEW BEST:: SOT 127157 SOS 81837 HAS SOPS 70097 HAS SOUS 52148 HAS SOUPS 50958 WITH SCORE 51039.837
AT ITER 265 NEW BEST:: SOT 127010 SOS 81669 HAS SOPS 69908 HAS SOUS 51959 HAS SOUPS 50769 WITH SCORE 50850.669
AT ITER 268 NEW BEST:: SOT 127010 SOS 81474 HAS SOPS 69648 HAS SOUS 51764 HAS SOUPS 50574 WITH SCORE 50655.474
AT ITER 269 NEW BEST:: SOT 126551 SOS 81051 HAS SOPS 69261 HAS SOUS 51377 HAS SOUPS 50187 WITH SCORE 50268.051
AT ITER 270 NEW BEST:: SOT 125904 SOS 80447 HAS SOPS 68709 HAS SOUS 50661 HAS SOUPS 49471 WITH SCORE 49551.447
AT ITER 272 NEW BEST:: SOT 125760 SOS 80295 HAS SOPS 68549 HAS SOUS 50511 HAS SOUPS 49321 WITH SCORE 49401.295
AT ITER 275 NEW BEST:: SOT 124974 SOS 82324 HAS SOPS 68671 HAS SOUS 50404 HAS SOUPS 49140 WITH SCORE 49222.324
AT ITER 278 NEW BEST:: SOT 124974 SOS 82227 HAS SOPS 68671 HAS SOUS 50404 HAS SOUPS 49140 WITH SCORE 49222.227
AT ITER 285 NEW BEST:: SOT 124906 SOS 82224 HAS SOPS 68628 HAS SOUS 50401 HAS SOUPS 49137 WITH SCORE 49219.224
AT ITER 289 NEW BEST:: SOT 124628 SOS 81946 HAS SOPS 68334 HAS SOUS 50112 HAS SOUPS 48843 WITH SCORE 48924.946
AT ITER 290 NEW BEST:: SOT 119924 SOS 81688 HAS SOPS 64752 HAS SOUS 46868 HAS SOUPS 45388 WITH SCORE 45469.688
AT ITER 295 NEW BEST:: SOT 119903 SOS 81646 HAS SOPS 64810 HAS SOUS 46826 HAS SOUPS 45346 WITH SCORE 45427.646
AT ITER 296 NEW BEST:: SOT 119462 SOS 81294 HAS SOPS 64618 HAS SOUS 46551 HAS SOUPS 45071 WITH SCORE 45152.294
AT ITER 298 NEW BEST:: SOT 119434 SOS 81249 HAS SOPS 64637 HAS SOUS 46495 HAS SOUPS 45015 WITH SCORE 45096.249
AT ITER 300 NEW BEST:: SOT 118391 SOS 80379 HAS SOPS 63662 HAS SOUS 45542 HAS SOUPS 44040 WITH SCORE 44120.379
AT ITER 304 NEW BEST:: SOT 117999 SOS 80031 HAS SOPS 63314 HAS SOUS 45187 HAS SOUPS 43685 WITH SCORE 43765.031
AT ITER 307 NEW BEST:: SOT 117480 SOS 79479 HAS SOPS 62699 HAS SOUS 44476 HAS SOUPS 42974 WITH SCORE 43053.479
AT ITER 310 NEW BEST:: SOT 117717 SOS 79716 HAS SOPS 62850 HAS SOUS 44430 HAS SOUPS 42928 WITH SCORE 43007.716
AT ITER 321 NEW BEST:: SOT 117660 SOS 79697 HAS SOPS 62691 HAS SOUS 44271 HAS SOUPS 42769 WITH SCORE 42848.697
AT ITER 330 NEW BEST:: SOT 117604 SOS 79641 HAS SOPS 62752 HAS SOUS 44208 HAS SOUPS 42706 WITH SCORE 42785.641
AT ITER 332 NEW BEST:: SOT 117604 SOS 79627 HAS SOPS 62752 HAS SOUS 44208 HAS SOUPS 42706 WITH SCORE 42785.627
AT ITER 338 NEW BEST:: SOT 117568 SOS 79591 HAS SOPS 62758 HAS SOUS 44206 HAS SOUPS 42704 WITH SCORE 42783.591
AT ITER 345 NEW BEST:: SOT 117508 SOS 79443 HAS SOPS 62525 HAS SOUS 44116 HAS SOUPS 42614 WITH SCORE 42693.443
AT ITER 350 NEW BEST:: SOT 117438 SOS 79352 HAS SOPS 62420 HAS SOUS 43972 HAS SOUPS 42470 WITH SCORE 42549.352
AT ITER 354 NEW BEST:: SOT 117438 SOS 79120 HAS SOPS 62188 HAS SOUS 43877 HAS SOUPS 42375 WITH SCORE 42454.12
AT ITER 355 NEW BEST:: SOT 117326 SOS 79008 HAS SOPS 62020 HAS SOUS 43765 HAS SOUPS 42263 WITH SCORE 42342.008
AT ITER 358 NEW BEST:: SOT 117125 SOS 78795 HAS SOPS 61873 HAS SOUS 43618 HAS SOUPS 42116 WITH SCORE 42194.795
AT ITER 359 NEW BEST:: SOT 117125 SOS 77859 HAS SOPS 60992 HAS SOUS 43618 HAS SOUPS 42116 WITH SCORE 42193.859
AT ITER 362 NEW BEST:: SOT 117125 SOS 77451 HAS SOPS 60584 HAS SOUS 43618 HAS SOUPS 42116 WITH SCORE 42193.451
AT ITER 364 NEW BEST:: SOT 116887 SOS 77367 HAS SOPS 60500 HAS SOUS 43332 HAS SOUPS 41830 WITH SCORE 41907.367
AT ITER 365 NEW BEST:: SOT 116510 SOS 76990 HAS SOPS 60304 HAS SOUS 43157 HAS SOUPS 41655 WITH SCORE 41731.99
AT ITER 367 NEW BEST:: SOT 116452 SOS 76870 HAS SOPS 60119 HAS SOUS 43083 HAS SOUPS 41581 WITH SCORE 41657.87
AT ITER 370 NEW BEST:: SOT 116172 SOS 77210 HAS SOPS 59899 HAS SOUS 42923 HAS SOUPS 41401 WITH SCORE 41478.21
AT ITER 377 NEW BEST:: SOT 116128 SOS 77166 HAS SOPS 59874 HAS SOUS 42900 HAS SOUPS 41378 WITH SCORE 41455.166
AT ITER 379 NEW BEST:: SOT 116044 SOS 77057 HAS SOPS 59574 HAS SOUS 42729 HAS SOUPS 41207 WITH SCORE 41284.057
AT ITER 380 NEW BEST:: SOT 115795 SOS 76808 HAS SOPS 59207 HAS SOUS 42446 HAS SOUPS 40924 WITH SCORE 41000.808
AT ITER 388 NEW BEST:: SOT 115776 SOS 76789 HAS SOPS 59169 HAS SOUS 42427 HAS SOUPS 40905 WITH SCORE 40981.789
AT ITER 403 NEW BEST:: SOT 115864 SOS 76138 HAS SOPS 58571 HAS SOUS 42250 HAS SOUPS 40728 WITH SCORE 40804.138
AT ITER 407 NEW BEST:: SOT 115866 SOS 75948 HAS SOPS 58470 HAS SOUS 42161 HAS SOUPS 40639 WITH SCORE 40714.948
AT ITER 408 NEW BEST:: SOT 115811 SOS 75893 HAS SOPS 58359 HAS SOUS 42088 HAS SOUPS 40566 WITH SCORE 40641.893
AT ITER 409 NEW BEST:: SOT 115744 SOS 75826 HAS SOPS 58292 HAS SOUS 41954 HAS SOUPS 40432 WITH SCORE 40507.826
AT ITER 410 NEW BEST:: SOT 115744 SOS 75826 HAS SOPS 58292 HAS SOUS 41951 HAS SOUPS 40429 WITH SCORE 40504.826
AT ITER 421 NEW BEST:: SOT 115744 SOS 75826 HAS SOPS 58292 HAS SOUS 41921 HAS SOUPS 40399 WITH SCORE 40474.826
AT ITER 423 NEW BEST:: SOT 115508 SOS 75590 HAS SOPS 58157 HAS SOUS 41644 HAS SOUPS 40154 WITH SCORE 40229.59
AT ITER 426 NEW BEST:: SOT 115190 SOS 75272 HAS SOPS 57875 HAS SOUS 41300 HAS SOUPS 39811 WITH SCORE 39886.272
AT ITER 428 NEW BEST:: SOT 115053 SOS 75135 HAS SOPS 57732 HAS SOUS 41135 HAS SOUPS 39646 WITH SCORE 39721.135
AT ITER 430 NEW BEST:: SOT 115033 SOS 75115 HAS SOPS 57702 HAS SOUS 41115 HAS SOUPS 39626 WITH SCORE 39701.115
AT ITER 431 NEW BEST:: SOT 114915 SOS 75023 HAS SOPS 57525 HAS SOUS 40957 HAS SOUPS 39468 WITH SCORE 39543.023
AT ITER 435 NEW BEST:: SOT 114906 SOS 75005 HAS SOPS 57498 HAS SOUS 40955 HAS SOUPS 39466 WITH SCORE 39541.005
AT ITER 439 NEW BEST:: SOT 114700 SOS 74666 HAS SOPS 57028 HAS SOUS 40517 HAS SOUPS 39028 WITH SCORE 39102.666
AT ITER 446 NEW BEST:: SOT 114568 SOS 74534 HAS SOPS 56836 HAS SOUS 40313 HAS SOUPS 38824 WITH SCORE 38898.534
AT ITER 447 NEW BEST:: SOT 112427 SOS 74631 HAS SOPS 55322 HAS SOUS 38826 HAS SOUPS 37248 WITH SCORE 37322.631
AT ITER 449 NEW BEST:: SOT 112369 SOS 74663 HAS SOPS 55328 HAS SOUS 38713 HAS SOUPS 37135 WITH SCORE 37209.663
AT ITER 459 NEW BEST:: SOT 112195 SOS 74547 HAS SOPS 55212 HAS SOUS 38539 HAS SOUPS 36961 WITH SCORE 37035.547
AT ITER 476 NEW BEST:: SOT 112195 SOS 74547 HAS SOPS 55212 HAS SOUS 38508 HAS SOUPS 36930 WITH SCORE 37004.547
AT ITER 481 NEW BEST:: SOT 112191 SOS 74543 HAS SOPS 55099 HAS SOUS 38444 HAS SOUPS 36866 WITH SCORE 36940.543
AT ITER 482 NEW BEST:: SOT 111847 SOS 74182 HAS SOPS 55144 HAS SOUS 38386 HAS SOUPS 36808 WITH SCORE 36882.182
AT ITER 487 NEW BEST:: SOT 111800 SOS 74135 HAS SOPS 55152 HAS SOUS 38337 HAS SOUPS 36759 WITH SCORE 36833.135
AT ITER 493 NEW BEST:: SOT 111766 SOS 74170 HAS SOPS 55185 HAS SOUS 38307 HAS SOUPS 36729 WITH SCORE 36803.17
AT ITER 495 NEW BEST:: SOT 111691 SOS 74381 HAS SOPS 55396 HAS SOUS 38268 HAS SOUPS 36690 WITH SCORE 36764.381
AT ITER 497 NEW BEST:: SOT 111672 SOS 74388 HAS SOPS 55313 HAS SOUS 38229 HAS SOUPS 36651 WITH SCORE 36725.388
AT ITER 499 NEW BEST:: SOT 111644 SOS 74360 HAS SOPS 55271 HAS SOUS 38190 HAS SOUPS 36610 WITH SCORE 36684.36
AT ITER 502 NEW BEST:: SOT 111148 SOS 73848 HAS SOPS 54744 HAS SOUS 37663 HAS SOUPS 36083 WITH SCORE 36156.848
AT ITER 513 NEW BEST:: SOT 111050 SOS 73750 HAS SOPS 54597 HAS SOUS 37516 HAS SOUPS 35936 WITH SCORE 36009.75
AT ITER 514 NEW BEST:: SOT 110938 SOS 73785 HAS SOPS 54506 HAS SOUS 37446 HAS SOUPS 35859 WITH SCORE 35932.785
AT ITER 520 NEW BEST:: SOT 110940 SOS 73787 HAS SOPS 54509 HAS SOUS 37418 HAS SOUPS 35831 WITH SCORE 35904.787
AT ITER 521 NEW BEST:: SOT 110902 SOS 73749 HAS SOPS 54433 HAS SOUS 37393 HAS SOUPS 35806 WITH SCORE 35879.749
AT ITER 522 NEW BEST:: SOT 110534 SOS 73381 HAS SOPS 54359 HAS SOUS 37107 HAS SOUPS 35535 WITH SCORE 35608.381
AT ITER 537 NEW BEST:: SOT 110534 SOS 73345 HAS SOPS 54323 HAS SOUS 37107 HAS SOUPS 35535 WITH SCORE 35608.345
AT ITER 565 NEW BEST:: SOT 110252 SOS 73063 HAS SOPS 54117 HAS SOUS 36901 HAS SOUPS 35329 WITH SCORE 35402.063
AT ITER 566 NEW BEST:: SOT 109771 SOS 72576 HAS SOPS 53822 HAS SOUS 36509 HAS SOUPS 34937 WITH SCORE 35009.576
AT ITER 578 NEW BEST:: SOT 109771 SOS 72576 HAS SOPS 53822 HAS SOUS 36507 HAS SOUPS 34935 WITH SCORE 35007.576
AT ITER 587 NEW BEST:: SOT 109577 SOS 72507 HAS SOPS 53580 HAS SOUS 36295 HAS SOUPS 34723 WITH SCORE 34795.507
AT ITER 589 NEW BEST:: SOT 109563 SOS 72495 HAS SOPS 53477 HAS SOUS 36274 HAS SOUPS 34702 WITH SCORE 34774.495
AT ITER 593 NEW BEST:: SOT 109451 SOS 72383 HAS SOPS 53253 HAS SOUS 36106 HAS SOUPS 34534 WITH SCORE 34606.383
AT ITER 598 NEW BEST:: SOT 109451 SOS 72377 HAS SOPS 53253 HAS SOUS 36106 HAS SOUPS 34534 WITH SCORE 34606.377
AT ITER 605 NEW BEST:: SOT 109425 SOS 72351 HAS SOPS 53214 HAS SOUS 36067 HAS SOUPS 34495 WITH SCORE 34567.351
AT ITER 606 NEW BEST:: SOT 109397 SOS 72323 HAS SOPS 53186 HAS SOUS 36025 HAS SOUPS 34453 WITH SCORE 34525.323
AT ITER 608 NEW BEST:: SOT 108911 SOS 71839 HAS SOPS 52866 HAS SOUS 35792 HAS SOUPS 34220 WITH SCORE 34291.839
AT ITER 626 NEW BEST:: SOT 108803 SOS 71731 HAS SOPS 52791 HAS SOUS 35724 HAS SOUPS 34152 WITH SCORE 34223.731
AT ITER 638 NEW BEST:: SOT 108431 SOS 71830 HAS SOPS 52383 HAS SOUS 35489 HAS SOUPS 33891 WITH SCORE 33962.83
AT ITER 649 NEW BEST:: SOT 108397 SOS 71796 HAS SOPS 52332 HAS SOUS 35455 HAS SOUPS 33857 WITH SCORE 33928.796
AT ITER 654 NEW BEST:: SOT 108442 SOS 71841 HAS SOPS 52161 HAS SOUS 35380 HAS SOUPS 33782 WITH SCORE 33853.841
AT ITER 655 NEW BEST:: SOT 108213 SOS 72356 HAS SOPS 51992 HAS SOUS 35271 HAS SOUPS 33653 WITH SCORE 33725.356
AT ITER 668 NEW BEST:: SOT 108174 SOS 72370 HAS SOPS 51964 HAS SOUS 35193 HAS SOUPS 33575 WITH SCORE 33647.37
AT ITER 671 NEW BEST:: SOT 108104 SOS 72300 HAS SOPS 51859 HAS SOUS 35088 HAS SOUPS 33470 WITH SCORE 33542.3
AT ITER 674 NEW BEST:: SOT 108088 SOS 72284 HAS SOPS 51835 HAS SOUS 35049 HAS SOUPS 33431 WITH SCORE 33503.284
AT ITER 676 NEW BEST:: SOT 108086 SOS 72306 HAS SOPS 51832 HAS SOUS 35046 HAS SOUPS 33428 WITH SCORE 33500.306
AT ITER 678 NEW BEST:: SOT 108086 SOS 72124 HAS SOPS 51660 HAS SOUS 35046 HAS SOUPS 33428 WITH SCORE 33500.124
AT ITER 681 NEW BEST:: SOT 108071 SOS 72085 HAS SOPS 51630 HAS SOUS 35001 HAS SOUPS 33383 WITH SCORE 33455.085
AT ITER 702 NEW BEST:: SOT 108037 SOS 72028 HAS SOPS 51555 HAS SOUS 34950 HAS SOUPS 33332 WITH SCORE 33404.028
AT ITER 717 NEW BEST:: SOT 107920 SOS 71911 HAS SOPS 51508 HAS SOUS 34832 HAS SOUPS 33262 WITH SCORE 33333.911
AT ITER 718 NEW BEST:: SOT 107808 SOS 71715 HAS SOPS 51172 HAS SOUS 34720 HAS SOUPS 33150 WITH SCORE 33221.715
AT ITER 724 NEW BEST:: SOT 107851 SOS 71666 HAS SOPS 51075 HAS SOUS 34677 HAS SOUPS 33107 WITH SCORE 33178.666
AT ITER 725 NEW BEST:: SOT 107863 SOS 71525 HAS SOPS 50886 HAS SOUS 34668 HAS SOUPS 33098 WITH SCORE 33169.525
AT ITER 728 NEW BEST:: SOT 107863 SOS 71525 HAS SOPS 50886 HAS SOUS 34655 HAS SOUPS 33085 WITH SCORE 33156.525
AT ITER 729 NEW BEST:: SOT 107863 SOS 71525 HAS SOPS 50886 HAS SOUS 34636 HAS SOUPS 33066 WITH SCORE 33137.525
AT ITER 732 NEW BEST:: SOT 107795 SOS 71457 HAS SOPS 50852 HAS SOUS 34593 HAS SOUPS 33032 WITH SCORE 33103.457
AT ITER 734 NEW BEST:: SOT 107615 SOS 71969 HAS SOPS 50884 HAS SOUS 34574 HAS SOUPS 32997 WITH SCORE 33068.969
AT ITER 737 NEW BEST:: SOT 107644 SOS 72041 HAS SOPS 51079 HAS SOUS 34434 HAS SOUPS 32857 WITH SCORE 32929.041
AT ITER 739 NEW BEST:: SOT 107628 SOS 72009 HAS SOPS 51065 HAS SOUS 34313 HAS SOUPS 32736 WITH SCORE 32808.009
AT ITER 741 NEW BEST:: SOT 107596 SOS 71999 HAS SOPS 51017 HAS SOUS 34265 HAS SOUPS 32688 WITH SCORE 32759.999
AT ITER 742 NEW BEST:: SOT 107596 SOS 71765 HAS SOPS 50797 HAS SOUS 34221 HAS SOUPS 32644 WITH SCORE 32715.765
AT ITER 743 NEW BEST:: SOT 107524 SOS 71693 HAS SOPS 50689 HAS SOUS 34147 HAS SOUPS 32570 WITH SCORE 32641.693
AT ITER 750 NEW BEST:: SOT 107404 SOS 71624 HAS SOPS 50560 HAS SOUS 33984 HAS SOUPS 32407 WITH SCORE 32478.624
AT ITER 754 NEW BEST:: SOT 107454 SOS 71614 HAS SOPS 50501 HAS SOUS 33961 HAS SOUPS 32384 WITH SCORE 32455.614
AT ITER 757 NEW BEST:: SOT 107446 SOS 71606 HAS SOPS 50489 HAS SOUS 33947 HAS SOUPS 32370 WITH SCORE 32441.606
AT ITER 759 NEW BEST:: SOT 107446 SOS 71592 HAS SOPS 50475 HAS SOUS 33945 HAS SOUPS 32368 WITH SCORE 32439.592
AT ITER 760 NEW BEST:: SOT 107140 SOS 71275 HAS SOPS 50153 HAS SOUS 33683 HAS SOUPS 32106 WITH SCORE 32177.275
AT ITER 763 NEW BEST:: SOT 107140 SOS 71259 HAS SOPS 50137 HAS SOUS 33683 HAS SOUPS 32106 WITH SCORE 32177.259
AT ITER 768 NEW BEST:: SOT 107580 SOS 70943 HAS SOPS 49394 HAS SOUS 34018 HAS SOUPS 32011 WITH SCORE 32081.943
AT ITER 771 NEW BEST:: SOT 107604 SOS 70809 HAS SOPS 49300 HAS SOUS 34002 HAS SOUPS 31995 WITH SCORE 32065.809
AT ITER 773 NEW BEST:: SOT 107580 SOS 70810 HAS SOPS 49264 HAS SOUS 33931 HAS SOUPS 31924 WITH SCORE 31994.81
AT ITER 779 NEW BEST:: SOT 107587 SOS 70788 HAS SOPS 49243 HAS SOUS 33931 HAS SOUPS 31924 WITH SCORE 31994.788
AT ITER 781 NEW BEST:: SOT 107363 SOS 70564 HAS SOPS 48935 HAS SOUS 33582 HAS SOUPS 31575 WITH SCORE 31645.564
AT ITER 793 NEW BEST:: SOT 107289 SOS 70381 HAS SOPS 48748 HAS SOUS 33508 HAS SOUPS 31501 WITH SCORE 31571.381
AT ITER 798 NEW BEST:: SOT 107283 SOS 70375 HAS SOPS 48739 HAS SOUS 33500 HAS SOUPS 31492 WITH SCORE 31562.375
AT ITER 799 NEW BEST:: SOT 107226 SOS 70318 HAS SOPS 48682 HAS SOUS 33385 HAS SOUPS 31377 WITH SCORE 31447.318
AT ITER 801 NEW BEST:: SOT 107156 SOS 70248 HAS SOPS 48577 HAS SOUS 33304 HAS SOUPS 31296 WITH SCORE 31366.248
AT ITER 812 NEW BEST:: SOT 107232 SOS 70332 HAS SOPS 48664 HAS SOUS 33275 HAS SOUPS 31267 WITH SCORE 31337.332
AT ITER 815 NEW BEST:: SOT 107232 SOS 70272 HAS SOPS 48594 HAS SOUS 33285 HAS SOUPS 31267 WITH SCORE 31337.272
AT ITER 827 NEW BEST:: SOT 107196 SOS 70236 HAS SOPS 48540 HAS SOUS 33222 HAS SOUPS 31204 WITH SCORE 31274.236
AT ITER 831 NEW BEST:: SOT 106891 SOS 70847 HAS SOPS 48614 HAS SOUS 33117 HAS SOUPS 31076 WITH SCORE 31146.847
AT ITER 848 NEW BEST:: SOT 106801 SOS 70757 HAS SOPS 48479 HAS SOUS 32937 HAS SOUPS 30896 WITH SCORE 30966.757
AT ITER 852 NEW BEST:: SOT 106815 SOS 70379 HAS SOPS 48010 HAS SOUS 32890 HAS SOUPS 30849 WITH SCORE 30919.379
AT ITER 853 NEW BEST:: SOT 106799 SOS 70389 HAS SOPS 48018 HAS SOUS 32866 HAS SOUPS 30825 WITH SCORE 30895.389
AT ITER 859 NEW BEST:: SOT 106789 SOS 70379 HAS SOPS 48003 HAS SOUS 32851 HAS SOUPS 30810 WITH SCORE 30880.379
AT ITER 860 NEW BEST:: SOT 106246 SOS 72359 HAS SOPS 48163 HAS SOUS 32719 HAS SOUPS 30622 WITH SCORE 30694.359
AT ITER 861 NEW BEST:: SOT 106204 SOS 72317 HAS SOPS 48100 HAS SOUS 32626 HAS SOUPS 30529 WITH SCORE 30601.317
AT ITER 864 NEW BEST:: SOT 106193 SOS 72307 HAS SOPS 48078 HAS SOUS 32627 HAS SOUPS 30518 WITH SCORE 30590.307
AT ITER 872 NEW BEST:: SOT 105959 SOS 72159 HAS SOPS 47893 HAS SOUS 32557 HAS SOUPS 30448 WITH SCORE 30520.159
AT ITER 875 NEW BEST:: SOT 105943 SOS 72069 HAS SOPS 47821 HAS SOUS 32533 HAS SOUPS 30424 WITH SCORE 30496.069
AT ITER 879 NEW BEST:: SOT 105743 SOS 71869 HAS SOPS 47621 HAS SOUS 32385 HAS SOUPS 30276 WITH SCORE 30347.869
AT ITER 882 NEW BEST:: SOT 105741 SOS 71867 HAS SOPS 47618 HAS SOUS 32323 HAS SOUPS 30214 WITH SCORE 30285.867
AT ITER 883 NEW BEST:: SOT 105665 SOS 71791 HAS SOPS 47656 HAS SOUS 32265 HAS SOUPS 30156 WITH SCORE 30227.791
AT ITER 889 NEW BEST:: SOT 105595 SOS 71721 HAS SOPS 47551 HAS SOUS 32195 HAS SOUPS 30086 WITH SCORE 30157.721
AT ITER 898 NEW BEST:: SOT 105579 SOS 71737 HAS SOPS 47551 HAS SOUS 32163 HAS SOUPS 30054 WITH SCORE 30125.737
AT ITER 905 NEW BEST:: SOT 105561 SOS 71728 HAS SOPS 47533 HAS SOUS 32154 HAS SOUPS 30045 WITH SCORE 30116.728
AT ITER 907 NEW BEST:: SOT 105657 SOS 71878 HAS SOPS 47515 HAS SOUS 32136 HAS SOUPS 30027 WITH SCORE 30098.878
AT ITER 910 NEW BEST:: SOT 105657 SOS 71845 HAS SOPS 47482 HAS SOUS 32136 HAS SOUPS 30027 WITH SCORE 30098.845
AT ITER 918 NEW BEST:: SOT 105633 SOS 71821 HAS SOPS 47482 HAS SOUS 32136 HAS SOUPS 30027 WITH SCORE 30098.821
AT ITER 922 NEW BEST:: SOT 105582 SOS 71770 HAS SOPS 47431 HAS SOUS 32034 HAS SOUPS 29925 WITH SCORE 29996.77
AT ITER 927 NEW BEST:: SOT 105536 SOS 71727 HAS SOPS 47364 HAS SOUS 31896 HAS SOUPS 29787 WITH SCORE 29858.727
AT ITER 928 NEW BEST:: SOT 105498 SOS 71692 HAS SOPS 47291 HAS SOUS 31817 HAS SOUPS 29708 WITH SCORE 29779.692
AT ITER 950 NEW BEST:: SOT 105392 SOS 71586 HAS SOPS 47132 HAS SOUS 31573 HAS SOUPS 29464 WITH SCORE 29535.586
AT ITER 951 NEW BEST:: SOT 105380 SOS 71574 HAS SOPS 47123 HAS SOUS 31564 HAS SOUPS 29455 WITH SCORE 29526.574
AT ITER 954 NEW BEST:: SOT 105391 SOS 71579 HAS SOPS 47096 HAS SOUS 31557 HAS SOUPS 29448 WITH SCORE 29519.579
AT ITER 956 NEW BEST:: SOT 105399 SOS 71587 HAS SOPS 47052 HAS SOUS 31461 HAS SOUPS 29352 WITH SCORE 29423.587
AT ITER 962 NEW BEST:: SOT 105343 SOS 71531 HAS SOPS 46940 HAS SOUS 31377 HAS SOUPS 29268 WITH SCORE 29339.531
AT ITER 971 NEW BEST:: SOT 104998 SOS 71418 HAS SOPS 46764 HAS SOUS 31161 HAS SOUPS 29052 WITH SCORE 29123.418
AT ITER 973 NEW BEST:: SOT 104984 SOS 71404 HAS SOPS 46736 HAS SOUS 31147 HAS SOUPS 29031 WITH SCORE 29102.404
AT ITER 980 NEW BEST:: SOT 104970 SOS 71387 HAS SOPS 46708 HAS SOUS 31115 HAS SOUPS 28999 WITH SCORE 29070.387
AT ITER 984 NEW BEST:: SOT 104853 SOS 71252 HAS SOPS 46629 HAS SOUS 31025 HAS SOUPS 28927 WITH SCORE 28998.252
AT ITER 989 NEW BEST:: SOT 104853 SOS 71252 HAS SOPS 46629 HAS SOUS 31022 HAS SOUPS 28924 WITH SCORE 28995.252
AT ITER 990 NEW BEST:: SOT 104875 SOS 71252 HAS SOPS 46634 HAS SOUS 30989 HAS SOUPS 28891 WITH SCORE 28962.252
AT ITER 998 NEW BEST:: SOT 104875 SOS 71207 HAS SOPS 46634 HAS SOUS 30989 HAS SOUPS 28891 WITH SCORE 28962.207
AT ITER 999 NEW BEST:: SOT 104875 SOS 71187 HAS SOPS 46639 HAS SOUS 30989 HAS SOUPS 28891 WITH SCORE 28962.187
AT ITER 1003 NEW BEST:: SOT 104811 SOS 71123 HAS SOPS 46511 HAS SOUS 30893 HAS SOUPS 28763 WITH SCORE 28834.123
AT ITER 1006 NEW BEST:: SOT 104803 SOS 71202 HAS SOPS 46614 HAS SOUS 30854 HAS SOUPS 28748 WITH SCORE 28819.202
AT ITER 1027 NEW BEST:: SOT 104698 SOS 71097 HAS SOPS 46450 HAS SOUS 30690 HAS SOUPS 28584 WITH SCORE 28655.097
AT ITER 1035 NEW BEST:: SOT 104696 SOS 71095 HAS SOPS 46446 HAS SOUS 30668 HAS SOUPS 28562 WITH SCORE 28633.095
AT ITER 1041 NEW BEST:: SOT 103776 SOS 74890 HAS SOPS 47165 HAS SOUS 30525 HAS SOUPS 28323 WITH SCORE 28397.89
AT ITER 1055 NEW BEST:: SOT 103776 SOS 74890 HAS SOPS 47165 HAS SOUS 30522 HAS SOUPS 28320 WITH SCORE 28394.89
AT ITER 1060 NEW BEST:: SOT 103764 SOS 74878 HAS SOPS 47147 HAS SOUS 30504 HAS SOUPS 28302 WITH SCORE 28376.878
AT ITER 1066 NEW BEST:: SOT 103708 SOS 74822 HAS SOPS 47035 HAS SOUS 30420 HAS SOUPS 28218 WITH SCORE 28292.822
AT ITER 1076 NEW BEST:: SOT 103668 SOS 74782 HAS SOPS 46955 HAS SOUS 30355 HAS SOUPS 28133 WITH SCORE 28207.782
AT ITER 1080 NEW BEST:: SOT 103598 SOS 74687 HAS SOPS 46850 HAS SOUS 30250 HAS SOUPS 28028 WITH SCORE 28102.687
AT ITER 1088 NEW BEST:: SOT 103598 SOS 74666 HAS SOPS 46850 HAS SOUS 30250 HAS SOUPS 28028 WITH SCORE 28102.666
AT ITER 1090 NEW BEST:: SOT 103536 SOS 74633 HAS SOPS 46756 HAS SOUS 30120 HAS SOUPS 27898 WITH SCORE 27972.633
AT ITER 1092 NEW BEST:: SOT 103514 SOS 74611 HAS SOPS 46723 HAS SOUS 30102 HAS SOUPS 27880 WITH SCORE 27954.611
AT ITER 1093 NEW BEST:: SOT 103474 SOS 74509 HAS SOPS 46661 HAS SOUS 30038 HAS SOUPS 27816 WITH SCORE 27890.509
AT ITER 1095 NEW BEST:: SOT 103370 SOS 74367 HAS SOPS 46481 HAS SOUS 29955 HAS SOUPS 27733 WITH SCORE 27807.367
AT ITER 1117 NEW BEST:: SOT 103370 SOS 74367 HAS SOPS 46481 HAS SOUS 29922 HAS SOUPS 27700 WITH SCORE 27774.367
AT ITER 1122 NEW BEST:: SOT 103384 SOS 74381 HAS SOPS 46470 HAS SOUS 29919 HAS SOUPS 27697 WITH SCORE 27771.381
AT ITER 1133 NEW BEST:: SOT 103384 SOS 74358 HAS SOPS 46435 HAS SOUS 29919 HAS SOUPS 27697 WITH SCORE 27771.358
AT ITER 1137 NEW BEST:: SOT 102805 SOS 77715 HAS SOPS 47487 HAS SOUS 29907 HAS SOUPS 27610 WITH SCORE 27687.715
AT ITER 1138 NEW BEST:: SOT 102697 SOS 77607 HAS SOPS 47271 HAS SOUS 29745 HAS SOUPS 27448 WITH SCORE 27525.607
AT ITER 1147 NEW BEST:: SOT 102699 SOS 77609 HAS SOPS 47274 HAS SOUS 29721 HAS SOUPS 27424 WITH SCORE 27501.609
AT ITER 1157 NEW BEST:: SOT 102390 SOS 77684 HAS SOPS 47121 HAS SOUS 29473 HAS SOUPS 27164 WITH SCORE 27241.684
AT ITER 1160 NEW BEST:: SOT 102354 SOS 77648 HAS SOPS 47223 HAS SOUS 29427 HAS SOUPS 27160 WITH SCORE 27237.648
AT ITER 1161 NEW BEST:: SOT 102354 SOS 77625 HAS SOPS 47201 HAS SOUS 29427 HAS SOUPS 27160 WITH SCORE 27237.625
AT ITER 1163 NEW BEST:: SOT 102336 SOS 77607 HAS SOPS 47174 HAS SOUS 29391 HAS SOUPS 27124 WITH SCORE 27201.607
AT ITER 1173 NEW BEST:: SOT 102167 SOS 77389 HAS SOPS 47063 HAS SOUS 29231 HAS SOUPS 26964 WITH SCORE 27041.389
AT ITER 1195 NEW BEST:: SOT 102133 SOS 77434 HAS SOPS 47087 HAS SOUS 29197 HAS SOUPS 26930 WITH SCORE 27007.434
AT ITER 1199 NEW BEST:: SOT 102089 SOS 77390 HAS SOPS 47008 HAS SOUS 29138 HAS SOUPS 26871 WITH SCORE 26948.39
AT ITER 1223 NEW BEST:: SOT 101850 SOS 77151 HAS SOPS 46769 HAS SOUS 28994 HAS SOUPS 26727 WITH SCORE 26804.151
AT ITER 1226 NEW BEST:: SOT 101850 SOS 77151 HAS SOPS 46769 HAS SOUS 28981 HAS SOUPS 26714 WITH SCORE 26791.151
AT ITER 1228 NEW BEST:: SOT 101807 SOS 77108 HAS SOPS 46726 HAS SOUS 28938 HAS SOUPS 26671 WITH SCORE 26748.108
AT ITER 1230 NEW BEST:: SOT 101801 SOS 77102 HAS SOPS 46717 HAS SOUS 28929 HAS SOUPS 26662 WITH SCORE 26739.102
AT ITER 1233 NEW BEST:: SOT 101801 SOS 77102 HAS SOPS 46717 HAS SOUS 28928 HAS SOUPS 26661 WITH SCORE 26738.102
AT ITER 1239 NEW BEST:: SOT 101749 SOS 77050 HAS SOPS 46661 HAS SOUS 28883 HAS SOUPS 26616 WITH SCORE 26693.05
AT ITER 1242 NEW BEST:: SOT 101727 SOS 77037 HAS SOPS 46621 HAS SOUS 28842 HAS SOUPS 26575 WITH SCORE 26652.037
AT ITER 1244 NEW BEST:: SOT 101711 SOS 77021 HAS SOPS 46597 HAS SOUS 28832 HAS SOUPS 26565 WITH SCORE 26642.021
AT ITER 1252 NEW BEST:: SOT 101691 SOS 77001 HAS SOPS 46537 HAS SOUS 28802 HAS SOUPS 26535 WITH SCORE 26612.001
AT ITER 1266 NEW BEST:: SOT 101691 SOS 76986 HAS SOPS 46524 HAS SOUS 28802 HAS SOUPS 26535 WITH SCORE 26611.986
AT ITER 1269 NEW BEST:: SOT 101688 SOS 76986 HAS SOPS 46518 HAS SOUS 28802 HAS SOUPS 26532 WITH SCORE 26608.986
AT ITER 1308 NEW BEST:: SOT 101536 SOS 76834 HAS SOPS 46290 HAS SOUS 28581 HAS SOUPS 26311 WITH SCORE 26387.834
AT ITER 1311 NEW BEST:: SOT 101484 SOS 76782 HAS SOPS 46172 HAS SOUS 28579 HAS SOUPS 26309 WITH SCORE 26385.782
AT ITER 1315 NEW BEST:: SOT 101484 SOS 76782 HAS SOPS 46172 HAS SOUS 28570 HAS SOUPS 26300 WITH SCORE 26376.782
AT ITER 1316 NEW BEST:: SOT 101627 SOS 76832 HAS SOPS 45973 HAS SOUS 28716 HAS SOUPS 26171 WITH SCORE 26247.832
AT ITER 1319 NEW BEST:: SOT 101506 SOS 76711 HAS SOPS 45898 HAS SOUS 28611 HAS SOUPS 26066 WITH SCORE 26142.711
AT ITER 1323 NEW BEST:: SOT 101554 SOS 76759 HAS SOPS 45821 HAS SOUS 28554 HAS SOUPS 26009 WITH SCORE 26085.759
AT ITER 1324 NEW BEST:: SOT 101538 SOS 76743 HAS SOPS 45797 HAS SOUS 28520 HAS SOUPS 25975 WITH SCORE 26051.743
AT ITER 1337 NEW BEST:: SOT 101140 SOS 78832 HAS SOPS 46109 HAS SOUS 28505 HAS SOUPS 25906 WITH SCORE 25984.832
AT ITER 1340 NEW BEST:: SOT 101126 SOS 78818 HAS SOPS 46081 HAS SOUS 28484 HAS SOUPS 25885 WITH SCORE 25963.818
AT ITER 1369 NEW BEST:: SOT 101138 SOS 78830 HAS SOPS 46099 HAS SOUS 28431 HAS SOUPS 25832 WITH SCORE 25910.83
AT ITER 1375 NEW BEST:: SOT 100723 SOS 78449 HAS SOPS 45535 HAS SOUS 28413 HAS SOUPS 25780 WITH SCORE 25858.449
AT ITER 1378 NEW BEST:: SOT 100635 SOS 78361 HAS SOPS 45493 HAS SOUS 28371 HAS SOUPS 25738 WITH SCORE 25816.361
AT ITER 1381 NEW BEST:: SOT 100620 SOS 78316 HAS SOPS 45418 HAS SOUS 28340 HAS SOUPS 25707 WITH SCORE 25785.316
AT ITER 1382 NEW BEST:: SOT 100568 SOS 78264 HAS SOPS 45340 HAS SOUS 28242 HAS SOUPS 25609 WITH SCORE 25687.264
AT ITER 1387 NEW BEST:: SOT 100526 SOS 78222 HAS SOPS 45277 HAS SOUS 28179 HAS SOUPS 25546 WITH SCORE 25624.222
AT ITER 1393 NEW BEST:: SOT 100523 SOS 77556 HAS SOPS 44611 HAS SOUS 28134 HAS SOUPS 25501 WITH SCORE 25578.556
AT ITER 1398 NEW BEST:: SOT 100525 SOS 77558 HAS SOPS 44604 HAS SOUS 28110 HAS SOUPS 25477 WITH SCORE 25554.558
AT ITER 1399 NEW BEST:: SOT 100596 SOS 77595 HAS SOPS 44775 HAS SOUS 27965 HAS SOUPS 25366 WITH SCORE 25443.595
AT ITER 1401 NEW BEST:: SOT 100596 SOS 77595 HAS SOPS 44775 HAS SOUS 27953 HAS SOUPS 25354 WITH SCORE 25431.595
AT ITER 1409 NEW BEST:: SOT 100578 SOS 77577 HAS SOPS 44748 HAS SOUS 27926 HAS SOUPS 25327 WITH SCORE 25404.577
AT ITER 1425 NEW BEST:: SOT 100552 SOS 77551 HAS SOPS 44709 HAS SOUS 27887 HAS SOUPS 25288 WITH SCORE 25365.551
AT ITER 1430 NEW BEST:: SOT 100495 SOS 77494 HAS SOPS 44336 HAS SOUS 27800 HAS SOUPS 25133 WITH SCORE 25210.494
AT ITER 1434 NEW BEST:: SOT 100441 SOS 77440 HAS SOPS 44282 HAS SOUS 27773 HAS SOUPS 25106 WITH SCORE 25183.44
AT ITER 1436 NEW BEST:: SOT 100465 SOS 77464 HAS SOPS 44202 HAS SOUS 27722 HAS SOUPS 25055 WITH SCORE 25132.464
AT ITER 1441 NEW BEST:: SOT 100384 SOS 77682 HAS SOPS 44359 HAS SOUS 27673 HAS SOUPS 25006 WITH SCORE 25083.682
AT ITER 1445 NEW BEST:: SOT 100396 SOS 77694 HAS SOPS 44377 HAS SOUS 27643 HAS SOUPS 24976 WITH SCORE 25053.694
AT ITER 1449 NEW BEST:: SOT 100150 SOS 77432 HAS SOPS 44020 HAS SOUS 27167 HAS SOUPS 24500 WITH SCORE 24577.432
AT ITER 1454 NEW BEST:: SOT 100104 SOS 77386 HAS SOPS 43951 HAS SOUS 27132 HAS SOUPS 24465 WITH SCORE 24542.386
AT ITER 1458 NEW BEST:: SOT 100070 SOS 77352 HAS SOPS 43900 HAS SOUS 27064 HAS SOUPS 24397 WITH SCORE 24474.352
AT ITER 1461 NEW BEST:: SOT 100066 SOS 77348 HAS SOPS 43900 HAS SOUS 27062 HAS SOUPS 24395 WITH SCORE 24472.348
AT ITER 1471 NEW BEST:: SOT 99994 SOS 77276 HAS SOPS 43828 HAS SOUS 27006 HAS SOUPS 24339 WITH SCORE 24416.276
AT ITER 1486 NEW BEST:: SOT 99984 SOS 77266 HAS SOPS 43813 HAS SOUS 26991 HAS SOUPS 24324 WITH SCORE 24401.266
AT ITER 1493 NEW BEST:: SOT 99868 SOS 77245 HAS SOPS 43792 HAS SOUS 26871 HAS SOUPS 24204 WITH SCORE 24281.245
AT ITER 1504 NEW BEST:: SOT 99860 SOS 77237 HAS SOPS 43780 HAS SOUS 26859 HAS SOUPS 24192 WITH SCORE 24269.237
AT ITER 1514 NEW BEST:: SOT 99834 SOS 77224 HAS SOPS 43741 HAS SOUS 26820 HAS SOUPS 24140 WITH SCORE 24217.224
AT ITER 1515 NEW BEST:: SOT 99804 SOS 77194 HAS SOPS 43700 HAS SOUS 26779 HAS SOUPS 24099 WITH SCORE 24176.194
AT ITER 1516 NEW BEST:: SOT 99804 SOS 77194 HAS SOPS 43680 HAS SOUS 26774 HAS SOUPS 24094 WITH SCORE 24171.194
AT ITER 1519 NEW BEST:: SOT 99772 SOS 77162 HAS SOPS 43608 HAS SOUS 26726 HAS SOUPS 24046 WITH SCORE 24123.162
AT ITER 1529 NEW BEST:: SOT 99734 SOS 77124 HAS SOPS 43602 HAS SOUS 26720 HAS SOUPS 24040 WITH SCORE 24117.124
AT ITER 1531 NEW BEST:: SOT 99576 SOS 76966 HAS SOPS 43506 HAS SOUS 26629 HAS SOUPS 23949 WITH SCORE 24025.966
AT ITER 1535 NEW BEST:: SOT 99576 SOS 76927 HAS SOPS 43493 HAS SOUS 26616 HAS SOUPS 23949 WITH SCORE 24025.927
AT ITER 1537 NEW BEST:: SOT 99576 SOS 76927 HAS SOPS 43493 HAS SOUS 26602 HAS SOUPS 23935 WITH SCORE 24011.927
AT ITER 1547 NEW BEST:: SOT 99467 SOS 76792 HAS SOPS 43358 HAS SOUS 26449 HAS SOUPS 23782 WITH SCORE 23858.792
AT ITER 1559 NEW BEST:: SOT 99631 SOS 76970 HAS SOPS 42913 HAS SOUS 26274 HAS SOUPS 23607 WITH SCORE 23683.97
AT ITER 1572 NEW BEST:: SOT 99631 SOS 76970 HAS SOPS 42913 HAS SOUS 26253 HAS SOUPS 23586 WITH SCORE 23662.97
AT ITER 1582 NEW BEST:: SOT 99606 SOS 76834 HAS SOPS 42833 HAS SOUS 26228 HAS SOUPS 23561 WITH SCORE 23637.834
AT ITER 1596 NEW BEST:: SOT 99588 SOS 76816 HAS SOPS 42794 HAS SOUS 26201 HAS SOUPS 23534 WITH SCORE 23610.816
AT ITER 1598 NEW BEST:: SOT 99592 SOS 76820 HAS SOPS 42782 HAS SOUS 26205 HAS SOUPS 23530 WITH SCORE 23606.82
AT ITER 1600 NEW BEST:: SOT 99521 SOS 76541 HAS SOPS 42652 HAS SOUS 26147 HAS SOUPS 23518 WITH SCORE 23594.541
AT ITER 1605 NEW BEST:: SOT 99441 SOS 76461 HAS SOPS 42592 HAS SOUS 26087 HAS SOUPS 23458 WITH SCORE 23534.461
AT ITER 1608 NEW BEST:: SOT 99377 SOS 76341 HAS SOPS 42502 HAS SOUS 26029 HAS SOUPS 23400 WITH SCORE 23476.341
AT ITER 1610 NEW BEST:: SOT 99377 SOS 76341 HAS SOPS 42502 HAS SOUS 26017 HAS SOUPS 23388 WITH SCORE 23464.341
AT ITER 1613 NEW BEST:: SOT 99253 SOS 76217 HAS SOPS 42466 HAS SOUS 25993 HAS SOUPS 23364 WITH SCORE 23440.217
AT ITER 1616 NEW BEST:: SOT 99127 SOS 76091 HAS SOPS 42277 HAS SOUS 25805 HAS SOUPS 23176 WITH SCORE 23252.091
AT ITER 1641 NEW BEST:: SOT 99113 SOS 76077 HAS SOPS 42256 HAS SOUS 25784 HAS SOUPS 23155 WITH SCORE 23231.077
AT ITER 1652 NEW BEST:: SOT 99073 SOS 76037 HAS SOPS 42200 HAS SOUS 25676 HAS SOUPS 23047 WITH SCORE 23123.037
AT ITER 1660 NEW BEST:: SOT 99053 SOS 76003 HAS SOPS 42163 HAS SOUS 25633 HAS SOUPS 23004 WITH SCORE 23080.003
AT ITER 1667 NEW BEST:: SOT 99047 SOS 75997 HAS SOPS 42157 HAS SOUS 25632 HAS SOUPS 23003 WITH SCORE 23078.997
AT ITER 1673 NEW BEST:: SOT 99043 SOS 75993 HAS SOPS 42149 HAS SOUS 25624 HAS SOUPS 22995 WITH SCORE 23070.993
AT ITER 1679 NEW BEST:: SOT 99049 SOS 75999 HAS SOPS 42105 HAS SOUS 25591 HAS SOUPS 22962 WITH SCORE 23037.999
AT ITER 1685 NEW BEST:: SOT 98839 SOS 75789 HAS SOPS 42072 HAS SOUS 25495 HAS SOUPS 22866 WITH SCORE 22941.789
AT ITER 1708 NEW BEST:: SOT 98846 SOS 75803 HAS SOPS 42073 HAS SOUS 25483 HAS SOUPS 22841 WITH SCORE 22916.803
AT ITER 1713 NEW BEST:: SOT 98832 SOS 75789 HAS SOPS 42045 HAS SOUS 25443 HAS SOUPS 22801 WITH SCORE 22876.789
AT ITER 1722 NEW BEST:: SOT 97802 SOS 78632 HAS SOPS 42576 HAS SOUS 24823 HAS SOUPS 22099 WITH SCORE 22177.632
AT ITER 1732 NEW BEST:: SOT 97780 SOS 78610 HAS SOPS 42543 HAS SOUS 24793 HAS SOUPS 22069 WITH SCORE 22147.61
AT ITER 1736 NEW BEST:: SOT 97764 SOS 78586 HAS SOPS 42519 HAS SOUS 24769 HAS SOUPS 22045 WITH SCORE 22123.586
AT ITER 1742 NEW BEST:: SOT 97742 SOS 78564 HAS SOPS 42497 HAS SOUS 24696 HAS SOUPS 21972 WITH SCORE 22050.564
AT ITER 1751 NEW BEST:: SOT 97712 SOS 78534 HAS SOPS 42452 HAS SOUS 24651 HAS SOUPS 21927 WITH SCORE 22005.534
AT ITER 1768 NEW BEST:: SOT 97701 SOS 78523 HAS SOPS 42454 HAS SOUS 24646 HAS SOUPS 21922 WITH SCORE 22000.523
AT ITER 1778 NEW BEST:: SOT 97709 SOS 78531 HAS SOPS 42462 HAS SOUS 24639 HAS SOUPS 21915 WITH SCORE 21993.531
AT ITER 1786 NEW BEST:: SOT 97709 SOS 78531 HAS SOPS 42462 HAS SOUS 24624 HAS SOUPS 21900 WITH SCORE 21978.531
AT ITER 1789 NEW BEST:: SOT 97684 SOS 78562 HAS SOPS 42430 HAS SOUS 24635 HAS SOUPS 21848 WITH SCORE 21926.562
AT ITER 1805 NEW BEST:: SOT 97676 SOS 78554 HAS SOPS 42418 HAS SOUS 24623 HAS SOUPS 21836 WITH SCORE 21914.554
AT ITER 1812 NEW BEST:: SOT 97482 SOS 78135 HAS SOPS 42123 HAS SOUS 24433 HAS SOUPS 21687 WITH SCORE 21765.135
AT ITER 1816 NEW BEST:: SOT 97460 SOS 78113 HAS SOPS 42090 HAS SOUS 24420 HAS SOUPS 21674 WITH SCORE 21752.113
AT ITER 1820 NEW BEST:: SOT 97444 SOS 78097 HAS SOPS 42074 HAS SOUS 24408 HAS SOUPS 21662 WITH SCORE 21740.097
AT ITER 1826 NEW BEST:: SOT 97444 SOS 78092 HAS SOPS 42068 HAS SOUS 24408 HAS SOUPS 21661 WITH SCORE 21739.092
AT ITER 1890 NEW BEST:: SOT 97411 SOS 78038 HAS SOPS 42033 HAS SOUS 24373 HAS SOUPS 21638 WITH SCORE 21716.038
AT ITER 1906 NEW BEST:: SOT 97393 SOS 78150 HAS SOPS 42095 HAS SOUS 24351 HAS SOUPS 21584 WITH SCORE 21662.15
AT ITER 1909 NEW BEST:: SOT 97375 SOS 78125 HAS SOPS 42063 HAS SOUS 24311 HAS SOUPS 21544 WITH SCORE 21622.125
AT ITER 1911 NEW BEST:: SOT 97341 SOS 78091 HAS SOPS 42012 HAS SOUS 24259 HAS SOUPS 21492 WITH SCORE 21570.091
AT ITER 1932 NEW BEST:: SOT 97335 SOS 78085 HAS SOPS 42003 HAS SOUS 24259 HAS SOUPS 21492 WITH SCORE 21570.085
AT ITER 1934 NEW BEST:: SOT 97311 SOS 78061 HAS SOPS 41967 HAS SOUS 24211 HAS SOUPS 21444 WITH SCORE 21522.061
AT ITER 1969 NEW BEST:: SOT 97311 SOS 78061 HAS SOPS 41911 HAS SOUS 24185 HAS SOUPS 21416 WITH SCORE 21494.061
AT ITER 1976 NEW BEST:: SOT 97241 SOS 77991 HAS SOPS 41806 HAS SOUS 24040 HAS SOUPS 21271 WITH SCORE 21348.991
AT ITER 1987 NEW BEST:: SOT 97203 SOS 77953 HAS SOPS 41730 HAS SOUS 23956 HAS SOUPS 21187 WITH SCORE 21264.953
AT ITER 2012 NEW BEST:: SOT 97203 SOS 77953 HAS SOPS 41730 HAS SOUS 23937 HAS SOUPS 21168 WITH SCORE 21245.953
AT ITER 2016 NEW BEST:: SOT 97193 SOS 77943 HAS SOPS 41715 HAS SOUS 23917 HAS SOUPS 21148 WITH SCORE 21225.943
AT ITER 2019 NEW BEST:: SOT 97179 SOS 77917 HAS SOPS 41694 HAS SOUS 23892 HAS SOUPS 21123 WITH SCORE 21200.917
AT ITER 2025 NEW BEST:: SOT 97167 SOS 77905 HAS SOPS 41670 HAS SOUS 23869 HAS SOUPS 21100 WITH SCORE 21177.905
AT ITER 2035 NEW BEST:: SOT 97133 SOS 77871 HAS SOPS 41619 HAS SOUS 23818 HAS SOUPS 21049 WITH SCORE 21126.871
AT ITER 2050 NEW BEST:: SOT 97150 SOS 77875 HAS SOPS 41584 HAS SOUS 23828 HAS SOUPS 21020 WITH SCORE 21097.875
AT ITER 2070 NEW BEST:: SOT 96998 SOS 78414 HAS SOPS 41637 HAS SOUS 23823 HAS SOUPS 21015 WITH SCORE 21093.414
AT ITER 2088 NEW BEST:: SOT 96940 SOS 78356 HAS SOPS 41550 HAS SOUS 23686 HAS SOUPS 20878 WITH SCORE 20956.356
AT ITER 2091 NEW BEST:: SOT 96914 SOS 78330 HAS SOPS 41511 HAS SOUS 23647 HAS SOUPS 20839 WITH SCORE 20917.33
AT ITER 2095 NEW BEST:: SOT 96878 SOS 78294 HAS SOPS 41457 HAS SOUS 23628 HAS SOUPS 20820 WITH SCORE 20898.294
AT ITER 2113 NEW BEST:: SOT 96826 SOS 78242 HAS SOPS 41353 HAS SOUS 23550 HAS SOUPS 20742 WITH SCORE 20820.242
AT ITER 2121 NEW BEST:: SOT 96812 SOS 78228 HAS SOPS 41332 HAS SOUS 23529 HAS SOUPS 20721 WITH SCORE 20799.228
AT ITER 2123 NEW BEST:: SOT 96768 SOS 78184 HAS SOPS 41266 HAS SOUS 23431 HAS SOUPS 20623 WITH SCORE 20701.184
AT ITER 2124 NEW BEST:: SOT 96592 SOS 78008 HAS SOPS 41033 HAS SOUS 23189 HAS SOUPS 20381 WITH SCORE 20459.008
AT ITER 2129 NEW BEST:: SOT 96532 SOS 77948 HAS SOPS 40943 HAS SOUS 23069 HAS SOUPS 20261 WITH SCORE 20338.948
AT ITER 2133 NEW BEST:: SOT 96532 SOS 77948 HAS SOPS 40943 HAS SOUS 23068 HAS SOUPS 20260 WITH SCORE 20337.948
AT ITER 2148 NEW BEST:: SOT 96532 SOS 77948 HAS SOPS 40891 HAS SOUS 23055 HAS SOUPS 20247 WITH SCORE 20324.948
AT ITER 2150 NEW BEST:: SOT 96532 SOS 77947 HAS SOPS 40891 HAS SOUS 23055 HAS SOUPS 20247 WITH SCORE 20324.947
AT ITER 2171 NEW BEST:: SOT 96492 SOS 77907 HAS SOPS 40911 HAS SOUS 23055 HAS SOUPS 20247 WITH SCORE 20324.907
AT ITER 2179 NEW BEST:: SOT 96464 SOS 77879 HAS SOPS 40890 HAS SOUS 23034 HAS SOUPS 20226 WITH SCORE 20303.879
AT ITER 2186 NEW BEST:: SOT 96436 SOS 77851 HAS SOPS 40837 HAS SOUS 22932 HAS SOUPS 20124 WITH SCORE 20201.851
AT ITER 2207 NEW BEST:: SOT 96390 SOS 77805 HAS SOPS 40768 HAS SOUS 22855 HAS SOUPS 20047 WITH SCORE 20124.805
AT ITER 2224 NEW BEST:: SOT 96338 SOS 77753 HAS SOPS 40607 HAS SOUS 22795 HAS SOUPS 19987 WITH SCORE 20064.753
AT ITER 2269 NEW BEST:: SOT 96287 SOS 78199 HAS SOPS 40755 HAS SOUS 22800 HAS SOUPS 19983 WITH SCORE 20061.199
AT ITER 2270 NEW BEST:: SOT 96115 SOS 78027 HAS SOPS 40602 HAS SOUS 22647 HAS SOUPS 19830 WITH SCORE 19908.027
AT ITER 2273 NEW BEST:: SOT 96115 SOS 78003 HAS SOPS 40590 HAS SOUS 22635 HAS SOUPS 19830 WITH SCORE 19908.003
AT ITER 2301 NEW BEST:: SOT 96151 SOS 78039 HAS SOPS 40470 HAS SOUS 22633 HAS SOUPS 19812 WITH SCORE 19890.039
AT ITER 2308 NEW BEST:: SOT 96181 SOS 78069 HAS SOPS 40389 HAS SOUS 22580 HAS SOUPS 19759 WITH SCORE 19837.069
AT ITER 2314 NEW BEST:: SOT 96157 SOS 78045 HAS SOPS 40353 HAS SOUS 22531 HAS SOUPS 19710 WITH SCORE 19788.045
AT ITER 2330 NEW BEST:: SOT 96143 SOS 78031 HAS SOPS 40332 HAS SOUS 22510 HAS SOUPS 19689 WITH SCORE 19767.031
AT ITER 2333 NEW BEST:: SOT 96019 SOS 79006 HAS SOPS 40701 HAS SOUS 22486 HAS SOUPS 19665 WITH SCORE 19744.006
AT ITER 2358 NEW BEST:: SOT 95947 SOS 78934 HAS SOPS 40593 HAS SOUS 22376 HAS SOUPS 19555 WITH SCORE 19633.934
AT ITER 2386 NEW BEST:: SOT 95941 SOS 78928 HAS SOPS 40584 HAS SOUS 22367 HAS SOUPS 19546 WITH SCORE 19624.928
AT ITER 2400 NEW BEST:: SOT 95875 SOS 78862 HAS SOPS 40533 HAS SOUS 22316 HAS SOUPS 19495 WITH SCORE 19573.862
AT ITER 2402 NEW BEST:: SOT 95861 SOS 78862 HAS SOPS 40519 HAS SOUS 22316 HAS SOUPS 19481 WITH SCORE 19559.862
AT ITER 2431 NEW BEST:: SOT 95749 SOS 78750 HAS SOPS 40351 HAS SOUS 22136 HAS SOUPS 19301 WITH SCORE 19379.75
AT ITER 2432 NEW BEST:: SOT 95725 SOS 78726 HAS SOPS 40315 HAS SOUS 22077 HAS SOUPS 19242 WITH SCORE 19320.726
AT ITER 2437 NEW BEST:: SOT 95706 SOS 78473 HAS SOPS 40069 HAS SOUS 22058 HAS SOUPS 19223 WITH SCORE 19301.473
AT ITER 2458 NEW BEST:: SOT 95672 SOS 78439 HAS SOPS 40001 HAS SOUS 21975 HAS SOUPS 19140 WITH SCORE 19218.439
AT ITER 2459 NEW BEST:: SOT 95760 SOS 78527 HAS SOPS 40089 HAS SOUS 21966 HAS SOUPS 19131 WITH SCORE 19209.527
AT ITER 2480 NEW BEST:: SOT 95760 SOS 78527 HAS SOPS 40089 HAS SOUS 21958 HAS SOUPS 19123 WITH SCORE 19201.527
AT ITER 2485 NEW BEST:: SOT 95751 SOS 78518 HAS SOPS 40080 HAS SOUS 21940 HAS SOUPS 19105 WITH SCORE 19183.518
AT ITER 2506 NEW BEST:: SOT 95668 SOS 78435 HAS SOPS 39980 HAS SOUS 21881 HAS SOUPS 19046 WITH SCORE 19124.435
AT ITER 2530 NEW BEST:: SOT 95666 SOS 78459 HAS SOPS 39978 HAS SOUS 21893 HAS SOUPS 19044 WITH SCORE 19122.459
AT ITER 2541 NEW BEST:: SOT 95662 SOS 78455 HAS SOPS 39972 HAS SOUS 21886 HAS SOUPS 19037 WITH SCORE 19115.455
AT ITER 2542 NEW BEST:: SOT 95654 SOS 78447 HAS SOPS 39960 HAS SOUS 21874 HAS SOUPS 19025 WITH SCORE 19103.447
AT ITER 2571 NEW BEST:: SOT 95547 SOS 78340 HAS SOPS 39942 HAS SOUS 21842 HAS SOUPS 18993 WITH SCORE 19071.34
AT ITER 2573 NEW BEST:: SOT 95541 SOS 78334 HAS SOPS 39933 HAS SOUS 21823 HAS SOUPS 18974 WITH SCORE 19052.334
AT ITER 2576 NEW BEST:: SOT 95541 SOS 78334 HAS SOPS 39933 HAS SOUS 21817 HAS SOUPS 18968 WITH SCORE 19046.334
AT ITER 2582 NEW BEST:: SOT 95645 SOS 78438 HAS SOPS 39839 HAS SOUS 21762 HAS SOUPS 18913 WITH SCORE 18991.438
AT ITER 2599 NEW BEST:: SOT 95463 SOS 78266 HAS SOPS 39657 HAS SOUS 21757 HAS SOUPS 18898 WITH SCORE 18976.266
AT ITER 2608 NEW BEST:: SOT 95446 SOS 78204 HAS SOPS 39530 HAS SOUS 21751 HAS SOUPS 18892 WITH SCORE 18970.204
AT ITER 2627 NEW BEST:: SOT 95486 SOS 78244 HAS SOPS 39590 HAS SOUS 21750 HAS SOUPS 18891 WITH SCORE 18969.244
AT ITER 2640 NEW BEST:: SOT 95512 SOS 78209 HAS SOPS 39577 HAS SOUS 21674 HAS SOUPS 18837 WITH SCORE 18915.209
AT ITER 2647 NEW BEST:: SOT 95506 SOS 78203 HAS SOPS 39556 HAS SOUS 21656 HAS SOUPS 18819 WITH SCORE 18897.203
AT ITER 2649 NEW BEST:: SOT 95486 SOS 78183 HAS SOPS 39526 HAS SOUS 21618 HAS SOUPS 18781 WITH SCORE 18859.183
AT ITER 2660 NEW BEST:: SOT 95486 SOS 78183 HAS SOPS 39526 HAS SOUS 21612 HAS SOUPS 18775 WITH SCORE 18853.183
AT ITER 2670 NEW BEST:: SOT 95354 SOS 78051 HAS SOPS 39538 HAS SOUS 21598 HAS SOUPS 18761 WITH SCORE 18839.051
AT ITER 2695 NEW BEST:: SOT 95290 SOS 77987 HAS SOPS 39474 HAS SOUS 21592 HAS SOUPS 18755 WITH SCORE 18832.987
AT ITER 2702 NEW BEST:: SOT 95278 SOS 77975 HAS SOPS 39410 HAS SOUS 21588 HAS SOUPS 18751 WITH SCORE 18828.975
AT ITER 2710 NEW BEST:: SOT 95246 SOS 77943 HAS SOPS 39362 HAS SOUS 21538 HAS SOUPS 18701 WITH SCORE 18778.943
AT ITER 2715 NEW BEST:: SOT 95246 SOS 77943 HAS SOPS 39362 HAS SOUS 21518 HAS SOUPS 18681 WITH SCORE 18758.943
AT ITER 2718 NEW BEST:: SOT 95246 SOS 77943 HAS SOPS 39362 HAS SOUS 21513 HAS SOUPS 18676 WITH SCORE 18753.943
AT ITER 2729 NEW BEST:: SOT 95191 SOS 77895 HAS SOPS 39311 HAS SOUS 21504 HAS SOUPS 18667 WITH SCORE 18744.895
AT ITER 2734 NEW BEST:: SOT 95187 SOS 77891 HAS SOPS 39305 HAS SOUS 21465 HAS SOUPS 18628 WITH SCORE 18705.891
AT ITER 2742 NEW BEST:: SOT 95147 SOS 77851 HAS SOPS 39245 HAS SOUS 21405 HAS SOUPS 18568 WITH SCORE 18645.851
AT ITER 2758 NEW BEST:: SOT 95207 SOS 77911 HAS SOPS 39222 HAS SOUS 21396 HAS SOUPS 18559 WITH SCORE 18636.911
AT ITER 2773 NEW BEST:: SOT 95207 SOS 77911 HAS SOPS 39222 HAS SOUS 21392 HAS SOUPS 18555 WITH SCORE 18632.911
AT ITER 2774 NEW BEST:: SOT 95213 SOS 77917 HAS SOPS 39223 HAS SOUS 21356 HAS SOUPS 18519 WITH SCORE 18596.917
AT ITER 2792 NEW BEST:: SOT 95213 SOS 77917 HAS SOPS 39223 HAS SOUS 21329 HAS SOUPS 18492 WITH SCORE 18569.917
AT ITER 2803 NEW BEST:: SOT 95131 SOS 77835 HAS SOPS 39100 HAS SOUS 21271 HAS SOUPS 18434 WITH SCORE 18511.835
AT ITER 2809 NEW BEST:: SOT 95131 SOS 77867 HAS SOPS 39044 HAS SOUS 21269 HAS SOUPS 18432 WITH SCORE 18509.867
AT ITER 2831 NEW BEST:: SOT 95103 SOS 77839 HAS SOPS 39058 HAS SOUS 21269 HAS SOUPS 18432 WITH SCORE 18509.839
AT ITER 2854 NEW BEST:: SOT 95091 SOS 77827 HAS SOPS 39040 HAS SOUS 21251 HAS SOUPS 18414 WITH SCORE 18491.827
AT ITER 2862 NEW BEST:: SOT 95083 SOS 77823 HAS SOPS 39028 HAS SOUS 21251 HAS SOUPS 18414 WITH SCORE 18491.823
AT ITER 2897 NEW BEST:: SOT 95129 SOS 77869 HAS SOPS 38945 HAS SOUS 21210 HAS SOUPS 18373 WITH SCORE 18450.869
AT ITER 2920 NEW BEST:: SOT 95095 SOS 77870 HAS SOPS 38911 HAS SOUS 21240 HAS SOUPS 18368 WITH SCORE 18445.87
AT ITER 2932 NEW BEST:: SOT 95162 SOS 77529 HAS SOPS 38834 HAS SOUS 21229 HAS SOUPS 18365 WITH SCORE 18442.529
AT ITER 2946 NEW BEST:: SOT 95152 SOS 77519 HAS SOPS 38819 HAS SOUS 21211 HAS SOUPS 18347 WITH SCORE 18424.519
AT ITER 2963 NEW BEST:: SOT 95152 SOS 77519 HAS SOPS 38819 HAS SOUS 21206 HAS SOUPS 18342 WITH SCORE 18419.519
AT ITER 2980 NEW BEST:: SOT 95140 SOS 77507 HAS SOPS 38801 HAS SOUS 21188 HAS SOUPS 18324 WITH SCORE 18401.507
AT ITER 2982 NEW BEST:: SOT 95134 SOS 77501 HAS SOPS 38768 HAS SOUS 21177 HAS SOUPS 18301 WITH SCORE 18378.501
AT ITER 2983 NEW BEST:: SOT 95144 SOS 77511 HAS SOPS 38783 HAS SOUS 21174 HAS SOUPS 18298 WITH SCORE 18375.511
AT ITER 2995 NEW BEST:: SOT 95142 SOS 77203 HAS SOPS 38488 HAS SOUS 21146 HAS SOUPS 18270 WITH SCORE 18347.203
AT ITER 3023 NEW BEST:: SOT 95120 SOS 77165 HAS SOPS 38396 HAS SOUS 21049 HAS SOUPS 18173 WITH SCORE 18250.165
AT ITER 3028 NEW BEST:: SOT 95080 SOS 77125 HAS SOPS 38336 HAS SOUS 20984 HAS SOUPS 18108 WITH SCORE 18185.125
AT ITER 3069 NEW BEST:: SOT 95060 SOS 77105 HAS SOPS 38306 HAS SOUS 20947 HAS SOUPS 18071 WITH SCORE 18148.105
AT ITER 3073 NEW BEST:: SOT 95014 SOS 76955 HAS SOPS 38159 HAS SOUS 20878 HAS SOUPS 18002 WITH SCORE 18078.955
AT ITER 3091 NEW BEST:: SOT 95006 SOS 76947 HAS SOPS 38147 HAS SOUS 20874 HAS SOUPS 17997 WITH SCORE 18073.947
AT ITER 3095 NEW BEST:: SOT 95012 SOS 76959 HAS SOPS 38135 HAS SOUS 20874 HAS SOUPS 17991 WITH SCORE 18067.959
AT ITER 3130 NEW BEST:: SOT 94973 SOS 76939 HAS SOPS 38076 HAS SOUS 20859 HAS SOUPS 17957 WITH SCORE 18033.939
AT ITER 3153 NEW BEST:: SOT 94945 SOS 76911 HAS SOPS 38048 HAS SOUS 20845 HAS SOUPS 17943 WITH SCORE 18019.911
AT ITER 3163 NEW BEST:: SOT 94925 SOS 76891 HAS SOPS 38018 HAS SOUS 20793 HAS SOUPS 17891 WITH SCORE 17967.891
AT ITER 3190 NEW BEST:: SOT 95143 SOS 77099 HAS SOPS 38236 HAS SOUS 20765 HAS SOUPS 17873 WITH SCORE 17950.099
AT ITER 3217 NEW BEST:: SOT 95125 SOS 77081 HAS SOPS 38209 HAS SOUS 20729 HAS SOUPS 17837 WITH SCORE 17914.081
AT ITER 3224 NEW BEST:: SOT 95095 SOS 77021 HAS SOPS 38149 HAS SOUS 20699 HAS SOUPS 17807 WITH SCORE 17884.021
AT ITER 3235 NEW BEST:: SOT 94891 SOS 76817 HAS SOPS 37972 HAS SOUS 20522 HAS SOUPS 17630 WITH SCORE 17706.817
AT ITER 3254 NEW BEST:: SOT 94893 SOS 76819 HAS SOPS 37975 HAS SOUS 20494 HAS SOUPS 17602 WITH SCORE 17678.819
AT ITER 3271 NEW BEST:: SOT 94875 SOS 76801 HAS SOPS 37938 HAS SOUS 20467 HAS SOUPS 17575 WITH SCORE 17651.801
AT ITER 3278 NEW BEST:: SOT 94819 SOS 76813 HAS SOPS 38000 HAS SOUS 20423 HAS SOUPS 17531 WITH SCORE 17607.813
AT ITER 3294 NEW BEST:: SOT 94821 SOS 76815 HAS SOPS 37995 HAS SOUS 20420 HAS SOUPS 17528 WITH SCORE 17604.815
AT ITER 3347 NEW BEST:: SOT 94829 SOS 76823 HAS SOPS 37993 HAS SOUS 20416 HAS SOUPS 17524 WITH SCORE 17600.823
AT ITER 3373 NEW BEST:: SOT 94785 SOS 76779 HAS SOPS 37927 HAS SOUS 20350 HAS SOUPS 17458 WITH SCORE 17534.779
AT ITER 3375 NEW BEST:: SOT 94779 SOS 76773 HAS SOPS 37918 HAS SOUS 20341 HAS SOUPS 17449 WITH SCORE 17525.773
AT ITER 3383 NEW BEST:: SOT 94796 SOS 76785 HAS SOPS 37952 HAS SOUS 20331 HAS SOUPS 17439 WITH SCORE 17515.785
AT ITER 3401 NEW BEST:: SOT 94796 SOS 76534 HAS SOPS 37701 HAS SOUS 20318 HAS SOUPS 17426 WITH SCORE 17502.534
AT ITER 3445 NEW BEST:: SOT 94792 SOS 76530 HAS SOPS 37695 HAS SOUS 20294 HAS SOUPS 17402 WITH SCORE 17478.53
AT ITER 3452 NEW BEST:: SOT 94784 SOS 76522 HAS SOPS 37683 HAS SOUS 20278 HAS SOUPS 17386 WITH SCORE 17462.522
AT ITER 3467 NEW BEST:: SOT 94788 SOS 76526 HAS SOPS 37674 HAS SOUS 20264 HAS SOUPS 17372 WITH SCORE 17448.526
AT ITER 3496 NEW BEST:: SOT 94778 SOS 76516 HAS SOPS 37664 HAS SOUS 20254 HAS SOUPS 17362 WITH SCORE 17438.516
AT ITER 3502 NEW BEST:: SOT 94768 SOS 76506 HAS SOPS 37690 HAS SOUS 20235 HAS SOUPS 17343 WITH SCORE 17419.506
AT ITER 3524 NEW BEST:: SOT 94753 SOS 76419 HAS SOPS 37641 HAS SOUS 20204 HAS SOUPS 17312 WITH SCORE 17388.419
AT ITER 3562 NEW BEST:: SOT 94743 SOS 76409 HAS SOPS 37621 HAS SOUS 20172 HAS SOUPS 17280 WITH SCORE 17356.409
AT ITER 3564 NEW BEST:: SOT 94737 SOS 76403 HAS SOPS 37612 HAS SOUS 20139 HAS SOUPS 17247 WITH SCORE 17323.403
AT ITER 3575 NEW BEST:: SOT 94737 SOS 76403 HAS SOPS 37603 HAS SOUS 20130 HAS SOUPS 17238 WITH SCORE 17314.403
AT ITER 3580 NEW BEST:: SOT 94681 SOS 76377 HAS SOPS 37537 HAS SOUS 20089 HAS SOUPS 17197 WITH SCORE 17273.377
AT ITER 3619 NEW BEST:: SOT 94681 SOS 76377 HAS SOPS 37537 HAS SOUS 20087 HAS SOUPS 17195 WITH SCORE 17271.377
AT ITER 3671 NEW BEST:: SOT 94649 SOS 76345 HAS SOPS 37521 HAS SOUS 20063 HAS SOUPS 17171 WITH SCORE 17247.345
AT ITER 3676 NEW BEST:: SOT 94593 SOS 76289 HAS SOPS 37453 HAS SOUS 19970 HAS SOUPS 17078 WITH SCORE 17154.289
AT ITER 3678 NEW BEST:: SOT 94561 SOS 76229 HAS SOPS 37409 HAS SOUS 19946 HAS SOUPS 17054 WITH SCORE 17130.229
AT ITER 3699 NEW BEST:: SOT 94561 SOS 76229 HAS SOPS 37333 HAS SOUS 19870 HAS SOUPS 16978 WITH SCORE 17054.229
AT ITER 3713 NEW BEST:: SOT 94557 SOS 76231 HAS SOPS 37339 HAS SOUS 19864 HAS SOUPS 16976 WITH SCORE 17052.231
AT ITER 3721 NEW BEST:: SOT 94549 SOS 76223 HAS SOPS 37334 HAS SOUS 19854 HAS SOUPS 16968 WITH SCORE 17044.223
AT ITER 3801 NEW BEST:: SOT 94545 SOS 76219 HAS SOPS 37328 HAS SOUS 19845 HAS SOUPS 16959 WITH SCORE 17035.219
AT ITER 3805 NEW BEST:: SOT 94545 SOS 76219 HAS SOPS 37328 HAS SOUS 19841 HAS SOUPS 16955 WITH SCORE 17031.219
AT ITER 3814 NEW BEST:: SOT 94545 SOS 76207 HAS SOPS 37298 HAS SOUS 19841 HAS SOUPS 16955 WITH SCORE 17031.207
AT ITER 3861 NEW BEST:: SOT 94411 SOS 76073 HAS SOPS 37120 HAS SOUS 19726 HAS SOUPS 16840 WITH SCORE 16916.073
AT ITER 3862 NEW BEST:: SOT 94378 SOS 75813 HAS SOPS 36860 HAS SOUS 19631 HAS SOUPS 16745 WITH SCORE 16820.813
AT ITER 3890 NEW BEST:: SOT 94368 SOS 75803 HAS SOPS 36887 HAS SOUS 19616 HAS SOUPS 16730 WITH SCORE 16805.803
AT ITER 3906 NEW BEST:: SOT 94302 SOS 75737 HAS SOPS 36788 HAS SOUS 19483 HAS SOUPS 16597 WITH SCORE 16672.737
AT ITER 3907 NEW BEST:: SOT 94266 SOS 75725 HAS SOPS 36746 HAS SOUS 19460 HAS SOUPS 16544 WITH SCORE 16619.725
AT ITER 3917 NEW BEST:: SOT 94248 SOS 75689 HAS SOPS 36710 HAS SOUS 19442 HAS SOUPS 16526 WITH SCORE 16601.689
AT ITER 3952 NEW BEST:: SOT 94251 SOS 75692 HAS SOPS 36713 HAS SOUS 19441 HAS SOUPS 16525 WITH SCORE 16600.692
AT ITER 3976 NEW BEST:: SOT 94275 SOS 75716 HAS SOPS 36708 HAS SOUS 19433 HAS SOUPS 16517 WITH SCORE 16592.716
AT ITER 3980 NEW BEST:: SOT 94271 SOS 75712 HAS SOPS 36680 HAS SOUS 19427 HAS SOUPS 16511 WITH SCORE 16586.712
AT ITER 3991 NEW BEST:: SOT 94291 SOS 75732 HAS SOPS 36670 HAS SOUS 19426 HAS SOUPS 16510 WITH SCORE 16585.732
AT ITER 4058 NEW BEST:: SOT 94285 SOS 75720 HAS SOPS 36658 HAS SOUS 19417 HAS SOUPS 16501 WITH SCORE 16576.72
AT ITER 4124 NEW BEST:: SOT 94297 SOS 75732 HAS SOPS 36668 HAS SOUS 19414 HAS SOUPS 16498 WITH SCORE 16573.732
AT ITER 4130 NEW BEST:: SOT 94156 SOS 76818 HAS SOPS 37097 HAS SOUS 19422 HAS SOUPS 16486 WITH SCORE 16562.818
AT ITER 4147 NEW BEST:: SOT 94152 SOS 76814 HAS SOPS 37091 HAS SOUS 19416 HAS SOUPS 16480 WITH SCORE 16556.814
AT ITER 4152 NEW BEST:: SOT 94136 SOS 76798 HAS SOPS 37069 HAS SOUS 19395 HAS SOUPS 16459 WITH SCORE 16535.798
AT ITER 4159 NEW BEST:: SOT 94123 SOS 76779 HAS SOPS 37037 HAS SOUS 19378 HAS SOUPS 16442 WITH SCORE 16518.779
AT ITER 4161 NEW BEST:: SOT 94049 SOS 76705 HAS SOPS 37170 HAS SOUS 19312 HAS SOUPS 16427 WITH SCORE 16503.705
AT ITER 4203 NEW BEST:: SOT 94031 SOS 76687 HAS SOPS 37124 HAS SOUS 19229 HAS SOUPS 16344 WITH SCORE 16420.687
AT ITER 4213 NEW BEST:: SOT 93965 SOS 76621 HAS SOPS 37025 HAS SOUS 19096 HAS SOUPS 16211 WITH SCORE 16287.621
AT ITER 4239 NEW BEST:: SOT 93977 SOS 76575 HAS SOPS 36985 HAS SOUS 19072 HAS SOUPS 16187 WITH SCORE 16263.575
AT ITER 4284 NEW BEST:: SOT 93948 SOS 76546 HAS SOPS 36945 HAS SOUS 19008 HAS SOUPS 16123 WITH SCORE 16199.546
AT ITER 4305 NEW BEST:: SOT 93920 SOS 76518 HAS SOPS 36903 HAS SOUS 18952 HAS SOUPS 16067 WITH SCORE 16143.518
AT ITER 4338 NEW BEST:: SOT 93900 SOS 76492 HAS SOPS 36867 HAS SOUS 18922 HAS SOUPS 16037 WITH SCORE 16113.492
AT ITER 4378 NEW BEST:: SOT 93865 SOS 76457 HAS SOPS 36789 HAS SOUS 18785 HAS SOUPS 15900 WITH SCORE 15976.457
AT ITER 4390 NEW BEST:: SOT 93827 SOS 76419 HAS SOPS 36732 HAS SOUS 18718 HAS SOUPS 15833 WITH SCORE 15909.419
AT ITER 4395 NEW BEST:: SOT 93801 SOS 76393 HAS SOPS 36729 HAS SOUS 18715 HAS SOUPS 15830 WITH SCORE 15906.393
AT ITER 4406 NEW BEST:: SOT 93785 SOS 76402 HAS SOPS 36697 HAS SOUS 18706 HAS SOUPS 15802 WITH SCORE 15878.402
AT ITER 4409 NEW BEST:: SOT 93780 SOS 76394 HAS SOPS 36691 HAS SOUS 18700 HAS SOUPS 15796 WITH SCORE 15872.394
AT ITER 4457 NEW BEST:: SOT 93780 SOS 76394 HAS SOPS 36691 HAS SOUS 18692 HAS SOUPS 15788 WITH SCORE 15864.394
AT ITER 4469 NEW BEST:: SOT 93698 SOS 76312 HAS SOPS 36596 HAS SOUS 18621 HAS SOUPS 15717 WITH SCORE 15793.312
AT ITER 4470 NEW BEST:: SOT 93690 SOS 76304 HAS SOPS 36584 HAS SOUS 18563 HAS SOUPS 15659 WITH SCORE 15735.304
AT ITER 4477 NEW BEST:: SOT 93676 SOS 76271 HAS SOPS 36570 HAS SOUS 18518 HAS SOUPS 15633 WITH SCORE 15709.271
AT ITER 4504 NEW BEST:: SOT 93678 SOS 76273 HAS SOPS 36533 HAS SOUS 18491 HAS SOUPS 15606 WITH SCORE 15682.273
AT ITER 4526 NEW BEST:: SOT 93654 SOS 76249 HAS SOPS 36525 HAS SOUS 18481 HAS SOUPS 15596 WITH SCORE 15672.249
AT ITER 4531 NEW BEST:: SOT 93622 SOS 76217 HAS SOPS 36381 HAS SOUS 18439 HAS SOUPS 15540 WITH SCORE 15616.217
AT ITER 4538 NEW BEST:: SOT 93600 SOS 76195 HAS SOPS 36348 HAS SOUS 18410 HAS SOUPS 15511 WITH SCORE 15587.195
AT ITER 4540 NEW BEST:: SOT 93572 SOS 76167 HAS SOPS 36306 HAS SOUS 18346 HAS SOUPS 15447 WITH SCORE 15523.167
AT ITER 4559 NEW BEST:: SOT 93548 SOS 76143 HAS SOPS 36246 HAS SOUS 18295 HAS SOUPS 15396 WITH SCORE 15472.143
AT ITER 4591 NEW BEST:: SOT 93536 SOS 76131 HAS SOPS 36222 HAS SOUS 18277 HAS SOUPS 15378 WITH SCORE 15454.131
AT ITER 4610 NEW BEST:: SOT 93514 SOS 76109 HAS SOPS 36189 HAS SOUS 18244 HAS SOUPS 15345 WITH SCORE 15421.109
AT ITER 4636 NEW BEST:: SOT 93510 SOS 76105 HAS SOPS 36183 HAS SOUS 18232 HAS SOUPS 15333 WITH SCORE 15409.105
AT ITER 4670 NEW BEST:: SOT 93510 SOS 76105 HAS SOPS 36183 HAS SOUS 18226 HAS SOUPS 15327 WITH SCORE 15403.105
AT ITER 4697 NEW BEST:: SOT 93510 SOS 76105 HAS SOPS 36183 HAS SOUS 18225 HAS SOUPS 15326 WITH SCORE 15402.105
AT ITER 4699 NEW BEST:: SOT 93480 SOS 76075 HAS SOPS 36138 HAS SOUS 18172 HAS SOUPS 15273 WITH SCORE 15349.075
AT ITER 4720 NEW BEST:: SOT 93428 SOS 76023 HAS SOPS 36060 HAS SOUS 18038 HAS SOUPS 15139 WITH SCORE 15215.023
AT ITER 4729 NEW BEST:: SOT 93432 SOS 76027 HAS SOPS 36068 HAS SOUS 18037 HAS SOUPS 15138 WITH SCORE 15214.027
AT ITER 4734 NEW BEST:: SOT 93427 SOS 76022 HAS SOPS 36064 HAS SOUS 18034 HAS SOUPS 15135 WITH SCORE 15211.022
AT ITER 4760 NEW BEST:: SOT 93403 SOS 75998 HAS SOPS 36052 HAS SOUS 18016 HAS SOUPS 15117 WITH SCORE 15192.998
AT ITER 4772 NEW BEST:: SOT 93379 SOS 75974 HAS SOPS 36004 HAS SOUS 17980 HAS SOUPS 15081 WITH SCORE 15156.974
AT ITER 4775 NEW BEST:: SOT 93137 SOS 77384 HAS SOPS 36279 HAS SOUS 17924 HAS SOUPS 14993 WITH SCORE 15070.384
AT ITER 4825 NEW BEST:: SOT 93135 SOS 77382 HAS SOPS 36276 HAS SOUS 17922 HAS SOUPS 14991 WITH SCORE 15068.382
AT ITER 4828 NEW BEST:: SOT 93119 SOS 77336 HAS SOPS 36248 HAS SOUS 17852 HAS SOUPS 14921 WITH SCORE 14998.336
AT ITER 4839 NEW BEST:: SOT 93117 SOS 77154 HAS SOPS 36085 HAS SOUS 17842 HAS SOUPS 14911 WITH SCORE 14988.154
AT ITER 4854 NEW BEST:: SOT 93113 SOS 77150 HAS SOPS 36087 HAS SOUS 17842 HAS SOUPS 14911 WITH SCORE 14988.15
AT ITER 4864 NEW BEST:: SOT 93055 SOS 77092 HAS SOPS 36000 HAS SOUS 17738 HAS SOUPS 14807 WITH SCORE 14884.092
AT ITER 4879 NEW BEST:: SOT 93034 SOS 77064 HAS SOPS 35972 HAS SOUS 17724 HAS SOUPS 14793 WITH SCORE 14870.064
AT ITER 4887 NEW BEST:: SOT 93033 SOS 77068 HAS SOPS 35976 HAS SOUS 17723 HAS SOUPS 14792 WITH SCORE 14869.068
AT ITER 4895 NEW BEST:: SOT 93023 SOS 77058 HAS SOPS 35961 HAS SOUS 17703 HAS SOUPS 14772 WITH SCORE 14849.058
AT ITER 4916 NEW BEST:: SOT 93023 SOS 77058 HAS SOPS 35953 HAS SOUS 17695 HAS SOUPS 14764 WITH SCORE 14841.058
AT ITER 4929 NEW BEST:: SOT 93001 SOS 77036 HAS SOPS 35964 HAS SOUS 17695 HAS SOUPS 14764 WITH SCORE 14841.036
AT ITER 4939 NEW BEST:: SOT 92986 SOS 77021 HAS SOPS 35941 HAS SOUS 17676 HAS SOUPS 14745 WITH SCORE 14822.021
AT ITER 4968 NEW BEST:: SOT 92980 SOS 77015 HAS SOPS 35932 HAS SOUS 17664 HAS SOUPS 14733 WITH SCORE 14810.015
AT ITER 4975 NEW BEST:: SOT 92977 SOS 77089 HAS SOPS 35996 HAS SOUS 17661 HAS SOUPS 14730 WITH SCORE 14807.089
AT ITER 4986 NEW BEST:: SOT 92959 SOS 77071 HAS SOPS 35978 HAS SOUS 17638 HAS SOUPS 14707 WITH SCORE 14784.071
AT ITER 5045 NEW BEST:: SOT 92959 SOS 77071 HAS SOPS 35978 HAS SOUS 17635 HAS SOUPS 14704 WITH SCORE 14781.071
AT ITER 5100 NEW BEST:: SOT 92957 SOS 77069 HAS SOPS 35979 HAS SOUS 17632 HAS SOUPS 14701 WITH SCORE 14778.069
AT ITER 5101 NEW BEST:: SOT 92925 SOS 77037 HAS SOPS 35931 HAS SOUS 17627 HAS SOUPS 14696 WITH SCORE 14773.037
AT ITER 5108 NEW BEST:: SOT 92777 SOS 76886 HAS SOPS 35844 HAS SOUS 17504 HAS SOUPS 14573 WITH SCORE 14649.886
AT ITER 5171 NEW BEST:: SOT 92769 SOS 76878 HAS SOPS 35832 HAS SOUS 17488 HAS SOUPS 14557 WITH SCORE 14633.878
AT ITER 5190 NEW BEST:: SOT 92757 SOS 76866 HAS SOPS 35814 HAS SOUS 17453 HAS SOUPS 14522 WITH SCORE 14598.866
AT ITER 5211 NEW BEST:: SOT 92753 SOS 76862 HAS SOPS 35810 HAS SOUS 17447 HAS SOUPS 14516 WITH SCORE 14592.862
AT ITER 5257 NEW BEST:: SOT 92688 SOS 76797 HAS SOPS 35732 HAS SOUS 17387 HAS SOUPS 14456 WITH SCORE 14532.797
AT ITER 5283 NEW BEST:: SOT 92650 SOS 76759 HAS SOPS 35731 HAS SOUS 17372 HAS SOUPS 14441 WITH SCORE 14517.759
AT ITER 5284 NEW BEST:: SOT 92541 SOS 76650 HAS SOPS 35622 HAS SOUS 17360 HAS SOUPS 14429 WITH SCORE 14505.65
AT ITER 5296 NEW BEST:: SOT 92541 SOS 76650 HAS SOPS 35610 HAS SOUS 17361 HAS SOUPS 14424 WITH SCORE 14500.65
AT ITER 5308 NEW BEST:: SOT 92482 SOS 77049 HAS SOPS 35738 HAS SOUS 17361 HAS SOUPS 14416 WITH SCORE 14493.049
AT ITER 5324 NEW BEST:: SOT 92482 SOS 77049 HAS SOPS 35738 HAS SOUS 17346 HAS SOUPS 14401 WITH SCORE 14478.049
AT ITER 5327 NEW BEST:: SOT 92520 SOS 77087 HAS SOPS 35732 HAS SOUS 17324 HAS SOUPS 14379 WITH SCORE 14456.087
AT ITER 5333 NEW BEST:: SOT 92482 SOS 77049 HAS SOPS 35675 HAS SOUS 17261 HAS SOUPS 14316 WITH SCORE 14393.049
AT ITER 5334 NEW BEST:: SOT 92412 SOS 76979 HAS SOPS 35605 HAS SOUS 17246 HAS SOUPS 14301 WITH SCORE 14377.979
AT ITER 5341 NEW BEST:: SOT 92412 SOS 76979 HAS SOPS 35605 HAS SOUS 17244 HAS SOUPS 14299 WITH SCORE 14375.979
AT ITER 5367 NEW BEST:: SOT 92390 SOS 76957 HAS SOPS 35572 HAS SOUS 17203 HAS SOUPS 14258 WITH SCORE 14334.957
AT ITER 5377 NEW BEST:: SOT 92396 SOS 76963 HAS SOPS 35552 HAS SOUS 17193 HAS SOUPS 14248 WITH SCORE 14324.963
AT ITER 5388 NEW BEST:: SOT 92396 SOS 76963 HAS SOPS 35552 HAS SOUS 17190 HAS SOUPS 14245 WITH SCORE 14321.963
AT ITER 5410 NEW BEST:: SOT 92390 SOS 76957 HAS SOPS 35540 HAS SOUS 17181 HAS SOUPS 14236 WITH SCORE 14312.957
AT ITER 5413 NEW BEST:: SOT 92370 SOS 76937 HAS SOPS 35494 HAS SOUS 17135 HAS SOUPS 14190 WITH SCORE 14266.937
AT ITER 5481 NEW BEST:: SOT 92362 SOS 76929 HAS SOPS 35478 HAS SOUS 17123 HAS SOUPS 14178 WITH SCORE 14254.929
AT ITER 5517 NEW BEST:: SOT 92362 SOS 76929 HAS SOPS 35478 HAS SOUS 17122 HAS SOUPS 14177 WITH SCORE 14253.929
AT ITER 5526 NEW BEST:: SOT 92340 SOS 76907 HAS SOPS 35431 HAS SOUS 17089 HAS SOUPS 14144 WITH SCORE 14220.907
AT ITER 5536 NEW BEST:: SOT 92316 SOS 76883 HAS SOPS 35395 HAS SOUS 17040 HAS SOUPS 14095 WITH SCORE 14171.883
AT ITER 5559 NEW BEST:: SOT 92314 SOS 76884 HAS SOPS 35394 HAS SOUS 17038 HAS SOUPS 14093 WITH SCORE 14169.884
AT ITER 5565 NEW BEST:: SOT 92307 SOS 76877 HAS SOPS 35387 HAS SOUS 17033 HAS SOUPS 14088 WITH SCORE 14164.877
AT ITER 5567 NEW BEST:: SOT 92291 SOS 76899 HAS SOPS 35337 HAS SOUS 16982 HAS SOUPS 14037 WITH SCORE 14113.899
AT ITER 5591 NEW BEST:: SOT 92291 SOS 76899 HAS SOPS 35337 HAS SOUS 16977 HAS SOUPS 14032 WITH SCORE 14108.899
AT ITER 5594 NEW BEST:: SOT 92277 SOS 76885 HAS SOPS 35316 HAS SOUS 16961 HAS SOUPS 14016 WITH SCORE 14092.885
AT ITER 5625 NEW BEST:: SOT 92279 SOS 76887 HAS SOPS 35311 HAS SOUS 16958 HAS SOUPS 14013 WITH SCORE 14089.887
AT ITER 5628 NEW BEST:: SOT 92275 SOS 76883 HAS SOPS 35303 HAS SOUS 16954 HAS SOUPS 14009 WITH SCORE 14085.883
AT ITER 5662 NEW BEST:: SOT 92287 SOS 76895 HAS SOPS 35297 HAS SOUS 16953 HAS SOUPS 14008 WITH SCORE 14084.895
AT ITER 5703 NEW BEST:: SOT 92269 SOS 76877 HAS SOPS 35228 HAS SOUS 16893 HAS SOUPS 13948 WITH SCORE 14024.877
AT ITER 5705 NEW BEST:: SOT 92254 SOS 76847 HAS SOPS 35183 HAS SOUS 16864 HAS SOUPS 13919 WITH SCORE 13995.847
AT ITER 5714 NEW BEST:: SOT 92220 SOS 76813 HAS SOPS 35132 HAS SOUS 16813 HAS SOUPS 13868 WITH SCORE 13944.813
AT ITER 5780 NEW BEST:: SOT 92198 SOS 76791 HAS SOPS 35088 HAS SOUS 16781 HAS SOUPS 13836 WITH SCORE 13912.791
AT ITER 5832 NEW BEST:: SOT 92188 SOS 76781 HAS SOPS 35093 HAS SOUS 16779 HAS SOUPS 13834 WITH SCORE 13910.781
AT ITER 5848 NEW BEST:: SOT 92121 SOS 77335 HAS SOPS 35259 HAS SOUS 16780 HAS SOUPS 13824 WITH SCORE 13901.335
AT ITER 5863 NEW BEST:: SOT 92095 SOS 77290 HAS SOPS 35198 HAS SOUS 16729 HAS SOUPS 13773 WITH SCORE 13850.29
AT ITER 5899 NEW BEST:: SOT 92087 SOS 77282 HAS SOPS 35148 HAS SOUS 16717 HAS SOUPS 13761 WITH SCORE 13838.282
AT ITER 5917 NEW BEST:: SOT 92023 SOS 77218 HAS SOPS 35020 HAS SOUS 16602 HAS SOUPS 13646 WITH SCORE 13723.218
AT ITER 5946 NEW BEST:: SOT 91995 SOS 77190 HAS SOPS 34964 HAS SOUS 16560 HAS SOUPS 13604 WITH SCORE 13681.19
AT ITER 5979 NEW BEST:: SOT 91986 SOS 77160 HAS SOPS 34967 HAS SOUS 16530 HAS SOUPS 13595 WITH SCORE 13672.16
AT ITER 6000 NEW BEST:: SOT 91980 SOS 77154 HAS SOPS 34958 HAS SOUS 16509 HAS SOUPS 13574 WITH SCORE 13651.154
AT ITER 6028 NEW BEST:: SOT 92075 SOS 75819 HAS SOPS 34393 HAS SOUS 16470 HAS SOUPS 13557 WITH SCORE 13632.819
AT ITER 6093 NEW BEST:: SOT 92075 SOS 75819 HAS SOPS 34387 HAS SOUS 16466 HAS SOUPS 13553 WITH SCORE 13628.819
AT ITER 6101 NEW BEST:: SOT 92073 SOS 75817 HAS SOPS 34384 HAS SOUS 16461 HAS SOUPS 13548 WITH SCORE 13623.817
AT ITER 6112 NEW BEST:: SOT 92067 SOS 75811 HAS SOPS 34366 HAS SOUS 16424 HAS SOUPS 13511 WITH SCORE 13586.811
AT ITER 6115 NEW BEST:: SOT 92133 SOS 75006 HAS SOPS 34065 HAS SOUS 16389 HAS SOUPS 13491 WITH SCORE 13566.006
AT ITER 6155 NEW BEST:: SOT 92099 SOS 74972 HAS SOPS 34014 HAS SOUS 16337 HAS SOUPS 13439 WITH SCORE 13513.972
AT ITER 6185 NEW BEST:: SOT 92115 SOS 74988 HAS SOPS 34010 HAS SOUS 16333 HAS SOUPS 13435 WITH SCORE 13509.988
AT ITER 6201 NEW BEST:: SOT 92141 SOS 75014 HAS SOPS 33989 HAS SOUS 16327 HAS SOUPS 13429 WITH SCORE 13504.014
AT ITER 6225 NEW BEST:: SOT 92078 SOS 74951 HAS SOPS 33926 HAS SOUS 16300 HAS SOUPS 13402 WITH SCORE 13476.951
AT ITER 6251 NEW BEST:: SOT 92090 SOS 74975 HAS SOPS 33916 HAS SOUS 16325 HAS SOUPS 13393 WITH SCORE 13467.975
AT ITER 6253 NEW BEST:: SOT 92090 SOS 74975 HAS SOPS 33916 HAS SOUS 16293 HAS SOUPS 13361 WITH SCORE 13435.975
AT ITER 6271 NEW BEST:: SOT 92086 SOS 74971 HAS SOPS 33910 HAS SOUS 16291 HAS SOUPS 13359 WITH SCORE 13433.971
AT ITER 6279 NEW BEST:: SOT 91975 SOS 74860 HAS SOPS 33799 HAS SOUS 16278 HAS SOUPS 13346 WITH SCORE 13420.86
AT ITER 6283 NEW BEST:: SOT 91975 SOS 74860 HAS SOPS 33791 HAS SOUS 16272 HAS SOUPS 13340 WITH SCORE 13414.86
AT ITER 6334 NEW BEST:: SOT 91975 SOS 74860 HAS SOPS 33759 HAS SOUS 16248 HAS SOUPS 13316 WITH SCORE 13390.86
AT ITER 6350 NEW BEST:: SOT 91973 SOS 74858 HAS SOPS 33757 HAS SOUS 16248 HAS SOUPS 13316 WITH SCORE 13390.858
AT ITER 6453 NEW BEST:: SOT 91943 SOS 74828 HAS SOPS 33691 HAS SOUS 16203 HAS SOUPS 13271 WITH SCORE 13345.828
AT ITER 6515 NEW BEST:: SOT 91931 SOS 74816 HAS SOPS 33673 HAS SOUS 16190 HAS SOUPS 13258 WITH SCORE 13332.816
AT ITER 6620 NEW BEST:: SOT 91931 SOS 74816 HAS SOPS 33651 HAS SOUS 16168 HAS SOUPS 13236 WITH SCORE 13310.816
AT ITER 6651 NEW BEST:: SOT 91931 SOS 74816 HAS SOPS 33651 HAS SOUS 16167 HAS SOUPS 13235 WITH SCORE 13309.816
AT ITER 6665 NEW BEST:: SOT 91909 SOS 74794 HAS SOPS 33639 HAS SOUS 16162 HAS SOUPS 13230 WITH SCORE 13304.794
AT ITER 6703 NEW BEST:: SOT 91901 SOS 74786 HAS SOPS 33623 HAS SOUS 16157 HAS SOUPS 13225 WITH SCORE 13299.786
AT ITER 6730 NEW BEST:: SOT 91907 SOS 74792 HAS SOPS 33530 HAS SOUS 16093 HAS SOUPS 13161 WITH SCORE 13235.792
AT ITER 6755 NEW BEST:: SOT 91907 SOS 74792 HAS SOPS 33526 HAS SOUS 16090 HAS SOUPS 13158 WITH SCORE 13232.792
AT ITER 6760 NEW BEST:: SOT 91913 SOS 74798 HAS SOPS 33535 HAS SOUS 16078 HAS SOUPS 13146 WITH SCORE 13220.798
AT ITER 6795 NEW BEST:: SOT 91907 SOS 74792 HAS SOPS 33526 HAS SOUS 16069 HAS SOUPS 13137 WITH SCORE 13211.792
AT ITER 6832 NEW BEST:: SOT 91844 SOS 74849 HAS SOPS 33714 HAS SOUS 16068 HAS SOUPS 13136 WITH SCORE 13210.849
AT ITER 6875 NEW BEST:: SOT 91798 SOS 74803 HAS SOPS 33721 HAS SOUS 16056 HAS SOUPS 13124 WITH SCORE 13198.803
AT ITER 6970 NEW BEST:: SOT 91770 SOS 74775 HAS SOPS 33663 HAS SOUS 16000 HAS SOUPS 13068 WITH SCORE 13142.775
AT ITER 7006 NEW BEST:: SOT 91757 SOS 74739 HAS SOPS 33636 HAS SOUS 15971 HAS SOUPS 13039 WITH SCORE 13113.739
AT ITER 7063 NEW BEST:: SOT 91767 SOS 74749 HAS SOPS 33603 HAS SOUS 15958 HAS SOUPS 13026 WITH SCORE 13100.749
AT ITER 7135 NEW BEST:: SOT 91765 SOS 74747 HAS SOPS 33524 HAS SOUS 15889 HAS SOUPS 12957 WITH SCORE 13031.747
AT ITER 7136 NEW BEST:: SOT 91757 SOS 74739 HAS SOPS 33512 HAS SOUS 15877 HAS SOUPS 12945 WITH SCORE 13019.739
AT ITER 7156 NEW BEST:: SOT 91783 SOS 74448 HAS SOPS 33419 HAS SOUS 15844 HAS SOUPS 12912 WITH SCORE 12986.448
AT ITER 7171 NEW BEST:: SOT 91761 SOS 74426 HAS SOPS 33386 HAS SOUS 15811 HAS SOUPS 12879 WITH SCORE 12953.426
AT ITER 7187 NEW BEST:: SOT 91757 SOS 74422 HAS SOPS 33378 HAS SOUS 15799 HAS SOUPS 12867 WITH SCORE 12941.422
AT ITER 7247 NEW BEST:: SOT 91745 SOS 74410 HAS SOPS 33360 HAS SOUS 15777 HAS SOUPS 12845 WITH SCORE 12919.41
AT ITER 7268 NEW BEST:: SOT 91731 SOS 74396 HAS SOPS 33344 HAS SOUS 15751 HAS SOUPS 12819 WITH SCORE 12893.396
AT ITER 7321 NEW BEST:: SOT 91727 SOS 74392 HAS SOPS 33336 HAS SOUS 15734 HAS SOUPS 12802 WITH SCORE 12876.392
AT ITER 7334 NEW BEST:: SOT 91727 SOS 74392 HAS SOPS 33336 HAS SOUS 15720 HAS SOUPS 12788 WITH SCORE 12862.392
AT ITER 7335 NEW BEST:: SOT 91728 SOS 74393 HAS SOPS 33337 HAS SOUS 15691 HAS SOUPS 12759 WITH SCORE 12833.393
AT ITER 7368 NEW BEST:: SOT 91714 SOS 74379 HAS SOPS 33340 HAS SOUS 15688 HAS SOUPS 12756 WITH SCORE 12830.379
AT ITER 7370 NEW BEST:: SOT 91712 SOS 74377 HAS SOPS 33341 HAS SOUS 15688 HAS SOUPS 12756 WITH SCORE 12830.377
AT ITER 7392 NEW BEST:: SOT 91712 SOS 74377 HAS SOPS 33341 HAS SOUS 15684 HAS SOUPS 12752 WITH SCORE 12826.377
AT ITER 7414 NEW BEST:: SOT 91708 SOS 74373 HAS SOPS 33338 HAS SOUS 15681 HAS SOUPS 12749 WITH SCORE 12823.373
AT ITER 7524 NEW BEST:: SOT 91698 SOS 74374 HAS SOPS 33350 HAS SOUS 15677 HAS SOUPS 12745 WITH SCORE 12819.374
AT ITER 7610 NEW BEST:: SOT 91730 SOS 74406 HAS SOPS 33316 HAS SOUS 15628 HAS SOUPS 12695 WITH SCORE 12769.406
AT ITER 7672 NEW BEST:: SOT 91728 SOS 74404 HAS SOPS 33309 HAS SOUS 15621 HAS SOUPS 12688 WITH SCORE 12762.404
AT ITER 7673 NEW BEST:: SOT 91714 SOS 74390 HAS SOPS 33281 HAS SOUS 15600 HAS SOUPS 12667 WITH SCORE 12741.39
AT ITER 7676 NEW BEST:: SOT 91714 SOS 74390 HAS SOPS 33281 HAS SOUS 15598 HAS SOUPS 12665 WITH SCORE 12739.39
AT ITER 7683 NEW BEST:: SOT 91693 SOS 74337 HAS SOPS 33248 HAS SOUS 15584 HAS SOUPS 12651 WITH SCORE 12725.337
AT ITER 7742 NEW BEST:: SOT 91695 SOS 74339 HAS SOPS 33248 HAS SOUS 15583 HAS SOUPS 12650 WITH SCORE 12724.339
AT ITER 7794 NEW BEST:: SOT 91699 SOS 74343 HAS SOPS 33230 HAS SOUS 15573 HAS SOUPS 12640 WITH SCORE 12714.343
AT ITER 7858 NEW BEST:: SOT 91729 SOS 74373 HAS SOPS 33233 HAS SOUS 15572 HAS SOUPS 12639 WITH SCORE 12713.373
AT ITER 7994 NEW BEST:: SOT 91721 SOS 74344 HAS SOPS 33212 HAS SOUS 15553 HAS SOUPS 12628 WITH SCORE 12702.344
AT ITER 8010 NEW BEST:: SOT 91727 SOS 74350 HAS SOPS 33172 HAS SOUS 15564 HAS SOUPS 12616 WITH SCORE 12690.35
AT ITER 8024 NEW BEST:: SOT 91715 SOS 74338 HAS SOPS 33154 HAS SOUS 15546 HAS SOUPS 12598 WITH SCORE 12672.338
AT ITER 8101 NEW BEST:: SOT 91622 SOS 74245 HAS SOPS 33029 HAS SOUS 15475 HAS SOUPS 12527 WITH SCORE 12601.245
AT ITER 8108 NEW BEST:: SOT 91618 SOS 74241 HAS SOPS 33023 HAS SOUS 15474 HAS SOUPS 12526 WITH SCORE 12600.241
AT ITER 8120 NEW BEST:: SOT 91612 SOS 74235 HAS SOPS 32999 HAS SOUS 15471 HAS SOUPS 12520 WITH SCORE 12594.235
AT ITER 8182 NEW BEST:: SOT 91636 SOS 74259 HAS SOPS 32986 HAS SOUS 15470 HAS SOUPS 12519 WITH SCORE 12593.259
AT ITER 8185 NEW BEST:: SOT 91578 SOS 74201 HAS SOPS 32955 HAS SOUS 15451 HAS SOUPS 12500 WITH SCORE 12574.201
AT ITER 8199 NEW BEST:: SOT 91578 SOS 74201 HAS SOPS 32955 HAS SOUS 15441 HAS SOUPS 12490 WITH SCORE 12564.201
AT ITER 8210 NEW BEST:: SOT 91570 SOS 74193 HAS SOPS 32943 HAS SOUS 15432 HAS SOUPS 12481 WITH SCORE 12555.193
AT ITER 8237 NEW BEST:: SOT 91542 SOS 74165 HAS SOPS 32927 HAS SOUS 15414 HAS SOUPS 12463 WITH SCORE 12537.165
AT ITER 8269 NEW BEST:: SOT 91532 SOS 74153 HAS SOPS 32913 HAS SOUS 15388 HAS SOUPS 12437 WITH SCORE 12511.153
AT ITER 8324 NEW BEST:: SOT 91534 SOS 74155 HAS SOPS 32905 HAS SOUS 15382 HAS SOUPS 12431 WITH SCORE 12505.155
AT ITER 8329 NEW BEST:: SOT 91530 SOS 74151 HAS SOPS 32899 HAS SOUS 15376 HAS SOUPS 12425 WITH SCORE 12499.151
AT ITER 8339 NEW BEST:: SOT 91534 SOS 74155 HAS SOPS 32903 HAS SOUS 15368 HAS SOUPS 12417 WITH SCORE 12491.155
AT ITER 8347 NEW BEST:: SOT 91524 SOS 74145 HAS SOPS 32888 HAS SOUS 15353 HAS SOUPS 12402 WITH SCORE 12476.145
AT ITER 8384 NEW BEST:: SOT 91518 SOS 74139 HAS SOPS 32876 HAS SOUS 15343 HAS SOUPS 12393 WITH SCORE 12467.139
AT ITER 8409 NEW BEST:: SOT 91520 SOS 74146 HAS SOPS 32878 HAS SOUS 15316 HAS SOUPS 12361 WITH SCORE 12435.146
AT ITER 8461 NEW BEST:: SOT 91553 SOS 74051 HAS SOPS 32628 HAS SOUS 15280 HAS SOUPS 12325 WITH SCORE 12399.051
AT ITER 8480 NEW BEST:: SOT 91553 SOS 74051 HAS SOPS 32580 HAS SOUS 15277 HAS SOUPS 12322 WITH SCORE 12396.051
AT ITER 8516 NEW BEST:: SOT 91549 SOS 74043 HAS SOPS 32568 HAS SOUS 15269 HAS SOUPS 12314 WITH SCORE 12388.043
AT ITER 8528 NEW BEST:: SOT 91534 SOS 74028 HAS SOPS 32553 HAS SOUS 15222 HAS SOUPS 12267 WITH SCORE 12341.028
AT ITER 8532 NEW BEST:: SOT 91532 SOS 74026 HAS SOPS 32550 HAS SOUS 15218 HAS SOUPS 12263 WITH SCORE 12337.026
AT ITER 8540 NEW BEST:: SOT 91512 SOS 74006 HAS SOPS 32525 HAS SOUS 15188 HAS SOUPS 12233 WITH SCORE 12307.006
AT ITER 8569 NEW BEST:: SOT 91506 SOS 74000 HAS SOPS 32528 HAS SOUS 15182 HAS SOUPS 12230 WITH SCORE 12304.0
AT ITER 8673 NEW BEST:: SOT 91506 SOS 74000 HAS SOPS 32520 HAS SOUS 15176 HAS SOUPS 12224 WITH SCORE 12298.0
AT ITER 8686 NEW BEST:: SOT 91506 SOS 74000 HAS SOPS 32508 HAS SOUS 15164 HAS SOUPS 12212 WITH SCORE 12286.0
AT ITER 8688 NEW BEST:: SOT 91523 SOS 73766 HAS SOPS 32410 HAS SOUS 15155 HAS SOUPS 12207 WITH SCORE 12280.766
AT ITER 8770 NEW BEST:: SOT 91527 SOS 73770 HAS SOPS 32416 HAS SOUS 15146 HAS SOUPS 12198 WITH SCORE 12271.77
AT ITER 8854 NEW BEST:: SOT 91523 SOS 73766 HAS SOPS 32410 HAS SOUS 15130 HAS SOUPS 12182 WITH SCORE 12255.766
AT ITER 8866 NEW BEST:: SOT 91511 SOS 73754 HAS SOPS 32392 HAS SOUS 15112 HAS SOUPS 12164 WITH SCORE 12237.754
AT ITER 8886 NEW BEST:: SOT 91507 SOS 73750 HAS SOPS 32389 HAS SOUS 15109 HAS SOUPS 12161 WITH SCORE 12234.75
AT ITER 8891 NEW BEST:: SOT 91491 SOS 73734 HAS SOPS 32338 HAS SOUS 15085 HAS SOUPS 12137 WITH SCORE 12210.734
AT ITER 8897 NEW BEST:: SOT 91475 SOS 73718 HAS SOPS 32314 HAS SOUS 15071 HAS SOUPS 12123 WITH SCORE 12196.718
AT ITER 8944 NEW BEST:: SOT 91475 SOS 73718 HAS SOPS 32314 HAS SOUS 15069 HAS SOUPS 12121 WITH SCORE 12194.718
AT ITER 8974 NEW BEST:: SOT 91451 SOS 73694 HAS SOPS 32278 HAS SOUS 15018 HAS SOUPS 12070 WITH SCORE 12143.694
AT ITER 9032 NEW BEST:: SOT 91449 SOS 73692 HAS SOPS 32275 HAS SOUS 15014 HAS SOUPS 12066 WITH SCORE 12139.692
AT ITER 9033 NEW BEST:: SOT 91454 SOS 73697 HAS SOPS 32258 HAS SOUS 15020 HAS SOUPS 12065 WITH SCORE 12138.697
AT ITER 9038 NEW BEST:: SOT 91454 SOS 73697 HAS SOPS 32258 HAS SOUS 15018 HAS SOUPS 12063 WITH SCORE 12136.697
AT ITER 9075 NEW BEST:: SOT 91450 SOS 73693 HAS SOPS 32252 HAS SOUS 15010 HAS SOUPS 12055 WITH SCORE 12128.693
AT ITER 9076 NEW BEST:: SOT 91444 SOS 73687 HAS SOPS 32239 HAS SOUS 15004 HAS SOUPS 12045 WITH SCORE 12118.687
AT ITER 9100 NEW BEST:: SOT 91454 SOS 73697 HAS SOPS 32249 HAS SOUS 15002 HAS SOUPS 12043 WITH SCORE 12116.697
AT ITER 9135 NEW BEST:: SOT 91428 SOS 73691 HAS SOPS 32191 HAS SOUS 14992 HAS SOUPS 12007 WITH SCORE 12080.691
AT ITER 9169 NEW BEST:: SOT 91430 SOS 73693 HAS SOPS 32195 HAS SOUS 14991 HAS SOUPS 12006 WITH SCORE 12079.693
AT ITER 9185 NEW BEST:: SOT 91390 SOS 73653 HAS SOPS 32135 HAS SOUS 14932 HAS SOUPS 11947 WITH SCORE 12020.653
AT ITER 9244 NEW BEST:: SOT 91390 SOS 73653 HAS SOPS 32115 HAS SOUS 14917 HAS SOUPS 11932 WITH SCORE 12005.653
AT ITER 9254 NEW BEST:: SOT 91388 SOS 73651 HAS SOPS 32112 HAS SOUS 14914 HAS SOUPS 11929 WITH SCORE 12002.651
AT ITER 9260 NEW BEST:: SOT 91385 SOS 73648 HAS SOPS 32110 HAS SOUS 14912 HAS SOUPS 11927 WITH SCORE 12000.648
AT ITER 9327 NEW BEST:: SOT 91369 SOS 73632 HAS SOPS 32078 HAS SOUS 14885 HAS SOUPS 11900 WITH SCORE 11973.632
AT ITER 9401 NEW BEST:: SOT 91367 SOS 73579 HAS SOPS 32025 HAS SOUS 14878 HAS SOUPS 11893 WITH SCORE 11966.579
AT ITER 9436 NEW BEST:: SOT 91347 SOS 73559 HAS SOPS 32010 HAS SOUS 14863 HAS SOUPS 11878 WITH SCORE 11951.559
AT ITER 9471 NEW BEST:: SOT 91337 SOS 73568 HAS SOPS 32000 HAS SOUS 14881 HAS SOUPS 11877 WITH SCORE 11950.568
AT ITER 9510 NEW BEST:: SOT 91319 SOS 73550 HAS SOPS 31973 HAS SOUS 14852 HAS SOUPS 11848 WITH SCORE 11921.55
AT ITER 9520 NEW BEST:: SOT 91309 SOS 73540 HAS SOPS 31958 HAS SOUS 14832 HAS SOUPS 11828 WITH SCORE 11901.54
AT ITER 9534 NEW BEST:: SOT 91305 SOS 73536 HAS SOPS 31952 HAS SOUS 14811 HAS SOUPS 11807 WITH SCORE 11880.536
AT ITER 9620 NEW BEST:: SOT 91287 SOS 73518 HAS SOPS 31946 HAS SOUS 14800 HAS SOUPS 11796 WITH SCORE 11869.518
AT ITER 9640 NEW BEST:: SOT 91287 SOS 73517 HAS SOPS 31946 HAS SOUS 14799 HAS SOUPS 11796 WITH SCORE 11869.517
AT ITER 9736 NEW BEST:: SOT 91283 SOS 73513 HAS SOPS 31940 HAS SOUS 14793 HAS SOUPS 11790 WITH SCORE 11863.513
AT ITER 9751 NEW BEST:: SOT 91275 SOS 73505 HAS SOPS 31928 HAS SOUS 14771 HAS SOUPS 11768 WITH SCORE 11841.505
AT ITER 9761 NEW BEST:: SOT 91275 SOS 73505 HAS SOPS 31928 HAS SOUS 14768 HAS SOUPS 11765 WITH SCORE 11838.505
AT ITER 9786 NEW BEST:: SOT 91265 SOS 73495 HAS SOPS 31913 HAS SOUS 14753 HAS SOUPS 11750 WITH SCORE 11823.495
AT ITER 9817 NEW BEST:: SOT 91257 SOS 73487 HAS SOPS 31897 HAS SOUS 14753 HAS SOUPS 11750 WITH SCORE 11823.487
AT ITER 9887 NEW BEST:: SOT 91255 SOS 73485 HAS SOPS 31894 HAS SOUS 14750 HAS SOUPS 11747 WITH SCORE 11820.485
AT ITER 9928 NEW BEST:: SOT 91168 SOS 74178 HAS SOPS 32119 HAS SOUS 14761 HAS SOUPS 11745 WITH SCORE 11819.178
AT ITER 9932 NEW BEST:: SOT 91118 SOS 74128 HAS SOPS 32089 HAS SOUS 14731 HAS SOUPS 11715 WITH SCORE 11789.128
AT ITER 9973 NEW BEST:: SOT 91118 SOS 74128 HAS SOPS 32085 HAS SOUS 14731 HAS SOUPS 11711 WITH SCORE 11785.128
AT ITER 9999 NEW BEST:: SOT 91104 SOS 74114 HAS SOPS 32053 HAS SOUS 14709 HAS SOUPS 11689 WITH SCORE 11763.114
BK_STOP 1679142902612
--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 479 Killed ${SMART}/smart ${INPUT_SM}
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="Raft-PT-08"
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 Raft-PT-08, 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 r331-tall-167889204400344"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-08.tgz
mv Raft-PT-08 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 ;