Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r299-tall-167873953200616.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is PolyORBLF-PT-S06J06T04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953200616
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 16K Feb 26 13:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 26 13:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 223K Feb 26 13:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 956K Feb 26 13:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 44K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 211K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 658K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 26K Feb 26 14:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 142K Feb 26 14:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 167K Feb 26 14:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 773K Feb 26 14:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.4K Feb 25 16:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 6.9M 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 1679521869967

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-PT-S06J06T04
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 21:51:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 21:51:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 21:51:11] [INFO ] Load time of PNML (sax parser for PT used): 377 ms
[2023-03-22 21:51:11] [INFO ] Transformed 506 places.
[2023-03-22 21:51:11] [INFO ] Transformed 7154 transitions.
[2023-03-22 21:51:11] [INFO ] Parsed PT model containing 506 places and 7154 transitions and 59824 arcs in 542 ms.
[2023-03-22 21:51:12] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 506 places, 7154 transitions and 59824 arcs took 103 ms.
Total runtime 674 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S06J06T04
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: 506 places, 7154 transitions, 59824 arcs.
AT ITER 0 NEW BEST:: SOT 2475346 SOS 933383 HAS SOPS 927871 HAS SOUS 204619 HAS SOUPS 204053 WITH SCORE 204986.383
AT ITER 5 NEW BEST:: SOT 2475346 SOS 933414 HAS SOPS 927902 HAS SOUS 204600 HAS SOUPS 204034 WITH SCORE 204967.414
AT ITER 8 NEW BEST:: SOT 2474430 SOS 932732 HAS SOPS 927220 HAS SOUS 204372 HAS SOUPS 203806 WITH SCORE 204738.732
AT ITER 10 NEW BEST:: SOT 2474427 SOS 932729 HAS SOPS 927217 HAS SOUS 204369 HAS SOUPS 203803 WITH SCORE 204735.729
AT ITER 12 NEW BEST:: SOT 2474028 SOS 923940 HAS SOPS 918428 HAS SOUS 203941 HAS SOUPS 203375 WITH SCORE 204298.94
AT ITER 33 NEW BEST:: SOT 2473172 SOS 923239 HAS SOPS 917727 HAS SOUS 203119 HAS SOUPS 202553 WITH SCORE 203476.239
AT ITER 41 NEW BEST:: SOT 2473186 SOS 923054 HAS SOPS 917632 HAS SOUS 202931 HAS SOUPS 202365 WITH SCORE 203288.054
AT ITER 52 NEW BEST:: SOT 2473214 SOS 923082 HAS SOPS 917630 HAS SOUS 202906 HAS SOUPS 202335 WITH SCORE 203258.082
AT ITER 54 NEW BEST:: SOT 2472483 SOS 922531 HAS SOPS 917079 HAS SOUS 202241 HAS SOUPS 201670 WITH SCORE 202592.531
AT ITER 56 NEW BEST:: SOT 2471725 SOS 921875 HAS SOPS 916423 HAS SOUS 201596 HAS SOUPS 201025 WITH SCORE 201946.875
AT ITER 62 NEW BEST:: SOT 2471649 SOS 921791 HAS SOPS 916339 HAS SOUS 200928 HAS SOUPS 200357 WITH SCORE 201278.791
AT ITER 66 NEW BEST:: SOT 2471575 SOS 921725 HAS SOPS 916273 HAS SOUS 200856 HAS SOUPS 200285 WITH SCORE 201206.725
AT ITER 68 NEW BEST:: SOT 2471575 SOS 922569 HAS SOPS 917117 HAS SOUS 200850 HAS SOUPS 200279 WITH SCORE 201201.569
AT ITER 69 NEW BEST:: SOT 2471551 SOS 922537 HAS SOPS 917085 HAS SOUS 200849 HAS SOUPS 200278 WITH SCORE 201200.537
AT ITER 71 NEW BEST:: SOT 2471455 SOS 922441 HAS SOPS 916989 HAS SOUS 200849 HAS SOUPS 200278 WITH SCORE 201200.441
AT ITER 82 NEW BEST:: SOT 2471641 SOS 922546 HAS SOPS 917094 HAS SOUS 200212 HAS SOUPS 199641 WITH SCORE 200563.546
AT ITER 85 NEW BEST:: SOT 2471313 SOS 922321 HAS SOPS 916869 HAS SOUS 199924 HAS SOUPS 199353 WITH SCORE 200275.321
AT ITER 100 NEW BEST:: SOT 2471279 SOS 922227 HAS SOPS 916775 HAS SOUS 199830 HAS SOUPS 199259 WITH SCORE 200181.227
AT ITER 114 NEW BEST:: SOT 2471279 SOS 922235 HAS SOPS 916783 HAS SOUS 199622 HAS SOUPS 199051 WITH SCORE 199973.235
AT ITER 125 NEW BEST:: SOT 2471289 SOS 922325 HAS SOPS 916873 HAS SOUS 199620 HAS SOUPS 199049 WITH SCORE 199971.325
AT ITER 132 NEW BEST:: SOT 2471349 SOS 922535 HAS SOPS 917083 HAS SOUS 199615 HAS SOUPS 199044 WITH SCORE 199966.535
AT ITER 135 NEW BEST:: SOT 2410818 SOS 1088262 HAS SOPS 1082810 HAS SOUS 193217 HAS SOUPS 192646 WITH SCORE 193734.262
AT ITER 139 NEW BEST:: SOT 2409923 SOS 1087443 HAS SOPS 1081991 HAS SOUS 192528 HAS SOUPS 191957 WITH SCORE 193044.443
AT ITER 147 NEW BEST:: SOT 2409815 SOS 1087373 HAS SOPS 1081921 HAS SOUS 192456 HAS SOUPS 191885 WITH SCORE 192972.373
AT ITER 151 NEW BEST:: SOT 2404927 SOS 1097774 HAS SOPS 1095491 HAS SOUS 188383 HAS SOUPS 187924 WITH SCORE 189021.774
AT ITER 156 NEW BEST:: SOT 2404849 SOS 1096371 HAS SOPS 1094088 HAS SOUS 188366 HAS SOUPS 187907 WITH SCORE 189003.371
AT ITER 157 NEW BEST:: SOT 2404849 SOS 1096371 HAS SOPS 1094088 HAS SOUS 188361 HAS SOUPS 187902 WITH SCORE 188998.371
AT ITER 161 NEW BEST:: SOT 2404581 SOS 1096174 HAS SOPS 1093891 HAS SOUS 188124 HAS SOUPS 187665 WITH SCORE 188761.174
AT ITER 165 NEW BEST:: SOT 2403495 SOS 1095083 HAS SOPS 1092800 HAS SOUS 186987 HAS SOUPS 186528 WITH SCORE 187623.083
AT ITER 168 NEW BEST:: SOT 2403321 SOS 1094861 HAS SOPS 1092578 HAS SOUS 186693 HAS SOUPS 186234 WITH SCORE 187328.861
AT ITER 169 NEW BEST:: SOT 2403201 SOS 1094732 HAS SOPS 1092504 HAS SOUS 186616 HAS SOUPS 186157 WITH SCORE 187251.732
AT ITER 173 NEW BEST:: SOT 2403438 SOS 1099949 HAS SOPS 1096901 HAS SOUS 186483 HAS SOUPS 185819 WITH SCORE 186918.949
AT ITER 175 NEW BEST:: SOT 2402709 SOS 1099327 HAS SOPS 1096279 HAS SOUS 185309 HAS SOUPS 184645 WITH SCORE 185744.327
AT ITER 181 NEW BEST:: SOT 2402470 SOS 1099204 HAS SOPS 1096156 HAS SOUS 185167 HAS SOUPS 184503 WITH SCORE 185602.204
AT ITER 192 NEW BEST:: SOT 2402428 SOS 1099356 HAS SOPS 1096308 HAS SOUS 184932 HAS SOUPS 184268 WITH SCORE 185367.356
AT ITER 202 NEW BEST:: SOT 2401701 SOS 1098549 HAS SOPS 1095501 HAS SOUS 184362 HAS SOUPS 183698 WITH SCORE 184796.549
AT ITER 207 NEW BEST:: SOT 2401677 SOS 1098525 HAS SOPS 1095429 HAS SOUS 184338 HAS SOUPS 183626 WITH SCORE 184724.525
AT ITER 217 NEW BEST:: SOT 2401672 SOS 1098520 HAS SOPS 1095424 HAS SOUS 184333 HAS SOUPS 183621 WITH SCORE 184719.52
AT ITER 226 NEW BEST:: SOT 2401588 SOS 1098460 HAS SOPS 1095364 HAS SOUS 184199 HAS SOUPS 183487 WITH SCORE 184585.46
AT ITER 227 NEW BEST:: SOT 2401531 SOS 1098460 HAS SOPS 1095364 HAS SOUS 184123 HAS SOUPS 183411 WITH SCORE 184509.46
AT ITER 235 NEW BEST:: SOT 2401531 SOS 1096232 HAS SOPS 1093136 HAS SOUS 184119 HAS SOUPS 183407 WITH SCORE 184503.232
AT ITER 240 NEW BEST:: SOT 2401501 SOS 1096263 HAS SOPS 1093167 HAS SOUS 184110 HAS SOUPS 183398 WITH SCORE 184494.263
AT ITER 243 NEW BEST:: SOT 2401116 SOS 1095878 HAS SOPS 1092782 HAS SOUS 183763 HAS SOUPS 183051 WITH SCORE 184146.878
AT ITER 258 NEW BEST:: SOT 2401116 SOS 1095851 HAS SOPS 1092755 HAS SOUS 183628 HAS SOUPS 182916 WITH SCORE 184011.851
AT ITER 270 NEW BEST:: SOT 2401102 SOS 1095837 HAS SOPS 1092741 HAS SOUS 183614 HAS SOUPS 182902 WITH SCORE 183997.837
AT ITER 277 NEW BEST:: SOT 2400950 SOS 1094230 HAS SOPS 1091249 HAS SOUS 180684 HAS SOUPS 180005 WITH SCORE 181099.23
AT ITER 294 NEW BEST:: SOT 2343992 SOS 1037275 HAS SOPS 1034294 HAS SOUS 172730 HAS SOUPS 172051 WITH SCORE 173088.275
AT ITER 299 NEW BEST:: SOT 2343995 SOS 1037337 HAS SOPS 1034356 HAS SOUS 172333 HAS SOUPS 171654 WITH SCORE 172691.337
AT ITER 317 NEW BEST:: SOT 2343967 SOS 1037304 HAS SOPS 1034323 HAS SOUS 172282 HAS SOUPS 171603 WITH SCORE 172640.304
AT ITER 318 NEW BEST:: SOT 2343871 SOS 1037206 HAS SOPS 1034292 HAS SOUS 172244 HAS SOUPS 171565 WITH SCORE 172602.206
AT ITER 319 NEW BEST:: SOT 2343887 SOS 1037163 HAS SOPS 1034249 HAS SOUS 171906 HAS SOUPS 171227 WITH SCORE 172264.163
AT ITER 321 NEW BEST:: SOT 2343900 SOS 1037163 HAS SOPS 1034249 HAS SOUS 171881 HAS SOUPS 171202 WITH SCORE 172239.163
AT ITER 327 NEW BEST:: SOT 2343900 SOS 1037280 HAS SOPS 1034366 HAS SOUS 171342 HAS SOUPS 170663 WITH SCORE 171700.28
AT ITER 328 NEW BEST:: SOT 2343900 SOS 1037253 HAS SOPS 1034339 HAS SOUS 171295 HAS SOUPS 170616 WITH SCORE 171653.253
AT ITER 330 NEW BEST:: SOT 2343898 SOS 1037279 HAS SOPS 1034365 HAS SOUS 171263 HAS SOUPS 170584 WITH SCORE 171621.279
AT ITER 333 NEW BEST:: SOT 2343867 SOS 1037248 HAS SOPS 1034334 HAS SOUS 171244 HAS SOUPS 170565 WITH SCORE 171602.248
AT ITER 336 NEW BEST:: SOT 2343811 SOS 1037192 HAS SOPS 1034278 HAS SOUS 171160 HAS SOUPS 170481 WITH SCORE 171518.192
AT ITER 337 NEW BEST:: SOT 2343811 SOS 1033816 HAS SOPS 1031722 HAS SOUS 170955 HAS SOUPS 170481 WITH SCORE 171514.816
AT ITER 363 NEW BEST:: SOT 2343797 SOS 1033802 HAS SOPS 1031741 HAS SOUS 170938 HAS SOUPS 170464 WITH SCORE 171497.802
AT ITER 367 NEW BEST:: SOT 2343755 SOS 1033760 HAS SOPS 1031699 HAS SOUS 170915 HAS SOUPS 170441 WITH SCORE 171474.76
AT ITER 380 NEW BEST:: SOT 2343755 SOS 1033609 HAS SOPS 1031548 HAS SOUS 170915 HAS SOUPS 170441 WITH SCORE 171474.609
AT ITER 386 NEW BEST:: SOT 2343786 SOS 1033623 HAS SOPS 1031562 HAS SOUS 170784 HAS SOUPS 170310 WITH SCORE 171343.623
AT ITER 401 NEW BEST:: SOT 2343534 SOS 1033498 HAS SOPS 1031437 HAS SOUS 170299 HAS SOUPS 169825 WITH SCORE 170858.498
AT ITER 410 NEW BEST:: SOT 2342778 SOS 1032870 HAS SOPS 1030809 HAS SOUS 169699 HAS SOUPS 169225 WITH SCORE 170257.87
AT ITER 422 NEW BEST:: SOT 2342697 SOS 1032816 HAS SOPS 1030755 HAS SOUS 169577 HAS SOUPS 169103 WITH SCORE 170135.816
AT ITER 433 NEW BEST:: SOT 2342671 SOS 1032790 HAS SOPS 1030729 HAS SOUS 169551 HAS SOUPS 169077 WITH SCORE 170109.79
AT ITER 438 NEW BEST:: SOT 2341956 SOS 1032151 HAS SOPS 1030090 HAS SOUS 169249 HAS SOUPS 168775 WITH SCORE 169807.151
AT ITER 441 NEW BEST:: SOT 2341956 SOS 1032146 HAS SOPS 1030085 HAS SOUS 169244 HAS SOUPS 168770 WITH SCORE 169802.146
AT ITER 449 NEW BEST:: SOT 2341945 SOS 1032135 HAS SOPS 1030074 HAS SOUS 169222 HAS SOUPS 168748 WITH SCORE 169780.135
AT ITER 463 NEW BEST:: SOT 2341945 SOS 1032135 HAS SOPS 1030074 HAS SOUS 169217 HAS SOUPS 168743 WITH SCORE 169775.135
AT ITER 469 NEW BEST:: SOT 2341707 SOS 1031897 HAS SOPS 1029836 HAS SOUS 168979 HAS SOUPS 168505 WITH SCORE 169536.897
AT ITER 470 NEW BEST:: SOT 2341590 SOS 1031625 HAS SOPS 1029564 HAS SOUS 168837 HAS SOUPS 168363 WITH SCORE 169394.625
AT ITER 471 NEW BEST:: SOT 2316349 SOS 1332186 HAS SOPS 1330125 HAS SOUS 166662 HAS SOUPS 166188 WITH SCORE 167520.186
AT ITER 473 NEW BEST:: SOT 2316119 SOS 1332040 HAS SOPS 1329979 HAS SOUS 166558 HAS SOUPS 166084 WITH SCORE 167416.04
AT ITER 475 NEW BEST:: SOT 2315980 SOS 1331885 HAS SOPS 1329824 HAS SOUS 166480 HAS SOUPS 166006 WITH SCORE 167337.885
AT ITER 481 NEW BEST:: SOT 2315084 SOS 1005447 HAS SOPS 1003386 HAS SOUS 164920 HAS SOUPS 164446 WITH SCORE 165451.447
AT ITER 498 NEW BEST:: SOT 2315084 SOS 1005439 HAS SOPS 1003378 HAS SOUS 164920 HAS SOUPS 164446 WITH SCORE 165451.439
AT ITER 504 NEW BEST:: SOT 2315084 SOS 1005263 HAS SOPS 1003202 HAS SOUS 164920 HAS SOUPS 164446 WITH SCORE 165451.263
AT ITER 514 NEW BEST:: SOT 2315080 SOS 1005259 HAS SOPS 1003198 HAS SOUS 164900 HAS SOUPS 164426 WITH SCORE 165431.259
AT ITER 524 NEW BEST:: SOT 2315080 SOS 1005259 HAS SOPS 1003228 HAS SOUS 164876 HAS SOUPS 164402 WITH SCORE 165407.259
AT ITER 538 NEW BEST:: SOT 2315080 SOS 1005256 HAS SOPS 1003225 HAS SOUS 164873 HAS SOUPS 164399 WITH SCORE 165404.256
AT ITER 554 NEW BEST:: SOT 2315080 SOS 1005256 HAS SOPS 1003225 HAS SOUS 164867 HAS SOUPS 164393 WITH SCORE 165398.256
AT ITER 556 NEW BEST:: SOT 2315004 SOS 1005180 HAS SOPS 1003149 HAS SOUS 164757 HAS SOUPS 164283 WITH SCORE 165288.18
AT ITER 565 NEW BEST:: SOT 2283227 SOS 1105064 HAS SOPS 1103033 HAS SOUS 162337 HAS SOUPS 161863 WITH SCORE 162968.064
AT ITER 570 NEW BEST:: SOT 2282996 SOS 1104833 HAS SOPS 1102802 HAS SOUS 162100 HAS SOUPS 161626 WITH SCORE 162730.833
AT ITER 573 NEW BEST:: SOT 2282747 SOS 1104307 HAS SOPS 1102276 HAS SOUS 161908 HAS SOUPS 161434 WITH SCORE 162538.307
AT ITER 574 NEW BEST:: SOT 2282747 SOS 1102089 HAS SOPS 1100058 HAS SOUS 161859 HAS SOUPS 161385 WITH SCORE 162487.089
AT ITER 584 NEW BEST:: SOT 2282753 SOS 1102207 HAS SOPS 1100176 HAS SOUS 161324 HAS SOUPS 160850 WITH SCORE 161952.207
AT ITER 585 NEW BEST:: SOT 2282392 SOS 1101600 HAS SOPS 1099569 HAS SOUS 160622 HAS SOUPS 160148 WITH SCORE 161249.6
AT ITER 586 NEW BEST:: SOT 2282369 SOS 1101560 HAS SOPS 1099529 HAS SOUS 160576 HAS SOUPS 160102 WITH SCORE 161203.56
AT ITER 599 NEW BEST:: SOT 2282071 SOS 1101262 HAS SOPS 1099231 HAS SOUS 160278 HAS SOUPS 159804 WITH SCORE 160905.262
AT ITER 602 NEW BEST:: SOT 2282032 SOS 1101223 HAS SOPS 1099192 HAS SOUS 160239 HAS SOUPS 159765 WITH SCORE 160866.223
AT ITER 606 NEW BEST:: SOT 2281933 SOS 1101190 HAS SOPS 1099159 HAS SOUS 160113 HAS SOUPS 159639 WITH SCORE 160740.19
AT ITER 608 NEW BEST:: SOT 2281858 SOS 1100991 HAS SOPS 1098960 HAS SOUS 160043 HAS SOUPS 159569 WITH SCORE 160669.991
AT ITER 612 NEW BEST:: SOT 2281546 SOS 1100774 HAS SOPS 1098743 HAS SOUS 159843 HAS SOUPS 159369 WITH SCORE 160469.774
AT ITER 613 NEW BEST:: SOT 2281471 SOS 1100548 HAS SOPS 1098517 HAS SOUS 159777 HAS SOUPS 159303 WITH SCORE 160403.548
AT ITER 619 NEW BEST:: SOT 2281439 SOS 1100452 HAS SOPS 1098421 HAS SOUS 159729 HAS SOUPS 159255 WITH SCORE 160355.452
AT ITER 623 NEW BEST:: SOT 2281439 SOS 1098979 HAS SOPS 1097067 HAS SOUS 156239 HAS SOUPS 155797 WITH SCORE 156895.979
AT ITER 625 NEW BEST:: SOT 2281527 SOS 1099255 HAS SOPS 1097343 HAS SOUS 156035 HAS SOUPS 155593 WITH SCORE 156692.255
AT ITER 640 NEW BEST:: SOT 2281211 SOS 1098873 HAS SOPS 1096961 HAS SOUS 155421 HAS SOUPS 154979 WITH SCORE 156077.873
AT ITER 652 NEW BEST:: SOT 2281001 SOS 1098603 HAS SOPS 1096691 HAS SOUS 155151 HAS SOUPS 154709 WITH SCORE 155807.603
AT ITER 663 NEW BEST:: SOT 2281004 SOS 1098606 HAS SOPS 1096694 HAS SOUS 155127 HAS SOUPS 154685 WITH SCORE 155783.606
AT ITER 666 NEW BEST:: SOT 2281010 SOS 1098612 HAS SOPS 1096700 HAS SOUS 155114 HAS SOUPS 154672 WITH SCORE 155770.612
AT ITER 670 NEW BEST:: SOT 2282071 SOS 1099295 HAS SOPS 1097383 HAS SOUS 153902 HAS SOUPS 153460 WITH SCORE 154559.295
AT ITER 676 NEW BEST:: SOT 2281968 SOS 1098964 HAS SOPS 1097052 HAS SOUS 153519 HAS SOUPS 153077 WITH SCORE 154175.964
AT ITER 677 NEW BEST:: SOT 2281805 SOS 1098793 HAS SOPS 1096881 HAS SOUS 153325 HAS SOUPS 152883 WITH SCORE 153981.793
AT ITER 679 NEW BEST:: SOT 2281805 SOS 1099041 HAS SOPS 1097129 HAS SOUS 153290 HAS SOUPS 152848 WITH SCORE 153947.041
AT ITER 680 NEW BEST:: SOT 2281785 SOS 1099021 HAS SOPS 1097089 HAS SOUS 153257 HAS SOUPS 152812 WITH SCORE 153911.021
AT ITER 702 NEW BEST:: SOT 2281785 SOS 1099036 HAS SOPS 1097104 HAS SOUS 153019 HAS SOUPS 152574 WITH SCORE 153673.036
AT ITER 727 NEW BEST:: SOT 2281785 SOS 1099704 HAS SOPS 1097772 HAS SOUS 153017 HAS SOUPS 152572 WITH SCORE 153671.704
AT ITER 757 NEW BEST:: SOT 2281477 SOS 1099396 HAS SOPS 1097464 HAS SOUS 152811 HAS SOUPS 152366 WITH SCORE 153465.396
AT ITER 758 NEW BEST:: SOT 2281581 SOS 1099485 HAS SOPS 1097553 HAS SOUS 152792 HAS SOUPS 152347 WITH SCORE 153446.485
AT ITER 788 NEW BEST:: SOT 2281479 SOS 1099415 HAS SOPS 1097484 HAS SOUS 152748 HAS SOUPS 152303 WITH SCORE 153402.415
AT ITER 789 NEW BEST:: SOT 2281830 SOS 1099151 HAS SOPS 1095302 HAS SOUS 153134 HAS SOUPS 152224 WITH SCORE 153323.151
AT ITER 798 NEW BEST:: SOT 2281821 SOS 1099142 HAS SOPS 1095293 HAS SOUS 153125 HAS SOUPS 152215 WITH SCORE 153314.142
AT ITER 825 NEW BEST:: SOT 2281719 SOS 1099040 HAS SOPS 1095191 HAS SOUS 152754 HAS SOUPS 151844 WITH SCORE 152943.04
AT ITER 832 NEW BEST:: SOT 2281753 SOS 1098975 HAS SOPS 1095126 HAS SOUS 151954 HAS SOUPS 151044 WITH SCORE 152142.975
AT ITER 835 NEW BEST:: SOT 2281752 SOS 1098974 HAS SOPS 1095125 HAS SOUS 151949 HAS SOUPS 151039 WITH SCORE 152137.974
AT ITER 836 NEW BEST:: SOT 2281700 SOS 1098922 HAS SOPS 1095073 HAS SOUS 151845 HAS SOUPS 150935 WITH SCORE 152033.922
AT ITER 837 NEW BEST:: SOT 2281684 SOS 1098906 HAS SOPS 1095057 HAS SOUS 151789 HAS SOUPS 150879 WITH SCORE 151977.906
AT ITER 839 NEW BEST:: SOT 2281665 SOS 1098887 HAS SOPS 1095038 HAS SOUS 151751 HAS SOUPS 150841 WITH SCORE 151939.887
AT ITER 844 NEW BEST:: SOT 2281665 SOS 1098887 HAS SOPS 1095038 HAS SOUS 151733 HAS SOUPS 150823 WITH SCORE 151921.887
AT ITER 850 NEW BEST:: SOT 2281608 SOS 1098830 HAS SOPS 1094981 HAS SOUS 151663 HAS SOUPS 150753 WITH SCORE 151851.83
AT ITER 855 NEW BEST:: SOT 2281547 SOS 1098769 HAS SOPS 1094920 HAS SOUS 151602 HAS SOUPS 150692 WITH SCORE 151790.769
AT ITER 858 NEW BEST:: SOT 2281536 SOS 1098851 HAS SOPS 1095002 HAS SOUS 151402 HAS SOUPS 150492 WITH SCORE 151590.851
AT ITER 860 NEW BEST:: SOT 2281536 SOS 1096923 HAS SOPS 1093074 HAS SOUS 151330 HAS SOUPS 150420 WITH SCORE 151516.923
AT ITER 866 NEW BEST:: SOT 2281490 SOS 1096877 HAS SOPS 1093052 HAS SOUS 151151 HAS SOUPS 150241 WITH SCORE 151337.877
AT ITER 893 NEW BEST:: SOT 2281478 SOS 1096859 HAS SOPS 1093034 HAS SOUS 151109 HAS SOUPS 150199 WITH SCORE 151295.859
AT ITER 901 NEW BEST:: SOT 2281478 SOS 1096859 HAS SOPS 1093034 HAS SOUS 151067 HAS SOUPS 150157 WITH SCORE 151253.859
AT ITER 910 NEW BEST:: SOT 2281473 SOS 1096854 HAS SOPS 1093029 HAS SOUS 151057 HAS SOUPS 150147 WITH SCORE 151243.854
AT ITER 911 NEW BEST:: SOT 2215495 SOS 1031936 HAS SOPS 1027751 HAS SOUS 146889 HAS SOUPS 145889 WITH SCORE 146920.936
AT ITER 919 NEW BEST:: SOT 2215490 SOS 1031931 HAS SOPS 1027746 HAS SOUS 146884 HAS SOUPS 145884 WITH SCORE 146915.931
AT ITER 920 NEW BEST:: SOT 2215397 SOS 1031759 HAS SOPS 1027574 HAS SOUS 146699 HAS SOUPS 145699 WITH SCORE 146730.759
AT ITER 936 NEW BEST:: SOT 2215157 SOS 1031535 HAS SOPS 1027350 HAS SOUS 146475 HAS SOUPS 145475 WITH SCORE 146506.535
AT ITER 946 NEW BEST:: SOT 2215121 SOS 1031499 HAS SOPS 1027314 HAS SOUS 146433 HAS SOUPS 145433 WITH SCORE 146464.499
AT ITER 960 NEW BEST:: SOT 2215131 SOS 1031509 HAS SOPS 1027324 HAS SOUS 146383 HAS SOUPS 145383 WITH SCORE 146414.509
AT ITER 968 NEW BEST:: SOT 2215132 SOS 1011386 HAS SOPS 1007201 HAS SOUS 146385 HAS SOUPS 145385 WITH SCORE 146396.386
AT ITER 972 NEW BEST:: SOT 2215191 SOS 1011374 HAS SOPS 1007189 HAS SOUS 146373 HAS SOUPS 145373 WITH SCORE 146384.374
AT ITER 976 NEW BEST:: SOT 2215143 SOS 1011326 HAS SOPS 1007141 HAS SOUS 146325 HAS SOUPS 145325 WITH SCORE 146336.326
AT ITER 977 NEW BEST:: SOT 2215174 SOS 1028443 HAS SOPS 1024258 HAS SOUS 146124 HAS SOUPS 145124 WITH SCORE 146152.443
AT ITER 979 NEW BEST:: SOT 2215167 SOS 1028436 HAS SOPS 1024251 HAS SOUS 146117 HAS SOUPS 145117 WITH SCORE 146145.436
AT ITER 995 NEW BEST:: SOT 2215166 SOS 1028435 HAS SOPS 1024250 HAS SOUS 146116 HAS SOUPS 145116 WITH SCORE 146144.435
AT ITER 1003 NEW BEST:: SOT 2215136 SOS 1028405 HAS SOPS 1024207 HAS SOUS 146077 HAS SOUPS 145073 WITH SCORE 146101.405
AT ITER 1006 NEW BEST:: SOT 2215140 SOS 1028450 HAS SOPS 1024252 HAS SOUS 146001 HAS SOUPS 144997 WITH SCORE 146025.45
AT ITER 1010 NEW BEST:: SOT 2215166 SOS 1028476 HAS SOPS 1024253 HAS SOUS 145997 HAS SOUPS 144993 WITH SCORE 146021.476
AT ITER 1011 NEW BEST:: SOT 2214841 SOS 1028254 HAS SOPS 1024031 HAS SOUS 145803 HAS SOUPS 144799 WITH SCORE 145827.254
AT ITER 1025 NEW BEST:: SOT 2214789 SOS 1028159 HAS SOPS 1023936 HAS SOUS 145665 HAS SOUPS 144661 WITH SCORE 145689.159
AT ITER 1029 NEW BEST:: SOT 2214787 SOS 1028155 HAS SOPS 1023932 HAS SOUS 145661 HAS SOUPS 144657 WITH SCORE 145685.155
AT ITER 1030 NEW BEST:: SOT 2214369 SOS 1030694 HAS SOPS 1025603 HAS SOUS 145592 HAS SOUPS 144371 WITH SCORE 145401.694
AT ITER 1034 NEW BEST:: SOT 2214376 SOS 1030701 HAS SOPS 1025604 HAS SOUS 145564 HAS SOUPS 144343 WITH SCORE 145373.701
AT ITER 1046 NEW BEST:: SOT 2214388 SOS 1030713 HAS SOPS 1025652 HAS SOUS 145483 HAS SOUPS 144262 WITH SCORE 145292.713
AT ITER 1058 NEW BEST:: SOT 2214388 SOS 1030611 HAS SOPS 1025550 HAS SOUS 145381 HAS SOUPS 144160 WITH SCORE 145190.611
AT ITER 1064 NEW BEST:: SOT 2214314 SOS 1030537 HAS SOPS 1025476 HAS SOUS 145309 HAS SOUPS 144088 WITH SCORE 145118.537
AT ITER 1066 NEW BEST:: SOT 2214304 SOS 1030527 HAS SOPS 1025466 HAS SOUS 145188 HAS SOUPS 143967 WITH SCORE 144997.527
AT ITER 1068 NEW BEST:: SOT 2213836 SOS 1030047 HAS SOPS 1024986 HAS SOUS 144708 HAS SOUPS 143487 WITH SCORE 144517.047
AT ITER 1079 NEW BEST:: SOT 2213785 SOS 1029996 HAS SOPS 1024935 HAS SOUS 144657 HAS SOUPS 143436 WITH SCORE 144465.996
AT ITER 1087 NEW BEST:: SOT 2163346 SOS 1027351 HAS SOPS 1022290 HAS SOUS 138708 HAS SOUPS 137487 WITH SCORE 138514.351
AT ITER 1090 NEW BEST:: SOT 2162329 SOS 1026334 HAS SOPS 1021273 HAS SOUS 137488 HAS SOUPS 136267 WITH SCORE 137293.334
AT ITER 1121 NEW BEST:: SOT 2140632 SOS 1080910 HAS SOPS 1075849 HAS SOUS 135527 HAS SOUPS 134306 WITH SCORE 135386.91
AT ITER 1154 NEW BEST:: SOT 2140630 SOS 1080908 HAS SOPS 1075847 HAS SOUS 135523 HAS SOUPS 134302 WITH SCORE 135382.908
AT ITER 1160 NEW BEST:: SOT 2140624 SOS 1080886 HAS SOPS 1075825 HAS SOUS 135501 HAS SOUPS 134280 WITH SCORE 135360.886
AT ITER 1162 NEW BEST:: SOT 2140653 SOS 1080850 HAS SOPS 1075789 HAS SOUS 135408 HAS SOUPS 134187 WITH SCORE 135267.85
AT ITER 1207 NEW BEST:: SOT 2140609 SOS 1080806 HAS SOPS 1075745 HAS SOUS 135240 HAS SOUPS 134019 WITH SCORE 135099.806
AT ITER 1213 NEW BEST:: SOT 2140517 SOS 1078118 HAS SOPS 1073057 HAS SOUS 135111 HAS SOUPS 133890 WITH SCORE 134968.118
AT ITER 1228 NEW BEST:: SOT 2140518 SOS 1078119 HAS SOPS 1073002 HAS SOUS 135001 HAS SOUPS 133780 WITH SCORE 134858.119
AT ITER 1233 NEW BEST:: SOT 2140506 SOS 1078111 HAS SOPS 1072994 HAS SOUS 134994 HAS SOUPS 133773 WITH SCORE 134851.111
AT ITER 1241 NEW BEST:: SOT 2140536 SOS 1078141 HAS SOPS 1073073 HAS SOUS 134888 HAS SOUPS 133667 WITH SCORE 134745.141
AT ITER 1268 NEW BEST:: SOT 2094532 SOS 1075481 HAS SOPS 1070413 HAS SOUS 130530 HAS SOUPS 129309 WITH SCORE 130384.481
AT ITER 1274 NEW BEST:: SOT 2094493 SOS 1074961 HAS SOPS 1069893 HAS SOUS 130478 HAS SOUPS 129257 WITH SCORE 130331.961
AT ITER 1290 NEW BEST:: SOT 2094093 SOS 984861 HAS SOPS 979793 HAS SOUS 129904 HAS SOUPS 128683 WITH SCORE 129667.861
AT ITER 1332 NEW BEST:: SOT 2094098 SOS 984866 HAS SOPS 979796 HAS SOUS 129888 HAS SOUPS 128667 WITH SCORE 129651.866
AT ITER 1349 NEW BEST:: SOT 2094048 SOS 984854 HAS SOPS 979784 HAS SOUS 129876 HAS SOUPS 128655 WITH SCORE 129639.854
AT ITER 1350 NEW BEST:: SOT 2093965 SOS 984771 HAS SOPS 979701 HAS SOUS 129646 HAS SOUPS 128425 WITH SCORE 129409.771
AT ITER 1354 NEW BEST:: SOT 2093888 SOS 984785 HAS SOPS 979715 HAS SOUS 129457 HAS SOUPS 128236 WITH SCORE 129220.785
AT ITER 1367 NEW BEST:: SOT 2093884 SOS 984781 HAS SOPS 979711 HAS SOUS 129449 HAS SOUPS 128228 WITH SCORE 129212.781
AT ITER 1376 NEW BEST:: SOT 2093876 SOS 984773 HAS SOPS 979703 HAS SOUS 129401 HAS SOUPS 128180 WITH SCORE 129164.773
AT ITER 1380 NEW BEST:: SOT 2093704 SOS 984696 HAS SOPS 979626 HAS SOUS 129223 HAS SOUPS 128002 WITH SCORE 128986.696
AT ITER 1382 NEW BEST:: SOT 2093700 SOS 984692 HAS SOPS 979622 HAS SOUS 129215 HAS SOUPS 127994 WITH SCORE 128978.692
AT ITER 1399 NEW BEST:: SOT 2093708 SOS 984700 HAS SOPS 979630 HAS SOUS 129146 HAS SOUPS 127925 WITH SCORE 128909.7
AT ITER 1429 NEW BEST:: SOT 2093708 SOS 984692 HAS SOPS 979622 HAS SOUS 129146 HAS SOUPS 127925 WITH SCORE 128909.692
AT ITER 1432 NEW BEST:: SOT 2093727 SOS 984956 HAS SOPS 979886 HAS SOUS 129114 HAS SOUPS 127893 WITH SCORE 128877.956
AT ITER 1433 NEW BEST:: SOT 2093575 SOS 984640 HAS SOPS 979570 HAS SOUS 128799 HAS SOUPS 127578 WITH SCORE 128562.64
AT ITER 1436 NEW BEST:: SOT 2093568 SOS 984633 HAS SOPS 979563 HAS SOUS 128789 HAS SOUPS 127568 WITH SCORE 128552.633
AT ITER 1439 NEW BEST:: SOT 2093435 SOS 984565 HAS SOPS 979495 HAS SOUS 128709 HAS SOUPS 127488 WITH SCORE 128472.565
AT ITER 1443 NEW BEST:: SOT 2093434 SOS 984564 HAS SOPS 979494 HAS SOUS 128708 HAS SOUPS 127487 WITH SCORE 128471.564
AT ITER 1449 NEW BEST:: SOT 2093396 SOS 984526 HAS SOPS 979456 HAS SOUS 128634 HAS SOUPS 127413 WITH SCORE 128397.526
AT ITER 1465 NEW BEST:: SOT 2093396 SOS 983752 HAS SOPS 978682 HAS SOUS 128579 HAS SOUPS 127358 WITH SCORE 128341.752
AT ITER 1475 NEW BEST:: SOT 2093373 SOS 983729 HAS SOPS 978659 HAS SOUS 128533 HAS SOUPS 127312 WITH SCORE 128295.729
AT ITER 1493 NEW BEST:: SOT 2093352 SOS 982931 HAS SOPS 977861 HAS SOUS 128533 HAS SOUPS 127312 WITH SCORE 128294.931
AT ITER 1511 NEW BEST:: SOT 2093352 SOS 982930 HAS SOPS 977860 HAS SOUS 128529 HAS SOUPS 127308 WITH SCORE 128290.93
AT ITER 1514 NEW BEST:: SOT 2093269 SOS 982736 HAS SOPS 977666 HAS SOUS 128349 HAS SOUPS 127128 WITH SCORE 128110.736
AT ITER 1527 NEW BEST:: SOT 2093269 SOS 983049 HAS SOPS 977979 HAS SOUS 128336 HAS SOUPS 127115 WITH SCORE 128098.049
AT ITER 1528 NEW BEST:: SOT 2093274 SOS 983048 HAS SOPS 977978 HAS SOUS 128323 HAS SOUPS 127102 WITH SCORE 128085.048
AT ITER 1553 NEW BEST:: SOT 2095362 SOS 970620 HAS SOPS 965550 HAS SOUS 127661 HAS SOUPS 126440 WITH SCORE 127410.62
AT ITER 1557 NEW BEST:: SOT 2095332 SOS 970590 HAS SOPS 965520 HAS SOUS 127619 HAS SOUPS 126398 WITH SCORE 127368.59
AT ITER 1565 NEW BEST:: SOT 2095285 SOS 970543 HAS SOPS 965473 HAS SOUS 127304 HAS SOUPS 126083 WITH SCORE 127053.543
AT ITER 1572 NEW BEST:: SOT 2095271 SOS 970400 HAS SOPS 965330 HAS SOUS 127190 HAS SOUPS 125969 WITH SCORE 126939.4
AT ITER 1576 NEW BEST:: SOT 2095264 SOS 970393 HAS SOPS 965316 HAS SOUS 127176 HAS SOUPS 125955 WITH SCORE 126925.393
AT ITER 1585 NEW BEST:: SOT 2095264 SOS 970437 HAS SOPS 965360 HAS SOUS 127080 HAS SOUPS 125859 WITH SCORE 126829.437
AT ITER 1587 NEW BEST:: SOT 2095278 SOS 970432 HAS SOPS 965355 HAS SOUS 126911 HAS SOUPS 125690 WITH SCORE 126660.432
AT ITER 1608 NEW BEST:: SOT 2095715 SOS 963259 HAS SOPS 958182 HAS SOUS 126802 HAS SOUPS 125581 WITH SCORE 126544.259
AT ITER 1617 NEW BEST:: SOT 2095576 SOS 962922 HAS SOPS 957845 HAS SOUS 126801 HAS SOUPS 125580 WITH SCORE 126542.922
AT ITER 1630 NEW BEST:: SOT 2095574 SOS 962920 HAS SOPS 957841 HAS SOUS 126795 HAS SOUPS 125574 WITH SCORE 126536.92
AT ITER 1633 NEW BEST:: SOT 2095485 SOS 962868 HAS SOPS 957789 HAS SOUS 126713 HAS SOUPS 125492 WITH SCORE 126454.868
AT ITER 1651 NEW BEST:: SOT 2043506 SOS 1067729 HAS SOPS 1062650 HAS SOUS 119932 HAS SOUPS 118711 WITH SCORE 119778.729
AT ITER 1652 NEW BEST:: SOT 2043344 SOS 1067543 HAS SOPS 1062464 HAS SOUS 119782 HAS SOUPS 118561 WITH SCORE 119628.543
AT ITER 1663 NEW BEST:: SOT 2043325 SOS 1067524 HAS SOPS 1062448 HAS SOUS 119744 HAS SOUPS 118523 WITH SCORE 119590.524
AT ITER 1667 NEW BEST:: SOT 2043145 SOS 1067344 HAS SOPS 1062268 HAS SOUS 119676 HAS SOUPS 118455 WITH SCORE 119522.344
AT ITER 1673 NEW BEST:: SOT 2043052 SOS 1067251 HAS SOPS 1062175 HAS SOUS 119627 HAS SOUPS 118406 WITH SCORE 119473.251
AT ITER 1674 NEW BEST:: SOT 2043045 SOS 1067244 HAS SOPS 1062168 HAS SOUS 119613 HAS SOUPS 118392 WITH SCORE 119459.244
AT ITER 1676 NEW BEST:: SOT 2043018 SOS 1067217 HAS SOPS 1062141 HAS SOUS 119590 HAS SOUPS 118369 WITH SCORE 119436.217
AT ITER 1681 NEW BEST:: SOT 2042978 SOS 1067177 HAS SOPS 1062101 HAS SOUS 119426 HAS SOUPS 118205 WITH SCORE 119272.177
AT ITER 1704 NEW BEST:: SOT 2032082 SOS 1056281 HAS SOPS 1051205 HAS SOUS 119258 HAS SOUPS 118037 WITH SCORE 119093.281
AT ITER 1718 NEW BEST:: SOT 2032082 SOS 1056282 HAS SOPS 1051206 HAS SOUS 119257 HAS SOUPS 118036 WITH SCORE 119092.282
AT ITER 1748 NEW BEST:: SOT 2032070 SOS 1056270 HAS SOPS 1051194 HAS SOUS 119243 HAS SOUPS 118022 WITH SCORE 119078.27
AT ITER 1749 NEW BEST:: SOT 2032070 SOS 1029167 HAS SOPS 1024091 HAS SOUS 118976 HAS SOUPS 117755 WITH SCORE 118784.167
AT ITER 1758 NEW BEST:: SOT 2032070 SOS 1029390 HAS SOPS 1024314 HAS SOUS 118944 HAS SOUPS 117723 WITH SCORE 118752.39
AT ITER 1763 NEW BEST:: SOT 2027956 SOS 1027294 HAS SOPS 1022218 HAS SOUS 117929 HAS SOUPS 116708 WITH SCORE 117735.294
AT ITER 1772 NEW BEST:: SOT 1971690 SOS 1054020 HAS SOPS 1048944 HAS SOUS 117483 HAS SOUPS 116262 WITH SCORE 117316.02
AT ITER 1783 NEW BEST:: SOT 1971669 SOS 1054006 HAS SOPS 1048930 HAS SOUS 117469 HAS SOUPS 116248 WITH SCORE 117302.006
AT ITER 1784 NEW BEST:: SOT 1971637 SOS 1053614 HAS SOPS 1048538 HAS SOUS 117437 HAS SOUPS 116216 WITH SCORE 117269.614
AT ITER 1785 NEW BEST:: SOT 1971584 SOS 1053507 HAS SOPS 1048431 HAS SOUS 117384 HAS SOUPS 116163 WITH SCORE 117216.507
AT ITER 1801 NEW BEST:: SOT 1971583 SOS 1053505 HAS SOPS 1048429 HAS SOUS 117380 HAS SOUPS 116159 WITH SCORE 117212.505
AT ITER 1822 NEW BEST:: SOT 1971527 SOS 1020218 HAS SOPS 1015142 HAS SOUS 116940 HAS SOUPS 115719 WITH SCORE 116739.218
AT ITER 1831 NEW BEST:: SOT 1971495 SOS 1020186 HAS SOPS 1015110 HAS SOUS 116774 HAS SOUPS 115553 WITH SCORE 116573.186
AT ITER 1838 NEW BEST:: SOT 1971400 SOS 1020091 HAS SOPS 1015060 HAS SOUS 116679 HAS SOUPS 115458 WITH SCORE 116478.091
AT ITER 1841 NEW BEST:: SOT 1971488 SOS 937692 HAS SOPS 932661 HAS SOUS 115369 HAS SOUPS 114148 WITH SCORE 115085.692
AT ITER 1850 NEW BEST:: SOT 1971488 SOS 937748 HAS SOPS 932717 HAS SOUS 115355 HAS SOUPS 114134 WITH SCORE 115071.748
AT ITER 1860 NEW BEST:: SOT 1971358 SOS 937698 HAS SOPS 932667 HAS SOUS 114985 HAS SOUPS 113764 WITH SCORE 114701.698
AT ITER 1870 NEW BEST:: SOT 1971339 SOS 908815 HAS SOPS 903784 HAS SOUS 114940 HAS SOUPS 113719 WITH SCORE 114627.815
AT ITER 1873 NEW BEST:: SOT 1971784 SOS 909106 HAS SOPS 904075 HAS SOUS 114939 HAS SOUPS 113718 WITH SCORE 114627.106
AT ITER 1890 NEW BEST:: SOT 1971797 SOS 909124 HAS SOPS 904093 HAS SOUS 114907 HAS SOUPS 113686 WITH SCORE 114595.124
AT ITER 1896 NEW BEST:: SOT 1971789 SOS 909116 HAS SOPS 904065 HAS SOUS 114867 HAS SOUPS 113646 WITH SCORE 114555.116
AT ITER 1899 NEW BEST:: SOT 1971746 SOS 909083 HAS SOPS 904032 HAS SOUS 114824 HAS SOUPS 113603 WITH SCORE 114512.083
AT ITER 1906 NEW BEST:: SOT 1971632 SOS 908969 HAS SOPS 903918 HAS SOUS 114710 HAS SOUPS 113489 WITH SCORE 114397.969
AT ITER 1922 NEW BEST:: SOT 1971544 SOS 908653 HAS SOPS 903602 HAS SOUS 114445 HAS SOUPS 113224 WITH SCORE 114132.653
AT ITER 1968 NEW BEST:: SOT 1971462 SOS 908571 HAS SOPS 903520 HAS SOUS 114363 HAS SOUPS 113142 WITH SCORE 114050.571
AT ITER 1977 NEW BEST:: SOT 1971546 SOS 866058 HAS SOPS 861007 HAS SOUS 113919 HAS SOUPS 112698 WITH SCORE 113564.058
AT ITER 1981 NEW BEST:: SOT 1971501 SOS 865976 HAS SOPS 860925 HAS SOUS 113783 HAS SOUPS 112562 WITH SCORE 113427.976
AT ITER 1984 NEW BEST:: SOT 1971409 SOS 865913 HAS SOPS 860862 HAS SOUS 113733 HAS SOUPS 112512 WITH SCORE 113377.913
AT ITER 2002 NEW BEST:: SOT 1971172 SOS 865284 HAS SOPS 860233 HAS SOUS 113440 HAS SOUPS 112219 WITH SCORE 113084.284
AT ITER 2005 NEW BEST:: SOT 1971228 SOS 865340 HAS SOPS 860289 HAS SOUS 113407 HAS SOUPS 112186 WITH SCORE 113051.34
AT ITER 2008 NEW BEST:: SOT 1971250 SOS 865362 HAS SOPS 860324 HAS SOUS 113379 HAS SOUPS 112158 WITH SCORE 113023.362
AT ITER 2011 NEW BEST:: SOT 1971423 SOS 865186 HAS SOPS 860148 HAS SOUS 113319 HAS SOUPS 112098 WITH SCORE 112963.186
AT ITER 2025 NEW BEST:: SOT 1971423 SOS 865303 HAS SOPS 860220 HAS SOUS 113210 HAS SOUPS 111989 WITH SCORE 112854.303
AT ITER 2031 NEW BEST:: SOT 1971253 SOS 865133 HAS SOPS 860050 HAS SOUS 112956 HAS SOUPS 111735 WITH SCORE 112600.133
AT ITER 2032 NEW BEST:: SOT 1971221 SOS 865101 HAS SOPS 860018 HAS SOUS 112924 HAS SOUPS 111703 WITH SCORE 112568.101
AT ITER 2033 NEW BEST:: SOT 1971221 SOS 865091 HAS SOPS 860008 HAS SOUS 112924 HAS SOUPS 111703 WITH SCORE 112568.091
AT ITER 2045 NEW BEST:: SOT 1971178 SOS 865089 HAS SOPS 860006 HAS SOUS 112676 HAS SOUPS 111455 WITH SCORE 112320.089
AT ITER 2046 NEW BEST:: SOT 1971110 SOS 864571 HAS SOPS 859488 HAS SOUS 112638 HAS SOUPS 111417 WITH SCORE 112281.571
AT ITER 2056 NEW BEST:: SOT 1971078 SOS 864547 HAS SOPS 859464 HAS SOUS 112614 HAS SOUPS 111393 WITH SCORE 112257.547
AT ITER 2059 NEW BEST:: SOT 1971121 SOS 864807 HAS SOPS 859724 HAS SOUS 112600 HAS SOUPS 111379 WITH SCORE 112243.807
AT ITER 2065 NEW BEST:: SOT 1971206 SOS 864771 HAS SOPS 859688 HAS SOUS 112402 HAS SOUPS 111181 WITH SCORE 112045.771
AT ITER 2077 NEW BEST:: SOT 1971468 SOS 864947 HAS SOPS 859864 HAS SOUS 112310 HAS SOUPS 111089 WITH SCORE 111953.947
AT ITER 2097 NEW BEST:: SOT 1971526 SOS 864978 HAS SOPS 859895 HAS SOUS 112055 HAS SOUPS 110834 WITH SCORE 111698.978
AT ITER 2100 NEW BEST:: SOT 1971853 SOS 803358 HAS SOPS 798275 HAS SOUS 111664 HAS SOUPS 110443 WITH SCORE 111246.358
AT ITER 2102 NEW BEST:: SOT 1971847 SOS 803655 HAS SOPS 798572 HAS SOUS 111658 HAS SOUPS 110437 WITH SCORE 111240.655
AT ITER 2103 NEW BEST:: SOT 1971831 SOS 803589 HAS SOPS 798506 HAS SOUS 111602 HAS SOUPS 110381 WITH SCORE 111184.589
AT ITER 2107 NEW BEST:: SOT 1964403 SOS 816312 HAS SOPS 811229 HAS SOUS 111454 HAS SOUPS 110233 WITH SCORE 111049.312
AT ITER 2110 NEW BEST:: SOT 1964388 SOS 816304 HAS SOPS 811221 HAS SOUS 111438 HAS SOUPS 110217 WITH SCORE 111033.304
AT ITER 2124 NEW BEST:: SOT 1964358 SOS 816176 HAS SOPS 811093 HAS SOUS 111438 HAS SOUPS 110217 WITH SCORE 111033.176
AT ITER 2126 NEW BEST:: SOT 1964301 SOS 816119 HAS SOPS 811036 HAS SOUS 111308 HAS SOUPS 110087 WITH SCORE 110903.119
AT ITER 2141 NEW BEST:: SOT 1964386 SOS 816204 HAS SOPS 811121 HAS SOUS 111090 HAS SOUPS 109869 WITH SCORE 110685.204
AT ITER 2152 NEW BEST:: SOT 1964341 SOS 816396 HAS SOPS 811313 HAS SOUS 111005 HAS SOUPS 109784 WITH SCORE 110600.396
AT ITER 2169 NEW BEST:: SOT 1963977 SOS 815902 HAS SOPS 810819 HAS SOUS 110387 HAS SOUPS 109166 WITH SCORE 109981.902
AT ITER 2178 NEW BEST:: SOT 1963976 SOS 815901 HAS SOPS 810817 HAS SOUS 110385 HAS SOUPS 109164 WITH SCORE 109979.901
AT ITER 2187 NEW BEST:: SOT 1963973 SOS 815898 HAS SOPS 810814 HAS SOUS 110381 HAS SOUPS 109160 WITH SCORE 109975.898
AT ITER 2192 NEW BEST:: SOT 1963970 SOS 815895 HAS SOPS 810811 HAS SOUS 110375 HAS SOUPS 109154 WITH SCORE 109969.895
AT ITER 2198 NEW BEST:: SOT 1963970 SOS 815877 HAS SOPS 810793 HAS SOUS 110373 HAS SOUPS 109152 WITH SCORE 109967.877
AT ITER 2201 NEW BEST:: SOT 1963870 SOS 814693 HAS SOPS 809609 HAS SOUS 110293 HAS SOUPS 109072 WITH SCORE 109886.693
AT ITER 2204 NEW BEST:: SOT 1963703 SOS 814514 HAS SOPS 809430 HAS SOUS 110022 HAS SOUPS 108801 WITH SCORE 109615.514
AT ITER 2205 NEW BEST:: SOT 1963977 SOS 814646 HAS SOPS 809562 HAS SOUS 109978 HAS SOUPS 108757 WITH SCORE 109571.646
AT ITER 2235 NEW BEST:: SOT 1963933 SOS 814602 HAS SOPS 809518 HAS SOUS 109871 HAS SOUPS 108650 WITH SCORE 109464.602
AT ITER 2257 NEW BEST:: SOT 1963909 SOS 814559 HAS SOPS 809475 HAS SOUS 109828 HAS SOUPS 108607 WITH SCORE 109421.559
AT ITER 2258 NEW BEST:: SOT 1963715 SOS 814351 HAS SOPS 809267 HAS SOUS 109671 HAS SOUPS 108450 WITH SCORE 109264.351
AT ITER 2299 NEW BEST:: SOT 1963710 SOS 814346 HAS SOPS 809262 HAS SOUS 109671 HAS SOUPS 108450 WITH SCORE 109264.346
AT ITER 2304 NEW BEST:: SOT 1963666 SOS 814322 HAS SOPS 809234 HAS SOUS 109621 HAS SOUPS 108399 WITH SCORE 109213.322
AT ITER 2332 NEW BEST:: SOT 1963696 SOS 814352 HAS SOPS 809264 HAS SOUS 109611 HAS SOUPS 108389 WITH SCORE 109203.352
AT ITER 2333 NEW BEST:: SOT 1963693 SOS 814377 HAS SOPS 809289 HAS SOUS 109605 HAS SOUPS 108383 WITH SCORE 109197.377
AT ITER 2348 NEW BEST:: SOT 1963658 SOS 814342 HAS SOPS 809254 HAS SOUS 109564 HAS SOUPS 108342 WITH SCORE 109156.342
AT ITER 2349 NEW BEST:: SOT 1963390 SOS 813898 HAS SOPS 808810 HAS SOUS 109172 HAS SOUPS 107950 WITH SCORE 108763.898
AT ITER 2369 NEW BEST:: SOT 1963162 SOS 812622 HAS SOPS 807680 HAS SOUS 108718 HAS SOUPS 107496 WITH SCORE 108308.622
AT ITER 2377 NEW BEST:: SOT 1963105 SOS 812410 HAS SOPS 807468 HAS SOUS 108610 HAS SOUPS 107388 WITH SCORE 108200.41
AT ITER 2389 NEW BEST:: SOT 1963117 SOS 812628 HAS SOPS 807686 HAS SOUS 108605 HAS SOUPS 107383 WITH SCORE 108195.628
AT ITER 2405 NEW BEST:: SOT 1963081 SOS 812604 HAS SOPS 807662 HAS SOUS 108581 HAS SOUPS 107359 WITH SCORE 108171.604
AT ITER 2420 NEW BEST:: SOT 1962968 SOS 812491 HAS SOPS 807549 HAS SOUS 108519 HAS SOUPS 107297 WITH SCORE 108109.491
AT ITER 2422 NEW BEST:: SOT 1962978 SOS 812501 HAS SOPS 807559 HAS SOUS 108457 HAS SOUPS 107235 WITH SCORE 108047.501
AT ITER 2423 NEW BEST:: SOT 1962974 SOS 812497 HAS SOPS 807555 HAS SOUS 108453 HAS SOUPS 107231 WITH SCORE 108043.497
AT ITER 2440 NEW BEST:: SOT 1962934 SOS 812426 HAS SOPS 807483 HAS SOUS 108377 HAS SOUPS 107155 WITH SCORE 107967.426
AT ITER 2444 NEW BEST:: SOT 1962616 SOS 812188 HAS SOPS 807245 HAS SOUS 107915 HAS SOUPS 106693 WITH SCORE 107505.188
AT ITER 2446 NEW BEST:: SOT 1962602 SOS 812174 HAS SOPS 807231 HAS SOUS 107887 HAS SOUPS 106665 WITH SCORE 107477.174
AT ITER 2448 NEW BEST:: SOT 1962584 SOS 812132 HAS SOPS 807189 HAS SOUS 107851 HAS SOUPS 106629 WITH SCORE 107441.132
AT ITER 2469 NEW BEST:: SOT 1962505 SOS 811512 HAS SOPS 806648 HAS SOUS 107693 HAS SOUPS 106471 WITH SCORE 107282.512
AT ITER 2470 NEW BEST:: SOT 1962499 SOS 811506 HAS SOPS 806642 HAS SOUS 107681 HAS SOUPS 106459 WITH SCORE 107270.506
AT ITER 2473 NEW BEST:: SOT 1956546 SOS 805553 HAS SOPS 800689 HAS SOUS 107679 HAS SOUPS 106457 WITH SCORE 107262.553
AT ITER 2476 NEW BEST:: SOT 1956438 SOS 805433 HAS SOPS 800569 HAS SOUS 107563 HAS SOUPS 106341 WITH SCORE 107146.433
AT ITER 2479 NEW BEST:: SOT 1956409 SOS 805354 HAS SOPS 800490 HAS SOUS 107484 HAS SOUPS 106262 WITH SCORE 107067.354
AT ITER 2488 NEW BEST:: SOT 1956429 SOS 805374 HAS SOPS 800510 HAS SOUS 107474 HAS SOUPS 106252 WITH SCORE 107057.374
AT ITER 2489 NEW BEST:: SOT 1956375 SOS 805608 HAS SOPS 800744 HAS SOUS 107420 HAS SOUPS 106198 WITH SCORE 107003.608
AT ITER 2502 NEW BEST:: SOT 1956352 SOS 805585 HAS SOPS 800728 HAS SOUS 107402 HAS SOUPS 106180 WITH SCORE 106985.585
AT ITER 2510 NEW BEST:: SOT 1956310 SOS 805557 HAS SOPS 800700 HAS SOUS 107348 HAS SOUPS 106126 WITH SCORE 106931.557
AT ITER 2522 NEW BEST:: SOT 1956315 SOS 805832 HAS SOPS 800975 HAS SOUS 107347 HAS SOUPS 106125 WITH SCORE 106930.832
AT ITER 2524 NEW BEST:: SOT 1956355 SOS 806005 HAS SOPS 801148 HAS SOUS 107269 HAS SOUPS 106047 WITH SCORE 106853.005
AT ITER 2527 NEW BEST:: SOT 1956319 SOS 805907 HAS SOPS 801050 HAS SOUS 107252 HAS SOUPS 106030 WITH SCORE 106835.907
AT ITER 2532 NEW BEST:: SOT 1956182 SOS 804710 HAS SOPS 799853 HAS SOUS 107045 HAS SOUPS 105823 WITH SCORE 106627.71
AT ITER 2545 NEW BEST:: SOT 1956208 SOS 804616 HAS SOPS 799759 HAS SOUS 107037 HAS SOUPS 105815 WITH SCORE 106619.616
AT ITER 2546 NEW BEST:: SOT 1956199 SOS 804607 HAS SOPS 799750 HAS SOUS 107019 HAS SOUPS 105797 WITH SCORE 106601.607
AT ITER 2557 NEW BEST:: SOT 1955886 SOS 804142 HAS SOPS 799285 HAS SOUS 106136 HAS SOUPS 104914 WITH SCORE 105718.142
AT ITER 2573 NEW BEST:: SOT 1955814 SOS 804043 HAS SOPS 799236 HAS SOUS 106106 HAS SOUPS 104884 WITH SCORE 105688.043
AT ITER 2576 NEW BEST:: SOT 1955662 SOS 802314 HAS SOPS 797507 HAS SOUS 105926 HAS SOUPS 104704 WITH SCORE 105506.314
AT ITER 2577 NEW BEST:: SOT 1955449 SOS 802101 HAS SOPS 797294 HAS SOUS 105526 HAS SOUPS 104304 WITH SCORE 105106.101
AT ITER 2599 NEW BEST:: SOT 1955159 SOS 801802 HAS SOPS 796995 HAS SOUS 105301 HAS SOUPS 104079 WITH SCORE 104880.802
AT ITER 2623 NEW BEST:: SOT 1955133 SOS 801776 HAS SOPS 796969 HAS SOUS 105063 HAS SOUPS 103841 WITH SCORE 104642.776
AT ITER 2658 NEW BEST:: SOT 1955023 SOS 801147 HAS SOPS 796340 HAS SOUS 104888 HAS SOUPS 103666 WITH SCORE 104467.147
AT ITER 2664 NEW BEST:: SOT 1954925 SOS 800982 HAS SOPS 796175 HAS SOUS 104651 HAS SOUPS 103429 WITH SCORE 104229.982
AT ITER 2668 NEW BEST:: SOT 1954795 SOS 800852 HAS SOPS 796045 HAS SOUS 104306 HAS SOUPS 103084 WITH SCORE 103884.852
AT ITER 2695 NEW BEST:: SOT 1954824 SOS 800881 HAS SOPS 796074 HAS SOUS 104236 HAS SOUPS 103014 WITH SCORE 103814.881
AT ITER 2719 NEW BEST:: SOT 1954760 SOS 801073 HAS SOPS 796266 HAS SOUS 104108 HAS SOUPS 102886 WITH SCORE 103687.073
AT ITER 2724 NEW BEST:: SOT 1954732 SOS 801045 HAS SOPS 796238 HAS SOUS 104057 HAS SOUPS 102835 WITH SCORE 103636.045
AT ITER 2733 NEW BEST:: SOT 1954665 SOS 801034 HAS SOPS 796227 HAS SOUS 103940 HAS SOUPS 102718 WITH SCORE 103519.034
AT ITER 2762 NEW BEST:: SOT 1954732 SOS 801668 HAS SOPS 796861 HAS SOUS 103848 HAS SOUPS 102626 WITH SCORE 103427.668
AT ITER 2764 NEW BEST:: SOT 1954743 SOS 801679 HAS SOPS 796872 HAS SOUS 103802 HAS SOUPS 102580 WITH SCORE 103381.679
AT ITER 2800 NEW BEST:: SOT 1954737 SOS 801680 HAS SOPS 796873 HAS SOUS 103791 HAS SOUPS 102569 WITH SCORE 103370.68
AT ITER 2818 NEW BEST:: SOT 1954699 SOS 803160 HAS SOPS 798216 HAS SOUS 103708 HAS SOUPS 102446 WITH SCORE 103249.16
AT ITER 2858 NEW BEST:: SOT 1954728 SOS 803056 HAS SOPS 798112 HAS SOUS 103660 HAS SOUPS 102398 WITH SCORE 103201.056
AT ITER 2860 NEW BEST:: SOT 1954663 SOS 802991 HAS SOPS 798047 HAS SOUS 103470 HAS SOUPS 102208 WITH SCORE 103010.991
AT ITER 2871 NEW BEST:: SOT 1954615 SOS 781662 HAS SOPS 776718 HAS SOUS 103242 HAS SOUPS 101980 WITH SCORE 102761.662
AT ITER 2877 NEW BEST:: SOT 1954530 SOS 782634 HAS SOPS 777716 HAS SOUS 103180 HAS SOUPS 101918 WITH SCORE 102700.634
AT ITER 2904 NEW BEST:: SOT 1954465 SOS 782482 HAS SOPS 777564 HAS SOUS 103145 HAS SOUPS 101883 WITH SCORE 102665.482
AT ITER 2905 NEW BEST:: SOT 1954449 SOS 782466 HAS SOPS 777548 HAS SOUS 103113 HAS SOUPS 101851 WITH SCORE 102633.466
AT ITER 2915 NEW BEST:: SOT 1954359 SOS 782370 HAS SOPS 777452 HAS SOUS 102797 HAS SOUPS 101535 WITH SCORE 102317.37
AT ITER 2917 NEW BEST:: SOT 1954337 SOS 782348 HAS SOPS 777430 HAS SOUS 102770 HAS SOUPS 101508 WITH SCORE 102290.348
AT ITER 2921 NEW BEST:: SOT 1954365 SOS 782431 HAS SOPS 777513 HAS SOUS 102368 HAS SOUPS 101106 WITH SCORE 101888.431
AT ITER 2922 NEW BEST:: SOT 1954365 SOS 780900 HAS SOPS 775982 HAS SOUS 102368 HAS SOUPS 101106 WITH SCORE 101886.9
AT ITER 2928 NEW BEST:: SOT 1954407 SOS 780894 HAS SOPS 776024 HAS SOUS 100721 HAS SOUPS 99471 WITH SCORE 100251.894
AT ITER 2936 NEW BEST:: SOT 1954275 SOS 780762 HAS SOPS 775892 HAS SOUS 100391 HAS SOUPS 99141 WITH SCORE 99921.762
AT ITER 2937 NEW BEST:: SOT 1954268 SOS 780315 HAS SOPS 775445 HAS SOUS 100378 HAS SOUPS 99128 WITH SCORE 99908.315
AT ITER 2943 NEW BEST:: SOT 1954247 SOS 780378 HAS SOPS 775508 HAS SOUS 100352 HAS SOUPS 99102 WITH SCORE 99882.378
AT ITER 2967 NEW BEST:: SOT 1954252 SOS 780383 HAS SOPS 775513 HAS SOUS 100295 HAS SOUPS 99045 WITH SCORE 99825.383
AT ITER 2994 NEW BEST:: SOT 1954219 SOS 780350 HAS SOPS 775480 HAS SOUS 100238 HAS SOUPS 98988 WITH SCORE 99768.35
AT ITER 2997 NEW BEST:: SOT 1953926 SOS 780133 HAS SOPS 775263 HAS SOUS 100021 HAS SOUPS 98771 WITH SCORE 99551.133
AT ITER 3001 NEW BEST:: SOT 1953890 SOS 780421 HAS SOPS 775551 HAS SOUS 99559 HAS SOUPS 98309 WITH SCORE 99089.421
AT ITER 3006 NEW BEST:: SOT 1953848 SOS 780368 HAS SOPS 775498 HAS SOUS 99508 HAS SOUPS 98258 WITH SCORE 99038.368
AT ITER 3010 NEW BEST:: SOT 1953821 SOS 780314 HAS SOPS 775444 HAS SOUS 99454 HAS SOUPS 98204 WITH SCORE 98984.314
AT ITER 3018 NEW BEST:: SOT 1953807 SOS 780279 HAS SOPS 775409 HAS SOUS 99440 HAS SOUPS 98190 WITH SCORE 98970.279
AT ITER 3020 NEW BEST:: SOT 1953781 SOS 780232 HAS SOPS 775362 HAS SOUS 99413 HAS SOUPS 98163 WITH SCORE 98943.232
AT ITER 3040 NEW BEST:: SOT 1953749 SOS 780187 HAS SOPS 775317 HAS SOUS 99165 HAS SOUPS 97915 WITH SCORE 98695.187
AT ITER 3064 NEW BEST:: SOT 1953736 SOS 780174 HAS SOPS 775304 HAS SOUS 99152 HAS SOUPS 97902 WITH SCORE 98682.174
AT ITER 3091 NEW BEST:: SOT 1970063 SOS 796341 HAS SOPS 791631 HAS SOUS 97827 HAS SOUPS 96617 WITH SCORE 97413.341
AT ITER 3108 NEW BEST:: SOT 1970062 SOS 796340 HAS SOPS 791630 HAS SOUS 97826 HAS SOUPS 96616 WITH SCORE 97412.34
AT ITER 3114 NEW BEST:: SOT 1970122 SOS 796510 HAS SOPS 791800 HAS SOUS 97818 HAS SOUPS 96608 WITH SCORE 97404.51
AT ITER 3140 NEW BEST:: SOT 1969400 SOS 836585 HAS SOPS 831875 HAS SOUS 97737 HAS SOUPS 96527 WITH SCORE 97363.585
AT ITER 3143 NEW BEST:: SOT 1969355 SOS 836525 HAS SOPS 831815 HAS SOUS 97668 HAS SOUPS 96458 WITH SCORE 97294.525
AT ITER 3149 NEW BEST:: SOT 1969340 SOS 836517 HAS SOPS 831807 HAS SOUS 97638 HAS SOUPS 96428 WITH SCORE 97264.517
AT ITER 3169 NEW BEST:: SOT 1969371 SOS 836602 HAS SOPS 831892 HAS SOUS 97435 HAS SOUPS 96225 WITH SCORE 97061.602
AT ITER 3181 NEW BEST:: SOT 1969299 SOS 836494 HAS SOPS 831784 HAS SOUS 97327 HAS SOUPS 96117 WITH SCORE 96953.494
AT ITER 3184 NEW BEST:: SOT 1969265 SOS 836447 HAS SOPS 831737 HAS SOUS 97298 HAS SOUPS 96088 WITH SCORE 96924.447
AT ITER 3189 NEW BEST:: SOT 1969346 SOS 836528 HAS SOPS 831818 HAS SOUS 97237 HAS SOUPS 96027 WITH SCORE 96863.528
AT ITER 3190 NEW BEST:: SOT 1969303 SOS 836379 HAS SOPS 831669 HAS SOUS 97043 HAS SOUPS 95833 WITH SCORE 96669.379
AT ITER 3219 NEW BEST:: SOT 1969446 SOS 836140 HAS SOPS 831334 HAS SOUS 97008 HAS SOUPS 95762 WITH SCORE 96598.14
AT ITER 3257 NEW BEST:: SOT 1969440 SOS 836134 HAS SOPS 831328 HAS SOUS 96855 HAS SOUPS 95609 WITH SCORE 96445.134
AT ITER 3266 NEW BEST:: SOT 1968692 SOS 835367 HAS SOPS 830561 HAS SOUS 96283 HAS SOUPS 95037 WITH SCORE 95872.367
AT ITER 3299 NEW BEST:: SOT 1968638 SOS 835493 HAS SOPS 830687 HAS SOUS 96138 HAS SOUPS 94892 WITH SCORE 95727.493
AT ITER 3320 NEW BEST:: SOT 1968672 SOS 835483 HAS SOPS 830636 HAS SOUS 96137 HAS SOUPS 94891 WITH SCORE 95726.483
AT ITER 3343 NEW BEST:: SOT 1968616 SOS 835355 HAS SOPS 830508 HAS SOUS 96053 HAS SOUPS 94807 WITH SCORE 95642.355
AT ITER 3347 NEW BEST:: SOT 1968622 SOS 835286 HAS SOPS 830439 HAS SOUS 95895 HAS SOUPS 94649 WITH SCORE 95484.286
AT ITER 3365 NEW BEST:: SOT 1968570 SOS 834946 HAS SOPS 830099 HAS SOUS 95732 HAS SOUPS 94486 WITH SCORE 95320.946
AT ITER 3368 NEW BEST:: SOT 1968566 SOS 834942 HAS SOPS 830095 HAS SOUS 95722 HAS SOUPS 94476 WITH SCORE 95310.942
AT ITER 3389 NEW BEST:: SOT 1968575 SOS 835066 HAS SOPS 830219 HAS SOUS 95657 HAS SOUPS 94411 WITH SCORE 95246.066
AT ITER 3412 NEW BEST:: SOT 1968432 SOS 834923 HAS SOPS 830076 HAS SOUS 95465 HAS SOUPS 94219 WITH SCORE 95053.923
AT ITER 3415 NEW BEST:: SOT 1968453 SOS 834900 HAS SOPS 830074 HAS SOUS 95458 HAS SOUPS 94212 WITH SCORE 95046.9
AT ITER 3420 NEW BEST:: SOT 1968503 SOS 834950 HAS SOPS 830124 HAS SOUS 95423 HAS SOUPS 94177 WITH SCORE 95011.95
AT ITER 3426 NEW BEST:: SOT 1968431 SOS 834874 HAS SOPS 830048 HAS SOUS 95319 HAS SOUPS 94073 WITH SCORE 94907.874
AT ITER 3435 NEW BEST:: SOT 1968400 SOS 834843 HAS SOPS 830017 HAS SOUS 95257 HAS SOUPS 94011 WITH SCORE 94845.843
AT ITER 3443 NEW BEST:: SOT 1968306 SOS 834635 HAS SOPS 829809 HAS SOUS 95069 HAS SOUPS 93823 WITH SCORE 94657.635
AT ITER 3480 NEW BEST:: SOT 1968299 SOS 834623 HAS SOPS 829797 HAS SOUS 95055 HAS SOUPS 93809 WITH SCORE 94643.623
AT ITER 3481 NEW BEST:: SOT 1968279 SOS 834593 HAS SOPS 829777 HAS SOUS 95035 HAS SOUPS 93789 WITH SCORE 94623.593
AT ITER 3484 NEW BEST:: SOT 1968246 SOS 834790 HAS SOPS 829798 HAS SOUS 94995 HAS SOUPS 93749 WITH SCORE 94583.79
AT ITER 3517 NEW BEST:: SOT 1968240 SOS 834784 HAS SOPS 829792 HAS SOUS 94983 HAS SOUPS 93737 WITH SCORE 94571.784
AT ITER 3525 NEW BEST:: SOT 1968231 SOS 834783 HAS SOPS 829791 HAS SOUS 94982 HAS SOUPS 93736 WITH SCORE 94570.783
AT ITER 3534 NEW BEST:: SOT 1968231 SOS 834695 HAS SOPS 829703 HAS SOUS 94974 HAS SOUPS 93728 WITH SCORE 94562.695
AT ITER 3546 NEW BEST:: SOT 1968069 SOS 834405 HAS SOPS 829413 HAS SOUS 94737 HAS SOUPS 93491 WITH SCORE 94325.405
AT ITER 3559 NEW BEST:: SOT 1967980 SOS 834316 HAS SOPS 829324 HAS SOUS 94656 HAS SOUPS 93410 WITH SCORE 94244.316
AT ITER 3583 NEW BEST:: SOT 1967923 SOS 834202 HAS SOPS 829210 HAS SOUS 94568 HAS SOUPS 93322 WITH SCORE 94156.202
AT ITER 3586 NEW BEST:: SOT 1967928 SOS 834942 HAS SOPS 829950 HAS SOUS 94562 HAS SOUPS 93316 WITH SCORE 94150.942
AT ITER 3618 NEW BEST:: SOT 1967826 SOS 834813 HAS SOPS 829821 HAS SOUS 94547 HAS SOUPS 93301 WITH SCORE 94135.813
AT ITER 3652 NEW BEST:: SOT 1967826 SOS 834805 HAS SOPS 829813 HAS SOUS 94547 HAS SOUPS 93301 WITH SCORE 94135.805
AT ITER 3667 NEW BEST:: SOT 1967873 SOS 835184 HAS SOPS 830192 HAS SOUS 94517 HAS SOUPS 93271 WITH SCORE 94106.184
AT ITER 3677 NEW BEST:: SOT 1967444 SOS 834702 HAS SOPS 829710 HAS SOUS 94415 HAS SOUPS 93169 WITH SCORE 94003.702
AT ITER 3695 NEW BEST:: SOT 1967443 SOS 834689 HAS SOPS 829697 HAS SOUS 94415 HAS SOUPS 93169 WITH SCORE 94003.689
AT ITER 3697 NEW BEST:: SOT 1967485 SOS 834776 HAS SOPS 829784 HAS SOUS 94341 HAS SOUPS 93095 WITH SCORE 93929.776
AT ITER 3714 NEW BEST:: SOT 1967498 SOS 834763 HAS SOPS 829719 HAS SOUS 94354 HAS SOUPS 93095 WITH SCORE 93929.763
AT ITER 3716 NEW BEST:: SOT 1967537 SOS 834802 HAS SOPS 829758 HAS SOUS 94289 HAS SOUPS 93030 WITH SCORE 93864.802
AT ITER 3740 NEW BEST:: SOT 1967526 SOS 834791 HAS SOPS 829747 HAS SOUS 94278 HAS SOUPS 93019 WITH SCORE 93853.791
AT ITER 3760 NEW BEST:: SOT 1967526 SOS 834791 HAS SOPS 829747 HAS SOUS 94274 HAS SOUPS 93015 WITH SCORE 93849.791
AT ITER 3766 NEW BEST:: SOT 1967526 SOS 834799 HAS SOPS 829747 HAS SOUS 94268 HAS SOUPS 93007 WITH SCORE 93841.799
AT ITER 3791 NEW BEST:: SOT 1967454 SOS 834794 HAS SOPS 829742 HAS SOUS 94263 HAS SOUPS 93002 WITH SCORE 93836.794
AT ITER 3805 NEW BEST:: SOT 1967463 SOS 835196 HAS SOPS 830144 HAS SOUS 94015 HAS SOUPS 92754 WITH SCORE 93589.196
AT ITER 3825 NEW BEST:: SOT 1967401 SOS 835113 HAS SOPS 830061 HAS SOUS 93954 HAS SOUPS 92693 WITH SCORE 93528.113
AT ITER 3830 NEW BEST:: SOT 1967396 SOS 835103 HAS SOPS 830051 HAS SOUS 93944 HAS SOUPS 92683 WITH SCORE 93518.103
AT ITER 3839 NEW BEST:: SOT 1967395 SOS 833547 HAS SOPS 828495 HAS SOUS 93942 HAS SOUPS 92681 WITH SCORE 93514.547
AT ITER 3881 NEW BEST:: SOT 1967368 SOS 833520 HAS SOPS 828468 HAS SOUS 93888 HAS SOUPS 92627 WITH SCORE 93460.52
AT ITER 3908 NEW BEST:: SOT 1967315 SOS 833442 HAS SOPS 828390 HAS SOUS 93705 HAS SOUPS 92444 WITH SCORE 93277.442
AT ITER 3911 NEW BEST:: SOT 1967315 SOS 833442 HAS SOPS 828391 HAS SOUS 93701 HAS SOUPS 92440 WITH SCORE 93273.442
AT ITER 3949 NEW BEST:: SOT 1967693 SOS 833820 HAS SOPS 828769 HAS SOUS 91643 HAS SOUPS 90382 WITH SCORE 91215.82
AT ITER 3982 NEW BEST:: SOT 1967663 SOS 833771 HAS SOPS 828720 HAS SOUS 91583 HAS SOUPS 90322 WITH SCORE 91155.771
AT ITER 4004 NEW BEST:: SOT 1967574 SOS 833776 HAS SOPS 828725 HAS SOUS 91471 HAS SOUPS 90210 WITH SCORE 91043.776
AT ITER 4009 NEW BEST:: SOT 1967548 SOS 833750 HAS SOPS 828699 HAS SOUS 91349 HAS SOUPS 90088 WITH SCORE 90921.75
AT ITER 4021 NEW BEST:: SOT 1967504 SOS 833574 HAS SOPS 828523 HAS SOUS 91305 HAS SOUPS 90044 WITH SCORE 90877.574
AT ITER 4042 NEW BEST:: SOT 1967435 SOS 833505 HAS SOPS 828454 HAS SOUS 91233 HAS SOUPS 89972 WITH SCORE 90805.505
AT ITER 4066 NEW BEST:: SOT 1967434 SOS 833504 HAS SOPS 828453 HAS SOUS 91219 HAS SOUPS 89958 WITH SCORE 90791.504
AT ITER 4101 NEW BEST:: SOT 1967519 SOS 833589 HAS SOPS 828538 HAS SOUS 91187 HAS SOUPS 89926 WITH SCORE 90759.589
AT ITER 4106 NEW BEST:: SOT 1967489 SOS 833559 HAS SOPS 828508 HAS SOUS 91187 HAS SOUPS 89926 WITH SCORE 90759.559
AT ITER 4154 NEW BEST:: SOT 1967449 SOS 833487 HAS SOPS 828436 HAS SOUS 91115 HAS SOUPS 89854 WITH SCORE 90687.487
AT ITER 4156 NEW BEST:: SOT 1967455 SOS 833406 HAS SOPS 828355 HAS SOUS 90902 HAS SOUPS 89641 WITH SCORE 90474.406
AT ITER 4170 NEW BEST:: SOT 1967422 SOS 833373 HAS SOPS 828322 HAS SOUS 90836 HAS SOUPS 89575 WITH SCORE 90408.373
AT ITER 4179 NEW BEST:: SOT 1967460 SOS 833411 HAS SOPS 828360 HAS SOUS 90671 HAS SOUPS 89410 WITH SCORE 90243.411
AT ITER 4186 NEW BEST:: SOT 1967482 SOS 833614 HAS SOPS 828563 HAS SOUS 90567 HAS SOUPS 89306 WITH SCORE 90139.614
AT ITER 4189 NEW BEST:: SOT 1967475 SOS 833607 HAS SOPS 828556 HAS SOUS 90567 HAS SOUPS 89306 WITH SCORE 90139.607
AT ITER 4190 NEW BEST:: SOT 1967457 SOS 833613 HAS SOPS 828562 HAS SOUS 90514 HAS SOUPS 89253 WITH SCORE 90086.613
AT ITER 4217 NEW BEST:: SOT 1967452 SOS 833608 HAS SOPS 828557 HAS SOUS 90513 HAS SOUPS 89252 WITH SCORE 90085.608
AT ITER 4219 NEW BEST:: SOT 1967432 SOS 833438 HAS SOPS 828387 HAS SOUS 90405 HAS SOUPS 89144 WITH SCORE 89977.438
AT ITER 4235 NEW BEST:: SOT 1967230 SOS 833433 HAS SOPS 828382 HAS SOUS 90364 HAS SOUPS 89103 WITH SCORE 89936.433
AT ITER 4237 NEW BEST:: SOT 1967306 SOS 833733 HAS SOPS 828682 HAS SOUS 90247 HAS SOUPS 88986 WITH SCORE 89819.733
AT ITER 4242 NEW BEST:: SOT 1967422 SOS 833724 HAS SOPS 828673 HAS SOUS 89940 HAS SOUPS 88679 WITH SCORE 89512.724
AT ITER 4247 NEW BEST:: SOT 1967416 SOS 833718 HAS SOPS 828667 HAS SOUS 89934 HAS SOUPS 88673 WITH SCORE 89506.718
AT ITER 4276 NEW BEST:: SOT 1967411 SOS 833713 HAS SOPS 828662 HAS SOUS 89891 HAS SOUPS 88630 WITH SCORE 89463.713
AT ITER 4283 NEW BEST:: SOT 1967410 SOS 833712 HAS SOPS 828661 HAS SOUS 89890 HAS SOUPS 88629 WITH SCORE 89462.712
AT ITER 4291 NEW BEST:: SOT 1967314 SOS 833607 HAS SOPS 828652 HAS SOUS 89858 HAS SOUPS 88597 WITH SCORE 89430.607
AT ITER 4292 NEW BEST:: SOT 1969676 SOS 835969 HAS SOPS 831014 HAS SOUS 88843 HAS SOUPS 87582 WITH SCORE 88417.969
AT ITER 4296 NEW BEST:: SOT 1969702 SOS 836121 HAS SOPS 831229 HAS SOUS 88629 HAS SOUPS 87368 WITH SCORE 88204.121
AT ITER 4342 NEW BEST:: SOT 1969671 SOS 835658 HAS SOPS 830766 HAS SOUS 88601 HAS SOUPS 87340 WITH SCORE 88175.658
AT ITER 4365 NEW BEST:: SOT 1969634 SOS 835540 HAS SOPS 830648 HAS SOUS 88513 HAS SOUPS 87252 WITH SCORE 88087.54
AT ITER 4381 NEW BEST:: SOT 1969617 SOS 835553 HAS SOPS 830661 HAS SOUS 88472 HAS SOUPS 87211 WITH SCORE 88046.553
AT ITER 4388 NEW BEST:: SOT 1969622 SOS 835723 HAS SOPS 830831 HAS SOUS 88458 HAS SOUPS 87197 WITH SCORE 88032.723
AT ITER 4399 NEW BEST:: SOT 1969643 SOS 835744 HAS SOPS 830852 HAS SOUS 88419 HAS SOUPS 87158 WITH SCORE 87993.744
AT ITER 4404 NEW BEST:: SOT 1969602 SOS 835710 HAS SOPS 830818 HAS SOUS 88379 HAS SOUPS 87118 WITH SCORE 87953.71
AT ITER 4425 NEW BEST:: SOT 1969599 SOS 835712 HAS SOPS 830820 HAS SOUS 88378 HAS SOUPS 87117 WITH SCORE 87952.712
AT ITER 4428 NEW BEST:: SOT 1969599 SOS 835704 HAS SOPS 830812 HAS SOUS 88376 HAS SOUPS 87115 WITH SCORE 87950.704
AT ITER 4433 NEW BEST:: SOT 1969492 SOS 835375 HAS SOPS 830372 HAS SOUS 88047 HAS SOUPS 86786 WITH SCORE 87621.375
AT ITER 4441 NEW BEST:: SOT 1969479 SOS 835347 HAS SOPS 830347 HAS SOUS 88037 HAS SOUPS 86776 WITH SCORE 87611.347
AT ITER 4483 NEW BEST:: SOT 1969473 SOS 835335 HAS SOPS 830335 HAS SOUS 88025 HAS SOUPS 86764 WITH SCORE 87599.335
AT ITER 4519 NEW BEST:: SOT 1969473 SOS 835326 HAS SOPS 830326 HAS SOUS 88025 HAS SOUPS 86764 WITH SCORE 87599.326
AT ITER 4529 NEW BEST:: SOT 1969483 SOS 835610 HAS SOPS 830610 HAS SOUS 87998 HAS SOUPS 86737 WITH SCORE 87572.61
AT ITER 4538 NEW BEST:: SOT 1969440 SOS 835524 HAS SOPS 830524 HAS SOUS 87897 HAS SOUPS 86636 WITH SCORE 87471.524
AT ITER 4589 NEW BEST:: SOT 1969433 SOS 835514 HAS SOPS 830514 HAS SOUS 87876 HAS SOUPS 86615 WITH SCORE 87450.514
AT ITER 4593 NEW BEST:: SOT 1969309 SOS 835316 HAS SOPS 830430 HAS SOUS 87828 HAS SOUPS 86567 WITH SCORE 87402.316
AT ITER 4602 NEW BEST:: SOT 1971616 SOS 837623 HAS SOPS 832737 HAS SOUS 87810 HAS SOUPS 86549 WITH SCORE 87386.623
AT ITER 4603 NEW BEST:: SOT 1971611 SOS 835118 HAS SOPS 830232 HAS SOUS 87762 HAS SOUPS 86501 WITH SCORE 87336.118
AT ITER 4604 NEW BEST:: SOT 1950616 SOS 814175 HAS SOPS 809237 HAS SOUS 85941 HAS SOUPS 84667 WITH SCORE 85481.175
AT ITER 4643 NEW BEST:: SOT 1950610 SOS 814163 HAS SOPS 809225 HAS SOUS 85929 HAS SOUPS 84655 WITH SCORE 85469.163
AT ITER 4645 NEW BEST:: SOT 1950601 SOS 814140 HAS SOPS 809202 HAS SOUS 85830 HAS SOUPS 84556 WITH SCORE 85370.14
AT ITER 4662 NEW BEST:: SOT 1950600 SOS 813767 HAS SOPS 808829 HAS SOUS 85796 HAS SOUPS 84522 WITH SCORE 85335.767
AT ITER 4698 NEW BEST:: SOT 1950531 SOS 813766 HAS SOPS 808916 HAS SOUS 85694 HAS SOUPS 84508 WITH SCORE 85321.766
AT ITER 4700 NEW BEST:: SOT 1950515 SOS 813750 HAS SOPS 808885 HAS SOUS 85679 HAS SOUPS 84493 WITH SCORE 85306.75
AT ITER 4724 NEW BEST:: SOT 1950502 SOS 813737 HAS SOPS 808872 HAS SOUS 85646 HAS SOUPS 84460 WITH SCORE 85273.737
AT ITER 4744 NEW BEST:: SOT 1950502 SOS 813736 HAS SOPS 808871 HAS SOUS 85633 HAS SOUPS 84447 WITH SCORE 85260.736
AT ITER 4755 NEW BEST:: SOT 1950500 SOS 813714 HAS SOPS 808849 HAS SOUS 85623 HAS SOUPS 84437 WITH SCORE 85250.714
AT ITER 4762 NEW BEST:: SOT 1950481 SOS 813629 HAS SOPS 808764 HAS SOUS 85593 HAS SOUPS 84407 WITH SCORE 85220.629
AT ITER 4765 NEW BEST:: SOT 1950480 SOS 813628 HAS SOPS 808763 HAS SOUS 85591 HAS SOUPS 84405 WITH SCORE 85218.628
AT ITER 4771 NEW BEST:: SOT 1950601 SOS 813749 HAS SOPS 808884 HAS SOUS 85586 HAS SOUPS 84400 WITH SCORE 85213.749
AT ITER 4800 NEW BEST:: SOT 1950561 SOS 813689 HAS SOPS 808824 HAS SOUS 85526 HAS SOUPS 84340 WITH SCORE 85153.689
AT ITER 4803 NEW BEST:: SOT 1950374 SOS 813958 HAS SOPS 809118 HAS SOUS 85321 HAS SOUPS 84135 WITH SCORE 84948.958
AT ITER 4830 NEW BEST:: SOT 1949849 SOS 813313 HAS SOPS 808473 HAS SOUS 84766 HAS SOUPS 83580 WITH SCORE 84393.313
AT ITER 4873 NEW BEST:: SOT 1949727 SOS 812957 HAS SOPS 808117 HAS SOUS 84644 HAS SOUPS 83458 WITH SCORE 84270.957
AT ITER 4887 NEW BEST:: SOT 1949738 SOS 812968 HAS SOPS 808128 HAS SOUS 84640 HAS SOUPS 83454 WITH SCORE 84266.968
AT ITER 4902 NEW BEST:: SOT 1949718 SOS 812948 HAS SOPS 808108 HAS SOUS 84600 HAS SOUPS 83414 WITH SCORE 84226.948
AT ITER 4906 NEW BEST:: SOT 1949692 SOS 812909 HAS SOPS 808069 HAS SOUS 84494 HAS SOUPS 83308 WITH SCORE 84120.909
AT ITER 4915 NEW BEST:: SOT 1949692 SOS 812939 HAS SOPS 807965 HAS SOUS 84474 HAS SOUPS 83266 WITH SCORE 84078.939
AT ITER 4953 NEW BEST:: SOT 1949669 SOS 812985 HAS SOPS 808011 HAS SOUS 84457 HAS SOUPS 83249 WITH SCORE 84061.985
AT ITER 4964 NEW BEST:: SOT 1949667 SOS 812983 HAS SOPS 808009 HAS SOUS 84434 HAS SOUPS 83226 WITH SCORE 84038.983
AT ITER 4979 NEW BEST:: SOT 1949662 SOS 812973 HAS SOPS 807999 HAS SOUS 84424 HAS SOUPS 83216 WITH SCORE 84028.973
AT ITER 4988 NEW BEST:: SOT 1949611 SOS 812807 HAS SOPS 807833 HAS SOUS 84306 HAS SOUPS 83098 WITH SCORE 83910.807
AT ITER 4991 NEW BEST:: SOT 1949581 SOS 812927 HAS SOPS 807953 HAS SOUS 84246 HAS SOUPS 83038 WITH SCORE 83850.927
AT ITER 5012 NEW BEST:: SOT 1949336 SOS 812640 HAS SOPS 807666 HAS SOUS 83959 HAS SOUPS 82751 WITH SCORE 83563.64
AT ITER 5030 NEW BEST:: SOT 1949325 SOS 812633 HAS SOPS 807659 HAS SOUS 83911 HAS SOUPS 82703 WITH SCORE 83515.633
AT ITER 5056 NEW BEST:: SOT 1949264 SOS 820470 HAS SOPS 815496 HAS SOUS 83898 HAS SOUPS 82690 WITH SCORE 83510.47
AT ITER 5065 NEW BEST:: SOT 1949252 SOS 820458 HAS SOPS 815484 HAS SOUS 83892 HAS SOUPS 82684 WITH SCORE 83504.458
AT ITER 5070 NEW BEST:: SOT 1949222 SOS 820306 HAS SOPS 815332 HAS SOUS 83852 HAS SOUPS 82644 WITH SCORE 83464.306
AT ITER 5104 NEW BEST:: SOT 1949185 SOS 820247 HAS SOPS 815317 HAS SOUS 83837 HAS SOUPS 82640 WITH SCORE 83460.247
AT ITER 5107 NEW BEST:: SOT 1949452 SOS 820514 HAS SOPS 815584 HAS SOUS 83832 HAS SOUPS 82635 WITH SCORE 83455.514
AT ITER 5112 NEW BEST:: SOT 1949448 SOS 820510 HAS SOPS 815580 HAS SOUS 83791 HAS SOUPS 82594 WITH SCORE 83414.51
AT ITER 5125 NEW BEST:: SOT 1949318 SOS 820321 HAS SOPS 815391 HAS SOUS 83615 HAS SOUPS 82418 WITH SCORE 83238.321
AT ITER 5164 NEW BEST:: SOT 1949309 SOS 820303 HAS SOPS 815373 HAS SOUS 83597 HAS SOUPS 82400 WITH SCORE 83220.303
AT ITER 5166 NEW BEST:: SOT 1949287 SOS 820215 HAS SOPS 815285 HAS SOUS 83575 HAS SOUPS 82378 WITH SCORE 83198.215
AT ITER 5169 NEW BEST:: SOT 1949287 SOS 820190 HAS SOPS 815260 HAS SOUS 83560 HAS SOUPS 82363 WITH SCORE 83183.19
AT ITER 5176 NEW BEST:: SOT 1949287 SOS 820145 HAS SOPS 815215 HAS SOUS 83550 HAS SOUPS 82353 WITH SCORE 83173.145
AT ITER 5193 NEW BEST:: SOT 1949234 SOS 819682 HAS SOPS 814752 HAS SOUS 83452 HAS SOUPS 82255 WITH SCORE 83074.682
AT ITER 5201 NEW BEST:: SOT 1949230 SOS 819662 HAS SOPS 814732 HAS SOUS 83396 HAS SOUPS 82199 WITH SCORE 83018.662
AT ITER 5220 NEW BEST:: SOT 1949227 SOS 819659 HAS SOPS 814729 HAS SOUS 83393 HAS SOUPS 82196 WITH SCORE 83015.659
AT ITER 5231 NEW BEST:: SOT 1949259 SOS 819625 HAS SOPS 814695 HAS SOUS 83372 HAS SOUPS 82175 WITH SCORE 82994.625
AT ITER 5260 NEW BEST:: SOT 1949323 SOS 819689 HAS SOPS 814759 HAS SOUS 83299 HAS SOUPS 82102 WITH SCORE 82921.689
AT ITER 5280 NEW BEST:: SOT 1949284 SOS 819608 HAS SOPS 814678 HAS SOUS 83218 HAS SOUPS 82021 WITH SCORE 82840.608
AT ITER 5283 NEW BEST:: SOT 1949245 SOS 819559 HAS SOPS 814629 HAS SOUS 83100 HAS SOUPS 81903 WITH SCORE 82722.559
AT ITER 5300 NEW BEST:: SOT 1949188 SOS 819424 HAS SOPS 814494 HAS SOUS 83045 HAS SOUPS 81848 WITH SCORE 82667.424
AT ITER 5307 NEW BEST:: SOT 1949183 SOS 819424 HAS SOPS 814494 HAS SOUS 83035 HAS SOUPS 81838 WITH SCORE 82657.424
AT ITER 5319 NEW BEST:: SOT 1949146 SOS 819445 HAS SOPS 814515 HAS SOUS 82835 HAS SOUPS 81638 WITH SCORE 82457.445
AT ITER 5328 NEW BEST:: SOT 1949141 SOS 819440 HAS SOPS 814510 HAS SOUS 82783 HAS SOUPS 81586 WITH SCORE 82405.44
AT ITER 5340 NEW BEST:: SOT 1949141 SOS 819434 HAS SOPS 814504 HAS SOUS 82783 HAS SOUPS 81586 WITH SCORE 82405.434
AT ITER 5345 NEW BEST:: SOT 1949091 SOS 819384 HAS SOPS 814454 HAS SOUS 82691 HAS SOUPS 81494 WITH SCORE 82313.384
AT ITER 5381 NEW BEST:: SOT 1949083 SOS 819376 HAS SOPS 814458 HAS SOUS 82680 HAS SOUPS 81489 WITH SCORE 82308.376
AT ITER 5472 NEW BEST:: SOT 1949055 SOS 815475 HAS SOPS 810557 HAS SOUS 82597 HAS SOUPS 81406 WITH SCORE 82221.475
AT ITER 5475 NEW BEST:: SOT 1949051 SOS 815471 HAS SOPS 810549 HAS SOUS 82589 HAS SOUPS 81398 WITH SCORE 82213.471
AT ITER 5502 NEW BEST:: SOT 1948986 SOS 815380 HAS SOPS 810458 HAS SOUS 82537 HAS SOUPS 81346 WITH SCORE 82161.38
AT ITER 5503 NEW BEST:: SOT 1948964 SOS 815370 HAS SOPS 810448 HAS SOUS 82527 HAS SOUPS 81336 WITH SCORE 82151.37
AT ITER 5504 NEW BEST:: SOT 1948941 SOS 815239 HAS SOPS 810317 HAS SOUS 82426 HAS SOUPS 81235 WITH SCORE 82050.239
AT ITER 5521 NEW BEST:: SOT 1948734 SOS 815045 HAS SOPS 810123 HAS SOUS 81957 HAS SOUPS 80766 WITH SCORE 81581.045
AT ITER 5529 NEW BEST:: SOT 1948734 SOS 815282 HAS SOPS 810360 HAS SOUS 81950 HAS SOUPS 80759 WITH SCORE 81574.282
AT ITER 5560 NEW BEST:: SOT 1948552 SOS 814485 HAS SOPS 809563 HAS SOUS 81851 HAS SOUPS 80660 WITH SCORE 81474.485
AT ITER 5564 NEW BEST:: SOT 1948564 SOS 814504 HAS SOPS 809582 HAS SOUS 81822 HAS SOUPS 80631 WITH SCORE 81445.504
AT ITER 5575 NEW BEST:: SOT 1948561 SOS 814494 HAS SOPS 809572 HAS SOUS 81817 HAS SOUPS 80626 WITH SCORE 81440.494
AT ITER 5593 NEW BEST:: SOT 1948561 SOS 814494 HAS SOPS 809572 HAS SOUS 81814 HAS SOUPS 80623 WITH SCORE 81437.494
AT ITER 5601 NEW BEST:: SOT 1948547 SOS 814480 HAS SOPS 809558 HAS SOUS 81797 HAS SOUPS 80606 WITH SCORE 81420.48
AT ITER 5618 NEW BEST:: SOT 1948547 SOS 814481 HAS SOPS 809553 HAS SOUS 81794 HAS SOUPS 80603 WITH SCORE 81417.481
AT ITER 5630 NEW BEST:: SOT 1948656 SOS 814590 HAS SOPS 809662 HAS SOUS 81737 HAS SOUPS 80546 WITH SCORE 81360.59
AT ITER 5639 NEW BEST:: SOT 1948644 SOS 814531 HAS SOPS 809533 HAS SOUS 81676 HAS SOUPS 80437 WITH SCORE 81251.531
AT ITER 5652 NEW BEST:: SOT 1948654 SOS 814621 HAS SOPS 809623 HAS SOUS 81664 HAS SOUPS 80425 WITH SCORE 81239.621
AT ITER 5661 NEW BEST:: SOT 1948636 SOS 814585 HAS SOPS 809587 HAS SOUS 81628 HAS SOUPS 80389 WITH SCORE 81203.585
AT ITER 5675 NEW BEST:: SOT 1948666 SOS 814541 HAS SOPS 809525 HAS SOUS 81621 HAS SOUPS 80364 WITH SCORE 81178.541
AT ITER 5685 NEW BEST:: SOT 1948692 SOS 814567 HAS SOPS 809538 HAS SOUS 81599 HAS SOUPS 80342 WITH SCORE 81156.567
AT ITER 5696 NEW BEST:: SOT 1948845 SOS 814720 HAS SOPS 809691 HAS SOUS 81525 HAS SOUPS 80268 WITH SCORE 81082.72
AT ITER 5699 NEW BEST:: SOT 1948839 SOS 814699 HAS SOPS 809670 HAS SOUS 81519 HAS SOUPS 80262 WITH SCORE 81076.699
AT ITER 5727 NEW BEST:: SOT 1948839 SOS 814657 HAS SOPS 809628 HAS SOUS 81459 HAS SOUPS 80202 WITH SCORE 81016.657
AT ITER 5746 NEW BEST:: SOT 1948852 SOS 814683 HAS SOPS 809654 HAS SOUS 81420 HAS SOUPS 80163 WITH SCORE 80977.683
AT ITER 5755 NEW BEST:: SOT 1948097 SOS 813529 HAS SOPS 808500 HAS SOUS 80499 HAS SOUPS 79242 WITH SCORE 80055.529
AT ITER 5795 NEW BEST:: SOT 1947985 SOS 813352 HAS SOPS 808323 HAS SOUS 80352 HAS SOUPS 79095 WITH SCORE 79908.352
AT ITER 5905 NEW BEST:: SOT 1947929 SOS 813296 HAS SOPS 808267 HAS SOUS 80205 HAS SOUPS 78948 WITH SCORE 79761.296
AT ITER 5922 NEW BEST:: SOT 1947886 SOS 813220 HAS SOPS 808200 HAS SOUS 80182 HAS SOUPS 78925 WITH SCORE 79738.22
AT ITER 5925 NEW BEST:: SOT 1947849 SOS 813216 HAS SOPS 808196 HAS SOUS 80178 HAS SOUPS 78921 WITH SCORE 79734.216
AT ITER 5932 NEW BEST:: SOT 1947825 SOS 813192 HAS SOPS 808172 HAS SOUS 80130 HAS SOUPS 78873 WITH SCORE 79686.192
AT ITER 5937 NEW BEST:: SOT 1947819 SOS 813175 HAS SOPS 808155 HAS SOUS 80113 HAS SOUPS 78856 WITH SCORE 79669.175
AT ITER 5972 NEW BEST:: SOT 1947819 SOS 813209 HAS SOPS 808189 HAS SOUS 80109 HAS SOUPS 78852 WITH SCORE 79665.209
AT ITER 5973 NEW BEST:: SOT 1947805 SOS 813195 HAS SOPS 808175 HAS SOUS 80104 HAS SOUPS 78847 WITH SCORE 79660.195
AT ITER 5977 NEW BEST:: SOT 1947797 SOS 813179 HAS SOPS 808159 HAS SOUS 80096 HAS SOUPS 78839 WITH SCORE 79652.179
AT ITER 5994 NEW BEST:: SOT 1947798 SOS 813180 HAS SOPS 808159 HAS SOUS 80095 HAS SOUPS 78838 WITH SCORE 79651.18
AT ITER 5998 NEW BEST:: SOT 1947798 SOS 813258 HAS SOPS 808237 HAS SOUS 80087 HAS SOUPS 78830 WITH SCORE 79643.258
AT ITER 6031 NEW BEST:: SOT 1947798 SOS 813208 HAS SOPS 808187 HAS SOUS 80067 HAS SOUPS 78810 WITH SCORE 79623.208
AT ITER 6038 NEW BEST:: SOT 1944488 SOS 809871 HAS SOPS 804850 HAS SOUS 79776 HAS SOUPS 78519 WITH SCORE 79328.871
AT ITER 6047 NEW BEST:: SOT 1944488 SOS 809567 HAS SOPS 804546 HAS SOUS 79776 HAS SOUPS 78519 WITH SCORE 79328.567
AT ITER 6079 NEW BEST:: SOT 1944482 SOS 809546 HAS SOPS 804525 HAS SOUS 79770 HAS SOUPS 78513 WITH SCORE 79322.546
AT ITER 6083 NEW BEST:: SOT 1944181 SOS 809297 HAS SOPS 804276 HAS SOUS 79581 HAS SOUPS 78324 WITH SCORE 79133.297
AT ITER 6104 NEW BEST:: SOT 1944170 SOS 809275 HAS SOPS 804254 HAS SOUS 79559 HAS SOUPS 78302 WITH SCORE 79111.275
AT ITER 6107 NEW BEST:: SOT 1944158 SOS 809197 HAS SOPS 804176 HAS SOUS 79557 HAS SOUPS 78300 WITH SCORE 79109.197
AT ITER 6109 NEW BEST:: SOT 1944192 SOS 808351 HAS SOPS 803319 HAS SOUS 79468 HAS SOUPS 78211 WITH SCORE 79019.351
AT ITER 6131 NEW BEST:: SOT 1944138 SOS 808297 HAS SOPS 803280 HAS SOUS 79439 HAS SOUPS 78182 WITH SCORE 78990.297
AT ITER 6155 NEW BEST:: SOT 1944134 SOS 808289 HAS SOPS 803272 HAS SOUS 79431 HAS SOUPS 78174 WITH SCORE 78982.289
AT ITER 6171 NEW BEST:: SOT 1944074 SOS 808038 HAS SOPS 803021 HAS SOUS 79315 HAS SOUPS 78058 WITH SCORE 78866.038
AT ITER 6174 NEW BEST:: SOT 1944069 SOS 808207 HAS SOPS 803190 HAS SOUS 79241 HAS SOUPS 77984 WITH SCORE 78792.207
AT ITER 6191 NEW BEST:: SOT 1943927 SOS 808065 HAS SOPS 803312 HAS SOUS 79099 HAS SOUPS 77956 WITH SCORE 78764.065
AT ITER 6225 NEW BEST:: SOT 1943913 SOS 808081 HAS SOPS 803254 HAS SOUS 79065 HAS SOUPS 77922 WITH SCORE 78730.081
AT ITER 6231 NEW BEST:: SOT 1943840 SOS 808633 HAS SOPS 803806 HAS SOUS 79022 HAS SOUPS 77879 WITH SCORE 78687.633
AT ITER 6275 NEW BEST:: SOT 1943811 SOS 808373 HAS SOPS 803546 HAS SOUS 78942 HAS SOUPS 77799 WITH SCORE 78607.373
AT ITER 6324 NEW BEST:: SOT 1943576 SOS 808107 HAS SOPS 803280 HAS SOUS 78676 HAS SOUPS 77533 WITH SCORE 78341.107
AT ITER 6331 NEW BEST:: SOT 1943576 SOS 808082 HAS SOPS 803255 HAS SOUS 78676 HAS SOUPS 77533 WITH SCORE 78341.082
AT ITER 6380 NEW BEST:: SOT 1942910 SOS 807416 HAS SOPS 802589 HAS SOUS 78440 HAS SOUPS 77297 WITH SCORE 78104.416
AT ITER 6387 NEW BEST:: SOT 1942732 SOS 807237 HAS SOPS 802410 HAS SOUS 78278 HAS SOUPS 77135 WITH SCORE 77942.237
AT ITER 6439 NEW BEST:: SOT 1942677 SOS 807182 HAS SOPS 802355 HAS SOUS 78238 HAS SOUPS 77095 WITH SCORE 77902.182
AT ITER 6463 NEW BEST:: SOT 1942677 SOS 807107 HAS SOPS 802280 HAS SOUS 78235 HAS SOUPS 77092 WITH SCORE 77899.107
AT ITER 6484 NEW BEST:: SOT 1942533 SOS 806891 HAS SOPS 802064 HAS SOUS 78055 HAS SOUPS 76912 WITH SCORE 77718.891
AT ITER 6495 NEW BEST:: SOT 1940252 SOS 804610 HAS SOPS 799783 HAS SOUS 77531 HAS SOUPS 76388 WITH SCORE 77192.61
AT ITER 6504 NEW BEST:: SOT 1940252 SOS 804602 HAS SOPS 799775 HAS SOUS 77523 HAS SOUPS 76380 WITH SCORE 77184.602
AT ITER 6518 NEW BEST:: SOT 1940162 SOS 795051 HAS SOPS 790224 HAS SOUS 77532 HAS SOUPS 76389 WITH SCORE 77184.051
AT ITER 6539 NEW BEST:: SOT 1940161 SOS 795050 HAS SOPS 790172 HAS SOUS 77526 HAS SOUPS 76383 WITH SCORE 77178.05
AT ITER 6546 NEW BEST:: SOT 1940034 SOS 751348 HAS SOPS 746470 HAS SOUS 77475 HAS SOUPS 76332 WITH SCORE 77083.348
AT ITER 6570 NEW BEST:: SOT 1939912 SOS 751139 HAS SOPS 746261 HAS SOUS 77324 HAS SOUPS 76181 WITH SCORE 76932.139
AT ITER 6606 NEW BEST:: SOT 1939900 SOS 751127 HAS SOPS 746249 HAS SOUS 77312 HAS SOUPS 76169 WITH SCORE 76920.127
AT ITER 6608 NEW BEST:: SOT 1939900 SOS 751126 HAS SOPS 746248 HAS SOUS 77311 HAS SOUPS 76168 WITH SCORE 76919.126
AT ITER 6627 NEW BEST:: SOT 1939839 SOS 750985 HAS SOPS 746107 HAS SOUS 77280 HAS SOUPS 76137 WITH SCORE 76887.985
AT ITER 6638 NEW BEST:: SOT 1939831 SOS 750977 HAS SOPS 746099 HAS SOUS 77110 HAS SOUPS 75967 WITH SCORE 76717.977
AT ITER 6651 NEW BEST:: SOT 1939831 SOS 750936 HAS SOPS 746058 HAS SOUS 77110 HAS SOUPS 75967 WITH SCORE 76717.936
AT ITER 6703 NEW BEST:: SOT 1939779 SOS 750766 HAS SOPS 745888 HAS SOUS 77058 HAS SOUPS 75915 WITH SCORE 76665.766
AT ITER 6716 NEW BEST:: SOT 1939699 SOS 750686 HAS SOPS 745808 HAS SOUS 76963 HAS SOUPS 75820 WITH SCORE 76570.686
AT ITER 6730 NEW BEST:: SOT 1939684 SOS 750709 HAS SOPS 745831 HAS SOUS 76957 HAS SOUPS 75814 WITH SCORE 76564.709
AT ITER 6740 NEW BEST:: SOT 1939628 SOS 750329 HAS SOPS 745451 HAS SOUS 76898 HAS SOUPS 75755 WITH SCORE 76505.329
AT ITER 6749 NEW BEST:: SOT 1939368 SOS 750115 HAS SOPS 745237 HAS SOUS 76659 HAS SOUPS 75516 WITH SCORE 76266.115
AT ITER 6790 NEW BEST:: SOT 1939365 SOS 750112 HAS SOPS 745234 HAS SOUS 76585 HAS SOUPS 75442 WITH SCORE 76192.112
AT ITER 6801 NEW BEST:: SOT 1939430 SOS 750218 HAS SOPS 745340 HAS SOUS 76471 HAS SOUPS 75328 WITH SCORE 76078.218
AT ITER 6805 NEW BEST:: SOT 1939440 SOS 750228 HAS SOPS 745350 HAS SOUS 76451 HAS SOUPS 75308 WITH SCORE 76058.228
AT ITER 6819 NEW BEST:: SOT 1939439 SOS 750232 HAS SOPS 745354 HAS SOUS 76449 HAS SOUPS 75306 WITH SCORE 76056.232
AT ITER 6886 NEW BEST:: SOT 1939089 SOS 749586 HAS SOPS 744708 HAS SOUS 76246 HAS SOUPS 75103 WITH SCORE 75852.586
AT ITER 6908 NEW BEST:: SOT 1939051 SOS 749544 HAS SOPS 744666 HAS SOUS 76224 HAS SOUPS 75081 WITH SCORE 75830.544
AT ITER 6937 NEW BEST:: SOT 1939059 SOS 749579 HAS SOPS 744665 HAS SOUS 76230 HAS SOUPS 75078 WITH SCORE 75827.579
AT ITER 6948 NEW BEST:: SOT 1939052 SOS 749572 HAS SOPS 744658 HAS SOUS 76198 HAS SOUPS 75046 WITH SCORE 75795.572
AT ITER 6979 NEW BEST:: SOT 1931184 SOS 741732 HAS SOPS 736790 HAS SOUS 75214 HAS SOUPS 74055 WITH SCORE 74796.732
AT ITER 6984 NEW BEST:: SOT 1931366 SOS 741914 HAS SOPS 736800 HAS SOUS 75183 HAS SOUPS 73970 WITH SCORE 74711.914
AT ITER 7020 NEW BEST:: SOT 1931334 SOS 741818 HAS SOPS 736704 HAS SOUS 75135 HAS SOUPS 73922 WITH SCORE 74663.818
AT ITER 7042 NEW BEST:: SOT 1931324 SOS 741320 HAS SOPS 736206 HAS SOUS 75115 HAS SOUPS 73902 WITH SCORE 74643.32
AT ITER 7053 NEW BEST:: SOT 1931323 SOS 741384 HAS SOPS 736287 HAS SOUS 75048 HAS SOUPS 73835 WITH SCORE 74576.384
AT ITER 7065 NEW BEST:: SOT 1931323 SOS 741383 HAS SOPS 736287 HAS SOUS 75048 HAS SOUPS 73835 WITH SCORE 74576.383
AT ITER 7085 NEW BEST:: SOT 1931307 SOS 741387 HAS SOPS 736291 HAS SOUS 75032 HAS SOUPS 73819 WITH SCORE 74560.387
AT ITER 7168 NEW BEST:: SOT 1931295 SOS 741375 HAS SOPS 736255 HAS SOUS 75020 HAS SOUPS 73783 WITH SCORE 74524.375
AT ITER 7204 NEW BEST:: SOT 1931295 SOS 741374 HAS SOPS 736254 HAS SOUS 75020 HAS SOUPS 73783 WITH SCORE 74524.374
AT ITER 7206 NEW BEST:: SOT 1931291 SOS 741370 HAS SOPS 736250 HAS SOUS 74995 HAS SOUPS 73758 WITH SCORE 74499.37
AT ITER 7226 NEW BEST:: SOT 1931299 SOS 741366 HAS SOPS 736246 HAS SOUS 74833 HAS SOUPS 73596 WITH SCORE 74337.366
AT ITER 7231 NEW BEST:: SOT 1931289 SOS 741366 HAS SOPS 736246 HAS SOUS 74828 HAS SOUPS 73591 WITH SCORE 74332.366
AT ITER 7240 NEW BEST:: SOT 1931252 SOS 741329 HAS SOPS 736209 HAS SOUS 74823 HAS SOUPS 73586 WITH SCORE 74327.329
AT ITER 7273 NEW BEST:: SOT 1931244 SOS 741300 HAS SOPS 736180 HAS SOUS 74670 HAS SOUPS 73433 WITH SCORE 74174.3
AT ITER 7286 NEW BEST:: SOT 1931229 SOS 741285 HAS SOPS 736165 HAS SOUS 74655 HAS SOUPS 73418 WITH SCORE 74159.285
AT ITER 7314 NEW BEST:: SOT 1931273 SOS 741351 HAS SOPS 736231 HAS SOUS 74594 HAS SOUPS 73357 WITH SCORE 74098.351
AT ITER 7320 NEW BEST:: SOT 1931303 SOS 741381 HAS SOPS 736261 HAS SOUS 74576 HAS SOUPS 73339 WITH SCORE 74080.381
AT ITER 7329 NEW BEST:: SOT 1931359 SOS 741408 HAS SOPS 736288 HAS SOUS 74571 HAS SOUPS 73334 WITH SCORE 74075.408
AT ITER 7362 NEW BEST:: SOT 1931343 SOS 741404 HAS SOPS 736284 HAS SOUS 74555 HAS SOUPS 73318 WITH SCORE 74059.404
AT ITER 7364 NEW BEST:: SOT 1931337 SOS 741404 HAS SOPS 736284 HAS SOUS 74543 HAS SOUPS 73306 WITH SCORE 74047.404
AT ITER 7372 NEW BEST:: SOT 1931337 SOS 740794 HAS SOPS 735721 HAS SOUS 74469 HAS SOUPS 73245 WITH SCORE 73985.794
AT ITER 7395 NEW BEST:: SOT 1931196 SOS 740161 HAS SOPS 735088 HAS SOUS 74336 HAS SOUPS 73112 WITH SCORE 73852.161
AT ITER 7457 NEW BEST:: SOT 1931184 SOS 740154 HAS SOPS 735081 HAS SOUS 74283 HAS SOUPS 73059 WITH SCORE 73799.154
AT ITER 7461 NEW BEST:: SOT 1931072 SOS 740015 HAS SOPS 734942 HAS SOUS 74282 HAS SOUPS 73058 WITH SCORE 73798.015
AT ITER 7463 NEW BEST:: SOT 1931072 SOS 740167 HAS SOPS 735094 HAS SOUS 74280 HAS SOUPS 73056 WITH SCORE 73796.167
AT ITER 7497 NEW BEST:: SOT 1931061 SOS 740156 HAS SOPS 735072 HAS SOUS 74258 HAS SOUPS 73034 WITH SCORE 73774.156
AT ITER 7535 NEW BEST:: SOT 1931061 SOS 740196 HAS SOPS 735072 HAS SOUS 74228 HAS SOUPS 72994 WITH SCORE 73734.196
AT ITER 7555 NEW BEST:: SOT 1931066 SOS 740191 HAS SOPS 735067 HAS SOUS 74228 HAS SOUPS 72994 WITH SCORE 73734.191
AT ITER 7556 NEW BEST:: SOT 1931042 SOS 740167 HAS SOPS 735043 HAS SOUS 74204 HAS SOUPS 72970 WITH SCORE 73710.167
AT ITER 7577 NEW BEST:: SOT 1931042 SOS 740162 HAS SOPS 735038 HAS SOUS 74204 HAS SOUPS 72970 WITH SCORE 73710.162
AT ITER 7649 NEW BEST:: SOT 1931080 SOS 740200 HAS SOPS 735076 HAS SOUS 74140 HAS SOUPS 72906 WITH SCORE 73646.2
AT ITER 7652 NEW BEST:: SOT 1931074 SOS 740194 HAS SOPS 735070 HAS SOUS 74128 HAS SOUPS 72894 WITH SCORE 73634.194
AT ITER 7658 NEW BEST:: SOT 1931062 SOS 740152 HAS SOPS 735028 HAS SOUS 74104 HAS SOUPS 72870 WITH SCORE 73610.152
AT ITER 7681 NEW BEST:: SOT 1931026 SOS 740080 HAS SOPS 734956 HAS SOUS 74056 HAS SOUPS 72822 WITH SCORE 73562.08
AT ITER 7734 NEW BEST:: SOT 1931057 SOS 740111 HAS SOPS 734987 HAS SOUS 74038 HAS SOUPS 72804 WITH SCORE 73544.111
AT ITER 7739 NEW BEST:: SOT 1931057 SOS 739955 HAS SOPS 734831 HAS SOUS 73986 HAS SOUPS 72752 WITH SCORE 73491.955
AT ITER 7790 NEW BEST:: SOT 1931057 SOS 739949 HAS SOPS 734825 HAS SOUS 73982 HAS SOUPS 72748 WITH SCORE 73487.949
AT ITER 7796 NEW BEST:: SOT 1931057 SOS 739945 HAS SOPS 734821 HAS SOUS 73980 HAS SOUPS 72746 WITH SCORE 73485.945
AT ITER 7807 NEW BEST:: SOT 1931043 SOS 739931 HAS SOPS 734807 HAS SOUS 73976 HAS SOUPS 72742 WITH SCORE 73481.931
AT ITER 7816 NEW BEST:: SOT 1930595 SOS 739483 HAS SOPS 734359 HAS SOUS 73730 HAS SOUPS 72496 WITH SCORE 73235.483
AT ITER 7818 NEW BEST:: SOT 1930510 SOS 739218 HAS SOPS 734094 HAS SOUS 73432 HAS SOUPS 72198 WITH SCORE 72937.218
AT ITER 7881 NEW BEST:: SOT 1930487 SOS 739135 HAS SOPS 734011 HAS SOUS 73406 HAS SOUPS 72172 WITH SCORE 72911.135
AT ITER 7901 NEW BEST:: SOT 1930201 SOS 738846 HAS SOPS 733722 HAS SOUS 73188 HAS SOUPS 71954 WITH SCORE 72692.846
AT ITER 7908 NEW BEST:: SOT 1930159 SOS 738804 HAS SOPS 733680 HAS SOUS 73103 HAS SOUPS 71869 WITH SCORE 72607.804
AT ITER 7911 NEW BEST:: SOT 1930134 SOS 738797 HAS SOPS 733673 HAS SOUS 73051 HAS SOUPS 71817 WITH SCORE 72555.797
AT ITER 7934 NEW BEST:: SOT 1930158 SOS 738821 HAS SOPS 733697 HAS SOUS 73025 HAS SOUPS 71791 WITH SCORE 72529.821
AT ITER 7944 NEW BEST:: SOT 1930158 SOS 738809 HAS SOPS 733685 HAS SOUS 73025 HAS SOUPS 71791 WITH SCORE 72529.809
AT ITER 7955 NEW BEST:: SOT 1916767 SOS 725510 HAS SOPS 720294 HAS SOUS 72777 HAS SOUPS 71520 WITH SCORE 72245.51
AT ITER 7959 NEW BEST:: SOT 1916744 SOS 725338 HAS SOPS 720122 HAS SOUS 72710 HAS SOUPS 71453 WITH SCORE 72178.338
AT ITER 7968 NEW BEST:: SOT 1916736 SOS 725326 HAS SOPS 720110 HAS SOUS 72694 HAS SOUPS 71437 WITH SCORE 72162.326
AT ITER 7975 NEW BEST:: SOT 1916706 SOS 725286 HAS SOPS 720070 HAS SOUS 72664 HAS SOUPS 71407 WITH SCORE 72132.286
AT ITER 7991 NEW BEST:: SOT 1916706 SOS 725229 HAS SOPS 720013 HAS SOUS 72645 HAS SOUPS 71388 WITH SCORE 72113.229
AT ITER 7994 NEW BEST:: SOT 1916708 SOS 725231 HAS SOPS 720008 HAS SOUS 72640 HAS SOUPS 71383 WITH SCORE 72108.231
AT ITER 8023 NEW BEST:: SOT 1916640 SOS 725163 HAS SOPS 719940 HAS SOUS 72446 HAS SOUPS 71189 WITH SCORE 71914.163
AT ITER 8054 NEW BEST:: SOT 1916624 SOS 725232 HAS SOPS 720009 HAS SOUS 72406 HAS SOUPS 71149 WITH SCORE 71874.232
AT ITER 8086 NEW BEST:: SOT 1916633 SOS 725241 HAS SOPS 720018 HAS SOUS 72392 HAS SOUPS 71135 WITH SCORE 71860.241
AT ITER 8089 NEW BEST:: SOT 1916162 SOS 724845 HAS SOPS 719622 HAS SOUS 71871 HAS SOUPS 70614 WITH SCORE 71338.845
AT ITER 8136 NEW BEST:: SOT 1915934 SOS 724667 HAS SOPS 719444 HAS SOUS 71658 HAS SOUPS 70401 WITH SCORE 71125.667
AT ITER 8137 NEW BEST:: SOT 1915912 SOS 724653 HAS SOPS 719430 HAS SOUS 71644 HAS SOUPS 70387 WITH SCORE 71111.653
AT ITER 8142 NEW BEST:: SOT 1915963 SOS 724704 HAS SOPS 719481 HAS SOUS 71576 HAS SOUPS 70319 WITH SCORE 71043.704
AT ITER 8152 NEW BEST:: SOT 1915958 SOS 724699 HAS SOPS 719476 HAS SOUS 71571 HAS SOUPS 70314 WITH SCORE 71038.699
AT ITER 8172 NEW BEST:: SOT 1915952 SOS 724693 HAS SOPS 719466 HAS SOUS 71565 HAS SOUPS 70308 WITH SCORE 71032.693
AT ITER 8187 NEW BEST:: SOT 1915924 SOS 724665 HAS SOPS 719438 HAS SOUS 71531 HAS SOUPS 70274 WITH SCORE 70998.665
AT ITER 8239 NEW BEST:: SOT 1915918 SOS 724659 HAS SOPS 719432 HAS SOUS 71528 HAS SOUPS 70271 WITH SCORE 70995.659
AT ITER 8309 NEW BEST:: SOT 1911356 SOS 720097 HAS SOPS 714870 HAS SOUS 70504 HAS SOUPS 69247 WITH SCORE 69967.097
AT ITER 8346 NEW BEST:: SOT 1911350 SOS 720091 HAS SOPS 714864 HAS SOUS 70498 HAS SOUPS 69241 WITH SCORE 69961.091
AT ITER 8378 NEW BEST:: SOT 1911347 SOS 720088 HAS SOPS 714861 HAS SOUS 70495 HAS SOUPS 69238 WITH SCORE 69958.088
AT ITER 8461 NEW BEST:: SOT 1911335 SOS 720064 HAS SOPS 714837 HAS SOUS 70471 HAS SOUPS 69214 WITH SCORE 69934.064
AT ITER 8467 NEW BEST:: SOT 1911335 SOS 720062 HAS SOPS 714835 HAS SOUS 70471 HAS SOUPS 69214 WITH SCORE 69934.062
AT ITER 8595 NEW BEST:: SOT 1911326 SOS 720048 HAS SOPS 714821 HAS SOUS 70457 HAS SOUPS 69200 WITH SCORE 69920.048
AT ITER 8610 NEW BEST:: SOT 1910935 SOS 719657 HAS SOPS 714430 HAS SOUS 70431 HAS SOUPS 69174 WITH SCORE 69893.657
AT ITER 8619 NEW BEST:: SOT 1910927 SOS 719649 HAS SOPS 714414 HAS SOUS 70415 HAS SOUPS 69158 WITH SCORE 69877.649
AT ITER 8646 NEW BEST:: SOT 1910857 SOS 719579 HAS SOPS 714344 HAS SOUS 70307 HAS SOUPS 69050 WITH SCORE 69769.579
AT ITER 8712 NEW BEST:: SOT 1910804 SOS 719285 HAS SOPS 714050 HAS SOUS 70207 HAS SOUPS 68950 WITH SCORE 69669.285
AT ITER 8723 NEW BEST:: SOT 1910741 SOS 719222 HAS SOPS 713987 HAS SOUS 70147 HAS SOUPS 68890 WITH SCORE 69609.222
AT ITER 8738 NEW BEST:: SOT 1910626 SOS 719079 HAS SOPS 713844 HAS SOUS 70024 HAS SOUPS 68767 WITH SCORE 69486.079
AT ITER 8797 NEW BEST:: SOT 1910622 SOS 719076 HAS SOPS 713841 HAS SOUS 70024 HAS SOUPS 68767 WITH SCORE 69486.076
AT ITER 8836 NEW BEST:: SOT 1910603 SOS 719057 HAS SOPS 713822 HAS SOUS 70012 HAS SOUPS 68755 WITH SCORE 69474.057
AT ITER 8842 NEW BEST:: SOT 1910599 SOS 719076 HAS SOPS 713841 HAS SOUS 70004 HAS SOUPS 68747 WITH SCORE 69466.076
AT ITER 8855 NEW BEST:: SOT 1910568 SOS 718586 HAS SOPS 713351 HAS SOUS 69962 HAS SOUPS 68705 WITH SCORE 69423.586
AT ITER 8870 NEW BEST:: SOT 1910559 SOS 704636 HAS SOPS 699401 HAS SOUS 69944 HAS SOUPS 68687 WITH SCORE 69391.636
AT ITER 8906 NEW BEST:: SOT 1910591 SOS 704668 HAS SOPS 699433 HAS SOUS 69933 HAS SOUPS 68676 WITH SCORE 69380.668
AT ITER 8969 NEW BEST:: SOT 1910565 SOS 704511 HAS SOPS 699276 HAS SOUS 69881 HAS SOUPS 68624 WITH SCORE 69328.511
AT ITER 8974 NEW BEST:: SOT 1910547 SOS 704475 HAS SOPS 699240 HAS SOUS 69860 HAS SOUPS 68603 WITH SCORE 69307.475
AT ITER 8996 NEW BEST:: SOT 1910493 SOS 703449 HAS SOPS 698214 HAS SOUS 69806 HAS SOUPS 68549 WITH SCORE 69252.449
AT ITER 9030 NEW BEST:: SOT 1910493 SOS 703449 HAS SOPS 698214 HAS SOUS 69776 HAS SOUPS 68519 WITH SCORE 69222.449
AT ITER 9090 NEW BEST:: SOT 1910478 SOS 703434 HAS SOPS 698199 HAS SOUS 69724 HAS SOUPS 68467 WITH SCORE 69170.434
AT ITER 9104 NEW BEST:: SOT 1910456 SOS 703412 HAS SOPS 698177 HAS SOUS 69682 HAS SOUPS 68425 WITH SCORE 69128.412
AT ITER 9128 NEW BEST:: SOT 1910519 SOS 704022 HAS SOPS 698787 HAS SOUS 69613 HAS SOUPS 68356 WITH SCORE 69060.022
AT ITER 9183 NEW BEST:: SOT 1910514 SOS 704021 HAS SOPS 698786 HAS SOUS 69593 HAS SOUPS 68336 WITH SCORE 69040.021
AT ITER 9199 NEW BEST:: SOT 1910504 SOS 704769 HAS SOPS 699534 HAS SOUS 69420 HAS SOUPS 68163 WITH SCORE 68867.769
AT ITER 9202 NEW BEST:: SOT 1910504 SOS 704774 HAS SOPS 699539 HAS SOUS 69399 HAS SOUPS 68142 WITH SCORE 68846.774
AT ITER 9207 NEW BEST:: SOT 1910511 SOS 704719 HAS SOPS 699484 HAS SOUS 69208 HAS SOUPS 67951 WITH SCORE 68655.719
AT ITER 9216 NEW BEST:: SOT 1910413 SOS 704627 HAS SOPS 699392 HAS SOUS 69151 HAS SOUPS 67894 WITH SCORE 68598.627
AT ITER 9227 NEW BEST:: SOT 1910419 SOS 704633 HAS SOPS 699398 HAS SOUS 69144 HAS SOUPS 67887 WITH SCORE 68591.633
AT ITER 9238 NEW BEST:: SOT 1910412 SOS 704626 HAS SOPS 699391 HAS SOUS 69130 HAS SOUPS 67873 WITH SCORE 68577.626
AT ITER 9259 NEW BEST:: SOT 1910395 SOS 704583 HAS SOPS 699348 HAS SOUS 69096 HAS SOUPS 67839 WITH SCORE 68543.583
AT ITER 9275 NEW BEST:: SOT 1910371 SOS 704613 HAS SOPS 699324 HAS SOUS 69033 HAS SOUPS 67763 WITH SCORE 68467.613
AT ITER 9277 NEW BEST:: SOT 1903603 SOS 697873 HAS SOPS 692556 HAS SOUS 68685 HAS SOUPS 67408 WITH SCORE 68105.873
AT ITER 9281 NEW BEST:: SOT 1903649 SOS 697949 HAS SOPS 692632 HAS SOUS 68597 HAS SOUPS 67320 WITH SCORE 68017.949
AT ITER 9329 NEW BEST:: SOT 1903643 SOS 697965 HAS SOPS 692648 HAS SOUS 68585 HAS SOUPS 67308 WITH SCORE 68005.965
AT ITER 9375 NEW BEST:: SOT 1903653 SOS 697935 HAS SOPS 692618 HAS SOUS 68585 HAS SOUPS 67308 WITH SCORE 68005.935
AT ITER 9377 NEW BEST:: SOT 1903609 SOS 697759 HAS SOPS 692442 HAS SOUS 68541 HAS SOUPS 67264 WITH SCORE 67961.759
AT ITER 9384 NEW BEST:: SOT 1903627 SOS 697986 HAS SOPS 692669 HAS SOUS 68525 HAS SOUPS 67248 WITH SCORE 67945.986
AT ITER 9389 NEW BEST:: SOT 1903614 SOS 697981 HAS SOPS 692664 HAS SOUS 68512 HAS SOUPS 67235 WITH SCORE 67932.981
AT ITER 9419 NEW BEST:: SOT 1903152 SOS 668016 HAS SOPS 662699 HAS SOUS 68272 HAS SOUPS 66995 WITH SCORE 67663.016
AT ITER 9424 NEW BEST:: SOT 1903145 SOS 668009 HAS SOPS 662692 HAS SOUS 68265 HAS SOUPS 66988 WITH SCORE 67656.009
AT ITER 9434 NEW BEST:: SOT 1903205 SOS 668069 HAS SOPS 662752 HAS SOUS 68247 HAS SOUPS 66970 WITH SCORE 67638.069
AT ITER 9448 NEW BEST:: SOT 1903200 SOS 667876 HAS SOPS 662559 HAS SOUS 68237 HAS SOUPS 66960 WITH SCORE 67627.876
AT ITER 9453 NEW BEST:: SOT 1903172 SOS 667878 HAS SOPS 662561 HAS SOUS 68235 HAS SOUPS 66958 WITH SCORE 67625.878
AT ITER 9468 NEW BEST:: SOT 1903144 SOS 667846 HAS SOPS 662529 HAS SOUS 68175 HAS SOUPS 66898 WITH SCORE 67565.846
AT ITER 9477 NEW BEST:: SOT 1903142 SOS 667844 HAS SOPS 662524 HAS SOUS 68172 HAS SOUPS 66895 WITH SCORE 67562.844
AT ITER 9494 NEW BEST:: SOT 1903139 SOS 667841 HAS SOPS 662518 HAS SOUS 68166 HAS SOUPS 66889 WITH SCORE 67556.841
AT ITER 9571 NEW BEST:: SOT 1903113 SOS 667870 HAS SOPS 662547 HAS SOUS 68161 HAS SOUPS 66884 WITH SCORE 67551.87
AT ITER 9593 NEW BEST:: SOT 1903115 SOS 667873 HAS SOPS 662550 HAS SOUS 68159 HAS SOUPS 66882 WITH SCORE 67549.873
AT ITER 9609 NEW BEST:: SOT 1903102 SOS 660556 HAS SOPS 655233 HAS SOUS 68135 HAS SOUPS 66858 WITH SCORE 67518.556
AT ITER 9646 NEW BEST:: SOT 1903091 SOS 660534 HAS SOPS 655211 HAS SOUS 68113 HAS SOUPS 66836 WITH SCORE 67496.534
AT ITER 9669 NEW BEST:: SOT 1903058 SOS 660501 HAS SOPS 655178 HAS SOUS 68084 HAS SOUPS 66807 WITH SCORE 67467.501
AT ITER 9693 NEW BEST:: SOT 1903055 SOS 660498 HAS SOPS 655172 HAS SOUS 68078 HAS SOUPS 66801 WITH SCORE 67461.498
AT ITER 9735 NEW BEST:: SOT 1903053 SOS 660496 HAS SOPS 655168 HAS SOUS 68074 HAS SOUPS 66797 WITH SCORE 67457.496
AT ITER 9736 NEW BEST:: SOT 1903053 SOS 660068 HAS SOPS 654740 HAS SOUS 68069 HAS SOUPS 66792 WITH SCORE 67452.068
AT ITER 9741 NEW BEST:: SOT 1902850 SOS 659862 HAS SOPS 654534 HAS SOUS 67896 HAS SOUPS 66619 WITH SCORE 67278.862
AT ITER 9764 NEW BEST:: SOT 1902720 SOS 695017 HAS SOPS 689689 HAS SOUS 67818 HAS SOUPS 66541 WITH SCORE 67236.017
AT ITER 9792 NEW BEST:: SOT 1902720 SOS 694997 HAS SOPS 689669 HAS SOUS 67778 HAS SOUPS 66501 WITH SCORE 67195.997
AT ITER 9861 NEW BEST:: SOT 1902720 SOS 694908 HAS SOPS 689580 HAS SOUS 67689 HAS SOUPS 66412 WITH SCORE 67106.908
AT ITER 9873 NEW BEST:: SOT 1902713 SOS 694892 HAS SOPS 689564 HAS SOUS 67673 HAS SOUPS 66396 WITH SCORE 67090.892
AT ITER 9903 NEW BEST:: SOT 1902710 SOS 694889 HAS SOPS 689555 HAS SOUS 67670 HAS SOUPS 66387 WITH SCORE 67081.889
AT ITER 9910 NEW BEST:: SOT 1902681 SOS 694860 HAS SOPS 689526 HAS SOUS 67659 HAS SOUPS 66376 WITH SCORE 67070.86
AT ITER 9946 NEW BEST:: SOT 1902664 SOS 694843 HAS SOPS 689492 HAS SOUS 67625 HAS SOUPS 66342 WITH SCORE 67036.843
AT ITER 9986 NEW BEST:: SOT 1897123 SOS 689338 HAS SOPS 683951 HAS SOUS 67491 HAS SOUPS 66199 WITH SCORE 66888.338
AT ITER 9998 NEW BEST:: SOT 1897122 SOS 689314 HAS SOPS 683927 HAS SOUS 67474 HAS SOUPS 66182 WITH SCORE 66871.314
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11972052 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16102008 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-PT-S06J06T04"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is PolyORBLF-PT-S06J06T04, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r299-tall-167873953200616"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S06J06T04.tgz
mv PolyORBLF-PT-S06J06T04 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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;