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

About the Execution of Smart+red for PolyORBNT-PT-S05J40

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16147.180 3600000.00 3644564.00 12404.30 [undef] Time out reached

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.2M
-rw-r--r-- 1 mcc users 34K Feb 25 23:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 186K Feb 25 23:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 56K Feb 25 23:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 251K Feb 25 23:24 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 34K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 18K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 77K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 43K Feb 25 23:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 217K Feb 25 23:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 168K Feb 25 23:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 755K Feb 25 23:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 8.8K Feb 25 16:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.3M Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679540742931

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=PolyORBNT-PT-S05J40
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 03:05:44] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 03:05:44] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 03:05:44] [INFO ] Load time of PNML (sax parser for PT used): 124 ms
[2023-03-23 03:05:44] [INFO ] Transformed 629 places.
[2023-03-23 03:05:44] [INFO ] Transformed 1590 transitions.
[2023-03-23 03:05:44] [INFO ] Parsed PT model containing 629 places and 1590 transitions and 10704 arcs in 195 ms.
[2023-03-23 03:05:44] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 629 places, 1590 transitions and 10704 arcs took 28 ms.
Total runtime 248 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (PT), instance S05J40
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: 629 places, 1590 transitions, 10704 arcs.
AT ITER 0 NEW BEST:: SOT 571463 SOS 412320 HAS SOPS 412290 HAS SOUS 173973 HAS SOUPS 173967 WITH SCORE 174379.32
AT ITER 2 NEW BEST:: SOT 571352 SOS 412283 HAS SOPS 412253 HAS SOUS 173917 HAS SOUPS 173911 WITH SCORE 174323.283
AT ITER 15 NEW BEST:: SOT 571117 SOS 412076 HAS SOPS 412046 HAS SOUS 173710 HAS SOUPS 173704 WITH SCORE 174116.076
AT ITER 26 NEW BEST:: SOT 571117 SOS 411924 HAS SOPS 411894 HAS SOUS 173580 HAS SOUPS 173574 WITH SCORE 173985.924
AT ITER 29 NEW BEST:: SOT 571095 SOS 411522 HAS SOPS 411492 HAS SOUS 173303 HAS SOUPS 173297 WITH SCORE 173708.522
AT ITER 31 NEW BEST:: SOT 571083 SOS 411145 HAS SOPS 411115 HAS SOUS 172941 HAS SOUPS 172935 WITH SCORE 173346.145
AT ITER 45 NEW BEST:: SOT 571158 SOS 411149 HAS SOPS 411119 HAS SOUS 172905 HAS SOUPS 172899 WITH SCORE 173310.149
AT ITER 51 NEW BEST:: SOT 571287 SOS 411207 HAS SOPS 411177 HAS SOUS 172766 HAS SOUPS 172760 WITH SCORE 173171.207
AT ITER 53 NEW BEST:: SOT 571226 SOS 411195 HAS SOPS 411165 HAS SOUS 172754 HAS SOUPS 172748 WITH SCORE 173159.195
AT ITER 57 NEW BEST:: SOT 571291 SOS 411195 HAS SOPS 411165 HAS SOUS 172656 HAS SOUPS 172650 WITH SCORE 173061.195
AT ITER 63 NEW BEST:: SOT 571274 SOS 410812 HAS SOPS 410782 HAS SOUS 172522 HAS SOUPS 172516 WITH SCORE 172926.812
AT ITER 65 NEW BEST:: SOT 571396 SOS 410862 HAS SOPS 410832 HAS SOUS 172450 HAS SOUPS 172444 WITH SCORE 172854.862
AT ITER 68 NEW BEST:: SOT 571446 SOS 410184 HAS SOPS 410154 HAS SOUS 172375 HAS SOUPS 172369 WITH SCORE 172779.184
AT ITER 72 NEW BEST:: SOT 571563 SOS 410259 HAS SOPS 410229 HAS SOUS 172309 HAS SOUPS 172303 WITH SCORE 172713.259
AT ITER 75 NEW BEST:: SOT 571756 SOS 410374 HAS SOPS 410344 HAS SOUS 172297 HAS SOUPS 172291 WITH SCORE 172701.374
AT ITER 77 NEW BEST:: SOT 571756 SOS 410374 HAS SOPS 410344 HAS SOUS 172239 HAS SOUPS 172233 WITH SCORE 172643.374
AT ITER 79 NEW BEST:: SOT 571729 SOS 410218 HAS SOPS 410188 HAS SOUS 172212 HAS SOUPS 172206 WITH SCORE 172616.218
AT ITER 82 NEW BEST:: SOT 571708 SOS 410049 HAS SOPS 410019 HAS SOUS 172107 HAS SOUPS 172101 WITH SCORE 172511.049
AT ITER 85 NEW BEST:: SOT 571708 SOS 410049 HAS SOPS 410019 HAS SOUS 172077 HAS SOUPS 172071 WITH SCORE 172481.049
AT ITER 92 NEW BEST:: SOT 571697 SOS 410037 HAS SOPS 410007 HAS SOUS 172055 HAS SOUPS 172049 WITH SCORE 172459.037
AT ITER 96 NEW BEST:: SOT 571548 SOS 409123 HAS SOPS 409093 HAS SOUS 171796 HAS SOUPS 171790 WITH SCORE 172199.123
AT ITER 105 NEW BEST:: SOT 571517 SOS 409043 HAS SOPS 409013 HAS SOUS 171766 HAS SOUPS 171760 WITH SCORE 172169.043
AT ITER 109 NEW BEST:: SOT 571435 SOS 408470 HAS SOPS 408440 HAS SOUS 171193 HAS SOUPS 171187 WITH SCORE 171595.47
AT ITER 115 NEW BEST:: SOT 571365 SOS 407844 HAS SOPS 407814 HAS SOUS 170983 HAS SOUPS 170977 WITH SCORE 171384.844
AT ITER 125 NEW BEST:: SOT 571750 SOS 408305 HAS SOPS 408275 HAS SOUS 170968 HAS SOUPS 170962 WITH SCORE 171370.305
AT ITER 126 NEW BEST:: SOT 571788 SOS 407464 HAS SOPS 407434 HAS SOUS 170841 HAS SOUPS 170835 WITH SCORE 171242.464
AT ITER 129 NEW BEST:: SOT 571788 SOS 407464 HAS SOPS 407434 HAS SOUS 170810 HAS SOUPS 170804 WITH SCORE 171211.464
AT ITER 130 NEW BEST:: SOT 571860 SOS 407505 HAS SOPS 407475 HAS SOUS 170707 HAS SOUPS 170701 WITH SCORE 171108.505
AT ITER 131 NEW BEST:: SOT 571842 SOS 407336 HAS SOPS 407306 HAS SOUS 170689 HAS SOUPS 170683 WITH SCORE 171090.336
AT ITER 136 NEW BEST:: SOT 571882 SOS 407336 HAS SOPS 407306 HAS SOUS 170627 HAS SOUPS 170621 WITH SCORE 171028.336
AT ITER 168 NEW BEST:: SOT 571812 SOS 407119 HAS SOPS 407089 HAS SOUS 170557 HAS SOUPS 170551 WITH SCORE 170958.119
AT ITER 170 NEW BEST:: SOT 571843 SOS 407119 HAS SOPS 407089 HAS SOUS 170498 HAS SOUPS 170492 WITH SCORE 170899.119
AT ITER 181 NEW BEST:: SOT 571843 SOS 407119 HAS SOPS 407089 HAS SOUS 170441 HAS SOUPS 170435 WITH SCORE 170842.119
AT ITER 188 NEW BEST:: SOT 571818 SOS 407094 HAS SOPS 407064 HAS SOUS 170405 HAS SOUPS 170399 WITH SCORE 170806.094
AT ITER 195 NEW BEST:: SOT 571818 SOS 407094 HAS SOPS 407064 HAS SOUS 170336 HAS SOUPS 170330 WITH SCORE 170737.094
AT ITER 197 NEW BEST:: SOT 571788 SOS 406914 HAS SOPS 406884 HAS SOUS 170306 HAS SOUPS 170300 WITH SCORE 170706.914
AT ITER 204 NEW BEST:: SOT 571864 SOS 406914 HAS SOPS 406884 HAS SOUS 170230 HAS SOUPS 170224 WITH SCORE 170630.914
AT ITER 214 NEW BEST:: SOT 571860 SOS 406910 HAS SOPS 406880 HAS SOUS 170225 HAS SOUPS 170219 WITH SCORE 170625.91
AT ITER 236 NEW BEST:: SOT 571746 SOS 406857 HAS SOPS 406827 HAS SOUS 170165 HAS SOUPS 170159 WITH SCORE 170565.857
AT ITER 238 NEW BEST:: SOT 571875 SOS 406941 HAS SOPS 406911 HAS SOUS 170057 HAS SOUPS 170051 WITH SCORE 170457.941
AT ITER 239 NEW BEST:: SOT 571836 SOS 406863 HAS SOPS 406833 HAS SOUS 169997 HAS SOUPS 169991 WITH SCORE 170397.863
AT ITER 240 NEW BEST:: SOT 571911 SOS 406910 HAS SOPS 406880 HAS SOUS 169942 HAS SOUPS 169936 WITH SCORE 170342.91
AT ITER 241 NEW BEST:: SOT 571911 SOS 406910 HAS SOPS 406880 HAS SOUS 169846 HAS SOUPS 169840 WITH SCORE 170246.91
AT ITER 245 NEW BEST:: SOT 571911 SOS 403004 HAS SOPS 402974 HAS SOUS 165927 HAS SOUPS 165921 WITH SCORE 166324.004
AT ITER 292 NEW BEST:: SOT 571903 SOS 402366 HAS SOPS 402336 HAS SOUS 165909 HAS SOUPS 165903 WITH SCORE 166305.366
AT ITER 293 NEW BEST:: SOT 571889 SOS 402338 HAS SOPS 402308 HAS SOUS 165873 HAS SOUPS 165867 WITH SCORE 166269.338
AT ITER 304 NEW BEST:: SOT 571831 SOS 402413 HAS SOPS 402383 HAS SOUS 165866 HAS SOUPS 165860 WITH SCORE 166262.413
AT ITER 307 NEW BEST:: SOT 571782 SOS 401911 HAS SOPS 401881 HAS SOUS 165667 HAS SOUPS 165661 WITH SCORE 166062.911
AT ITER 309 NEW BEST:: SOT 571688 SOS 401723 HAS SOPS 401693 HAS SOUS 165101 HAS SOUPS 165095 WITH SCORE 165496.723
AT ITER 312 NEW BEST:: SOT 571803 SOS 401724 HAS SOPS 401694 HAS SOUS 164985 HAS SOUPS 164979 WITH SCORE 165380.724
AT ITER 323 NEW BEST:: SOT 571803 SOS 401724 HAS SOPS 401694 HAS SOUS 164979 HAS SOUPS 164973 WITH SCORE 165374.724
AT ITER 331 NEW BEST:: SOT 571815 SOS 401212 HAS SOPS 401182 HAS SOUS 164724 HAS SOUPS 164718 WITH SCORE 165119.212
AT ITER 337 NEW BEST:: SOT 571868 SOS 401231 HAS SOPS 401201 HAS SOUS 164671 HAS SOUPS 164665 WITH SCORE 165066.231
AT ITER 338 NEW BEST:: SOT 571868 SOS 401335 HAS SOPS 401305 HAS SOUS 164567 HAS SOUPS 164561 WITH SCORE 164962.335
AT ITER 353 NEW BEST:: SOT 571755 SOS 401300 HAS SOPS 401270 HAS SOUS 164506 HAS SOUPS 164500 WITH SCORE 164901.3
AT ITER 356 NEW BEST:: SOT 571737 SOS 401282 HAS SOPS 401252 HAS SOUS 164488 HAS SOUPS 164482 WITH SCORE 164883.282
AT ITER 357 NEW BEST:: SOT 571737 SOS 401278 HAS SOPS 401248 HAS SOUS 164488 HAS SOUPS 164482 WITH SCORE 164883.278
AT ITER 363 NEW BEST:: SOT 571737 SOS 401078 HAS SOPS 401048 HAS SOUS 164238 HAS SOUPS 164232 WITH SCORE 164633.078
AT ITER 365 NEW BEST:: SOT 571665 SOS 401014 HAS SOPS 400984 HAS SOUS 164204 HAS SOUPS 164198 WITH SCORE 164599.014
AT ITER 372 NEW BEST:: SOT 571699 SOS 400743 HAS SOPS 400713 HAS SOUS 164134 HAS SOUPS 164128 WITH SCORE 164528.743
AT ITER 386 NEW BEST:: SOT 571681 SOS 400583 HAS SOPS 400553 HAS SOUS 163867 HAS SOUPS 163861 WITH SCORE 164261.583
AT ITER 390 NEW BEST:: SOT 571792 SOS 400346 HAS SOPS 400316 HAS SOUS 163857 HAS SOUPS 163851 WITH SCORE 164251.346
AT ITER 400 NEW BEST:: SOT 571780 SOS 399939 HAS SOPS 399909 HAS SOUS 163614 HAS SOUPS 163608 WITH SCORE 164007.939
AT ITER 412 NEW BEST:: SOT 571733 SOS 399845 HAS SOPS 399815 HAS SOUS 163567 HAS SOUPS 163561 WITH SCORE 163960.845
AT ITER 415 NEW BEST:: SOT 571568 SOS 399749 HAS SOPS 399719 HAS SOUS 163565 HAS SOUPS 163559 WITH SCORE 163958.749
AT ITER 419 NEW BEST:: SOT 571502 SOS 399602 HAS SOPS 399572 HAS SOUS 163485 HAS SOUPS 163479 WITH SCORE 163878.602
AT ITER 420 NEW BEST:: SOT 571553 SOS 399615 HAS SOPS 399585 HAS SOUS 163484 HAS SOUPS 163478 WITH SCORE 163877.615
AT ITER 433 NEW BEST:: SOT 571480 SOS 399283 HAS SOPS 399253 HAS SOUS 163460 HAS SOUPS 163454 WITH SCORE 163853.283
AT ITER 453 NEW BEST:: SOT 571480 SOS 399283 HAS SOPS 399253 HAS SOUS 163402 HAS SOUPS 163396 WITH SCORE 163795.283
AT ITER 473 NEW BEST:: SOT 571448 SOS 398781 HAS SOPS 398751 HAS SOUS 163080 HAS SOUPS 163074 WITH SCORE 163472.781
AT ITER 495 NEW BEST:: SOT 571429 SOS 398743 HAS SOPS 398713 HAS SOUS 162947 HAS SOUPS 162941 WITH SCORE 163339.743
AT ITER 497 NEW BEST:: SOT 571429 SOS 398743 HAS SOPS 398713 HAS SOUS 162946 HAS SOUPS 162940 WITH SCORE 163338.743
AT ITER 502 NEW BEST:: SOT 571287 SOS 398659 HAS SOPS 398629 HAS SOUS 162862 HAS SOUPS 162856 WITH SCORE 163254.659
AT ITER 503 NEW BEST:: SOT 571271 SOS 398611 HAS SOPS 398581 HAS SOUS 162785 HAS SOUPS 162779 WITH SCORE 163177.611
AT ITER 516 NEW BEST:: SOT 571273 SOS 398543 HAS SOPS 398513 HAS SOUS 162748 HAS SOUPS 162742 WITH SCORE 163140.543
AT ITER 531 NEW BEST:: SOT 571273 SOS 398471 HAS SOPS 398441 HAS SOUS 162658 HAS SOUPS 162652 WITH SCORE 163050.471
AT ITER 540 NEW BEST:: SOT 571362 SOS 398520 HAS SOPS 398490 HAS SOUS 162628 HAS SOUPS 162622 WITH SCORE 163020.52
AT ITER 543 NEW BEST:: SOT 571324 SOS 398482 HAS SOPS 398452 HAS SOUS 162590 HAS SOUPS 162584 WITH SCORE 162982.482
AT ITER 552 NEW BEST:: SOT 571403 SOS 398517 HAS SOPS 398487 HAS SOUS 162582 HAS SOUPS 162576 WITH SCORE 162974.517
AT ITER 561 NEW BEST:: SOT 571398 SOS 398507 HAS SOPS 398477 HAS SOUS 162577 HAS SOUPS 162571 WITH SCORE 162969.507
AT ITER 562 NEW BEST:: SOT 571386 SOS 398483 HAS SOPS 398453 HAS SOUS 162565 HAS SOUPS 162559 WITH SCORE 162957.483
AT ITER 566 NEW BEST:: SOT 571386 SOS 397488 HAS SOPS 397458 HAS SOUS 162372 HAS SOUPS 162366 WITH SCORE 162763.488
AT ITER 576 NEW BEST:: SOT 571355 SOS 397550 HAS SOPS 397520 HAS SOUS 162310 HAS SOUPS 162304 WITH SCORE 162701.55
AT ITER 586 NEW BEST:: SOT 571340 SOS 397492 HAS SOPS 397462 HAS SOUS 162295 HAS SOUPS 162289 WITH SCORE 162686.492
AT ITER 595 NEW BEST:: SOT 571303 SOS 397354 HAS SOPS 397324 HAS SOUS 162242 HAS SOUPS 162236 WITH SCORE 162633.354
AT ITER 608 NEW BEST:: SOT 571293 SOS 397334 HAS SOPS 397304 HAS SOUS 162205 HAS SOUPS 162199 WITH SCORE 162596.334
AT ITER 609 NEW BEST:: SOT 571293 SOS 397252 HAS SOPS 397222 HAS SOUS 162203 HAS SOUPS 162197 WITH SCORE 162594.252
AT ITER 610 NEW BEST:: SOT 571136 SOS 396938 HAS SOPS 396908 HAS SOUS 161799 HAS SOUPS 161793 WITH SCORE 162189.938
AT ITER 614 NEW BEST:: SOT 571136 SOS 396938 HAS SOPS 396908 HAS SOUS 161784 HAS SOUPS 161778 WITH SCORE 162174.938
AT ITER 615 NEW BEST:: SOT 571254 SOS 396985 HAS SOPS 396955 HAS SOUS 161770 HAS SOUPS 161764 WITH SCORE 162160.985
AT ITER 641 NEW BEST:: SOT 571274 SOS 397095 HAS SOPS 397065 HAS SOUS 161762 HAS SOUPS 161756 WITH SCORE 162153.095
AT ITER 652 NEW BEST:: SOT 571286 SOS 397241 HAS SOPS 397211 HAS SOUS 161723 HAS SOUPS 161717 WITH SCORE 162114.241
AT ITER 654 NEW BEST:: SOT 571286 SOS 397227 HAS SOPS 397197 HAS SOUS 161723 HAS SOUPS 161717 WITH SCORE 162114.227
AT ITER 659 NEW BEST:: SOT 571210 SOS 397344 HAS SOPS 397314 HAS SOUS 161698 HAS SOUPS 161692 WITH SCORE 162089.344
AT ITER 668 NEW BEST:: SOT 571167 SOS 397258 HAS SOPS 397228 HAS SOUS 161440 HAS SOUPS 161434 WITH SCORE 161831.258
AT ITER 682 NEW BEST:: SOT 571156 SOS 397247 HAS SOPS 397217 HAS SOUS 161429 HAS SOUPS 161423 WITH SCORE 161820.247
AT ITER 705 NEW BEST:: SOT 571156 SOS 397281 HAS SOPS 397251 HAS SOUS 161412 HAS SOUPS 161406 WITH SCORE 161803.281
AT ITER 714 NEW BEST:: SOT 571156 SOS 397281 HAS SOPS 397251 HAS SOUS 161367 HAS SOUPS 161361 WITH SCORE 161758.281
AT ITER 726 NEW BEST:: SOT 571112 SOS 396668 HAS SOPS 396638 HAS SOUS 160811 HAS SOUPS 160805 WITH SCORE 161201.668
AT ITER 727 NEW BEST:: SOT 571081 SOS 396565 HAS SOPS 396535 HAS SOUS 160747 HAS SOUPS 160741 WITH SCORE 161137.565
AT ITER 747 NEW BEST:: SOT 571081 SOS 396565 HAS SOPS 396535 HAS SOUS 160741 HAS SOUPS 160735 WITH SCORE 161131.565
AT ITER 757 NEW BEST:: SOT 571051 SOS 396560 HAS SOPS 396530 HAS SOUS 160719 HAS SOUPS 160713 WITH SCORE 161109.56
AT ITER 783 NEW BEST:: SOT 570893 SOS 396724 HAS SOPS 396694 HAS SOUS 160635 HAS SOUPS 160629 WITH SCORE 161025.724
AT ITER 802 NEW BEST:: SOT 570829 SOS 395944 HAS SOPS 395914 HAS SOUS 159769 HAS SOUPS 159763 WITH SCORE 160158.944
AT ITER 803 NEW BEST:: SOT 570829 SOS 395944 HAS SOPS 395914 HAS SOUS 159763 HAS SOUPS 159757 WITH SCORE 160152.944
AT ITER 807 NEW BEST:: SOT 570829 SOS 395944 HAS SOPS 395914 HAS SOUS 159736 HAS SOUPS 159730 WITH SCORE 160125.944
AT ITER 812 NEW BEST:: SOT 570730 SOS 395746 HAS SOPS 395716 HAS SOUS 159677 HAS SOUPS 159671 WITH SCORE 160066.746
AT ITER 816 NEW BEST:: SOT 570692 SOS 395536 HAS SOPS 395506 HAS SOUS 159649 HAS SOUPS 159643 WITH SCORE 160038.536
AT ITER 825 NEW BEST:: SOT 570692 SOS 395536 HAS SOPS 395506 HAS SOUS 159608 HAS SOUPS 159602 WITH SCORE 159997.536
AT ITER 835 NEW BEST:: SOT 570618 SOS 394916 HAS SOPS 394886 HAS SOUS 159506 HAS SOUPS 159500 WITH SCORE 159894.916
AT ITER 837 NEW BEST:: SOT 570955 SOS 395372 HAS SOPS 395342 HAS SOUS 159401 HAS SOUPS 159395 WITH SCORE 159790.372
AT ITER 842 NEW BEST:: SOT 570949 SOS 395366 HAS SOPS 395336 HAS SOUS 159395 HAS SOUPS 159389 WITH SCORE 159784.366
AT ITER 848 NEW BEST:: SOT 571040 SOS 395587 HAS SOPS 395557 HAS SOUS 158761 HAS SOUPS 158755 WITH SCORE 159150.587
AT ITER 851 NEW BEST:: SOT 570858 SOS 398549 HAS SOPS 398519 HAS SOUS 158677 HAS SOUPS 158671 WITH SCORE 159069.549
AT ITER 863 NEW BEST:: SOT 570587 SOS 398278 HAS SOPS 398248 HAS SOUS 158379 HAS SOUPS 158373 WITH SCORE 158771.278
AT ITER 876 NEW BEST:: SOT 570604 SOS 398050 HAS SOPS 398020 HAS SOUS 158220 HAS SOUPS 158214 WITH SCORE 158612.05
AT ITER 892 NEW BEST:: SOT 570604 SOS 398050 HAS SOPS 398020 HAS SOUS 158189 HAS SOUPS 158183 WITH SCORE 158581.05
AT ITER 896 NEW BEST:: SOT 570601 SOS 398030 HAS SOPS 398000 HAS SOUS 158167 HAS SOUPS 158161 WITH SCORE 158559.03
AT ITER 902 NEW BEST:: SOT 570553 SOS 397184 HAS SOPS 397154 HAS SOUS 157610 HAS SOUPS 157604 WITH SCORE 158001.184
AT ITER 907 NEW BEST:: SOT 570552 SOS 397182 HAS SOPS 397152 HAS SOUS 157609 HAS SOUPS 157603 WITH SCORE 158000.182
AT ITER 920 NEW BEST:: SOT 570504 SOS 397086 HAS SOPS 397056 HAS SOUS 157561 HAS SOUPS 157555 WITH SCORE 157952.086
AT ITER 926 NEW BEST:: SOT 570715 SOS 396345 HAS SOPS 396283 HAS SOUS 154591 HAS SOUPS 154573 WITH SCORE 154969.345
AT ITER 939 NEW BEST:: SOT 570751 SOS 396345 HAS SOPS 396283 HAS SOUS 154555 HAS SOUPS 154537 WITH SCORE 154933.345
AT ITER 968 NEW BEST:: SOT 570667 SOS 396171 HAS SOPS 396109 HAS SOUS 154165 HAS SOUPS 154147 WITH SCORE 154543.171
AT ITER 969 NEW BEST:: SOT 570758 SOS 396207 HAS SOPS 396145 HAS SOUS 154063 HAS SOUPS 154045 WITH SCORE 154441.207
AT ITER 977 NEW BEST:: SOT 570758 SOS 396207 HAS SOPS 396145 HAS SOUS 154026 HAS SOUPS 154008 WITH SCORE 154404.207
AT ITER 979 NEW BEST:: SOT 570755 SOS 396204 HAS SOPS 396142 HAS SOUS 154023 HAS SOUPS 154005 WITH SCORE 154401.204
AT ITER 980 NEW BEST:: SOT 570858 SOS 396345 HAS SOPS 396278 HAS SOUS 148229 HAS SOUPS 148211 WITH SCORE 148607.345
AT ITER 985 NEW BEST:: SOT 570986 SOS 396473 HAS SOPS 396406 HAS SOUS 148148 HAS SOUPS 148130 WITH SCORE 148526.473
AT ITER 995 NEW BEST:: SOT 570962 SOS 396319 HAS SOPS 396252 HAS SOUS 148098 HAS SOUPS 148080 WITH SCORE 148476.319
AT ITER 996 NEW BEST:: SOT 570933 SOS 395948 HAS SOPS 395881 HAS SOUS 147830 HAS SOUPS 147812 WITH SCORE 148207.948
AT ITER 998 NEW BEST:: SOT 570902 SOS 395886 HAS SOPS 395819 HAS SOUS 147768 HAS SOUPS 147750 WITH SCORE 148145.886
AT ITER 999 NEW BEST:: SOT 570902 SOS 395886 HAS SOPS 395819 HAS SOUS 147763 HAS SOUPS 147745 WITH SCORE 148140.886
AT ITER 1002 NEW BEST:: SOT 576431 SOS 401947 HAS SOPS 401876 HAS SOUS 140303 HAS SOUPS 140285 WITH SCORE 140686.947
AT ITER 1012 NEW BEST:: SOT 576431 SOS 401947 HAS SOPS 401876 HAS SOUS 140293 HAS SOUPS 140275 WITH SCORE 140676.947
AT ITER 1017 NEW BEST:: SOT 576431 SOS 401943 HAS SOPS 401872 HAS SOUS 140289 HAS SOUPS 140271 WITH SCORE 140672.943
AT ITER 1037 NEW BEST:: SOT 576383 SOS 402054 HAS SOPS 401983 HAS SOUS 140227 HAS SOUPS 140209 WITH SCORE 140611.054
AT ITER 1048 NEW BEST:: SOT 576386 SOS 402056 HAS SOPS 401985 HAS SOUS 140226 HAS SOUPS 140208 WITH SCORE 140610.056
AT ITER 1058 NEW BEST:: SOT 576373 SOS 402049 HAS SOPS 401978 HAS SOUS 140219 HAS SOUPS 140201 WITH SCORE 140603.049
AT ITER 1063 NEW BEST:: SOT 576502 SOS 402194 HAS SOPS 402123 HAS SOUS 140203 HAS SOUPS 140185 WITH SCORE 140587.194
AT ITER 1076 NEW BEST:: SOT 576443 SOS 402004 HAS SOPS 401933 HAS SOUS 140144 HAS SOUPS 140126 WITH SCORE 140528.004
AT ITER 1078 NEW BEST:: SOT 576441 SOS 401884 HAS SOPS 401813 HAS SOUS 140142 HAS SOUPS 140124 WITH SCORE 140525.884
AT ITER 1083 NEW BEST:: SOT 576377 SOS 401752 HAS SOPS 401681 HAS SOUS 139746 HAS SOUPS 139728 WITH SCORE 140129.752
AT ITER 1095 NEW BEST:: SOT 574443 SOS 400035 HAS SOPS 399964 HAS SOUS 137817 HAS SOUPS 137799 WITH SCORE 138199.035
AT ITER 1099 NEW BEST:: SOT 574399 SOS 399947 HAS SOPS 399876 HAS SOUS 137773 HAS SOUPS 137755 WITH SCORE 138154.947
AT ITER 1101 NEW BEST:: SOT 574452 SOS 400000 HAS SOPS 399929 HAS SOUS 137661 HAS SOUPS 137643 WITH SCORE 138043.0
AT ITER 1108 NEW BEST:: SOT 574448 SOS 399996 HAS SOPS 399925 HAS SOUS 137649 HAS SOUPS 137631 WITH SCORE 138030.996
AT ITER 1121 NEW BEST:: SOT 574704 SOS 400093 HAS SOPS 400022 HAS SOUS 137591 HAS SOUPS 137573 WITH SCORE 137973.093
AT ITER 1125 NEW BEST:: SOT 574704 SOS 400088 HAS SOPS 400017 HAS SOUS 137586 HAS SOUPS 137568 WITH SCORE 137968.088
AT ITER 1131 NEW BEST:: SOT 574770 SOS 400122 HAS SOPS 400051 HAS SOUS 137551 HAS SOUPS 137533 WITH SCORE 137933.122
AT ITER 1134 NEW BEST:: SOT 574518 SOS 400091 HAS SOPS 400020 HAS SOUS 137534 HAS SOUPS 137516 WITH SCORE 137916.091
AT ITER 1136 NEW BEST:: SOT 574502 SOS 400093 HAS SOPS 400022 HAS SOUS 137518 HAS SOUPS 137500 WITH SCORE 137900.093
AT ITER 1160 NEW BEST:: SOT 574422 SOS 400086 HAS SOPS 400015 HAS SOUS 137507 HAS SOUPS 137489 WITH SCORE 137889.086
AT ITER 1162 NEW BEST:: SOT 574319 SOS 399831 HAS SOPS 399760 HAS SOUS 137393 HAS SOUPS 137375 WITH SCORE 137774.831
AT ITER 1183 NEW BEST:: SOT 574451 SOS 400636 HAS SOPS 400565 HAS SOUS 137280 HAS SOUPS 137262 WITH SCORE 137662.636
AT ITER 1186 NEW BEST:: SOT 574463 SOS 400648 HAS SOPS 400577 HAS SOUS 137276 HAS SOUPS 137258 WITH SCORE 137658.648
AT ITER 1192 NEW BEST:: SOT 574576 SOS 400314 HAS SOPS 400243 HAS SOUS 137181 HAS SOUPS 137163 WITH SCORE 137563.314
AT ITER 1205 NEW BEST:: SOT 573154 SOS 400483 HAS SOPS 400412 HAS SOUS 137164 HAS SOUPS 137146 WITH SCORE 137546.483
AT ITER 1211 NEW BEST:: SOT 573385 SOS 400149 HAS SOPS 400078 HAS SOUS 137124 HAS SOUPS 137106 WITH SCORE 137506.149
AT ITER 1212 NEW BEST:: SOT 573369 SOS 400133 HAS SOPS 400062 HAS SOUS 137108 HAS SOUPS 137090 WITH SCORE 137490.133
AT ITER 1216 NEW BEST:: SOT 573296 SOS 399987 HAS SOPS 399916 HAS SOUS 137094 HAS SOUPS 137076 WITH SCORE 137475.987
AT ITER 1227 NEW BEST:: SOT 573264 SOS 399955 HAS SOPS 399884 HAS SOUS 137062 HAS SOUPS 137044 WITH SCORE 137443.955
AT ITER 1243 NEW BEST:: SOT 573199 SOS 399890 HAS SOPS 399819 HAS SOUS 137021 HAS SOUPS 137003 WITH SCORE 137402.89
AT ITER 1253 NEW BEST:: SOT 573199 SOS 399877 HAS SOPS 399806 HAS SOUS 137008 HAS SOUPS 136990 WITH SCORE 137389.877
AT ITER 1258 NEW BEST:: SOT 573199 SOS 399877 HAS SOPS 399806 HAS SOUS 136982 HAS SOUPS 136964 WITH SCORE 137363.877
AT ITER 1263 NEW BEST:: SOT 573199 SOS 399877 HAS SOPS 399806 HAS SOUS 136974 HAS SOUPS 136956 WITH SCORE 137355.877
AT ITER 1269 NEW BEST:: SOT 573191 SOS 399869 HAS SOPS 399798 HAS SOUS 136966 HAS SOUPS 136948 WITH SCORE 137347.869
AT ITER 1279 NEW BEST:: SOT 573084 SOS 399866 HAS SOPS 399795 HAS SOUS 136963 HAS SOUPS 136945 WITH SCORE 137344.866
AT ITER 1283 NEW BEST:: SOT 573084 SOS 399866 HAS SOPS 399795 HAS SOUS 136955 HAS SOUPS 136937 WITH SCORE 137336.866
AT ITER 1288 NEW BEST:: SOT 573084 SOS 399866 HAS SOPS 399795 HAS SOUS 136953 HAS SOUPS 136935 WITH SCORE 137334.866
AT ITER 1327 NEW BEST:: SOT 573084 SOS 399865 HAS SOPS 399794 HAS SOUS 136953 HAS SOUPS 136935 WITH SCORE 137334.865
AT ITER 1329 NEW BEST:: SOT 573033 SOS 399814 HAS SOPS 399743 HAS SOUS 136894 HAS SOUPS 136876 WITH SCORE 137275.814
AT ITER 1342 NEW BEST:: SOT 573033 SOS 399814 HAS SOPS 399743 HAS SOUS 136877 HAS SOUPS 136859 WITH SCORE 137258.814
AT ITER 1349 NEW BEST:: SOT 573036 SOS 399817 HAS SOPS 399746 HAS SOUS 136874 HAS SOUPS 136856 WITH SCORE 137255.817
AT ITER 1354 NEW BEST:: SOT 572983 SOS 399711 HAS SOPS 399640 HAS SOUS 136556 HAS SOUPS 136538 WITH SCORE 136937.711
AT ITER 1358 NEW BEST:: SOT 572971 SOS 399699 HAS SOPS 399628 HAS SOUS 136461 HAS SOUPS 136443 WITH SCORE 136842.699
AT ITER 1366 NEW BEST:: SOT 572971 SOS 399699 HAS SOPS 399628 HAS SOUS 136451 HAS SOUPS 136433 WITH SCORE 136832.699
AT ITER 1369 NEW BEST:: SOT 572971 SOS 399699 HAS SOPS 399628 HAS SOUS 136442 HAS SOUPS 136424 WITH SCORE 136823.699
AT ITER 1370 NEW BEST:: SOT 572945 SOS 399673 HAS SOPS 399602 HAS SOUS 136286 HAS SOUPS 136268 WITH SCORE 136667.673
AT ITER 1372 NEW BEST:: SOT 572945 SOS 399686 HAS SOPS 399615 HAS SOUS 136278 HAS SOUPS 136260 WITH SCORE 136659.686
AT ITER 1375 NEW BEST:: SOT 572945 SOS 399686 HAS SOPS 399615 HAS SOUS 136260 HAS SOUPS 136242 WITH SCORE 136641.686
AT ITER 1376 NEW BEST:: SOT 572993 SOS 399332 HAS SOPS 399261 HAS SOUS 136013 HAS SOUPS 135995 WITH SCORE 136394.332
AT ITER 1382 NEW BEST:: SOT 573166 SOS 399488 HAS SOPS 399417 HAS SOUS 135967 HAS SOUPS 135949 WITH SCORE 136348.488
AT ITER 1386 NEW BEST:: SOT 573229 SOS 398538 HAS SOPS 398467 HAS SOUS 135308 HAS SOUPS 135290 WITH SCORE 135688.538
AT ITER 1398 NEW BEST:: SOT 573229 SOS 398529 HAS SOPS 398458 HAS SOUS 135266 HAS SOUPS 135248 WITH SCORE 135646.529
AT ITER 1408 NEW BEST:: SOT 573220 SOS 398520 HAS SOPS 398449 HAS SOUS 135257 HAS SOUPS 135239 WITH SCORE 135637.52
AT ITER 1415 NEW BEST:: SOT 573117 SOS 398469 HAS SOPS 398398 HAS SOUS 135206 HAS SOUPS 135188 WITH SCORE 135586.469
AT ITER 1427 NEW BEST:: SOT 573058 SOS 398479 HAS SOPS 398408 HAS SOUS 135154 HAS SOUPS 135136 WITH SCORE 135534.479
AT ITER 1433 NEW BEST:: SOT 573012 SOS 398479 HAS SOPS 398408 HAS SOUS 135108 HAS SOUPS 135090 WITH SCORE 135488.479
AT ITER 1434 NEW BEST:: SOT 573039 SOS 398457 HAS SOPS 398386 HAS SOUS 135034 HAS SOUPS 135016 WITH SCORE 135414.457
AT ITER 1439 NEW BEST:: SOT 573039 SOS 398457 HAS SOPS 398386 HAS SOUS 135003 HAS SOUPS 134985 WITH SCORE 135383.457
AT ITER 1460 NEW BEST:: SOT 573198 SOS 398554 HAS SOPS 398483 HAS SOUS 134707 HAS SOUPS 134689 WITH SCORE 135087.554
AT ITER 1473 NEW BEST:: SOT 573155 SOS 398511 HAS SOPS 398440 HAS SOUS 134620 HAS SOUPS 134602 WITH SCORE 135000.511
AT ITER 1482 NEW BEST:: SOT 573139 SOS 398383 HAS SOPS 398312 HAS SOUS 134604 HAS SOUPS 134586 WITH SCORE 134984.383
AT ITER 1483 NEW BEST:: SOT 573139 SOS 398383 HAS SOPS 398312 HAS SOUS 134593 HAS SOUPS 134575 WITH SCORE 134973.383
AT ITER 1489 NEW BEST:: SOT 573138 SOS 398382 HAS SOPS 398311 HAS SOUS 134591 HAS SOUPS 134573 WITH SCORE 134971.382
AT ITER 1507 NEW BEST:: SOT 573231 SOS 398458 HAS SOPS 398387 HAS SOUS 134574 HAS SOUPS 134556 WITH SCORE 134954.458
AT ITER 1511 NEW BEST:: SOT 573231 SOS 398458 HAS SOPS 398387 HAS SOUS 134572 HAS SOUPS 134554 WITH SCORE 134952.458
AT ITER 1516 NEW BEST:: SOT 573179 SOS 398429 HAS SOPS 398358 HAS SOUS 134520 HAS SOUPS 134502 WITH SCORE 134900.429
AT ITER 1517 NEW BEST:: SOT 573179 SOS 398337 HAS SOPS 398266 HAS SOUS 134428 HAS SOUPS 134410 WITH SCORE 134808.337
AT ITER 1536 NEW BEST:: SOT 572039 SOS 397256 HAS SOPS 397185 HAS SOUS 134186 HAS SOUPS 134168 WITH SCORE 134565.256
AT ITER 1549 NEW BEST:: SOT 572039 SOS 397230 HAS SOPS 397159 HAS SOUS 134160 HAS SOUPS 134142 WITH SCORE 134539.23
AT ITER 1552 NEW BEST:: SOT 572093 SOS 396974 HAS SOPS 396903 HAS SOUS 133899 HAS SOUPS 133881 WITH SCORE 134277.974
AT ITER 1554 NEW BEST:: SOT 572005 SOS 396886 HAS SOPS 396815 HAS SOUS 133821 HAS SOUPS 133803 WITH SCORE 134199.886
AT ITER 1570 NEW BEST:: SOT 571884 SOS 396801 HAS SOPS 396730 HAS SOUS 133736 HAS SOUPS 133718 WITH SCORE 134114.801
AT ITER 1573 NEW BEST:: SOT 571967 SOS 396884 HAS SOPS 396813 HAS SOUS 133623 HAS SOUPS 133605 WITH SCORE 134001.884
AT ITER 1595 NEW BEST:: SOT 572127 SOS 396947 HAS SOPS 396876 HAS SOUS 133602 HAS SOUPS 133584 WITH SCORE 133980.947
AT ITER 1598 NEW BEST:: SOT 572127 SOS 396947 HAS SOPS 396876 HAS SOUS 133572 HAS SOUPS 133554 WITH SCORE 133950.947
AT ITER 1603 NEW BEST:: SOT 572099 SOS 396919 HAS SOPS 396848 HAS SOUS 133547 HAS SOUPS 133529 WITH SCORE 133925.919
AT ITER 1607 NEW BEST:: SOT 572099 SOS 396911 HAS SOPS 396840 HAS SOUS 133343 HAS SOUPS 133325 WITH SCORE 133721.911
AT ITER 1612 NEW BEST:: SOT 572095 SOS 396815 HAS SOPS 396744 HAS SOUS 133329 HAS SOUPS 133311 WITH SCORE 133707.815
AT ITER 1615 NEW BEST:: SOT 572083 SOS 396803 HAS SOPS 396732 HAS SOUS 133317 HAS SOUPS 133299 WITH SCORE 133695.803
AT ITER 1629 NEW BEST:: SOT 572083 SOS 396803 HAS SOPS 396732 HAS SOUS 133307 HAS SOUPS 133289 WITH SCORE 133685.803
AT ITER 1633 NEW BEST:: SOT 572071 SOS 396780 HAS SOPS 396709 HAS SOUS 133283 HAS SOUPS 133265 WITH SCORE 133661.78
AT ITER 1650 NEW BEST:: SOT 572106 SOS 396815 HAS SOPS 396744 HAS SOUS 133275 HAS SOUPS 133257 WITH SCORE 133653.815
AT ITER 1651 NEW BEST:: SOT 572044 SOS 396987 HAS SOPS 396916 HAS SOUS 133199 HAS SOUPS 133181 WITH SCORE 133577.987
AT ITER 1657 NEW BEST:: SOT 572024 SOS 396976 HAS SOPS 396905 HAS SOUS 133183 HAS SOUPS 133165 WITH SCORE 133561.976
AT ITER 1664 NEW BEST:: SOT 572204 SOS 397122 HAS SOPS 397051 HAS SOUS 133166 HAS SOUPS 133148 WITH SCORE 133545.122
AT ITER 1674 NEW BEST:: SOT 572204 SOS 397122 HAS SOPS 397051 HAS SOUS 133132 HAS SOUPS 133114 WITH SCORE 133511.122
AT ITER 1679 NEW BEST:: SOT 572194 SOS 397118 HAS SOPS 397047 HAS SOUS 133118 HAS SOUPS 133100 WITH SCORE 133497.118
AT ITER 1681 NEW BEST:: SOT 572258 SOS 396974 HAS SOPS 396903 HAS SOUS 133076 HAS SOUPS 133058 WITH SCORE 133454.974
AT ITER 1688 NEW BEST:: SOT 572284 SOS 397000 HAS SOPS 396929 HAS SOUS 133029 HAS SOUPS 133011 WITH SCORE 133408.0
AT ITER 1691 NEW BEST:: SOT 572108 SOS 396978 HAS SOPS 396907 HAS SOUS 133007 HAS SOUPS 132989 WITH SCORE 133385.978
AT ITER 1706 NEW BEST:: SOT 572104 SOS 396970 HAS SOPS 396899 HAS SOUS 133003 HAS SOUPS 132985 WITH SCORE 133381.97
AT ITER 1708 NEW BEST:: SOT 573078 SOS 398914 HAS SOPS 398843 HAS SOUS 131318 HAS SOUPS 131300 WITH SCORE 131698.914
AT ITER 1714 NEW BEST:: SOT 573060 SOS 398896 HAS SOPS 398825 HAS SOUS 131300 HAS SOUPS 131282 WITH SCORE 131680.896
AT ITER 1723 NEW BEST:: SOT 573052 SOS 398880 HAS SOPS 398809 HAS SOUS 131284 HAS SOUPS 131266 WITH SCORE 131664.88
AT ITER 1725 NEW BEST:: SOT 573052 SOS 398897 HAS SOPS 398826 HAS SOUS 131232 HAS SOUPS 131214 WITH SCORE 131612.897
AT ITER 1735 NEW BEST:: SOT 573032 SOS 398328 HAS SOPS 398257 HAS SOUS 130687 HAS SOUPS 130669 WITH SCORE 131067.328
AT ITER 1737 NEW BEST:: SOT 573032 SOS 398312 HAS SOPS 398241 HAS SOUS 130651 HAS SOUPS 130633 WITH SCORE 131031.312
AT ITER 1740 NEW BEST:: SOT 573090 SOS 398370 HAS SOPS 398299 HAS SOUS 130648 HAS SOUPS 130630 WITH SCORE 131028.37
AT ITER 1749 NEW BEST:: SOT 572912 SOS 398134 HAS SOPS 398063 HAS SOUS 130120 HAS SOUPS 130102 WITH SCORE 130500.134
AT ITER 1754 NEW BEST:: SOT 572911 SOS 398133 HAS SOPS 398062 HAS SOUS 130120 HAS SOUPS 130102 WITH SCORE 130500.133
AT ITER 1758 NEW BEST:: SOT 572911 SOS 398023 HAS SOPS 397952 HAS SOUS 130010 HAS SOUPS 129992 WITH SCORE 130390.023
AT ITER 1759 NEW BEST:: SOT 572911 SOS 397936 HAS SOPS 397865 HAS SOUS 129997 HAS SOUPS 129979 WITH SCORE 130376.936
AT ITER 1784 NEW BEST:: SOT 572910 SOS 397934 HAS SOPS 397863 HAS SOUS 129995 HAS SOUPS 129977 WITH SCORE 130374.934
AT ITER 1793 NEW BEST:: SOT 572925 SOS 397949 HAS SOPS 397878 HAS SOUS 129992 HAS SOUPS 129974 WITH SCORE 130371.949
AT ITER 1806 NEW BEST:: SOT 572873 SOS 397845 HAS SOPS 397774 HAS SOUS 129732 HAS SOUPS 129714 WITH SCORE 130111.845
AT ITER 1818 NEW BEST:: SOT 572814 SOS 397786 HAS SOPS 397715 HAS SOUS 129706 HAS SOUPS 129688 WITH SCORE 130085.786
AT ITER 1819 NEW BEST:: SOT 572422 SOS 397394 HAS SOPS 397323 HAS SOUS 129293 HAS SOUPS 129275 WITH SCORE 129672.394
AT ITER 1827 NEW BEST:: SOT 572422 SOS 397275 HAS SOPS 397204 HAS SOUS 129174 HAS SOUPS 129156 WITH SCORE 129553.275
AT ITER 1829 NEW BEST:: SOT 572239 SOS 397144 HAS SOPS 397073 HAS SOUS 129043 HAS SOUPS 129025 WITH SCORE 129422.144
AT ITER 1830 NEW BEST:: SOT 572239 SOS 397144 HAS SOPS 397073 HAS SOUS 129035 HAS SOUPS 129017 WITH SCORE 129414.144
AT ITER 1834 NEW BEST:: SOT 572102 SOS 397079 HAS SOPS 397008 HAS SOUS 128970 HAS SOUPS 128952 WITH SCORE 129349.079
AT ITER 1836 NEW BEST:: SOT 572077 SOS 397054 HAS SOPS 396983 HAS SOUS 128945 HAS SOUPS 128927 WITH SCORE 129324.054
AT ITER 1842 NEW BEST:: SOT 572112 SOS 396895 HAS SOPS 396824 HAS SOUS 128915 HAS SOUPS 128897 WITH SCORE 129293.895
AT ITER 1847 NEW BEST:: SOT 572112 SOS 396895 HAS SOPS 396824 HAS SOUS 128910 HAS SOUPS 128892 WITH SCORE 129288.895
AT ITER 1852 NEW BEST:: SOT 572249 SOS 397139 HAS SOPS 397055 HAS SOUS 128510 HAS SOUPS 128489 WITH SCORE 128886.139
AT ITER 1861 NEW BEST:: SOT 572231 SOS 397103 HAS SOPS 397019 HAS SOUS 128474 HAS SOUPS 128453 WITH SCORE 128850.103
AT ITER 1876 NEW BEST:: SOT 572226 SOS 397093 HAS SOPS 397009 HAS SOUS 128464 HAS SOUPS 128443 WITH SCORE 128840.093
AT ITER 1896 NEW BEST:: SOT 572322 SOS 397209 HAS SOPS 397125 HAS SOUS 127065 HAS SOUPS 127044 WITH SCORE 127441.209
AT ITER 1903 NEW BEST:: SOT 572274 SOS 397161 HAS SOPS 397077 HAS SOUS 127062 HAS SOUPS 127041 WITH SCORE 127438.161
AT ITER 1906 NEW BEST:: SOT 572139 SOS 397133 HAS SOPS 397049 HAS SOUS 127008 HAS SOUPS 126987 WITH SCORE 127384.133
AT ITER 1912 NEW BEST:: SOT 572316 SOS 397069 HAS SOPS 396985 HAS SOUS 126760 HAS SOUPS 126739 WITH SCORE 127136.069
AT ITER 1923 NEW BEST:: SOT 572246 SOS 396999 HAS SOPS 396915 HAS SOUS 126615 HAS SOUPS 126594 WITH SCORE 126990.999
AT ITER 1928 NEW BEST:: SOT 572210 SOS 397044 HAS SOPS 396960 HAS SOUS 126594 HAS SOUPS 126573 WITH SCORE 126970.044
AT ITER 1930 NEW BEST:: SOT 572166 SOS 397000 HAS SOPS 396916 HAS SOUS 126594 HAS SOUPS 126573 WITH SCORE 126970.0
AT ITER 1938 NEW BEST:: SOT 572045 SOS 396758 HAS SOPS 396674 HAS SOUS 126394 HAS SOUPS 126373 WITH SCORE 126769.758
AT ITER 1957 NEW BEST:: SOT 572045 SOS 396758 HAS SOPS 396674 HAS SOUS 126379 HAS SOUPS 126358 WITH SCORE 126754.758
AT ITER 1966 NEW BEST:: SOT 571992 SOS 396652 HAS SOPS 396568 HAS SOUS 126322 HAS SOUPS 126301 WITH SCORE 126697.652
AT ITER 1970 NEW BEST:: SOT 571977 SOS 396622 HAS SOPS 396538 HAS SOUS 126292 HAS SOUPS 126271 WITH SCORE 126667.622
AT ITER 1979 NEW BEST:: SOT 571924 SOS 396677 HAS SOPS 396593 HAS SOUS 126288 HAS SOUPS 126267 WITH SCORE 126663.677
AT ITER 2011 NEW BEST:: SOT 571842 SOS 396245 HAS SOPS 396161 HAS SOUS 126178 HAS SOUPS 126157 WITH SCORE 126553.245
AT ITER 2013 NEW BEST:: SOT 571803 SOS 396187 HAS SOPS 396103 HAS SOUS 126144 HAS SOUPS 126123 WITH SCORE 126519.187
AT ITER 2017 NEW BEST:: SOT 571799 SOS 396183 HAS SOPS 396099 HAS SOUS 126136 HAS SOUPS 126115 WITH SCORE 126511.183
AT ITER 2022 NEW BEST:: SOT 571799 SOS 396183 HAS SOPS 396099 HAS SOUS 126119 HAS SOUPS 126098 WITH SCORE 126494.183
AT ITER 2025 NEW BEST:: SOT 571799 SOS 396168 HAS SOPS 396084 HAS SOUS 126119 HAS SOUPS 126098 WITH SCORE 126494.168
AT ITER 2036 NEW BEST:: SOT 571423 SOS 396187 HAS SOPS 396103 HAS SOUS 126041 HAS SOUPS 126020 WITH SCORE 126416.187
AT ITER 2045 NEW BEST:: SOT 571379 SOS 396143 HAS SOPS 396059 HAS SOUS 125953 HAS SOUPS 125932 WITH SCORE 126328.143
AT ITER 2058 NEW BEST:: SOT 571332 SOS 396096 HAS SOPS 396012 HAS SOUS 125906 HAS SOUPS 125885 WITH SCORE 126281.096
AT ITER 2059 NEW BEST:: SOT 571215 SOS 396049 HAS SOPS 395965 HAS SOUS 125859 HAS SOUPS 125838 WITH SCORE 126234.049
AT ITER 2060 NEW BEST:: SOT 571144 SOS 395879 HAS SOPS 395795 HAS SOUS 125689 HAS SOUPS 125668 WITH SCORE 126063.879
AT ITER 2069 NEW BEST:: SOT 571180 SOS 395875 HAS SOPS 395791 HAS SOUS 125399 HAS SOUPS 125378 WITH SCORE 125773.875
AT ITER 2077 NEW BEST:: SOT 571043 SOS 395691 HAS SOPS 395607 HAS SOUS 125126 HAS SOUPS 125105 WITH SCORE 125500.691
AT ITER 2082 NEW BEST:: SOT 571002 SOS 395650 HAS SOPS 395566 HAS SOUS 125035 HAS SOUPS 125014 WITH SCORE 125409.65
AT ITER 2101 NEW BEST:: SOT 571002 SOS 395613 HAS SOPS 395529 HAS SOUS 124998 HAS SOUPS 124977 WITH SCORE 125372.613
AT ITER 2104 NEW BEST:: SOT 570663 SOS 395457 HAS SOPS 395373 HAS SOUS 124740 HAS SOUPS 124719 WITH SCORE 125114.457
AT ITER 2130 NEW BEST:: SOT 564511 SOS 389305 HAS SOPS 389221 HAS SOUS 118518 HAS SOUPS 118497 WITH SCORE 118886.305
AT ITER 2141 NEW BEST:: SOT 564476 SOS 389264 HAS SOPS 389180 HAS SOUS 118477 HAS SOUPS 118456 WITH SCORE 118845.264
AT ITER 2147 NEW BEST:: SOT 564438 SOS 389224 HAS SOPS 389140 HAS SOUS 118343 HAS SOUPS 118322 WITH SCORE 118711.224
AT ITER 2148 NEW BEST:: SOT 564427 SOS 389119 HAS SOPS 389035 HAS SOUS 118302 HAS SOUPS 118281 WITH SCORE 118670.119
AT ITER 2150 NEW BEST:: SOT 564411 SOS 389095 HAS SOPS 389011 HAS SOUS 118278 HAS SOUPS 118257 WITH SCORE 118646.095
AT ITER 2155 NEW BEST:: SOT 557720 SOS 382587 HAS SOPS 382503 HAS SOUS 116486 HAS SOUPS 116465 WITH SCORE 116847.587
AT ITER 2159 NEW BEST:: SOT 559646 SOS 383679 HAS SOPS 383595 HAS SOUS 114127 HAS SOUPS 114106 WITH SCORE 114489.679
AT ITER 2169 NEW BEST:: SOT 559493 SOS 383560 HAS SOPS 383476 HAS SOUS 114008 HAS SOUPS 113987 WITH SCORE 114370.56
AT ITER 2176 NEW BEST:: SOT 559493 SOS 383537 HAS SOPS 383453 HAS SOUS 114008 HAS SOUPS 113987 WITH SCORE 114370.537
AT ITER 2184 NEW BEST:: SOT 559566 SOS 383641 HAS SOPS 383557 HAS SOUS 114002 HAS SOUPS 113981 WITH SCORE 114364.641
AT ITER 2203 NEW BEST:: SOT 559599 SOS 383646 HAS SOPS 383562 HAS SOUS 113955 HAS SOUPS 113934 WITH SCORE 114317.646
AT ITER 2204 NEW BEST:: SOT 559573 SOS 383622 HAS SOPS 383538 HAS SOUS 113551 HAS SOUPS 113530 WITH SCORE 113913.622
AT ITER 2211 NEW BEST:: SOT 559568 SOS 383617 HAS SOPS 383533 HAS SOUS 113551 HAS SOUPS 113530 WITH SCORE 113913.617
AT ITER 2221 NEW BEST:: SOT 559614 SOS 383365 HAS SOPS 383281 HAS SOUS 113345 HAS SOUPS 113324 WITH SCORE 113707.365
AT ITER 2232 NEW BEST:: SOT 559452 SOS 383267 HAS SOPS 383183 HAS SOUS 113207 HAS SOUPS 113186 WITH SCORE 113569.267
AT ITER 2234 NEW BEST:: SOT 559439 SOS 383254 HAS SOPS 383170 HAS SOUS 113176 HAS SOUPS 113155 WITH SCORE 113538.254
AT ITER 2244 NEW BEST:: SOT 559439 SOS 383254 HAS SOPS 383170 HAS SOUS 113168 HAS SOUPS 113147 WITH SCORE 113530.254
AT ITER 2251 NEW BEST:: SOT 559416 SOS 383200 HAS SOPS 383116 HAS SOUS 113145 HAS SOUPS 113124 WITH SCORE 113507.2
AT ITER 2253 NEW BEST:: SOT 559308 SOS 383092 HAS SOPS 383008 HAS SOUS 113037 HAS SOUPS 113016 WITH SCORE 113399.092
AT ITER 2270 NEW BEST:: SOT 559292 SOS 383060 HAS SOPS 382976 HAS SOUS 113005 HAS SOUPS 112984 WITH SCORE 113367.06
AT ITER 2281 NEW BEST:: SOT 559264 SOS 383032 HAS SOPS 382948 HAS SOUS 112977 HAS SOUPS 112956 WITH SCORE 113339.032
AT ITER 2285 NEW BEST:: SOT 559264 SOS 382589 HAS SOPS 382513 HAS SOUS 112974 HAS SOUPS 112956 WITH SCORE 113338.589
AT ITER 2290 NEW BEST:: SOT 559261 SOS 382586 HAS SOPS 382510 HAS SOUS 112972 HAS SOUPS 112954 WITH SCORE 113336.586
AT ITER 2296 NEW BEST:: SOT 559242 SOS 382430 HAS SOPS 382354 HAS SOUS 112860 HAS SOUPS 112842 WITH SCORE 113224.43
AT ITER 2297 NEW BEST:: SOT 559242 SOS 382430 HAS SOPS 382354 HAS SOUS 112841 HAS SOUPS 112823 WITH SCORE 113205.43
AT ITER 2300 NEW BEST:: SOT 559190 SOS 382458 HAS SOPS 382382 HAS SOUS 112789 HAS SOUPS 112771 WITH SCORE 113153.458
AT ITER 2315 NEW BEST:: SOT 558989 SOS 382338 HAS SOPS 382262 HAS SOUS 112639 HAS SOUPS 112621 WITH SCORE 113003.338
AT ITER 2325 NEW BEST:: SOT 558948 SOS 382297 HAS SOPS 382221 HAS SOUS 112611 HAS SOUPS 112593 WITH SCORE 112975.297
AT ITER 2341 NEW BEST:: SOT 559026 SOS 382375 HAS SOPS 382299 HAS SOUS 112583 HAS SOUPS 112565 WITH SCORE 112947.375
AT ITER 2358 NEW BEST:: SOT 559142 SOS 382429 HAS SOPS 382353 HAS SOUS 112498 HAS SOUPS 112480 WITH SCORE 112862.429
AT ITER 2360 NEW BEST:: SOT 559142 SOS 382396 HAS SOPS 382320 HAS SOUS 112385 HAS SOUPS 112367 WITH SCORE 112749.396
AT ITER 2372 NEW BEST:: SOT 559135 SOS 381939 HAS SOPS 381863 HAS SOUS 111870 HAS SOUPS 111852 WITH SCORE 112233.939
AT ITER 2380 NEW BEST:: SOT 559245 SOS 382027 HAS SOPS 381951 HAS SOUS 111754 HAS SOUPS 111736 WITH SCORE 112118.027
AT ITER 2388 NEW BEST:: SOT 559234 SOS 382065 HAS SOPS 381989 HAS SOUS 111738 HAS SOUPS 111720 WITH SCORE 112102.065
AT ITER 2410 NEW BEST:: SOT 559226 SOS 382065 HAS SOPS 381989 HAS SOUS 111726 HAS SOUPS 111708 WITH SCORE 112090.065
AT ITER 2411 NEW BEST:: SOT 559174 SOS 382013 HAS SOPS 381937 HAS SOUS 111661 HAS SOUPS 111643 WITH SCORE 112025.013
AT ITER 2413 NEW BEST:: SOT 559186 SOS 382025 HAS SOPS 381949 HAS SOUS 111647 HAS SOUPS 111629 WITH SCORE 112011.025
AT ITER 2461 NEW BEST:: SOT 559186 SOS 382022 HAS SOPS 381946 HAS SOUS 111644 HAS SOUPS 111626 WITH SCORE 112008.022
AT ITER 2466 NEW BEST:: SOT 559085 SOS 381934 HAS SOPS 381858 HAS SOUS 111480 HAS SOUPS 111462 WITH SCORE 111843.934
AT ITER 2476 NEW BEST:: SOT 558970 SOS 381853 HAS SOPS 381777 HAS SOUS 111396 HAS SOUPS 111378 WITH SCORE 111759.853
AT ITER 2492 NEW BEST:: SOT 558937 SOS 381721 HAS SOPS 381645 HAS SOUS 111264 HAS SOUPS 111246 WITH SCORE 111627.721
AT ITER 2500 NEW BEST:: SOT 558931 SOS 381712 HAS SOPS 381636 HAS SOUS 111249 HAS SOUPS 111231 WITH SCORE 111612.712
AT ITER 2502 NEW BEST:: SOT 558925 SOS 381680 HAS SOPS 381604 HAS SOUS 111213 HAS SOUPS 111195 WITH SCORE 111576.68
AT ITER 2509 NEW BEST:: SOT 558957 SOS 381719 HAS SOPS 381643 HAS SOUS 111197 HAS SOUPS 111179 WITH SCORE 111560.719
AT ITER 2517 NEW BEST:: SOT 558943 SOS 381705 HAS SOPS 381629 HAS SOUS 111183 HAS SOUPS 111165 WITH SCORE 111546.705
AT ITER 2519 NEW BEST:: SOT 557985 SOS 393644 HAS SOPS 393568 HAS SOUS 110448 HAS SOUPS 110430 WITH SCORE 110823.644
AT ITER 2547 NEW BEST:: SOT 557785 SOS 393521 HAS SOPS 393445 HAS SOUS 110295 HAS SOUPS 110277 WITH SCORE 110670.521
AT ITER 2559 NEW BEST:: SOT 557781 SOS 393415 HAS SOPS 393339 HAS SOUS 110189 HAS SOUPS 110171 WITH SCORE 110564.415
AT ITER 2560 NEW BEST:: SOT 557773 SOS 393407 HAS SOPS 393331 HAS SOUS 110181 HAS SOUPS 110163 WITH SCORE 110556.407
AT ITER 2562 NEW BEST:: SOT 557558 SOS 393806 HAS SOPS 393730 HAS SOUS 109910 HAS SOUPS 109892 WITH SCORE 110285.806
AT ITER 2569 NEW BEST:: SOT 557558 SOS 393861 HAS SOPS 393785 HAS SOUS 109901 HAS SOUPS 109883 WITH SCORE 110276.861
AT ITER 2573 NEW BEST:: SOT 557558 SOS 393882 HAS SOPS 393806 HAS SOUS 109895 HAS SOUPS 109877 WITH SCORE 110270.882
AT ITER 2581 NEW BEST:: SOT 557412 SOS 393727 HAS SOPS 393651 HAS SOUS 109696 HAS SOUPS 109678 WITH SCORE 110071.727
AT ITER 2586 NEW BEST:: SOT 557204 SOS 393682 HAS SOPS 393606 HAS SOUS 109643 HAS SOUPS 109625 WITH SCORE 110018.682
AT ITER 2601 NEW BEST:: SOT 557191 SOS 393669 HAS SOPS 393593 HAS SOUS 109630 HAS SOUPS 109612 WITH SCORE 110005.669
AT ITER 2635 NEW BEST:: SOT 557125 SOS 393636 HAS SOPS 393560 HAS SOUS 109597 HAS SOUPS 109579 WITH SCORE 109972.636
AT ITER 2665 NEW BEST:: SOT 552264 SOS 388775 HAS SOPS 388699 HAS SOUS 105170 HAS SOUPS 105152 WITH SCORE 105540.775
AT ITER 2686 NEW BEST:: SOT 552365 SOS 388886 HAS SOPS 388810 HAS SOUS 105074 HAS SOUPS 105056 WITH SCORE 105444.886
AT ITER 2702 NEW BEST:: SOT 552333 SOS 388822 HAS SOPS 388746 HAS SOUS 105033 HAS SOUPS 105015 WITH SCORE 105403.822
AT ITER 2704 NEW BEST:: SOT 552325 SOS 388814 HAS SOPS 388738 HAS SOUS 105028 HAS SOUPS 105010 WITH SCORE 105398.814
AT ITER 2716 NEW BEST:: SOT 552325 SOS 388804 HAS SOPS 388728 HAS SOUS 105023 HAS SOUPS 105005 WITH SCORE 105393.804
AT ITER 2726 NEW BEST:: SOT 552278 SOS 388710 HAS SOPS 388634 HAS SOUS 104929 HAS SOUPS 104911 WITH SCORE 105299.71
AT ITER 2730 NEW BEST:: SOT 552279 SOS 388711 HAS SOPS 388635 HAS SOUS 104918 HAS SOUPS 104900 WITH SCORE 105288.711
AT ITER 2733 NEW BEST:: SOT 552383 SOS 388815 HAS SOPS 388739 HAS SOUS 104869 HAS SOUPS 104851 WITH SCORE 105239.815
AT ITER 2738 NEW BEST:: SOT 552358 SOS 388843 HAS SOPS 388767 HAS SOUS 104848 HAS SOUPS 104830 WITH SCORE 105218.843
AT ITER 2739 NEW BEST:: SOT 552441 SOS 388896 HAS SOPS 388820 HAS SOUS 104748 HAS SOUPS 104730 WITH SCORE 105118.896
AT ITER 2759 NEW BEST:: SOT 552398 SOS 383564 HAS SOPS 383488 HAS SOUS 104662 HAS SOUPS 104644 WITH SCORE 105027.564
AT ITER 2787 NEW BEST:: SOT 552255 SOS 383395 HAS SOPS 383319 HAS SOUS 104527 HAS SOUPS 104509 WITH SCORE 104892.395
AT ITER 2798 NEW BEST:: SOT 552255 SOS 383382 HAS SOPS 383306 HAS SOUS 104427 HAS SOUPS 104409 WITH SCORE 104792.382
AT ITER 2799 NEW BEST:: SOT 552227 SOS 383326 HAS SOPS 383250 HAS SOUS 104399 HAS SOUPS 104381 WITH SCORE 104764.326
AT ITER 2801 NEW BEST:: SOT 552225 SOS 383324 HAS SOPS 383248 HAS SOUS 104395 HAS SOUPS 104377 WITH SCORE 104760.324
AT ITER 2810 NEW BEST:: SOT 552163 SOS 383214 HAS SOPS 383138 HAS SOUS 104285 HAS SOUPS 104267 WITH SCORE 104650.214
AT ITER 2817 NEW BEST:: SOT 552171 SOS 383222 HAS SOPS 383146 HAS SOUS 104283 HAS SOUPS 104265 WITH SCORE 104648.222
AT ITER 2819 NEW BEST:: SOT 552170 SOS 383221 HAS SOPS 383145 HAS SOUS 104282 HAS SOUPS 104264 WITH SCORE 104647.221
AT ITER 2822 NEW BEST:: SOT 552109 SOS 383080 HAS SOPS 383004 HAS SOUS 104038 HAS SOUPS 104020 WITH SCORE 104403.08
AT ITER 2825 NEW BEST:: SOT 552186 SOS 383157 HAS SOPS 383081 HAS SOUS 104019 HAS SOUPS 104001 WITH SCORE 104384.157
AT ITER 2844 NEW BEST:: SOT 552174 SOS 383139 HAS SOPS 383063 HAS SOUS 104001 HAS SOUPS 103983 WITH SCORE 104366.139
AT ITER 2847 NEW BEST:: SOT 552128 SOS 383093 HAS SOPS 383017 HAS SOUS 103959 HAS SOUPS 103941 WITH SCORE 104324.093
AT ITER 2863 NEW BEST:: SOT 551996 SOS 382971 HAS SOPS 382895 HAS SOUS 103495 HAS SOUPS 103477 WITH SCORE 103859.971
AT ITER 2865 NEW BEST:: SOT 551984 SOS 382959 HAS SOPS 382883 HAS SOUS 103471 HAS SOUPS 103453 WITH SCORE 103835.959
AT ITER 2876 NEW BEST:: SOT 551904 SOS 382957 HAS SOPS 382881 HAS SOUS 103469 HAS SOUPS 103451 WITH SCORE 103833.957
AT ITER 2910 NEW BEST:: SOT 552042 SOS 383040 HAS SOPS 382964 HAS SOUS 103418 HAS SOUPS 103400 WITH SCORE 103783.04
AT ITER 2916 NEW BEST:: SOT 552049 SOS 382968 HAS SOPS 382892 HAS SOUS 103374 HAS SOUPS 103356 WITH SCORE 103738.968
AT ITER 2918 NEW BEST:: SOT 552045 SOS 382964 HAS SOPS 382888 HAS SOUS 103366 HAS SOUPS 103348 WITH SCORE 103730.964
AT ITER 2922 NEW BEST:: SOT 552045 SOS 382958 HAS SOPS 382882 HAS SOUS 103360 HAS SOUPS 103342 WITH SCORE 103724.958
AT ITER 2959 NEW BEST:: SOT 551965 SOS 382878 HAS SOPS 382802 HAS SOUS 103348 HAS SOUPS 103330 WITH SCORE 103712.878
AT ITER 2989 NEW BEST:: SOT 551868 SOS 382781 HAS SOPS 382705 HAS SOUS 103153 HAS SOUPS 103135 WITH SCORE 103517.781
AT ITER 2999 NEW BEST:: SOT 551692 SOS 382605 HAS SOPS 382529 HAS SOUS 103017 HAS SOUPS 102999 WITH SCORE 103381.605
AT ITER 3001 NEW BEST:: SOT 551692 SOS 382556 HAS SOPS 382480 HAS SOUS 102968 HAS SOUPS 102950 WITH SCORE 103332.556
AT ITER 3010 NEW BEST:: SOT 551684 SOS 382585 HAS SOPS 382509 HAS SOUS 102962 HAS SOUPS 102944 WITH SCORE 103326.585
AT ITER 3020 NEW BEST:: SOT 551596 SOS 382497 HAS SOPS 382421 HAS SOUS 102786 HAS SOUPS 102768 WITH SCORE 103150.497
AT ITER 3032 NEW BEST:: SOT 551596 SOS 382497 HAS SOPS 382421 HAS SOUS 102759 HAS SOUPS 102741 WITH SCORE 103123.497
AT ITER 3095 NEW BEST:: SOT 551549 SOS 382472 HAS SOPS 382396 HAS SOUS 102710 HAS SOUPS 102692 WITH SCORE 103074.472
AT ITER 3104 NEW BEST:: SOT 551641 SOS 382552 HAS SOPS 382476 HAS SOUS 102611 HAS SOUPS 102593 WITH SCORE 102975.552
AT ITER 3110 NEW BEST:: SOT 551640 SOS 382505 HAS SOPS 382429 HAS SOUS 102566 HAS SOUPS 102548 WITH SCORE 102930.505
AT ITER 3116 NEW BEST:: SOT 551695 SOS 382560 HAS SOPS 382484 HAS SOUS 102486 HAS SOUPS 102468 WITH SCORE 102850.56
AT ITER 3118 NEW BEST:: SOT 551682 SOS 382534 HAS SOPS 382458 HAS SOUS 102474 HAS SOUPS 102456 WITH SCORE 102838.534
AT ITER 3123 NEW BEST:: SOT 551599 SOS 381776 HAS SOPS 381700 HAS SOUS 102153 HAS SOUPS 102135 WITH SCORE 102516.776
AT ITER 3139 NEW BEST:: SOT 551593 SOS 381788 HAS SOPS 381712 HAS SOUS 102141 HAS SOUPS 102123 WITH SCORE 102504.788
AT ITER 3162 NEW BEST:: SOT 551557 SOS 381630 HAS SOPS 381554 HAS SOUS 102056 HAS SOUPS 102038 WITH SCORE 102419.63
AT ITER 3188 NEW BEST:: SOT 551547 SOS 381620 HAS SOPS 381544 HAS SOUS 102036 HAS SOUPS 102018 WITH SCORE 102399.62
AT ITER 3198 NEW BEST:: SOT 551553 SOS 381626 HAS SOPS 381550 HAS SOUS 102007 HAS SOUPS 101989 WITH SCORE 102370.626
AT ITER 3204 NEW BEST:: SOT 551504 SOS 381577 HAS SOPS 381501 HAS SOUS 101913 HAS SOUPS 101895 WITH SCORE 102276.577
AT ITER 3218 NEW BEST:: SOT 551664 SOS 381811 HAS SOPS 381735 HAS SOUS 99715 HAS SOUPS 99697 WITH SCORE 100078.811
AT ITER 3225 NEW BEST:: SOT 551628 SOS 381775 HAS SOPS 381699 HAS SOUS 99643 HAS SOUPS 99625 WITH SCORE 100006.775
AT ITER 3235 NEW BEST:: SOT 551571 SOS 381718 HAS SOPS 381642 HAS SOUS 99538 HAS SOUPS 99520 WITH SCORE 99901.718
AT ITER 3244 NEW BEST:: SOT 551546 SOS 381731 HAS SOPS 381655 HAS SOUS 99513 HAS SOUPS 99495 WITH SCORE 99876.731
AT ITER 3251 NEW BEST:: SOT 551498 SOS 381345 HAS SOPS 381269 HAS SOUS 99196 HAS SOUPS 99178 WITH SCORE 99559.345
AT ITER 3272 NEW BEST:: SOT 551476 SOS 381301 HAS SOPS 381225 HAS SOUS 99002 HAS SOUPS 98984 WITH SCORE 99365.301
AT ITER 3275 NEW BEST:: SOT 551466 SOS 381291 HAS SOPS 381215 HAS SOUS 98982 HAS SOUPS 98964 WITH SCORE 99345.291
AT ITER 3285 NEW BEST:: SOT 551457 SOS 381282 HAS SOPS 381206 HAS SOUS 98964 HAS SOUPS 98946 WITH SCORE 99327.282
AT ITER 3288 NEW BEST:: SOT 551408 SOS 381233 HAS SOPS 381157 HAS SOUS 98693 HAS SOUPS 98675 WITH SCORE 99056.233
AT ITER 3291 NEW BEST:: SOT 551470 SOS 381318 HAS SOPS 381242 HAS SOUS 98582 HAS SOUPS 98564 WITH SCORE 98945.318
AT ITER 3292 NEW BEST:: SOT 551318 SOS 381166 HAS SOPS 381090 HAS SOUS 98406 HAS SOUPS 98388 WITH SCORE 98769.166
AT ITER 3296 NEW BEST:: SOT 551291 SOS 381139 HAS SOPS 381063 HAS SOUS 98352 HAS SOUPS 98334 WITH SCORE 98715.139
AT ITER 3297 NEW BEST:: SOT 551229 SOS 381022 HAS SOPS 380946 HAS SOUS 98254 HAS SOUPS 98236 WITH SCORE 98617.022
AT ITER 3309 NEW BEST:: SOT 551229 SOS 380986 HAS SOPS 380910 HAS SOUS 98218 HAS SOUPS 98200 WITH SCORE 98580.986
AT ITER 3311 NEW BEST:: SOT 551224 SOS 380981 HAS SOPS 380905 HAS SOUS 98187 HAS SOUPS 98169 WITH SCORE 98549.981
AT ITER 3350 NEW BEST:: SOT 551154 SOS 380226 HAS SOPS 380150 HAS SOUS 98002 HAS SOUPS 97984 WITH SCORE 98364.226
AT ITER 3358 NEW BEST:: SOT 551195 SOS 379991 HAS SOPS 379915 HAS SOUS 97931 HAS SOUPS 97913 WITH SCORE 98292.991
AT ITER 3361 NEW BEST:: SOT 551195 SOS 379991 HAS SOPS 379915 HAS SOUS 97887 HAS SOUPS 97869 WITH SCORE 98248.991
AT ITER 3363 NEW BEST:: SOT 551075 SOS 380013 HAS SOPS 379937 HAS SOUS 97678 HAS SOUPS 97660 WITH SCORE 98040.013
AT ITER 3369 NEW BEST:: SOT 551062 SOS 380000 HAS SOPS 379924 HAS SOUS 97652 HAS SOUPS 97634 WITH SCORE 98014.0
AT ITER 3377 NEW BEST:: SOT 551062 SOS 380000 HAS SOPS 379924 HAS SOUS 97650 HAS SOUPS 97632 WITH SCORE 98012.0
AT ITER 3380 NEW BEST:: SOT 551062 SOS 380000 HAS SOPS 379924 HAS SOUS 97640 HAS SOUPS 97622 WITH SCORE 98002.0
AT ITER 3392 NEW BEST:: SOT 551058 SOS 379996 HAS SOPS 379920 HAS SOUS 97632 HAS SOUPS 97614 WITH SCORE 97993.996
AT ITER 3410 NEW BEST:: SOT 551046 SOS 379972 HAS SOPS 379896 HAS SOUS 97587 HAS SOUPS 97569 WITH SCORE 97948.972
AT ITER 3411 NEW BEST:: SOT 550926 SOS 379946 HAS SOPS 379870 HAS SOUS 97500 HAS SOUPS 97482 WITH SCORE 97861.946
AT ITER 3412 NEW BEST:: SOT 551009 SOS 379746 HAS SOPS 379670 HAS SOUS 97458 HAS SOUPS 97440 WITH SCORE 97819.746
AT ITER 3436 NEW BEST:: SOT 551000 SOS 379728 HAS SOPS 379652 HAS SOUS 97404 HAS SOUPS 97386 WITH SCORE 97765.728
AT ITER 3464 NEW BEST:: SOT 551000 SOS 379728 HAS SOPS 379652 HAS SOUS 97091 HAS SOUPS 97073 WITH SCORE 97452.728
AT ITER 3482 NEW BEST:: SOT 550704 SOS 379432 HAS SOPS 379356 HAS SOUS 96977 HAS SOUPS 96959 WITH SCORE 97338.432
AT ITER 3483 NEW BEST:: SOT 545356 SOS 374084 HAS SOPS 374008 HAS SOUS 96187 HAS SOUPS 96169 WITH SCORE 96543.084
AT ITER 3487 NEW BEST:: SOT 545338 SOS 374066 HAS SOPS 373990 HAS SOUS 96187 HAS SOUPS 96169 WITH SCORE 96543.066
AT ITER 3490 NEW BEST:: SOT 545307 SOS 374079 HAS SOPS 374003 HAS SOUS 96125 HAS SOUPS 96107 WITH SCORE 96481.079
AT ITER 3502 NEW BEST:: SOT 545280 SOS 374052 HAS SOPS 373976 HAS SOUS 96070 HAS SOUPS 96052 WITH SCORE 96426.052
AT ITER 3525 NEW BEST:: SOT 545271 SOS 373958 HAS SOPS 373882 HAS SOUS 96026 HAS SOUPS 96008 WITH SCORE 96381.958
AT ITER 3553 NEW BEST:: SOT 545276 SOS 373959 HAS SOPS 373883 HAS SOUS 96025 HAS SOUPS 96007 WITH SCORE 96380.959
AT ITER 3569 NEW BEST:: SOT 545234 SOS 373825 HAS SOPS 373749 HAS SOUS 95928 HAS SOUPS 95910 WITH SCORE 96283.825
AT ITER 3578 NEW BEST:: SOT 545195 SOS 373799 HAS SOPS 373723 HAS SOUS 95889 HAS SOUPS 95871 WITH SCORE 96244.799
AT ITER 3609 NEW BEST:: SOT 545161 SOS 373512 HAS SOPS 373436 HAS SOUS 95590 HAS SOUPS 95572 WITH SCORE 95945.512
AT ITER 3610 NEW BEST:: SOT 545079 SOS 373471 HAS SOPS 373395 HAS SOUS 95549 HAS SOUPS 95531 WITH SCORE 95904.471
AT ITER 3616 NEW BEST:: SOT 545069 SOS 373461 HAS SOPS 373385 HAS SOUS 95534 HAS SOUPS 95516 WITH SCORE 95889.461
AT ITER 3627 NEW BEST:: SOT 545063 SOS 373455 HAS SOPS 373379 HAS SOUS 95528 HAS SOUPS 95510 WITH SCORE 95883.455
AT ITER 3631 NEW BEST:: SOT 545040 SOS 373426 HAS SOPS 373350 HAS SOUS 95482 HAS SOUPS 95464 WITH SCORE 95837.426
AT ITER 3635 NEW BEST:: SOT 545040 SOS 373426 HAS SOPS 373350 HAS SOUS 95462 HAS SOUPS 95444 WITH SCORE 95817.426
AT ITER 3651 NEW BEST:: SOT 544967 SOS 373353 HAS SOPS 373277 HAS SOUS 95337 HAS SOUPS 95319 WITH SCORE 95692.353
AT ITER 3657 NEW BEST:: SOT 544954 SOS 373327 HAS SOPS 373251 HAS SOUS 95324 HAS SOUPS 95306 WITH SCORE 95679.327
AT ITER 3668 NEW BEST:: SOT 544902 SOS 373265 HAS SOPS 373189 HAS SOUS 95267 HAS SOUPS 95249 WITH SCORE 95622.265
AT ITER 3675 NEW BEST:: SOT 544848 SOS 373227 HAS SOPS 373151 HAS SOUS 95229 HAS SOUPS 95211 WITH SCORE 95584.227
AT ITER 3677 NEW BEST:: SOT 544817 SOS 373196 HAS SOPS 373120 HAS SOUS 95167 HAS SOUPS 95149 WITH SCORE 95522.196
AT ITER 3691 NEW BEST:: SOT 544690 SOS 373319 HAS SOPS 373243 HAS SOUS 95070 HAS SOUPS 95052 WITH SCORE 95425.319
AT ITER 3694 NEW BEST:: SOT 544688 SOS 373317 HAS SOPS 373241 HAS SOUS 95068 HAS SOUPS 95050 WITH SCORE 95423.317
AT ITER 3697 NEW BEST:: SOT 544657 SOS 373349 HAS SOPS 373273 HAS SOUS 94971 HAS SOUPS 94953 WITH SCORE 95326.349
AT ITER 3698 NEW BEST:: SOT 544600 SOS 373292 HAS SOPS 373216 HAS SOUS 94722 HAS SOUPS 94704 WITH SCORE 95077.292
AT ITER 3725 NEW BEST:: SOT 544486 SOS 373126 HAS SOPS 373050 HAS SOUS 94490 HAS SOUPS 94472 WITH SCORE 94845.126
AT ITER 3726 NEW BEST:: SOT 542073 SOS 370733 HAS SOPS 370657 HAS SOUS 93976 HAS SOUPS 93958 WITH SCORE 94328.733
AT ITER 3734 NEW BEST:: SOT 542034 SOS 370694 HAS SOPS 370618 HAS SOUS 93970 HAS SOUPS 93952 WITH SCORE 94322.694
AT ITER 3757 NEW BEST:: SOT 541971 SOS 370597 HAS SOPS 370521 HAS SOUS 93844 HAS SOUPS 93826 WITH SCORE 94196.597
AT ITER 3769 NEW BEST:: SOT 541969 SOS 370595 HAS SOPS 370519 HAS SOUS 93814 HAS SOUPS 93796 WITH SCORE 94166.595
AT ITER 3784 NEW BEST:: SOT 541842 SOS 370720 HAS SOPS 370644 HAS SOUS 93731 HAS SOUPS 93713 WITH SCORE 94083.72
AT ITER 3792 NEW BEST:: SOT 541877 SOS 370755 HAS SOPS 370679 HAS SOUS 93601 HAS SOUPS 93583 WITH SCORE 93953.755
AT ITER 3798 NEW BEST:: SOT 541818 SOS 370696 HAS SOPS 370620 HAS SOUS 93451 HAS SOUPS 93433 WITH SCORE 93803.696
AT ITER 3801 NEW BEST:: SOT 541784 SOS 370673 HAS SOPS 370597 HAS SOUS 93398 HAS SOUPS 93380 WITH SCORE 93750.673
AT ITER 3825 NEW BEST:: SOT 541761 SOS 370726 HAS SOPS 370650 HAS SOUS 93365 HAS SOUPS 93347 WITH SCORE 93717.726
AT ITER 3853 NEW BEST:: SOT 541744 SOS 370711 HAS SOPS 370635 HAS SOUS 93339 HAS SOUPS 93321 WITH SCORE 93691.711
AT ITER 3866 NEW BEST:: SOT 541743 SOS 370710 HAS SOPS 370634 HAS SOUS 93335 HAS SOUPS 93317 WITH SCORE 93687.71
AT ITER 3871 NEW BEST:: SOT 541785 SOS 370752 HAS SOPS 370676 HAS SOUS 93329 HAS SOUPS 93311 WITH SCORE 93681.752
AT ITER 3879 NEW BEST:: SOT 541683 SOS 370672 HAS SOPS 370596 HAS SOUS 93214 HAS SOUPS 93196 WITH SCORE 93566.672
AT ITER 3891 NEW BEST:: SOT 541667 SOS 370656 HAS SOPS 370580 HAS SOUS 93182 HAS SOUPS 93164 WITH SCORE 93534.656
AT ITER 3893 NEW BEST:: SOT 541632 SOS 370600 HAS SOPS 370524 HAS SOUS 93091 HAS SOUPS 93073 WITH SCORE 93443.6
AT ITER 3918 NEW BEST:: SOT 541632 SOS 370600 HAS SOPS 370524 HAS SOUS 93084 HAS SOUPS 93066 WITH SCORE 93436.6
AT ITER 3937 NEW BEST:: SOT 541416 SOS 370479 HAS SOPS 370403 HAS SOUS 92962 HAS SOUPS 92944 WITH SCORE 93314.479
AT ITER 3948 NEW BEST:: SOT 541416 SOS 370557 HAS SOPS 370481 HAS SOUS 92953 HAS SOUPS 92935 WITH SCORE 93305.557
AT ITER 3951 NEW BEST:: SOT 541409 SOS 370550 HAS SOPS 370474 HAS SOUS 92930 HAS SOUPS 92912 WITH SCORE 93282.55
AT ITER 3952 NEW BEST:: SOT 541409 SOS 370550 HAS SOPS 370474 HAS SOUS 92913 HAS SOUPS 92895 WITH SCORE 93265.55
AT ITER 3960 NEW BEST:: SOT 541423 SOS 370561 HAS SOPS 370485 HAS SOUS 92864 HAS SOUPS 92846 WITH SCORE 93216.561
AT ITER 3974 NEW BEST:: SOT 541384 SOS 370520 HAS SOPS 370444 HAS SOUS 92780 HAS SOUPS 92762 WITH SCORE 93132.52
AT ITER 3980 NEW BEST:: SOT 541371 SOS 370516 HAS SOPS 370440 HAS SOUS 92754 HAS SOUPS 92736 WITH SCORE 93106.516
AT ITER 3989 NEW BEST:: SOT 541371 SOS 370450 HAS SOPS 370374 HAS SOUS 92688 HAS SOUPS 92670 WITH SCORE 93040.45
AT ITER 4003 NEW BEST:: SOT 541399 SOS 370421 HAS SOPS 370345 HAS SOUS 92626 HAS SOUPS 92608 WITH SCORE 92978.421
AT ITER 4015 NEW BEST:: SOT 541337 SOS 370296 HAS SOPS 370220 HAS SOUS 92577 HAS SOUPS 92559 WITH SCORE 92929.296
AT ITER 4021 NEW BEST:: SOT 541329 SOS 370280 HAS SOPS 370204 HAS SOUS 92561 HAS SOUPS 92543 WITH SCORE 92913.28
AT ITER 4026 NEW BEST:: SOT 541230 SOS 370274 HAS SOPS 370198 HAS SOUS 92555 HAS SOUPS 92537 WITH SCORE 92907.274
AT ITER 4037 NEW BEST:: SOT 541194 SOS 370186 HAS SOPS 370110 HAS SOUS 92467 HAS SOUPS 92449 WITH SCORE 92819.186
AT ITER 4048 NEW BEST:: SOT 541302 SOS 370294 HAS SOPS 370218 HAS SOUS 92465 HAS SOUPS 92447 WITH SCORE 92817.294
AT ITER 4057 NEW BEST:: SOT 541302 SOS 370276 HAS SOPS 370200 HAS SOUS 92447 HAS SOUPS 92429 WITH SCORE 92799.276
AT ITER 4062 NEW BEST:: SOT 541257 SOS 370231 HAS SOPS 370155 HAS SOUS 92357 HAS SOUPS 92339 WITH SCORE 92709.231
AT ITER 4079 NEW BEST:: SOT 541225 SOS 370199 HAS SOPS 370123 HAS SOUS 92332 HAS SOUPS 92314 WITH SCORE 92684.199
AT ITER 4103 NEW BEST:: SOT 541212 SOS 370186 HAS SOPS 370110 HAS SOUS 92330 HAS SOUPS 92312 WITH SCORE 92682.186
AT ITER 4107 NEW BEST:: SOT 541110 SOS 370084 HAS SOPS 370008 HAS SOUS 92192 HAS SOUPS 92174 WITH SCORE 92544.084
AT ITER 4119 NEW BEST:: SOT 541074 SOS 370048 HAS SOPS 369972 HAS SOUS 92120 HAS SOUPS 92102 WITH SCORE 92472.048
AT ITER 4128 NEW BEST:: SOT 541071 SOS 370036 HAS SOPS 369960 HAS SOUS 92116 HAS SOUPS 92098 WITH SCORE 92468.036
AT ITER 4141 NEW BEST:: SOT 541057 SOS 370022 HAS SOPS 369946 HAS SOUS 92109 HAS SOUPS 92091 WITH SCORE 92461.022
AT ITER 4153 NEW BEST:: SOT 532559 SOS 361904 HAS SOPS 361828 HAS SOUS 91854 HAS SOUPS 91836 WITH SCORE 92197.904
AT ITER 4163 NEW BEST:: SOT 532497 SOS 361842 HAS SOPS 361766 HAS SOUS 91739 HAS SOUPS 91721 WITH SCORE 92082.842
AT ITER 4171 NEW BEST:: SOT 532497 SOS 361860 HAS SOPS 361784 HAS SOUS 91703 HAS SOUPS 91685 WITH SCORE 92046.86
AT ITER 4173 NEW BEST:: SOT 532490 SOS 361853 HAS SOPS 361777 HAS SOUS 91689 HAS SOUPS 91671 WITH SCORE 92032.853
AT ITER 4176 NEW BEST:: SOT 532485 SOS 361802 HAS SOPS 361726 HAS SOUS 91579 HAS SOUPS 91561 WITH SCORE 91922.802
AT ITER 4178 NEW BEST:: SOT 532478 SOS 361795 HAS SOPS 361719 HAS SOUS 91572 HAS SOUPS 91554 WITH SCORE 91915.795
AT ITER 4186 NEW BEST:: SOT 532427 SOS 361668 HAS SOPS 361592 HAS SOUS 91451 HAS SOUPS 91433 WITH SCORE 91794.668
AT ITER 4228 NEW BEST:: SOT 532429 SOS 361649 HAS SOPS 361573 HAS SOUS 91397 HAS SOUPS 91379 WITH SCORE 91740.649
AT ITER 4249 NEW BEST:: SOT 532470 SOS 361690 HAS SOPS 361614 HAS SOUS 91288 HAS SOUPS 91270 WITH SCORE 91631.69
AT ITER 4254 NEW BEST:: SOT 532451 SOS 361685 HAS SOPS 361609 HAS SOUS 91281 HAS SOUPS 91263 WITH SCORE 91624.685
AT ITER 4257 NEW BEST:: SOT 532552 SOS 361786 HAS SOPS 361710 HAS SOUS 91268 HAS SOUPS 91250 WITH SCORE 91611.786
AT ITER 4297 NEW BEST:: SOT 532531 SOS 361765 HAS SOPS 361689 HAS SOUS 91206 HAS SOUPS 91188 WITH SCORE 91549.765
AT ITER 4303 NEW BEST:: SOT 532516 SOS 361750 HAS SOPS 361674 HAS SOUS 91206 HAS SOUPS 91188 WITH SCORE 91549.75
AT ITER 4320 NEW BEST:: SOT 532417 SOS 361720 HAS SOPS 361644 HAS SOUS 91157 HAS SOUPS 91139 WITH SCORE 91500.72
AT ITER 4327 NEW BEST:: SOT 532432 SOS 361569 HAS SOPS 361493 HAS SOUS 91012 HAS SOUPS 90994 WITH SCORE 91355.569
AT ITER 4337 NEW BEST:: SOT 532386 SOS 361523 HAS SOPS 361447 HAS SOUS 90917 HAS SOUPS 90899 WITH SCORE 91260.523
AT ITER 4396 NEW BEST:: SOT 532386 SOS 361249 HAS SOPS 361165 HAS SOUS 90907 HAS SOUPS 90885 WITH SCORE 91246.249
AT ITER 4402 NEW BEST:: SOT 532374 SOS 361237 HAS SOPS 361153 HAS SOUS 90828 HAS SOUPS 90806 WITH SCORE 91167.237
AT ITER 4408 NEW BEST:: SOT 532336 SOS 361199 HAS SOPS 361115 HAS SOUS 90754 HAS SOUPS 90732 WITH SCORE 91093.199
AT ITER 4416 NEW BEST:: SOT 532310 SOS 361150 HAS SOPS 361066 HAS SOUS 90670 HAS SOUPS 90648 WITH SCORE 91009.15
AT ITER 4417 NEW BEST:: SOT 532298 SOS 361138 HAS SOPS 361054 HAS SOUS 90658 HAS SOUPS 90636 WITH SCORE 90997.138
AT ITER 4426 NEW BEST:: SOT 532269 SOS 360965 HAS SOPS 360881 HAS SOUS 90584 HAS SOUPS 90562 WITH SCORE 90922.965
AT ITER 4448 NEW BEST:: SOT 532269 SOS 360965 HAS SOPS 360881 HAS SOUS 90574 HAS SOUPS 90552 WITH SCORE 90912.965
AT ITER 4459 NEW BEST:: SOT 532202 SOS 360959 HAS SOPS 360875 HAS SOUS 90568 HAS SOUPS 90546 WITH SCORE 90906.959
AT ITER 4472 NEW BEST:: SOT 532153 SOS 360910 HAS SOPS 360826 HAS SOUS 90519 HAS SOUPS 90497 WITH SCORE 90857.91
AT ITER 4482 NEW BEST:: SOT 532153 SOS 360910 HAS SOPS 360826 HAS SOUS 90507 HAS SOUPS 90485 WITH SCORE 90845.91
AT ITER 4483 NEW BEST:: SOT 532135 SOS 360892 HAS SOPS 360808 HAS SOUS 90471 HAS SOUPS 90449 WITH SCORE 90809.892
AT ITER 4503 NEW BEST:: SOT 532128 SOS 360885 HAS SOPS 360801 HAS SOUS 90464 HAS SOUPS 90442 WITH SCORE 90802.885
AT ITER 4507 NEW BEST:: SOT 532128 SOS 360885 HAS SOPS 360801 HAS SOUS 90438 HAS SOUPS 90416 WITH SCORE 90776.885
AT ITER 4524 NEW BEST:: SOT 532075 SOS 360810 HAS SOPS 360726 HAS SOUS 90363 HAS SOUPS 90341 WITH SCORE 90701.81
AT ITER 4545 NEW BEST:: SOT 532075 SOS 361106 HAS SOPS 361030 HAS SOUS 90343 HAS SOUPS 90321 WITH SCORE 90682.106
AT ITER 4556 NEW BEST:: SOT 532100 SOS 361072 HAS SOPS 360996 HAS SOUS 90308 HAS SOUPS 90286 WITH SCORE 90647.072
AT ITER 4581 NEW BEST:: SOT 532104 SOS 361076 HAS SOPS 361000 HAS SOUS 90297 HAS SOUPS 90275 WITH SCORE 90636.076
AT ITER 4592 NEW BEST:: SOT 532082 SOS 361054 HAS SOPS 360978 HAS SOUS 90253 HAS SOUPS 90231 WITH SCORE 90592.054
AT ITER 4594 NEW BEST:: SOT 532058 SOS 361038 HAS SOPS 360962 HAS SOUS 90221 HAS SOUPS 90199 WITH SCORE 90560.038
AT ITER 4596 NEW BEST:: SOT 532058 SOS 360966 HAS SOPS 360890 HAS SOUS 90149 HAS SOUPS 90127 WITH SCORE 90487.966
AT ITER 4598 NEW BEST:: SOT 532011 SOS 360908 HAS SOPS 360832 HAS SOUS 90042 HAS SOUPS 90020 WITH SCORE 90380.908
AT ITER 4602 NEW BEST:: SOT 531989 SOS 360944 HAS SOPS 360868 HAS SOUS 90020 HAS SOUPS 89998 WITH SCORE 90358.944
AT ITER 4634 NEW BEST:: SOT 532001 SOS 360915 HAS SOPS 360839 HAS SOUS 89899 HAS SOUPS 89877 WITH SCORE 90237.915
AT ITER 4638 NEW BEST:: SOT 531997 SOS 360907 HAS SOPS 360831 HAS SOUS 89895 HAS SOUPS 89873 WITH SCORE 90233.907
AT ITER 4642 NEW BEST:: SOT 532201 SOS 360944 HAS SOPS 360868 HAS SOUS 89703 HAS SOUPS 89681 WITH SCORE 90041.944
AT ITER 4649 NEW BEST:: SOT 532187 SOS 360913 HAS SOPS 360837 HAS SOUS 89672 HAS SOUPS 89650 WITH SCORE 90010.913
AT ITER 4678 NEW BEST:: SOT 532184 SOS 360885 HAS SOPS 360809 HAS SOUS 89648 HAS SOUPS 89626 WITH SCORE 89986.885
AT ITER 4679 NEW BEST:: SOT 532156 SOS 360929 HAS SOPS 360853 HAS SOUS 89597 HAS SOUPS 89575 WITH SCORE 89935.929
AT ITER 4684 NEW BEST:: SOT 532102 SOS 360827 HAS SOPS 360751 HAS SOUS 89478 HAS SOUPS 89456 WITH SCORE 89816.827
AT ITER 4712 NEW BEST:: SOT 532090 SOS 360815 HAS SOPS 360739 HAS SOUS 89431 HAS SOUPS 89409 WITH SCORE 89769.815
AT ITER 4737 NEW BEST:: SOT 532058 SOS 360783 HAS SOPS 360707 HAS SOUS 89421 HAS SOUPS 89399 WITH SCORE 89759.783
AT ITER 4740 NEW BEST:: SOT 532089 SOS 360814 HAS SOPS 360738 HAS SOUS 89419 HAS SOUPS 89397 WITH SCORE 89757.814
AT ITER 4774 NEW BEST:: SOT 532055 SOS 360746 HAS SOPS 360670 HAS SOUS 89385 HAS SOUPS 89363 WITH SCORE 89723.746
AT ITER 4801 NEW BEST:: SOT 532055 SOS 360741 HAS SOPS 360665 HAS SOUS 89380 HAS SOUPS 89358 WITH SCORE 89718.741
AT ITER 4821 NEW BEST:: SOT 532055 SOS 361232 HAS SOPS 361170 HAS SOUS 89371 HAS SOUPS 89355 WITH SCORE 89716.232
AT ITER 4835 NEW BEST:: SOT 532042 SOS 361206 HAS SOPS 361144 HAS SOUS 89351 HAS SOUPS 89335 WITH SCORE 89696.206
AT ITER 4840 NEW BEST:: SOT 532039 SOS 361203 HAS SOPS 361141 HAS SOUS 89348 HAS SOUPS 89332 WITH SCORE 89693.203
AT ITER 4851 NEW BEST:: SOT 532039 SOS 361203 HAS SOPS 361141 HAS SOUS 89334 HAS SOUPS 89318 WITH SCORE 89679.203
AT ITER 4871 NEW BEST:: SOT 532015 SOS 361179 HAS SOPS 361117 HAS SOUS 89322 HAS SOUPS 89306 WITH SCORE 89667.179
AT ITER 4872 NEW BEST:: SOT 532001 SOS 361155 HAS SOPS 361093 HAS SOUS 89298 HAS SOUPS 89282 WITH SCORE 89643.155
AT ITER 4891 NEW BEST:: SOT 531991 SOS 361145 HAS SOPS 361083 HAS SOUS 89276 HAS SOUPS 89260 WITH SCORE 89621.145
AT ITER 4920 NEW BEST:: SOT 531940 SOS 361143 HAS SOPS 361081 HAS SOUS 89231 HAS SOUPS 89215 WITH SCORE 89576.143
AT ITER 4938 NEW BEST:: SOT 531899 SOS 361118 HAS SOPS 361056 HAS SOUS 89174 HAS SOUPS 89158 WITH SCORE 89519.118
AT ITER 4939 NEW BEST:: SOT 531903 SOS 361111 HAS SOPS 361049 HAS SOUS 89155 HAS SOUPS 89139 WITH SCORE 89500.111
AT ITER 4944 NEW BEST:: SOT 531798 SOS 361206 HAS SOPS 361144 HAS SOUS 89069 HAS SOUPS 89053 WITH SCORE 89414.206
AT ITER 4951 NEW BEST:: SOT 531749 SOS 361108 HAS SOPS 361046 HAS SOUS 88949 HAS SOUPS 88933 WITH SCORE 89294.108
AT ITER 4964 NEW BEST:: SOT 531578 SOS 355279 HAS SOPS 355217 HAS SOUS 88732 HAS SOUPS 88716 WITH SCORE 89071.279
AT ITER 4971 NEW BEST:: SOT 531574 SOS 355271 HAS SOPS 355209 HAS SOUS 88728 HAS SOUPS 88712 WITH SCORE 89067.271
AT ITER 4995 NEW BEST:: SOT 531545 SOS 355180 HAS SOPS 355118 HAS SOUS 88545 HAS SOUPS 88529 WITH SCORE 88884.18
AT ITER 5000 NEW BEST:: SOT 531262 SOS 357642 HAS SOPS 357580 HAS SOUS 88213 HAS SOUPS 88197 WITH SCORE 88554.642
AT ITER 5018 NEW BEST:: SOT 531262 SOS 357642 HAS SOPS 357580 HAS SOUS 88212 HAS SOUPS 88196 WITH SCORE 88553.642
AT ITER 5060 NEW BEST:: SOT 531266 SOS 357629 HAS SOPS 357567 HAS SOUS 88212 HAS SOUPS 88196 WITH SCORE 88553.629
AT ITER 5063 NEW BEST:: SOT 531206 SOS 357581 HAS SOPS 357519 HAS SOUS 88095 HAS SOUPS 88079 WITH SCORE 88436.581
AT ITER 5072 NEW BEST:: SOT 531205 SOS 357648 HAS SOPS 357586 HAS SOUS 88090 HAS SOUPS 88074 WITH SCORE 88431.648
AT ITER 5073 NEW BEST:: SOT 531222 SOS 357644 HAS SOPS 357582 HAS SOUS 88040 HAS SOUPS 88024 WITH SCORE 88381.644
AT ITER 5108 NEW BEST:: SOT 531206 SOS 357628 HAS SOPS 357566 HAS SOUS 88001 HAS SOUPS 87985 WITH SCORE 88342.628
AT ITER 5149 NEW BEST:: SOT 531189 SOS 357611 HAS SOPS 357549 HAS SOUS 87967 HAS SOUPS 87951 WITH SCORE 88308.611
AT ITER 5166 NEW BEST:: SOT 531186 SOS 357580 HAS SOPS 357518 HAS SOUS 87905 HAS SOUPS 87889 WITH SCORE 88246.58
AT ITER 5169 NEW BEST:: SOT 531189 SOS 357583 HAS SOPS 357521 HAS SOUS 87877 HAS SOUPS 87861 WITH SCORE 88218.583
AT ITER 5177 NEW BEST:: SOT 531152 SOS 357546 HAS SOPS 357484 HAS SOUS 87841 HAS SOUPS 87825 WITH SCORE 88182.546
AT ITER 5185 NEW BEST:: SOT 531122 SOS 357474 HAS SOPS 357412 HAS SOUS 87789 HAS SOUPS 87773 WITH SCORE 88130.474
AT ITER 5222 NEW BEST:: SOT 531122 SOS 357474 HAS SOPS 357412 HAS SOUS 87763 HAS SOUPS 87747 WITH SCORE 88104.474
AT ITER 5233 NEW BEST:: SOT 531083 SOS 357462 HAS SOPS 357400 HAS SOUS 87751 HAS SOUPS 87735 WITH SCORE 88092.462
AT ITER 5264 NEW BEST:: SOT 531078 SOS 357457 HAS SOPS 357395 HAS SOUS 87746 HAS SOUPS 87730 WITH SCORE 88087.457
AT ITER 5275 NEW BEST:: SOT 531002 SOS 357419 HAS SOPS 357357 HAS SOUS 87708 HAS SOUPS 87692 WITH SCORE 88049.419
AT ITER 5331 NEW BEST:: SOT 530966 SOS 357383 HAS SOPS 357321 HAS SOUS 87659 HAS SOUPS 87643 WITH SCORE 88000.383
AT ITER 5340 NEW BEST:: SOT 530961 SOS 357378 HAS SOPS 357316 HAS SOUS 87654 HAS SOUPS 87638 WITH SCORE 87995.378
AT ITER 5373 NEW BEST:: SOT 530961 SOS 357373 HAS SOPS 357311 HAS SOUS 87654 HAS SOUPS 87638 WITH SCORE 87995.373
AT ITER 5389 NEW BEST:: SOT 530923 SOS 357329 HAS SOPS 357267 HAS SOUS 87597 HAS SOUPS 87581 WITH SCORE 87938.329
AT ITER 5390 NEW BEST:: SOT 530868 SOS 357329 HAS SOPS 357267 HAS SOUS 87528 HAS SOUPS 87512 WITH SCORE 87869.329
AT ITER 5405 NEW BEST:: SOT 530863 SOS 357084 HAS SOPS 357022 HAS SOUS 87521 HAS SOUPS 87505 WITH SCORE 87862.084
AT ITER 5436 NEW BEST:: SOT 530842 SOS 357042 HAS SOPS 356980 HAS SOUS 87495 HAS SOUPS 87479 WITH SCORE 87836.042
AT ITER 5442 NEW BEST:: SOT 530814 SOS 357014 HAS SOPS 356952 HAS SOUS 87477 HAS SOUPS 87461 WITH SCORE 87818.014
AT ITER 5446 NEW BEST:: SOT 530804 SOS 356995 HAS SOPS 356933 HAS SOUS 87365 HAS SOUPS 87349 WITH SCORE 87705.995
AT ITER 5447 NEW BEST:: SOT 530798 SOS 356979 HAS SOPS 356917 HAS SOUS 87355 HAS SOUPS 87339 WITH SCORE 87695.979
AT ITER 5454 NEW BEST:: SOT 530796 SOS 356977 HAS SOPS 356915 HAS SOUS 87353 HAS SOUPS 87337 WITH SCORE 87693.977
AT ITER 5478 NEW BEST:: SOT 530796 SOS 356977 HAS SOPS 356915 HAS SOUS 87346 HAS SOUPS 87330 WITH SCORE 87686.977
AT ITER 5493 NEW BEST:: SOT 527855 SOS 354036 HAS SOPS 353974 HAS SOUS 86675 HAS SOUPS 86659 WITH SCORE 87013.036
AT ITER 5516 NEW BEST:: SOT 527854 SOS 354034 HAS SOPS 353972 HAS SOUS 86646 HAS SOUPS 86630 WITH SCORE 86984.034
AT ITER 5525 NEW BEST:: SOT 527833 SOS 354013 HAS SOPS 353951 HAS SOUS 86620 HAS SOUPS 86604 WITH SCORE 86958.013
AT ITER 5541 NEW BEST:: SOT 527776 SOS 353956 HAS SOPS 353894 HAS SOUS 86518 HAS SOUPS 86502 WITH SCORE 86855.956
AT ITER 5550 NEW BEST:: SOT 527704 SOS 353884 HAS SOPS 353822 HAS SOUS 86511 HAS SOUPS 86495 WITH SCORE 86848.884
AT ITER 5553 NEW BEST:: SOT 527646 SOS 353826 HAS SOPS 353764 HAS SOUS 86510 HAS SOUPS 86494 WITH SCORE 86847.826
AT ITER 5568 NEW BEST:: SOT 527630 SOS 353810 HAS SOPS 353748 HAS SOUS 86494 HAS SOUPS 86478 WITH SCORE 86831.81
AT ITER 5573 NEW BEST:: SOT 527644 SOS 353824 HAS SOPS 353762 HAS SOUS 86487 HAS SOUPS 86471 WITH SCORE 86824.824
AT ITER 5582 NEW BEST:: SOT 527609 SOS 353789 HAS SOPS 353727 HAS SOUS 86438 HAS SOUPS 86422 WITH SCORE 86775.789
AT ITER 5583 NEW BEST:: SOT 527452 SOS 353684 HAS SOPS 353622 HAS SOUS 86333 HAS SOUPS 86317 WITH SCORE 86670.684
AT ITER 5607 NEW BEST:: SOT 527434 SOS 353666 HAS SOPS 353604 HAS SOUS 86294 HAS SOUPS 86278 WITH SCORE 86631.666
AT ITER 5617 NEW BEST:: SOT 527436 SOS 353668 HAS SOPS 353606 HAS SOUS 86282 HAS SOUPS 86266 WITH SCORE 86619.668
AT ITER 5683 NEW BEST:: SOT 527412 SOS 353597 HAS SOPS 353535 HAS SOUS 86156 HAS SOUPS 86140 WITH SCORE 86493.597
AT ITER 5684 NEW BEST:: SOT 527388 SOS 353573 HAS SOPS 353511 HAS SOUS 86132 HAS SOUPS 86116 WITH SCORE 86469.573
AT ITER 5686 NEW BEST:: SOT 527309 SOS 353494 HAS SOPS 353432 HAS SOUS 86028 HAS SOUPS 86012 WITH SCORE 86365.494
AT ITER 5692 NEW BEST:: SOT 527299 SOS 353484 HAS SOPS 353422 HAS SOUS 86008 HAS SOUPS 85992 WITH SCORE 86345.484
AT ITER 5713 NEW BEST:: SOT 527252 SOS 353437 HAS SOPS 353375 HAS SOUS 85927 HAS SOUPS 85911 WITH SCORE 86264.437
AT ITER 5726 NEW BEST:: SOT 527250 SOS 353414 HAS SOPS 353352 HAS SOUS 85903 HAS SOUPS 85887 WITH SCORE 86240.414
AT ITER 5742 NEW BEST:: SOT 527241 SOS 353393 HAS SOPS 353331 HAS SOUS 85882 HAS SOUPS 85866 WITH SCORE 86219.393
AT ITER 5748 NEW BEST:: SOT 527218 SOS 353338 HAS SOPS 353276 HAS SOUS 85827 HAS SOUPS 85811 WITH SCORE 86164.338
AT ITER 5776 NEW BEST:: SOT 527207 SOS 353327 HAS SOPS 353265 HAS SOUS 85805 HAS SOUPS 85789 WITH SCORE 86142.327
AT ITER 5799 NEW BEST:: SOT 527192 SOS 351599 HAS SOPS 351537 HAS SOUS 85789 HAS SOUPS 85773 WITH SCORE 86124.599
AT ITER 5829 NEW BEST:: SOT 527191 SOS 351597 HAS SOPS 351535 HAS SOUS 85787 HAS SOUPS 85771 WITH SCORE 86122.597
AT ITER 5846 NEW BEST:: SOT 527085 SOS 351491 HAS SOPS 351429 HAS SOUS 85575 HAS SOUPS 85559 WITH SCORE 85910.491
AT ITER 5861 NEW BEST:: SOT 527113 SOS 351519 HAS SOPS 351457 HAS SOUS 85552 HAS SOUPS 85536 WITH SCORE 85887.519
AT ITER 5914 NEW BEST:: SOT 527113 SOS 351521 HAS SOPS 351459 HAS SOUS 85550 HAS SOUPS 85534 WITH SCORE 85885.521
AT ITER 5915 NEW BEST:: SOT 527008 SOS 351414 HAS SOPS 351352 HAS SOUS 85443 HAS SOUPS 85427 WITH SCORE 85778.414
AT ITER 5923 NEW BEST:: SOT 526926 SOS 351332 HAS SOPS 351270 HAS SOUS 85327 HAS SOUPS 85311 WITH SCORE 85662.332
AT ITER 5935 NEW BEST:: SOT 526912 SOS 351318 HAS SOPS 351256 HAS SOUS 85306 HAS SOUPS 85290 WITH SCORE 85641.318
AT ITER 5953 NEW BEST:: SOT 526485 SOS 350966 HAS SOPS 350904 HAS SOUS 84975 HAS SOUPS 84959 WITH SCORE 85309.966
AT ITER 5971 NEW BEST:: SOT 514781 SOS 340128 HAS SOPS 340066 HAS SOUS 83289 HAS SOUPS 83273 WITH SCORE 83613.128
AT ITER 5990 NEW BEST:: SOT 514758 SOS 340105 HAS SOPS 340043 HAS SOUS 83266 HAS SOUPS 83250 WITH SCORE 83590.105
AT ITER 5999 NEW BEST:: SOT 514754 SOS 340097 HAS SOPS 340035 HAS SOUS 83244 HAS SOUPS 83228 WITH SCORE 83568.097
AT ITER 6026 NEW BEST:: SOT 514608 SOS 340011 HAS SOPS 339949 HAS SOUS 83092 HAS SOUPS 83076 WITH SCORE 83416.011
AT ITER 6048 NEW BEST:: SOT 514608 SOS 340008 HAS SOPS 339946 HAS SOUS 83089 HAS SOUPS 83073 WITH SCORE 83413.008
AT ITER 6055 NEW BEST:: SOT 514589 SOS 340046 HAS SOPS 339984 HAS SOUS 83045 HAS SOUPS 83029 WITH SCORE 83369.046
AT ITER 6091 NEW BEST:: SOT 514586 SOS 340043 HAS SOPS 339981 HAS SOUS 83039 HAS SOUPS 83023 WITH SCORE 83363.043
AT ITER 6116 NEW BEST:: SOT 514584 SOS 340041 HAS SOPS 339979 HAS SOUS 83037 HAS SOUPS 83021 WITH SCORE 83361.041
AT ITER 6139 NEW BEST:: SOT 514584 SOS 340025 HAS SOPS 339963 HAS SOUS 82983 HAS SOUPS 82967 WITH SCORE 83307.025
AT ITER 6143 NEW BEST:: SOT 514580 SOS 340017 HAS SOPS 339955 HAS SOUS 82975 HAS SOUPS 82959 WITH SCORE 83299.017
AT ITER 6155 NEW BEST:: SOT 499791 SOS 325228 HAS SOPS 325166 HAS SOUS 80950 HAS SOUPS 80934 WITH SCORE 81259.228
AT ITER 6156 NEW BEST:: SOT 499774 SOS 325211 HAS SOPS 325149 HAS SOUS 80916 HAS SOUPS 80900 WITH SCORE 81225.211
AT ITER 6181 NEW BEST:: SOT 499693 SOS 325130 HAS SOPS 325068 HAS SOUS 80776 HAS SOUPS 80760 WITH SCORE 81085.13
AT ITER 6187 NEW BEST:: SOT 499693 SOS 325130 HAS SOPS 325068 HAS SOUS 80760 HAS SOUPS 80744 WITH SCORE 81069.13
AT ITER 6233 NEW BEST:: SOT 499682 SOS 325108 HAS SOPS 325046 HAS SOUS 80716 HAS SOUPS 80700 WITH SCORE 81025.108
AT ITER 6337 NEW BEST:: SOT 499660 SOS 324249 HAS SOPS 324187 HAS SOUS 80706 HAS SOUPS 80690 WITH SCORE 81014.249
AT ITER 6345 NEW BEST:: SOT 499630 SOS 324127 HAS SOPS 324065 HAS SOUS 80523 HAS SOUPS 80507 WITH SCORE 80831.127
AT ITER 6376 NEW BEST:: SOT 499598 SOS 324063 HAS SOPS 324001 HAS SOUS 80453 HAS SOUPS 80437 WITH SCORE 80761.063
AT ITER 6414 NEW BEST:: SOT 499384 SOS 324393 HAS SOPS 324331 HAS SOUS 80310 HAS SOUPS 80294 WITH SCORE 80618.393
AT ITER 6415 NEW BEST:: SOT 499377 SOS 324386 HAS SOPS 324324 HAS SOUS 80283 HAS SOUPS 80267 WITH SCORE 80591.386
AT ITER 6423 NEW BEST:: SOT 499377 SOS 324386 HAS SOPS 324324 HAS SOUS 80273 HAS SOUPS 80257 WITH SCORE 80581.386
AT ITER 6431 NEW BEST:: SOT 499366 SOS 324375 HAS SOPS 324313 HAS SOUS 80251 HAS SOUPS 80235 WITH SCORE 80559.375
AT ITER 6440 NEW BEST:: SOT 499308 SOS 324317 HAS SOPS 324255 HAS SOUS 80135 HAS SOUPS 80119 WITH SCORE 80443.317
AT ITER 6456 NEW BEST:: SOT 499302 SOS 324314 HAS SOPS 324252 HAS SOUS 80129 HAS SOUPS 80113 WITH SCORE 80437.314
AT ITER 6474 NEW BEST:: SOT 499308 SOS 324320 HAS SOPS 324258 HAS SOUS 80095 HAS SOUPS 80079 WITH SCORE 80403.32
AT ITER 6528 NEW BEST:: SOT 499308 SOS 324314 HAS SOPS 324252 HAS SOUS 80095 HAS SOUPS 80079 WITH SCORE 80403.314
AT ITER 6576 NEW BEST:: SOT 499308 SOS 324288 HAS SOPS 324226 HAS SOUS 80095 HAS SOUPS 80079 WITH SCORE 80403.288
AT ITER 6577 NEW BEST:: SOT 499268 SOS 324288 HAS SOPS 324226 HAS SOUS 80035 HAS SOUPS 80019 WITH SCORE 80343.288
AT ITER 6579 NEW BEST:: SOT 499276 SOS 324197 HAS SOPS 324135 HAS SOUS 79997 HAS SOUPS 79981 WITH SCORE 80305.197
AT ITER 6615 NEW BEST:: SOT 499220 SOS 323686 HAS SOPS 323624 HAS SOUS 79850 HAS SOUPS 79834 WITH SCORE 80157.686
AT ITER 6627 NEW BEST:: SOT 499176 SOS 323642 HAS SOPS 323580 HAS SOUS 79762 HAS SOUPS 79746 WITH SCORE 80069.642
AT ITER 6631 NEW BEST:: SOT 499092 SOS 323474 HAS SOPS 323412 HAS SOUS 79622 HAS SOUPS 79606 WITH SCORE 79929.474
AT ITER 6633 NEW BEST:: SOT 499122 SOS 323435 HAS SOPS 323373 HAS SOUS 79588 HAS SOUPS 79572 WITH SCORE 79895.435
AT ITER 6654 NEW BEST:: SOT 499059 SOS 323306 HAS SOPS 323244 HAS SOUS 79525 HAS SOUPS 79509 WITH SCORE 79832.306
AT ITER 6664 NEW BEST:: SOT 499059 SOS 323292 HAS SOPS 323230 HAS SOUS 79461 HAS SOUPS 79445 WITH SCORE 79768.292
AT ITER 6676 NEW BEST:: SOT 499106 SOS 323283 HAS SOPS 323221 HAS SOUS 79452 HAS SOUPS 79436 WITH SCORE 79759.283
AT ITER 6681 NEW BEST:: SOT 499054 SOS 323156 HAS SOPS 323094 HAS SOUS 79415 HAS SOUPS 79399 WITH SCORE 79722.156
AT ITER 6722 NEW BEST:: SOT 499054 SOS 323156 HAS SOPS 323094 HAS SOUS 79412 HAS SOUPS 79396 WITH SCORE 79719.156
AT ITER 6757 NEW BEST:: SOT 499054 SOS 323141 HAS SOPS 323079 HAS SOUS 79397 HAS SOUPS 79381 WITH SCORE 79704.141
AT ITER 6833 NEW BEST:: SOT 499001 SOS 323088 HAS SOPS 323026 HAS SOUS 79291 HAS SOUPS 79275 WITH SCORE 79598.088
AT ITER 6873 NEW BEST:: SOT 499001 SOS 323090 HAS SOPS 323028 HAS SOUS 79287 HAS SOUPS 79271 WITH SCORE 79594.09
AT ITER 6892 NEW BEST:: SOT 498995 SOS 323084 HAS SOPS 323022 HAS SOUS 79252 HAS SOUPS 79236 WITH SCORE 79559.084
AT ITER 6908 NEW BEST:: SOT 498991 SOS 323080 HAS SOPS 323018 HAS SOUS 79244 HAS SOUPS 79228 WITH SCORE 79551.08
AT ITER 6945 NEW BEST:: SOT 498956 SOS 323035 HAS SOPS 322973 HAS SOUS 79197 HAS SOUPS 79181 WITH SCORE 79504.035
AT ITER 7006 NEW BEST:: SOT 498930 SOS 322959 HAS SOPS 322897 HAS SOUS 79180 HAS SOUPS 79164 WITH SCORE 79486.959
AT ITER 7025 NEW BEST:: SOT 498920 SOS 322949 HAS SOPS 322887 HAS SOUS 79170 HAS SOUPS 79154 WITH SCORE 79476.949
AT ITER 7030 NEW BEST:: SOT 498933 SOS 323234 HAS SOPS 323172 HAS SOUS 79098 HAS SOUPS 79082 WITH SCORE 79405.234
AT ITER 7033 NEW BEST:: SOT 498930 SOS 323231 HAS SOPS 323169 HAS SOUS 79092 HAS SOUPS 79076 WITH SCORE 79399.231
AT ITER 7036 NEW BEST:: SOT 498943 SOS 323216 HAS SOPS 323154 HAS SOUS 79081 HAS SOUPS 79065 WITH SCORE 79388.216
AT ITER 7108 NEW BEST:: SOT 498913 SOS 323186 HAS SOPS 323124 HAS SOUS 78989 HAS SOUPS 78973 WITH SCORE 79296.186
AT ITER 7109 NEW BEST:: SOT 498913 SOS 323172 HAS SOPS 323110 HAS SOUS 78986 HAS SOUPS 78970 WITH SCORE 79293.172
AT ITER 7141 NEW BEST:: SOT 498850 SOS 323109 HAS SOPS 323047 HAS SOUS 78850 HAS SOUPS 78834 WITH SCORE 79157.109
AT ITER 7172 NEW BEST:: SOT 498789 SOS 323048 HAS SOPS 322986 HAS SOUS 78822 HAS SOUPS 78806 WITH SCORE 79129.048
AT ITER 7178 NEW BEST:: SOT 498789 SOS 323048 HAS SOPS 322986 HAS SOUS 78808 HAS SOUPS 78792 WITH SCORE 79115.048
AT ITER 7186 NEW BEST:: SOT 498784 SOS 323038 HAS SOPS 322976 HAS SOUS 78798 HAS SOUPS 78782 WITH SCORE 79105.038
AT ITER 7194 NEW BEST:: SOT 498779 SOS 323033 HAS SOPS 322971 HAS SOUS 78793 HAS SOUPS 78777 WITH SCORE 79100.033
AT ITER 7205 NEW BEST:: SOT 498774 SOS 323028 HAS SOPS 322966 HAS SOUS 78788 HAS SOUPS 78772 WITH SCORE 79095.028
AT ITER 7215 NEW BEST:: SOT 498779 SOS 323033 HAS SOPS 322971 HAS SOUS 78783 HAS SOUPS 78767 WITH SCORE 79090.033
AT ITER 7265 NEW BEST:: SOT 498668 SOS 322811 HAS SOPS 322749 HAS SOUS 78489 HAS SOUPS 78473 WITH SCORE 78795.811
AT ITER 7268 NEW BEST:: SOT 498606 SOS 322845 HAS SOPS 322783 HAS SOUS 78448 HAS SOUPS 78432 WITH SCORE 78754.845
AT ITER 7272 NEW BEST:: SOT 498621 SOS 322735 HAS SOPS 322673 HAS SOUS 78443 HAS SOUPS 78427 WITH SCORE 78749.735
AT ITER 7280 NEW BEST:: SOT 498540 SOS 322795 HAS SOPS 322733 HAS SOUS 78392 HAS SOUPS 78376 WITH SCORE 78698.795
AT ITER 7281 NEW BEST:: SOT 498528 SOS 322520 HAS SOPS 322458 HAS SOUS 78323 HAS SOUPS 78307 WITH SCORE 78629.52
AT ITER 7306 NEW BEST:: SOT 498522 SOS 322506 HAS SOPS 322444 HAS SOUS 78315 HAS SOUPS 78299 WITH SCORE 78621.506
AT ITER 7321 NEW BEST:: SOT 498522 SOS 322495 HAS SOPS 322433 HAS SOUS 78271 HAS SOUPS 78255 WITH SCORE 78577.495
AT ITER 7341 NEW BEST:: SOT 498601 SOS 322455 HAS SOPS 322393 HAS SOUS 78223 HAS SOUPS 78207 WITH SCORE 78529.455
AT ITER 7349 NEW BEST:: SOT 498593 SOS 322447 HAS SOPS 322385 HAS SOUS 78220 HAS SOUPS 78204 WITH SCORE 78526.447
AT ITER 7354 NEW BEST:: SOT 498629 SOS 322425 HAS SOPS 322363 HAS SOUS 78068 HAS SOUPS 78052 WITH SCORE 78374.425
AT ITER 7355 NEW BEST:: SOT 498612 SOS 322425 HAS SOPS 322363 HAS SOUS 78051 HAS SOUPS 78035 WITH SCORE 78357.425
AT ITER 7417 NEW BEST:: SOT 498612 SOS 322424 HAS SOPS 322362 HAS SOUS 78051 HAS SOUPS 78035 WITH SCORE 78357.424
AT ITER 7439 NEW BEST:: SOT 498605 SOS 322417 HAS SOPS 322355 HAS SOUS 78046 HAS SOUPS 78030 WITH SCORE 78352.417
AT ITER 7450 NEW BEST:: SOT 498598 SOS 322410 HAS SOPS 322348 HAS SOUS 78032 HAS SOUPS 78016 WITH SCORE 78338.41
AT ITER 7467 NEW BEST:: SOT 498545 SOS 322357 HAS SOPS 322295 HAS SOUS 77982 HAS SOUPS 77966 WITH SCORE 78288.357
AT ITER 7498 NEW BEST:: SOT 498470 SOS 322282 HAS SOPS 322220 HAS SOUS 77754 HAS SOUPS 77738 WITH SCORE 78060.282
AT ITER 7537 NEW BEST:: SOT 498469 SOS 322281 HAS SOPS 322219 HAS SOUS 77745 HAS SOUPS 77729 WITH SCORE 78051.281
AT ITER 7539 NEW BEST:: SOT 498447 SOS 322259 HAS SOPS 322197 HAS SOUS 77666 HAS SOUPS 77650 WITH SCORE 77972.259
AT ITER 7573 NEW BEST:: SOT 498498 SOS 322278 HAS SOPS 322216 HAS SOUS 77652 HAS SOUPS 77636 WITH SCORE 77958.278
AT ITER 7574 NEW BEST:: SOT 498514 SOS 322290 HAS SOPS 322228 HAS SOUS 77546 HAS SOUPS 77530 WITH SCORE 77852.29
AT ITER 7576 NEW BEST:: SOT 498457 SOS 322172 HAS SOPS 322110 HAS SOUS 77375 HAS SOUPS 77359 WITH SCORE 77681.172
AT ITER 7611 NEW BEST:: SOT 498447 SOS 322162 HAS SOPS 322100 HAS SOUS 77360 HAS SOUPS 77344 WITH SCORE 77666.162
AT ITER 7630 NEW BEST:: SOT 498430 SOS 322145 HAS SOPS 322083 HAS SOUS 77326 HAS SOUPS 77310 WITH SCORE 77632.145
AT ITER 7631 NEW BEST:: SOT 498413 SOS 322128 HAS SOPS 322066 HAS SOUS 77301 HAS SOUPS 77285 WITH SCORE 77607.128
AT ITER 7634 NEW BEST:: SOT 498411 SOS 322126 HAS SOPS 322064 HAS SOUS 77279 HAS SOUPS 77263 WITH SCORE 77585.126
AT ITER 7644 NEW BEST:: SOT 498358 SOS 322020 HAS SOPS 321958 HAS SOUS 77226 HAS SOUPS 77210 WITH SCORE 77532.02
AT ITER 7662 NEW BEST:: SOT 498358 SOS 322020 HAS SOPS 321958 HAS SOUS 77224 HAS SOUPS 77208 WITH SCORE 77530.02
AT ITER 7674 NEW BEST:: SOT 498355 SOS 322017 HAS SOPS 321955 HAS SOUS 77222 HAS SOUPS 77206 WITH SCORE 77528.017
AT ITER 7714 NEW BEST:: SOT 498329 SOS 321948 HAS SOPS 321886 HAS SOUS 77052 HAS SOUPS 77036 WITH SCORE 77357.948
AT ITER 7729 NEW BEST:: SOT 498240 SOS 321978 HAS SOPS 321916 HAS SOUS 76979 HAS SOUPS 76963 WITH SCORE 77284.978
AT ITER 7766 NEW BEST:: SOT 498189 SOS 321952 HAS SOPS 321890 HAS SOUS 76932 HAS SOUPS 76916 WITH SCORE 77237.952
AT ITER 7769 NEW BEST:: SOT 498189 SOS 321952 HAS SOPS 321890 HAS SOUS 76931 HAS SOUPS 76915 WITH SCORE 77236.952
AT ITER 7778 NEW BEST:: SOT 498180 SOS 321943 HAS SOPS 321881 HAS SOUS 76913 HAS SOUPS 76897 WITH SCORE 77218.943
AT ITER 7864 NEW BEST:: SOT 498182 SOS 321913 HAS SOPS 321851 HAS SOUS 76913 HAS SOUPS 76897 WITH SCORE 77218.913
AT ITER 7870 NEW BEST:: SOT 498136 SOS 321826 HAS SOPS 321764 HAS SOUS 76792 HAS SOUPS 76776 WITH SCORE 77097.826
AT ITER 7878 NEW BEST:: SOT 498636 SOS 321916 HAS SOPS 321854 HAS SOUS 76564 HAS SOUPS 76548 WITH SCORE 76869.916
AT ITER 7885 NEW BEST:: SOT 498629 SOS 321902 HAS SOPS 321840 HAS SOUS 76550 HAS SOUPS 76534 WITH SCORE 76855.902
AT ITER 7931 NEW BEST:: SOT 498720 SOS 321991 HAS SOPS 321929 HAS SOUS 76449 HAS SOUPS 76433 WITH SCORE 76754.991
AT ITER 7951 NEW BEST:: SOT 498719 SOS 321985 HAS SOPS 321923 HAS SOUS 76443 HAS SOUPS 76427 WITH SCORE 76748.985
AT ITER 7955 NEW BEST:: SOT 498706 SOS 321972 HAS SOPS 321910 HAS SOUS 76417 HAS SOUPS 76401 WITH SCORE 76722.972
AT ITER 7960 NEW BEST:: SOT 498699 SOS 321958 HAS SOPS 321896 HAS SOUS 76403 HAS SOUPS 76387 WITH SCORE 76708.958
AT ITER 7966 NEW BEST:: SOT 498662 SOS 321921 HAS SOPS 321859 HAS SOUS 76329 HAS SOUPS 76313 WITH SCORE 76634.921
AT ITER 7999 NEW BEST:: SOT 498523 SOS 321747 HAS SOPS 321685 HAS SOUS 76100 HAS SOUPS 76084 WITH SCORE 76405.747
AT ITER 8003 NEW BEST:: SOT 498541 SOS 262509 HAS SOPS 262447 HAS SOUS 76096 HAS SOUPS 76080 WITH SCORE 76342.509
AT ITER 8039 NEW BEST:: SOT 498532 SOS 262500 HAS SOPS 262438 HAS SOUS 76087 HAS SOUPS 76071 WITH SCORE 76333.5
AT ITER 8052 NEW BEST:: SOT 498529 SOS 262497 HAS SOPS 262435 HAS SOUS 76051 HAS SOUPS 76035 WITH SCORE 76297.497
AT ITER 8077 NEW BEST:: SOT 498514 SOS 262482 HAS SOPS 262420 HAS SOUS 75992 HAS SOUPS 75976 WITH SCORE 76238.482
AT ITER 8108 NEW BEST:: SOT 498373 SOS 262341 HAS SOPS 262279 HAS SOUS 75859 HAS SOUPS 75843 WITH SCORE 76105.341
AT ITER 8139 NEW BEST:: SOT 498373 SOS 262341 HAS SOPS 262279 HAS SOUS 75843 HAS SOUPS 75827 WITH SCORE 76089.341
AT ITER 8141 NEW BEST:: SOT 498298 SOS 262222 HAS SOPS 262160 HAS SOUS 75592 HAS SOUPS 75576 WITH SCORE 75838.222
AT ITER 8149 NEW BEST:: SOT 498331 SOS 262255 HAS SOPS 262193 HAS SOUS 75584 HAS SOUPS 75568 WITH SCORE 75830.255
AT ITER 8155 NEW BEST:: SOT 498346 SOS 262262 HAS SOPS 262200 HAS SOUS 75575 HAS SOUPS 75559 WITH SCORE 75821.262
AT ITER 8182 NEW BEST:: SOT 498390 SOS 262306 HAS SOPS 262244 HAS SOUS 75465 HAS SOUPS 75449 WITH SCORE 75711.306
AT ITER 8210 NEW BEST:: SOT 498390 SOS 262301 HAS SOPS 262239 HAS SOUS 75465 HAS SOUPS 75449 WITH SCORE 75711.301
AT ITER 8217 NEW BEST:: SOT 498362 SOS 262273 HAS SOPS 262211 HAS SOUS 75338 HAS SOUPS 75322 WITH SCORE 75584.273
AT ITER 8219 NEW BEST:: SOT 498347 SOS 262249 HAS SOPS 262187 HAS SOUS 75308 HAS SOUPS 75292 WITH SCORE 75554.249
AT ITER 8229 NEW BEST:: SOT 498332 SOS 262262 HAS SOPS 262200 HAS SOUS 75287 HAS SOUPS 75271 WITH SCORE 75533.262
AT ITER 8235 NEW BEST:: SOT 498302 SOS 262232 HAS SOPS 262170 HAS SOUS 75232 HAS SOUPS 75216 WITH SCORE 75478.232
AT ITER 8245 NEW BEST:: SOT 498279 SOS 262209 HAS SOPS 262147 HAS SOUS 75212 HAS SOUPS 75196 WITH SCORE 75458.209
AT ITER 8257 NEW BEST:: SOT 498308 SOS 262238 HAS SOPS 262176 HAS SOUS 75188 HAS SOUPS 75172 WITH SCORE 75434.238
AT ITER 8260 NEW BEST:: SOT 498177 SOS 262140 HAS SOPS 262078 HAS SOUS 75069 HAS SOUPS 75053 WITH SCORE 75315.14
AT ITER 8284 NEW BEST:: SOT 498175 SOS 262133 HAS SOPS 262071 HAS SOUS 75062 HAS SOUPS 75046 WITH SCORE 75308.133
AT ITER 8298 NEW BEST:: SOT 498146 SOS 262115 HAS SOPS 262053 HAS SOUS 75044 HAS SOUPS 75028 WITH SCORE 75290.115
AT ITER 8309 NEW BEST:: SOT 498131 SOS 262100 HAS SOPS 262038 HAS SOUS 75014 HAS SOUPS 74998 WITH SCORE 75260.1
AT ITER 8311 NEW BEST:: SOT 498129 SOS 262098 HAS SOPS 262036 HAS SOUS 75010 HAS SOUPS 74994 WITH SCORE 75256.098
AT ITER 8327 NEW BEST:: SOT 498128 SOS 262097 HAS SOPS 262035 HAS SOUS 74833 HAS SOUPS 74817 WITH SCORE 75079.097
AT ITER 8358 NEW BEST:: SOT 498106 SOS 262098 HAS SOPS 262036 HAS SOUS 74790 HAS SOUPS 74774 WITH SCORE 75036.098
AT ITER 8366 NEW BEST:: SOT 498066 SOS 262058 HAS SOPS 261996 HAS SOUS 74734 HAS SOUPS 74718 WITH SCORE 74980.058
AT ITER 8390 NEW BEST:: SOT 498055 SOS 262036 HAS SOPS 261974 HAS SOUS 74712 HAS SOUPS 74696 WITH SCORE 74958.036
AT ITER 8411 NEW BEST:: SOT 497979 SOS 262032 HAS SOPS 261970 HAS SOUS 74708 HAS SOUPS 74692 WITH SCORE 74954.032
AT ITER 8446 NEW BEST:: SOT 497953 SOS 262006 HAS SOPS 261944 HAS SOUS 74640 HAS SOUPS 74624 WITH SCORE 74886.006
AT ITER 8447 NEW BEST:: SOT 497948 SOS 262001 HAS SOPS 261939 HAS SOUS 74635 HAS SOUPS 74619 WITH SCORE 74881.001
AT ITER 8466 NEW BEST:: SOT 497926 SOS 261979 HAS SOPS 261917 HAS SOUS 74582 HAS SOUPS 74566 WITH SCORE 74827.979
AT ITER 8499 NEW BEST:: SOT 497970 SOS 262023 HAS SOPS 261961 HAS SOUS 74566 HAS SOUPS 74550 WITH SCORE 74812.023
AT ITER 8503 NEW BEST:: SOT 497965 SOS 262006 HAS SOPS 261944 HAS SOUS 74565 HAS SOUPS 74549 WITH SCORE 74811.006
AT ITER 8507 NEW BEST:: SOT 497975 SOS 262016 HAS SOPS 261954 HAS SOUS 74549 HAS SOUPS 74533 WITH SCORE 74795.016
AT ITER 8535 NEW BEST:: SOT 497965 SOS 261996 HAS SOPS 261934 HAS SOUS 74499 HAS SOUPS 74483 WITH SCORE 74744.996
AT ITER 8550 NEW BEST:: SOT 497956 SOS 262019 HAS SOPS 261957 HAS SOUS 74481 HAS SOUPS 74465 WITH SCORE 74727.019
AT ITER 8559 NEW BEST:: SOT 497812 SOS 261870 HAS SOPS 261808 HAS SOUS 74203 HAS SOUPS 74187 WITH SCORE 74448.87
AT ITER 8562 NEW BEST:: SOT 497851 SOS 261754 HAS SOPS 261692 HAS SOUS 74106 HAS SOUPS 74090 WITH SCORE 74351.754
AT ITER 8589 NEW BEST:: SOT 497799 SOS 261702 HAS SOPS 261640 HAS SOUS 74032 HAS SOUPS 74016 WITH SCORE 74277.702
AT ITER 8622 NEW BEST:: SOT 497784 SOS 261645 HAS SOPS 261583 HAS SOUS 73975 HAS SOUPS 73959 WITH SCORE 74220.645
AT ITER 8644 NEW BEST:: SOT 497800 SOS 261661 HAS SOPS 261599 HAS SOUS 73971 HAS SOUPS 73955 WITH SCORE 74216.661
AT ITER 8649 NEW BEST:: SOT 497792 SOS 261653 HAS SOPS 261591 HAS SOUS 73963 HAS SOUPS 73947 WITH SCORE 74208.653
AT ITER 8672 NEW BEST:: SOT 497786 SOS 261647 HAS SOPS 261585 HAS SOUS 73957 HAS SOUPS 73941 WITH SCORE 74202.647
AT ITER 8690 NEW BEST:: SOT 497785 SOS 261635 HAS SOPS 261573 HAS SOUS 73945 HAS SOUPS 73929 WITH SCORE 74190.635
AT ITER 8698 NEW BEST:: SOT 497950 SOS 261696 HAS SOPS 261634 HAS SOUS 73653 HAS SOUPS 73637 WITH SCORE 73898.696
AT ITER 8715 NEW BEST:: SOT 497990 SOS 261715 HAS SOPS 261653 HAS SOUS 73557 HAS SOUPS 73541 WITH SCORE 73802.715
AT ITER 8733 NEW BEST:: SOT 498008 SOS 261789 HAS SOPS 261727 HAS SOUS 73505 HAS SOUPS 73489 WITH SCORE 73750.789
AT ITER 8736 NEW BEST:: SOT 498021 SOS 261802 HAS SOPS 261740 HAS SOUS 73497 HAS SOUPS 73481 WITH SCORE 73742.802
AT ITER 8745 NEW BEST:: SOT 498003 SOS 261695 HAS SOPS 261633 HAS SOUS 73432 HAS SOUPS 73416 WITH SCORE 73677.695
AT ITER 8750 NEW BEST:: SOT 497999 SOS 261691 HAS SOPS 261629 HAS SOUS 73428 HAS SOUPS 73412 WITH SCORE 73673.691
AT ITER 8756 NEW BEST:: SOT 498024 SOS 261716 HAS SOPS 261654 HAS SOUS 73425 HAS SOUPS 73409 WITH SCORE 73670.716
AT ITER 8758 NEW BEST:: SOT 497966 SOS 261630 HAS SOPS 261568 HAS SOUS 73277 HAS SOUPS 73261 WITH SCORE 73522.63
AT ITER 8786 NEW BEST:: SOT 497936 SOS 261600 HAS SOPS 261538 HAS SOUS 73245 HAS SOUPS 73229 WITH SCORE 73490.6
AT ITER 8790 NEW BEST:: SOT 497924 SOS 261588 HAS SOPS 261526 HAS SOUS 73229 HAS SOUPS 73213 WITH SCORE 73474.588
AT ITER 8811 NEW BEST:: SOT 497918 SOS 261582 HAS SOPS 261520 HAS SOUS 73197 HAS SOUPS 73181 WITH SCORE 73442.582
AT ITER 8823 NEW BEST:: SOT 497867 SOS 261531 HAS SOPS 261469 HAS SOUS 73116 HAS SOUPS 73100 WITH SCORE 73361.531
AT ITER 8887 NEW BEST:: SOT 497855 SOS 261530 HAS SOPS 261468 HAS SOUS 73113 HAS SOUPS 73097 WITH SCORE 73358.53
AT ITER 8908 NEW BEST:: SOT 497855 SOS 261530 HAS SOPS 261468 HAS SOUS 73103 HAS SOUPS 73087 WITH SCORE 73348.53
AT ITER 8927 NEW BEST:: SOT 497930 SOS 261605 HAS SOPS 261543 HAS SOUS 72985 HAS SOUPS 72969 WITH SCORE 73230.605
AT ITER 8949 NEW BEST:: SOT 497928 SOS 261603 HAS SOPS 261541 HAS SOUS 72981 HAS SOUPS 72965 WITH SCORE 73226.603
AT ITER 8954 NEW BEST:: SOT 497928 SOS 261480 HAS SOPS 261415 HAS SOUS 72977 HAS SOUPS 72959 WITH SCORE 73220.48
AT ITER 8973 NEW BEST:: SOT 497906 SOS 261436 HAS SOPS 261371 HAS SOUS 72933 HAS SOUPS 72915 WITH SCORE 73176.436
AT ITER 9019 NEW BEST:: SOT 498002 SOS 261532 HAS SOPS 261467 HAS SOUS 72680 HAS SOUPS 72662 WITH SCORE 72923.532
AT ITER 9035 NEW BEST:: SOT 498049 SOS 261601 HAS SOPS 261536 HAS SOUS 72664 HAS SOUPS 72646 WITH SCORE 72907.601
AT ITER 9055 NEW BEST:: SOT 498043 SOS 261621 HAS SOPS 261556 HAS SOUS 72658 HAS SOUPS 72640 WITH SCORE 72901.621
AT ITER 9056 NEW BEST:: SOT 498044 SOS 261622 HAS SOPS 261557 HAS SOUS 72650 HAS SOUPS 72632 WITH SCORE 72893.622
AT ITER 9063 NEW BEST:: SOT 498038 SOS 261616 HAS SOPS 261551 HAS SOUS 72638 HAS SOUPS 72620 WITH SCORE 72881.616
AT ITER 9110 NEW BEST:: SOT 498016 SOS 261583 HAS SOPS 261518 HAS SOUS 72571 HAS SOUPS 72553 WITH SCORE 72814.583
AT ITER 9136 NEW BEST:: SOT 498016 SOS 261692 HAS SOPS 261630 HAS SOUS 72561 HAS SOUPS 72543 WITH SCORE 72804.692
AT ITER 9139 NEW BEST:: SOT 498015 SOS 261639 HAS SOPS 261577 HAS SOUS 72541 HAS SOUPS 72523 WITH SCORE 72784.639
AT ITER 9188 NEW BEST:: SOT 498015 SOS 261719 HAS SOPS 261657 HAS SOUS 72516 HAS SOUPS 72498 WITH SCORE 72759.719
AT ITER 9193 NEW BEST:: SOT 497991 SOS 261703 HAS SOPS 261641 HAS SOUS 72484 HAS SOUPS 72466 WITH SCORE 72727.703
AT ITER 9209 NEW BEST:: SOT 497991 SOS 261693 HAS SOPS 261631 HAS SOUS 72474 HAS SOUPS 72456 WITH SCORE 72717.693
AT ITER 9246 NEW BEST:: SOT 497970 SOS 261651 HAS SOPS 261589 HAS SOUS 72424 HAS SOUPS 72406 WITH SCORE 72667.651
AT ITER 9255 NEW BEST:: SOT 497956 SOS 261637 HAS SOPS 261575 HAS SOUS 72388 HAS SOUPS 72370 WITH SCORE 72631.637
AT ITER 9264 NEW BEST:: SOT 497948 SOS 261629 HAS SOPS 261567 HAS SOUS 72321 HAS SOUPS 72303 WITH SCORE 72564.629
AT ITER 9292 NEW BEST:: SOT 497951 SOS 261616 HAS SOPS 261554 HAS SOUS 72282 HAS SOUPS 72264 WITH SCORE 72525.616
AT ITER 9297 NEW BEST:: SOT 497957 SOS 261623 HAS SOPS 261561 HAS SOUS 72280 HAS SOUPS 72262 WITH SCORE 72523.623
AT ITER 9323 NEW BEST:: SOT 497896 SOS 261534 HAS SOPS 261472 HAS SOUS 72095 HAS SOUPS 72077 WITH SCORE 72338.534
AT ITER 9361 NEW BEST:: SOT 497896 SOS 261507 HAS SOPS 261445 HAS SOUS 72095 HAS SOUPS 72077 WITH SCORE 72338.507
AT ITER 9389 NEW BEST:: SOT 497877 SOS 261488 HAS SOPS 261426 HAS SOUS 72057 HAS SOUPS 72039 WITH SCORE 72300.488
AT ITER 9458 NEW BEST:: SOT 497876 SOS 261486 HAS SOPS 261424 HAS SOUS 72054 HAS SOUPS 72036 WITH SCORE 72297.486
AT ITER 9462 NEW BEST:: SOT 497842 SOS 261448 HAS SOPS 261386 HAS SOUS 72016 HAS SOUPS 71998 WITH SCORE 72259.448
AT ITER 9487 NEW BEST:: SOT 497825 SOS 261431 HAS SOPS 261369 HAS SOUS 71993 HAS SOUPS 71975 WITH SCORE 72236.431
AT ITER 9498 NEW BEST:: SOT 497825 SOS 261431 HAS SOPS 261369 HAS SOUS 71991 HAS SOUPS 71973 WITH SCORE 72234.431
AT ITER 9499 NEW BEST:: SOT 497825 SOS 261422 HAS SOPS 261360 HAS SOUS 71991 HAS SOUPS 71973 WITH SCORE 72234.422
AT ITER 9511 NEW BEST:: SOT 497818 SOS 261415 HAS SOPS 261353 HAS SOUS 71978 HAS SOUPS 71960 WITH SCORE 72221.415
AT ITER 9521 NEW BEST:: SOT 497814 SOS 261411 HAS SOPS 261349 HAS SOUS 71978 HAS SOUPS 71960 WITH SCORE 72221.411
AT ITER 9560 NEW BEST:: SOT 497777 SOS 261374 HAS SOPS 261312 HAS SOUS 71965 HAS SOUPS 71947 WITH SCORE 72208.374
AT ITER 9565 NEW BEST:: SOT 497807 SOS 261407 HAS SOPS 261345 HAS SOUS 71927 HAS SOUPS 71909 WITH SCORE 72170.407
AT ITER 9632 NEW BEST:: SOT 497804 SOS 261368 HAS SOPS 261306 HAS SOUS 71924 HAS SOUPS 71906 WITH SCORE 72167.368
AT ITER 9678 NEW BEST:: SOT 497791 SOS 261342 HAS SOPS 261280 HAS SOUS 71898 HAS SOUPS 71880 WITH SCORE 72141.342
AT ITER 9683 NEW BEST:: SOT 497780 SOS 261331 HAS SOPS 261269 HAS SOUS 71871 HAS SOUPS 71853 WITH SCORE 72114.331
AT ITER 9754 NEW BEST:: SOT 497780 SOS 261321 HAS SOPS 261259 HAS SOUS 71866 HAS SOUPS 71848 WITH SCORE 72109.321
AT ITER 9759 NEW BEST:: SOT 497784 SOS 261325 HAS SOPS 261263 HAS SOUS 71846 HAS SOUPS 71828 WITH SCORE 72089.325
AT ITER 9769 NEW BEST:: SOT 497784 SOS 261259 HAS SOPS 261197 HAS SOUS 71846 HAS SOUPS 71828 WITH SCORE 72089.259
AT ITER 9795 NEW BEST:: SOT 497758 SOS 261255 HAS SOPS 261193 HAS SOUS 71842 HAS SOUPS 71824 WITH SCORE 72085.255
AT ITER 9802 NEW BEST:: SOT 497758 SOS 261255 HAS SOPS 261193 HAS SOUS 71836 HAS SOUPS 71818 WITH SCORE 72079.255
AT ITER 9813 NEW BEST:: SOT 497650 SOS 261223 HAS SOPS 261161 HAS SOUS 71800 HAS SOUPS 71782 WITH SCORE 72043.223
AT ITER 9816 NEW BEST:: SOT 497661 SOS 261234 HAS SOPS 261172 HAS SOUS 71780 HAS SOUPS 71762 WITH SCORE 72023.234
AT ITER 9838 NEW BEST:: SOT 497661 SOS 261236 HAS SOPS 261174 HAS SOUS 71769 HAS SOUPS 71751 WITH SCORE 72012.236
AT ITER 9860 NEW BEST:: SOT 497652 SOS 261236 HAS SOPS 261174 HAS SOUS 71751 HAS SOUPS 71733 WITH SCORE 71994.236
AT ITER 9883 NEW BEST:: SOT 497632 SOS 261180 HAS SOPS 261118 HAS SOUS 71664 HAS SOUPS 71646 WITH SCORE 71907.18
AT ITER 9909 NEW BEST:: SOT 497730 SOS 261278 HAS SOPS 261216 HAS SOUS 71641 HAS SOUPS 71623 WITH SCORE 71884.278
AT ITER 9920 NEW BEST:: SOT 497724 SOS 261266 HAS SOPS 261204 HAS SOUS 71605 HAS SOUPS 71587 WITH SCORE 71848.266
AT ITER 9932 NEW BEST:: SOT 497815 SOS 261332 HAS SOPS 261270 HAS SOUS 71545 HAS SOUPS 71527 WITH SCORE 71788.332
AT ITER 9978 NEW BEST:: SOT 497820 SOS 261337 HAS SOPS 261275 HAS SOUS 71524 HAS SOUPS 71506 WITH SCORE 71767.337
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 268192 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16267512 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBNT-PT-S05J40"
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 PolyORBNT-PT-S05J40, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r299-tall-167873953400736"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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