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

About the Execution of Smart+red for NQueens-PT-15

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16152.020 3600000.00 3600375.00 17583.10 [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.r267-smll-167863541300048.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 NQueens-PT-15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541300048
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 704K
-rw-r--r-- 1 mcc users 7.0K Feb 26 17:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 26 17:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 17:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 17:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 17:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 110K Feb 26 17:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 17K Feb 26 17:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 129K Feb 26 17:10 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 203K Mar 5 18:22 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 1678738175929

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=NQueens-PT-15
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 20:09:39] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 20:09:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 20:09:39] [INFO ] Load time of PNML (sax parser for PT used): 156 ms
[2023-03-13 20:09:39] [INFO ] Transformed 315 places.
[2023-03-13 20:09:39] [INFO ] Transformed 225 transitions.
[2023-03-13 20:09:39] [INFO ] Parsed PT model containing 315 places and 225 transitions and 1125 arcs in 299 ms.
[2023-03-13 20:09:39] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 315 places, 225 transitions and 1125 arcs took 13 ms.
Total runtime 379 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NQueens (PT), instance 15
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: 315 places, 225 transitions, 1125 arcs.
AT ITER 0 NEW BEST:: SOT 56762 SOS 36250 HAS SOPS 36250 HAS SOUS 31158 HAS SOUPS 31158 WITH SCORE 31194.25
AT ITER 6 NEW BEST:: SOT 56697 SOS 36355 HAS SOPS 36355 HAS SOUS 31149 HAS SOUPS 31149 WITH SCORE 31185.355
AT ITER 7 NEW BEST:: SOT 56593 SOS 36283 HAS SOPS 36283 HAS SOUS 31081 HAS SOUPS 31081 WITH SCORE 31117.283
AT ITER 12 NEW BEST:: SOT 56593 SOS 36213 HAS SOPS 36213 HAS SOUS 31081 HAS SOUPS 31081 WITH SCORE 31117.213
AT ITER 13 NEW BEST:: SOT 56563 SOS 36171 HAS SOPS 36171 HAS SOUS 31048 HAS SOUPS 31048 WITH SCORE 31084.171
AT ITER 16 NEW BEST:: SOT 56500 SOS 36232 HAS SOPS 36232 HAS SOUS 30989 HAS SOUPS 30989 WITH SCORE 31025.232
AT ITER 19 NEW BEST:: SOT 56500 SOS 35829 HAS SOPS 35829 HAS SOUS 30989 HAS SOUPS 30989 WITH SCORE 31024.829
AT ITER 21 NEW BEST:: SOT 56500 SOS 35816 HAS SOPS 35816 HAS SOUS 30989 HAS SOUPS 30989 WITH SCORE 31024.816
AT ITER 24 NEW BEST:: SOT 56500 SOS 35687 HAS SOPS 35687 HAS SOUS 30947 HAS SOUPS 30947 WITH SCORE 30982.687
AT ITER 33 NEW BEST:: SOT 56500 SOS 35631 HAS SOPS 35631 HAS SOUS 30947 HAS SOUPS 30947 WITH SCORE 30982.631
AT ITER 38 NEW BEST:: SOT 56453 SOS 35845 HAS SOPS 35845 HAS SOUS 30935 HAS SOUPS 30935 WITH SCORE 30970.845
AT ITER 50 NEW BEST:: SOT 56453 SOS 35752 HAS SOPS 35752 HAS SOUS 30921 HAS SOUPS 30921 WITH SCORE 30956.752
AT ITER 61 NEW BEST:: SOT 56453 SOS 35693 HAS SOPS 35693 HAS SOUS 30909 HAS SOUPS 30909 WITH SCORE 30944.693
AT ITER 62 NEW BEST:: SOT 56453 SOS 35659 HAS SOPS 35659 HAS SOUS 30909 HAS SOUPS 30909 WITH SCORE 30944.659
AT ITER 64 NEW BEST:: SOT 56453 SOS 35611 HAS SOPS 35611 HAS SOUS 30909 HAS SOUPS 30909 WITH SCORE 30944.611
AT ITER 69 NEW BEST:: SOT 56400 SOS 36042 HAS SOPS 36042 HAS SOUS 30894 HAS SOUPS 30894 WITH SCORE 30930.042
AT ITER 70 NEW BEST:: SOT 56360 SOS 36282 HAS SOPS 36282 HAS SOUS 30877 HAS SOUPS 30877 WITH SCORE 30913.282
AT ITER 71 NEW BEST:: SOT 56280 SOS 36698 HAS SOPS 36698 HAS SOUS 30832 HAS SOUPS 30832 WITH SCORE 30868.698
AT ITER 76 NEW BEST:: SOT 56176 SOS 36830 HAS SOPS 36830 HAS SOUS 30743 HAS SOUPS 30743 WITH SCORE 30779.83
AT ITER 83 NEW BEST:: SOT 55929 SOS 36999 HAS SOPS 36999 HAS SOUS 30731 HAS SOUPS 30731 WITH SCORE 30767.999
AT ITER 84 NEW BEST:: SOT 55870 SOS 37019 HAS SOPS 37019 HAS SOUS 30649 HAS SOUPS 30649 WITH SCORE 30686.019
AT ITER 85 NEW BEST:: SOT 55870 SOS 36986 HAS SOPS 36986 HAS SOUS 30649 HAS SOUPS 30649 WITH SCORE 30685.986
AT ITER 88 NEW BEST:: SOT 55870 SOS 36842 HAS SOPS 36842 HAS SOUS 30649 HAS SOUPS 30649 WITH SCORE 30685.842
AT ITER 92 NEW BEST:: SOT 55870 SOS 36786 HAS SOPS 36786 HAS SOUS 30649 HAS SOUPS 30649 WITH SCORE 30685.786
AT ITER 100 NEW BEST:: SOT 55879 SOS 36770 HAS SOPS 36770 HAS SOUS 30645 HAS SOUPS 30645 WITH SCORE 30681.77
AT ITER 101 NEW BEST:: SOT 55833 SOS 36812 HAS SOPS 36812 HAS SOUS 30644 HAS SOUPS 30644 WITH SCORE 30680.812
AT ITER 103 NEW BEST:: SOT 55831 SOS 36791 HAS SOPS 36791 HAS SOUS 30625 HAS SOUPS 30625 WITH SCORE 30661.791
AT ITER 109 NEW BEST:: SOT 55831 SOS 35636 HAS SOPS 35636 HAS SOUS 30625 HAS SOUPS 30625 WITH SCORE 30660.636
AT ITER 113 NEW BEST:: SOT 55796 SOS 35612 HAS SOPS 35612 HAS SOUS 30573 HAS SOUPS 30573 WITH SCORE 30608.612
AT ITER 117 NEW BEST:: SOT 55796 SOS 35512 HAS SOPS 35512 HAS SOUS 30573 HAS SOUPS 30573 WITH SCORE 30608.512
AT ITER 120 NEW BEST:: SOT 55737 SOS 35467 HAS SOPS 35467 HAS SOUS 30511 HAS SOUPS 30511 WITH SCORE 30546.467
AT ITER 122 NEW BEST:: SOT 55737 SOS 35416 HAS SOPS 35416 HAS SOUS 30511 HAS SOUPS 30511 WITH SCORE 30546.416
AT ITER 126 NEW BEST:: SOT 55745 SOS 35093 HAS SOPS 35093 HAS SOUS 30350 HAS SOUPS 30350 WITH SCORE 30385.093
AT ITER 133 NEW BEST:: SOT 55647 SOS 35106 HAS SOPS 35106 HAS SOUS 30310 HAS SOUPS 30310 WITH SCORE 30345.106
AT ITER 139 NEW BEST:: SOT 55662 SOS 35121 HAS SOPS 35121 HAS SOUS 30305 HAS SOUPS 30305 WITH SCORE 30340.121
AT ITER 142 NEW BEST:: SOT 55662 SOS 35102 HAS SOPS 35102 HAS SOUS 30305 HAS SOUPS 30305 WITH SCORE 30340.102
AT ITER 143 NEW BEST:: SOT 55662 SOS 35102 HAS SOPS 35102 HAS SOUS 30270 HAS SOUPS 30270 WITH SCORE 30305.102
AT ITER 160 NEW BEST:: SOT 55578 SOS 34995 HAS SOPS 34995 HAS SOUS 30153 HAS SOUPS 30153 WITH SCORE 30187.995
AT ITER 161 NEW BEST:: SOT 55578 SOS 34994 HAS SOPS 34994 HAS SOUS 30152 HAS SOUPS 30152 WITH SCORE 30186.994
AT ITER 162 NEW BEST:: SOT 55592 SOS 34990 HAS SOPS 34990 HAS SOUS 30121 HAS SOUPS 30121 WITH SCORE 30155.99
AT ITER 165 NEW BEST:: SOT 55592 SOS 34041 HAS SOPS 34041 HAS SOUS 30121 HAS SOUPS 30121 WITH SCORE 30155.041
AT ITER 168 NEW BEST:: SOT 55592 SOS 34019 HAS SOPS 34019 HAS SOUS 30106 HAS SOUPS 30106 WITH SCORE 30140.019
AT ITER 170 NEW BEST:: SOT 55459 SOS 34032 HAS SOPS 34032 HAS SOUS 30029 HAS SOUPS 30029 WITH SCORE 30063.032
AT ITER 172 NEW BEST:: SOT 55381 SOS 33950 HAS SOPS 33950 HAS SOUS 29933 HAS SOUPS 29933 WITH SCORE 29966.95
AT ITER 177 NEW BEST:: SOT 55365 SOS 33927 HAS SOPS 33927 HAS SOUS 29910 HAS SOUPS 29910 WITH SCORE 29943.927
AT ITER 181 NEW BEST:: SOT 55321 SOS 33990 HAS SOPS 33990 HAS SOUS 29909 HAS SOUPS 29909 WITH SCORE 29942.99
AT ITER 189 NEW BEST:: SOT 55231 SOS 33910 HAS SOPS 33910 HAS SOUS 29881 HAS SOUPS 29881 WITH SCORE 29914.91
AT ITER 191 NEW BEST:: SOT 55200 SOS 33905 HAS SOPS 33905 HAS SOUS 29858 HAS SOUPS 29858 WITH SCORE 29891.905
AT ITER 195 NEW BEST:: SOT 55200 SOS 33879 HAS SOPS 33879 HAS SOUS 29858 HAS SOUPS 29858 WITH SCORE 29891.879
AT ITER 196 NEW BEST:: SOT 55203 SOS 33836 HAS SOPS 33836 HAS SOUS 29838 HAS SOUPS 29838 WITH SCORE 29871.836
AT ITER 199 NEW BEST:: SOT 55199 SOS 33870 HAS SOPS 33870 HAS SOUS 29807 HAS SOUPS 29807 WITH SCORE 29840.87
AT ITER 202 NEW BEST:: SOT 55199 SOS 33496 HAS SOPS 33496 HAS SOUS 29782 HAS SOUPS 29782 WITH SCORE 29815.496
AT ITER 205 NEW BEST:: SOT 55187 SOS 33354 HAS SOPS 33354 HAS SOUS 29766 HAS SOUPS 29766 WITH SCORE 29799.354
AT ITER 208 NEW BEST:: SOT 55187 SOS 33354 HAS SOPS 33354 HAS SOUS 29746 HAS SOUPS 29746 WITH SCORE 29779.354
AT ITER 222 NEW BEST:: SOT 55237 SOS 33348 HAS SOPS 33348 HAS SOUS 29731 HAS SOUPS 29731 WITH SCORE 29764.348
AT ITER 228 NEW BEST:: SOT 55100 SOS 33339 HAS SOPS 33339 HAS SOUS 29621 HAS SOUPS 29621 WITH SCORE 29654.339
AT ITER 230 NEW BEST:: SOT 55100 SOS 33321 HAS SOPS 33321 HAS SOUS 29621 HAS SOUPS 29621 WITH SCORE 29654.321
AT ITER 234 NEW BEST:: SOT 55113 SOS 33328 HAS SOPS 33328 HAS SOUS 29620 HAS SOUPS 29620 WITH SCORE 29653.328
AT ITER 241 NEW BEST:: SOT 55129 SOS 33243 HAS SOPS 33243 HAS SOUS 29586 HAS SOUPS 29586 WITH SCORE 29619.243
AT ITER 249 NEW BEST:: SOT 55129 SOS 33162 HAS SOPS 33162 HAS SOUS 29541 HAS SOUPS 29541 WITH SCORE 29574.162
AT ITER 251 NEW BEST:: SOT 55129 SOS 33156 HAS SOPS 33156 HAS SOUS 29541 HAS SOUPS 29541 WITH SCORE 29574.156
AT ITER 253 NEW BEST:: SOT 55115 SOS 33159 HAS SOPS 33159 HAS SOUS 29520 HAS SOUPS 29520 WITH SCORE 29553.159
AT ITER 256 NEW BEST:: SOT 55115 SOS 33121 HAS SOPS 33121 HAS SOUS 29520 HAS SOUPS 29520 WITH SCORE 29553.121
AT ITER 274 NEW BEST:: SOT 55115 SOS 33090 HAS SOPS 33090 HAS SOUS 29520 HAS SOUPS 29520 WITH SCORE 29553.09
AT ITER 282 NEW BEST:: SOT 55115 SOS 32987 HAS SOPS 32987 HAS SOUS 29520 HAS SOUPS 29520 WITH SCORE 29552.987
AT ITER 285 NEW BEST:: SOT 55115 SOS 32955 HAS SOPS 32955 HAS SOUS 29520 HAS SOUPS 29520 WITH SCORE 29552.955
AT ITER 297 NEW BEST:: SOT 55115 SOS 32916 HAS SOPS 32916 HAS SOUS 29520 HAS SOUPS 29520 WITH SCORE 29552.916
AT ITER 302 NEW BEST:: SOT 55092 SOS 32894 HAS SOPS 32894 HAS SOUS 29514 HAS SOUPS 29514 WITH SCORE 29546.894
AT ITER 305 NEW BEST:: SOT 55092 SOS 32695 HAS SOPS 32695 HAS SOUS 29514 HAS SOUPS 29514 WITH SCORE 29546.695
AT ITER 308 NEW BEST:: SOT 55092 SOS 32684 HAS SOPS 32684 HAS SOUS 29514 HAS SOUPS 29514 WITH SCORE 29546.684
AT ITER 309 NEW BEST:: SOT 55092 SOS 32539 HAS SOPS 32539 HAS SOUS 29513 HAS SOUPS 29513 WITH SCORE 29545.539
AT ITER 315 NEW BEST:: SOT 55171 SOS 32618 HAS SOPS 32618 HAS SOUS 29422 HAS SOUPS 29422 WITH SCORE 29454.618
AT ITER 317 NEW BEST:: SOT 55160 SOS 32554 HAS SOPS 32554 HAS SOUS 29413 HAS SOUPS 29413 WITH SCORE 29445.554
AT ITER 319 NEW BEST:: SOT 55160 SOS 32542 HAS SOPS 32542 HAS SOUS 29413 HAS SOUPS 29413 WITH SCORE 29445.542
AT ITER 322 NEW BEST:: SOT 55160 SOS 32515 HAS SOPS 32515 HAS SOUS 29413 HAS SOUPS 29413 WITH SCORE 29445.515
AT ITER 325 NEW BEST:: SOT 55138 SOS 32468 HAS SOPS 32468 HAS SOUS 29361 HAS SOUPS 29361 WITH SCORE 29393.468
AT ITER 330 NEW BEST:: SOT 55138 SOS 32371 HAS SOPS 32371 HAS SOUS 29302 HAS SOUPS 29302 WITH SCORE 29334.371
AT ITER 331 NEW BEST:: SOT 55138 SOS 32289 HAS SOPS 32289 HAS SOUS 29302 HAS SOUPS 29302 WITH SCORE 29334.289
AT ITER 344 NEW BEST:: SOT 55138 SOS 32254 HAS SOPS 32254 HAS SOUS 29302 HAS SOUPS 29302 WITH SCORE 29334.254
AT ITER 361 NEW BEST:: SOT 55115 SOS 32231 HAS SOPS 32231 HAS SOUS 29272 HAS SOUPS 29272 WITH SCORE 29304.231
AT ITER 366 NEW BEST:: SOT 55110 SOS 32226 HAS SOPS 32226 HAS SOUS 29228 HAS SOUPS 29228 WITH SCORE 29260.226
AT ITER 367 NEW BEST:: SOT 55110 SOS 32164 HAS SOPS 32164 HAS SOUS 29228 HAS SOUPS 29228 WITH SCORE 29260.164
AT ITER 392 NEW BEST:: SOT 55110 SOS 32161 HAS SOPS 32161 HAS SOUS 29228 HAS SOUPS 29228 WITH SCORE 29260.161
AT ITER 403 NEW BEST:: SOT 55104 SOS 32134 HAS SOPS 32134 HAS SOUS 29206 HAS SOUPS 29206 WITH SCORE 29238.134
AT ITER 419 NEW BEST:: SOT 55088 SOS 32100 HAS SOPS 32100 HAS SOUS 29204 HAS SOUPS 29204 WITH SCORE 29236.1
AT ITER 424 NEW BEST:: SOT 55061 SOS 32345 HAS SOPS 32345 HAS SOUS 29203 HAS SOUPS 29203 WITH SCORE 29235.345
AT ITER 429 NEW BEST:: SOT 55061 SOS 31671 HAS SOPS 31671 HAS SOUS 29203 HAS SOUPS 29203 WITH SCORE 29234.671
AT ITER 434 NEW BEST:: SOT 54922 SOS 31844 HAS SOPS 31844 HAS SOUS 29068 HAS SOUPS 29068 WITH SCORE 29099.844
AT ITER 435 NEW BEST:: SOT 54839 SOS 32267 HAS SOPS 32267 HAS SOUS 29044 HAS SOUPS 29044 WITH SCORE 29076.267
AT ITER 436 NEW BEST:: SOT 54839 SOS 32243 HAS SOPS 32243 HAS SOUS 29031 HAS SOUPS 29031 WITH SCORE 29063.243
AT ITER 442 NEW BEST:: SOT 54839 SOS 31928 HAS SOPS 31928 HAS SOUS 29031 HAS SOUPS 29031 WITH SCORE 29062.928
AT ITER 450 NEW BEST:: SOT 54839 SOS 31661 HAS SOPS 31661 HAS SOUS 29031 HAS SOUPS 29031 WITH SCORE 29062.661
AT ITER 453 NEW BEST:: SOT 54839 SOS 31652 HAS SOPS 31652 HAS SOUS 29031 HAS SOUPS 29031 WITH SCORE 29062.652
AT ITER 458 NEW BEST:: SOT 54839 SOS 31609 HAS SOPS 31609 HAS SOUS 29018 HAS SOUPS 29018 WITH SCORE 29049.609
AT ITER 474 NEW BEST:: SOT 54839 SOS 31520 HAS SOPS 31520 HAS SOUS 29018 HAS SOUPS 29018 WITH SCORE 29049.52
AT ITER 481 NEW BEST:: SOT 54839 SOS 31470 HAS SOPS 31470 HAS SOUS 29018 HAS SOUPS 29018 WITH SCORE 29049.47
AT ITER 486 NEW BEST:: SOT 54834 SOS 31465 HAS SOPS 31465 HAS SOUS 29013 HAS SOUPS 29013 WITH SCORE 29044.465
AT ITER 494 NEW BEST:: SOT 54808 SOS 31421 HAS SOPS 31421 HAS SOUS 28970 HAS SOUPS 28970 WITH SCORE 29001.421
AT ITER 496 NEW BEST:: SOT 54753 SOS 31394 HAS SOPS 31394 HAS SOUS 28960 HAS SOUPS 28960 WITH SCORE 28991.394
AT ITER 521 NEW BEST:: SOT 54753 SOS 31323 HAS SOPS 31323 HAS SOUS 28960 HAS SOUPS 28960 WITH SCORE 28991.323
AT ITER 526 NEW BEST:: SOT 54753 SOS 31316 HAS SOPS 31316 HAS SOUS 28960 HAS SOUPS 28960 WITH SCORE 28991.316
AT ITER 535 NEW BEST:: SOT 54753 SOS 31295 HAS SOPS 31295 HAS SOUS 28960 HAS SOUPS 28960 WITH SCORE 28991.295
AT ITER 548 NEW BEST:: SOT 54753 SOS 31276 HAS SOPS 31276 HAS SOUS 28930 HAS SOUPS 28930 WITH SCORE 28961.276
AT ITER 556 NEW BEST:: SOT 54706 SOS 31434 HAS SOPS 31434 HAS SOUS 28901 HAS SOUPS 28901 WITH SCORE 28932.434
AT ITER 566 NEW BEST:: SOT 54706 SOS 31419 HAS SOPS 31419 HAS SOUS 28901 HAS SOUPS 28901 WITH SCORE 28932.419
AT ITER 569 NEW BEST:: SOT 54574 SOS 32088 HAS SOPS 32088 HAS SOUS 28846 HAS SOUPS 28846 WITH SCORE 28878.088
AT ITER 593 NEW BEST:: SOT 54574 SOS 32070 HAS SOPS 32070 HAS SOUS 28846 HAS SOUPS 28846 WITH SCORE 28878.07
AT ITER 595 NEW BEST:: SOT 54574 SOS 32065 HAS SOPS 32065 HAS SOUS 28846 HAS SOUPS 28846 WITH SCORE 28878.065
AT ITER 600 NEW BEST:: SOT 54574 SOS 32044 HAS SOPS 32044 HAS SOUS 28846 HAS SOUPS 28846 WITH SCORE 28878.044
AT ITER 602 NEW BEST:: SOT 54574 SOS 32043 HAS SOPS 32043 HAS SOUS 28846 HAS SOUPS 28846 WITH SCORE 28878.043
AT ITER 605 NEW BEST:: SOT 54574 SOS 32010 HAS SOPS 32010 HAS SOUS 28846 HAS SOUPS 28846 WITH SCORE 28878.01
AT ITER 611 NEW BEST:: SOT 54531 SOS 32481 HAS SOPS 32481 HAS SOUS 28844 HAS SOUPS 28844 WITH SCORE 28876.481
AT ITER 612 NEW BEST:: SOT 54531 SOS 32433 HAS SOPS 32433 HAS SOUS 28796 HAS SOUPS 28796 WITH SCORE 28828.433
AT ITER 620 NEW BEST:: SOT 54533 SOS 32401 HAS SOPS 32401 HAS SOUS 28775 HAS SOUPS 28775 WITH SCORE 28807.401
AT ITER 623 NEW BEST:: SOT 54533 SOS 32439 HAS SOPS 32439 HAS SOUS 28764 HAS SOUPS 28764 WITH SCORE 28796.439
AT ITER 634 NEW BEST:: SOT 54533 SOS 32417 HAS SOPS 32417 HAS SOUS 28764 HAS SOUPS 28764 WITH SCORE 28796.417
AT ITER 646 NEW BEST:: SOT 54438 SOS 33648 HAS SOPS 33648 HAS SOUS 28710 HAS SOUPS 28710 WITH SCORE 28743.648
AT ITER 647 NEW BEST:: SOT 54438 SOS 33648 HAS SOPS 33648 HAS SOUS 28704 HAS SOUPS 28704 WITH SCORE 28737.648
AT ITER 660 NEW BEST:: SOT 54432 SOS 33632 HAS SOPS 33632 HAS SOUS 28698 HAS SOUPS 28698 WITH SCORE 28731.632
AT ITER 663 NEW BEST:: SOT 54422 SOS 33622 HAS SOPS 33622 HAS SOUS 28688 HAS SOUPS 28688 WITH SCORE 28721.622
AT ITER 683 NEW BEST:: SOT 54422 SOS 33619 HAS SOPS 33619 HAS SOUS 28685 HAS SOUPS 28685 WITH SCORE 28718.619
AT ITER 688 NEW BEST:: SOT 54422 SOS 33434 HAS SOPS 33434 HAS SOUS 28685 HAS SOUPS 28685 WITH SCORE 28718.434
AT ITER 690 NEW BEST:: SOT 54422 SOS 33258 HAS SOPS 33258 HAS SOUS 28685 HAS SOUPS 28685 WITH SCORE 28718.258
AT ITER 697 NEW BEST:: SOT 54395 SOS 33172 HAS SOPS 33172 HAS SOUS 28685 HAS SOUPS 28685 WITH SCORE 28718.172
AT ITER 705 NEW BEST:: SOT 54395 SOS 33115 HAS SOPS 33115 HAS SOUS 28685 HAS SOUPS 28685 WITH SCORE 28718.115
AT ITER 707 NEW BEST:: SOT 54395 SOS 33034 HAS SOPS 33034 HAS SOUS 28648 HAS SOUPS 28648 WITH SCORE 28681.034
AT ITER 716 NEW BEST:: SOT 54395 SOS 33062 HAS SOPS 33062 HAS SOUS 28629 HAS SOUPS 28629 WITH SCORE 28662.062
AT ITER 724 NEW BEST:: SOT 54395 SOS 32785 HAS SOPS 32785 HAS SOUS 28629 HAS SOUPS 28629 WITH SCORE 28661.785
AT ITER 728 NEW BEST:: SOT 54394 SOS 32784 HAS SOPS 32784 HAS SOUS 28628 HAS SOUPS 28628 WITH SCORE 28660.784
AT ITER 730 NEW BEST:: SOT 54394 SOS 32764 HAS SOPS 32764 HAS SOUS 28628 HAS SOUPS 28628 WITH SCORE 28660.764
AT ITER 732 NEW BEST:: SOT 54394 SOS 32809 HAS SOPS 32809 HAS SOUS 28622 HAS SOUPS 28622 WITH SCORE 28654.809
AT ITER 742 NEW BEST:: SOT 54393 SOS 32825 HAS SOPS 32825 HAS SOUS 28612 HAS SOUPS 28612 WITH SCORE 28644.825
AT ITER 760 NEW BEST:: SOT 54393 SOS 32786 HAS SOPS 32786 HAS SOUS 28599 HAS SOUPS 28599 WITH SCORE 28631.786
AT ITER 765 NEW BEST:: SOT 54393 SOS 32693 HAS SOPS 32693 HAS SOUS 28599 HAS SOUPS 28599 WITH SCORE 28631.693
AT ITER 773 NEW BEST:: SOT 54393 SOS 32677 HAS SOPS 32677 HAS SOUS 28599 HAS SOUPS 28599 WITH SCORE 28631.677
AT ITER 778 NEW BEST:: SOT 54393 SOS 32687 HAS SOPS 32687 HAS SOUS 28591 HAS SOUPS 28591 WITH SCORE 28623.687
AT ITER 796 NEW BEST:: SOT 54393 SOS 32482 HAS SOPS 32482 HAS SOUS 28591 HAS SOUPS 28591 WITH SCORE 28623.482
AT ITER 805 NEW BEST:: SOT 54393 SOS 32293 HAS SOPS 32293 HAS SOUS 28580 HAS SOUPS 28580 WITH SCORE 28612.293
AT ITER 816 NEW BEST:: SOT 54393 SOS 32207 HAS SOPS 32207 HAS SOUS 28580 HAS SOUPS 28580 WITH SCORE 28612.207
AT ITER 834 NEW BEST:: SOT 54393 SOS 32189 HAS SOPS 32189 HAS SOUS 28580 HAS SOUPS 28580 WITH SCORE 28612.189
AT ITER 840 NEW BEST:: SOT 54393 SOS 32182 HAS SOPS 32182 HAS SOUS 28573 HAS SOUPS 28573 WITH SCORE 28605.182
AT ITER 847 NEW BEST:: SOT 54393 SOS 32156 HAS SOPS 32156 HAS SOUS 28573 HAS SOUPS 28573 WITH SCORE 28605.156
AT ITER 858 NEW BEST:: SOT 54393 SOS 32150 HAS SOPS 32150 HAS SOUS 28573 HAS SOUPS 28573 WITH SCORE 28605.15
AT ITER 872 NEW BEST:: SOT 54393 SOS 32135 HAS SOPS 32135 HAS SOUS 28573 HAS SOUPS 28573 WITH SCORE 28605.135
AT ITER 873 NEW BEST:: SOT 54393 SOS 31905 HAS SOPS 31905 HAS SOUS 28573 HAS SOUPS 28573 WITH SCORE 28604.905
AT ITER 882 NEW BEST:: SOT 54393 SOS 31864 HAS SOPS 31864 HAS SOUS 28573 HAS SOUPS 28573 WITH SCORE 28604.864
AT ITER 887 NEW BEST:: SOT 54089 SOS 31560 HAS SOPS 31560 HAS SOUS 28269 HAS SOUPS 28269 WITH SCORE 28300.56
AT ITER 888 NEW BEST:: SOT 54089 SOS 31512 HAS SOPS 31512 HAS SOUS 28269 HAS SOUPS 28269 WITH SCORE 28300.512
AT ITER 892 NEW BEST:: SOT 54057 SOS 31480 HAS SOPS 31480 HAS SOUS 28237 HAS SOUPS 28237 WITH SCORE 28268.48
AT ITER 901 NEW BEST:: SOT 54057 SOS 31425 HAS SOPS 31425 HAS SOUS 28237 HAS SOUPS 28237 WITH SCORE 28268.425
AT ITER 909 NEW BEST:: SOT 53936 SOS 31414 HAS SOPS 31414 HAS SOUS 28162 HAS SOUPS 28162 WITH SCORE 28193.414
AT ITER 921 NEW BEST:: SOT 53900 SOS 31393 HAS SOPS 31393 HAS SOUS 28161 HAS SOUPS 28161 WITH SCORE 28192.393
AT ITER 928 NEW BEST:: SOT 53900 SOS 31390 HAS SOPS 31390 HAS SOUS 28161 HAS SOUPS 28161 WITH SCORE 28192.39
AT ITER 938 NEW BEST:: SOT 53898 SOS 31388 HAS SOPS 31388 HAS SOUS 28159 HAS SOUPS 28159 WITH SCORE 28190.388
AT ITER 943 NEW BEST:: SOT 53902 SOS 31397 HAS SOPS 31397 HAS SOUS 28151 HAS SOUPS 28151 WITH SCORE 28182.397
AT ITER 954 NEW BEST:: SOT 53867 SOS 31326 HAS SOPS 31326 HAS SOUS 28101 HAS SOUPS 28101 WITH SCORE 28132.326
AT ITER 956 NEW BEST:: SOT 53776 SOS 31121 HAS SOPS 31121 HAS SOUS 28058 HAS SOUPS 28058 WITH SCORE 28089.121
AT ITER 988 NEW BEST:: SOT 53771 SOS 31116 HAS SOPS 31116 HAS SOUS 28053 HAS SOUPS 28053 WITH SCORE 28084.116
AT ITER 991 NEW BEST:: SOT 53771 SOS 31080 HAS SOPS 31080 HAS SOUS 28053 HAS SOUPS 28053 WITH SCORE 28084.08
AT ITER 995 NEW BEST:: SOT 53730 SOS 31057 HAS SOPS 31057 HAS SOUS 28027 HAS SOUPS 28027 WITH SCORE 28058.057
AT ITER 1000 NEW BEST:: SOT 53735 SOS 30982 HAS SOPS 30982 HAS SOUS 27997 HAS SOUPS 27997 WITH SCORE 28027.982
AT ITER 1004 NEW BEST:: SOT 53711 SOS 30950 HAS SOPS 30950 HAS SOUS 27965 HAS SOUPS 27965 WITH SCORE 27995.95
AT ITER 1029 NEW BEST:: SOT 53642 SOS 30892 HAS SOPS 30892 HAS SOUS 27954 HAS SOUPS 27954 WITH SCORE 27984.892
AT ITER 1060 NEW BEST:: SOT 53642 SOS 30872 HAS SOPS 30872 HAS SOUS 27948 HAS SOUPS 27948 WITH SCORE 27978.872
AT ITER 1067 NEW BEST:: SOT 53642 SOS 30842 HAS SOPS 30842 HAS SOUS 27918 HAS SOUPS 27918 WITH SCORE 27948.842
AT ITER 1084 NEW BEST:: SOT 53642 SOS 30821 HAS SOPS 30821 HAS SOUS 27910 HAS SOUPS 27910 WITH SCORE 27940.821
AT ITER 1091 NEW BEST:: SOT 53642 SOS 30803 HAS SOPS 30803 HAS SOUS 27910 HAS SOUPS 27910 WITH SCORE 27940.803
AT ITER 1092 NEW BEST:: SOT 53655 SOS 30799 HAS SOPS 30799 HAS SOUS 27907 HAS SOUPS 27907 WITH SCORE 27937.799
AT ITER 1093 NEW BEST:: SOT 53655 SOS 30657 HAS SOPS 30657 HAS SOUS 27813 HAS SOUPS 27813 WITH SCORE 27843.657
AT ITER 1110 NEW BEST:: SOT 53655 SOS 30597 HAS SOPS 30597 HAS SOUS 27813 HAS SOUPS 27813 WITH SCORE 27843.597
AT ITER 1112 NEW BEST:: SOT 53649 SOS 30585 HAS SOPS 30585 HAS SOUS 27813 HAS SOUPS 27813 WITH SCORE 27843.585
AT ITER 1123 NEW BEST:: SOT 53561 SOS 30579 HAS SOPS 30579 HAS SOUS 27810 HAS SOUPS 27810 WITH SCORE 27840.579
AT ITER 1125 NEW BEST:: SOT 53561 SOS 30498 HAS SOPS 30498 HAS SOUS 27810 HAS SOUPS 27810 WITH SCORE 27840.498
AT ITER 1126 NEW BEST:: SOT 53561 SOS 30401 HAS SOPS 30401 HAS SOUS 27810 HAS SOUPS 27810 WITH SCORE 27840.401
AT ITER 1127 NEW BEST:: SOT 53561 SOS 30407 HAS SOPS 30407 HAS SOUS 27794 HAS SOUPS 27794 WITH SCORE 27824.407
AT ITER 1128 NEW BEST:: SOT 53561 SOS 30353 HAS SOPS 30353 HAS SOUS 27794 HAS SOUPS 27794 WITH SCORE 27824.353
AT ITER 1157 NEW BEST:: SOT 53561 SOS 30349 HAS SOPS 30349 HAS SOUS 27794 HAS SOUPS 27794 WITH SCORE 27824.349
AT ITER 1168 NEW BEST:: SOT 53561 SOS 30302 HAS SOPS 30302 HAS SOUS 27781 HAS SOUPS 27781 WITH SCORE 27811.302
AT ITER 1174 NEW BEST:: SOT 53526 SOS 30357 HAS SOPS 30357 HAS SOUS 27769 HAS SOUPS 27769 WITH SCORE 27799.357
AT ITER 1176 NEW BEST:: SOT 53521 SOS 30352 HAS SOPS 30352 HAS SOUS 27764 HAS SOUPS 27764 WITH SCORE 27794.352
AT ITER 1178 NEW BEST:: SOT 53407 SOS 30358 HAS SOPS 30358 HAS SOUS 27718 HAS SOUPS 27718 WITH SCORE 27748.358
AT ITER 1179 NEW BEST:: SOT 53401 SOS 30352 HAS SOPS 30352 HAS SOUS 27712 HAS SOUPS 27712 WITH SCORE 27742.352
AT ITER 1181 NEW BEST:: SOT 53171 SOS 30468 HAS SOPS 30468 HAS SOUS 27639 HAS SOUPS 27639 WITH SCORE 27669.468
AT ITER 1186 NEW BEST:: SOT 53171 SOS 30433 HAS SOPS 30433 HAS SOUS 27632 HAS SOUPS 27632 WITH SCORE 27662.433
AT ITER 1191 NEW BEST:: SOT 53171 SOS 30410 HAS SOPS 30410 HAS SOUS 27632 HAS SOUPS 27632 WITH SCORE 27662.41
AT ITER 1195 NEW BEST:: SOT 53171 SOS 30412 HAS SOPS 30412 HAS SOUS 27627 HAS SOUPS 27627 WITH SCORE 27657.412
AT ITER 1204 NEW BEST:: SOT 53171 SOS 30401 HAS SOPS 30401 HAS SOUS 27627 HAS SOUPS 27627 WITH SCORE 27657.401
AT ITER 1219 NEW BEST:: SOT 53155 SOS 30366 HAS SOPS 30366 HAS SOUS 27618 HAS SOUPS 27618 WITH SCORE 27648.366
AT ITER 1230 NEW BEST:: SOT 53155 SOS 30345 HAS SOPS 30345 HAS SOUS 27618 HAS SOUPS 27618 WITH SCORE 27648.345
AT ITER 1235 NEW BEST:: SOT 53153 SOS 30343 HAS SOPS 30343 HAS SOUS 27616 HAS SOUPS 27616 WITH SCORE 27646.343
AT ITER 1252 NEW BEST:: SOT 53153 SOS 30341 HAS SOPS 30341 HAS SOUS 27616 HAS SOUPS 27616 WITH SCORE 27646.341
AT ITER 1261 NEW BEST:: SOT 53066 SOS 30268 HAS SOPS 30268 HAS SOUS 27580 HAS SOUPS 27580 WITH SCORE 27610.268
AT ITER 1278 NEW BEST:: SOT 53031 SOS 30250 HAS SOPS 30250 HAS SOUS 27577 HAS SOUPS 27577 WITH SCORE 27607.25
AT ITER 1285 NEW BEST:: SOT 53031 SOS 30226 HAS SOPS 30226 HAS SOUS 27577 HAS SOUPS 27577 WITH SCORE 27607.226
AT ITER 1291 NEW BEST:: SOT 53031 SOS 30206 HAS SOPS 30206 HAS SOUS 27558 HAS SOUPS 27558 WITH SCORE 27588.206
AT ITER 1332 NEW BEST:: SOT 53031 SOS 30184 HAS SOPS 30184 HAS SOUS 27558 HAS SOUPS 27558 WITH SCORE 27588.184
AT ITER 1334 NEW BEST:: SOT 53001 SOS 30141 HAS SOPS 30141 HAS SOUS 27549 HAS SOUPS 27549 WITH SCORE 27579.141
AT ITER 1347 NEW BEST:: SOT 52959 SOS 30187 HAS SOPS 30187 HAS SOUS 27527 HAS SOUPS 27527 WITH SCORE 27557.187
AT ITER 1352 NEW BEST:: SOT 52956 SOS 30172 HAS SOPS 30172 HAS SOUS 27521 HAS SOUPS 27521 WITH SCORE 27551.172
AT ITER 1357 NEW BEST:: SOT 52693 SOS 30126 HAS SOPS 30126 HAS SOUS 27355 HAS SOUPS 27355 WITH SCORE 27385.126
AT ITER 1379 NEW BEST:: SOT 52690 SOS 30123 HAS SOPS 30123 HAS SOUS 27352 HAS SOUPS 27352 WITH SCORE 27382.123
AT ITER 1386 NEW BEST:: SOT 52690 SOS 30104 HAS SOPS 30104 HAS SOUS 27352 HAS SOUPS 27352 WITH SCORE 27382.104
AT ITER 1408 NEW BEST:: SOT 52709 SOS 30104 HAS SOPS 30104 HAS SOUS 27351 HAS SOUPS 27351 WITH SCORE 27381.104
AT ITER 1417 NEW BEST:: SOT 52691 SOS 30086 HAS SOPS 30086 HAS SOUS 27332 HAS SOUPS 27332 WITH SCORE 27362.086
AT ITER 1424 NEW BEST:: SOT 52630 SOS 30048 HAS SOPS 30048 HAS SOUS 27318 HAS SOUPS 27318 WITH SCORE 27348.048
AT ITER 1425 NEW BEST:: SOT 52628 SOS 30046 HAS SOPS 30046 HAS SOUS 27311 HAS SOUPS 27311 WITH SCORE 27341.046
AT ITER 1431 NEW BEST:: SOT 52625 SOS 30043 HAS SOPS 30043 HAS SOUS 27308 HAS SOUPS 27308 WITH SCORE 27338.043
AT ITER 1434 NEW BEST:: SOT 52625 SOS 29892 HAS SOPS 29892 HAS SOUS 27308 HAS SOUPS 27308 WITH SCORE 27337.892
AT ITER 1439 NEW BEST:: SOT 52628 SOS 29859 HAS SOPS 29859 HAS SOUS 27295 HAS SOUPS 27295 WITH SCORE 27324.859
AT ITER 1440 NEW BEST:: SOT 52561 SOS 29797 HAS SOPS 29797 HAS SOUS 27271 HAS SOUPS 27271 WITH SCORE 27300.797
AT ITER 1441 NEW BEST:: SOT 52561 SOS 29742 HAS SOPS 29742 HAS SOUS 27271 HAS SOUPS 27271 WITH SCORE 27300.742
AT ITER 1449 NEW BEST:: SOT 52525 SOS 29711 HAS SOPS 29711 HAS SOUS 27261 HAS SOUPS 27261 WITH SCORE 27290.711
AT ITER 1473 NEW BEST:: SOT 52525 SOS 29690 HAS SOPS 29690 HAS SOUS 27234 HAS SOUPS 27234 WITH SCORE 27263.69
AT ITER 1486 NEW BEST:: SOT 52489 SOS 29633 HAS SOPS 29633 HAS SOUS 27191 HAS SOUPS 27191 WITH SCORE 27220.633
AT ITER 1493 NEW BEST:: SOT 52526 SOS 29621 HAS SOPS 29621 HAS SOUS 27170 HAS SOUPS 27170 WITH SCORE 27199.621
AT ITER 1500 NEW BEST:: SOT 52526 SOS 29466 HAS SOPS 29466 HAS SOUS 27170 HAS SOUPS 27170 WITH SCORE 27199.466
AT ITER 1502 NEW BEST:: SOT 52517 SOS 29457 HAS SOPS 29457 HAS SOUS 27161 HAS SOUPS 27161 WITH SCORE 27190.457
AT ITER 1536 NEW BEST:: SOT 52431 SOS 29387 HAS SOPS 29387 HAS SOUS 27128 HAS SOUPS 27128 WITH SCORE 27157.387
AT ITER 1550 NEW BEST:: SOT 52402 SOS 29373 HAS SOPS 29373 HAS SOUS 27096 HAS SOUPS 27096 WITH SCORE 27125.373
AT ITER 1554 NEW BEST:: SOT 52399 SOS 29454 HAS SOPS 29454 HAS SOUS 27093 HAS SOUPS 27093 WITH SCORE 27122.454
AT ITER 1564 NEW BEST:: SOT 52368 SOS 29466 HAS SOPS 29466 HAS SOUS 27062 HAS SOUPS 27062 WITH SCORE 27091.466
AT ITER 1566 NEW BEST:: SOT 52368 SOS 29460 HAS SOPS 29460 HAS SOUS 27056 HAS SOUPS 27056 WITH SCORE 27085.46
AT ITER 1587 NEW BEST:: SOT 52339 SOS 29437 HAS SOPS 29437 HAS SOUS 27053 HAS SOUPS 27053 WITH SCORE 27082.437
AT ITER 1594 NEW BEST:: SOT 52310 SOS 29408 HAS SOPS 29408 HAS SOUS 27024 HAS SOUPS 27024 WITH SCORE 27053.408
AT ITER 1595 NEW BEST:: SOT 52303 SOS 29482 HAS SOPS 29482 HAS SOUS 27015 HAS SOUPS 27015 WITH SCORE 27044.482
AT ITER 1598 NEW BEST:: SOT 52296 SOS 29488 HAS SOPS 29488 HAS SOUS 27008 HAS SOUPS 27008 WITH SCORE 27037.488
AT ITER 1613 NEW BEST:: SOT 52253 SOS 29445 HAS SOPS 29445 HAS SOUS 26988 HAS SOUPS 26988 WITH SCORE 27017.445
AT ITER 1617 NEW BEST:: SOT 52253 SOS 29443 HAS SOPS 29443 HAS SOUS 26988 HAS SOUPS 26988 WITH SCORE 27017.443
AT ITER 1618 NEW BEST:: SOT 52250 SOS 29440 HAS SOPS 29440 HAS SOUS 26985 HAS SOUPS 26985 WITH SCORE 27014.44
AT ITER 1627 NEW BEST:: SOT 52252 SOS 29414 HAS SOPS 29414 HAS SOUS 26983 HAS SOUPS 26983 WITH SCORE 27012.414
AT ITER 1633 NEW BEST:: SOT 52252 SOS 29394 HAS SOPS 29394 HAS SOUS 26983 HAS SOUPS 26983 WITH SCORE 27012.394
AT ITER 1639 NEW BEST:: SOT 52252 SOS 29390 HAS SOPS 29390 HAS SOUS 26979 HAS SOUPS 26979 WITH SCORE 27008.39
AT ITER 1641 NEW BEST:: SOT 52252 SOS 29387 HAS SOPS 29387 HAS SOUS 26979 HAS SOUPS 26979 WITH SCORE 27008.387
AT ITER 1642 NEW BEST:: SOT 52143 SOS 29321 HAS SOPS 29321 HAS SOUS 26977 HAS SOUPS 26977 WITH SCORE 27006.321
AT ITER 1651 NEW BEST:: SOT 52143 SOS 29321 HAS SOPS 29321 HAS SOUS 26945 HAS SOUPS 26945 WITH SCORE 26974.321
AT ITER 1669 NEW BEST:: SOT 52091 SOS 29282 HAS SOPS 29282 HAS SOUS 26944 HAS SOUPS 26944 WITH SCORE 26973.282
AT ITER 1671 NEW BEST:: SOT 52076 SOS 29267 HAS SOPS 29267 HAS SOUS 26929 HAS SOUPS 26929 WITH SCORE 26958.267
AT ITER 1697 NEW BEST:: SOT 52073 SOS 29264 HAS SOPS 29264 HAS SOUS 26926 HAS SOUPS 26926 WITH SCORE 26955.264
AT ITER 1704 NEW BEST:: SOT 52064 SOS 29535 HAS SOPS 29535 HAS SOUS 26921 HAS SOUPS 26921 WITH SCORE 26950.535
AT ITER 1716 NEW BEST:: SOT 52060 SOS 29543 HAS SOPS 29543 HAS SOUS 26915 HAS SOUPS 26915 WITH SCORE 26944.543
AT ITER 1720 NEW BEST:: SOT 52060 SOS 29526 HAS SOPS 29526 HAS SOUS 26915 HAS SOUPS 26915 WITH SCORE 26944.526
AT ITER 1723 NEW BEST:: SOT 51988 SOS 29472 HAS SOPS 29472 HAS SOUS 26862 HAS SOUPS 26862 WITH SCORE 26891.472
AT ITER 1731 NEW BEST:: SOT 51707 SOS 29199 HAS SOPS 29199 HAS SOUS 26589 HAS SOUPS 26589 WITH SCORE 26618.199
AT ITER 1732 NEW BEST:: SOT 51709 SOS 29203 HAS SOPS 29203 HAS SOUS 26583 HAS SOUPS 26583 WITH SCORE 26612.203
AT ITER 1742 NEW BEST:: SOT 51709 SOS 29187 HAS SOPS 29187 HAS SOUS 26578 HAS SOUPS 26578 WITH SCORE 26607.187
AT ITER 1744 NEW BEST:: SOT 51700 SOS 29178 HAS SOPS 29178 HAS SOUS 26569 HAS SOUPS 26569 WITH SCORE 26598.178
AT ITER 1749 NEW BEST:: SOT 51700 SOS 29110 HAS SOPS 29110 HAS SOUS 26569 HAS SOUPS 26569 WITH SCORE 26598.11
AT ITER 1754 NEW BEST:: SOT 51664 SOS 29076 HAS SOPS 29076 HAS SOUS 26531 HAS SOUPS 26531 WITH SCORE 26560.076
AT ITER 1755 NEW BEST:: SOT 51578 SOS 29018 HAS SOPS 29018 HAS SOUS 26465 HAS SOUPS 26465 WITH SCORE 26494.018
AT ITER 1770 NEW BEST:: SOT 51575 SOS 29004 HAS SOPS 29004 HAS SOUS 26426 HAS SOUPS 26426 WITH SCORE 26455.004
AT ITER 1776 NEW BEST:: SOT 51398 SOS 28983 HAS SOPS 28983 HAS SOUS 26410 HAS SOUPS 26410 WITH SCORE 26438.983
AT ITER 1784 NEW BEST:: SOT 51398 SOS 28921 HAS SOPS 28921 HAS SOUS 26410 HAS SOUPS 26410 WITH SCORE 26438.921
AT ITER 1787 NEW BEST:: SOT 51398 SOS 28900 HAS SOPS 28900 HAS SOUS 26389 HAS SOUPS 26389 WITH SCORE 26417.9
AT ITER 1792 NEW BEST:: SOT 51394 SOS 28896 HAS SOPS 28896 HAS SOUS 26385 HAS SOUPS 26385 WITH SCORE 26413.896
AT ITER 1794 NEW BEST:: SOT 51394 SOS 28868 HAS SOPS 28868 HAS SOUS 26385 HAS SOUPS 26385 WITH SCORE 26413.868
AT ITER 1820 NEW BEST:: SOT 51394 SOS 28863 HAS SOPS 28863 HAS SOUS 26385 HAS SOUPS 26385 WITH SCORE 26413.863
AT ITER 1821 NEW BEST:: SOT 51382 SOS 28851 HAS SOPS 28851 HAS SOUS 26373 HAS SOUPS 26373 WITH SCORE 26401.851
AT ITER 1833 NEW BEST:: SOT 51342 SOS 28811 HAS SOPS 28811 HAS SOUS 26333 HAS SOUPS 26333 WITH SCORE 26361.811
AT ITER 1858 NEW BEST:: SOT 51336 SOS 28807 HAS SOPS 28807 HAS SOUS 26329 HAS SOUPS 26329 WITH SCORE 26357.807
AT ITER 1865 NEW BEST:: SOT 51328 SOS 28846 HAS SOPS 28846 HAS SOUS 26282 HAS SOUPS 26282 WITH SCORE 26310.846
AT ITER 1871 NEW BEST:: SOT 51328 SOS 28846 HAS SOPS 28846 HAS SOUS 26278 HAS SOUPS 26278 WITH SCORE 26306.846
AT ITER 1876 NEW BEST:: SOT 51328 SOS 28824 HAS SOPS 28824 HAS SOUS 26278 HAS SOUPS 26278 WITH SCORE 26306.824
AT ITER 1884 NEW BEST:: SOT 51328 SOS 28749 HAS SOPS 28749 HAS SOUS 26273 HAS SOUPS 26273 WITH SCORE 26301.749
AT ITER 1892 NEW BEST:: SOT 51327 SOS 28748 HAS SOPS 28748 HAS SOUS 26272 HAS SOUPS 26272 WITH SCORE 26300.748
AT ITER 1896 NEW BEST:: SOT 51309 SOS 28723 HAS SOPS 28723 HAS SOUS 26237 HAS SOUPS 26237 WITH SCORE 26265.723
AT ITER 1903 NEW BEST:: SOT 51309 SOS 28716 HAS SOPS 28716 HAS SOUS 26237 HAS SOUPS 26237 WITH SCORE 26265.716
AT ITER 1912 NEW BEST:: SOT 51303 SOS 28710 HAS SOPS 28710 HAS SOUS 26231 HAS SOUPS 26231 WITH SCORE 26259.71
AT ITER 1921 NEW BEST:: SOT 51276 SOS 28683 HAS SOPS 28683 HAS SOUS 26204 HAS SOUPS 26204 WITH SCORE 26232.683
AT ITER 1953 NEW BEST:: SOT 51276 SOS 28693 HAS SOPS 28693 HAS SOUS 26197 HAS SOUPS 26197 WITH SCORE 26225.693
AT ITER 1965 NEW BEST:: SOT 51178 SOS 28634 HAS SOPS 28634 HAS SOUS 26143 HAS SOUPS 26143 WITH SCORE 26171.634
AT ITER 1975 NEW BEST:: SOT 51114 SOS 28673 HAS SOPS 28673 HAS SOUS 26137 HAS SOUPS 26137 WITH SCORE 26165.673
AT ITER 1991 NEW BEST:: SOT 51094 SOS 28678 HAS SOPS 28678 HAS SOUS 26076 HAS SOUPS 26076 WITH SCORE 26104.678
AT ITER 2001 NEW BEST:: SOT 51099 SOS 28668 HAS SOPS 28668 HAS SOUS 26076 HAS SOUPS 26076 WITH SCORE 26104.668
AT ITER 2023 NEW BEST:: SOT 51099 SOS 28644 HAS SOPS 28644 HAS SOUS 26076 HAS SOUPS 26076 WITH SCORE 26104.644
AT ITER 2036 NEW BEST:: SOT 51133 SOS 28640 HAS SOPS 28640 HAS SOUS 26064 HAS SOUPS 26064 WITH SCORE 26092.64
AT ITER 2054 NEW BEST:: SOT 51133 SOS 28633 HAS SOPS 28633 HAS SOUS 26064 HAS SOUPS 26064 WITH SCORE 26092.633
AT ITER 2061 NEW BEST:: SOT 51133 SOS 28611 HAS SOPS 28611 HAS SOUS 26064 HAS SOUPS 26064 WITH SCORE 26092.611
AT ITER 2102 NEW BEST:: SOT 51029 SOS 28761 HAS SOPS 28761 HAS SOUS 26017 HAS SOUPS 26017 WITH SCORE 26045.761
AT ITER 2104 NEW BEST:: SOT 51028 SOS 28760 HAS SOPS 28760 HAS SOUS 26016 HAS SOUPS 26016 WITH SCORE 26044.76
AT ITER 2128 NEW BEST:: SOT 51028 SOS 28740 HAS SOPS 28740 HAS SOUS 26001 HAS SOUPS 26001 WITH SCORE 26029.74
AT ITER 2133 NEW BEST:: SOT 51028 SOS 28721 HAS SOPS 28721 HAS SOUS 26001 HAS SOUPS 26001 WITH SCORE 26029.721
AT ITER 2138 NEW BEST:: SOT 51021 SOS 29036 HAS SOPS 29036 HAS SOUS 25994 HAS SOUPS 25994 WITH SCORE 26023.036
AT ITER 2141 NEW BEST:: SOT 51021 SOS 29014 HAS SOPS 29014 HAS SOUS 25994 HAS SOUPS 25994 WITH SCORE 26023.014
AT ITER 2150 NEW BEST:: SOT 50982 SOS 28975 HAS SOPS 28975 HAS SOUS 25968 HAS SOUPS 25968 WITH SCORE 25996.975
AT ITER 2155 NEW BEST:: SOT 50837 SOS 28870 HAS SOPS 28870 HAS SOUS 25894 HAS SOUPS 25894 WITH SCORE 25922.87
AT ITER 2160 NEW BEST:: SOT 50769 SOS 29307 HAS SOPS 29307 HAS SOUS 25856 HAS SOUPS 25856 WITH SCORE 25885.307
AT ITER 2167 NEW BEST:: SOT 50769 SOS 29304 HAS SOPS 29304 HAS SOUS 25856 HAS SOUPS 25856 WITH SCORE 25885.304
AT ITER 2177 NEW BEST:: SOT 50769 SOS 29288 HAS SOPS 29288 HAS SOUS 25834 HAS SOUPS 25834 WITH SCORE 25863.288
AT ITER 2195 NEW BEST:: SOT 50786 SOS 29305 HAS SOPS 29305 HAS SOUS 25832 HAS SOUPS 25832 WITH SCORE 25861.305
AT ITER 2200 NEW BEST:: SOT 50786 SOS 29295 HAS SOPS 29295 HAS SOUS 25832 HAS SOUPS 25832 WITH SCORE 25861.295
AT ITER 2223 NEW BEST:: SOT 50774 SOS 29283 HAS SOPS 29283 HAS SOUS 25820 HAS SOUPS 25820 WITH SCORE 25849.283
AT ITER 2227 NEW BEST:: SOT 50774 SOS 29225 HAS SOPS 29225 HAS SOUS 25820 HAS SOUPS 25820 WITH SCORE 25849.225
AT ITER 2248 NEW BEST:: SOT 50774 SOS 29214 HAS SOPS 29214 HAS SOUS 25819 HAS SOUPS 25819 WITH SCORE 25848.214
AT ITER 2258 NEW BEST:: SOT 50774 SOS 29190 HAS SOPS 29190 HAS SOUS 25819 HAS SOUPS 25819 WITH SCORE 25848.19
AT ITER 2285 NEW BEST:: SOT 50582 SOS 29017 HAS SOPS 29017 HAS SOUS 25793 HAS SOUPS 25793 WITH SCORE 25822.017
AT ITER 2290 NEW BEST:: SOT 50547 SOS 29025 HAS SOPS 29025 HAS SOUS 25783 HAS SOUPS 25783 WITH SCORE 25812.025
AT ITER 2298 NEW BEST:: SOT 50528 SOS 29000 HAS SOPS 29000 HAS SOUS 25779 HAS SOUPS 25779 WITH SCORE 25808.0
AT ITER 2303 NEW BEST:: SOT 50510 SOS 28991 HAS SOPS 28991 HAS SOUS 25770 HAS SOUPS 25770 WITH SCORE 25798.991
AT ITER 2305 NEW BEST:: SOT 50499 SOS 29005 HAS SOPS 29005 HAS SOUS 25762 HAS SOUPS 25762 WITH SCORE 25791.005
AT ITER 2307 NEW BEST:: SOT 50493 SOS 29476 HAS SOPS 29476 HAS SOUS 25760 HAS SOUPS 25760 WITH SCORE 25789.476
AT ITER 2314 NEW BEST:: SOT 50493 SOS 29416 HAS SOPS 29416 HAS SOUS 25760 HAS SOUPS 25760 WITH SCORE 25789.416
AT ITER 2318 NEW BEST:: SOT 50481 SOS 29835 HAS SOPS 29835 HAS SOUS 25753 HAS SOUPS 25753 WITH SCORE 25782.835
AT ITER 2325 NEW BEST:: SOT 50481 SOS 29802 HAS SOPS 29802 HAS SOUS 25746 HAS SOUPS 25746 WITH SCORE 25775.802
AT ITER 2357 NEW BEST:: SOT 50476 SOS 29801 HAS SOPS 29801 HAS SOUS 25734 HAS SOUPS 25734 WITH SCORE 25763.801
AT ITER 2358 NEW BEST:: SOT 50493 SOS 29784 HAS SOPS 29784 HAS SOUS 25726 HAS SOUPS 25726 WITH SCORE 25755.784
AT ITER 2377 NEW BEST:: SOT 50504 SOS 29766 HAS SOPS 29766 HAS SOUS 25716 HAS SOUPS 25716 WITH SCORE 25745.766
AT ITER 2381 NEW BEST:: SOT 50498 SOS 29760 HAS SOPS 29760 HAS SOUS 25710 HAS SOUPS 25710 WITH SCORE 25739.76
AT ITER 2386 NEW BEST:: SOT 50498 SOS 29736 HAS SOPS 29736 HAS SOUS 25685 HAS SOUPS 25685 WITH SCORE 25714.736
AT ITER 2395 NEW BEST:: SOT 50444 SOS 29725 HAS SOPS 29725 HAS SOUS 25670 HAS SOUPS 25670 WITH SCORE 25699.725
AT ITER 2401 NEW BEST:: SOT 50444 SOS 29718 HAS SOPS 29718 HAS SOUS 25663 HAS SOUPS 25663 WITH SCORE 25692.718
AT ITER 2402 NEW BEST:: SOT 50444 SOS 29709 HAS SOPS 29709 HAS SOUS 25663 HAS SOUPS 25663 WITH SCORE 25692.709
AT ITER 2403 NEW BEST:: SOT 50444 SOS 29384 HAS SOPS 29384 HAS SOUS 25663 HAS SOUPS 25663 WITH SCORE 25692.384
AT ITER 2410 NEW BEST:: SOT 50444 SOS 29357 HAS SOPS 29357 HAS SOUS 25663 HAS SOUPS 25663 WITH SCORE 25692.357
AT ITER 2420 NEW BEST:: SOT 50444 SOS 29383 HAS SOPS 29383 HAS SOUS 25662 HAS SOUPS 25662 WITH SCORE 25691.383
AT ITER 2431 NEW BEST:: SOT 50444 SOS 29367 HAS SOPS 29367 HAS SOUS 25646 HAS SOUPS 25646 WITH SCORE 25675.367
AT ITER 2440 NEW BEST:: SOT 50411 SOS 29811 HAS SOPS 29811 HAS SOUS 25613 HAS SOUPS 25613 WITH SCORE 25642.811
AT ITER 2459 NEW BEST:: SOT 50411 SOS 29800 HAS SOPS 29800 HAS SOUS 25613 HAS SOUPS 25613 WITH SCORE 25642.8
AT ITER 2482 NEW BEST:: SOT 50405 SOS 29913 HAS SOPS 29913 HAS SOUS 25589 HAS SOUPS 25589 WITH SCORE 25618.913
AT ITER 2500 NEW BEST:: SOT 50395 SOS 29902 HAS SOPS 29902 HAS SOUS 25579 HAS SOUPS 25579 WITH SCORE 25608.902
AT ITER 2504 NEW BEST:: SOT 50396 SOS 29926 HAS SOPS 29926 HAS SOUS 25568 HAS SOUPS 25568 WITH SCORE 25597.926
AT ITER 2510 NEW BEST:: SOT 50396 SOS 29865 HAS SOPS 29865 HAS SOUS 25568 HAS SOUPS 25568 WITH SCORE 25597.865
AT ITER 2533 NEW BEST:: SOT 50406 SOS 29832 HAS SOPS 29832 HAS SOUS 25535 HAS SOUPS 25535 WITH SCORE 25564.832
AT ITER 2535 NEW BEST:: SOT 50406 SOS 29784 HAS SOPS 29784 HAS SOUS 25501 HAS SOUPS 25501 WITH SCORE 25530.784
AT ITER 2559 NEW BEST:: SOT 50406 SOS 29754 HAS SOPS 29754 HAS SOUS 25496 HAS SOUPS 25496 WITH SCORE 25525.754
AT ITER 2583 NEW BEST:: SOT 50406 SOS 29781 HAS SOPS 29781 HAS SOUS 25480 HAS SOUPS 25480 WITH SCORE 25509.781
AT ITER 2593 NEW BEST:: SOT 50304 SOS 30278 HAS SOPS 30278 HAS SOUS 25435 HAS SOUPS 25435 WITH SCORE 25465.278
AT ITER 2599 NEW BEST:: SOT 50304 SOS 30277 HAS SOPS 30277 HAS SOUS 25429 HAS SOUPS 25429 WITH SCORE 25459.277
AT ITER 2601 NEW BEST:: SOT 50304 SOS 30268 HAS SOPS 30268 HAS SOUS 25429 HAS SOUPS 25429 WITH SCORE 25459.268
AT ITER 2606 NEW BEST:: SOT 50304 SOS 30270 HAS SOPS 30270 HAS SOUS 25417 HAS SOUPS 25417 WITH SCORE 25447.27
AT ITER 2610 NEW BEST:: SOT 50304 SOS 30295 HAS SOPS 30295 HAS SOUS 25413 HAS SOUPS 25413 WITH SCORE 25443.295
AT ITER 2626 NEW BEST:: SOT 50304 SOS 30295 HAS SOPS 30295 HAS SOUS 25406 HAS SOUPS 25406 WITH SCORE 25436.295
AT ITER 2627 NEW BEST:: SOT 50291 SOS 30302 HAS SOPS 30302 HAS SOUS 25395 HAS SOUPS 25395 WITH SCORE 25425.302
AT ITER 2630 NEW BEST:: SOT 50240 SOS 30232 HAS SOPS 30232 HAS SOUS 25330 HAS SOUPS 25330 WITH SCORE 25360.232
AT ITER 2653 NEW BEST:: SOT 50220 SOS 30212 HAS SOPS 30212 HAS SOUS 25310 HAS SOUPS 25310 WITH SCORE 25340.212
AT ITER 2676 NEW BEST:: SOT 50220 SOS 30211 HAS SOPS 30211 HAS SOUS 25309 HAS SOUPS 25309 WITH SCORE 25339.211
AT ITER 2685 NEW BEST:: SOT 50220 SOS 30198 HAS SOPS 30198 HAS SOUS 25309 HAS SOUPS 25309 WITH SCORE 25339.198
AT ITER 2691 NEW BEST:: SOT 50220 SOS 30197 HAS SOPS 30197 HAS SOUS 25268 HAS SOUPS 25268 WITH SCORE 25298.197
AT ITER 2696 NEW BEST:: SOT 50220 SOS 30181 HAS SOPS 30181 HAS SOUS 25253 HAS SOUPS 25253 WITH SCORE 25283.181
AT ITER 2722 NEW BEST:: SOT 50213 SOS 30181 HAS SOPS 30181 HAS SOUS 25235 HAS SOUPS 25235 WITH SCORE 25265.181
AT ITER 2723 NEW BEST:: SOT 50213 SOS 30163 HAS SOPS 30163 HAS SOUS 25235 HAS SOUPS 25235 WITH SCORE 25265.163
AT ITER 2751 NEW BEST:: SOT 50198 SOS 30148 HAS SOPS 30148 HAS SOUS 25220 HAS SOUPS 25220 WITH SCORE 25250.148
AT ITER 2753 NEW BEST:: SOT 50198 SOS 30144 HAS SOPS 30144 HAS SOUS 25220 HAS SOUPS 25220 WITH SCORE 25250.144
AT ITER 2773 NEW BEST:: SOT 50173 SOS 30242 HAS SOPS 30242 HAS SOUS 25195 HAS SOUPS 25195 WITH SCORE 25225.242
AT ITER 2774 NEW BEST:: SOT 50166 SOS 30235 HAS SOPS 30235 HAS SOUS 25188 HAS SOUPS 25188 WITH SCORE 25218.235
AT ITER 2785 NEW BEST:: SOT 50159 SOS 30228 HAS SOPS 30228 HAS SOUS 25181 HAS SOUPS 25181 WITH SCORE 25211.228
AT ITER 2799 NEW BEST:: SOT 50165 SOS 30218 HAS SOPS 30218 HAS SOUS 25179 HAS SOUPS 25179 WITH SCORE 25209.218
AT ITER 2800 NEW BEST:: SOT 50165 SOS 30201 HAS SOPS 30201 HAS SOUS 25179 HAS SOUPS 25179 WITH SCORE 25209.201
AT ITER 2843 NEW BEST:: SOT 50177 SOS 30213 HAS SOPS 30213 HAS SOUS 25170 HAS SOUPS 25170 WITH SCORE 25200.213
AT ITER 2864 NEW BEST:: SOT 50177 SOS 30195 HAS SOPS 30195 HAS SOUS 25152 HAS SOUPS 25152 WITH SCORE 25182.195
AT ITER 2868 NEW BEST:: SOT 50166 SOS 30180 HAS SOPS 30180 HAS SOUS 25132 HAS SOUPS 25132 WITH SCORE 25162.18
AT ITER 2872 NEW BEST:: SOT 50150 SOS 30242 HAS SOPS 30242 HAS SOUS 25116 HAS SOUPS 25116 WITH SCORE 25146.242
AT ITER 2879 NEW BEST:: SOT 50033 SOS 30182 HAS SOPS 30182 HAS SOUS 25085 HAS SOUPS 25085 WITH SCORE 25115.182
AT ITER 2887 NEW BEST:: SOT 50033 SOS 30106 HAS SOPS 30106 HAS SOUS 25085 HAS SOUPS 25085 WITH SCORE 25115.106
AT ITER 2892 NEW BEST:: SOT 50016 SOS 30050 HAS SOPS 30050 HAS SOUS 25061 HAS SOUPS 25061 WITH SCORE 25091.05
AT ITER 2927 NEW BEST:: SOT 49994 SOS 29978 HAS SOPS 29978 HAS SOUS 25048 HAS SOUPS 25048 WITH SCORE 25077.978
AT ITER 2928 NEW BEST:: SOT 49977 SOS 30009 HAS SOPS 30009 HAS SOUS 25013 HAS SOUPS 25013 WITH SCORE 25043.009
AT ITER 2936 NEW BEST:: SOT 49949 SOS 29964 HAS SOPS 29964 HAS SOUS 24963 HAS SOUPS 24963 WITH SCORE 24992.964
AT ITER 2939 NEW BEST:: SOT 49950 SOS 29973 HAS SOPS 29973 HAS SOUS 24957 HAS SOUPS 24957 WITH SCORE 24986.973
AT ITER 2952 NEW BEST:: SOT 49950 SOS 29959 HAS SOPS 29959 HAS SOUS 24957 HAS SOUPS 24957 WITH SCORE 24986.959
AT ITER 2964 NEW BEST:: SOT 49877 SOS 31284 HAS SOPS 31284 HAS SOUS 24918 HAS SOUPS 24918 WITH SCORE 24949.284
AT ITER 2968 NEW BEST:: SOT 49857 SOS 31247 HAS SOPS 31247 HAS SOUS 24894 HAS SOUPS 24894 WITH SCORE 24925.247
AT ITER 2996 NEW BEST:: SOT 49857 SOS 31232 HAS SOPS 31232 HAS SOUS 24879 HAS SOUPS 24879 WITH SCORE 24910.232
AT ITER 2998 NEW BEST:: SOT 49853 SOS 31228 HAS SOPS 31228 HAS SOUS 24875 HAS SOUPS 24875 WITH SCORE 24906.228
AT ITER 3011 NEW BEST:: SOT 49829 SOS 31393 HAS SOPS 31393 HAS SOUS 24867 HAS SOUPS 24867 WITH SCORE 24898.393
AT ITER 3022 NEW BEST:: SOT 49805 SOS 31409 HAS SOPS 31409 HAS SOUS 24859 HAS SOUPS 24859 WITH SCORE 24890.409
AT ITER 3055 NEW BEST:: SOT 49805 SOS 31402 HAS SOPS 31402 HAS SOUS 24859 HAS SOUPS 24859 WITH SCORE 24890.402
AT ITER 3060 NEW BEST:: SOT 49805 SOS 31391 HAS SOPS 31391 HAS SOUS 24853 HAS SOUPS 24853 WITH SCORE 24884.391
AT ITER 3061 NEW BEST:: SOT 49805 SOS 31333 HAS SOPS 31333 HAS SOUS 24853 HAS SOUPS 24853 WITH SCORE 24884.333
AT ITER 3064 NEW BEST:: SOT 49805 SOS 31266 HAS SOPS 31266 HAS SOUS 24846 HAS SOUPS 24846 WITH SCORE 24877.266
AT ITER 3087 NEW BEST:: SOT 49805 SOS 31299 HAS SOPS 31299 HAS SOUS 24831 HAS SOUPS 24831 WITH SCORE 24862.299
AT ITER 3102 NEW BEST:: SOT 49789 SOS 31283 HAS SOPS 31283 HAS SOUS 24815 HAS SOUPS 24815 WITH SCORE 24846.283
AT ITER 3133 NEW BEST:: SOT 49789 SOS 31246 HAS SOPS 31246 HAS SOUS 24815 HAS SOUPS 24815 WITH SCORE 24846.246
AT ITER 3137 NEW BEST:: SOT 49671 SOS 31158 HAS SOPS 31158 HAS SOUS 24734 HAS SOUPS 24734 WITH SCORE 24765.158
AT ITER 3144 NEW BEST:: SOT 49673 SOS 31150 HAS SOPS 31150 HAS SOUS 24723 HAS SOUPS 24723 WITH SCORE 24754.15
AT ITER 3146 NEW BEST:: SOT 49673 SOS 31143 HAS SOPS 31143 HAS SOUS 24716 HAS SOUPS 24716 WITH SCORE 24747.143
AT ITER 3149 NEW BEST:: SOT 49673 SOS 31224 HAS SOPS 31224 HAS SOUS 24707 HAS SOUPS 24707 WITH SCORE 24738.224
AT ITER 3170 NEW BEST:: SOT 49673 SOS 31208 HAS SOPS 31208 HAS SOUS 24707 HAS SOUPS 24707 WITH SCORE 24738.208
AT ITER 3180 NEW BEST:: SOT 49673 SOS 31189 HAS SOPS 31189 HAS SOUS 24707 HAS SOUPS 24707 WITH SCORE 24738.189
AT ITER 3184 NEW BEST:: SOT 49673 SOS 31177 HAS SOPS 31177 HAS SOUS 24707 HAS SOUPS 24707 WITH SCORE 24738.177
AT ITER 3194 NEW BEST:: SOT 49644 SOS 31138 HAS SOPS 31138 HAS SOUS 24678 HAS SOUPS 24678 WITH SCORE 24709.138
AT ITER 3197 NEW BEST:: SOT 49659 SOS 31153 HAS SOPS 31153 HAS SOUS 24663 HAS SOUPS 24663 WITH SCORE 24694.153
AT ITER 3204 NEW BEST:: SOT 49659 SOS 31143 HAS SOPS 31143 HAS SOUS 24663 HAS SOUPS 24663 WITH SCORE 24694.143
AT ITER 3205 NEW BEST:: SOT 49659 SOS 31061 HAS SOPS 31061 HAS SOUS 24663 HAS SOUPS 24663 WITH SCORE 24694.061
AT ITER 3207 NEW BEST:: SOT 49659 SOS 31059 HAS SOPS 31059 HAS SOUS 24663 HAS SOUPS 24663 WITH SCORE 24694.059
AT ITER 3208 NEW BEST:: SOT 49659 SOS 31039 HAS SOPS 31039 HAS SOUS 24643 HAS SOUPS 24643 WITH SCORE 24674.039
AT ITER 3211 NEW BEST:: SOT 49664 SOS 31077 HAS SOPS 31077 HAS SOUS 24642 HAS SOUPS 24642 WITH SCORE 24673.077
AT ITER 3219 NEW BEST:: SOT 49664 SOS 31075 HAS SOPS 31075 HAS SOUS 24642 HAS SOUPS 24642 WITH SCORE 24673.075
AT ITER 3222 NEW BEST:: SOT 49670 SOS 31058 HAS SOPS 31058 HAS SOUS 24607 HAS SOUPS 24607 WITH SCORE 24638.058
AT ITER 3230 NEW BEST:: SOT 49519 SOS 31208 HAS SOPS 31208 HAS SOUS 24573 HAS SOUPS 24573 WITH SCORE 24604.208
AT ITER 3247 NEW BEST:: SOT 49507 SOS 31196 HAS SOPS 31196 HAS SOUS 24555 HAS SOUPS 24555 WITH SCORE 24586.196
AT ITER 3262 NEW BEST:: SOT 49507 SOS 31096 HAS SOPS 31096 HAS SOUS 24515 HAS SOUPS 24515 WITH SCORE 24546.096
AT ITER 3284 NEW BEST:: SOT 49507 SOS 31050 HAS SOPS 31050 HAS SOUS 24503 HAS SOUPS 24503 WITH SCORE 24534.05
AT ITER 3294 NEW BEST:: SOT 49507 SOS 31038 HAS SOPS 31038 HAS SOUS 24493 HAS SOUPS 24493 WITH SCORE 24524.038
AT ITER 3297 NEW BEST:: SOT 49498 SOS 31029 HAS SOPS 31029 HAS SOUS 24484 HAS SOUPS 24484 WITH SCORE 24515.029
AT ITER 3311 NEW BEST:: SOT 49498 SOS 31029 HAS SOPS 31029 HAS SOUS 24474 HAS SOUPS 24474 WITH SCORE 24505.029
AT ITER 3321 NEW BEST:: SOT 49498 SOS 31024 HAS SOPS 31024 HAS SOUS 24474 HAS SOUPS 24474 WITH SCORE 24505.024
AT ITER 3327 NEW BEST:: SOT 49497 SOS 31023 HAS SOPS 31023 HAS SOUS 24473 HAS SOUPS 24473 WITH SCORE 24504.023
AT ITER 3332 NEW BEST:: SOT 49497 SOS 30962 HAS SOPS 30962 HAS SOUS 24473 HAS SOUPS 24473 WITH SCORE 24503.962
AT ITER 3336 NEW BEST:: SOT 49497 SOS 30946 HAS SOPS 30946 HAS SOUS 24473 HAS SOUPS 24473 WITH SCORE 24503.946
AT ITER 3347 NEW BEST:: SOT 49497 SOS 30875 HAS SOPS 30875 HAS SOUS 24456 HAS SOUPS 24456 WITH SCORE 24486.875
AT ITER 3352 NEW BEST:: SOT 49497 SOS 30832 HAS SOPS 30832 HAS SOUS 24456 HAS SOUPS 24456 WITH SCORE 24486.832
AT ITER 3364 NEW BEST:: SOT 49497 SOS 30843 HAS SOPS 30843 HAS SOUS 24454 HAS SOUPS 24454 WITH SCORE 24484.843
AT ITER 3365 NEW BEST:: SOT 49500 SOS 30846 HAS SOPS 30846 HAS SOUS 24451 HAS SOUPS 24451 WITH SCORE 24481.846
AT ITER 3371 NEW BEST:: SOT 49511 SOS 30944 HAS SOPS 30944 HAS SOUS 24449 HAS SOUPS 24449 WITH SCORE 24479.944
AT ITER 3399 NEW BEST:: SOT 49504 SOS 30937 HAS SOPS 30937 HAS SOUS 24438 HAS SOUPS 24438 WITH SCORE 24468.937
AT ITER 3402 NEW BEST:: SOT 49483 SOS 30894 HAS SOPS 30894 HAS SOUS 24399 HAS SOUPS 24399 WITH SCORE 24429.894
AT ITER 3413 NEW BEST:: SOT 49485 SOS 30891 HAS SOPS 30891 HAS SOUS 24378 HAS SOUPS 24378 WITH SCORE 24408.891
AT ITER 3452 NEW BEST:: SOT 49485 SOS 30849 HAS SOPS 30849 HAS SOUS 24378 HAS SOUPS 24378 WITH SCORE 24408.849
AT ITER 3453 NEW BEST:: SOT 49485 SOS 30775 HAS SOPS 30775 HAS SOUS 24378 HAS SOUPS 24378 WITH SCORE 24408.775
AT ITER 3454 NEW BEST:: SOT 49485 SOS 30770 HAS SOPS 30770 HAS SOUS 24373 HAS SOUPS 24373 WITH SCORE 24403.77
AT ITER 3459 NEW BEST:: SOT 49485 SOS 30769 HAS SOPS 30769 HAS SOUS 24373 HAS SOUPS 24373 WITH SCORE 24403.769
AT ITER 3476 NEW BEST:: SOT 49485 SOS 30769 HAS SOPS 30769 HAS SOUS 24368 HAS SOUPS 24368 WITH SCORE 24398.769
AT ITER 3479 NEW BEST:: SOT 49462 SOS 30986 HAS SOPS 30986 HAS SOUS 24345 HAS SOUPS 24345 WITH SCORE 24375.986
AT ITER 3481 NEW BEST:: SOT 49462 SOS 30958 HAS SOPS 30958 HAS SOUS 24345 HAS SOUPS 24345 WITH SCORE 24375.958
AT ITER 3482 NEW BEST:: SOT 49462 SOS 30948 HAS SOPS 30948 HAS SOUS 24345 HAS SOUPS 24345 WITH SCORE 24375.948
AT ITER 3489 NEW BEST:: SOT 49462 SOS 31000 HAS SOPS 31000 HAS SOUS 24343 HAS SOUPS 24343 WITH SCORE 24374.0
AT ITER 3505 NEW BEST:: SOT 49462 SOS 30988 HAS SOPS 30988 HAS SOUS 24343 HAS SOUPS 24343 WITH SCORE 24373.988
AT ITER 3509 NEW BEST:: SOT 49462 SOS 30973 HAS SOPS 30973 HAS SOUS 24339 HAS SOUPS 24339 WITH SCORE 24369.973
AT ITER 3542 NEW BEST:: SOT 49462 SOS 30965 HAS SOPS 30965 HAS SOUS 24339 HAS SOUPS 24339 WITH SCORE 24369.965
AT ITER 3543 NEW BEST:: SOT 49462 SOS 31014 HAS SOPS 31014 HAS SOUS 24320 HAS SOUPS 24320 WITH SCORE 24351.014
AT ITER 3553 NEW BEST:: SOT 49462 SOS 30986 HAS SOPS 30986 HAS SOUS 24320 HAS SOUPS 24320 WITH SCORE 24350.986
AT ITER 3569 NEW BEST:: SOT 49462 SOS 30984 HAS SOPS 30984 HAS SOUS 24316 HAS SOUPS 24316 WITH SCORE 24346.984
AT ITER 3575 NEW BEST:: SOT 49462 SOS 30975 HAS SOPS 30975 HAS SOUS 24308 HAS SOUPS 24308 WITH SCORE 24338.975
AT ITER 3593 NEW BEST:: SOT 49462 SOS 30941 HAS SOPS 30941 HAS SOUS 24308 HAS SOUPS 24308 WITH SCORE 24338.941
AT ITER 3617 NEW BEST:: SOT 49419 SOS 30898 HAS SOPS 30898 HAS SOUS 24265 HAS SOUPS 24265 WITH SCORE 24295.898
AT ITER 3624 NEW BEST:: SOT 49419 SOS 30859 HAS SOPS 30859 HAS SOUS 24261 HAS SOUPS 24261 WITH SCORE 24291.859
AT ITER 3626 NEW BEST:: SOT 49418 SOS 30865 HAS SOPS 30865 HAS SOUS 24259 HAS SOUPS 24259 WITH SCORE 24289.865
AT ITER 3627 NEW BEST:: SOT 49418 SOS 30775 HAS SOPS 30775 HAS SOUS 24259 HAS SOUPS 24259 WITH SCORE 24289.775
AT ITER 3639 NEW BEST:: SOT 49418 SOS 30759 HAS SOPS 30759 HAS SOUS 24259 HAS SOUPS 24259 WITH SCORE 24289.759
AT ITER 3660 NEW BEST:: SOT 49416 SOS 30757 HAS SOPS 30757 HAS SOUS 24257 HAS SOUPS 24257 WITH SCORE 24287.757
AT ITER 3686 NEW BEST:: SOT 49416 SOS 30753 HAS SOPS 30753 HAS SOUS 24245 HAS SOUPS 24245 WITH SCORE 24275.753
AT ITER 3689 NEW BEST:: SOT 49424 SOS 30856 HAS SOPS 30856 HAS SOUS 24234 HAS SOUPS 24234 WITH SCORE 24264.856
AT ITER 3733 NEW BEST:: SOT 49417 SOS 30849 HAS SOPS 30849 HAS SOUS 24227 HAS SOUPS 24227 WITH SCORE 24257.849
AT ITER 3745 NEW BEST:: SOT 49416 SOS 30848 HAS SOPS 30848 HAS SOUS 24217 HAS SOUPS 24217 WITH SCORE 24247.848
AT ITER 3753 NEW BEST:: SOT 49382 SOS 30814 HAS SOPS 30814 HAS SOUS 24183 HAS SOUPS 24183 WITH SCORE 24213.814
AT ITER 3772 NEW BEST:: SOT 49382 SOS 30845 HAS SOPS 30845 HAS SOUS 24182 HAS SOUPS 24182 WITH SCORE 24212.845
AT ITER 3775 NEW BEST:: SOT 49382 SOS 30800 HAS SOPS 30800 HAS SOUS 24182 HAS SOUPS 24182 WITH SCORE 24212.8
AT ITER 3789 NEW BEST:: SOT 49373 SOS 30791 HAS SOPS 30791 HAS SOUS 24161 HAS SOUPS 24161 WITH SCORE 24191.791
AT ITER 3791 NEW BEST:: SOT 49373 SOS 30789 HAS SOPS 30789 HAS SOUS 24161 HAS SOUPS 24161 WITH SCORE 24191.789
AT ITER 3803 NEW BEST:: SOT 49373 SOS 30782 HAS SOPS 30782 HAS SOUS 24161 HAS SOUPS 24161 WITH SCORE 24191.782
AT ITER 3817 NEW BEST:: SOT 49352 SOS 30862 HAS SOPS 30862 HAS SOUS 24150 HAS SOUPS 24150 WITH SCORE 24180.862
AT ITER 3825 NEW BEST:: SOT 49352 SOS 30817 HAS SOPS 30817 HAS SOUS 24150 HAS SOUPS 24150 WITH SCORE 24180.817
AT ITER 3839 NEW BEST:: SOT 49350 SOS 30815 HAS SOPS 30815 HAS SOUS 24148 HAS SOUPS 24148 WITH SCORE 24178.815
AT ITER 3851 NEW BEST:: SOT 49350 SOS 30778 HAS SOPS 30778 HAS SOUS 24137 HAS SOUPS 24137 WITH SCORE 24167.778
AT ITER 3868 NEW BEST:: SOT 49311 SOS 30790 HAS SOPS 30790 HAS SOUS 24107 HAS SOUPS 24107 WITH SCORE 24137.79
AT ITER 3903 NEW BEST:: SOT 49311 SOS 30789 HAS SOPS 30789 HAS SOUS 24107 HAS SOUPS 24107 WITH SCORE 24137.789
AT ITER 3921 NEW BEST:: SOT 49309 SOS 30787 HAS SOPS 30787 HAS SOUS 24105 HAS SOUPS 24105 WITH SCORE 24135.787
AT ITER 3925 NEW BEST:: SOT 49305 SOS 30783 HAS SOPS 30783 HAS SOUS 24101 HAS SOUPS 24101 WITH SCORE 24131.783
AT ITER 3929 NEW BEST:: SOT 49305 SOS 30853 HAS SOPS 30853 HAS SOUS 24091 HAS SOUPS 24091 WITH SCORE 24121.853
AT ITER 3933 NEW BEST:: SOT 49312 SOS 30858 HAS SOPS 30858 HAS SOUS 24089 HAS SOUPS 24089 WITH SCORE 24119.858
AT ITER 3943 NEW BEST:: SOT 49312 SOS 30858 HAS SOPS 30858 HAS SOUS 24038 HAS SOUPS 24038 WITH SCORE 24068.858
AT ITER 3958 NEW BEST:: SOT 49277 SOS 30928 HAS SOPS 30928 HAS SOUS 24003 HAS SOUPS 24003 WITH SCORE 24033.928
AT ITER 3977 NEW BEST:: SOT 49270 SOS 30994 HAS SOPS 30994 HAS SOUS 23974 HAS SOUPS 23974 WITH SCORE 24004.994
AT ITER 3990 NEW BEST:: SOT 49250 SOS 30974 HAS SOPS 30974 HAS SOUS 23954 HAS SOUPS 23954 WITH SCORE 23984.974
AT ITER 3993 NEW BEST:: SOT 49250 SOS 30901 HAS SOPS 30901 HAS SOUS 23954 HAS SOUPS 23954 WITH SCORE 23984.901
AT ITER 4020 NEW BEST:: SOT 49250 SOS 30899 HAS SOPS 30899 HAS SOUS 23954 HAS SOUPS 23954 WITH SCORE 23984.899
AT ITER 4023 NEW BEST:: SOT 49240 SOS 30889 HAS SOPS 30889 HAS SOUS 23944 HAS SOUPS 23944 WITH SCORE 23974.889
AT ITER 4058 NEW BEST:: SOT 49209 SOS 30867 HAS SOPS 30867 HAS SOUS 23922 HAS SOUPS 23922 WITH SCORE 23952.867
AT ITER 4068 NEW BEST:: SOT 49209 SOS 30945 HAS SOPS 30945 HAS SOUS 23914 HAS SOUPS 23914 WITH SCORE 23944.945
AT ITER 4090 NEW BEST:: SOT 49186 SOS 30922 HAS SOPS 30922 HAS SOUS 23870 HAS SOUPS 23870 WITH SCORE 23900.922
AT ITER 4100 NEW BEST:: SOT 49166 SOS 30906 HAS SOPS 30906 HAS SOUS 23863 HAS SOUPS 23863 WITH SCORE 23893.906
AT ITER 4104 NEW BEST:: SOT 49166 SOS 30901 HAS SOPS 30901 HAS SOUS 23863 HAS SOUPS 23863 WITH SCORE 23893.901
AT ITER 4115 NEW BEST:: SOT 49166 SOS 30664 HAS SOPS 30664 HAS SOUS 23863 HAS SOUPS 23863 WITH SCORE 23893.664
AT ITER 4127 NEW BEST:: SOT 49138 SOS 30624 HAS SOPS 30624 HAS SOUS 23850 HAS SOUPS 23850 WITH SCORE 23880.624
AT ITER 4179 NEW BEST:: SOT 49138 SOS 30598 HAS SOPS 30598 HAS SOUS 23845 HAS SOUPS 23845 WITH SCORE 23875.598
AT ITER 4198 NEW BEST:: SOT 49105 SOS 30624 HAS SOPS 30624 HAS SOUS 23838 HAS SOUPS 23838 WITH SCORE 23868.624
AT ITER 4206 NEW BEST:: SOT 49105 SOS 30621 HAS SOPS 30621 HAS SOUS 23838 HAS SOUPS 23838 WITH SCORE 23868.621
AT ITER 4227 NEW BEST:: SOT 49105 SOS 30617 HAS SOPS 30617 HAS SOUS 23836 HAS SOUPS 23836 WITH SCORE 23866.617
AT ITER 4268 NEW BEST:: SOT 49105 SOS 30605 HAS SOPS 30605 HAS SOUS 23836 HAS SOUPS 23836 WITH SCORE 23866.605
AT ITER 4289 NEW BEST:: SOT 49088 SOS 30575 HAS SOPS 30575 HAS SOUS 23816 HAS SOUPS 23816 WITH SCORE 23846.575
AT ITER 4293 NEW BEST:: SOT 49088 SOS 30501 HAS SOPS 30501 HAS SOUS 23816 HAS SOUPS 23816 WITH SCORE 23846.501
AT ITER 4299 NEW BEST:: SOT 49088 SOS 30478 HAS SOPS 30478 HAS SOUS 23816 HAS SOUPS 23816 WITH SCORE 23846.478
AT ITER 4326 NEW BEST:: SOT 49070 SOS 30481 HAS SOPS 30481 HAS SOUS 23813 HAS SOUPS 23813 WITH SCORE 23843.481
AT ITER 4368 NEW BEST:: SOT 49070 SOS 30482 HAS SOPS 30482 HAS SOUS 23810 HAS SOUPS 23810 WITH SCORE 23840.482
AT ITER 4373 NEW BEST:: SOT 49070 SOS 30459 HAS SOPS 30459 HAS SOUS 23810 HAS SOUPS 23810 WITH SCORE 23840.459
AT ITER 4381 NEW BEST:: SOT 49070 SOS 30451 HAS SOPS 30451 HAS SOUS 23802 HAS SOUPS 23802 WITH SCORE 23832.451
AT ITER 4404 NEW BEST:: SOT 49040 SOS 30412 HAS SOPS 30412 HAS SOUS 23772 HAS SOUPS 23772 WITH SCORE 23802.412
AT ITER 4422 NEW BEST:: SOT 49039 SOS 30411 HAS SOPS 30411 HAS SOUS 23771 HAS SOUPS 23771 WITH SCORE 23801.411
AT ITER 4425 NEW BEST:: SOT 49039 SOS 30379 HAS SOPS 30379 HAS SOUS 23771 HAS SOUPS 23771 WITH SCORE 23801.379
AT ITER 4441 NEW BEST:: SOT 49039 SOS 30363 HAS SOPS 30363 HAS SOUS 23771 HAS SOUPS 23771 WITH SCORE 23801.363
AT ITER 4449 NEW BEST:: SOT 49039 SOS 30339 HAS SOPS 30339 HAS SOUS 23771 HAS SOUPS 23771 WITH SCORE 23801.339
AT ITER 4459 NEW BEST:: SOT 49039 SOS 30334 HAS SOPS 30334 HAS SOUS 23771 HAS SOUPS 23771 WITH SCORE 23801.334
AT ITER 4465 NEW BEST:: SOT 49036 SOS 30331 HAS SOPS 30331 HAS SOUS 23768 HAS SOUPS 23768 WITH SCORE 23798.331
AT ITER 4481 NEW BEST:: SOT 49018 SOS 30331 HAS SOPS 30331 HAS SOUS 23751 HAS SOUPS 23751 WITH SCORE 23781.331
AT ITER 4484 NEW BEST:: SOT 49018 SOS 30325 HAS SOPS 30325 HAS SOUS 23750 HAS SOUPS 23750 WITH SCORE 23780.325
AT ITER 4522 NEW BEST:: SOT 49001 SOS 30326 HAS SOPS 30326 HAS SOUS 23733 HAS SOUPS 23733 WITH SCORE 23763.326
AT ITER 4535 NEW BEST:: SOT 49001 SOS 30343 HAS SOPS 30343 HAS SOUS 23717 HAS SOUPS 23717 WITH SCORE 23747.343
AT ITER 4546 NEW BEST:: SOT 48985 SOS 30602 HAS SOPS 30602 HAS SOUS 23701 HAS SOUPS 23701 WITH SCORE 23731.602
AT ITER 4555 NEW BEST:: SOT 48983 SOS 30499 HAS SOPS 30499 HAS SOUS 23698 HAS SOUPS 23698 WITH SCORE 23728.499
AT ITER 4562 NEW BEST:: SOT 49094 SOS 30604 HAS SOPS 30604 HAS SOUS 23668 HAS SOUPS 23668 WITH SCORE 23698.604
AT ITER 4570 NEW BEST:: SOT 49094 SOS 30600 HAS SOPS 30600 HAS SOUS 23668 HAS SOUPS 23668 WITH SCORE 23698.6
AT ITER 4574 NEW BEST:: SOT 49093 SOS 30553 HAS SOPS 30553 HAS SOUS 23668 HAS SOUPS 23668 WITH SCORE 23698.553
AT ITER 4575 NEW BEST:: SOT 49093 SOS 30543 HAS SOPS 30543 HAS SOUS 23668 HAS SOUPS 23668 WITH SCORE 23698.543
AT ITER 4578 NEW BEST:: SOT 49070 SOS 30520 HAS SOPS 30520 HAS SOUS 23645 HAS SOUPS 23645 WITH SCORE 23675.52
AT ITER 4579 NEW BEST:: SOT 49070 SOS 30518 HAS SOPS 30518 HAS SOUS 23640 HAS SOUPS 23640 WITH SCORE 23670.518
AT ITER 4595 NEW BEST:: SOT 49066 SOS 30514 HAS SOPS 30514 HAS SOUS 23629 HAS SOUPS 23629 WITH SCORE 23659.514
AT ITER 4597 NEW BEST:: SOT 49055 SOS 30498 HAS SOPS 30498 HAS SOUS 23617 HAS SOUPS 23617 WITH SCORE 23647.498
AT ITER 4598 NEW BEST:: SOT 49055 SOS 30494 HAS SOPS 30494 HAS SOUS 23617 HAS SOUPS 23617 WITH SCORE 23647.494
AT ITER 4605 NEW BEST:: SOT 49055 SOS 30445 HAS SOPS 30445 HAS SOUS 23617 HAS SOUPS 23617 WITH SCORE 23647.445
AT ITER 4624 NEW BEST:: SOT 49055 SOS 30399 HAS SOPS 30399 HAS SOUS 23617 HAS SOUPS 23617 WITH SCORE 23647.399
AT ITER 4659 NEW BEST:: SOT 49055 SOS 30399 HAS SOPS 30399 HAS SOUS 23608 HAS SOUPS 23608 WITH SCORE 23638.399
AT ITER 4692 NEW BEST:: SOT 49051 SOS 30395 HAS SOPS 30395 HAS SOUS 23604 HAS SOUPS 23604 WITH SCORE 23634.395
AT ITER 4702 NEW BEST:: SOT 49040 SOS 30384 HAS SOPS 30384 HAS SOUS 23604 HAS SOUPS 23604 WITH SCORE 23634.384
AT ITER 4712 NEW BEST:: SOT 49040 SOS 30370 HAS SOPS 30370 HAS SOUS 23604 HAS SOUPS 23604 WITH SCORE 23634.37
AT ITER 4744 NEW BEST:: SOT 49036 SOS 30386 HAS SOPS 30386 HAS SOUS 23600 HAS SOUPS 23600 WITH SCORE 23630.386
AT ITER 4770 NEW BEST:: SOT 49036 SOS 30335 HAS SOPS 30335 HAS SOUS 23566 HAS SOUPS 23566 WITH SCORE 23596.335
AT ITER 4773 NEW BEST:: SOT 48974 SOS 30371 HAS SOPS 30371 HAS SOUS 23518 HAS SOUPS 23518 WITH SCORE 23548.371
AT ITER 4796 NEW BEST:: SOT 48974 SOS 30366 HAS SOPS 30366 HAS SOUS 23516 HAS SOUPS 23516 WITH SCORE 23546.366
AT ITER 4828 NEW BEST:: SOT 48974 SOS 30290 HAS SOPS 30290 HAS SOUS 23516 HAS SOUPS 23516 WITH SCORE 23546.29
AT ITER 4836 NEW BEST:: SOT 48973 SOS 30289 HAS SOPS 30289 HAS SOUS 23515 HAS SOUPS 23515 WITH SCORE 23545.289
AT ITER 4855 NEW BEST:: SOT 48973 SOS 30277 HAS SOPS 30277 HAS SOUS 23499 HAS SOUPS 23499 WITH SCORE 23529.277
AT ITER 4914 NEW BEST:: SOT 48886 SOS 30190 HAS SOPS 30190 HAS SOUS 23424 HAS SOUPS 23424 WITH SCORE 23454.19
AT ITER 4920 NEW BEST:: SOT 48881 SOS 30185 HAS SOPS 30185 HAS SOUS 23419 HAS SOUPS 23419 WITH SCORE 23449.185
AT ITER 4921 NEW BEST:: SOT 48879 SOS 30171 HAS SOPS 30171 HAS SOUS 23397 HAS SOUPS 23397 WITH SCORE 23427.171
AT ITER 4946 NEW BEST:: SOT 48872 SOS 30164 HAS SOPS 30164 HAS SOUS 23396 HAS SOUPS 23396 WITH SCORE 23426.164
AT ITER 4968 NEW BEST:: SOT 48870 SOS 30164 HAS SOPS 30164 HAS SOUS 23394 HAS SOUPS 23394 WITH SCORE 23424.164
AT ITER 4982 NEW BEST:: SOT 48870 SOS 30137 HAS SOPS 30137 HAS SOUS 23394 HAS SOUPS 23394 WITH SCORE 23424.137
AT ITER 4983 NEW BEST:: SOT 48862 SOS 30260 HAS SOPS 30260 HAS SOUS 23386 HAS SOUPS 23386 WITH SCORE 23416.26
AT ITER 4987 NEW BEST:: SOT 48860 SOS 30258 HAS SOPS 30258 HAS SOUS 23384 HAS SOUPS 23384 WITH SCORE 23414.258
AT ITER 5045 NEW BEST:: SOT 48821 SOS 30285 HAS SOPS 30285 HAS SOUS 23346 HAS SOUPS 23346 WITH SCORE 23376.285
AT ITER 5069 NEW BEST:: SOT 48821 SOS 30373 HAS SOPS 30373 HAS SOUS 23345 HAS SOUPS 23345 WITH SCORE 23375.373
AT ITER 5101 NEW BEST:: SOT 48816 SOS 30393 HAS SOPS 30393 HAS SOUS 23340 HAS SOUPS 23340 WITH SCORE 23370.393
AT ITER 5126 NEW BEST:: SOT 48804 SOS 30381 HAS SOPS 30381 HAS SOUS 23324 HAS SOUPS 23324 WITH SCORE 23354.381
AT ITER 5150 NEW BEST:: SOT 48752 SOS 30545 HAS SOPS 30545 HAS SOUS 23308 HAS SOUPS 23308 WITH SCORE 23338.545
AT ITER 5199 NEW BEST:: SOT 48752 SOS 30542 HAS SOPS 30542 HAS SOUS 23304 HAS SOUPS 23304 WITH SCORE 23334.542
AT ITER 5223 NEW BEST:: SOT 48752 SOS 30542 HAS SOPS 30542 HAS SOUS 23303 HAS SOUPS 23303 WITH SCORE 23333.542
AT ITER 5232 NEW BEST:: SOT 48721 SOS 30585 HAS SOPS 30585 HAS SOUS 23290 HAS SOUPS 23290 WITH SCORE 23320.585
AT ITER 5266 NEW BEST:: SOT 48711 SOS 30573 HAS SOPS 30573 HAS SOUS 23280 HAS SOUPS 23280 WITH SCORE 23310.573
AT ITER 5270 NEW BEST:: SOT 48711 SOS 30553 HAS SOPS 30553 HAS SOUS 23280 HAS SOUPS 23280 WITH SCORE 23310.553
AT ITER 5282 NEW BEST:: SOT 48693 SOS 30535 HAS SOPS 30535 HAS SOUS 23272 HAS SOUPS 23272 WITH SCORE 23302.535
AT ITER 5301 NEW BEST:: SOT 48693 SOS 30577 HAS SOPS 30577 HAS SOUS 23261 HAS SOUPS 23261 WITH SCORE 23291.577
AT ITER 5317 NEW BEST:: SOT 48693 SOS 30529 HAS SOPS 30529 HAS SOUS 23261 HAS SOUPS 23261 WITH SCORE 23291.529
AT ITER 5318 NEW BEST:: SOT 48693 SOS 30605 HAS SOPS 30605 HAS SOUS 23259 HAS SOUPS 23259 WITH SCORE 23289.605
AT ITER 5320 NEW BEST:: SOT 48693 SOS 30588 HAS SOPS 30588 HAS SOUS 23259 HAS SOUPS 23259 WITH SCORE 23289.588
AT ITER 5376 NEW BEST:: SOT 48652 SOS 30539 HAS SOPS 30539 HAS SOUS 23168 HAS SOUPS 23168 WITH SCORE 23198.539
AT ITER 5377 NEW BEST:: SOT 48646 SOS 30569 HAS SOPS 30569 HAS SOUS 23162 HAS SOUPS 23162 WITH SCORE 23192.569
AT ITER 5393 NEW BEST:: SOT 48644 SOS 30567 HAS SOPS 30567 HAS SOUS 23160 HAS SOUPS 23160 WITH SCORE 23190.567
AT ITER 5403 NEW BEST:: SOT 48644 SOS 30546 HAS SOPS 30546 HAS SOUS 23160 HAS SOUPS 23160 WITH SCORE 23190.546
AT ITER 5420 NEW BEST:: SOT 48644 SOS 30543 HAS SOPS 30543 HAS SOUS 23160 HAS SOUPS 23160 WITH SCORE 23190.543
AT ITER 5422 NEW BEST:: SOT 48644 SOS 30529 HAS SOPS 30529 HAS SOUS 23151 HAS SOUPS 23151 WITH SCORE 23181.529
AT ITER 5425 NEW BEST:: SOT 48632 SOS 30705 HAS SOPS 30705 HAS SOUS 23142 HAS SOUPS 23142 WITH SCORE 23172.705
AT ITER 5428 NEW BEST:: SOT 48620 SOS 30791 HAS SOPS 30791 HAS SOUS 23133 HAS SOUPS 23133 WITH SCORE 23163.791
AT ITER 5449 NEW BEST:: SOT 48620 SOS 30771 HAS SOPS 30771 HAS SOUS 23133 HAS SOUPS 23133 WITH SCORE 23163.771
AT ITER 5456 NEW BEST:: SOT 48620 SOS 30732 HAS SOPS 30732 HAS SOUS 23133 HAS SOUPS 23133 WITH SCORE 23163.732
AT ITER 5459 NEW BEST:: SOT 48620 SOS 30693 HAS SOPS 30693 HAS SOUS 23133 HAS SOUPS 23133 WITH SCORE 23163.693
AT ITER 5480 NEW BEST:: SOT 48620 SOS 30653 HAS SOPS 30653 HAS SOUS 23133 HAS SOUPS 23133 WITH SCORE 23163.653
AT ITER 5484 NEW BEST:: SOT 48618 SOS 30662 HAS SOPS 30662 HAS SOUS 23131 HAS SOUPS 23131 WITH SCORE 23161.662
AT ITER 5498 NEW BEST:: SOT 48618 SOS 30653 HAS SOPS 30653 HAS SOUS 23131 HAS SOUPS 23131 WITH SCORE 23161.653
AT ITER 5509 NEW BEST:: SOT 48616 SOS 30699 HAS SOPS 30699 HAS SOUS 23129 HAS SOUPS 23129 WITH SCORE 23159.699
AT ITER 5533 NEW BEST:: SOT 48608 SOS 30691 HAS SOPS 30691 HAS SOUS 23121 HAS SOUPS 23121 WITH SCORE 23151.691
AT ITER 5539 NEW BEST:: SOT 48589 SOS 30894 HAS SOPS 30894 HAS SOUS 23102 HAS SOUPS 23102 WITH SCORE 23132.894
AT ITER 5552 NEW BEST:: SOT 48557 SOS 30862 HAS SOPS 30862 HAS SOUS 23063 HAS SOUPS 23063 WITH SCORE 23093.862
AT ITER 5567 NEW BEST:: SOT 48501 SOS 31262 HAS SOPS 31262 HAS SOUS 23040 HAS SOUPS 23040 WITH SCORE 23071.262
AT ITER 5569 NEW BEST:: SOT 48501 SOS 31257 HAS SOPS 31257 HAS SOUS 23040 HAS SOUPS 23040 WITH SCORE 23071.257
AT ITER 5598 NEW BEST:: SOT 48488 SOS 31244 HAS SOPS 31244 HAS SOUS 23029 HAS SOUPS 23029 WITH SCORE 23060.244
AT ITER 5609 NEW BEST:: SOT 48495 SOS 31251 HAS SOPS 31251 HAS SOUS 23018 HAS SOUPS 23018 WITH SCORE 23049.251
AT ITER 5624 NEW BEST:: SOT 48490 SOS 31246 HAS SOPS 31246 HAS SOUS 23010 HAS SOUPS 23010 WITH SCORE 23041.246
AT ITER 5634 NEW BEST:: SOT 48490 SOS 31329 HAS SOPS 31329 HAS SOUS 23009 HAS SOUPS 23009 WITH SCORE 23040.329
AT ITER 5651 NEW BEST:: SOT 48490 SOS 31334 HAS SOPS 31334 HAS SOUS 23008 HAS SOUPS 23008 WITH SCORE 23039.334
AT ITER 5693 NEW BEST:: SOT 48490 SOS 31334 HAS SOPS 31334 HAS SOUS 23000 HAS SOUPS 23000 WITH SCORE 23031.334
AT ITER 5699 NEW BEST:: SOT 48490 SOS 31344 HAS SOPS 31344 HAS SOUS 22998 HAS SOUPS 22998 WITH SCORE 23029.344
AT ITER 5709 NEW BEST:: SOT 48490 SOS 31101 HAS SOPS 31101 HAS SOUS 22978 HAS SOUPS 22978 WITH SCORE 23009.101
AT ITER 5716 NEW BEST:: SOT 48490 SOS 31115 HAS SOPS 31115 HAS SOUS 22967 HAS SOUPS 22967 WITH SCORE 22998.115
AT ITER 5722 NEW BEST:: SOT 48442 SOS 31289 HAS SOPS 31289 HAS SOUS 22942 HAS SOUPS 22942 WITH SCORE 22973.289
AT ITER 5730 NEW BEST:: SOT 48442 SOS 31284 HAS SOPS 31284 HAS SOUS 22942 HAS SOUPS 22942 WITH SCORE 22973.284
AT ITER 5733 NEW BEST:: SOT 48442 SOS 31280 HAS SOPS 31280 HAS SOUS 22942 HAS SOUPS 22942 WITH SCORE 22973.28
AT ITER 5755 NEW BEST:: SOT 48437 SOS 31275 HAS SOPS 31275 HAS SOUS 22940 HAS SOUPS 22940 WITH SCORE 22971.275
AT ITER 5767 NEW BEST:: SOT 48429 SOS 31571 HAS SOPS 31571 HAS SOUS 22929 HAS SOUPS 22929 WITH SCORE 22960.571
AT ITER 5794 NEW BEST:: SOT 48429 SOS 31506 HAS SOPS 31506 HAS SOUS 22929 HAS SOUPS 22929 WITH SCORE 22960.506
AT ITER 5814 NEW BEST:: SOT 48429 SOS 31574 HAS SOPS 31574 HAS SOUS 22925 HAS SOUPS 22925 WITH SCORE 22956.574
AT ITER 5848 NEW BEST:: SOT 48429 SOS 31568 HAS SOPS 31568 HAS SOUS 22925 HAS SOUPS 22925 WITH SCORE 22956.568
AT ITER 5851 NEW BEST:: SOT 48428 SOS 31567 HAS SOPS 31567 HAS SOUS 22924 HAS SOUPS 22924 WITH SCORE 22955.567
AT ITER 5856 NEW BEST:: SOT 48428 SOS 31566 HAS SOPS 31566 HAS SOUS 22924 HAS SOUPS 22924 WITH SCORE 22955.566
AT ITER 5870 NEW BEST:: SOT 48325 SOS 32056 HAS SOPS 32056 HAS SOUS 22828 HAS SOUPS 22828 WITH SCORE 22860.056
AT ITER 5872 NEW BEST:: SOT 48325 SOS 32067 HAS SOPS 32067 HAS SOUS 22827 HAS SOUPS 22827 WITH SCORE 22859.067
AT ITER 5880 NEW BEST:: SOT 48325 SOS 32051 HAS SOPS 32051 HAS SOUS 22825 HAS SOUPS 22825 WITH SCORE 22857.051
AT ITER 5901 NEW BEST:: SOT 48205 SOS 32139 HAS SOPS 32139 HAS SOUS 22705 HAS SOUPS 22705 WITH SCORE 22737.139
AT ITER 5906 NEW BEST:: SOT 48205 SOS 32139 HAS SOPS 32139 HAS SOUS 22703 HAS SOUPS 22703 WITH SCORE 22735.139
AT ITER 5910 NEW BEST:: SOT 48202 SOS 32123 HAS SOPS 32123 HAS SOUS 22693 HAS SOUPS 22693 WITH SCORE 22725.123
AT ITER 5914 NEW BEST:: SOT 48213 SOS 32134 HAS SOPS 32134 HAS SOUS 22678 HAS SOUPS 22678 WITH SCORE 22710.134
AT ITER 5915 NEW BEST:: SOT 48213 SOS 32127 HAS SOPS 32127 HAS SOUS 22678 HAS SOUPS 22678 WITH SCORE 22710.127
AT ITER 5932 NEW BEST:: SOT 48213 SOS 32126 HAS SOPS 32126 HAS SOUS 22678 HAS SOUPS 22678 WITH SCORE 22710.126
AT ITER 5953 NEW BEST:: SOT 48213 SOS 32124 HAS SOPS 32124 HAS SOUS 22676 HAS SOUPS 22676 WITH SCORE 22708.124
AT ITER 5959 NEW BEST:: SOT 48173 SOS 32136 HAS SOPS 32136 HAS SOUS 22644 HAS SOUPS 22644 WITH SCORE 22676.136
AT ITER 6014 NEW BEST:: SOT 48152 SOS 32115 HAS SOPS 32115 HAS SOUS 22626 HAS SOUPS 22626 WITH SCORE 22658.115
AT ITER 6032 NEW BEST:: SOT 48093 SOS 32242 HAS SOPS 32242 HAS SOUS 22592 HAS SOUPS 22592 WITH SCORE 22624.242
AT ITER 6035 NEW BEST:: SOT 48093 SOS 32279 HAS SOPS 32279 HAS SOUS 22586 HAS SOUPS 22586 WITH SCORE 22618.279
AT ITER 6112 NEW BEST:: SOT 48078 SOS 32264 HAS SOPS 32264 HAS SOUS 22571 HAS SOUPS 22571 WITH SCORE 22603.264
AT ITER 6122 NEW BEST:: SOT 48078 SOS 32258 HAS SOPS 32258 HAS SOUS 22571 HAS SOUPS 22571 WITH SCORE 22603.258
AT ITER 6125 NEW BEST:: SOT 48072 SOS 32298 HAS SOPS 32298 HAS SOUS 22565 HAS SOUPS 22565 WITH SCORE 22597.298
AT ITER 6166 NEW BEST:: SOT 48072 SOS 32291 HAS SOPS 32291 HAS SOUS 22561 HAS SOUPS 22561 WITH SCORE 22593.291
AT ITER 6167 NEW BEST:: SOT 48015 SOS 32426 HAS SOPS 32426 HAS SOUS 22527 HAS SOUPS 22527 WITH SCORE 22559.426
AT ITER 6219 NEW BEST:: SOT 47934 SOS 32563 HAS SOPS 32563 HAS SOUS 22446 HAS SOUPS 22446 WITH SCORE 22478.563
AT ITER 6238 NEW BEST:: SOT 47933 SOS 32582 HAS SOPS 32582 HAS SOUS 22445 HAS SOUPS 22445 WITH SCORE 22477.582
AT ITER 6239 NEW BEST:: SOT 47931 SOS 32580 HAS SOPS 32580 HAS SOUS 22439 HAS SOUPS 22439 WITH SCORE 22471.58
AT ITER 6240 NEW BEST:: SOT 47931 SOS 32565 HAS SOPS 32565 HAS SOUS 22439 HAS SOUPS 22439 WITH SCORE 22471.565
AT ITER 6243 NEW BEST:: SOT 47847 SOS 32958 HAS SOPS 32958 HAS SOUS 22421 HAS SOUPS 22421 WITH SCORE 22453.958
AT ITER 6247 NEW BEST:: SOT 47840 SOS 32951 HAS SOPS 32951 HAS SOUS 22384 HAS SOUPS 22384 WITH SCORE 22416.951
AT ITER 6317 NEW BEST:: SOT 47840 SOS 32951 HAS SOPS 32951 HAS SOUS 22370 HAS SOUPS 22370 WITH SCORE 22402.951
AT ITER 6365 NEW BEST:: SOT 47783 SOS 33277 HAS SOPS 33277 HAS SOUS 22319 HAS SOUPS 22319 WITH SCORE 22352.277
AT ITER 6372 NEW BEST:: SOT 47781 SOS 33293 HAS SOPS 33293 HAS SOUS 22317 HAS SOUPS 22317 WITH SCORE 22350.293
AT ITER 6426 NEW BEST:: SOT 47780 SOS 33292 HAS SOPS 33292 HAS SOUS 22316 HAS SOUPS 22316 WITH SCORE 22349.292
AT ITER 6465 NEW BEST:: SOT 47765 SOS 33281 HAS SOPS 33281 HAS SOUS 22305 HAS SOUPS 22305 WITH SCORE 22338.281
AT ITER 6540 NEW BEST:: SOT 47760 SOS 33276 HAS SOPS 33276 HAS SOUS 22300 HAS SOUPS 22300 WITH SCORE 22333.276
AT ITER 6623 NEW BEST:: SOT 47661 SOS 33447 HAS SOPS 33447 HAS SOUS 22246 HAS SOUPS 22246 WITH SCORE 22279.447
AT ITER 6624 NEW BEST:: SOT 47661 SOS 33443 HAS SOPS 33443 HAS SOUS 22246 HAS SOUPS 22246 WITH SCORE 22279.443
AT ITER 6649 NEW BEST:: SOT 47661 SOS 33408 HAS SOPS 33408 HAS SOUS 22246 HAS SOUPS 22246 WITH SCORE 22279.408
AT ITER 6663 NEW BEST:: SOT 47661 SOS 33394 HAS SOPS 33394 HAS SOUS 22246 HAS SOUPS 22246 WITH SCORE 22279.394
AT ITER 6666 NEW BEST:: SOT 47672 SOS 33405 HAS SOPS 33405 HAS SOUS 22220 HAS SOUPS 22220 WITH SCORE 22253.405
AT ITER 6715 NEW BEST:: SOT 47638 SOS 33423 HAS SOPS 33423 HAS SOUS 22186 HAS SOUPS 22186 WITH SCORE 22219.423
AT ITER 6720 NEW BEST:: SOT 47632 SOS 33417 HAS SOPS 33417 HAS SOUS 22180 HAS SOUPS 22180 WITH SCORE 22213.417
AT ITER 6742 NEW BEST:: SOT 47632 SOS 33398 HAS SOPS 33398 HAS SOUS 22180 HAS SOUPS 22180 WITH SCORE 22213.398
AT ITER 6754 NEW BEST:: SOT 47632 SOS 33398 HAS SOPS 33398 HAS SOUS 22176 HAS SOUPS 22176 WITH SCORE 22209.398
AT ITER 6822 NEW BEST:: SOT 47628 SOS 33413 HAS SOPS 33413 HAS SOUS 22174 HAS SOUPS 22174 WITH SCORE 22207.413
AT ITER 6824 NEW BEST:: SOT 47620 SOS 33405 HAS SOPS 33405 HAS SOUS 22162 HAS SOUPS 22162 WITH SCORE 22195.405
AT ITER 6825 NEW BEST:: SOT 47620 SOS 33405 HAS SOPS 33405 HAS SOUS 22154 HAS SOUPS 22154 WITH SCORE 22187.405
AT ITER 6905 NEW BEST:: SOT 47620 SOS 33405 HAS SOPS 33405 HAS SOUS 22146 HAS SOUPS 22146 WITH SCORE 22179.405
AT ITER 6934 NEW BEST:: SOT 47620 SOS 33346 HAS SOPS 33346 HAS SOUS 22112 HAS SOUPS 22112 WITH SCORE 22145.346
AT ITER 6990 NEW BEST:: SOT 47615 SOS 33341 HAS SOPS 33341 HAS SOUS 22107 HAS SOUPS 22107 WITH SCORE 22140.341
AT ITER 7078 NEW BEST:: SOT 47615 SOS 33326 HAS SOPS 33326 HAS SOUS 22107 HAS SOUPS 22107 WITH SCORE 22140.326
AT ITER 7088 NEW BEST:: SOT 47625 SOS 33336 HAS SOPS 33336 HAS SOUS 22102 HAS SOUPS 22102 WITH SCORE 22135.336
AT ITER 7116 NEW BEST:: SOT 47600 SOS 33401 HAS SOPS 33401 HAS SOUS 22077 HAS SOUPS 22077 WITH SCORE 22110.401
AT ITER 7119 NEW BEST:: SOT 47551 SOS 33352 HAS SOPS 33352 HAS SOUS 22066 HAS SOUPS 22066 WITH SCORE 22099.352
AT ITER 7123 NEW BEST:: SOT 47549 SOS 33350 HAS SOPS 33350 HAS SOUS 22064 HAS SOUPS 22064 WITH SCORE 22097.35
AT ITER 7135 NEW BEST:: SOT 47549 SOS 33350 HAS SOPS 33350 HAS SOUS 22051 HAS SOUPS 22051 WITH SCORE 22084.35
AT ITER 7148 NEW BEST:: SOT 47522 SOS 33323 HAS SOPS 33323 HAS SOUS 22039 HAS SOUPS 22039 WITH SCORE 22072.323
AT ITER 7160 NEW BEST:: SOT 47517 SOS 33318 HAS SOPS 33318 HAS SOUS 22029 HAS SOUPS 22029 WITH SCORE 22062.318
AT ITER 7164 NEW BEST:: SOT 47517 SOS 33363 HAS SOPS 33363 HAS SOUS 22027 HAS SOUPS 22027 WITH SCORE 22060.363
AT ITER 7220 NEW BEST:: SOT 47517 SOS 33253 HAS SOPS 33253 HAS SOUS 22027 HAS SOUPS 22027 WITH SCORE 22060.253
AT ITER 7246 NEW BEST:: SOT 47517 SOS 33245 HAS SOPS 33245 HAS SOUS 22027 HAS SOUPS 22027 WITH SCORE 22060.245
AT ITER 7282 NEW BEST:: SOT 47516 SOS 33244 HAS SOPS 33244 HAS SOUS 22026 HAS SOUPS 22026 WITH SCORE 22059.244
AT ITER 7435 NEW BEST:: SOT 47516 SOS 33244 HAS SOPS 33244 HAS SOUS 22016 HAS SOUPS 22016 WITH SCORE 22049.244
AT ITER 7473 NEW BEST:: SOT 47511 SOS 33239 HAS SOPS 33239 HAS SOUS 22011 HAS SOUPS 22011 WITH SCORE 22044.239
AT ITER 7489 NEW BEST:: SOT 47593 SOS 33321 HAS SOPS 33321 HAS SOUS 21997 HAS SOUPS 21997 WITH SCORE 22030.321
AT ITER 7525 NEW BEST:: SOT 47587 SOS 33315 HAS SOPS 33315 HAS SOUS 21992 HAS SOUPS 21992 WITH SCORE 22025.315
AT ITER 7597 NEW BEST:: SOT 47561 SOS 33354 HAS SOPS 33354 HAS SOUS 21966 HAS SOUPS 21966 WITH SCORE 21999.354
AT ITER 7612 NEW BEST:: SOT 47557 SOS 33350 HAS SOPS 33350 HAS SOUS 21962 HAS SOUPS 21962 WITH SCORE 21995.35
AT ITER 7655 NEW BEST:: SOT 47557 SOS 33343 HAS SOPS 33343 HAS SOUS 21955 HAS SOUPS 21955 WITH SCORE 21988.343
AT ITER 7667 NEW BEST:: SOT 47556 SOS 33426 HAS SOPS 33426 HAS SOUS 21954 HAS SOUPS 21954 WITH SCORE 21987.426
AT ITER 7728 NEW BEST:: SOT 47548 SOS 33418 HAS SOPS 33418 HAS SOUS 21954 HAS SOUPS 21954 WITH SCORE 21987.418
AT ITER 7741 NEW BEST:: SOT 47554 SOS 33424 HAS SOPS 33424 HAS SOUS 21940 HAS SOUPS 21940 WITH SCORE 21973.424
AT ITER 7771 NEW BEST:: SOT 47554 SOS 33424 HAS SOPS 33424 HAS SOUS 21939 HAS SOUPS 21939 WITH SCORE 21972.424
AT ITER 7835 NEW BEST:: SOT 47554 SOS 33424 HAS SOPS 33424 HAS SOUS 21927 HAS SOUPS 21927 WITH SCORE 21960.424
AT ITER 7912 NEW BEST:: SOT 47595 SOS 33332 HAS SOPS 33332 HAS SOUS 21923 HAS SOUPS 21923 WITH SCORE 21956.332
AT ITER 7945 NEW BEST:: SOT 47592 SOS 33331 HAS SOPS 33331 HAS SOUS 21922 HAS SOUPS 21922 WITH SCORE 21955.331
AT ITER 7955 NEW BEST:: SOT 47563 SOS 33302 HAS SOPS 33302 HAS SOUS 21922 HAS SOUPS 21922 WITH SCORE 21955.302
AT ITER 7978 NEW BEST:: SOT 47563 SOS 33290 HAS SOPS 33290 HAS SOUS 21920 HAS SOUPS 21920 WITH SCORE 21953.29
AT ITER 7984 NEW BEST:: SOT 47556 SOS 33283 HAS SOPS 33283 HAS SOUS 21913 HAS SOUPS 21913 WITH SCORE 21946.283
AT ITER 8000 NEW BEST:: SOT 47556 SOS 33000 HAS SOPS 33000 HAS SOUS 21913 HAS SOUPS 21913 WITH SCORE 21946.0
AT ITER 8068 NEW BEST:: SOT 47523 SOS 32974 HAS SOPS 32974 HAS SOUS 21887 HAS SOUPS 21887 WITH SCORE 21919.974
AT ITER 8085 NEW BEST:: SOT 47517 SOS 32968 HAS SOPS 32968 HAS SOUS 21881 HAS SOUPS 21881 WITH SCORE 21913.968
AT ITER 8093 NEW BEST:: SOT 47484 SOS 32935 HAS SOPS 32935 HAS SOUS 21860 HAS SOUPS 21860 WITH SCORE 21892.935
AT ITER 8104 NEW BEST:: SOT 47481 SOS 32932 HAS SOPS 32932 HAS SOUS 21857 HAS SOUPS 21857 WITH SCORE 21889.932
AT ITER 8130 NEW BEST:: SOT 47481 SOS 32932 HAS SOPS 32932 HAS SOUS 21854 HAS SOUPS 21854 WITH SCORE 21886.932
AT ITER 8158 NEW BEST:: SOT 47474 SOS 32925 HAS SOPS 32925 HAS SOUS 21834 HAS SOUPS 21834 WITH SCORE 21866.925
AT ITER 8176 NEW BEST:: SOT 47469 SOS 32920 HAS SOPS 32920 HAS SOUS 21834 HAS SOUPS 21834 WITH SCORE 21866.92
AT ITER 8200 NEW BEST:: SOT 47464 SOS 32915 HAS SOPS 32915 HAS SOUS 21829 HAS SOUPS 21829 WITH SCORE 21861.915
AT ITER 8218 NEW BEST:: SOT 47464 SOS 32911 HAS SOPS 32911 HAS SOUS 21823 HAS SOUPS 21823 WITH SCORE 21855.911
AT ITER 8244 NEW BEST:: SOT 47464 SOS 32895 HAS SOPS 32895 HAS SOUS 21823 HAS SOUPS 21823 WITH SCORE 21855.895
AT ITER 8274 NEW BEST:: SOT 47463 SOS 32894 HAS SOPS 32894 HAS SOUS 21822 HAS SOUPS 21822 WITH SCORE 21854.894
AT ITER 8275 NEW BEST:: SOT 47407 SOS 32963 HAS SOPS 32963 HAS SOUS 21766 HAS SOUPS 21766 WITH SCORE 21798.963
AT ITER 8304 NEW BEST:: SOT 47407 SOS 32927 HAS SOPS 32927 HAS SOUS 21766 HAS SOUPS 21766 WITH SCORE 21798.927
AT ITER 8318 NEW BEST:: SOT 47403 SOS 32953 HAS SOPS 32953 HAS SOUS 21762 HAS SOUPS 21762 WITH SCORE 21794.953
AT ITER 8349 NEW BEST:: SOT 47389 SOS 32939 HAS SOPS 32939 HAS SOUS 21761 HAS SOUPS 21761 WITH SCORE 21793.939
AT ITER 8353 NEW BEST:: SOT 47392 SOS 32811 HAS SOPS 32811 HAS SOUS 21752 HAS SOUPS 21752 WITH SCORE 21784.811
AT ITER 8366 NEW BEST:: SOT 47392 SOS 32809 HAS SOPS 32809 HAS SOUS 21751 HAS SOUPS 21751 WITH SCORE 21783.809
AT ITER 8442 NEW BEST:: SOT 47392 SOS 32809 HAS SOPS 32809 HAS SOUS 21746 HAS SOUPS 21746 WITH SCORE 21778.809
AT ITER 8483 NEW BEST:: SOT 47381 SOS 32798 HAS SOPS 32798 HAS SOUS 21738 HAS SOUPS 21738 WITH SCORE 21770.798
AT ITER 8490 NEW BEST:: SOT 47381 SOS 32790 HAS SOPS 32790 HAS SOUS 21738 HAS SOUPS 21738 WITH SCORE 21770.79
AT ITER 8500 NEW BEST:: SOT 47376 SOS 32830 HAS SOPS 32830 HAS SOUS 21733 HAS SOUPS 21733 WITH SCORE 21765.83
AT ITER 8510 NEW BEST:: SOT 47372 SOS 32826 HAS SOPS 32826 HAS SOUS 21709 HAS SOUPS 21709 WITH SCORE 21741.826
AT ITER 8519 NEW BEST:: SOT 47357 SOS 32811 HAS SOPS 32811 HAS SOUS 21696 HAS SOUPS 21696 WITH SCORE 21728.811
AT ITER 8609 NEW BEST:: SOT 47346 SOS 32909 HAS SOPS 32909 HAS SOUS 21685 HAS SOUPS 21685 WITH SCORE 21717.909
AT ITER 8623 NEW BEST:: SOT 47346 SOS 32960 HAS SOPS 32960 HAS SOUS 21682 HAS SOUPS 21682 WITH SCORE 21714.96
AT ITER 8625 NEW BEST:: SOT 47346 SOS 32975 HAS SOPS 32975 HAS SOUS 21680 HAS SOUPS 21680 WITH SCORE 21712.975
AT ITER 8630 NEW BEST:: SOT 47346 SOS 32975 HAS SOPS 32975 HAS SOUS 21674 HAS SOUPS 21674 WITH SCORE 21706.975
AT ITER 8650 NEW BEST:: SOT 47338 SOS 32967 HAS SOPS 32967 HAS SOUS 21659 HAS SOUPS 21659 WITH SCORE 21691.967
AT ITER 8680 NEW BEST:: SOT 47341 SOS 32970 HAS SOPS 32970 HAS SOUS 21648 HAS SOUPS 21648 WITH SCORE 21680.97
AT ITER 8702 NEW BEST:: SOT 47336 SOS 32965 HAS SOPS 32965 HAS SOUS 21643 HAS SOUPS 21643 WITH SCORE 21675.965
AT ITER 8730 NEW BEST:: SOT 47331 SOS 33064 HAS SOPS 33064 HAS SOUS 21638 HAS SOUPS 21638 WITH SCORE 21671.064
AT ITER 8759 NEW BEST:: SOT 47336 SOS 33029 HAS SOPS 33029 HAS SOUS 21635 HAS SOUPS 21635 WITH SCORE 21668.029
AT ITER 8772 NEW BEST:: SOT 47336 SOS 33027 HAS SOPS 33027 HAS SOUS 21635 HAS SOUPS 21635 WITH SCORE 21668.027
AT ITER 8806 NEW BEST:: SOT 47333 SOS 33024 HAS SOPS 33024 HAS SOUS 21632 HAS SOUPS 21632 WITH SCORE 21665.024
AT ITER 8831 NEW BEST:: SOT 47333 SOS 33024 HAS SOPS 33024 HAS SOUS 21618 HAS SOUPS 21618 WITH SCORE 21651.024
AT ITER 8844 NEW BEST:: SOT 47333 SOS 32950 HAS SOPS 32950 HAS SOUS 21616 HAS SOUPS 21616 WITH SCORE 21648.95
AT ITER 8855 NEW BEST:: SOT 47323 SOS 32940 HAS SOPS 32940 HAS SOUS 21606 HAS SOUPS 21606 WITH SCORE 21638.94
AT ITER 8925 NEW BEST:: SOT 47323 SOS 32930 HAS SOPS 32930 HAS SOUS 21606 HAS SOUPS 21606 WITH SCORE 21638.93
AT ITER 8933 NEW BEST:: SOT 47317 SOS 32924 HAS SOPS 32924 HAS SOUS 21600 HAS SOUPS 21600 WITH SCORE 21632.924
AT ITER 8975 NEW BEST:: SOT 47311 SOS 33162 HAS SOPS 33162 HAS SOUS 21599 HAS SOUPS 21599 WITH SCORE 21632.162
AT ITER 8981 NEW BEST:: SOT 47318 SOS 33169 HAS SOPS 33169 HAS SOUS 21598 HAS SOUPS 21598 WITH SCORE 21631.169
AT ITER 9054 NEW BEST:: SOT 47287 SOS 33370 HAS SOPS 33370 HAS SOUS 21596 HAS SOUPS 21596 WITH SCORE 21629.37
AT ITER 9056 NEW BEST:: SOT 47301 SOS 33244 HAS SOPS 33244 HAS SOUS 21593 HAS SOUPS 21593 WITH SCORE 21626.244
AT ITER 9057 NEW BEST:: SOT 47301 SOS 33242 HAS SOPS 33242 HAS SOUS 21591 HAS SOUPS 21591 WITH SCORE 21624.242
AT ITER 9076 NEW BEST:: SOT 47300 SOS 33241 HAS SOPS 33241 HAS SOUS 21590 HAS SOUPS 21590 WITH SCORE 21623.241
AT ITER 9096 NEW BEST:: SOT 47348 SOS 33289 HAS SOPS 33289 HAS SOUS 21542 HAS SOUPS 21542 WITH SCORE 21575.289
AT ITER 9149 NEW BEST:: SOT 47348 SOS 33287 HAS SOPS 33287 HAS SOUS 21541 HAS SOUPS 21541 WITH SCORE 21574.287
AT ITER 9173 NEW BEST:: SOT 47340 SOS 33279 HAS SOPS 33279 HAS SOUS 21541 HAS SOUPS 21541 WITH SCORE 21574.279
AT ITER 9184 NEW BEST:: SOT 47307 SOS 33501 HAS SOPS 33501 HAS SOUS 21540 HAS SOUPS 21540 WITH SCORE 21573.501
AT ITER 9198 NEW BEST:: SOT 47292 SOS 33635 HAS SOPS 33635 HAS SOUS 21538 HAS SOUPS 21538 WITH SCORE 21571.635
AT ITER 9229 NEW BEST:: SOT 47292 SOS 33635 HAS SOPS 33635 HAS SOUS 21537 HAS SOUPS 21537 WITH SCORE 21570.635
AT ITER 9237 NEW BEST:: SOT 47301 SOS 33644 HAS SOPS 33644 HAS SOUS 21530 HAS SOUPS 21530 WITH SCORE 21563.644
AT ITER 9275 NEW BEST:: SOT 47301 SOS 33634 HAS SOPS 33634 HAS SOUS 21530 HAS SOUPS 21530 WITH SCORE 21563.634
AT ITER 9305 NEW BEST:: SOT 47301 SOS 33628 HAS SOPS 33628 HAS SOUS 21530 HAS SOUPS 21530 WITH SCORE 21563.628
AT ITER 9329 NEW BEST:: SOT 47294 SOS 33621 HAS SOPS 33621 HAS SOUS 21528 HAS SOUPS 21528 WITH SCORE 21561.621
AT ITER 9334 NEW BEST:: SOT 47291 SOS 33618 HAS SOPS 33618 HAS SOUS 21527 HAS SOUPS 21527 WITH SCORE 21560.618
AT ITER 9340 NEW BEST:: SOT 47284 SOS 33611 HAS SOPS 33611 HAS SOUS 21524 HAS SOUPS 21524 WITH SCORE 21557.611
AT ITER 9382 NEW BEST:: SOT 47284 SOS 33607 HAS SOPS 33607 HAS SOUS 21524 HAS SOUPS 21524 WITH SCORE 21557.607
AT ITER 9403 NEW BEST:: SOT 47284 SOS 33585 HAS SOPS 33585 HAS SOUS 21524 HAS SOUPS 21524 WITH SCORE 21557.585
AT ITER 9485 NEW BEST:: SOT 47284 SOS 33571 HAS SOPS 33571 HAS SOUS 21523 HAS SOUPS 21523 WITH SCORE 21556.571
AT ITER 9486 NEW BEST:: SOT 47282 SOS 33569 HAS SOPS 33569 HAS SOUS 21518 HAS SOUPS 21518 WITH SCORE 21551.569
AT ITER 9513 NEW BEST:: SOT 47282 SOS 33562 HAS SOPS 33562 HAS SOUS 21511 HAS SOUPS 21511 WITH SCORE 21544.562
AT ITER 9521 NEW BEST:: SOT 47273 SOS 33553 HAS SOPS 33553 HAS SOUS 21502 HAS SOUPS 21502 WITH SCORE 21535.553
AT ITER 9530 NEW BEST:: SOT 47273 SOS 33541 HAS SOPS 33541 HAS SOUS 21502 HAS SOUPS 21502 WITH SCORE 21535.541
AT ITER 9591 NEW BEST:: SOT 47270 SOS 33538 HAS SOPS 33538 HAS SOUS 21502 HAS SOUPS 21502 WITH SCORE 21535.538
AT ITER 9629 NEW BEST:: SOT 47270 SOS 33538 HAS SOPS 33538 HAS SOUS 21501 HAS SOUPS 21501 WITH SCORE 21534.538
AT ITER 9666 NEW BEST:: SOT 47272 SOS 33540 HAS SOPS 33540 HAS SOUS 21497 HAS SOUPS 21497 WITH SCORE 21530.54
AT ITER 9667 NEW BEST:: SOT 47272 SOS 33540 HAS SOPS 33540 HAS SOUS 21496 HAS SOUPS 21496 WITH SCORE 21529.54
AT ITER 9677 NEW BEST:: SOT 47262 SOS 33530 HAS SOPS 33530 HAS SOUS 21466 HAS SOUPS 21466 WITH SCORE 21499.53
AT ITER 9694 NEW BEST:: SOT 47253 SOS 33632 HAS SOPS 33632 HAS SOUS 21462 HAS SOUPS 21462 WITH SCORE 21495.632
AT ITER 9700 NEW BEST:: SOT 47229 SOS 33614 HAS SOPS 33614 HAS SOUS 21448 HAS SOUPS 21448 WITH SCORE 21481.614
AT ITER 9709 NEW BEST:: SOT 47230 SOS 33510 HAS SOPS 33510 HAS SOUS 21428 HAS SOUPS 21428 WITH SCORE 21461.51
AT ITER 9755 NEW BEST:: SOT 47230 SOS 33506 HAS SOPS 33506 HAS SOUS 21428 HAS SOUPS 21428 WITH SCORE 21461.506
AT ITER 9836 NEW BEST:: SOT 47220 SOS 33516 HAS SOPS 33516 HAS SOUS 21418 HAS SOUPS 21418 WITH SCORE 21451.516
AT ITER 9859 NEW BEST:: SOT 47209 SOS 33505 HAS SOPS 33505 HAS SOUS 21407 HAS SOUPS 21407 WITH SCORE 21440.505
AT ITER 9918 NEW BEST:: SOT 47209 SOS 33505 HAS SOPS 33505 HAS SOUS 21403 HAS SOUPS 21403 WITH SCORE 21436.505
AT ITER 9947 NEW BEST:: SOT 47209 SOS 33505 HAS SOPS 33505 HAS SOUS 21401 HAS SOUPS 21401 WITH SCORE 21434.505
AT ITER 9985 NEW BEST:: SOT 47206 SOS 33502 HAS SOPS 33502 HAS SOUS 21398 HAS SOUPS 21398 WITH SCORE 21431.502
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 137120 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16246600 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="NQueens-PT-15"
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 NQueens-PT-15, 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 r267-smll-167863541300048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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