fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r491-tall-167912711501176
Last Updated
May 14, 2023

About the Execution of Smart+red for UtilityControlRoom-PT-Z4T3N08

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16217.743 2872993.00 2941829.00 18084.60 [undef] Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r491-tall-167912711501176.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 UtilityControlRoom-PT-Z4T3N08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711501176
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.5M
-rw-r--r-- 1 mcc users 43K Feb 26 14:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 206K Feb 26 14:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 86K Feb 26 14:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 338K Feb 26 14:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 23K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 49K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 146K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 45K Feb 26 14:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 251K Feb 26 14:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 195K Feb 26 14:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 740K Feb 26 14:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.9K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 255K 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 1679315056018

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=UtilityControlRoom-PT-Z4T3N08
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 12:24:17] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 12:24:17] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 12:24:18] [INFO ] Load time of PNML (sax parser for PT used): 95 ms
[2023-03-20 12:24:18] [INFO ] Transformed 302 places.
[2023-03-20 12:24:18] [INFO ] Transformed 600 transitions.
[2023-03-20 12:24:18] [INFO ] Parsed PT model containing 302 places and 600 transitions and 1928 arcs in 456 ms.
[2023-03-20 12:24:18] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 302 places, 600 transitions and 1928 arcs took 8 ms.
Total runtime 498 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), instance Z4T3N08
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: 302 places, 600 transitions, 1928 arcs.
AT ITER 0 NEW BEST:: SOT 148019 SOS 118663 HAS SOPS 118663 HAS SOUS 66778 HAS SOUPS 66778 WITH SCORE 66896.663
AT ITER 3 NEW BEST:: SOT 148025 SOS 118519 HAS SOPS 118519 HAS SOUS 66745 HAS SOUPS 66745 WITH SCORE 66863.519
AT ITER 7 NEW BEST:: SOT 148006 SOS 118557 HAS SOPS 118557 HAS SOUS 66681 HAS SOUPS 66681 WITH SCORE 66799.557
AT ITER 11 NEW BEST:: SOT 148070 SOS 118429 HAS SOPS 118429 HAS SOUS 66681 HAS SOUPS 66681 WITH SCORE 66799.429
AT ITER 15 NEW BEST:: SOT 148030 SOS 118473 HAS SOPS 118473 HAS SOUS 66634 HAS SOUPS 66634 WITH SCORE 66752.473
AT ITER 20 NEW BEST:: SOT 147975 SOS 118146 HAS SOPS 118146 HAS SOUS 66464 HAS SOUPS 66464 WITH SCORE 66582.146
AT ITER 21 NEW BEST:: SOT 147957 SOS 118110 HAS SOPS 118110 HAS SOUS 66389 HAS SOUPS 66389 WITH SCORE 66507.11
AT ITER 24 NEW BEST:: SOT 147903 SOS 118002 HAS SOPS 118002 HAS SOUS 66202 HAS SOUPS 66202 WITH SCORE 66320.002
AT ITER 25 NEW BEST:: SOT 147782 SOS 117828 HAS SOPS 117828 HAS SOUS 65810 HAS SOUPS 65810 WITH SCORE 65927.828
AT ITER 34 NEW BEST:: SOT 147764 SOS 117810 HAS SOPS 117810 HAS SOUS 65797 HAS SOUPS 65797 WITH SCORE 65914.81
AT ITER 36 NEW BEST:: SOT 147718 SOS 117718 HAS SOPS 117718 HAS SOUS 65453 HAS SOUPS 65453 WITH SCORE 65570.718
AT ITER 37 NEW BEST:: SOT 147646 SOS 115493 HAS SOPS 115493 HAS SOUS 65305 HAS SOUPS 65305 WITH SCORE 65420.493
AT ITER 40 NEW BEST:: SOT 147518 SOS 114968 HAS SOPS 114968 HAS SOUS 65075 HAS SOUPS 65075 WITH SCORE 65189.968
AT ITER 41 NEW BEST:: SOT 147451 SOS 114833 HAS SOPS 114833 HAS SOUS 65012 HAS SOUPS 65012 WITH SCORE 65126.833
AT ITER 47 NEW BEST:: SOT 147425 SOS 114569 HAS SOPS 114569 HAS SOUS 64895 HAS SOUPS 64895 WITH SCORE 65009.569
AT ITER 48 NEW BEST:: SOT 147303 SOS 114386 HAS SOPS 114386 HAS SOUS 64635 HAS SOUPS 64635 WITH SCORE 64749.386
AT ITER 50 NEW BEST:: SOT 147279 SOS 114076 HAS SOPS 114076 HAS SOUS 64253 HAS SOUPS 64253 WITH SCORE 64367.076
AT ITER 54 NEW BEST:: SOT 147181 SOS 113885 HAS SOPS 113885 HAS SOUS 63972 HAS SOUPS 63972 WITH SCORE 64085.885
AT ITER 56 NEW BEST:: SOT 147158 SOS 113885 HAS SOPS 113885 HAS SOUS 63880 HAS SOUPS 63880 WITH SCORE 63993.885
AT ITER 57 NEW BEST:: SOT 147396 SOS 113769 HAS SOPS 113769 HAS SOUS 63542 HAS SOUPS 63542 WITH SCORE 63655.769
AT ITER 58 NEW BEST:: SOT 147300 SOS 113045 HAS SOPS 113045 HAS SOUS 63207 HAS SOUPS 63207 WITH SCORE 63320.045
AT ITER 61 NEW BEST:: SOT 134246 SOS 100046 HAS SOPS 100046 HAS SOUS 55905 HAS SOUPS 55905 WITH SCORE 56005.046
AT ITER 64 NEW BEST:: SOT 134239 SOS 99399 HAS SOPS 99399 HAS SOUS 55741 HAS SOUPS 55741 WITH SCORE 55840.399
AT ITER 67 NEW BEST:: SOT 134197 SOS 99093 HAS SOPS 99093 HAS SOUS 55257 HAS SOUPS 55257 WITH SCORE 55356.093
AT ITER 69 NEW BEST:: SOT 134155 SOS 96009 HAS SOPS 96009 HAS SOUS 53053 HAS SOUPS 53053 WITH SCORE 53149.009
AT ITER 70 NEW BEST:: SOT 134101 SOS 95901 HAS SOPS 95901 HAS SOUS 53007 HAS SOUPS 53007 WITH SCORE 53102.901
AT ITER 71 NEW BEST:: SOT 134509 SOS 95688 HAS SOPS 95688 HAS SOUS 52475 HAS SOUPS 52475 WITH SCORE 52570.688
AT ITER 73 NEW BEST:: SOT 134480 SOS 95287 HAS SOPS 95287 HAS SOUS 52430 HAS SOUPS 52430 WITH SCORE 52525.287
AT ITER 77 NEW BEST:: SOT 134648 SOS 95438 HAS SOPS 95438 HAS SOUS 52391 HAS SOUPS 52391 WITH SCORE 52486.438
AT ITER 80 NEW BEST:: SOT 134606 SOS 95312 HAS SOPS 95312 HAS SOUS 52265 HAS SOUPS 52265 WITH SCORE 52360.312
AT ITER 81 NEW BEST:: SOT 134590 SOS 95228 HAS SOPS 95228 HAS SOUS 52217 HAS SOUPS 52217 WITH SCORE 52312.228
AT ITER 86 NEW BEST:: SOT 134555 SOS 94611 HAS SOPS 94611 HAS SOUS 51825 HAS SOUPS 51825 WITH SCORE 51919.611
AT ITER 87 NEW BEST:: SOT 134496 SOS 92350 HAS SOPS 92350 HAS SOUS 50825 HAS SOUPS 50825 WITH SCORE 50917.35
AT ITER 90 NEW BEST:: SOT 134366 SOS 92314 HAS SOPS 92314 HAS SOUS 50654 HAS SOUPS 50654 WITH SCORE 50746.314
AT ITER 91 NEW BEST:: SOT 134626 SOS 92540 HAS SOPS 92540 HAS SOUS 50641 HAS SOUPS 50641 WITH SCORE 50733.54
AT ITER 93 NEW BEST:: SOT 134608 SOS 92303 HAS SOPS 92303 HAS SOUS 50524 HAS SOUPS 50524 WITH SCORE 50616.303
AT ITER 100 NEW BEST:: SOT 134623 SOS 91703 HAS SOPS 91703 HAS SOUS 50450 HAS SOUPS 50450 WITH SCORE 50541.703
AT ITER 102 NEW BEST:: SOT 134525 SOS 91523 HAS SOPS 91523 HAS SOUS 50320 HAS SOUPS 50320 WITH SCORE 50411.523
AT ITER 103 NEW BEST:: SOT 134547 SOS 91457 HAS SOPS 91457 HAS SOUS 50298 HAS SOUPS 50298 WITH SCORE 50389.457
AT ITER 108 NEW BEST:: SOT 134502 SOS 91499 HAS SOPS 91499 HAS SOUS 50217 HAS SOUPS 50217 WITH SCORE 50308.499
AT ITER 109 NEW BEST:: SOT 134451 SOS 91304 HAS SOPS 91304 HAS SOUS 50135 HAS SOUPS 50135 WITH SCORE 50226.304
AT ITER 110 NEW BEST:: SOT 134458 SOS 91284 HAS SOPS 91284 HAS SOUS 49856 HAS SOUPS 49856 WITH SCORE 49947.284
AT ITER 111 NEW BEST:: SOT 134429 SOS 91204 HAS SOPS 91204 HAS SOUS 49789 HAS SOUPS 49789 WITH SCORE 49880.204
AT ITER 116 NEW BEST:: SOT 134429 SOS 91204 HAS SOPS 91204 HAS SOUS 49781 HAS SOUPS 49781 WITH SCORE 49872.204
AT ITER 121 NEW BEST:: SOT 135700 SOS 90838 HAS SOPS 90838 HAS SOUS 48076 HAS SOUPS 48076 WITH SCORE 48166.838
AT ITER 122 NEW BEST:: SOT 135700 SOS 90834 HAS SOPS 90834 HAS SOUS 48072 HAS SOUPS 48072 WITH SCORE 48162.834
AT ITER 127 NEW BEST:: SOT 135638 SOS 90710 HAS SOPS 90710 HAS SOUS 48010 HAS SOUPS 48010 WITH SCORE 48100.71
AT ITER 130 NEW BEST:: SOT 135638 SOS 90686 HAS SOPS 90686 HAS SOUS 48004 HAS SOUPS 48004 WITH SCORE 48094.686
AT ITER 131 NEW BEST:: SOT 135809 SOS 90436 HAS SOPS 90436 HAS SOUS 47692 HAS SOUPS 47692 WITH SCORE 47782.436
AT ITER 132 NEW BEST:: SOT 135784 SOS 90437 HAS SOPS 90437 HAS SOUS 47688 HAS SOUPS 47688 WITH SCORE 47778.437
AT ITER 134 NEW BEST:: SOT 135770 SOS 90499 HAS SOPS 90499 HAS SOUS 47674 HAS SOUPS 47674 WITH SCORE 47764.499
AT ITER 135 NEW BEST:: SOT 135857 SOS 90151 HAS SOPS 90151 HAS SOUS 47609 HAS SOUPS 47609 WITH SCORE 47699.151
AT ITER 137 NEW BEST:: SOT 135803 SOS 90124 HAS SOPS 90124 HAS SOUS 47528 HAS SOUPS 47528 WITH SCORE 47618.124
AT ITER 141 NEW BEST:: SOT 135741 SOS 89750 HAS SOPS 89750 HAS SOUS 47334 HAS SOUPS 47334 WITH SCORE 47423.75
AT ITER 143 NEW BEST:: SOT 135741 SOS 89606 HAS SOPS 89606 HAS SOUS 47262 HAS SOUPS 47262 WITH SCORE 47351.606
AT ITER 148 NEW BEST:: SOT 135844 SOS 88768 HAS SOPS 88768 HAS SOUS 46900 HAS SOUPS 46900 WITH SCORE 46988.768
AT ITER 154 NEW BEST:: SOT 135830 SOS 88754 HAS SOPS 88754 HAS SOUS 46886 HAS SOUPS 46886 WITH SCORE 46974.754
AT ITER 155 NEW BEST:: SOT 135852 SOS 88150 HAS SOPS 88150 HAS SOUS 46763 HAS SOUPS 46763 WITH SCORE 46851.15
AT ITER 161 NEW BEST:: SOT 135852 SOS 88074 HAS SOPS 88074 HAS SOUS 46670 HAS SOUPS 46670 WITH SCORE 46758.074
AT ITER 162 NEW BEST:: SOT 135645 SOS 86890 HAS SOPS 86890 HAS SOUS 46146 HAS SOUPS 46146 WITH SCORE 46232.89
AT ITER 163 NEW BEST:: SOT 135640 SOS 86186 HAS SOPS 86186 HAS SOUS 45905 HAS SOUPS 45905 WITH SCORE 45991.186
AT ITER 164 NEW BEST:: SOT 135638 SOS 86184 HAS SOPS 86184 HAS SOUS 45904 HAS SOUPS 45904 WITH SCORE 45990.184
AT ITER 170 NEW BEST:: SOT 135625 SOS 85804 HAS SOPS 85804 HAS SOUS 45834 HAS SOUPS 45834 WITH SCORE 45919.804
AT ITER 172 NEW BEST:: SOT 135577 SOS 85652 HAS SOPS 85652 HAS SOUS 45758 HAS SOUPS 45758 WITH SCORE 45843.652
AT ITER 173 NEW BEST:: SOT 135370 SOS 85236 HAS SOPS 85236 HAS SOUS 45426 HAS SOUPS 45426 WITH SCORE 45511.236
AT ITER 175 NEW BEST:: SOT 129428 SOS 103745 HAS SOPS 103745 HAS SOUS 42945 HAS SOUPS 42945 WITH SCORE 43048.745
AT ITER 177 NEW BEST:: SOT 124342 SOS 99420 HAS SOPS 99420 HAS SOUS 42687 HAS SOUPS 42687 WITH SCORE 42786.42
AT ITER 183 NEW BEST:: SOT 124819 SOS 99736 HAS SOPS 99736 HAS SOUS 42591 HAS SOUPS 42591 WITH SCORE 42690.736
AT ITER 184 NEW BEST:: SOT 125504 SOS 100405 HAS SOPS 100405 HAS SOUS 42580 HAS SOUPS 42580 WITH SCORE 42680.405
AT ITER 185 NEW BEST:: SOT 125098 SOS 99886 HAS SOPS 99886 HAS SOUS 42061 HAS SOUPS 42061 WITH SCORE 42160.886
AT ITER 187 NEW BEST:: SOT 125032 SOS 99636 HAS SOPS 99636 HAS SOUS 41961 HAS SOUPS 41961 WITH SCORE 42060.636
AT ITER 193 NEW BEST:: SOT 125032 SOS 99604 HAS SOPS 99604 HAS SOUS 41961 HAS SOUPS 41961 WITH SCORE 42060.604
AT ITER 194 NEW BEST:: SOT 124999 SOS 99538 HAS SOPS 99538 HAS SOUS 41891 HAS SOUPS 41891 WITH SCORE 41990.538
AT ITER 198 NEW BEST:: SOT 124459 SOS 98836 HAS SOPS 98836 HAS SOUS 41189 HAS SOUPS 41189 WITH SCORE 41287.836
AT ITER 200 NEW BEST:: SOT 124627 SOS 99004 HAS SOPS 99004 HAS SOUS 41108 HAS SOUPS 41108 WITH SCORE 41207.004
AT ITER 206 NEW BEST:: SOT 124583 SOS 98932 HAS SOPS 98932 HAS SOUS 41064 HAS SOUPS 41064 WITH SCORE 41162.932
AT ITER 208 NEW BEST:: SOT 124748 SOS 98819 HAS SOPS 98819 HAS SOUS 41033 HAS SOUPS 41033 WITH SCORE 41131.819
AT ITER 210 NEW BEST:: SOT 124735 SOS 98845 HAS SOPS 98845 HAS SOUS 41020 HAS SOUPS 41020 WITH SCORE 41118.845
AT ITER 214 NEW BEST:: SOT 124726 SOS 98833 HAS SOPS 98833 HAS SOUS 41014 HAS SOUPS 41014 WITH SCORE 41112.833
AT ITER 216 NEW BEST:: SOT 124726 SOS 98798 HAS SOPS 98798 HAS SOUS 41014 HAS SOUPS 41014 WITH SCORE 41112.798
AT ITER 217 NEW BEST:: SOT 124408 SOS 98975 HAS SOPS 98975 HAS SOUS 40963 HAS SOUPS 40963 WITH SCORE 41061.975
AT ITER 218 NEW BEST:: SOT 124370 SOS 98937 HAS SOPS 98937 HAS SOUS 40936 HAS SOUPS 40936 WITH SCORE 41034.937
AT ITER 219 NEW BEST:: SOT 124370 SOS 98521 HAS SOPS 98521 HAS SOUS 40892 HAS SOUPS 40892 WITH SCORE 40990.521
AT ITER 220 NEW BEST:: SOT 124283 SOS 98311 HAS SOPS 98311 HAS SOUS 40786 HAS SOUPS 40786 WITH SCORE 40884.311
AT ITER 221 NEW BEST:: SOT 124617 SOS 98793 HAS SOPS 98793 HAS SOUS 40765 HAS SOUPS 40765 WITH SCORE 40863.793
AT ITER 226 NEW BEST:: SOT 124549 SOS 98876 HAS SOPS 98876 HAS SOUS 40701 HAS SOUPS 40701 WITH SCORE 40799.876
AT ITER 227 NEW BEST:: SOT 124536 SOS 98863 HAS SOPS 98863 HAS SOUS 40688 HAS SOUPS 40688 WITH SCORE 40786.863
AT ITER 228 NEW BEST:: SOT 124726 SOS 99011 HAS SOPS 99011 HAS SOUS 40472 HAS SOUPS 40472 WITH SCORE 40571.011
AT ITER 232 NEW BEST:: SOT 124494 SOS 98779 HAS SOPS 98779 HAS SOUS 40470 HAS SOUPS 40470 WITH SCORE 40568.779
AT ITER 234 NEW BEST:: SOT 124365 SOS 98647 HAS SOPS 98647 HAS SOUS 40401 HAS SOUPS 40401 WITH SCORE 40499.647
AT ITER 235 NEW BEST:: SOT 124315 SOS 98597 HAS SOPS 98597 HAS SOUS 40325 HAS SOUPS 40325 WITH SCORE 40423.597
AT ITER 241 NEW BEST:: SOT 124315 SOS 98585 HAS SOPS 98585 HAS SOUS 40319 HAS SOUPS 40319 WITH SCORE 40417.585
AT ITER 243 NEW BEST:: SOT 124023 SOS 98237 HAS SOPS 98237 HAS SOUS 39971 HAS SOUPS 39971 WITH SCORE 40069.237
AT ITER 245 NEW BEST:: SOT 123519 SOS 97680 HAS SOPS 97680 HAS SOUS 39723 HAS SOUPS 39723 WITH SCORE 39820.68
AT ITER 251 NEW BEST:: SOT 123519 SOS 97680 HAS SOPS 97680 HAS SOUS 39715 HAS SOUPS 39715 WITH SCORE 39812.68
AT ITER 255 NEW BEST:: SOT 123573 SOS 97925 HAS SOPS 97925 HAS SOUS 39706 HAS SOUPS 39706 WITH SCORE 39803.925
AT ITER 256 NEW BEST:: SOT 123508 SOS 97913 HAS SOPS 97913 HAS SOUS 39633 HAS SOUPS 39633 WITH SCORE 39730.913
AT ITER 258 NEW BEST:: SOT 123623 SOS 97989 HAS SOPS 97989 HAS SOUS 39581 HAS SOUPS 39581 WITH SCORE 39678.989
AT ITER 270 NEW BEST:: SOT 123561 SOS 97927 HAS SOPS 97927 HAS SOUS 39563 HAS SOUPS 39563 WITH SCORE 39660.927
AT ITER 277 NEW BEST:: SOT 123539 SOS 97905 HAS SOPS 97905 HAS SOUS 39383 HAS SOUPS 39383 WITH SCORE 39480.905
AT ITER 279 NEW BEST:: SOT 123539 SOS 97905 HAS SOPS 97905 HAS SOUS 39275 HAS SOUPS 39275 WITH SCORE 39372.905
AT ITER 282 NEW BEST:: SOT 123756 SOS 98058 HAS SOPS 98058 HAS SOUS 38962 HAS SOUPS 38962 WITH SCORE 39060.058
AT ITER 288 NEW BEST:: SOT 123804 SOS 98073 HAS SOPS 98073 HAS SOUS 38794 HAS SOUPS 38794 WITH SCORE 38892.073
AT ITER 294 NEW BEST:: SOT 120761 SOS 95891 HAS SOPS 95891 HAS SOUS 37728 HAS SOUPS 37728 WITH SCORE 37823.891
AT ITER 299 NEW BEST:: SOT 120675 SOS 95786 HAS SOPS 95786 HAS SOUS 37512 HAS SOUPS 37512 WITH SCORE 37607.786
AT ITER 300 NEW BEST:: SOT 120697 SOS 95784 HAS SOPS 95784 HAS SOUS 37510 HAS SOUPS 37510 WITH SCORE 37605.784
AT ITER 306 NEW BEST:: SOT 120697 SOS 95784 HAS SOPS 95784 HAS SOUS 37504 HAS SOUPS 37504 WITH SCORE 37599.784
AT ITER 318 NEW BEST:: SOT 120551 SOS 95665 HAS SOPS 95665 HAS SOUS 37449 HAS SOUPS 37449 WITH SCORE 37544.665
AT ITER 323 NEW BEST:: SOT 120449 SOS 95534 HAS SOPS 95534 HAS SOUS 37279 HAS SOUPS 37279 WITH SCORE 37374.534
AT ITER 334 NEW BEST:: SOT 120453 SOS 95237 HAS SOPS 95237 HAS SOUS 37218 HAS SOUPS 37218 WITH SCORE 37313.237
AT ITER 337 NEW BEST:: SOT 120453 SOS 95237 HAS SOPS 95237 HAS SOUS 37167 HAS SOUPS 37167 WITH SCORE 37262.237
AT ITER 338 NEW BEST:: SOT 120333 SOS 95117 HAS SOPS 95117 HAS SOUS 37087 HAS SOUPS 37087 WITH SCORE 37182.117
AT ITER 345 NEW BEST:: SOT 120280 SOS 94390 HAS SOPS 94390 HAS SOUS 37040 HAS SOUPS 37040 WITH SCORE 37134.39
AT ITER 348 NEW BEST:: SOT 120252 SOS 94362 HAS SOPS 94362 HAS SOUS 37012 HAS SOUPS 37012 WITH SCORE 37106.362
AT ITER 350 NEW BEST:: SOT 119897 SOS 93481 HAS SOPS 93481 HAS SOUS 36858 HAS SOUPS 36858 WITH SCORE 36951.481
AT ITER 354 NEW BEST:: SOT 119871 SOS 93502 HAS SOPS 93502 HAS SOUS 36832 HAS SOUPS 36832 WITH SCORE 36925.502
AT ITER 368 NEW BEST:: SOT 119702 SOS 93297 HAS SOPS 93297 HAS SOUS 36573 HAS SOUPS 36573 WITH SCORE 36666.297
AT ITER 370 NEW BEST:: SOT 119447 SOS 93042 HAS SOPS 93042 HAS SOUS 36514 HAS SOUPS 36514 WITH SCORE 36607.042
AT ITER 372 NEW BEST:: SOT 119416 SOS 93021 HAS SOPS 93021 HAS SOUS 36492 HAS SOUPS 36492 WITH SCORE 36585.021
AT ITER 376 NEW BEST:: SOT 119416 SOS 93017 HAS SOPS 93017 HAS SOUS 36464 HAS SOUPS 36464 WITH SCORE 36557.017
AT ITER 379 NEW BEST:: SOT 116633 SOS 90337 HAS SOPS 90337 HAS SOUS 33693 HAS SOUPS 33693 WITH SCORE 33783.337
AT ITER 382 NEW BEST:: SOT 116648 SOS 90352 HAS SOPS 90352 HAS SOUS 33678 HAS SOUPS 33678 WITH SCORE 33768.352
AT ITER 384 NEW BEST:: SOT 116652 SOS 90282 HAS SOPS 90282 HAS SOUS 33652 HAS SOUPS 33652 WITH SCORE 33742.282
AT ITER 386 NEW BEST:: SOT 116921 SOS 90505 HAS SOPS 90505 HAS SOUS 33612 HAS SOUPS 33612 WITH SCORE 33702.505
AT ITER 390 NEW BEST:: SOT 116921 SOS 90499 HAS SOPS 90499 HAS SOUS 33612 HAS SOUPS 33612 WITH SCORE 33702.499
AT ITER 403 NEW BEST:: SOT 116665 SOS 90243 HAS SOPS 90243 HAS SOUS 33521 HAS SOUPS 33521 WITH SCORE 33611.243
AT ITER 407 NEW BEST:: SOT 116922 SOS 90122 HAS SOPS 90122 HAS SOUS 33481 HAS SOUPS 33481 WITH SCORE 33571.122
AT ITER 410 NEW BEST:: SOT 116872 SOS 90089 HAS SOPS 90089 HAS SOUS 33427 HAS SOUPS 33427 WITH SCORE 33517.089
AT ITER 412 NEW BEST:: SOT 116872 SOS 89964 HAS SOPS 89964 HAS SOUS 33427 HAS SOUPS 33427 WITH SCORE 33516.964
AT ITER 414 NEW BEST:: SOT 116667 SOS 89732 HAS SOPS 89732 HAS SOUS 33373 HAS SOUPS 33373 WITH SCORE 33462.732
AT ITER 416 NEW BEST:: SOT 116662 SOS 89722 HAS SOPS 89722 HAS SOUS 33363 HAS SOUPS 33363 WITH SCORE 33452.722
AT ITER 422 NEW BEST:: SOT 116634 SOS 89558 HAS SOPS 89558 HAS SOUS 33206 HAS SOUPS 33206 WITH SCORE 33295.558
AT ITER 423 NEW BEST:: SOT 116637 SOS 89546 HAS SOPS 89546 HAS SOUS 33066 HAS SOUPS 33066 WITH SCORE 33155.546
AT ITER 434 NEW BEST:: SOT 116659 SOS 89568 HAS SOPS 89568 HAS SOUS 33041 HAS SOUPS 33041 WITH SCORE 33130.568
AT ITER 442 NEW BEST:: SOT 116289 SOS 88920 HAS SOPS 88920 HAS SOUS 32806 HAS SOUPS 32806 WITH SCORE 32894.92
AT ITER 446 NEW BEST:: SOT 116205 SOS 88836 HAS SOPS 88836 HAS SOUS 32757 HAS SOUPS 32757 WITH SCORE 32845.836
AT ITER 452 NEW BEST:: SOT 116194 SOS 88792 HAS SOPS 88792 HAS SOUS 32757 HAS SOUPS 32757 WITH SCORE 32845.792
AT ITER 457 NEW BEST:: SOT 116198 SOS 88737 HAS SOPS 88737 HAS SOUS 32718 HAS SOUPS 32718 WITH SCORE 32806.737
AT ITER 463 NEW BEST:: SOT 116190 SOS 88729 HAS SOPS 88729 HAS SOUS 32706 HAS SOUPS 32706 WITH SCORE 32794.729
AT ITER 465 NEW BEST:: SOT 116872 SOS 89004 HAS SOPS 89004 HAS SOUS 32700 HAS SOUPS 32700 WITH SCORE 32789.004
AT ITER 472 NEW BEST:: SOT 116819 SOS 89178 HAS SOPS 89178 HAS SOUS 32649 HAS SOUPS 32649 WITH SCORE 32738.178
AT ITER 473 NEW BEST:: SOT 116726 SOS 89174 HAS SOPS 89174 HAS SOUS 32539 HAS SOUPS 32539 WITH SCORE 32628.174
AT ITER 474 NEW BEST:: SOT 116716 SOS 89154 HAS SOPS 89154 HAS SOUS 32524 HAS SOUPS 32524 WITH SCORE 32613.154
AT ITER 481 NEW BEST:: SOT 116771 SOS 89160 HAS SOPS 89160 HAS SOUS 32453 HAS SOUPS 32453 WITH SCORE 32542.16
AT ITER 482 NEW BEST:: SOT 116720 SOS 89109 HAS SOPS 89109 HAS SOUS 32402 HAS SOUPS 32402 WITH SCORE 32491.109
AT ITER 483 NEW BEST:: SOT 116842 SOS 89273 HAS SOPS 89273 HAS SOUS 32390 HAS SOUPS 32390 WITH SCORE 32479.273
AT ITER 485 NEW BEST:: SOT 116800 SOS 89159 HAS SOPS 89159 HAS SOUS 31914 HAS SOUPS 31914 WITH SCORE 32003.159
AT ITER 488 NEW BEST:: SOT 116724 SOS 89083 HAS SOPS 89083 HAS SOUS 31838 HAS SOUPS 31838 WITH SCORE 31927.083
AT ITER 491 NEW BEST:: SOT 116812 SOS 88961 HAS SOPS 88961 HAS SOUS 31810 HAS SOUPS 31810 WITH SCORE 31898.961
AT ITER 493 NEW BEST:: SOT 116775 SOS 88925 HAS SOPS 88925 HAS SOUS 31773 HAS SOUPS 31773 WITH SCORE 31861.925
AT ITER 494 NEW BEST:: SOT 116748 SOS 88898 HAS SOPS 88898 HAS SOUS 31746 HAS SOUPS 31746 WITH SCORE 31834.898
AT ITER 497 NEW BEST:: SOT 116722 SOS 88862 HAS SOPS 88862 HAS SOUS 31718 HAS SOUPS 31718 WITH SCORE 31806.862
AT ITER 507 NEW BEST:: SOT 116675 SOS 88784 HAS SOPS 88784 HAS SOUS 31639 HAS SOUPS 31639 WITH SCORE 31727.784
AT ITER 509 NEW BEST:: SOT 116675 SOS 88772 HAS SOPS 88772 HAS SOUS 31639 HAS SOUPS 31639 WITH SCORE 31727.772
AT ITER 511 NEW BEST:: SOT 116653 SOS 88674 HAS SOPS 88674 HAS SOUS 31592 HAS SOUPS 31592 WITH SCORE 31680.674
AT ITER 512 NEW BEST:: SOT 116636 SOS 88658 HAS SOPS 88658 HAS SOUS 31573 HAS SOUPS 31573 WITH SCORE 31661.658
AT ITER 513 NEW BEST:: SOT 116379 SOS 88187 HAS SOPS 88187 HAS SOUS 31384 HAS SOUPS 31384 WITH SCORE 31472.187
AT ITER 515 NEW BEST:: SOT 116374 SOS 88182 HAS SOPS 88182 HAS SOUS 31347 HAS SOUPS 31347 WITH SCORE 31435.182
AT ITER 520 NEW BEST:: SOT 116320 SOS 88105 HAS SOPS 88105 HAS SOUS 31270 HAS SOUPS 31270 WITH SCORE 31358.105
AT ITER 521 NEW BEST:: SOT 116296 SOS 88034 HAS SOPS 88034 HAS SOUS 31217 HAS SOUPS 31217 WITH SCORE 31305.034
AT ITER 523 NEW BEST:: SOT 116281 SOS 87895 HAS SOPS 87895 HAS SOUS 31171 HAS SOUPS 31171 WITH SCORE 31258.895
AT ITER 526 NEW BEST:: SOT 116278 SOS 87897 HAS SOPS 87897 HAS SOUS 31165 HAS SOUPS 31165 WITH SCORE 31252.897
AT ITER 527 NEW BEST:: SOT 116245 SOS 87864 HAS SOPS 87864 HAS SOUS 31146 HAS SOUPS 31146 WITH SCORE 31233.864
AT ITER 528 NEW BEST:: SOT 116245 SOS 87849 HAS SOPS 87849 HAS SOUS 31139 HAS SOUPS 31139 WITH SCORE 31226.849
AT ITER 531 NEW BEST:: SOT 116221 SOS 87840 HAS SOPS 87840 HAS SOUS 31045 HAS SOUPS 31045 WITH SCORE 31132.84
AT ITER 536 NEW BEST:: SOT 116244 SOS 87586 HAS SOPS 87586 HAS SOUS 31006 HAS SOUPS 31006 WITH SCORE 31093.586
AT ITER 539 NEW BEST:: SOT 116100 SOS 87428 HAS SOPS 87428 HAS SOUS 30915 HAS SOUPS 30915 WITH SCORE 31002.428
AT ITER 540 NEW BEST:: SOT 115813 SOS 87141 HAS SOPS 87141 HAS SOUS 30792 HAS SOUPS 30792 WITH SCORE 30879.141
AT ITER 544 NEW BEST:: SOT 115813 SOS 87141 HAS SOPS 87141 HAS SOUS 30788 HAS SOUPS 30788 WITH SCORE 30875.141
AT ITER 558 NEW BEST:: SOT 115781 SOS 87087 HAS SOPS 87087 HAS SOUS 30734 HAS SOUPS 30734 WITH SCORE 30821.087
AT ITER 565 NEW BEST:: SOT 115585 SOS 86891 HAS SOPS 86891 HAS SOUS 30483 HAS SOUPS 30483 WITH SCORE 30569.891
AT ITER 566 NEW BEST:: SOT 115585 SOS 86891 HAS SOPS 86891 HAS SOUS 30471 HAS SOUPS 30471 WITH SCORE 30557.891
AT ITER 569 NEW BEST:: SOT 115502 SOS 86993 HAS SOPS 86993 HAS SOUS 30441 HAS SOUPS 30441 WITH SCORE 30527.993
AT ITER 571 NEW BEST:: SOT 115466 SOS 87555 HAS SOPS 87555 HAS SOUS 30392 HAS SOUPS 30392 WITH SCORE 30479.555
AT ITER 580 NEW BEST:: SOT 115401 SOS 87539 HAS SOPS 87539 HAS SOUS 30234 HAS SOUPS 30234 WITH SCORE 30321.539
AT ITER 583 NEW BEST:: SOT 115387 SOS 87525 HAS SOPS 87525 HAS SOUS 30226 HAS SOUPS 30226 WITH SCORE 30313.525
AT ITER 584 NEW BEST:: SOT 115107 SOS 87231 HAS SOPS 87231 HAS SOUS 29803 HAS SOUPS 29803 WITH SCORE 29890.231
AT ITER 590 NEW BEST:: SOT 115042 SOS 87214 HAS SOPS 87214 HAS SOUS 29723 HAS SOUPS 29723 WITH SCORE 29810.214
AT ITER 598 NEW BEST:: SOT 115043 SOS 87209 HAS SOPS 87209 HAS SOUS 29718 HAS SOUPS 29718 WITH SCORE 29805.209
AT ITER 601 NEW BEST:: SOT 114896 SOS 87277 HAS SOPS 87277 HAS SOUS 29422 HAS SOUPS 29422 WITH SCORE 29509.277
AT ITER 604 NEW BEST:: SOT 114751 SOS 87207 HAS SOPS 87207 HAS SOUS 29418 HAS SOUPS 29418 WITH SCORE 29505.207
AT ITER 614 NEW BEST:: SOT 114743 SOS 87207 HAS SOPS 87207 HAS SOUS 29403 HAS SOUPS 29403 WITH SCORE 29490.207
AT ITER 618 NEW BEST:: SOT 114793 SOS 87257 HAS SOPS 87257 HAS SOUS 29397 HAS SOUPS 29397 WITH SCORE 29484.257
AT ITER 620 NEW BEST:: SOT 114802 SOS 87621 HAS SOPS 87621 HAS SOUS 29389 HAS SOUPS 29389 WITH SCORE 29476.621
AT ITER 624 NEW BEST:: SOT 114801 SOS 87621 HAS SOPS 87621 HAS SOUS 29386 HAS SOUPS 29386 WITH SCORE 29473.621
AT ITER 627 NEW BEST:: SOT 114829 SOS 87183 HAS SOPS 87183 HAS SOUS 29331 HAS SOUPS 29331 WITH SCORE 29418.183
AT ITER 629 NEW BEST:: SOT 114734 SOS 86680 HAS SOPS 86680 HAS SOUS 29244 HAS SOUPS 29244 WITH SCORE 29330.68
AT ITER 635 NEW BEST:: SOT 114718 SOS 86664 HAS SOPS 86664 HAS SOUS 29244 HAS SOUPS 29244 WITH SCORE 29330.664
AT ITER 638 NEW BEST:: SOT 114743 SOS 86689 HAS SOPS 86689 HAS SOUS 29230 HAS SOUPS 29230 WITH SCORE 29316.689
AT ITER 641 NEW BEST:: SOT 114732 SOS 86667 HAS SOPS 86667 HAS SOUS 29219 HAS SOUPS 29219 WITH SCORE 29305.667
AT ITER 648 NEW BEST:: SOT 114834 SOS 86731 HAS SOPS 86731 HAS SOUS 29207 HAS SOUPS 29207 WITH SCORE 29293.731
AT ITER 659 NEW BEST:: SOT 114834 SOS 86727 HAS SOPS 86727 HAS SOUS 29207 HAS SOUPS 29207 WITH SCORE 29293.727
AT ITER 670 NEW BEST:: SOT 114846 SOS 86608 HAS SOPS 86608 HAS SOUS 29188 HAS SOUPS 29188 WITH SCORE 29274.608
AT ITER 673 NEW BEST:: SOT 114735 SOS 86497 HAS SOPS 86497 HAS SOUS 29129 HAS SOUPS 29129 WITH SCORE 29215.497
AT ITER 678 NEW BEST:: SOT 114611 SOS 86363 HAS SOPS 86363 HAS SOUS 29007 HAS SOUPS 29007 WITH SCORE 29093.363
AT ITER 680 NEW BEST:: SOT 114545 SOS 86199 HAS SOPS 86199 HAS SOUS 28983 HAS SOUPS 28983 WITH SCORE 29069.199
AT ITER 690 NEW BEST:: SOT 114523 SOS 86097 HAS SOPS 86097 HAS SOUS 28961 HAS SOUPS 28961 WITH SCORE 29047.097
AT ITER 695 NEW BEST:: SOT 114421 SOS 86007 HAS SOPS 86007 HAS SOUS 28871 HAS SOUPS 28871 WITH SCORE 28957.007
AT ITER 702 NEW BEST:: SOT 114346 SOS 85864 HAS SOPS 85864 HAS SOUS 28866 HAS SOUPS 28866 WITH SCORE 28951.864
AT ITER 707 NEW BEST:: SOT 114290 SOS 85808 HAS SOPS 85808 HAS SOUS 28813 HAS SOUPS 28813 WITH SCORE 28898.808
AT ITER 708 NEW BEST:: SOT 113965 SOS 85483 HAS SOPS 85483 HAS SOUS 28658 HAS SOUPS 28658 WITH SCORE 28743.483
AT ITER 711 NEW BEST:: SOT 113855 SOS 85263 HAS SOPS 85263 HAS SOUS 28460 HAS SOUPS 28460 WITH SCORE 28545.263
AT ITER 712 NEW BEST:: SOT 113801 SOS 85263 HAS SOPS 85263 HAS SOUS 28433 HAS SOUPS 28433 WITH SCORE 28518.263
AT ITER 715 NEW BEST:: SOT 113778 SOS 85217 HAS SOPS 85217 HAS SOUS 28423 HAS SOUPS 28423 WITH SCORE 28508.217
AT ITER 716 NEW BEST:: SOT 113865 SOS 85304 HAS SOPS 85304 HAS SOUS 28384 HAS SOUPS 28384 WITH SCORE 28469.304
AT ITER 720 NEW BEST:: SOT 113844 SOS 85130 HAS SOPS 85130 HAS SOUS 28357 HAS SOUPS 28357 WITH SCORE 28442.13
AT ITER 721 NEW BEST:: SOT 113712 SOS 84990 HAS SOPS 84990 HAS SOUS 28282 HAS SOUPS 28282 WITH SCORE 28366.99
AT ITER 722 NEW BEST:: SOT 113660 SOS 84764 HAS SOPS 84764 HAS SOUS 28201 HAS SOUPS 28201 WITH SCORE 28285.764
AT ITER 723 NEW BEST:: SOT 113656 SOS 84756 HAS SOPS 84756 HAS SOUS 28197 HAS SOUPS 28197 WITH SCORE 28281.756
AT ITER 729 NEW BEST:: SOT 113497 SOS 84381 HAS SOPS 84381 HAS SOUS 28143 HAS SOUPS 28143 WITH SCORE 28227.381
AT ITER 730 NEW BEST:: SOT 113538 SOS 83846 HAS SOPS 83846 HAS SOUS 27937 HAS SOUPS 27937 WITH SCORE 28020.846
AT ITER 732 NEW BEST:: SOT 113559 SOS 83820 HAS SOPS 83820 HAS SOUS 27924 HAS SOUPS 27924 WITH SCORE 28007.82
AT ITER 736 NEW BEST:: SOT 113535 SOS 83790 HAS SOPS 83790 HAS SOUS 27918 HAS SOUPS 27918 WITH SCORE 28001.79
AT ITER 742 NEW BEST:: SOT 113649 SOS 83977 HAS SOPS 83977 HAS SOUS 27827 HAS SOUPS 27827 WITH SCORE 27910.977
AT ITER 745 NEW BEST:: SOT 113075 SOS 83761 HAS SOPS 83761 HAS SOUS 27634 HAS SOUPS 27634 WITH SCORE 27717.761
AT ITER 748 NEW BEST:: SOT 113258 SOS 83944 HAS SOPS 83944 HAS SOUS 27612 HAS SOUPS 27612 WITH SCORE 27695.944
AT ITER 754 NEW BEST:: SOT 113262 SOS 83948 HAS SOPS 83948 HAS SOUS 27588 HAS SOUPS 27588 WITH SCORE 27671.948
AT ITER 759 NEW BEST:: SOT 113363 SOS 84086 HAS SOPS 84086 HAS SOUS 27582 HAS SOUPS 27582 WITH SCORE 27666.086
AT ITER 762 NEW BEST:: SOT 113265 SOS 84073 HAS SOPS 84073 HAS SOUS 27457 HAS SOUPS 27457 WITH SCORE 27541.073
AT ITER 763 NEW BEST:: SOT 113229 SOS 84037 HAS SOPS 84037 HAS SOUS 27403 HAS SOUPS 27403 WITH SCORE 27487.037
AT ITER 767 NEW BEST:: SOT 113207 SOS 83971 HAS SOPS 83971 HAS SOUS 27370 HAS SOUPS 27370 WITH SCORE 27453.971
AT ITER 769 NEW BEST:: SOT 113207 SOS 83971 HAS SOPS 83971 HAS SOUS 27361 HAS SOUPS 27361 WITH SCORE 27444.971
AT ITER 772 NEW BEST:: SOT 113262 SOS 84017 HAS SOPS 84017 HAS SOUS 27331 HAS SOUPS 27331 WITH SCORE 27415.017
AT ITER 783 NEW BEST:: SOT 113176 SOS 84013 HAS SOPS 84013 HAS SOUS 27245 HAS SOUPS 27245 WITH SCORE 27329.013
AT ITER 788 NEW BEST:: SOT 113188 SOS 84015 HAS SOPS 84015 HAS SOUS 27225 HAS SOUPS 27225 WITH SCORE 27309.015
AT ITER 792 NEW BEST:: SOT 113179 SOS 84003 HAS SOPS 84003 HAS SOUS 27213 HAS SOUPS 27213 WITH SCORE 27297.003
AT ITER 795 NEW BEST:: SOT 113179 SOS 83988 HAS SOPS 83988 HAS SOUS 27154 HAS SOUPS 27154 WITH SCORE 27237.988
AT ITER 796 NEW BEST:: SOT 113177 SOS 83986 HAS SOPS 83986 HAS SOUS 27154 HAS SOUPS 27154 WITH SCORE 27237.986
AT ITER 805 NEW BEST:: SOT 113177 SOS 83971 HAS SOPS 83971 HAS SOUS 27085 HAS SOUPS 27085 WITH SCORE 27168.971
AT ITER 806 NEW BEST:: SOT 113064 SOS 83924 HAS SOPS 83924 HAS SOUS 26961 HAS SOUPS 26961 WITH SCORE 27044.924
AT ITER 807 NEW BEST:: SOT 113031 SOS 83987 HAS SOPS 83987 HAS SOUS 26903 HAS SOUPS 26903 WITH SCORE 26986.987
AT ITER 823 NEW BEST:: SOT 113005 SOS 83883 HAS SOPS 83883 HAS SOUS 26860 HAS SOUPS 26860 WITH SCORE 26943.883
AT ITER 825 NEW BEST:: SOT 113005 SOS 83863 HAS SOPS 83863 HAS SOUS 26855 HAS SOUPS 26855 WITH SCORE 26938.863
AT ITER 836 NEW BEST:: SOT 112963 SOS 83821 HAS SOPS 83821 HAS SOUS 26829 HAS SOUPS 26829 WITH SCORE 26912.821
AT ITER 837 NEW BEST:: SOT 112956 SOS 83805 HAS SOPS 83805 HAS SOUS 26816 HAS SOUPS 26816 WITH SCORE 26899.805
AT ITER 838 NEW BEST:: SOT 112806 SOS 83626 HAS SOPS 83626 HAS SOUS 26773 HAS SOUPS 26773 WITH SCORE 26856.626
AT ITER 842 NEW BEST:: SOT 112644 SOS 83573 HAS SOPS 83573 HAS SOUS 26667 HAS SOUPS 26667 WITH SCORE 26750.573
AT ITER 843 NEW BEST:: SOT 112526 SOS 83455 HAS SOPS 83455 HAS SOUS 26505 HAS SOUPS 26505 WITH SCORE 26588.455
AT ITER 849 NEW BEST:: SOT 112124 SOS 83053 HAS SOPS 83053 HAS SOUS 26467 HAS SOUPS 26467 WITH SCORE 26550.053
AT ITER 872 NEW BEST:: SOT 112112 SOS 83041 HAS SOPS 83041 HAS SOUS 26447 HAS SOUPS 26447 WITH SCORE 26530.041
AT ITER 884 NEW BEST:: SOT 112049 SOS 82978 HAS SOPS 82978 HAS SOUS 26447 HAS SOUPS 26447 WITH SCORE 26529.978
AT ITER 900 NEW BEST:: SOT 111981 SOS 82660 HAS SOPS 82660 HAS SOUS 26432 HAS SOUPS 26432 WITH SCORE 26514.66
AT ITER 902 NEW BEST:: SOT 111947 SOS 82626 HAS SOPS 82626 HAS SOUS 26381 HAS SOUPS 26381 WITH SCORE 26463.626
AT ITER 914 NEW BEST:: SOT 111914 SOS 82614 HAS SOPS 82614 HAS SOUS 26271 HAS SOUPS 26271 WITH SCORE 26353.614
AT ITER 927 NEW BEST:: SOT 111865 SOS 82383 HAS SOPS 82383 HAS SOUS 26218 HAS SOUPS 26218 WITH SCORE 26300.383
AT ITER 930 NEW BEST:: SOT 111970 SOS 69668 HAS SOPS 69668 HAS SOUS 26064 HAS SOUPS 26064 WITH SCORE 26133.668
AT ITER 931 NEW BEST:: SOT 111954 SOS 69623 HAS SOPS 69623 HAS SOUS 26026 HAS SOUPS 26026 WITH SCORE 26095.623
AT ITER 935 NEW BEST:: SOT 112027 SOS 69696 HAS SOPS 69696 HAS SOUS 25991 HAS SOUPS 25991 WITH SCORE 26060.696
AT ITER 946 NEW BEST:: SOT 112024 SOS 69693 HAS SOPS 69693 HAS SOUS 25991 HAS SOUPS 25991 WITH SCORE 26060.693
AT ITER 959 NEW BEST:: SOT 112007 SOS 69676 HAS SOPS 69676 HAS SOUS 25894 HAS SOUPS 25894 WITH SCORE 25963.676
AT ITER 961 NEW BEST:: SOT 111936 SOS 69605 HAS SOPS 69605 HAS SOUS 25833 HAS SOUPS 25833 WITH SCORE 25902.605
AT ITER 974 NEW BEST:: SOT 111970 SOS 69639 HAS SOPS 69639 HAS SOUS 25782 HAS SOUPS 25782 WITH SCORE 25851.639
AT ITER 982 NEW BEST:: SOT 111968 SOS 69635 HAS SOPS 69635 HAS SOUS 25780 HAS SOUPS 25780 WITH SCORE 25849.635
AT ITER 988 NEW BEST:: SOT 111447 SOS 69088 HAS SOPS 69088 HAS SOUS 25404 HAS SOUPS 25404 WITH SCORE 25473.088
AT ITER 993 NEW BEST:: SOT 111423 SOS 68780 HAS SOPS 68780 HAS SOUS 25380 HAS SOUPS 25380 WITH SCORE 25448.78
AT ITER 1001 NEW BEST:: SOT 111330 SOS 68609 HAS SOPS 68609 HAS SOUS 25276 HAS SOUPS 25276 WITH SCORE 25344.609
AT ITER 1029 NEW BEST:: SOT 111330 SOS 68619 HAS SOPS 68619 HAS SOUS 25271 HAS SOUPS 25271 WITH SCORE 25339.619
AT ITER 1038 NEW BEST:: SOT 111347 SOS 68641 HAS SOPS 68641 HAS SOUS 25265 HAS SOUPS 25265 WITH SCORE 25333.641
AT ITER 1043 NEW BEST:: SOT 111019 SOS 68214 HAS SOPS 68214 HAS SOUS 25199 HAS SOUPS 25199 WITH SCORE 25267.214
AT ITER 1059 NEW BEST:: SOT 111005 SOS 68172 HAS SOPS 68172 HAS SOUS 25185 HAS SOUPS 25185 WITH SCORE 25253.172
AT ITER 1060 NEW BEST:: SOT 111009 SOS 68145 HAS SOPS 68145 HAS SOUS 25163 HAS SOUPS 25163 WITH SCORE 25231.145
AT ITER 1067 NEW BEST:: SOT 110925 SOS 68077 HAS SOPS 68077 HAS SOUS 25095 HAS SOUPS 25095 WITH SCORE 25163.077
AT ITER 1082 NEW BEST:: SOT 110922 SOS 68047 HAS SOPS 68047 HAS SOUS 25080 HAS SOUPS 25080 WITH SCORE 25148.047
AT ITER 1086 NEW BEST:: SOT 110920 SOS 68047 HAS SOPS 68047 HAS SOUS 25078 HAS SOUPS 25078 WITH SCORE 25146.047
AT ITER 1101 NEW BEST:: SOT 110961 SOS 68188 HAS SOPS 68188 HAS SOUS 25060 HAS SOUPS 25060 WITH SCORE 25128.188
AT ITER 1103 NEW BEST:: SOT 110986 SOS 68213 HAS SOPS 68213 HAS SOUS 25035 HAS SOUPS 25035 WITH SCORE 25103.213
AT ITER 1106 NEW BEST:: SOT 110983 SOS 68216 HAS SOPS 68216 HAS SOUS 25032 HAS SOUPS 25032 WITH SCORE 25100.216
AT ITER 1111 NEW BEST:: SOT 110973 SOS 68212 HAS SOPS 68212 HAS SOUS 25022 HAS SOUPS 25022 WITH SCORE 25090.212
AT ITER 1116 NEW BEST:: SOT 110913 SOS 68108 HAS SOPS 68108 HAS SOUS 24962 HAS SOUPS 24962 WITH SCORE 25030.108
AT ITER 1123 NEW BEST:: SOT 110733 SOS 67804 HAS SOPS 67804 HAS SOUS 24799 HAS SOUPS 24799 WITH SCORE 24866.804
AT ITER 1135 NEW BEST:: SOT 110704 SOS 67730 HAS SOPS 67730 HAS SOUS 24754 HAS SOUPS 24754 WITH SCORE 24821.73
AT ITER 1142 NEW BEST:: SOT 110701 SOS 67727 HAS SOPS 67727 HAS SOUS 24753 HAS SOUPS 24753 WITH SCORE 24820.727
AT ITER 1157 NEW BEST:: SOT 110711 SOS 67726 HAS SOPS 67726 HAS SOUS 24719 HAS SOUPS 24719 WITH SCORE 24786.726
AT ITER 1158 NEW BEST:: SOT 110624 SOS 67485 HAS SOPS 67485 HAS SOUS 24699 HAS SOUPS 24699 WITH SCORE 24766.485
AT ITER 1167 NEW BEST:: SOT 110605 SOS 67447 HAS SOPS 67447 HAS SOUS 24654 HAS SOUPS 24654 WITH SCORE 24721.447
AT ITER 1176 NEW BEST:: SOT 110591 SOS 67433 HAS SOPS 67433 HAS SOUS 24646 HAS SOUPS 24646 WITH SCORE 24713.433
AT ITER 1181 NEW BEST:: SOT 110591 SOS 67433 HAS SOPS 67433 HAS SOUS 24638 HAS SOUPS 24638 WITH SCORE 24705.433
AT ITER 1192 NEW BEST:: SOT 110575 SOS 67417 HAS SOPS 67417 HAS SOUS 24576 HAS SOUPS 24576 WITH SCORE 24643.417
AT ITER 1197 NEW BEST:: SOT 110586 SOS 67386 HAS SOPS 67386 HAS SOUS 24552 HAS SOUPS 24552 WITH SCORE 24619.386
AT ITER 1200 NEW BEST:: SOT 110563 SOS 67012 HAS SOPS 67012 HAS SOUS 24532 HAS SOUPS 24532 WITH SCORE 24599.012
AT ITER 1204 NEW BEST:: SOT 110571 SOS 67004 HAS SOPS 67004 HAS SOUS 24516 HAS SOUPS 24516 WITH SCORE 24583.004
AT ITER 1207 NEW BEST:: SOT 110307 SOS 66583 HAS SOPS 66583 HAS SOUS 24430 HAS SOUPS 24430 WITH SCORE 24496.583
AT ITER 1209 NEW BEST:: SOT 110302 SOS 66561 HAS SOPS 66561 HAS SOUS 24428 HAS SOUPS 24428 WITH SCORE 24494.561
AT ITER 1216 NEW BEST:: SOT 110435 SOS 66142 HAS SOPS 66142 HAS SOUS 24309 HAS SOUPS 24309 WITH SCORE 24375.142
AT ITER 1217 NEW BEST:: SOT 110430 SOS 66166 HAS SOPS 66166 HAS SOUS 24304 HAS SOUPS 24304 WITH SCORE 24370.166
AT ITER 1229 NEW BEST:: SOT 110425 SOS 66320 HAS SOPS 66320 HAS SOUS 24299 HAS SOUPS 24299 WITH SCORE 24365.32
AT ITER 1254 NEW BEST:: SOT 110425 SOS 66320 HAS SOPS 66320 HAS SOUS 24287 HAS SOUPS 24287 WITH SCORE 24353.32
AT ITER 1257 NEW BEST:: SOT 110425 SOS 66298 HAS SOPS 66298 HAS SOUS 24287 HAS SOUPS 24287 WITH SCORE 24353.298
AT ITER 1272 NEW BEST:: SOT 110499 SOS 66374 HAS SOPS 66374 HAS SOUS 24277 HAS SOUPS 24277 WITH SCORE 24343.374
AT ITER 1287 NEW BEST:: SOT 110383 SOS 66142 HAS SOPS 66142 HAS SOUS 24176 HAS SOUPS 24176 WITH SCORE 24242.142
AT ITER 1290 NEW BEST:: SOT 110377 SOS 66148 HAS SOPS 66148 HAS SOUS 24170 HAS SOUPS 24170 WITH SCORE 24236.148
AT ITER 1300 NEW BEST:: SOT 110363 SOS 66132 HAS SOPS 66132 HAS SOUS 24149 HAS SOUPS 24149 WITH SCORE 24215.132
AT ITER 1302 NEW BEST:: SOT 110361 SOS 66130 HAS SOPS 66130 HAS SOUS 24128 HAS SOUPS 24128 WITH SCORE 24194.13
AT ITER 1304 NEW BEST:: SOT 110233 SOS 66002 HAS SOPS 66002 HAS SOUS 24048 HAS SOUPS 24048 WITH SCORE 24114.002
AT ITER 1312 NEW BEST:: SOT 110233 SOS 66002 HAS SOPS 66002 HAS SOUS 24044 HAS SOUPS 24044 WITH SCORE 24110.002
AT ITER 1316 NEW BEST:: SOT 110224 SOS 66008 HAS SOPS 66008 HAS SOUS 24034 HAS SOUPS 24034 WITH SCORE 24100.008
AT ITER 1325 NEW BEST:: SOT 110282 SOS 66066 HAS SOPS 66066 HAS SOUS 24008 HAS SOUPS 24008 WITH SCORE 24074.066
AT ITER 1333 NEW BEST:: SOT 110213 SOS 65868 HAS SOPS 65868 HAS SOUS 23986 HAS SOUPS 23986 WITH SCORE 24051.868
AT ITER 1356 NEW BEST:: SOT 110211 SOS 65866 HAS SOPS 65866 HAS SOUS 23919 HAS SOUPS 23919 WITH SCORE 23984.866
AT ITER 1372 NEW BEST:: SOT 110219 SOS 65873 HAS SOPS 65873 HAS SOUS 23891 HAS SOUPS 23891 WITH SCORE 23956.873
AT ITER 1375 NEW BEST:: SOT 110217 SOS 65893 HAS SOPS 65893 HAS SOUS 23866 HAS SOUPS 23866 WITH SCORE 23931.893
AT ITER 1380 NEW BEST:: SOT 110378 SOS 66031 HAS SOPS 66031 HAS SOUS 23679 HAS SOUPS 23679 WITH SCORE 23745.031
AT ITER 1392 NEW BEST:: SOT 110374 SOS 66033 HAS SOPS 66033 HAS SOUS 23675 HAS SOUPS 23675 WITH SCORE 23741.033
AT ITER 1399 NEW BEST:: SOT 110371 SOS 66005 HAS SOPS 66005 HAS SOUS 23672 HAS SOUPS 23672 WITH SCORE 23738.005
AT ITER 1412 NEW BEST:: SOT 110333 SOS 65922 HAS SOPS 65922 HAS SOUS 23640 HAS SOUPS 23640 WITH SCORE 23705.922
AT ITER 1421 NEW BEST:: SOT 110417 SOS 66002 HAS SOPS 66002 HAS SOUS 23628 HAS SOUPS 23628 WITH SCORE 23694.002
AT ITER 1423 NEW BEST:: SOT 110331 SOS 65912 HAS SOPS 65912 HAS SOUS 23519 HAS SOUPS 23519 WITH SCORE 23584.912
AT ITER 1426 NEW BEST:: SOT 110338 SOS 66062 HAS SOPS 66062 HAS SOUS 23486 HAS SOUPS 23486 WITH SCORE 23552.062
AT ITER 1427 NEW BEST:: SOT 110300 SOS 65980 HAS SOPS 65980 HAS SOUS 23448 HAS SOUPS 23448 WITH SCORE 23513.98
AT ITER 1432 NEW BEST:: SOT 110306 SOS 65986 HAS SOPS 65986 HAS SOUS 23436 HAS SOUPS 23436 WITH SCORE 23501.986
AT ITER 1436 NEW BEST:: SOT 110290 SOS 65970 HAS SOPS 65970 HAS SOUS 23433 HAS SOUPS 23433 WITH SCORE 23498.97
AT ITER 1482 NEW BEST:: SOT 110234 SOS 65932 HAS SOPS 65932 HAS SOUS 23377 HAS SOUPS 23377 WITH SCORE 23442.932
AT ITER 1483 NEW BEST:: SOT 110234 SOS 65850 HAS SOPS 65850 HAS SOUS 23336 HAS SOUPS 23336 WITH SCORE 23401.85
AT ITER 1488 NEW BEST:: SOT 110195 SOS 65782 HAS SOPS 65782 HAS SOUS 23253 HAS SOUPS 23253 WITH SCORE 23318.782
AT ITER 1495 NEW BEST:: SOT 110188 SOS 65850 HAS SOPS 65850 HAS SOUS 23246 HAS SOUPS 23246 WITH SCORE 23311.85
AT ITER 1497 NEW BEST:: SOT 110124 SOS 65570 HAS SOPS 65570 HAS SOUS 23073 HAS SOUPS 23073 WITH SCORE 23138.57
AT ITER 1499 NEW BEST:: SOT 110083 SOS 65660 HAS SOPS 65660 HAS SOUS 23004 HAS SOUPS 23004 WITH SCORE 23069.66
AT ITER 1511 NEW BEST:: SOT 110083 SOS 65660 HAS SOPS 65660 HAS SOUS 22998 HAS SOUPS 22998 WITH SCORE 23063.66
AT ITER 1516 NEW BEST:: SOT 109989 SOS 65500 HAS SOPS 65500 HAS SOUS 22980 HAS SOUPS 22980 WITH SCORE 23045.5
AT ITER 1519 NEW BEST:: SOT 109948 SOS 65478 HAS SOPS 65478 HAS SOUS 22898 HAS SOUPS 22898 WITH SCORE 22963.478
AT ITER 1528 NEW BEST:: SOT 109908 SOS 65381 HAS SOPS 65381 HAS SOUS 22759 HAS SOUPS 22759 WITH SCORE 22824.381
AT ITER 1549 NEW BEST:: SOT 109920 SOS 65393 HAS SOPS 65393 HAS SOUS 22697 HAS SOUPS 22697 WITH SCORE 22762.393
AT ITER 1585 NEW BEST:: SOT 109953 SOS 65478 HAS SOPS 65478 HAS SOUS 22691 HAS SOUPS 22691 WITH SCORE 22756.478
AT ITER 1595 NEW BEST:: SOT 109958 SOS 65488 HAS SOPS 65488 HAS SOUS 22678 HAS SOUPS 22678 WITH SCORE 22743.488
AT ITER 1597 NEW BEST:: SOT 109952 SOS 65482 HAS SOPS 65482 HAS SOUS 22678 HAS SOUPS 22678 WITH SCORE 22743.482
AT ITER 1603 NEW BEST:: SOT 109955 SOS 65401 HAS SOPS 65401 HAS SOUS 22659 HAS SOUPS 22659 WITH SCORE 22724.401
AT ITER 1619 NEW BEST:: SOT 109904 SOS 65308 HAS SOPS 65308 HAS SOUS 22650 HAS SOUPS 22650 WITH SCORE 22715.308
AT ITER 1634 NEW BEST:: SOT 109973 SOS 65321 HAS SOPS 65321 HAS SOUS 22646 HAS SOUPS 22646 WITH SCORE 22711.321
AT ITER 1639 NEW BEST:: SOT 109955 SOS 65329 HAS SOPS 65329 HAS SOUS 22628 HAS SOUPS 22628 WITH SCORE 22693.329
AT ITER 1641 NEW BEST:: SOT 109912 SOS 65224 HAS SOPS 65224 HAS SOUS 22616 HAS SOUPS 22616 WITH SCORE 22681.224
AT ITER 1650 NEW BEST:: SOT 109918 SOS 65212 HAS SOPS 65212 HAS SOUS 22616 HAS SOUPS 22616 WITH SCORE 22681.212
AT ITER 1654 NEW BEST:: SOT 109908 SOS 65194 HAS SOPS 65194 HAS SOUS 22610 HAS SOUPS 22610 WITH SCORE 22675.194
AT ITER 1657 NEW BEST:: SOT 109900 SOS 65178 HAS SOPS 65178 HAS SOUS 22602 HAS SOUPS 22602 WITH SCORE 22667.178
AT ITER 1659 NEW BEST:: SOT 109914 SOS 65081 HAS SOPS 65081 HAS SOUS 22587 HAS SOUPS 22587 WITH SCORE 22652.081
AT ITER 1663 NEW BEST:: SOT 109873 SOS 65015 HAS SOPS 65015 HAS SOUS 22518 HAS SOUPS 22518 WITH SCORE 22583.015
AT ITER 1675 NEW BEST:: SOT 109601 SOS 66132 HAS SOPS 66132 HAS SOUS 22494 HAS SOUPS 22494 WITH SCORE 22560.132
AT ITER 1706 NEW BEST:: SOT 109577 SOS 66108 HAS SOPS 66108 HAS SOUS 22455 HAS SOUPS 22455 WITH SCORE 22521.108
AT ITER 1707 NEW BEST:: SOT 109535 SOS 66066 HAS SOPS 66066 HAS SOUS 22434 HAS SOUPS 22434 WITH SCORE 22500.066
AT ITER 1717 NEW BEST:: SOT 109530 SOS 66036 HAS SOPS 66036 HAS SOUS 22424 HAS SOUPS 22424 WITH SCORE 22490.036
AT ITER 1718 NEW BEST:: SOT 109455 SOS 65936 HAS SOPS 65936 HAS SOUS 22349 HAS SOUPS 22349 WITH SCORE 22414.936
AT ITER 1725 NEW BEST:: SOT 109445 SOS 65926 HAS SOPS 65926 HAS SOUS 22347 HAS SOUPS 22347 WITH SCORE 22412.926
AT ITER 1727 NEW BEST:: SOT 109297 SOS 65778 HAS SOPS 65778 HAS SOUS 22283 HAS SOUPS 22283 WITH SCORE 22348.778
AT ITER 1730 NEW BEST:: SOT 109287 SOS 65702 HAS SOPS 65702 HAS SOUS 22273 HAS SOUPS 22273 WITH SCORE 22338.702
AT ITER 1732 NEW BEST:: SOT 109313 SOS 65409 HAS SOPS 65409 HAS SOUS 22266 HAS SOUPS 22266 WITH SCORE 22331.409
AT ITER 1757 NEW BEST:: SOT 109288 SOS 65392 HAS SOPS 65392 HAS SOUS 22248 HAS SOUPS 22248 WITH SCORE 22313.392
AT ITER 1764 NEW BEST:: SOT 109216 SOS 65296 HAS SOPS 65296 HAS SOUS 22169 HAS SOUPS 22169 WITH SCORE 22234.296
AT ITER 1770 NEW BEST:: SOT 109193 SOS 65286 HAS SOPS 65286 HAS SOUS 22164 HAS SOUPS 22164 WITH SCORE 22229.286
AT ITER 1797 NEW BEST:: SOT 108939 SOS 65032 HAS SOPS 65032 HAS SOUS 22146 HAS SOUPS 22146 WITH SCORE 22211.032
AT ITER 1810 NEW BEST:: SOT 108899 SOS 65012 HAS SOPS 65012 HAS SOUS 22122 HAS SOUPS 22122 WITH SCORE 22187.012
AT ITER 1822 NEW BEST:: SOT 108891 SOS 65016 HAS SOPS 65016 HAS SOUS 22032 HAS SOUPS 22032 WITH SCORE 22097.016
AT ITER 1827 NEW BEST:: SOT 108868 SOS 64919 HAS SOPS 64919 HAS SOUS 21976 HAS SOUPS 21976 WITH SCORE 22040.919
AT ITER 1832 NEW BEST:: SOT 108868 SOS 64964 HAS SOPS 64964 HAS SOUS 21969 HAS SOUPS 21969 WITH SCORE 22033.964
AT ITER 1853 NEW BEST:: SOT 108889 SOS 64985 HAS SOPS 64985 HAS SOUS 21958 HAS SOUPS 21958 WITH SCORE 22022.985
AT ITER 1860 NEW BEST:: SOT 108889 SOS 64953 HAS SOPS 64953 HAS SOUS 21952 HAS SOUPS 21952 WITH SCORE 22016.953
AT ITER 1888 NEW BEST:: SOT 108823 SOS 64777 HAS SOPS 64777 HAS SOUS 21842 HAS SOUPS 21842 WITH SCORE 21906.777
AT ITER 1896 NEW BEST:: SOT 108855 SOS 64812 HAS SOPS 64812 HAS SOUS 21771 HAS SOUPS 21771 WITH SCORE 21835.812
AT ITER 1898 NEW BEST:: SOT 108839 SOS 64780 HAS SOPS 64780 HAS SOUS 21771 HAS SOUPS 21771 WITH SCORE 21835.78
AT ITER 1900 NEW BEST:: SOT 108846 SOS 64710 HAS SOPS 64710 HAS SOUS 21764 HAS SOUPS 21764 WITH SCORE 21828.71
AT ITER 1905 NEW BEST:: SOT 108645 SOS 64509 HAS SOPS 64509 HAS SOUS 21737 HAS SOUPS 21737 WITH SCORE 21801.509
AT ITER 1906 NEW BEST:: SOT 108502 SOS 64333 HAS SOPS 64333 HAS SOUS 21479 HAS SOUPS 21479 WITH SCORE 21543.333
AT ITER 1912 NEW BEST:: SOT 108593 SOS 64424 HAS SOPS 64424 HAS SOUS 21468 HAS SOUPS 21468 WITH SCORE 21532.424
AT ITER 1914 NEW BEST:: SOT 108578 SOS 64397 HAS SOPS 64397 HAS SOUS 21459 HAS SOUPS 21459 WITH SCORE 21523.397
AT ITER 1919 NEW BEST:: SOT 108507 SOS 64224 HAS SOPS 64224 HAS SOUS 21294 HAS SOUPS 21294 WITH SCORE 21358.224
AT ITER 1926 NEW BEST:: SOT 108453 SOS 64170 HAS SOPS 64170 HAS SOUS 21266 HAS SOUPS 21266 WITH SCORE 21330.17
AT ITER 1931 NEW BEST:: SOT 108583 SOS 64267 HAS SOPS 64267 HAS SOUS 21248 HAS SOUPS 21248 WITH SCORE 21312.267
AT ITER 1945 NEW BEST:: SOT 108577 SOS 64261 HAS SOPS 64261 HAS SOUS 21242 HAS SOUPS 21242 WITH SCORE 21306.261
AT ITER 1977 NEW BEST:: SOT 108660 SOS 64324 HAS SOPS 64324 HAS SOUS 21191 HAS SOUPS 21191 WITH SCORE 21255.324
AT ITER 1983 NEW BEST:: SOT 108687 SOS 64404 HAS SOPS 64404 HAS SOUS 21173 HAS SOUPS 21173 WITH SCORE 21237.404
AT ITER 1985 NEW BEST:: SOT 108669 SOS 64364 HAS SOPS 64364 HAS SOUS 21136 HAS SOUPS 21136 WITH SCORE 21200.364
AT ITER 1990 NEW BEST:: SOT 108493 SOS 64188 HAS SOPS 64188 HAS SOUS 21037 HAS SOUPS 21037 WITH SCORE 21101.188
AT ITER 1992 NEW BEST:: SOT 108483 SOS 64168 HAS SOPS 64168 HAS SOUS 21027 HAS SOUPS 21027 WITH SCORE 21091.168
AT ITER 1993 NEW BEST:: SOT 108469 SOS 64154 HAS SOPS 64154 HAS SOUS 21014 HAS SOUPS 21014 WITH SCORE 21078.154
AT ITER 2022 NEW BEST:: SOT 108467 SOS 64150 HAS SOPS 64150 HAS SOUS 21012 HAS SOUPS 21012 WITH SCORE 21076.15
AT ITER 2028 NEW BEST:: SOT 108468 SOS 64142 HAS SOPS 64142 HAS SOUS 20986 HAS SOUPS 20986 WITH SCORE 21050.142
AT ITER 2037 NEW BEST:: SOT 107587 SOS 64682 HAS SOPS 64682 HAS SOUS 20163 HAS SOUPS 20163 WITH SCORE 20227.682
AT ITER 2038 NEW BEST:: SOT 107521 SOS 64514 HAS SOPS 64514 HAS SOUS 20157 HAS SOUPS 20157 WITH SCORE 20221.514
AT ITER 2039 NEW BEST:: SOT 107356 SOS 64288 HAS SOPS 64288 HAS SOUS 19987 HAS SOUPS 19987 WITH SCORE 20051.288
AT ITER 2058 NEW BEST:: SOT 107221 SOS 64151 HAS SOPS 64151 HAS SOUS 19909 HAS SOUPS 19909 WITH SCORE 19973.151
AT ITER 2060 NEW BEST:: SOT 107139 SOS 64811 HAS SOPS 64811 HAS SOUS 19874 HAS SOUPS 19874 WITH SCORE 19938.811
AT ITER 2066 NEW BEST:: SOT 107176 SOS 64848 HAS SOPS 64848 HAS SOUS 19870 HAS SOUPS 19870 WITH SCORE 19934.848
AT ITER 2078 NEW BEST:: SOT 107194 SOS 64866 HAS SOPS 64866 HAS SOUS 19848 HAS SOUPS 19848 WITH SCORE 19912.866
AT ITER 2082 NEW BEST:: SOT 107194 SOS 64197 HAS SOPS 64197 HAS SOUS 19828 HAS SOUPS 19828 WITH SCORE 19892.197
AT ITER 2093 NEW BEST:: SOT 107119 SOS 64062 HAS SOPS 64062 HAS SOUS 19783 HAS SOUPS 19783 WITH SCORE 19847.062
AT ITER 2100 NEW BEST:: SOT 107103 SOS 64046 HAS SOPS 64046 HAS SOUS 19763 HAS SOUPS 19763 WITH SCORE 19827.046
AT ITER 2109 NEW BEST:: SOT 107100 SOS 64043 HAS SOPS 64043 HAS SOUS 19760 HAS SOUPS 19760 WITH SCORE 19824.043
AT ITER 2115 NEW BEST:: SOT 107059 SOS 64002 HAS SOPS 64002 HAS SOUS 19748 HAS SOUPS 19748 WITH SCORE 19812.002
AT ITER 2122 NEW BEST:: SOT 107025 SOS 64006 HAS SOPS 64006 HAS SOUS 19676 HAS SOUPS 19676 WITH SCORE 19740.006
AT ITER 2154 NEW BEST:: SOT 107069 SOS 64050 HAS SOPS 64050 HAS SOUS 19632 HAS SOUPS 19632 WITH SCORE 19696.05
AT ITER 2160 NEW BEST:: SOT 106994 SOS 63928 HAS SOPS 63928 HAS SOUS 19574 HAS SOUPS 19574 WITH SCORE 19637.928
AT ITER 2188 NEW BEST:: SOT 106942 SOS 63700 HAS SOPS 63700 HAS SOUS 19533 HAS SOUPS 19533 WITH SCORE 19596.7
AT ITER 2192 NEW BEST:: SOT 106906 SOS 63664 HAS SOPS 63664 HAS SOUS 19438 HAS SOUPS 19438 WITH SCORE 19501.664
AT ITER 2196 NEW BEST:: SOT 106899 SOS 63650 HAS SOPS 63650 HAS SOUS 19417 HAS SOUPS 19417 WITH SCORE 19480.65
AT ITER 2198 NEW BEST:: SOT 106855 SOS 63403 HAS SOPS 63403 HAS SOUS 19366 HAS SOUPS 19366 WITH SCORE 19429.403
AT ITER 2204 NEW BEST:: SOT 106751 SOS 63277 HAS SOPS 63277 HAS SOUS 19252 HAS SOUPS 19252 WITH SCORE 19315.277
AT ITER 2231 NEW BEST:: SOT 106743 SOS 63444 HAS SOPS 63444 HAS SOUS 19249 HAS SOUPS 19249 WITH SCORE 19312.444
AT ITER 2242 NEW BEST:: SOT 106723 SOS 63420 HAS SOPS 63420 HAS SOUS 19241 HAS SOUPS 19241 WITH SCORE 19304.42
AT ITER 2246 NEW BEST:: SOT 106709 SOS 63406 HAS SOPS 63406 HAS SOUS 19227 HAS SOUPS 19227 WITH SCORE 19290.406
AT ITER 2253 NEW BEST:: SOT 106735 SOS 63294 HAS SOPS 63294 HAS SOUS 19212 HAS SOUPS 19212 WITH SCORE 19275.294
AT ITER 2256 NEW BEST:: SOT 106704 SOS 63320 HAS SOPS 63320 HAS SOUS 19181 HAS SOUPS 19181 WITH SCORE 19244.32
AT ITER 2260 NEW BEST:: SOT 106784 SOS 63081 HAS SOPS 63081 HAS SOUS 19141 HAS SOUPS 19141 WITH SCORE 19204.081
AT ITER 2261 NEW BEST:: SOT 106817 SOS 63097 HAS SOPS 63097 HAS SOUS 19005 HAS SOUPS 19005 WITH SCORE 19068.097
AT ITER 2264 NEW BEST:: SOT 106822 SOS 63109 HAS SOPS 63109 HAS SOUS 19003 HAS SOUPS 19003 WITH SCORE 19066.109
AT ITER 2275 NEW BEST:: SOT 106842 SOS 63129 HAS SOPS 63129 HAS SOUS 18996 HAS SOUPS 18996 WITH SCORE 19059.129
AT ITER 2303 NEW BEST:: SOT 106768 SOS 62991 HAS SOPS 62991 HAS SOUS 18979 HAS SOUPS 18979 WITH SCORE 19041.991
AT ITER 2313 NEW BEST:: SOT 106724 SOS 62761 HAS SOPS 62761 HAS SOUS 18911 HAS SOUPS 18911 WITH SCORE 18973.761
AT ITER 2323 NEW BEST:: SOT 106723 SOS 62709 HAS SOPS 62709 HAS SOUS 18910 HAS SOUPS 18910 WITH SCORE 18972.709
AT ITER 2327 NEW BEST:: SOT 106711 SOS 62697 HAS SOPS 62697 HAS SOUS 18892 HAS SOUPS 18892 WITH SCORE 18954.697
AT ITER 2340 NEW BEST:: SOT 106685 SOS 62671 HAS SOPS 62671 HAS SOUS 18831 HAS SOUPS 18831 WITH SCORE 18893.671
AT ITER 2351 NEW BEST:: SOT 106685 SOS 62651 HAS SOPS 62651 HAS SOUS 18826 HAS SOUPS 18826 WITH SCORE 18888.651
AT ITER 2365 NEW BEST:: SOT 106666 SOS 62686 HAS SOPS 62686 HAS SOUS 18807 HAS SOUPS 18807 WITH SCORE 18869.686
AT ITER 2377 NEW BEST:: SOT 106648 SOS 62668 HAS SOPS 62668 HAS SOUS 18789 HAS SOUPS 18789 WITH SCORE 18851.668
AT ITER 2393 NEW BEST:: SOT 106640 SOS 62646 HAS SOPS 62646 HAS SOUS 18774 HAS SOUPS 18774 WITH SCORE 18836.646
AT ITER 2396 NEW BEST:: SOT 106528 SOS 62528 HAS SOPS 62528 HAS SOUS 18715 HAS SOUPS 18715 WITH SCORE 18777.528
AT ITER 2418 NEW BEST:: SOT 106206 SOS 62090 HAS SOPS 62090 HAS SOUS 18689 HAS SOUPS 18689 WITH SCORE 18751.09
AT ITER 2423 NEW BEST:: SOT 106176 SOS 62060 HAS SOPS 62060 HAS SOUS 18689 HAS SOUPS 18689 WITH SCORE 18751.06
AT ITER 2425 NEW BEST:: SOT 106166 SOS 62021 HAS SOPS 62021 HAS SOUS 18647 HAS SOUPS 18647 WITH SCORE 18709.021
AT ITER 2431 NEW BEST:: SOT 106134 SOS 61907 HAS SOPS 61907 HAS SOUS 18613 HAS SOUPS 18613 WITH SCORE 18674.907
AT ITER 2440 NEW BEST:: SOT 106101 SOS 61882 HAS SOPS 61882 HAS SOUS 18530 HAS SOUPS 18530 WITH SCORE 18591.882
AT ITER 2458 NEW BEST:: SOT 106095 SOS 61876 HAS SOPS 61876 HAS SOUS 18522 HAS SOUPS 18522 WITH SCORE 18583.876
AT ITER 2462 NEW BEST:: SOT 106083 SOS 61856 HAS SOPS 61856 HAS SOUS 18522 HAS SOUPS 18522 WITH SCORE 18583.856
AT ITER 2463 NEW BEST:: SOT 106035 SOS 61808 HAS SOPS 61808 HAS SOUS 18498 HAS SOUPS 18498 WITH SCORE 18559.808
AT ITER 2479 NEW BEST:: SOT 105982 SOS 61766 HAS SOPS 61766 HAS SOUS 18434 HAS SOUPS 18434 WITH SCORE 18495.766
AT ITER 2483 NEW BEST:: SOT 105969 SOS 61740 HAS SOPS 61740 HAS SOUS 18408 HAS SOUPS 18408 WITH SCORE 18469.74
AT ITER 2494 NEW BEST:: SOT 105947 SOS 61718 HAS SOPS 61718 HAS SOUS 18386 HAS SOUPS 18386 WITH SCORE 18447.718
AT ITER 2512 NEW BEST:: SOT 105951 SOS 61711 HAS SOPS 61711 HAS SOUS 18357 HAS SOUPS 18357 WITH SCORE 18418.711
AT ITER 2519 NEW BEST:: SOT 105988 SOS 61615 HAS SOPS 61615 HAS SOUS 18323 HAS SOUPS 18323 WITH SCORE 18384.615
AT ITER 2520 NEW BEST:: SOT 105916 SOS 60786 HAS SOPS 60786 HAS SOUS 18321 HAS SOUPS 18321 WITH SCORE 18381.786
AT ITER 2530 NEW BEST:: SOT 105900 SOS 60753 HAS SOPS 60753 HAS SOUS 18302 HAS SOUPS 18302 WITH SCORE 18362.753
AT ITER 2546 NEW BEST:: SOT 105838 SOS 60691 HAS SOPS 60691 HAS SOUS 18209 HAS SOUPS 18209 WITH SCORE 18269.691
AT ITER 2547 NEW BEST:: SOT 105802 SOS 60643 HAS SOPS 60643 HAS SOUS 18173 HAS SOUPS 18173 WITH SCORE 18233.643
AT ITER 2559 NEW BEST:: SOT 105788 SOS 60629 HAS SOPS 60629 HAS SOUS 18159 HAS SOUPS 18159 WITH SCORE 18219.629
AT ITER 2624 NEW BEST:: SOT 105764 SOS 60591 HAS SOPS 60591 HAS SOUS 18130 HAS SOUPS 18130 WITH SCORE 18190.591
AT ITER 2638 NEW BEST:: SOT 105811 SOS 60413 HAS SOPS 60413 HAS SOUS 18128 HAS SOUPS 18128 WITH SCORE 18188.413
AT ITER 2640 NEW BEST:: SOT 105799 SOS 60389 HAS SOPS 60389 HAS SOUS 18116 HAS SOUPS 18116 WITH SCORE 18176.389
AT ITER 2661 NEW BEST:: SOT 105771 SOS 60263 HAS SOPS 60263 HAS SOUS 18072 HAS SOUPS 18072 WITH SCORE 18132.263
AT ITER 2680 NEW BEST:: SOT 105771 SOS 60267 HAS SOPS 60267 HAS SOUS 18064 HAS SOUPS 18064 WITH SCORE 18124.267
AT ITER 2695 NEW BEST:: SOT 105765 SOS 60261 HAS SOPS 60261 HAS SOUS 18047 HAS SOUPS 18047 WITH SCORE 18107.261
AT ITER 2715 NEW BEST:: SOT 105760 SOS 60266 HAS SOPS 60266 HAS SOUS 18042 HAS SOUPS 18042 WITH SCORE 18102.266
AT ITER 2721 NEW BEST:: SOT 105754 SOS 60298 HAS SOPS 60298 HAS SOUS 18038 HAS SOUPS 18038 WITH SCORE 18098.298
AT ITER 2736 NEW BEST:: SOT 105685 SOS 60206 HAS SOPS 60206 HAS SOUS 17969 HAS SOUPS 17969 WITH SCORE 18029.206
AT ITER 2752 NEW BEST:: SOT 105650 SOS 60160 HAS SOPS 60160 HAS SOUS 17925 HAS SOUPS 17925 WITH SCORE 17985.16
AT ITER 2759 NEW BEST:: SOT 105566 SOS 59992 HAS SOPS 59992 HAS SOUS 17847 HAS SOUPS 17847 WITH SCORE 17906.992
AT ITER 2761 NEW BEST:: SOT 105570 SOS 59986 HAS SOPS 59986 HAS SOUS 17840 HAS SOUPS 17840 WITH SCORE 17899.986
AT ITER 2769 NEW BEST:: SOT 105569 SOS 59984 HAS SOPS 59984 HAS SOUS 17838 HAS SOUPS 17838 WITH SCORE 17897.984
AT ITER 2781 NEW BEST:: SOT 105561 SOS 59974 HAS SOPS 59974 HAS SOUS 17828 HAS SOUPS 17828 WITH SCORE 17887.974
AT ITER 2802 NEW BEST:: SOT 105549 SOS 59956 HAS SOPS 59956 HAS SOUS 17810 HAS SOUPS 17810 WITH SCORE 17869.956
AT ITER 2811 NEW BEST:: SOT 105592 SOS 59992 HAS SOPS 59992 HAS SOUS 17794 HAS SOUPS 17794 WITH SCORE 17853.992
AT ITER 2833 NEW BEST:: SOT 105603 SOS 59951 HAS SOPS 59951 HAS SOUS 17783 HAS SOUPS 17783 WITH SCORE 17842.951
AT ITER 2838 NEW BEST:: SOT 105557 SOS 59905 HAS SOPS 59905 HAS SOUS 17782 HAS SOUPS 17782 WITH SCORE 17841.905
AT ITER 2853 NEW BEST:: SOT 105557 SOS 59905 HAS SOPS 59905 HAS SOUS 17771 HAS SOUPS 17771 WITH SCORE 17830.905
AT ITER 2855 NEW BEST:: SOT 105539 SOS 59881 HAS SOPS 59881 HAS SOUS 17753 HAS SOUPS 17753 WITH SCORE 17812.881
AT ITER 2869 NEW BEST:: SOT 105439 SOS 59781 HAS SOPS 59781 HAS SOUS 17706 HAS SOUPS 17706 WITH SCORE 17765.781
AT ITER 2870 NEW BEST:: SOT 105441 SOS 59777 HAS SOPS 59777 HAS SOUS 17704 HAS SOUPS 17704 WITH SCORE 17763.777
AT ITER 2876 NEW BEST:: SOT 105266 SOS 59184 HAS SOPS 59184 HAS SOUS 17433 HAS SOUPS 17433 WITH SCORE 17492.184
AT ITER 2879 NEW BEST:: SOT 105265 SOS 59182 HAS SOPS 59182 HAS SOUS 17431 HAS SOUPS 17431 WITH SCORE 17490.182
AT ITER 2880 NEW BEST:: SOT 105251 SOS 59162 HAS SOPS 59162 HAS SOUS 17422 HAS SOUPS 17422 WITH SCORE 17481.162
AT ITER 2891 NEW BEST:: SOT 105251 SOS 59162 HAS SOPS 59162 HAS SOUS 17328 HAS SOUPS 17328 WITH SCORE 17387.162
AT ITER 2897 NEW BEST:: SOT 105002 SOS 58915 HAS SOPS 58915 HAS SOUS 17289 HAS SOUPS 17289 WITH SCORE 17347.915
AT ITER 2903 NEW BEST:: SOT 104981 SOS 58751 HAS SOPS 58751 HAS SOUS 17225 HAS SOUPS 17225 WITH SCORE 17283.751
AT ITER 2918 NEW BEST:: SOT 104871 SOS 58641 HAS SOPS 58641 HAS SOUS 17152 HAS SOUPS 17152 WITH SCORE 17210.641
AT ITER 2926 NEW BEST:: SOT 104704 SOS 58352 HAS SOPS 58352 HAS SOUS 16985 HAS SOUPS 16985 WITH SCORE 17043.352
AT ITER 2968 NEW BEST:: SOT 104706 SOS 58161 HAS SOPS 58161 HAS SOUS 16962 HAS SOUPS 16962 WITH SCORE 17020.161
AT ITER 2986 NEW BEST:: SOT 104688 SOS 58143 HAS SOPS 58143 HAS SOUS 16915 HAS SOUPS 16915 WITH SCORE 16973.143
AT ITER 2988 NEW BEST:: SOT 104531 SOS 57804 HAS SOPS 57804 HAS SOUS 16911 HAS SOUPS 16911 WITH SCORE 16968.804
AT ITER 3010 NEW BEST:: SOT 104526 SOS 57828 HAS SOPS 57828 HAS SOUS 16903 HAS SOUPS 16903 WITH SCORE 16960.828
AT ITER 3023 NEW BEST:: SOT 104496 SOS 57986 HAS SOPS 57986 HAS SOUS 16855 HAS SOUPS 16855 WITH SCORE 16912.986
AT ITER 3029 NEW BEST:: SOT 104431 SOS 57904 HAS SOPS 57904 HAS SOUS 16754 HAS SOUPS 16754 WITH SCORE 16811.904
AT ITER 3034 NEW BEST:: SOT 104422 SOS 57895 HAS SOPS 57895 HAS SOUS 16754 HAS SOUPS 16754 WITH SCORE 16811.895
AT ITER 3045 NEW BEST:: SOT 104400 SOS 57873 HAS SOPS 57873 HAS SOUS 16718 HAS SOUPS 16718 WITH SCORE 16775.873
AT ITER 3052 NEW BEST:: SOT 104397 SOS 57869 HAS SOPS 57869 HAS SOUS 16717 HAS SOUPS 16717 WITH SCORE 16774.869
AT ITER 3070 NEW BEST:: SOT 104405 SOS 57863 HAS SOPS 57863 HAS SOUS 16711 HAS SOUPS 16711 WITH SCORE 16768.863
AT ITER 3074 NEW BEST:: SOT 104377 SOS 57807 HAS SOPS 57807 HAS SOUS 16699 HAS SOUPS 16699 WITH SCORE 16756.807
AT ITER 3085 NEW BEST:: SOT 104279 SOS 57709 HAS SOPS 57709 HAS SOUS 16668 HAS SOUPS 16668 WITH SCORE 16725.709
AT ITER 3097 NEW BEST:: SOT 104100 SOS 57412 HAS SOPS 57412 HAS SOUS 16626 HAS SOUPS 16626 WITH SCORE 16683.412
AT ITER 3100 NEW BEST:: SOT 104062 SOS 57396 HAS SOPS 57396 HAS SOUS 16588 HAS SOUPS 16588 WITH SCORE 16645.396
AT ITER 3114 NEW BEST:: SOT 104034 SOS 57363 HAS SOPS 57363 HAS SOUS 16575 HAS SOUPS 16575 WITH SCORE 16632.363
AT ITER 3123 NEW BEST:: SOT 104057 SOS 57507 HAS SOPS 57507 HAS SOUS 16558 HAS SOUPS 16558 WITH SCORE 16615.507
AT ITER 3136 NEW BEST:: SOT 104071 SOS 57478 HAS SOPS 57478 HAS SOUS 16539 HAS SOUPS 16539 WITH SCORE 16596.478
AT ITER 3145 NEW BEST:: SOT 104066 SOS 57478 HAS SOPS 57478 HAS SOUS 16534 HAS SOUPS 16534 WITH SCORE 16591.478
AT ITER 3164 NEW BEST:: SOT 104049 SOS 57416 HAS SOPS 57416 HAS SOUS 16517 HAS SOUPS 16517 WITH SCORE 16574.416
AT ITER 3180 NEW BEST:: SOT 104097 SOS 57464 HAS SOPS 57464 HAS SOUS 16511 HAS SOUPS 16511 WITH SCORE 16568.464
AT ITER 3183 NEW BEST:: SOT 104006 SOS 57338 HAS SOPS 57338 HAS SOUS 16420 HAS SOUPS 16420 WITH SCORE 16477.338
AT ITER 3190 NEW BEST:: SOT 104027 SOS 57359 HAS SOPS 57359 HAS SOUS 16405 HAS SOUPS 16405 WITH SCORE 16462.359
AT ITER 3208 NEW BEST:: SOT 104053 SOS 57294 HAS SOPS 57294 HAS SOUS 16401 HAS SOUPS 16401 WITH SCORE 16458.294
AT ITER 3210 NEW BEST:: SOT 104047 SOS 57288 HAS SOPS 57288 HAS SOUS 16395 HAS SOUPS 16395 WITH SCORE 16452.288
AT ITER 3212 NEW BEST:: SOT 104062 SOS 57324 HAS SOPS 57324 HAS SOUS 16389 HAS SOUPS 16389 WITH SCORE 16446.324
AT ITER 3258 NEW BEST:: SOT 104062 SOS 57324 HAS SOPS 57324 HAS SOUS 16380 HAS SOUPS 16380 WITH SCORE 16437.324
AT ITER 3267 NEW BEST:: SOT 104034 SOS 57296 HAS SOPS 57296 HAS SOUS 16356 HAS SOUPS 16356 WITH SCORE 16413.296
AT ITER 3273 NEW BEST:: SOT 103979 SOS 57216 HAS SOPS 57216 HAS SOUS 16276 HAS SOUPS 16276 WITH SCORE 16333.216
AT ITER 3283 NEW BEST:: SOT 104027 SOS 57248 HAS SOPS 57248 HAS SOUS 16214 HAS SOUPS 16214 WITH SCORE 16271.248
AT ITER 3307 NEW BEST:: SOT 104023 SOS 57067 HAS SOPS 57067 HAS SOUS 16210 HAS SOUPS 16210 WITH SCORE 16267.067
AT ITER 3323 NEW BEST:: SOT 104018 SOS 57057 HAS SOPS 57057 HAS SOUS 16195 HAS SOUPS 16195 WITH SCORE 16252.057
AT ITER 3326 NEW BEST:: SOT 104011 SOS 57022 HAS SOPS 57022 HAS SOUS 16188 HAS SOUPS 16188 WITH SCORE 16245.022
AT ITER 3335 NEW BEST:: SOT 103963 SOS 56942 HAS SOPS 56942 HAS SOUS 16140 HAS SOUPS 16140 WITH SCORE 16196.942
AT ITER 3341 NEW BEST:: SOT 103962 SOS 56938 HAS SOPS 56938 HAS SOUS 16139 HAS SOUPS 16139 WITH SCORE 16195.938
AT ITER 3345 NEW BEST:: SOT 103957 SOS 56938 HAS SOPS 56938 HAS SOUS 16134 HAS SOUPS 16134 WITH SCORE 16190.938
AT ITER 3361 NEW BEST:: SOT 103950 SOS 56924 HAS SOPS 56924 HAS SOUS 16120 HAS SOUPS 16120 WITH SCORE 16176.924
AT ITER 3368 NEW BEST:: SOT 103947 SOS 56926 HAS SOPS 56926 HAS SOUS 16117 HAS SOUPS 16117 WITH SCORE 16173.926
AT ITER 3370 NEW BEST:: SOT 103765 SOS 57078 HAS SOPS 57078 HAS SOUS 15935 HAS SOUPS 15935 WITH SCORE 15992.078
AT ITER 3403 NEW BEST:: SOT 103774 SOS 57086 HAS SOPS 57086 HAS SOUS 15934 HAS SOUPS 15934 WITH SCORE 15991.086
AT ITER 3411 NEW BEST:: SOT 103766 SOS 57078 HAS SOPS 57078 HAS SOUS 15934 HAS SOUPS 15934 WITH SCORE 15991.078
AT ITER 3490 NEW BEST:: SOT 103706 SOS 56998 HAS SOPS 56998 HAS SOUS 15874 HAS SOUPS 15874 WITH SCORE 15930.998
AT ITER 3495 NEW BEST:: SOT 103629 SOS 56849 HAS SOPS 56849 HAS SOUS 15845 HAS SOUPS 15845 WITH SCORE 15901.849
AT ITER 3509 NEW BEST:: SOT 103627 SOS 56847 HAS SOPS 56847 HAS SOUS 15842 HAS SOUPS 15842 WITH SCORE 15898.847
AT ITER 3510 NEW BEST:: SOT 103627 SOS 56847 HAS SOPS 56847 HAS SOUS 15832 HAS SOUPS 15832 WITH SCORE 15888.847
AT ITER 3526 NEW BEST:: SOT 103648 SOS 56879 HAS SOPS 56879 HAS SOUS 15826 HAS SOUPS 15826 WITH SCORE 15882.879
AT ITER 3546 NEW BEST:: SOT 103648 SOS 56854 HAS SOPS 56854 HAS SOUS 15826 HAS SOUPS 15826 WITH SCORE 15882.854
AT ITER 3551 NEW BEST:: SOT 103621 SOS 56728 HAS SOPS 56728 HAS SOUS 15754 HAS SOUPS 15754 WITH SCORE 15810.728
AT ITER 3556 NEW BEST:: SOT 103452 SOS 56559 HAS SOPS 56559 HAS SOUS 15735 HAS SOUPS 15735 WITH SCORE 15791.559
AT ITER 3566 NEW BEST:: SOT 103487 SOS 56594 HAS SOPS 56594 HAS SOUS 15731 HAS SOUPS 15731 WITH SCORE 15787.594
AT ITER 3576 NEW BEST:: SOT 103549 SOS 56597 HAS SOPS 56597 HAS SOUS 15714 HAS SOUPS 15714 WITH SCORE 15770.597
AT ITER 3581 NEW BEST:: SOT 103549 SOS 56089 HAS SOPS 56089 HAS SOUS 15702 HAS SOUPS 15702 WITH SCORE 15758.089
AT ITER 3601 NEW BEST:: SOT 103569 SOS 56148 HAS SOPS 56148 HAS SOUS 15659 HAS SOUPS 15659 WITH SCORE 15715.148
AT ITER 3604 NEW BEST:: SOT 103569 SOS 56148 HAS SOPS 56148 HAS SOUS 15649 HAS SOUPS 15649 WITH SCORE 15705.148
AT ITER 3609 NEW BEST:: SOT 103546 SOS 56085 HAS SOPS 56085 HAS SOUS 15602 HAS SOUPS 15602 WITH SCORE 15658.085
AT ITER 3618 NEW BEST:: SOT 103544 SOS 56081 HAS SOPS 56081 HAS SOUS 15602 HAS SOUPS 15602 WITH SCORE 15658.081
AT ITER 3619 NEW BEST:: SOT 103550 SOS 55896 HAS SOPS 55896 HAS SOUS 15584 HAS SOUPS 15584 WITH SCORE 15639.896
AT ITER 3624 NEW BEST:: SOT 103548 SOS 55894 HAS SOPS 55894 HAS SOUS 15557 HAS SOUPS 15557 WITH SCORE 15612.894
AT ITER 3644 NEW BEST:: SOT 103548 SOS 55894 HAS SOPS 55894 HAS SOUS 15549 HAS SOUPS 15549 WITH SCORE 15604.894
AT ITER 3664 NEW BEST:: SOT 103548 SOS 55894 HAS SOPS 55894 HAS SOUS 15521 HAS SOUPS 15521 WITH SCORE 15576.894
AT ITER 3672 NEW BEST:: SOT 103630 SOS 55976 HAS SOPS 55976 HAS SOUS 15513 HAS SOUPS 15513 WITH SCORE 15568.976
AT ITER 3673 NEW BEST:: SOT 103646 SOS 55992 HAS SOPS 55992 HAS SOUS 15512 HAS SOUPS 15512 WITH SCORE 15567.992
AT ITER 3685 NEW BEST:: SOT 103641 SOS 55982 HAS SOPS 55982 HAS SOUS 15502 HAS SOUPS 15502 WITH SCORE 15557.982
AT ITER 3704 NEW BEST:: SOT 103657 SOS 55675 HAS SOPS 55675 HAS SOUS 15501 HAS SOUPS 15501 WITH SCORE 15556.675
AT ITER 3728 NEW BEST:: SOT 103696 SOS 55695 HAS SOPS 55695 HAS SOUS 15467 HAS SOUPS 15467 WITH SCORE 15522.695
AT ITER 3743 NEW BEST:: SOT 103696 SOS 55695 HAS SOPS 55695 HAS SOUS 15459 HAS SOUPS 15459 WITH SCORE 15514.695
AT ITER 3746 NEW BEST:: SOT 103675 SOS 55674 HAS SOPS 55674 HAS SOUS 15452 HAS SOUPS 15452 WITH SCORE 15507.674
AT ITER 3784 NEW BEST:: SOT 103672 SOS 55668 HAS SOPS 55668 HAS SOUS 15446 HAS SOUPS 15446 WITH SCORE 15501.668
AT ITER 3792 NEW BEST:: SOT 103755 SOS 54598 HAS SOPS 54598 HAS SOUS 15447 HAS SOUPS 15447 WITH SCORE 15501.598
AT ITER 3805 NEW BEST:: SOT 103736 SOS 54543 HAS SOPS 54543 HAS SOUS 15437 HAS SOUPS 15437 WITH SCORE 15491.543
AT ITER 3819 NEW BEST:: SOT 103718 SOS 54523 HAS SOPS 54523 HAS SOUS 15413 HAS SOUPS 15413 WITH SCORE 15467.523
AT ITER 3830 NEW BEST:: SOT 103689 SOS 54464 HAS SOPS 54464 HAS SOUS 15369 HAS SOUPS 15369 WITH SCORE 15423.464
AT ITER 3837 NEW BEST:: SOT 103674 SOS 54432 HAS SOPS 54432 HAS SOUS 15345 HAS SOUPS 15345 WITH SCORE 15399.432
AT ITER 3846 NEW BEST:: SOT 103654 SOS 54406 HAS SOPS 54406 HAS SOUS 15312 HAS SOUPS 15312 WITH SCORE 15366.406
AT ITER 3861 NEW BEST:: SOT 103632 SOS 54409 HAS SOPS 54409 HAS SOUS 15299 HAS SOUPS 15299 WITH SCORE 15353.409
AT ITER 3869 NEW BEST:: SOT 103622 SOS 54389 HAS SOPS 54389 HAS SOUS 15284 HAS SOUPS 15284 WITH SCORE 15338.389
AT ITER 3878 NEW BEST:: SOT 103710 SOS 54477 HAS SOPS 54477 HAS SOUS 15282 HAS SOUPS 15282 WITH SCORE 15336.477
AT ITER 3889 NEW BEST:: SOT 103675 SOS 54425 HAS SOPS 54425 HAS SOUS 15267 HAS SOUPS 15267 WITH SCORE 15321.425
AT ITER 3903 NEW BEST:: SOT 103623 SOS 54373 HAS SOPS 54373 HAS SOUS 15234 HAS SOUPS 15234 WITH SCORE 15288.373
AT ITER 3921 NEW BEST:: SOT 103610 SOS 54331 HAS SOPS 54331 HAS SOUS 15185 HAS SOUPS 15185 WITH SCORE 15239.331
AT ITER 3928 NEW BEST:: SOT 103620 SOS 53649 HAS SOPS 53649 HAS SOUS 15175 HAS SOUPS 15175 WITH SCORE 15228.649
AT ITER 3959 NEW BEST:: SOT 103641 SOS 53686 HAS SOPS 53686 HAS SOUS 15172 HAS SOUPS 15172 WITH SCORE 15225.686
AT ITER 3964 NEW BEST:: SOT 103603 SOS 53572 HAS SOPS 53572 HAS SOUS 15110 HAS SOUPS 15110 WITH SCORE 15163.572
AT ITER 3967 NEW BEST:: SOT 103527 SOS 53478 HAS SOPS 53478 HAS SOUS 15034 HAS SOUPS 15034 WITH SCORE 15087.478
AT ITER 3984 NEW BEST:: SOT 103527 SOS 53480 HAS SOPS 53480 HAS SOUS 15032 HAS SOUPS 15032 WITH SCORE 15085.48
AT ITER 3995 NEW BEST:: SOT 103521 SOS 53412 HAS SOPS 53412 HAS SOUS 15026 HAS SOUPS 15026 WITH SCORE 15079.412
AT ITER 4024 NEW BEST:: SOT 103426 SOS 53269 HAS SOPS 53269 HAS SOUS 14950 HAS SOUPS 14950 WITH SCORE 15003.269
AT ITER 4031 NEW BEST:: SOT 103468 SOS 53330 HAS SOPS 53330 HAS SOUS 14938 HAS SOUPS 14938 WITH SCORE 14991.33
AT ITER 4052 NEW BEST:: SOT 103445 SOS 53304 HAS SOPS 53304 HAS SOUS 14924 HAS SOUPS 14924 WITH SCORE 14977.304
AT ITER 4070 NEW BEST:: SOT 103439 SOS 53308 HAS SOPS 53308 HAS SOUS 14918 HAS SOUPS 14918 WITH SCORE 14971.308
AT ITER 4076 NEW BEST:: SOT 103394 SOS 53224 HAS SOPS 53224 HAS SOUS 14859 HAS SOUPS 14859 WITH SCORE 14912.224
AT ITER 4077 NEW BEST:: SOT 103373 SOS 53098 HAS SOPS 53098 HAS SOUS 14803 HAS SOUPS 14803 WITH SCORE 14856.098
AT ITER 4102 NEW BEST:: SOT 103353 SOS 53078 HAS SOPS 53078 HAS SOUS 14783 HAS SOUPS 14783 WITH SCORE 14836.078
AT ITER 4105 NEW BEST:: SOT 103406 SOS 53159 HAS SOPS 53159 HAS SOUS 14780 HAS SOUPS 14780 WITH SCORE 14833.159
AT ITER 4107 NEW BEST:: SOT 103382 SOS 53127 HAS SOPS 53127 HAS SOUS 14748 HAS SOUPS 14748 WITH SCORE 14801.127
AT ITER 4122 NEW BEST:: SOT 103372 SOS 53117 HAS SOPS 53117 HAS SOUS 14746 HAS SOUPS 14746 WITH SCORE 14799.117
AT ITER 4162 NEW BEST:: SOT 103290 SOS 54122 HAS SOPS 54122 HAS SOUS 14731 HAS SOUPS 14731 WITH SCORE 14785.122
AT ITER 4181 NEW BEST:: SOT 103276 SOS 54140 HAS SOPS 54140 HAS SOUS 14702 HAS SOUPS 14702 WITH SCORE 14756.14
AT ITER 4196 NEW BEST:: SOT 103271 SOS 54130 HAS SOPS 54130 HAS SOUS 14702 HAS SOUPS 14702 WITH SCORE 14756.13
AT ITER 4213 NEW BEST:: SOT 103250 SOS 54132 HAS SOPS 54132 HAS SOUS 14681 HAS SOUPS 14681 WITH SCORE 14735.132
AT ITER 4241 NEW BEST:: SOT 103250 SOS 54096 HAS SOPS 54096 HAS SOUS 14672 HAS SOUPS 14672 WITH SCORE 14726.096
AT ITER 4266 NEW BEST:: SOT 103219 SOS 54048 HAS SOPS 54048 HAS SOUS 14623 HAS SOUPS 14623 WITH SCORE 14677.048
AT ITER 4269 NEW BEST:: SOT 103213 SOS 54042 HAS SOPS 54042 HAS SOUS 14605 HAS SOUPS 14605 WITH SCORE 14659.042
AT ITER 4280 NEW BEST:: SOT 103199 SOS 53976 HAS SOPS 53976 HAS SOUS 14578 HAS SOUPS 14578 WITH SCORE 14631.976
AT ITER 4282 NEW BEST:: SOT 103199 SOS 53962 HAS SOPS 53962 HAS SOUS 14574 HAS SOUPS 14574 WITH SCORE 14627.962
AT ITER 4291 NEW BEST:: SOT 103199 SOS 53592 HAS SOPS 53592 HAS SOUS 14566 HAS SOUPS 14566 WITH SCORE 14619.592
AT ITER 4297 NEW BEST:: SOT 103186 SOS 53568 HAS SOPS 53568 HAS SOUS 14553 HAS SOUPS 14553 WITH SCORE 14606.568
AT ITER 4327 NEW BEST:: SOT 103166 SOS 53548 HAS SOPS 53548 HAS SOUS 14553 HAS SOUPS 14553 WITH SCORE 14606.548
AT ITER 4342 NEW BEST:: SOT 103124 SOS 53506 HAS SOPS 53506 HAS SOUS 14471 HAS SOUPS 14471 WITH SCORE 14524.506
AT ITER 4357 NEW BEST:: SOT 103070 SOS 53398 HAS SOPS 53398 HAS SOUS 14399 HAS SOUPS 14399 WITH SCORE 14452.398
AT ITER 4364 NEW BEST:: SOT 103026 SOS 53398 HAS SOPS 53398 HAS SOUS 14371 HAS SOUPS 14371 WITH SCORE 14424.398
AT ITER 4373 NEW BEST:: SOT 103123 SOS 53495 HAS SOPS 53495 HAS SOUS 14323 HAS SOUPS 14323 WITH SCORE 14376.495
AT ITER 4374 NEW BEST:: SOT 103061 SOS 53433 HAS SOPS 53433 HAS SOUS 14313 HAS SOUPS 14313 WITH SCORE 14366.433
AT ITER 4376 NEW BEST:: SOT 103061 SOS 53433 HAS SOPS 53433 HAS SOUS 14310 HAS SOUPS 14310 WITH SCORE 14363.433
AT ITER 4406 NEW BEST:: SOT 103043 SOS 53415 HAS SOPS 53415 HAS SOUS 14292 HAS SOUPS 14292 WITH SCORE 14345.415
AT ITER 4451 NEW BEST:: SOT 103054 SOS 53421 HAS SOPS 53421 HAS SOUS 14287 HAS SOUPS 14287 WITH SCORE 14340.421
AT ITER 4452 NEW BEST:: SOT 103052 SOS 53420 HAS SOPS 53420 HAS SOUS 14282 HAS SOUPS 14282 WITH SCORE 14335.42
AT ITER 4472 NEW BEST:: SOT 103025 SOS 53366 HAS SOPS 53366 HAS SOUS 14255 HAS SOUPS 14255 WITH SCORE 14308.366
AT ITER 4479 NEW BEST:: SOT 102961 SOS 53262 HAS SOPS 53262 HAS SOUS 14207 HAS SOUPS 14207 WITH SCORE 14260.262
AT ITER 4482 NEW BEST:: SOT 102957 SOS 53258 HAS SOPS 53258 HAS SOUS 14203 HAS SOUPS 14203 WITH SCORE 14256.258
AT ITER 4489 NEW BEST:: SOT 102944 SOS 53259 HAS SOPS 53259 HAS SOUS 14168 HAS SOUPS 14168 WITH SCORE 14221.259
AT ITER 4494 NEW BEST:: SOT 102919 SOS 53225 HAS SOPS 53225 HAS SOUS 14144 HAS SOUPS 14144 WITH SCORE 14197.225
AT ITER 4504 NEW BEST:: SOT 102913 SOS 53201 HAS SOPS 53201 HAS SOUS 14133 HAS SOUPS 14133 WITH SCORE 14186.201
AT ITER 4544 NEW BEST:: SOT 102910 SOS 53189 HAS SOPS 53189 HAS SOUS 14127 HAS SOUPS 14127 WITH SCORE 14180.189
AT ITER 4552 NEW BEST:: SOT 102916 SOS 53194 HAS SOPS 53194 HAS SOUS 14119 HAS SOUPS 14119 WITH SCORE 14172.194
AT ITER 4554 NEW BEST:: SOT 102916 SOS 53194 HAS SOPS 53194 HAS SOUS 14103 HAS SOUPS 14103 WITH SCORE 14156.194
AT ITER 4578 NEW BEST:: SOT 102911 SOS 53163 HAS SOPS 53163 HAS SOUS 14070 HAS SOUPS 14070 WITH SCORE 14123.163
AT ITER 4589 NEW BEST:: SOT 102891 SOS 53163 HAS SOPS 53163 HAS SOUS 14060 HAS SOUPS 14060 WITH SCORE 14113.163
AT ITER 4628 NEW BEST:: SOT 102891 SOS 53163 HAS SOPS 53163 HAS SOUS 14037 HAS SOUPS 14037 WITH SCORE 14090.163
AT ITER 4634 NEW BEST:: SOT 102856 SOS 53102 HAS SOPS 53102 HAS SOUS 13999 HAS SOUPS 13999 WITH SCORE 14052.102
AT ITER 4636 NEW BEST:: SOT 102858 SOS 53098 HAS SOPS 53098 HAS SOUS 13999 HAS SOUPS 13999 WITH SCORE 14052.098
AT ITER 4653 NEW BEST:: SOT 102809 SOS 53020 HAS SOPS 53020 HAS SOUS 13946 HAS SOUPS 13946 WITH SCORE 13999.02
AT ITER 4674 NEW BEST:: SOT 102809 SOS 53020 HAS SOPS 53020 HAS SOUS 13942 HAS SOUPS 13942 WITH SCORE 13995.02
AT ITER 4684 NEW BEST:: SOT 102809 SOS 53020 HAS SOPS 53020 HAS SOUS 13936 HAS SOUPS 13936 WITH SCORE 13989.02
AT ITER 4706 NEW BEST:: SOT 102801 SOS 53010 HAS SOPS 53010 HAS SOUS 13914 HAS SOUPS 13914 WITH SCORE 13967.01
AT ITER 4730 NEW BEST:: SOT 102780 SOS 52926 HAS SOPS 52926 HAS SOUS 13851 HAS SOUPS 13851 WITH SCORE 13903.926
AT ITER 4742 NEW BEST:: SOT 102777 SOS 52914 HAS SOPS 52914 HAS SOUS 13846 HAS SOUPS 13846 WITH SCORE 13898.914
AT ITER 4762 NEW BEST:: SOT 102757 SOS 52904 HAS SOPS 52904 HAS SOUS 13826 HAS SOUPS 13826 WITH SCORE 13878.904
AT ITER 4788 NEW BEST:: SOT 102737 SOS 52889 HAS SOPS 52889 HAS SOUS 13806 HAS SOUPS 13806 WITH SCORE 13858.889
AT ITER 4814 NEW BEST:: SOT 102739 SOS 52892 HAS SOPS 52892 HAS SOUS 13802 HAS SOUPS 13802 WITH SCORE 13854.892
AT ITER 4848 NEW BEST:: SOT 102749 SOS 52877 HAS SOPS 52877 HAS SOUS 13788 HAS SOUPS 13788 WITH SCORE 13840.877
AT ITER 4858 NEW BEST:: SOT 102687 SOS 52801 HAS SOPS 52801 HAS SOUS 13765 HAS SOUPS 13765 WITH SCORE 13817.801
AT ITER 4879 NEW BEST:: SOT 102673 SOS 52787 HAS SOPS 52787 HAS SOUS 13737 HAS SOUPS 13737 WITH SCORE 13789.787
AT ITER 4919 NEW BEST:: SOT 102667 SOS 52815 HAS SOPS 52815 HAS SOUS 13723 HAS SOUPS 13723 WITH SCORE 13775.815
AT ITER 4936 NEW BEST:: SOT 102666 SOS 52787 HAS SOPS 52787 HAS SOUS 13709 HAS SOUPS 13709 WITH SCORE 13761.787
AT ITER 4960 NEW BEST:: SOT 102677 SOS 52773 HAS SOPS 52773 HAS SOUS 13691 HAS SOUPS 13691 WITH SCORE 13743.773
AT ITER 4962 NEW BEST:: SOT 102566 SOS 52662 HAS SOPS 52662 HAS SOUS 13647 HAS SOUPS 13647 WITH SCORE 13699.662
AT ITER 4980 NEW BEST:: SOT 102560 SOS 52631 HAS SOPS 52631 HAS SOUS 13625 HAS SOUPS 13625 WITH SCORE 13677.631
AT ITER 4982 NEW BEST:: SOT 102518 SOS 52589 HAS SOPS 52589 HAS SOUS 13583 HAS SOUPS 13583 WITH SCORE 13635.589
AT ITER 4991 NEW BEST:: SOT 102515 SOS 52586 HAS SOPS 52586 HAS SOUS 13577 HAS SOUPS 13577 WITH SCORE 13629.586
AT ITER 5024 NEW BEST:: SOT 102440 SOS 52459 HAS SOPS 52459 HAS SOUS 13566 HAS SOUPS 13566 WITH SCORE 13618.459
AT ITER 5025 NEW BEST:: SOT 102426 SOS 52445 HAS SOPS 52445 HAS SOUS 13560 HAS SOUPS 13560 WITH SCORE 13612.445
AT ITER 5047 NEW BEST:: SOT 102422 SOS 52413 HAS SOPS 52413 HAS SOUS 13541 HAS SOUPS 13541 WITH SCORE 13593.413
AT ITER 5053 NEW BEST:: SOT 102384 SOS 52375 HAS SOPS 52375 HAS SOUS 13514 HAS SOUPS 13514 WITH SCORE 13566.375
AT ITER 5088 NEW BEST:: SOT 102398 SOS 52389 HAS SOPS 52389 HAS SOUS 13512 HAS SOUPS 13512 WITH SCORE 13564.389
AT ITER 5094 NEW BEST:: SOT 102388 SOS 52329 HAS SOPS 52329 HAS SOUS 13497 HAS SOUPS 13497 WITH SCORE 13549.329
AT ITER 5109 NEW BEST:: SOT 102391 SOS 52314 HAS SOPS 52314 HAS SOUS 13479 HAS SOUPS 13479 WITH SCORE 13531.314
AT ITER 5112 NEW BEST:: SOT 102363 SOS 52286 HAS SOPS 52286 HAS SOUS 13475 HAS SOUPS 13475 WITH SCORE 13527.286
AT ITER 5146 NEW BEST:: SOT 102326 SOS 52212 HAS SOPS 52212 HAS SOUS 13475 HAS SOUPS 13475 WITH SCORE 13527.212
AT ITER 5193 NEW BEST:: SOT 102334 SOS 52214 HAS SOPS 52214 HAS SOUS 13473 HAS SOUPS 13473 WITH SCORE 13525.214
AT ITER 5205 NEW BEST:: SOT 102333 SOS 52213 HAS SOPS 52213 HAS SOUS 13470 HAS SOUPS 13470 WITH SCORE 13522.213
AT ITER 5251 NEW BEST:: SOT 102333 SOS 52210 HAS SOPS 52210 HAS SOUS 13470 HAS SOUPS 13470 WITH SCORE 13522.21
AT ITER 5257 NEW BEST:: SOT 102321 SOS 52198 HAS SOPS 52198 HAS SOUS 13434 HAS SOUPS 13434 WITH SCORE 13486.198
AT ITER 5271 NEW BEST:: SOT 102319 SOS 52196 HAS SOPS 52196 HAS SOUS 13432 HAS SOUPS 13432 WITH SCORE 13484.196
AT ITER 5278 NEW BEST:: SOT 102315 SOS 52192 HAS SOPS 52192 HAS SOUS 13428 HAS SOUPS 13428 WITH SCORE 13480.192
AT ITER 5293 NEW BEST:: SOT 102307 SOS 52200 HAS SOPS 52200 HAS SOUS 13420 HAS SOUPS 13420 WITH SCORE 13472.2
AT ITER 5298 NEW BEST:: SOT 102307 SOS 52268 HAS SOPS 52268 HAS SOUS 13386 HAS SOUPS 13386 WITH SCORE 13438.268
AT ITER 5314 NEW BEST:: SOT 102289 SOS 52076 HAS SOPS 52076 HAS SOUS 13367 HAS SOUPS 13367 WITH SCORE 13419.076
AT ITER 5317 NEW BEST:: SOT 102285 SOS 51953 HAS SOPS 51953 HAS SOUS 13344 HAS SOUPS 13344 WITH SCORE 13395.953
AT ITER 5327 NEW BEST:: SOT 102254 SOS 51898 HAS SOPS 51898 HAS SOUS 13338 HAS SOUPS 13338 WITH SCORE 13389.898
AT ITER 5359 NEW BEST:: SOT 102242 SOS 51886 HAS SOPS 51886 HAS SOUS 13322 HAS SOUPS 13322 WITH SCORE 13373.886
AT ITER 5384 NEW BEST:: SOT 102140 SOS 51789 HAS SOPS 51789 HAS SOUS 13322 HAS SOUPS 13322 WITH SCORE 13373.789
AT ITER 5394 NEW BEST:: SOT 102101 SOS 51686 HAS SOPS 51686 HAS SOUS 13280 HAS SOUPS 13280 WITH SCORE 13331.686
AT ITER 5412 NEW BEST:: SOT 102102 SOS 51686 HAS SOPS 51686 HAS SOUS 13267 HAS SOUPS 13267 WITH SCORE 13318.686
AT ITER 5420 NEW BEST:: SOT 102095 SOS 51693 HAS SOPS 51693 HAS SOUS 13260 HAS SOUPS 13260 WITH SCORE 13311.693
AT ITER 5427 NEW BEST:: SOT 102081 SOS 51538 HAS SOPS 51538 HAS SOUS 13221 HAS SOUPS 13221 WITH SCORE 13272.538
AT ITER 5432 NEW BEST:: SOT 102065 SOS 51511 HAS SOPS 51511 HAS SOUS 13199 HAS SOUPS 13199 WITH SCORE 13250.511
AT ITER 5444 NEW BEST:: SOT 102061 SOS 51507 HAS SOPS 51507 HAS SOUS 13176 HAS SOUPS 13176 WITH SCORE 13227.507
AT ITER 5453 NEW BEST:: SOT 102077 SOS 51415 HAS SOPS 51415 HAS SOUS 13167 HAS SOUPS 13167 WITH SCORE 13218.415
AT ITER 5471 NEW BEST:: SOT 102041 SOS 51379 HAS SOPS 51379 HAS SOUS 13167 HAS SOUPS 13167 WITH SCORE 13218.379
AT ITER 5476 NEW BEST:: SOT 102026 SOS 51349 HAS SOPS 51349 HAS SOUS 13152 HAS SOUPS 13152 WITH SCORE 13203.349
AT ITER 5494 NEW BEST:: SOT 102026 SOS 51352 HAS SOPS 51352 HAS SOUS 13151 HAS SOUPS 13151 WITH SCORE 13202.352
AT ITER 5495 NEW BEST:: SOT 102008 SOS 51334 HAS SOPS 51334 HAS SOUS 13132 HAS SOUPS 13132 WITH SCORE 13183.334
AT ITER 5496 NEW BEST:: SOT 101998 SOS 51322 HAS SOPS 51322 HAS SOUS 13130 HAS SOUPS 13130 WITH SCORE 13181.322
AT ITER 5508 NEW BEST:: SOT 101998 SOS 51310 HAS SOPS 51310 HAS SOUS 13126 HAS SOUPS 13126 WITH SCORE 13177.31
AT ITER 5519 NEW BEST:: SOT 101894 SOS 51142 HAS SOPS 51142 HAS SOUS 13019 HAS SOUPS 13019 WITH SCORE 13070.142
AT ITER 5528 NEW BEST:: SOT 101908 SOS 51119 HAS SOPS 51119 HAS SOUS 12999 HAS SOUPS 12999 WITH SCORE 13050.119
AT ITER 5533 NEW BEST:: SOT 101905 SOS 51156 HAS SOPS 51156 HAS SOUS 12997 HAS SOUPS 12997 WITH SCORE 13048.156
AT ITER 5563 NEW BEST:: SOT 101878 SOS 51120 HAS SOPS 51120 HAS SOUS 12969 HAS SOUPS 12969 WITH SCORE 13020.12
AT ITER 5585 NEW BEST:: SOT 101874 SOS 51116 HAS SOPS 51116 HAS SOUS 12963 HAS SOUPS 12963 WITH SCORE 13014.116
AT ITER 5592 NEW BEST:: SOT 101857 SOS 51081 HAS SOPS 51081 HAS SOUS 12951 HAS SOUPS 12951 WITH SCORE 13002.081
AT ITER 5602 NEW BEST:: SOT 101824 SOS 51035 HAS SOPS 51035 HAS SOUS 12912 HAS SOUPS 12912 WITH SCORE 12963.035
AT ITER 5626 NEW BEST:: SOT 101819 SOS 51037 HAS SOPS 51037 HAS SOUS 12901 HAS SOUPS 12901 WITH SCORE 12952.037
AT ITER 5632 NEW BEST:: SOT 101681 SOS 50839 HAS SOPS 50839 HAS SOUS 12823 HAS SOUPS 12823 WITH SCORE 12873.839
AT ITER 5633 NEW BEST:: SOT 101674 SOS 50817 HAS SOPS 50817 HAS SOUS 12816 HAS SOUPS 12816 WITH SCORE 12866.817
AT ITER 5637 NEW BEST:: SOT 101650 SOS 50823 HAS SOPS 50823 HAS SOUS 12811 HAS SOUPS 12811 WITH SCORE 12861.823
AT ITER 5648 NEW BEST:: SOT 101650 SOS 50823 HAS SOPS 50823 HAS SOUS 12807 HAS SOUPS 12807 WITH SCORE 12857.823
AT ITER 5659 NEW BEST:: SOT 101645 SOS 50813 HAS SOPS 50813 HAS SOUS 12797 HAS SOUPS 12797 WITH SCORE 12847.813
AT ITER 5725 NEW BEST:: SOT 101644 SOS 50806 HAS SOPS 50806 HAS SOUS 12795 HAS SOUPS 12795 WITH SCORE 12845.806
AT ITER 5728 NEW BEST:: SOT 101643 SOS 50882 HAS SOPS 50882 HAS SOUS 12771 HAS SOUPS 12771 WITH SCORE 12821.882
AT ITER 5739 NEW BEST:: SOT 101635 SOS 50874 HAS SOPS 50874 HAS SOUS 12767 HAS SOUPS 12767 WITH SCORE 12817.874
AT ITER 5745 NEW BEST:: SOT 101621 SOS 50860 HAS SOPS 50860 HAS SOUS 12753 HAS SOUPS 12753 WITH SCORE 12803.86
AT ITER 5767 NEW BEST:: SOT 101561 SOS 50739 HAS SOPS 50739 HAS SOUS 12718 HAS SOUPS 12718 WITH SCORE 12768.739
AT ITER 5776 NEW BEST:: SOT 101480 SOS 50676 HAS SOPS 50676 HAS SOUS 12690 HAS SOUPS 12690 WITH SCORE 12740.676
AT ITER 5783 NEW BEST:: SOT 101466 SOS 50662 HAS SOPS 50662 HAS SOUS 12682 HAS SOUPS 12682 WITH SCORE 12732.662
AT ITER 5789 NEW BEST:: SOT 101437 SOS 50518 HAS SOPS 50518 HAS SOUS 12653 HAS SOUPS 12653 WITH SCORE 12703.518
AT ITER 5803 NEW BEST:: SOT 101393 SOS 50440 HAS SOPS 50440 HAS SOUS 12638 HAS SOUPS 12638 WITH SCORE 12688.44
AT ITER 5835 NEW BEST:: SOT 101361 SOS 50376 HAS SOPS 50376 HAS SOUS 12607 HAS SOUPS 12607 WITH SCORE 12657.376
AT ITER 5840 NEW BEST:: SOT 101361 SOS 50341 HAS SOPS 50341 HAS SOUS 12572 HAS SOUPS 12572 WITH SCORE 12622.341
AT ITER 5849 NEW BEST:: SOT 101358 SOS 50317 HAS SOPS 50317 HAS SOUS 12572 HAS SOUPS 12572 WITH SCORE 12622.317
AT ITER 5850 NEW BEST:: SOT 101348 SOS 50299 HAS SOPS 50299 HAS SOUS 12568 HAS SOUPS 12568 WITH SCORE 12618.299
AT ITER 5851 NEW BEST:: SOT 101364 SOS 50315 HAS SOPS 50315 HAS SOUS 12552 HAS SOUPS 12552 WITH SCORE 12602.315
AT ITER 5889 NEW BEST:: SOT 101360 SOS 50311 HAS SOPS 50311 HAS SOUS 12548 HAS SOUPS 12548 WITH SCORE 12598.311
AT ITER 5929 NEW BEST:: SOT 101337 SOS 50268 HAS SOPS 50268 HAS SOUS 12542 HAS SOUPS 12542 WITH SCORE 12592.268
AT ITER 5932 NEW BEST:: SOT 101342 SOS 50244 HAS SOPS 50244 HAS SOUS 12538 HAS SOUPS 12538 WITH SCORE 12588.244
AT ITER 5948 NEW BEST:: SOT 101324 SOS 50208 HAS SOPS 50208 HAS SOUS 12519 HAS SOUPS 12519 WITH SCORE 12569.208
AT ITER 5950 NEW BEST:: SOT 101318 SOS 50208 HAS SOPS 50208 HAS SOUS 12515 HAS SOUPS 12515 WITH SCORE 12565.208
AT ITER 6008 NEW BEST:: SOT 101284 SOS 50150 HAS SOPS 50150 HAS SOUS 12499 HAS SOUPS 12499 WITH SCORE 12549.15
AT ITER 6012 NEW BEST:: SOT 101283 SOS 50148 HAS SOPS 50148 HAS SOUS 12497 HAS SOUPS 12497 WITH SCORE 12547.148
AT ITER 6031 NEW BEST:: SOT 101267 SOS 50132 HAS SOPS 50132 HAS SOUS 12492 HAS SOUPS 12492 WITH SCORE 12542.132
AT ITER 6078 NEW BEST:: SOT 101255 SOS 50120 HAS SOPS 50120 HAS SOUS 12484 HAS SOUPS 12484 WITH SCORE 12534.12
AT ITER 6136 NEW BEST:: SOT 101247 SOS 50104 HAS SOPS 50104 HAS SOUS 12476 HAS SOUPS 12476 WITH SCORE 12526.104
AT ITER 6147 NEW BEST:: SOT 101235 SOS 50092 HAS SOPS 50092 HAS SOUS 12468 HAS SOUPS 12468 WITH SCORE 12518.092
AT ITER 6148 NEW BEST:: SOT 101234 SOS 50094 HAS SOPS 50094 HAS SOUS 12467 HAS SOUPS 12467 WITH SCORE 12517.094
AT ITER 6172 NEW BEST:: SOT 101191 SOS 50028 HAS SOPS 50028 HAS SOUS 12437 HAS SOUPS 12437 WITH SCORE 12487.028
AT ITER 6187 NEW BEST:: SOT 101157 SOS 49959 HAS SOPS 49959 HAS SOUS 12413 HAS SOUPS 12413 WITH SCORE 12462.959
AT ITER 6188 NEW BEST:: SOT 101132 SOS 49934 HAS SOPS 49934 HAS SOUS 12395 HAS SOUPS 12395 WITH SCORE 12444.934
AT ITER 6202 NEW BEST:: SOT 101132 SOS 49913 HAS SOPS 49913 HAS SOUS 12383 HAS SOUPS 12383 WITH SCORE 12432.913
AT ITER 6217 NEW BEST:: SOT 101056 SOS 49787 HAS SOPS 49787 HAS SOUS 12308 HAS SOUPS 12308 WITH SCORE 12357.787
AT ITER 6283 NEW BEST:: SOT 101037 SOS 49768 HAS SOPS 49768 HAS SOUS 12304 HAS SOUPS 12304 WITH SCORE 12353.768
AT ITER 6318 NEW BEST:: SOT 101032 SOS 49798 HAS SOPS 49798 HAS SOUS 12281 HAS SOUPS 12281 WITH SCORE 12330.798
AT ITER 6327 NEW BEST:: SOT 101019 SOS 49819 HAS SOPS 49819 HAS SOUS 12255 HAS SOUPS 12255 WITH SCORE 12304.819
AT ITER 6329 NEW BEST:: SOT 100966 SOS 49766 HAS SOPS 49766 HAS SOUS 12142 HAS SOUPS 12142 WITH SCORE 12191.766
AT ITER 6338 NEW BEST:: SOT 100969 SOS 49699 HAS SOPS 49699 HAS SOUS 12139 HAS SOUPS 12139 WITH SCORE 12188.699
AT ITER 6350 NEW BEST:: SOT 100980 SOS 49691 HAS SOPS 49691 HAS SOUS 12130 HAS SOUPS 12130 WITH SCORE 12179.691
AT ITER 6358 NEW BEST:: SOT 100964 SOS 49675 HAS SOPS 49675 HAS SOUS 12114 HAS SOUPS 12114 WITH SCORE 12163.675
AT ITER 6410 NEW BEST:: SOT 100966 SOS 49675 HAS SOPS 49675 HAS SOUS 12112 HAS SOUPS 12112 WITH SCORE 12161.675
AT ITER 6433 NEW BEST:: SOT 100944 SOS 49667 HAS SOPS 49667 HAS SOUS 12096 HAS SOUPS 12096 WITH SCORE 12145.667
AT ITER 6441 NEW BEST:: SOT 101006 SOS 49746 HAS SOPS 49746 HAS SOUS 12046 HAS SOUPS 12046 WITH SCORE 12095.746
AT ITER 6444 NEW BEST:: SOT 101002 SOS 49740 HAS SOPS 49740 HAS SOUS 12040 HAS SOUPS 12040 WITH SCORE 12089.74
AT ITER 6492 NEW BEST:: SOT 101000 SOS 49684 HAS SOPS 49684 HAS SOUS 12018 HAS SOUPS 12018 WITH SCORE 12067.684
AT ITER 6509 NEW BEST:: SOT 100983 SOS 49650 HAS SOPS 49650 HAS SOUS 11984 HAS SOUPS 11984 WITH SCORE 12033.65
AT ITER 6511 NEW BEST:: SOT 100990 SOS 49646 HAS SOPS 49646 HAS SOUS 11973 HAS SOUPS 11973 WITH SCORE 12022.646
AT ITER 6531 NEW BEST:: SOT 100990 SOS 49638 HAS SOPS 49638 HAS SOUS 11973 HAS SOUPS 11973 WITH SCORE 12022.638
AT ITER 6538 NEW BEST:: SOT 100960 SOS 49604 HAS SOPS 49604 HAS SOUS 11955 HAS SOUPS 11955 WITH SCORE 12004.604
AT ITER 6562 NEW BEST:: SOT 100943 SOS 49544 HAS SOPS 49544 HAS SOUS 11906 HAS SOUPS 11906 WITH SCORE 11955.544
AT ITER 6626 NEW BEST:: SOT 100907 SOS 49544 HAS SOPS 49544 HAS SOUS 11870 HAS SOUPS 11870 WITH SCORE 11919.544
AT ITER 6640 NEW BEST:: SOT 100907 SOS 49554 HAS SOPS 49554 HAS SOUS 11850 HAS SOUPS 11850 WITH SCORE 11899.554
AT ITER 6652 NEW BEST:: SOT 100947 SOS 49622 HAS SOPS 49622 HAS SOUS 11849 HAS SOUPS 11849 WITH SCORE 11898.622
AT ITER 6675 NEW BEST:: SOT 100887 SOS 49546 HAS SOPS 49546 HAS SOUS 11781 HAS SOUPS 11781 WITH SCORE 11830.546
AT ITER 6703 NEW BEST:: SOT 100887 SOS 49546 HAS SOPS 49546 HAS SOUS 11780 HAS SOUPS 11780 WITH SCORE 11829.546
AT ITER 6727 NEW BEST:: SOT 100882 SOS 49551 HAS SOPS 49551 HAS SOUS 11775 HAS SOUPS 11775 WITH SCORE 11824.551
AT ITER 6758 NEW BEST:: SOT 100879 SOS 49539 HAS SOPS 49539 HAS SOUS 11766 HAS SOUPS 11766 WITH SCORE 11815.539
AT ITER 6776 NEW BEST:: SOT 100859 SOS 49514 HAS SOPS 49514 HAS SOUS 11736 HAS SOUPS 11736 WITH SCORE 11785.514
AT ITER 6819 NEW BEST:: SOT 100853 SOS 49444 HAS SOPS 49444 HAS SOUS 11730 HAS SOUPS 11730 WITH SCORE 11779.444
AT ITER 6838 NEW BEST:: SOT 100849 SOS 49436 HAS SOPS 49436 HAS SOUS 11726 HAS SOUPS 11726 WITH SCORE 11775.436
AT ITER 6845 NEW BEST:: SOT 100847 SOS 49437 HAS SOPS 49437 HAS SOUS 11724 HAS SOUPS 11724 WITH SCORE 11773.437
AT ITER 6848 NEW BEST:: SOT 100840 SOS 49413 HAS SOPS 49413 HAS SOUS 11713 HAS SOUPS 11713 WITH SCORE 11762.413
AT ITER 6856 NEW BEST:: SOT 100837 SOS 49428 HAS SOPS 49428 HAS SOUS 11707 HAS SOUPS 11707 WITH SCORE 11756.428
AT ITER 6858 NEW BEST:: SOT 100835 SOS 49432 HAS SOPS 49432 HAS SOUS 11705 HAS SOUPS 11705 WITH SCORE 11754.432
AT ITER 6872 NEW BEST:: SOT 100849 SOS 49446 HAS SOPS 49446 HAS SOUS 11700 HAS SOUPS 11700 WITH SCORE 11749.446
AT ITER 6873 NEW BEST:: SOT 100824 SOS 49594 HAS SOPS 49594 HAS SOUS 11675 HAS SOUPS 11675 WITH SCORE 11724.594
AT ITER 6906 NEW BEST:: SOT 100819 SOS 49570 HAS SOPS 49570 HAS SOUS 11658 HAS SOUPS 11658 WITH SCORE 11707.57
AT ITER 6942 NEW BEST:: SOT 100815 SOS 49555 HAS SOPS 49555 HAS SOUS 11651 HAS SOUPS 11651 WITH SCORE 11700.555
AT ITER 6991 NEW BEST:: SOT 100804 SOS 49578 HAS SOPS 49578 HAS SOUS 11640 HAS SOUPS 11640 WITH SCORE 11689.578
AT ITER 7049 NEW BEST:: SOT 100801 SOS 49567 HAS SOPS 49567 HAS SOUS 11640 HAS SOUPS 11640 WITH SCORE 11689.567
AT ITER 7065 NEW BEST:: SOT 100793 SOS 49609 HAS SOPS 49609 HAS SOUS 11632 HAS SOUPS 11632 WITH SCORE 11681.609
AT ITER 7127 NEW BEST:: SOT 100789 SOS 49601 HAS SOPS 49601 HAS SOUS 11626 HAS SOUPS 11626 WITH SCORE 11675.601
AT ITER 7148 NEW BEST:: SOT 100789 SOS 49595 HAS SOPS 49595 HAS SOUS 11623 HAS SOUPS 11623 WITH SCORE 11672.595
AT ITER 7181 NEW BEST:: SOT 100781 SOS 49579 HAS SOPS 49579 HAS SOUS 11615 HAS SOUPS 11615 WITH SCORE 11664.579
AT ITER 7307 NEW BEST:: SOT 100727 SOS 49515 HAS SOPS 49515 HAS SOUS 11588 HAS SOUPS 11588 WITH SCORE 11637.515
AT ITER 7312 NEW BEST:: SOT 100714 SOS 49502 HAS SOPS 49502 HAS SOUS 11555 HAS SOUPS 11555 WITH SCORE 11604.502
AT ITER 7349 NEW BEST:: SOT 100709 SOS 49497 HAS SOPS 49497 HAS SOUS 11553 HAS SOUPS 11553 WITH SCORE 11602.497
AT ITER 7358 NEW BEST:: SOT 100706 SOS 49494 HAS SOPS 49494 HAS SOUS 11550 HAS SOUPS 11550 WITH SCORE 11599.494
AT ITER 7423 NEW BEST:: SOT 100689 SOS 49468 HAS SOPS 49468 HAS SOUS 11544 HAS SOUPS 11544 WITH SCORE 11593.468
AT ITER 7451 NEW BEST:: SOT 100695 SOS 49474 HAS SOPS 49474 HAS SOUS 11513 HAS SOUPS 11513 WITH SCORE 11562.474
AT ITER 7501 NEW BEST:: SOT 100682 SOS 49458 HAS SOPS 49458 HAS SOUS 11500 HAS SOUPS 11500 WITH SCORE 11549.458
AT ITER 7528 NEW BEST:: SOT 100682 SOS 49458 HAS SOPS 49458 HAS SOUS 11497 HAS SOUPS 11497 WITH SCORE 11546.458
AT ITER 7536 NEW BEST:: SOT 100680 SOS 49454 HAS SOPS 49454 HAS SOUS 11493 HAS SOUPS 11493 WITH SCORE 11542.454
AT ITER 7545 NEW BEST:: SOT 100680 SOS 49454 HAS SOPS 49454 HAS SOUS 11484 HAS SOUPS 11484 WITH SCORE 11533.454
AT ITER 7547 NEW BEST:: SOT 100692 SOS 49459 HAS SOPS 49459 HAS SOUS 11483 HAS SOUPS 11483 WITH SCORE 11532.459
AT ITER 7560 NEW BEST:: SOT 100688 SOS 49455 HAS SOPS 49455 HAS SOUS 11481 HAS SOUPS 11481 WITH SCORE 11530.455
AT ITER 7596 NEW BEST:: SOT 100684 SOS 49447 HAS SOPS 49447 HAS SOUS 11474 HAS SOUPS 11474 WITH SCORE 11523.447
AT ITER 7619 NEW BEST:: SOT 100675 SOS 49438 HAS SOPS 49438 HAS SOUS 11466 HAS SOUPS 11466 WITH SCORE 11515.438
AT ITER 7685 NEW BEST:: SOT 100675 SOS 49438 HAS SOPS 49438 HAS SOUS 11465 HAS SOUPS 11465 WITH SCORE 11514.438
AT ITER 7821 NEW BEST:: SOT 100654 SOS 49434 HAS SOPS 49434 HAS SOUS 11463 HAS SOUPS 11463 WITH SCORE 11512.434
AT ITER 7858 NEW BEST:: SOT 100644 SOS 49438 HAS SOPS 49438 HAS SOUS 11453 HAS SOUPS 11453 WITH SCORE 11502.438
AT ITER 7867 NEW BEST:: SOT 100677 SOS 49463 HAS SOPS 49463 HAS SOUS 11434 HAS SOUPS 11434 WITH SCORE 11483.463
AT ITER 7876 NEW BEST:: SOT 100675 SOS 49461 HAS SOPS 49461 HAS SOUS 11432 HAS SOUPS 11432 WITH SCORE 11481.461
AT ITER 7889 NEW BEST:: SOT 100659 SOS 49439 HAS SOPS 49439 HAS SOUS 11422 HAS SOUPS 11422 WITH SCORE 11471.439
AT ITER 7893 NEW BEST:: SOT 100657 SOS 49438 HAS SOPS 49438 HAS SOUS 11420 HAS SOUPS 11420 WITH SCORE 11469.438
AT ITER 7938 NEW BEST:: SOT 100659 SOS 49440 HAS SOPS 49440 HAS SOUS 11416 HAS SOUPS 11416 WITH SCORE 11465.44
AT ITER 7988 NEW BEST:: SOT 100660 SOS 49428 HAS SOPS 49428 HAS SOUS 11407 HAS SOUPS 11407 WITH SCORE 11456.428
AT ITER 7998 NEW BEST:: SOT 100651 SOS 49419 HAS SOPS 49419 HAS SOUS 11407 HAS SOUPS 11407 WITH SCORE 11456.419
AT ITER 8027 NEW BEST:: SOT 100620 SOS 49646 HAS SOPS 49646 HAS SOUS 11396 HAS SOUPS 11396 WITH SCORE 11445.646
AT ITER 8035 NEW BEST:: SOT 100617 SOS 49645 HAS SOPS 49645 HAS SOUS 11395 HAS SOUPS 11395 WITH SCORE 11444.645
AT ITER 8043 NEW BEST:: SOT 100609 SOS 49637 HAS SOPS 49637 HAS SOUS 11376 HAS SOUPS 11376 WITH SCORE 11425.637
AT ITER 8078 NEW BEST:: SOT 100600 SOS 49599 HAS SOPS 49599 HAS SOUS 11361 HAS SOUPS 11361 WITH SCORE 11410.599
AT ITER 8123 NEW BEST:: SOT 100585 SOS 49584 HAS SOPS 49584 HAS SOUS 11355 HAS SOUPS 11355 WITH SCORE 11404.584
AT ITER 8126 NEW BEST:: SOT 100585 SOS 49572 HAS SOPS 49572 HAS SOUS 11355 HAS SOUPS 11355 WITH SCORE 11404.572
AT ITER 8135 NEW BEST:: SOT 100599 SOS 49582 HAS SOPS 49582 HAS SOUS 11344 HAS SOUPS 11344 WITH SCORE 11393.582
AT ITER 8204 NEW BEST:: SOT 100591 SOS 49568 HAS SOPS 49568 HAS SOUS 11334 HAS SOUPS 11334 WITH SCORE 11383.568
AT ITER 8212 NEW BEST:: SOT 100574 SOS 49551 HAS SOPS 49551 HAS SOUS 11327 HAS SOUPS 11327 WITH SCORE 11376.551
AT ITER 8260 NEW BEST:: SOT 100570 SOS 49569 HAS SOPS 49569 HAS SOUS 11323 HAS SOUPS 11323 WITH SCORE 11372.569
AT ITER 8377 NEW BEST:: SOT 100562 SOS 49561 HAS SOPS 49561 HAS SOUS 11309 HAS SOUPS 11309 WITH SCORE 11358.561
AT ITER 8389 NEW BEST:: SOT 100562 SOS 49506 HAS SOPS 49506 HAS SOUS 11276 HAS SOUPS 11276 WITH SCORE 11325.506
AT ITER 8417 NEW BEST:: SOT 100556 SOS 49506 HAS SOPS 49506 HAS SOUS 11270 HAS SOUPS 11270 WITH SCORE 11319.506
AT ITER 8448 NEW BEST:: SOT 100539 SOS 49491 HAS SOPS 49491 HAS SOUS 11253 HAS SOUPS 11253 WITH SCORE 11302.491
AT ITER 8468 NEW BEST:: SOT 100539 SOS 49493 HAS SOPS 49493 HAS SOUS 11251 HAS SOUPS 11251 WITH SCORE 11300.493
AT ITER 8469 NEW BEST:: SOT 100531 SOS 49485 HAS SOPS 49485 HAS SOUS 11236 HAS SOUPS 11236 WITH SCORE 11285.485
AT ITER 8544 NEW BEST:: SOT 100534 SOS 49500 HAS SOPS 49500 HAS SOUS 11223 HAS SOUPS 11223 WITH SCORE 11272.5
AT ITER 8558 NEW BEST:: SOT 100531 SOS 49493 HAS SOPS 49493 HAS SOUS 11222 HAS SOUPS 11222 WITH SCORE 11271.493
AT ITER 8584 NEW BEST:: SOT 100464 SOS 49370 HAS SOPS 49370 HAS SOUS 11186 HAS SOUPS 11186 WITH SCORE 11235.37
AT ITER 8585 NEW BEST:: SOT 100388 SOS 49274 HAS SOPS 49274 HAS SOUS 11174 HAS SOUPS 11174 WITH SCORE 11223.274
AT ITER 8592 NEW BEST:: SOT 100382 SOS 49264 HAS SOPS 49264 HAS SOUS 11168 HAS SOUPS 11168 WITH SCORE 11217.264
AT ITER 8622 NEW BEST:: SOT 100381 SOS 49262 HAS SOPS 49262 HAS SOUS 11166 HAS SOUPS 11166 WITH SCORE 11215.262
AT ITER 8678 NEW BEST:: SOT 100373 SOS 49226 HAS SOPS 49226 HAS SOUS 11158 HAS SOUPS 11158 WITH SCORE 11207.226
AT ITER 8730 NEW BEST:: SOT 100371 SOS 49218 HAS SOPS 49218 HAS SOUS 11154 HAS SOUPS 11154 WITH SCORE 11203.218
AT ITER 8754 NEW BEST:: SOT 100370 SOS 49183 HAS SOPS 49183 HAS SOUS 11112 HAS SOUPS 11112 WITH SCORE 11161.183
AT ITER 8781 NEW BEST:: SOT 100368 SOS 49184 HAS SOPS 49184 HAS SOUS 11108 HAS SOUPS 11108 WITH SCORE 11157.184
AT ITER 8842 NEW BEST:: SOT 100334 SOS 49040 HAS SOPS 49040 HAS SOUS 11096 HAS SOUPS 11096 WITH SCORE 11145.04
AT ITER 8919 NEW BEST:: SOT 100304 SOS 49004 HAS SOPS 49004 HAS SOUS 11090 HAS SOUPS 11090 WITH SCORE 11139.004
AT ITER 9001 NEW BEST:: SOT 100291 SOS 48981 HAS SOPS 48981 HAS SOUS 11088 HAS SOUPS 11088 WITH SCORE 11136.981
AT ITER 9008 NEW BEST:: SOT 100291 SOS 48980 HAS SOPS 48980 HAS SOUS 11087 HAS SOUPS 11087 WITH SCORE 11135.98
AT ITER 9020 NEW BEST:: SOT 100310 SOS 48999 HAS SOPS 48999 HAS SOUS 11084 HAS SOUPS 11084 WITH SCORE 11132.999
AT ITER 9030 NEW BEST:: SOT 100307 SOS 48993 HAS SOPS 48993 HAS SOUS 11084 HAS SOUPS 11084 WITH SCORE 11132.993
AT ITER 9104 NEW BEST:: SOT 100303 SOS 48989 HAS SOPS 48989 HAS SOUS 11080 HAS SOUPS 11080 WITH SCORE 11128.989
AT ITER 9132 NEW BEST:: SOT 100293 SOS 48971 HAS SOPS 48971 HAS SOUS 11078 HAS SOUPS 11078 WITH SCORE 11126.971
AT ITER 9157 NEW BEST:: SOT 100258 SOS 48955 HAS SOPS 48955 HAS SOUS 11046 HAS SOUPS 11046 WITH SCORE 11094.955
AT ITER 9183 NEW BEST:: SOT 100251 SOS 48907 HAS SOPS 48907 HAS SOUS 11015 HAS SOUPS 11015 WITH SCORE 11063.907
AT ITER 9197 NEW BEST:: SOT 100251 SOS 48907 HAS SOPS 48907 HAS SOUS 11011 HAS SOUPS 11011 WITH SCORE 11059.907
AT ITER 9324 NEW BEST:: SOT 100227 SOS 48908 HAS SOPS 48908 HAS SOUS 11009 HAS SOUPS 11009 WITH SCORE 11057.908
AT ITER 9353 NEW BEST:: SOT 100225 SOS 48908 HAS SOPS 48908 HAS SOUS 11007 HAS SOUPS 11007 WITH SCORE 11055.908
AT ITER 9437 NEW BEST:: SOT 100206 SOS 48877 HAS SOPS 48877 HAS SOUS 10981 HAS SOUPS 10981 WITH SCORE 11029.877
AT ITER 9510 NEW BEST:: SOT 100188 SOS 48857 HAS SOPS 48857 HAS SOUS 10968 HAS SOUPS 10968 WITH SCORE 11016.857
AT ITER 9531 NEW BEST:: SOT 100163 SOS 49057 HAS SOPS 49057 HAS SOUS 10950 HAS SOUPS 10950 WITH SCORE 10999.057
AT ITER 9559 NEW BEST:: SOT 100159 SOS 49041 HAS SOPS 49041 HAS SOUS 10946 HAS SOUPS 10946 WITH SCORE 10995.041
AT ITER 9580 NEW BEST:: SOT 100159 SOS 49041 HAS SOPS 49041 HAS SOUS 10942 HAS SOUPS 10942 WITH SCORE 10991.041
AT ITER 9585 NEW BEST:: SOT 100155 SOS 49037 HAS SOPS 49037 HAS SOUS 10938 HAS SOUPS 10938 WITH SCORE 10987.037
AT ITER 9761 NEW BEST:: SOT 100159 SOS 49029 HAS SOPS 49029 HAS SOUS 10938 HAS SOUPS 10938 WITH SCORE 10987.029
AT ITER 9816 NEW BEST:: SOT 100174 SOS 49044 HAS SOPS 49044 HAS SOUS 10933 HAS SOUPS 10933 WITH SCORE 10982.044
AT ITER 9926 NEW BEST:: SOT 100170 SOS 49036 HAS SOPS 49036 HAS SOUS 10933 HAS SOUPS 10933 WITH SCORE 10982.036
AT ITER 9948 NEW BEST:: SOT 100149 SOS 49000 HAS SOPS 49000 HAS SOUS 10930 HAS SOUPS 10930 WITH SCORE 10979.0
AT ITER 9961 NEW BEST:: SOT 100150 SOS 49026 HAS SOPS 49026 HAS SOUS 10908 HAS SOUPS 10908 WITH SCORE 10957.026
AT ITER 9968 NEW BEST:: SOT 100109 SOS 48985 HAS SOPS 48985 HAS SOUS 10888 HAS SOUPS 10888 WITH SCORE 10936.985
AT ITER 9969 NEW BEST:: SOT 100096 SOS 49028 HAS SOPS 49028 HAS SOUS 10884 HAS SOUPS 10884 WITH SCORE 10933.028
AT ITER 9995 NEW BEST:: SOT 100089 SOS 49020 HAS SOPS 49020 HAS SOUS 10877 HAS SOUPS 10877 WITH SCORE 10926.02
AT ITER 9996 NEW BEST:: SOT 100095 SOS 49042 HAS SOPS 49042 HAS SOUS 10864 HAS SOUPS 10864 WITH SCORE 10913.042

BK_STOP 1679317929011

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="UtilityControlRoom-PT-Z4T3N08"
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 UtilityControlRoom-PT-Z4T3N08, 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 r491-tall-167912711501176"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/UtilityControlRoom-PT-Z4T3N08.tgz
mv UtilityControlRoom-PT-Z4T3N08 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 ;