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

About the Execution of Smart+red for SemanticWebServices-PT-S256P09

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
952.323 3600000.00 3723784.00 8562.80 [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.r363-smll-167891814300432.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 SemanticWebServices-PT-S256P09, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r363-smll-167891814300432
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 32M
-rw-r--r-- 1 mcc users 6.7K Feb 26 10:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 10:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 26 10:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 10:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 10:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 148K Feb 26 10:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 26 10:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 10:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 32M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679189241722

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=SemanticWebServices-PT-S256P09
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 01:27:24] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 01:27:24] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 01:27:26] [INFO ] Load time of PNML (sax parser for PT used): 1905 ms
[2023-03-19 01:27:26] [INFO ] Transformed 418 places.
[2023-03-19 01:27:26] [INFO ] Transformed 27524 transitions.
[2023-03-19 01:27:26] [INFO ] Parsed PT model containing 418 places and 27524 transitions and 270595 arcs in 2192 ms.
[2023-03-19 01:27:26] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 418 places, 27524 transitions and 270595 arcs took 321 ms.
Total runtime 2570 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SemanticWebServices (PT), instance S256P09
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: 418 places, 27524 transitions, 270595 arcs.
AT ITER 0 NEW BEST:: SOT 11065022 SOS 10273049 HAS SOPS 9613787 HAS SOUS 4848079 HAS SOUPS 4803734 WITH SCORE 4814007.049
AT ITER 1 NEW BEST:: SOT 11065022 SOS 10273317 HAS SOPS 9613861 HAS SOUS 4848111 HAS SOUPS 4803681 WITH SCORE 4813954.317
AT ITER 2 NEW BEST:: SOT 11065022 SOS 10273253 HAS SOPS 9613777 HAS SOUS 4847934 HAS SOUPS 4803494 WITH SCORE 4813767.253
AT ITER 5 NEW BEST:: SOT 11065022 SOS 10280703 HAS SOPS 9621865 HAS SOUS 4847335 HAS SOUPS 4802259 WITH SCORE 4812539.703
AT ITER 6 NEW BEST:: SOT 11065022 SOS 10280805 HAS SOPS 9622537 HAS SOUS 4847301 HAS SOUPS 4801938 WITH SCORE 4812218.805
AT ITER 7 NEW BEST:: SOT 11065022 SOS 10280865 HAS SOPS 9622537 HAS SOUS 4847263 HAS SOUPS 4801870 WITH SCORE 4812150.865
AT ITER 9 NEW BEST:: SOT 11065022 SOS 10281393 HAS SOPS 9609331 HAS SOUS 4841147 HAS SOUPS 4791336 WITH SCORE 4801617.393
AT ITER 10 NEW BEST:: SOT 11065022 SOS 10280787 HAS SOPS 9608639 HAS SOUS 4840485 HAS SOUPS 4790589 WITH SCORE 4800869.787
AT ITER 12 NEW BEST:: SOT 11065022 SOS 10259237 HAS SOPS 9600341 HAS SOUS 4834495 HAS SOUPS 4784854 WITH SCORE 4795113.237
AT ITER 13 NEW BEST:: SOT 11065022 SOS 10248769 HAS SOPS 9563075 HAS SOUS 4834350 HAS SOUPS 4777900 WITH SCORE 4788148.769
AT ITER 14 NEW BEST:: SOT 11065022 SOS 10255143 HAS SOPS 9548447 HAS SOUS 4803151 HAS SOUPS 4746787 WITH SCORE 4757042.143
AT ITER 15 NEW BEST:: SOT 11065022 SOS 10255297 HAS SOPS 9542175 HAS SOUS 4803269 HAS SOUPS 4743844 WITH SCORE 4754099.297
AT ITER 16 NEW BEST:: SOT 11065022 SOS 10259751 HAS SOPS 9533141 HAS SOUS 4675482 HAS SOUPS 4615742 WITH SCORE 4626001.751
AT ITER 17 NEW BEST:: SOT 11065022 SOS 10259521 HAS SOPS 9526275 HAS SOUS 4659357 HAS SOUPS 4599757 WITH SCORE 4610016.521
AT ITER 18 NEW BEST:: SOT 11065022 SOS 10259625 HAS SOPS 9520451 HAS SOUS 4658541 HAS SOUPS 4595977 WITH SCORE 4606236.625
AT ITER 21 NEW BEST:: SOT 11065022 SOS 10259663 HAS SOPS 9519881 HAS SOUS 4658427 HAS SOUPS 4595559 WITH SCORE 4605818.663
AT ITER 23 NEW BEST:: SOT 11065022 SOS 10259845 HAS SOPS 9511791 HAS SOUS 4620582 HAS SOUPS 4558066 WITH SCORE 4568325.845
AT ITER 25 NEW BEST:: SOT 11065022 SOS 10259805 HAS SOPS 9511771 HAS SOUS 4620562 HAS SOUPS 4558056 WITH SCORE 4568315.805
AT ITER 28 NEW BEST:: SOT 11065022 SOS 10258609 HAS SOPS 9510575 HAS SOUS 4618502 HAS SOUPS 4556043 WITH SCORE 4566301.609
AT ITER 30 NEW BEST:: SOT 11065022 SOS 10258843 HAS SOPS 9510699 HAS SOUS 4618491 HAS SOUPS 4555977 WITH SCORE 4566235.843
AT ITER 32 NEW BEST:: SOT 11065022 SOS 10258567 HAS SOPS 9508399 HAS SOUS 4616396 HAS SOUPS 4553440 WITH SCORE 4563698.567
AT ITER 33 NEW BEST:: SOT 11065022 SOS 10258843 HAS SOPS 9508473 HAS SOUS 4616001 HAS SOUPS 4552944 WITH SCORE 4563202.843
AT ITER 34 NEW BEST:: SOT 11065022 SOS 10227847 HAS SOPS 9474409 HAS SOUS 4616427 HAS SOUPS 4552647 WITH SCORE 4562874.847
AT ITER 36 NEW BEST:: SOT 11065022 SOS 10222597 HAS SOPS 9466339 HAS SOUS 4615587 HAS SOUPS 4550551 WITH SCORE 4560773.597
AT ITER 37 NEW BEST:: SOT 11065022 SOS 10216655 HAS SOPS 9459069 HAS SOUS 4604343 HAS SOUPS 4539496 WITH SCORE 4549712.655
AT ITER 38 NEW BEST:: SOT 11065022 SOS 10216975 HAS SOPS 9459249 HAS SOUS 4603592 HAS SOUPS 4538675 WITH SCORE 4548891.975
AT ITER 41 NEW BEST:: SOT 11065022 SOS 10218279 HAS SOPS 9445161 HAS SOUS 4600309 HAS SOUPS 4533981 WITH SCORE 4544199.279
AT ITER 42 NEW BEST:: SOT 11071149 SOS 10223473 HAS SOPS 9433523 HAS SOUS 4597539 HAS SOUPS 4525461 WITH SCORE 4535684.473
AT ITER 43 NEW BEST:: SOT 11071149 SOS 10209339 HAS SOPS 9420741 HAS SOUS 4596973 HAS SOUPS 4524789 WITH SCORE 4534998.339
AT ITER 46 NEW BEST:: SOT 11071149 SOS 10179688 HAS SOPS 9361670 HAS SOUS 4605605 HAS SOUPS 4524211 WITH SCORE 4534390.688
AT ITER 47 NEW BEST:: SOT 11071149 SOS 10179618 HAS SOPS 9359744 HAS SOUS 4606322 HAS SOUPS 4523848 WITH SCORE 4534027.618
AT ITER 48 NEW BEST:: SOT 11071149 SOS 10179222 HAS SOPS 9359230 HAS SOUS 4606193 HAS SOUPS 4523684 WITH SCORE 4533863.222
AT ITER 49 NEW BEST:: SOT 11071149 SOS 10168696 HAS SOPS 9153738 HAS SOUS 4606314 HAS SOUPS 4515593 WITH SCORE 4525761.696
AT ITER 50 NEW BEST:: SOT 11071149 SOS 10168370 HAS SOPS 9152884 HAS SOUS 4606231 HAS SOUPS 4515242 WITH SCORE 4525410.37
AT ITER 51 NEW BEST:: SOT 11071149 SOS 10168884 HAS SOPS 9153990 HAS SOUS 4521651 HAS SOUPS 4429825 WITH SCORE 4439993.884
AT ITER 53 NEW BEST:: SOT 11071149 SOS 10169266 HAS SOPS 9154184 HAS SOUS 4517618 HAS SOUPS 4425698 WITH SCORE 4435867.266
AT ITER 55 NEW BEST:: SOT 11071149 SOS 10168024 HAS SOPS 9148702 HAS SOUS 4507957 HAS SOUPS 4415469 WITH SCORE 4425637.024
AT ITER 56 NEW BEST:: SOT 11071149 SOS 10160130 HAS SOPS 9136274 HAS SOUS 4396900 HAS SOUPS 4306201 WITH SCORE 4316361.13
AT ITER 59 NEW BEST:: SOT 11071149 SOS 10160130 HAS SOPS 9137314 HAS SOUS 4395894 HAS SOUPS 4305365 WITH SCORE 4315525.13
AT ITER 60 NEW BEST:: SOT 11071149 SOS 10159132 HAS SOPS 9094010 HAS SOUS 4395647 HAS SOUPS 4290373 WITH SCORE 4300532.132
AT ITER 62 NEW BEST:: SOT 11081901 SOS 10171821 HAS SOPS 9106699 HAS SOUS 4262102 HAS SOUPS 4156867 WITH SCORE 4167038.821
AT ITER 65 NEW BEST:: SOT 11082257 SOS 10164745 HAS SOPS 9094951 HAS SOUS 4254981 HAS SOUPS 4150234 WITH SCORE 4160398.745
AT ITER 66 NEW BEST:: SOT 11082257 SOS 10164681 HAS SOPS 9094909 HAS SOUS 4249917 HAS SOUPS 4145305 WITH SCORE 4155469.681
AT ITER 69 NEW BEST:: SOT 11082257 SOS 10164929 HAS SOPS 9092116 HAS SOUS 4240344 HAS SOUPS 4135677 WITH SCORE 4145841.929
AT ITER 70 NEW BEST:: SOT 11082257 SOS 10164997 HAS SOPS 9092644 HAS SOUS 4238781 HAS SOUPS 4134093 WITH SCORE 4144257.997
AT ITER 72 NEW BEST:: SOT 11082257 SOS 10165097 HAS SOPS 9089404 HAS SOUS 4237060 HAS SOUPS 4132597 WITH SCORE 4142762.097
AT ITER 73 NEW BEST:: SOT 11082257 SOS 10160907 HAS SOPS 9081612 HAS SOUS 4239181 HAS SOUPS 4129560 WITH SCORE 4139720.907
AT ITER 74 NEW BEST:: SOT 11082257 SOS 10161875 HAS SOPS 9082580 HAS SOUS 4237512 HAS SOUPS 4128620 WITH SCORE 4138781.875
AT ITER 75 NEW BEST:: SOT 11082257 SOS 10153997 HAS SOPS 9078240 HAS SOUS 4227377 HAS SOUPS 4118996 WITH SCORE 4129149.997
AT ITER 77 NEW BEST:: SOT 11082257 SOS 10145762 HAS SOPS 9040882 HAS SOUS 4095876 HAS SOUPS 3988803 WITH SCORE 3998948.762
AT ITER 78 NEW BEST:: SOT 11082257 SOS 10145820 HAS SOPS 9040940 HAS SOUS 4094849 HAS SOUPS 3987776 WITH SCORE 3997921.82
AT ITER 79 NEW BEST:: SOT 11082257 SOS 10144684 HAS SOPS 9039316 HAS SOUS 4092187 HAS SOUPS 3985114 WITH SCORE 3995258.684
AT ITER 80 NEW BEST:: SOT 11082257 SOS 10089632 HAS SOPS 9020348 HAS SOUS 4092198 HAS SOUPS 3975999 WITH SCORE 3986088.632
AT ITER 82 NEW BEST:: SOT 11082257 SOS 10085380 HAS SOPS 9000898 HAS SOUS 4094431 HAS SOUPS 3973223 WITH SCORE 3983308.38
AT ITER 83 NEW BEST:: SOT 11082257 SOS 10085776 HAS SOPS 9000350 HAS SOUS 4094069 HAS SOUPS 3972807 WITH SCORE 3982892.776
AT ITER 84 NEW BEST:: SOT 11082257 SOS 10084146 HAS SOPS 8987574 HAS SOUS 4091042 HAS SOUPS 3969435 WITH SCORE 3979519.146
AT ITER 85 NEW BEST:: SOT 11082257 SOS 10083990 HAS SOPS 8987506 HAS SOUS 4088971 HAS SOUPS 3967804 WITH SCORE 3977887.99
AT ITER 87 NEW BEST:: SOT 11082257 SOS 10075906 HAS SOPS 8964922 HAS SOUS 4071415 HAS SOUPS 3951003 WITH SCORE 3961078.906
AT ITER 88 NEW BEST:: SOT 11082257 SOS 10077786 HAS SOPS 8966156 HAS SOUS 4053373 HAS SOUPS 3933614 WITH SCORE 3943691.786
AT ITER 90 NEW BEST:: SOT 11076873 SOS 10072526 HAS SOPS 8965216 HAS SOUS 4045997 HAS SOUPS 3930110 WITH SCORE 3940182.526
AT ITER 91 NEW BEST:: SOT 11083011 SOS 10064563 HAS SOPS 8958887 HAS SOUS 4036287 HAS SOUPS 3921314 WITH SCORE 3931378.563
AT ITER 92 NEW BEST:: SOT 11083011 SOS 10064563 HAS SOPS 8958887 HAS SOUS 4036272 HAS SOUPS 3921299 WITH SCORE 3931363.563
AT ITER 93 NEW BEST:: SOT 11083011 SOS 10064571 HAS SOPS 8958855 HAS SOUS 4036250 HAS SOUPS 3921283 WITH SCORE 3931347.571
AT ITER 94 NEW BEST:: SOT 11083011 SOS 10064579 HAS SOPS 8956311 HAS SOUS 4036238 HAS SOUPS 3921047 WITH SCORE 3931111.579
AT ITER 95 NEW BEST:: SOT 11083011 SOS 10064649 HAS SOPS 8955681 HAS SOUS 4036318 HAS SOUPS 3921015 WITH SCORE 3931079.649
AT ITER 97 NEW BEST:: SOT 11083011 SOS 10064777 HAS SOPS 8953345 HAS SOUS 4034136 HAS SOUPS 3918605 WITH SCORE 3928669.777
AT ITER 98 NEW BEST:: SOT 11083011 SOS 10064693 HAS SOPS 8951933 HAS SOUS 4034094 HAS SOUPS 3918227 WITH SCORE 3928291.693
AT ITER 103 NEW BEST:: SOT 11083011 SOS 10064693 HAS SOPS 8951965 HAS SOUS 4033982 HAS SOUPS 3918131 WITH SCORE 3928195.693
AT ITER 104 NEW BEST:: SOT 11083011 SOS 10064099 HAS SOPS 8940635 HAS SOUS 4032657 HAS SOUPS 3911014 WITH SCORE 3921078.099
AT ITER 105 NEW BEST:: SOT 11083011 SOS 10064899 HAS SOPS 8929563 HAS SOUS 3994995 HAS SOUPS 3873152 WITH SCORE 3883216.899
AT ITER 106 NEW BEST:: SOT 11083011 SOS 10064523 HAS SOPS 8929725 HAS SOUS 3994314 HAS SOUPS 3872087 WITH SCORE 3882151.523
AT ITER 107 NEW BEST:: SOT 11083011 SOS 10059477 HAS SOPS 8930143 HAS SOUS 3991542 HAS SOUPS 3869498 WITH SCORE 3879557.477
AT ITER 109 NEW BEST:: SOT 11083011 SOS 10059367 HAS SOPS 8927993 HAS SOUS 3990742 HAS SOUPS 3868548 WITH SCORE 3878607.367
AT ITER 110 NEW BEST:: SOT 11083011 SOS 10060081 HAS SOPS 8926195 HAS SOUS 3990813 HAS SOUPS 3866275 WITH SCORE 3876335.081
AT ITER 113 NEW BEST:: SOT 11083011 SOS 10058363 HAS SOPS 8936541 HAS SOUS 3983969 HAS SOUPS 3865009 WITH SCORE 3875067.363
AT ITER 114 NEW BEST:: SOT 11083011 SOS 10058393 HAS SOPS 8935531 HAS SOUS 3984120 HAS SOUPS 3864120 WITH SCORE 3874178.393
AT ITER 116 NEW BEST:: SOT 11083011 SOS 10055267 HAS SOPS 8935193 HAS SOUS 3919357 HAS SOUPS 3799371 WITH SCORE 3809426.267
AT ITER 117 NEW BEST:: SOT 11083011 SOS 10055449 HAS SOPS 8935191 HAS SOUS 3917832 HAS SOUPS 3797708 WITH SCORE 3807763.449
AT ITER 118 NEW BEST:: SOT 11083011 SOS 10055449 HAS SOPS 8934783 HAS SOUS 3917918 HAS SOUPS 3797386 WITH SCORE 3807441.449
AT ITER 120 NEW BEST:: SOT 11083011 SOS 10018027 HAS SOPS 8727301 HAS SOUS 3440999 HAS SOUPS 3327352 WITH SCORE 3337370.027
AT ITER 122 NEW BEST:: SOT 11083011 SOS 10017979 HAS SOPS 8727493 HAS SOUS 3440783 HAS SOUPS 3327264 WITH SCORE 3337281.979
AT ITER 124 NEW BEST:: SOT 11083011 SOS 10018393 HAS SOPS 8718691 HAS SOUS 3443334 HAS SOUPS 3325357 WITH SCORE 3335375.393
AT ITER 126 NEW BEST:: SOT 11083011 SOS 10018669 HAS SOPS 8712277 HAS SOUS 3433518 HAS SOUPS 3314512 WITH SCORE 3324530.669
AT ITER 127 NEW BEST:: SOT 11083011 SOS 10018949 HAS SOPS 8712257 HAS SOUS 3433018 HAS SOUPS 3313846 WITH SCORE 3323864.949
AT ITER 129 NEW BEST:: SOT 11083011 SOS 10018901 HAS SOPS 8712209 HAS SOUS 3432946 HAS SOUPS 3313774 WITH SCORE 3323792.901
AT ITER 130 NEW BEST:: SOT 11083011 SOS 10020185 HAS SOPS 8709107 HAS SOUS 3430393 HAS SOUPS 3310893 WITH SCORE 3320913.185
AT ITER 133 NEW BEST:: SOT 11083011 SOS 10020135 HAS SOPS 8709075 HAS SOUS 3430368 HAS SOUPS 3310877 WITH SCORE 3320897.135
AT ITER 134 NEW BEST:: SOT 11083011 SOS 10011869 HAS SOPS 8491007 HAS SOUS 3434208 HAS SOUPS 3280501 WITH SCORE 3290512.869
AT ITER 137 NEW BEST:: SOT 11083011 SOS 10011901 HAS SOPS 8494275 HAS SOUS 3318101 HAS SOUPS 3164394 WITH SCORE 3174405.901
AT ITER 139 NEW BEST:: SOT 11083011 SOS 10010273 HAS SOPS 8509139 HAS SOUS 3303463 HAS SOUPS 3152381 WITH SCORE 3162391.273
AT ITER 140 NEW BEST:: SOT 11083011 SOS 10009575 HAS SOPS 8508397 HAS SOUS 3303244 HAS SOUPS 3152068 WITH SCORE 3162077.575
AT ITER 142 NEW BEST:: SOT 11083011 SOS 10010217 HAS SOPS 8507335 HAS SOUS 3296780 HAS SOUPS 3145121 WITH SCORE 3155131.217
AT ITER 143 NEW BEST:: SOT 11083011 SOS 10000461 HAS SOPS 8507771 HAS SOUS 3265632 HAS SOUPS 3118190 WITH SCORE 3128190.461
AT ITER 146 NEW BEST:: SOT 11083299 SOS 10002084 HAS SOPS 8511024 HAS SOUS 3262154 HAS SOUPS 3115947 WITH SCORE 3125949.084
AT ITER 148 NEW BEST:: SOT 11083299 SOS 9999396 HAS SOPS 8507952 HAS SOUS 3262021 HAS SOUPS 3115773 WITH SCORE 3125772.396
AT ITER 150 NEW BEST:: SOT 11078079 SOS 9994226 HAS SOPS 8502782 HAS SOUS 3249581 HAS SOUPS 3103333 WITH SCORE 3113327.226
AT ITER 151 NEW BEST:: SOT 11078079 SOS 9993412 HAS SOPS 8507426 HAS SOUS 3248061 HAS SOUPS 3103038 WITH SCORE 3113031.412
AT ITER 152 NEW BEST:: SOT 11078079 SOS 9988754 HAS SOPS 8500073 HAS SOUS 3247061 HAS SOUPS 3102083 WITH SCORE 3112071.754
AT ITER 154 NEW BEST:: SOT 11078079 SOS 9982450 HAS SOPS 8495765 HAS SOUS 3245207 HAS SOUPS 3100135 WITH SCORE 3110117.45
AT ITER 156 NEW BEST:: SOT 11080529 SOS 9984503 HAS SOPS 8493514 HAS SOUS 3231032 HAS SOUPS 3086283 WITH SCORE 3096267.503
AT ITER 157 NEW BEST:: SOT 11080529 SOS 9984547 HAS SOPS 8492578 HAS SOUS 3231098 HAS SOUPS 3086019 WITH SCORE 3096003.547
AT ITER 158 NEW BEST:: SOT 11080529 SOS 9959766 HAS SOPS 8494852 HAS SOUS 3119657 HAS SOUPS 2983058 WITH SCORE 2993017.766
AT ITER 159 NEW BEST:: SOT 11080529 SOS 9959586 HAS SOPS 8494872 HAS SOUS 3111665 HAS SOUPS 2975666 WITH SCORE 2985625.586
AT ITER 160 NEW BEST:: SOT 11080529 SOS 9959558 HAS SOPS 8494844 HAS SOUS 3111637 HAS SOUPS 2975638 WITH SCORE 2985597.558
AT ITER 162 NEW BEST:: SOT 11080529 SOS 9959301 HAS SOPS 8483125 HAS SOUS 3096732 HAS SOUPS 2961372 WITH SCORE 2971331.301
AT ITER 163 NEW BEST:: SOT 11080529 SOS 9959713 HAS SOPS 8482353 HAS SOUS 3096748 HAS SOUPS 2961359 WITH SCORE 2971318.713
AT ITER 164 NEW BEST:: SOT 11081361 SOS 9960545 HAS SOPS 8483185 HAS SOUS 3092140 HAS SOUPS 2957051 WITH SCORE 2967011.545
AT ITER 166 NEW BEST:: SOT 11071425 SOS 9950609 HAS SOPS 8473249 HAS SOUS 3085716 HAS SOUPS 2950627 WITH SCORE 2960577.609
AT ITER 167 NEW BEST:: SOT 11071425 SOS 9962011 HAS SOPS 8471783 HAS SOUS 3085669 HAS SOUPS 2950580 WITH SCORE 2960542.011
AT ITER 173 NEW BEST:: SOT 11071425 SOS 9961985 HAS SOPS 8471757 HAS SOUS 3085474 HAS SOUPS 2950385 WITH SCORE 2960346.985
AT ITER 174 NEW BEST:: SOT 11071425 SOS 9962163 HAS SOPS 8470927 HAS SOUS 3076299 HAS SOUPS 2941210 WITH SCORE 2951172.163
AT ITER 176 NEW BEST:: SOT 11071425 SOS 9961447 HAS SOPS 8469085 HAS SOUS 3063040 HAS SOUPS 2928030 WITH SCORE 2937991.447
AT ITER 178 NEW BEST:: SOT 11071425 SOS 9960071 HAS SOPS 8466547 HAS SOUS 3062329 HAS SOUPS 2927319 WITH SCORE 2937279.071
AT ITER 181 NEW BEST:: SOT 11071425 SOS 9939963 HAS SOPS 8341867 HAS SOUS 3057168 HAS SOUPS 2921959 WITH SCORE 2931898.963
AT ITER 182 NEW BEST:: SOT 11071425 SOS 9941687 HAS SOPS 8339263 HAS SOUS 3056749 HAS SOUPS 2921259 WITH SCORE 2931200.687
AT ITER 186 NEW BEST:: SOT 11071425 SOS 9938291 HAS SOPS 8338241 HAS SOUS 3051229 HAS SOUPS 2916948 WITH SCORE 2926886.291
AT ITER 187 NEW BEST:: SOT 11071425 SOS 9936956 HAS SOPS 8338860 HAS SOUS 3048087 HAS SOUPS 2915222 WITH SCORE 2925158.956
AT ITER 188 NEW BEST:: SOT 11071425 SOS 9939570 HAS SOPS 8338726 HAS SOUS 3044621 HAS SOUPS 2911929 WITH SCORE 2921868.57
AT ITER 189 NEW BEST:: SOT 11071425 SOS 9939566 HAS SOPS 8338746 HAS SOUS 3044597 HAS SOUPS 2911929 WITH SCORE 2921868.566
AT ITER 190 NEW BEST:: SOT 11071425 SOS 9939644 HAS SOPS 8338084 HAS SOUS 3039350 HAS SOUPS 2906694 WITH SCORE 2916633.644
AT ITER 192 NEW BEST:: SOT 11071425 SOS 9939644 HAS SOPS 8338076 HAS SOUS 3039338 HAS SOUPS 2906670 WITH SCORE 2916609.644
AT ITER 193 NEW BEST:: SOT 11071425 SOS 9892350 HAS SOPS 8339072 HAS SOUS 3038145 HAS SOUPS 2905012 WITH SCORE 2914904.35
AT ITER 194 NEW BEST:: SOT 11071425 SOS 9892514 HAS SOPS 8339194 HAS SOUS 3036409 HAS SOUPS 2903430 WITH SCORE 2913322.514
AT ITER 195 NEW BEST:: SOT 11071425 SOS 9875034 HAS SOPS 8332426 HAS SOUS 2982960 HAS SOUPS 2852983 WITH SCORE 2862858.034
AT ITER 196 NEW BEST:: SOT 11071425 SOS 9852902 HAS SOPS 8211488 HAS SOUS 2977249 HAS SOUPS 2847272 WITH SCORE 2857124.902
AT ITER 197 NEW BEST:: SOT 11071429 SOS 9852946 HAS SOPS 8211532 HAS SOUS 2977247 HAS SOUPS 2847270 WITH SCORE 2857122.946
AT ITER 198 NEW BEST:: SOT 11071429 SOS 9853040 HAS SOPS 8212314 HAS SOUS 2972285 HAS SOUPS 2842545 WITH SCORE 2852398.04
AT ITER 199 NEW BEST:: SOT 11071429 SOS 9851076 HAS SOPS 8192526 HAS SOUS 2971565 HAS SOUPS 2841753 WITH SCORE 2851604.076
AT ITER 200 NEW BEST:: SOT 11071429 SOS 9839190 HAS SOPS 8167282 HAS SOUS 2969214 HAS SOUPS 2836755 WITH SCORE 2846594.19
AT ITER 202 NEW BEST:: SOT 11071429 SOS 9839156 HAS SOPS 8167248 HAS SOUS 2968989 HAS SOUPS 2836530 WITH SCORE 2846369.156
AT ITER 203 NEW BEST:: SOT 11071429 SOS 9839156 HAS SOPS 8167061 HAS SOUS 2968923 HAS SOUPS 2836277 WITH SCORE 2846116.156
AT ITER 206 NEW BEST:: SOT 11071429 SOS 9829044 HAS SOPS 8153625 HAS SOUS 2957619 HAS SOUPS 2825461 WITH SCORE 2835290.044
AT ITER 207 NEW BEST:: SOT 11071429 SOS 9819135 HAS SOPS 8153729 HAS SOUS 2956008 HAS SOUPS 2824444 WITH SCORE 2834263.135
AT ITER 214 NEW BEST:: SOT 11074404 SOS 9822082 HAS SOPS 8151892 HAS SOUS 2955510 HAS SOUPS 2821304 WITH SCORE 2831126.082
AT ITER 216 NEW BEST:: SOT 11074404 SOS 9819852 HAS SOPS 8150598 HAS SOUS 2953490 HAS SOUPS 2819903 WITH SCORE 2829722.852
AT ITER 217 NEW BEST:: SOT 11074404 SOS 9806114 HAS SOPS 8072062 HAS SOUS 2951867 HAS SOUPS 2818106 WITH SCORE 2827912.114
AT ITER 218 NEW BEST:: SOT 11074404 SOS 9806094 HAS SOPS 8072072 HAS SOUS 2951837 HAS SOUPS 2818080 WITH SCORE 2827886.094
AT ITER 219 NEW BEST:: SOT 11074404 SOS 9806026 HAS SOPS 8072140 HAS SOUS 2951769 HAS SOUPS 2818080 WITH SCORE 2827886.026
AT ITER 223 NEW BEST:: SOT 11074404 SOS 9805546 HAS SOPS 8055030 HAS SOUS 2925525 HAS SOUPS 2790310 WITH SCORE 2800115.546
AT ITER 224 NEW BEST:: SOT 11074404 SOS 9801472 HAS SOPS 8044220 HAS SOUS 2924181 HAS SOUPS 2789086 WITH SCORE 2798887.472
AT ITER 226 NEW BEST:: SOT 11074404 SOS 9744102 HAS SOPS 8008832 HAS SOUS 2921837 HAS SOUPS 2786646 WITH SCORE 2796390.102
AT ITER 228 NEW BEST:: SOT 11074404 SOS 9749068 HAS SOPS 8012264 HAS SOUS 2921156 HAS SOUPS 2786323 WITH SCORE 2796072.068
AT ITER 233 NEW BEST:: SOT 11074404 SOS 9749094 HAS SOPS 8012394 HAS SOUS 2920899 HAS SOUPS 2786066 WITH SCORE 2795815.094
AT ITER 236 NEW BEST:: SOT 11073784 SOS 9747967 HAS SOPS 8011523 HAS SOUS 2920006 HAS SOUPS 2785301 WITH SCORE 2795048.967
AT ITER 239 NEW BEST:: SOT 11073784 SOS 9748011 HAS SOPS 8011827 HAS SOUS 2918978 HAS SOUPS 2784535 WITH SCORE 2794283.011
AT ITER 240 NEW BEST:: SOT 11073784 SOS 9747647 HAS SOPS 8011917 HAS SOUS 2912353 HAS SOUPS 2778086 WITH SCORE 2787833.647
AT ITER 241 NEW BEST:: SOT 11073784 SOS 9747533 HAS SOPS 8010295 HAS SOUS 2900306 HAS SOUPS 2766821 WITH SCORE 2776568.533
AT ITER 242 NEW BEST:: SOT 11073784 SOS 9748051 HAS SOPS 8010901 HAS SOUS 2899933 HAS SOUPS 2766528 WITH SCORE 2776276.051
AT ITER 243 NEW BEST:: SOT 11073784 SOS 9747661 HAS SOPS 8011115 HAS SOUS 2899933 HAS SOUPS 2766506 WITH SCORE 2776253.661
AT ITER 245 NEW BEST:: SOT 11073784 SOS 9746902 HAS SOPS 8016269 HAS SOUS 2899057 HAS SOUPS 2766493 WITH SCORE 2776239.902
AT ITER 246 NEW BEST:: SOT 11073784 SOS 9584788 HAS SOPS 7957441 HAS SOUS 2805032 HAS SOUPS 2682401 WITH SCORE 2691985.788
AT ITER 249 NEW BEST:: SOT 11073784 SOS 9583741 HAS SOPS 7952851 HAS SOUS 2800404 HAS SOUPS 2677023 WITH SCORE 2686606.741
AT ITER 250 NEW BEST:: SOT 11073784 SOS 9596721 HAS SOPS 7968879 HAS SOUS 2800460 HAS SOUPS 2676777 WITH SCORE 2686373.721
AT ITER 251 NEW BEST:: SOT 11073784 SOS 9597153 HAS SOPS 7969647 HAS SOUS 2795372 HAS SOUPS 2672001 WITH SCORE 2681598.153
AT ITER 252 NEW BEST:: SOT 11073784 SOS 9597153 HAS SOPS 7970487 HAS SOUS 2781837 HAS SOUPS 2660494 WITH SCORE 2670091.153
AT ITER 255 NEW BEST:: SOT 11073784 SOS 9554817 HAS SOPS 7988707 HAS SOUS 2768749 HAS SOUPS 2649615 WITH SCORE 2659169.817
AT ITER 256 NEW BEST:: SOT 11082772 SOS 9563627 HAS SOPS 7916371 HAS SOUS 2731474 HAS SOUPS 2615078 WITH SCORE 2624641.627
AT ITER 257 NEW BEST:: SOT 11082772 SOS 9563781 HAS SOPS 7916833 HAS SOUS 2730697 HAS SOUPS 2614315 WITH SCORE 2623878.781
AT ITER 259 NEW BEST:: SOT 11082928 SOS 9563685 HAS SOPS 7916737 HAS SOUS 2728127 HAS SOUPS 2611745 WITH SCORE 2621308.685
AT ITER 261 NEW BEST:: SOT 11082928 SOS 9563033 HAS SOPS 7915977 HAS SOUS 2727908 HAS SOUPS 2611682 WITH SCORE 2621245.033
AT ITER 263 NEW BEST:: SOT 11082928 SOS 9562957 HAS SOPS 7914431 HAS SOUS 2721841 HAS SOUPS 2606163 WITH SCORE 2615725.957
AT ITER 265 NEW BEST:: SOT 11082928 SOS 9524235 HAS SOPS 7915247 HAS SOUS 2719702 HAS SOUPS 2604393 WITH SCORE 2613917.235
AT ITER 267 NEW BEST:: SOT 11082928 SOS 9524301 HAS SOPS 7914213 HAS SOUS 2716534 HAS SOUPS 2601225 WITH SCORE 2610749.301
AT ITER 268 NEW BEST:: SOT 11082928 SOS 9523017 HAS SOPS 7836921 HAS SOUS 2715843 HAS SOUPS 2585389 WITH SCORE 2594912.017
AT ITER 276 NEW BEST:: SOT 11082928 SOS 9468265 HAS SOPS 7547857 HAS SOUS 2687356 HAS SOUPS 2556453 WITH SCORE 2565921.265
AT ITER 277 NEW BEST:: SOT 11082928 SOS 9467279 HAS SOPS 7523251 HAS SOUS 2686387 HAS SOUPS 2552434 WITH SCORE 2561901.279
AT ITER 278 NEW BEST:: SOT 11082928 SOS 9459717 HAS SOPS 7522108 HAS SOUS 2657875 HAS SOUPS 2523843 WITH SCORE 2533302.717
AT ITER 279 NEW BEST:: SOT 11082928 SOS 9452344 HAS SOPS 7513794 HAS SOUS 2655692 HAS SOUPS 2520425 WITH SCORE 2529877.344
AT ITER 280 NEW BEST:: SOT 11082928 SOS 9467824 HAS SOPS 7538816 HAS SOUS 2648127 HAS SOUPS 2515465 WITH SCORE 2524932.824
AT ITER 281 NEW BEST:: SOT 11082928 SOS 9467968 HAS SOPS 7538168 HAS SOUS 2645665 HAS SOUPS 2513039 WITH SCORE 2522506.968
AT ITER 282 NEW BEST:: SOT 11082928 SOS 9468000 HAS SOPS 7537724 HAS SOUS 2644389 HAS SOUPS 2511763 WITH SCORE 2521231.0
AT ITER 283 NEW BEST:: SOT 11082928 SOS 9465800 HAS SOPS 7536162 HAS SOUS 2642041 HAS SOUPS 2509588 WITH SCORE 2519053.8
AT ITER 285 NEW BEST:: SOT 11082928 SOS 9465836 HAS SOPS 7536342 HAS SOUS 2639854 HAS SOUPS 2507345 WITH SCORE 2516810.836
AT ITER 289 NEW BEST:: SOT 11082928 SOS 9465416 HAS SOPS 7535458 HAS SOUS 2637732 HAS SOUPS 2505279 WITH SCORE 2514744.416
AT ITER 290 NEW BEST:: SOT 11082928 SOS 9465664 HAS SOPS 7535570 HAS SOUS 2637664 HAS SOUPS 2505211 WITH SCORE 2514676.664
AT ITER 291 NEW BEST:: SOT 11082928 SOS 9464800 HAS SOPS 7535614 HAS SOUS 2637649 HAS SOUPS 2505211 WITH SCORE 2514675.8
AT ITER 292 NEW BEST:: SOT 11082928 SOS 9465556 HAS SOPS 7536162 HAS SOUS 2637529 HAS SOUPS 2505091 WITH SCORE 2514556.556
AT ITER 296 NEW BEST:: SOT 11082928 SOS 9450979 HAS SOPS 7526715 HAS SOUS 2633634 HAS SOUPS 2501555 WITH SCORE 2511005.979
AT ITER 302 NEW BEST:: SOT 11082928 SOS 9451617 HAS SOPS 7530851 HAS SOUS 2615501 HAS SOUPS 2488341 WITH SCORE 2497792.617
AT ITER 303 NEW BEST:: SOT 11082928 SOS 9451739 HAS SOPS 7513397 HAS SOUS 2593078 HAS SOUPS 2465783 WITH SCORE 2475234.739
AT ITER 305 NEW BEST:: SOT 11082928 SOS 9451593 HAS SOPS 7513213 HAS SOUS 2593117 HAS SOUPS 2465681 WITH SCORE 2475132.593
AT ITER 306 NEW BEST:: SOT 11082928 SOS 9451377 HAS SOPS 7513629 HAS SOUS 2591983 HAS SOUPS 2464737 WITH SCORE 2474188.377
AT ITER 307 NEW BEST:: SOT 11082928 SOS 9453361 HAS SOPS 7529749 HAS SOUS 2567099 HAS SOUPS 2444479 WITH SCORE 2453932.361
AT ITER 308 NEW BEST:: SOT 11082928 SOS 9414993 HAS SOPS 7551135 HAS SOUS 2566690 HAS SOUPS 2444404 WITH SCORE 2453818.993
AT ITER 310 NEW BEST:: SOT 11082928 SOS 9418255 HAS SOPS 7551811 HAS SOUS 2542736 HAS SOUPS 2420168 WITH SCORE 2429586.255
AT ITER 313 NEW BEST:: SOT 11082928 SOS 9354813 HAS SOPS 7363107 HAS SOUS 2534886 HAS SOUPS 2411664 WITH SCORE 2421018.813
AT ITER 314 NEW BEST:: SOT 11082928 SOS 9359175 HAS SOPS 7361003 HAS SOUS 2535181 HAS SOUPS 2411469 WITH SCORE 2420828.175
AT ITER 315 NEW BEST:: SOT 11083984 SOS 9360023 HAS SOPS 7360171 HAS SOUS 2535905 HAS SOUPS 2410598 WITH SCORE 2419958.023
AT ITER 316 NEW BEST:: SOT 11083984 SOS 9360819 HAS SOPS 7359889 HAS SOUS 2535847 HAS SOUPS 2410535 WITH SCORE 2419895.819
AT ITER 319 NEW BEST:: SOT 11083984 SOS 9360931 HAS SOPS 7359945 HAS SOUS 2533939 HAS SOUPS 2409071 WITH SCORE 2418431.931
AT ITER 321 NEW BEST:: SOT 11083984 SOS 9356597 HAS SOPS 7360189 HAS SOUS 2533474 HAS SOUPS 2409009 WITH SCORE 2418365.597
AT ITER 322 NEW BEST:: SOT 11083984 SOS 9360945 HAS SOPS 7356997 HAS SOUS 2529335 HAS SOUPS 2405414 WITH SCORE 2414774.945
AT ITER 323 NEW BEST:: SOT 11083984 SOS 9358779 HAS SOPS 7356655 HAS SOUS 2529297 HAS SOUPS 2405414 WITH SCORE 2414772.779
AT ITER 324 NEW BEST:: SOT 11083984 SOS 9358347 HAS SOPS 7356223 HAS SOUS 2529168 HAS SOUPS 2405285 WITH SCORE 2414643.347
AT ITER 325 NEW BEST:: SOT 11087999 SOS 9362239 HAS SOPS 7354755 HAS SOUS 2508402 HAS SOUPS 2383971 WITH SCORE 2393333.239
AT ITER 326 NEW BEST:: SOT 11087999 SOS 9362213 HAS SOPS 7354761 HAS SOUS 2508382 HAS SOUPS 2383967 WITH SCORE 2393329.213
AT ITER 331 NEW BEST:: SOT 11087999 SOS 9362103 HAS SOPS 7354673 HAS SOUS 2508371 HAS SOUPS 2383956 WITH SCORE 2393318.103
AT ITER 332 NEW BEST:: SOT 11087999 SOS 9360928 HAS SOPS 7353145 HAS SOUS 2481575 HAS SOUPS 2359304 WITH SCORE 2368664.928
AT ITER 337 NEW BEST:: SOT 11099170 SOS 9369972 HAS SOPS 7219987 HAS SOUS 2457534 HAS SOUPS 2324374 WITH SCORE 2333743.972
AT ITER 339 NEW BEST:: SOT 11099170 SOS 9333920 HAS SOPS 7207551 HAS SOUS 2415084 HAS SOUPS 2285550 WITH SCORE 2294883.92
AT ITER 340 NEW BEST:: SOT 11099170 SOS 9331048 HAS SOPS 7203865 HAS SOUS 2414287 HAS SOUPS 2284185 WITH SCORE 2293516.048
AT ITER 341 NEW BEST:: SOT 11099170 SOS 9366516 HAS SOPS 7171633 HAS SOUS 2377040 HAS SOUPS 2244801 WITH SCORE 2254167.516
AT ITER 342 NEW BEST:: SOT 11099170 SOS 9366480 HAS SOPS 7171633 HAS SOUS 2376890 HAS SOUPS 2244657 WITH SCORE 2254023.48
AT ITER 345 NEW BEST:: SOT 11099170 SOS 9365877 HAS SOPS 7167119 HAS SOUS 2373644 HAS SOUPS 2241485 WITH SCORE 2250850.877
AT ITER 346 NEW BEST:: SOT 11099170 SOS 9361567 HAS SOPS 7165403 HAS SOUS 2373601 HAS SOUPS 2241391 WITH SCORE 2250752.567
AT ITER 348 NEW BEST:: SOT 11099170 SOS 9359133 HAS SOPS 7165871 HAS SOUS 2358640 HAS SOUPS 2226829 WITH SCORE 2236188.133
AT ITER 351 NEW BEST:: SOT 11099170 SOS 9347993 HAS SOPS 7101315 HAS SOUS 2361231 HAS SOUPS 2219958 WITH SCORE 2229305.993
AT ITER 356 NEW BEST:: SOT 11099170 SOS 9340307 HAS SOPS 6750735 HAS SOUS 2359516 HAS SOUPS 2209559 WITH SCORE 2218899.307
AT ITER 357 NEW BEST:: SOT 11099084 SOS 9239468 HAS SOPS 6738242 HAS SOUS 2358404 HAS SOUPS 2208715 WITH SCORE 2217954.468
AT ITER 358 NEW BEST:: SOT 11099084 SOS 9239770 HAS SOPS 6726884 HAS SOUS 2335855 HAS SOUPS 2188245 WITH SCORE 2197484.77
AT ITER 364 NEW BEST:: SOT 11099084 SOS 9246662 HAS SOPS 6726236 HAS SOUS 2331399 HAS SOUPS 2184879 WITH SCORE 2194125.662
AT ITER 365 NEW BEST:: SOT 11099084 SOS 9244508 HAS SOPS 6723556 HAS SOUS 2323265 HAS SOUPS 2176932 WITH SCORE 2186176.508
AT ITER 367 NEW BEST:: SOT 11099084 SOS 9236152 HAS SOPS 6759616 HAS SOUS 2287021 HAS SOUPS 2150040 WITH SCORE 2159276.152
AT ITER 368 NEW BEST:: SOT 11099084 SOS 9236244 HAS SOPS 6758172 HAS SOUS 2276888 HAS SOUPS 2139331 WITH SCORE 2148567.244
AT ITER 370 NEW BEST:: SOT 11099084 SOS 9228192 HAS SOPS 6744356 HAS SOUS 2267588 HAS SOUPS 2130665 WITH SCORE 2139893.192
AT ITER 371 NEW BEST:: SOT 11099084 SOS 9223500 HAS SOPS 6738240 HAS SOUS 2263494 HAS SOUPS 2127033 WITH SCORE 2136256.5
AT ITER 374 NEW BEST:: SOT 11099084 SOS 9223500 HAS SOPS 6738288 HAS SOUS 2263014 HAS SOUPS 2126577 WITH SCORE 2135800.5
AT ITER 377 NEW BEST:: SOT 11099084 SOS 9217820 HAS SOPS 6723236 HAS SOUS 2262909 HAS SOUPS 2126516 WITH SCORE 2135733.82
AT ITER 380 NEW BEST:: SOT 11099084 SOS 9215360 HAS SOPS 6737954 HAS SOUS 2259900 HAS SOUPS 2124645 WITH SCORE 2133860.36
AT ITER 381 NEW BEST:: SOT 11099084 SOS 9215236 HAS SOPS 6736088 HAS SOUS 2254077 HAS SOUPS 2118822 WITH SCORE 2128037.236
AT ITER 383 NEW BEST:: SOT 11099084 SOS 9213846 HAS SOPS 6736582 HAS SOUS 2246042 HAS SOUPS 2109801 WITH SCORE 2119014.846
AT ITER 385 NEW BEST:: SOT 11099084 SOS 9213324 HAS SOPS 6736510 HAS SOUS 2245286 HAS SOUPS 2109225 WITH SCORE 2118438.324
AT ITER 386 NEW BEST:: SOT 11099084 SOS 9213026 HAS SOPS 6735302 HAS SOUS 2236199 HAS SOUPS 2099826 WITH SCORE 2109039.026
AT ITER 389 NEW BEST:: SOT 11099084 SOS 9211972 HAS SOPS 6736854 HAS SOUS 2233179 HAS SOUPS 2097998 WITH SCORE 2107209.972
AT ITER 390 NEW BEST:: SOT 11099084 SOS 9194536 HAS SOPS 6684926 HAS SOUS 2231166 HAS SOUPS 2093665 WITH SCORE 2102859.536
AT ITER 392 NEW BEST:: SOT 11099084 SOS 9202429 HAS SOPS 6684900 HAS SOUS 2211363 HAS SOUPS 2074273 WITH SCORE 2083475.429
AT ITER 394 NEW BEST:: SOT 11099084 SOS 9201159 HAS SOPS 6536972 HAS SOUS 2203565 HAS SOUPS 2066775 WITH SCORE 2075976.159
AT ITER 398 NEW BEST:: SOT 11099084 SOS 9201177 HAS SOPS 6536038 HAS SOUS 2199935 HAS SOUPS 2063724 WITH SCORE 2072925.177
AT ITER 400 NEW BEST:: SOT 11099084 SOS 9201095 HAS SOPS 6535743 HAS SOUS 2199830 HAS SOUPS 2063517 WITH SCORE 2072718.095
AT ITER 411 NEW BEST:: SOT 11099084 SOS 9200795 HAS SOPS 6535561 HAS SOUS 2184019 HAS SOUPS 2048495 WITH SCORE 2057695.795
AT ITER 412 NEW BEST:: SOT 11099084 SOS 9200755 HAS SOPS 6535521 HAS SOUS 2183621 HAS SOUPS 2048097 WITH SCORE 2057297.755
AT ITER 414 NEW BEST:: SOT 11099084 SOS 9200613 HAS SOPS 6533313 HAS SOUS 2183770 HAS SOUPS 2047512 WITH SCORE 2056712.613
AT ITER 415 NEW BEST:: SOT 11099084 SOS 9126162 HAS SOPS 6336301 HAS SOUS 2178302 HAS SOUPS 2041404 WITH SCORE 2050530.162
AT ITER 416 NEW BEST:: SOT 11099084 SOS 9126256 HAS SOPS 6335981 HAS SOUS 2178384 HAS SOUPS 2041248 WITH SCORE 2050374.256
AT ITER 419 NEW BEST:: SOT 11099084 SOS 9126136 HAS SOPS 6335057 HAS SOUS 2177508 HAS SOUPS 2040408 WITH SCORE 2049534.136
AT ITER 420 NEW BEST:: SOT 11099084 SOS 9096071 HAS SOPS 6171497 HAS SOUS 2155428 HAS SOUPS 2027779 WITH SCORE 2036875.071
AT ITER 422 NEW BEST:: SOT 11099084 SOS 9095841 HAS SOPS 6171152 HAS SOUS 2152605 HAS SOUPS 2025422 WITH SCORE 2034517.841
AT ITER 423 NEW BEST:: SOT 11099084 SOS 9096205 HAS SOPS 6168796 HAS SOUS 2121794 HAS SOUPS 1994611 WITH SCORE 2003707.205
AT ITER 425 NEW BEST:: SOT 11099084 SOS 9094015 HAS SOPS 6168334 HAS SOUS 2121589 HAS SOUPS 1994431 WITH SCORE 2003525.015
AT ITER 427 NEW BEST:: SOT 11099084 SOS 9090078 HAS SOPS 6169562 HAS SOUS 2120935 HAS SOUPS 1994276 WITH SCORE 2003366.078
AT ITER 430 NEW BEST:: SOT 11099084 SOS 9053397 HAS SOPS 6169782 HAS SOUS 2113522 HAS SOUPS 1988637 WITH SCORE 1997690.397
AT ITER 434 NEW BEST:: SOT 11099084 SOS 8980398 HAS SOPS 6033460 HAS SOUS 2110453 HAS SOUPS 1986216 WITH SCORE 1995196.398
AT ITER 435 NEW BEST:: SOT 11099084 SOS 8972331 HAS SOPS 6033258 HAS SOUS 2104991 HAS SOUPS 1982188 WITH SCORE 1991160.331
AT ITER 439 NEW BEST:: SOT 11099084 SOS 8951481 HAS SOPS 5982668 HAS SOUS 2065235 HAS SOUPS 1943188 WITH SCORE 1952139.481
AT ITER 441 NEW BEST:: SOT 11099084 SOS 8951405 HAS SOPS 5981757 HAS SOUS 2063513 HAS SOUPS 1941466 WITH SCORE 1950417.405
AT ITER 443 NEW BEST:: SOT 11099084 SOS 8951207 HAS SOPS 5977997 HAS SOUS 2061018 HAS SOUPS 1939896 WITH SCORE 1948847.207
AT ITER 445 NEW BEST:: SOT 11099084 SOS 8951085 HAS SOPS 5977997 HAS SOUS 2060957 HAS SOUPS 1939896 WITH SCORE 1948847.085
AT ITER 447 NEW BEST:: SOT 11099084 SOS 8951085 HAS SOPS 5976253 HAS SOUS 2060353 HAS SOUPS 1939292 WITH SCORE 1948243.085
AT ITER 448 NEW BEST:: SOT 11099084 SOS 8950799 HAS SOPS 5972549 HAS SOUS 2049231 HAS SOUPS 1929437 WITH SCORE 1938387.799
AT ITER 450 NEW BEST:: SOT 9881636 SOS 7779204 HAS SOPS 5444210 HAS SOUS 1286683 HAS SOUPS 1235723 WITH SCORE 1243502.204
AT ITER 451 NEW BEST:: SOT 9884971 SOS 7782782 HAS SOPS 5447633 HAS SOUS 1281889 HAS SOUPS 1230841 WITH SCORE 1238623.782
AT ITER 455 NEW BEST:: SOT 9881336 SOS 7779147 HAS SOPS 5443998 HAS SOUS 1281066 HAS SOUPS 1230018 WITH SCORE 1237797.147
AT ITER 462 NEW BEST:: SOT 9819168 SOS 7714183 HAS SOPS 5372606 HAS SOUS 1281239 HAS SOUPS 1228404 WITH SCORE 1236118.183
AT ITER 463 NEW BEST:: SOT 9818856 SOS 7713871 HAS SOPS 5372294 HAS SOUS 1281096 HAS SOUPS 1228261 WITH SCORE 1235974.871
AT ITER 465 NEW BEST:: SOT 9818856 SOS 7709197 HAS SOPS 5354376 HAS SOUS 1280432 HAS SOUPS 1227473 WITH SCORE 1235182.197
AT ITER 466 NEW BEST:: SOT 9818856 SOS 7709021 HAS SOPS 5343543 HAS SOUS 1278533 HAS SOUPS 1225798 WITH SCORE 1233507.021
AT ITER 470 NEW BEST:: SOT 9820504 SOS 7712339 HAS SOPS 5348207 HAS SOUS 1266122 HAS SOUPS 1213387 WITH SCORE 1221099.339
AT ITER 472 NEW BEST:: SOT 9821120 SOS 7715535 HAS SOPS 5345463 HAS SOUS 1264861 HAS SOUPS 1212489 WITH SCORE 1220204.535
AT ITER 473 NEW BEST:: SOT 9831817 SOS 7726232 HAS SOPS 5356160 HAS SOUS 1260448 HAS SOUPS 1208076 WITH SCORE 1215802.232
AT ITER 478 NEW BEST:: SOT 9831817 SOS 7727464 HAS SOPS 5355848 HAS SOUS 1260461 HAS SOUPS 1208063 WITH SCORE 1215790.464
AT ITER 485 NEW BEST:: SOT 9831817 SOS 7727308 HAS SOPS 5314812 HAS SOUS 1259344 HAS SOUPS 1206903 WITH SCORE 1214630.308
AT ITER 489 NEW BEST:: SOT 9831937 SOS 7727428 HAS SOPS 5314932 HAS SOUS 1251029 HAS SOUPS 1198588 WITH SCORE 1206315.428
AT ITER 492 NEW BEST:: SOT 9835047 SOS 7730538 HAS SOPS 5318042 HAS SOUS 1243351 HAS SOUPS 1190910 WITH SCORE 1198640.538
AT ITER 493 NEW BEST:: SOT 9835047 SOS 7460975 HAS SOPS 5295470 HAS SOUS 1237295 HAS SOUPS 1188098 WITH SCORE 1195558.975
AT ITER 494 NEW BEST:: SOT 9807464 SOS 7457269 HAS SOPS 5361517 HAS SOUS 1233822 HAS SOUPS 1182555 WITH SCORE 1190012.269
AT ITER 496 NEW BEST:: SOT 9806226 SOS 7457995 HAS SOPS 5363303 HAS SOUS 1232666 HAS SOUPS 1181301 WITH SCORE 1188758.995
AT ITER 506 NEW BEST:: SOT 9806194 SOS 7458469 HAS SOPS 5363239 HAS SOUS 1232686 HAS SOUPS 1181289 WITH SCORE 1188747.469
AT ITER 508 NEW BEST:: SOT 9806194 SOS 7496624 HAS SOPS 5393215 HAS SOUS 1232476 HAS SOUPS 1180942 WITH SCORE 1188438.624
AT ITER 511 NEW BEST:: SOT 9809706 SOS 7491540 HAS SOPS 5397385 HAS SOUS 1222214 HAS SOUPS 1171469 WITH SCORE 1178960.54
AT ITER 514 NEW BEST:: SOT 9809514 SOS 7491348 HAS SOPS 5397193 HAS SOUS 1221522 HAS SOUPS 1170777 WITH SCORE 1178268.348
AT ITER 515 NEW BEST:: SOT 9811394 SOS 7492658 HAS SOPS 5384307 HAS SOUS 1210425 HAS SOUPS 1159814 WITH SCORE 1167306.658
AT ITER 516 NEW BEST:: SOT 9817828 SOS 7496982 HAS SOPS 5378171 HAS SOUS 1195260 HAS SOUPS 1145687 WITH SCORE 1153183.982
AT ITER 517 NEW BEST:: SOT 9823280 SOS 7502434 HAS SOPS 5383623 HAS SOUS 1187193 HAS SOUPS 1137620 WITH SCORE 1145122.434
AT ITER 518 NEW BEST:: SOT 9838564 SOS 7518290 HAS SOPS 5378701 HAS SOUS 1185505 HAS SOUPS 1135972 WITH SCORE 1143490.29
AT ITER 519 NEW BEST:: SOT 9843095 SOS 7522645 HAS SOPS 5377560 HAS SOUS 1182938 HAS SOUPS 1134055 WITH SCORE 1141577.645
AT ITER 520 NEW BEST:: SOT 9843095 SOS 7522415 HAS SOPS 5377392 HAS SOUS 1182823 HAS SOUPS 1133887 WITH SCORE 1141409.415
AT ITER 521 NEW BEST:: SOT 9843095 SOS 7521811 HAS SOPS 5376986 HAS SOUS 1180579 HAS SOUPS 1131765 WITH SCORE 1139286.811
AT ITER 525 NEW BEST:: SOT 9845083 SOS 7523755 HAS SOPS 5379722 HAS SOUS 1179381 HAS SOUPS 1130589 WITH SCORE 1138112.755
AT ITER 529 NEW BEST:: SOT 9845959 SOS 7531431 HAS SOPS 5392330 HAS SOUS 1170580 HAS SOUPS 1124592 WITH SCORE 1132123.431
AT ITER 530 NEW BEST:: SOT 9845959 SOS 7376720 HAS SOPS 5392802 HAS SOUS 1168894 HAS SOUPS 1123280 WITH SCORE 1130656.72
AT ITER 538 NEW BEST:: SOT 9851571 SOS 7382126 HAS SOPS 5397972 HAS SOUS 1167483 HAS SOUPS 1121869 WITH SCORE 1129251.126
AT ITER 539 NEW BEST:: SOT 9851571 SOS 7381518 HAS SOPS 5397422 HAS SOUS 1167094 HAS SOUPS 1121535 WITH SCORE 1128916.518
AT ITER 542 NEW BEST:: SOT 9853091 SOS 7383288 HAS SOPS 5398734 HAS SOUS 1164832 HAS SOUPS 1119271 WITH SCORE 1126654.288
AT ITER 543 NEW BEST:: SOT 9853119 SOS 7377756 HAS SOPS 5393351 HAS SOUS 1158368 HAS SOUPS 1114085 WITH SCORE 1121462.756
AT ITER 546 NEW BEST:: SOT 9853329 SOS 7377966 HAS SOPS 5393561 HAS SOUS 1157948 HAS SOUPS 1113665 WITH SCORE 1121042.966
AT ITER 552 NEW BEST:: SOT 9853254 SOS 7377891 HAS SOPS 5393486 HAS SOUS 1157924 HAS SOUPS 1113641 WITH SCORE 1121018.891
AT ITER 553 NEW BEST:: SOT 9852038 SOS 7376719 HAS SOPS 5391434 HAS SOUS 1156882 HAS SOUPS 1112599 WITH SCORE 1119975.719
AT ITER 555 NEW BEST:: SOT 9860180 SOS 7385423 HAS SOPS 5398080 HAS SOUS 1154968 HAS SOUPS 1111797 WITH SCORE 1119182.423
AT ITER 556 NEW BEST:: SOT 9846536 SOS 7393159 HAS SOPS 5396072 HAS SOUS 1146976 HAS SOUPS 1102821 WITH SCORE 1110214.159
AT ITER 558 NEW BEST:: SOT 9847959 SOS 7394582 HAS SOPS 5397495 HAS SOUS 1146053 HAS SOUPS 1101898 WITH SCORE 1109292.582
AT ITER 560 NEW BEST:: SOT 9858091 SOS 7404802 HAS SOPS 5399585 HAS SOUS 1141427 HAS SOUPS 1097388 WITH SCORE 1104792.802
AT ITER 565 NEW BEST:: SOT 9858091 SOS 7404148 HAS SOPS 5398095 HAS SOUS 1141187 HAS SOUPS 1097124 WITH SCORE 1104528.148
AT ITER 567 NEW BEST:: SOT 9826705 SOS 7378398 HAS SOPS 5403944 HAS SOUS 1133553 HAS SOUPS 1089525 WITH SCORE 1096903.398
AT ITER 568 NEW BEST:: SOT 9826705 SOS 7370874 HAS SOPS 5403700 HAS SOUS 1132196 HAS SOUPS 1088943 WITH SCORE 1096313.874
AT ITER 570 NEW BEST:: SOT 9826705 SOS 7369032 HAS SOPS 5403700 HAS SOUS 1131338 HAS SOUPS 1088557 WITH SCORE 1095926.032
AT ITER 574 NEW BEST:: SOT 9826705 SOS 7369130 HAS SOPS 5405690 HAS SOUS 1131064 HAS SOUPS 1088360 WITH SCORE 1095729.13
AT ITER 575 NEW BEST:: SOT 9841875 SOS 7384360 HAS SOPS 5418640 HAS SOUS 1123871 HAS SOUPS 1081393 WITH SCORE 1088777.36
AT ITER 579 NEW BEST:: SOT 9841875 SOS 7383070 HAS SOPS 5416960 HAS SOUS 1123556 HAS SOUPS 1081093 WITH SCORE 1088476.07
AT ITER 585 NEW BEST:: SOT 9841875 SOS 7378060 HAS SOPS 5389292 HAS SOUS 1123038 HAS SOUPS 1077076 WITH SCORE 1084454.06
AT ITER 590 NEW BEST:: SOT 9853579 SOS 7389764 HAS SOPS 5400996 HAS SOUS 1117290 HAS SOUPS 1071328 WITH SCORE 1078717.764
AT ITER 592 NEW BEST:: SOT 9853579 SOS 7386188 HAS SOPS 5394922 HAS SOUS 1117035 HAS SOUPS 1071004 WITH SCORE 1078390.188
AT ITER 595 NEW BEST:: SOT 9853579 SOS 7384994 HAS SOPS 5394912 HAS SOUS 1116702 HAS SOUPS 1070741 WITH SCORE 1078125.994
AT ITER 598 NEW BEST:: SOT 9853579 SOS 7384898 HAS SOPS 5394704 HAS SOUS 1116686 HAS SOUPS 1070725 WITH SCORE 1078109.898
AT ITER 604 NEW BEST:: SOT 9853579 SOS 7390622 HAS SOPS 5394704 HAS SOUS 1116274 HAS SOUPS 1070339 WITH SCORE 1077729.622
AT ITER 608 NEW BEST:: SOT 9853579 SOS 7389372 HAS SOPS 5344120 HAS SOUS 1115244 HAS SOUPS 1069403 WITH SCORE 1076792.372
AT ITER 611 NEW BEST:: SOT 9853659 SOS 7389260 HAS SOPS 5344200 HAS SOUS 1109488 HAS SOUPS 1063665 WITH SCORE 1071054.26
AT ITER 612 NEW BEST:: SOT 9853659 SOS 7387630 HAS SOPS 5336382 HAS SOUS 1109379 HAS SOUPS 1063435 WITH SCORE 1070822.63
AT ITER 613 NEW BEST:: SOT 9853659 SOS 7421529 HAS SOPS 5391508 HAS SOUS 1109003 HAS SOUPS 1063157 WITH SCORE 1070578.529
AT ITER 615 NEW BEST:: SOT 9847771 SOS 7415983 HAS SOPS 5386048 HAS SOUS 1109010 HAS SOUPS 1062952 WITH SCORE 1070367.983
AT ITER 620 NEW BEST:: SOT 9849067 SOS 7412775 HAS SOPS 5388718 HAS SOUS 1095003 HAS SOUPS 1049832 WITH SCORE 1057244.775
AT ITER 621 NEW BEST:: SOT 9849036 SOS 7412744 HAS SOPS 5388687 HAS SOUS 1094922 HAS SOUPS 1049751 WITH SCORE 1057163.744
AT ITER 623 NEW BEST:: SOT 9849036 SOS 7411884 HAS SOPS 5388227 HAS SOUS 1094852 HAS SOUPS 1049691 WITH SCORE 1057102.884
AT ITER 626 NEW BEST:: SOT 9849036 SOS 7409626 HAS SOPS 5371629 HAS SOUS 1092656 HAS SOUPS 1047365 WITH SCORE 1054774.626
AT ITER 631 NEW BEST:: SOT 9849036 SOS 7410788 HAS SOPS 5371597 HAS SOUS 1092566 HAS SOUPS 1047125 WITH SCORE 1054535.788
AT ITER 633 NEW BEST:: SOT 9849036 SOS 7409777 HAS SOPS 5371357 HAS SOUS 1092557 HAS SOUPS 1047119 WITH SCORE 1054528.777
AT ITER 637 NEW BEST:: SOT 9849036 SOS 7409931 HAS SOPS 5370851 HAS SOUS 1092310 HAS SOUPS 1046898 WITH SCORE 1054307.931
AT ITER 638 NEW BEST:: SOT 9851910 SOS 7401581 HAS SOPS 5345481 HAS SOUS 1091561 HAS SOUPS 1046380 WITH SCORE 1053781.581
AT ITER 639 NEW BEST:: SOT 9829396 SOS 7379067 HAS SOPS 5322967 HAS SOUS 1087951 HAS SOUPS 1042770 WITH SCORE 1050149.067
AT ITER 641 NEW BEST:: SOT 9816464 SOS 7366135 HAS SOPS 5310035 HAS SOUS 1083052 HAS SOUPS 1037871 WITH SCORE 1045237.135
AT ITER 643 NEW BEST:: SOT 9816464 SOS 7366115 HAS SOPS 5310035 HAS SOUS 1083047 HAS SOUPS 1037871 WITH SCORE 1045237.115
AT ITER 645 NEW BEST:: SOT 9816464 SOS 7367175 HAS SOPS 5308247 HAS SOUS 1083049 HAS SOUPS 1037807 WITH SCORE 1045174.175
AT ITER 647 NEW BEST:: SOT 9816464 SOS 7369307 HAS SOPS 5308515 HAS SOUS 1083069 HAS SOUPS 1037657 WITH SCORE 1045026.307
AT ITER 649 NEW BEST:: SOT 9816464 SOS 7211973 HAS SOPS 5310325 HAS SOUS 1081817 HAS SOUPS 1037313 WITH SCORE 1044524.973
AT ITER 653 NEW BEST:: SOT 9819278 SOS 7214787 HAS SOPS 5313139 HAS SOUS 1080506 HAS SOUPS 1036002 WITH SCORE 1043216.787
AT ITER 654 NEW BEST:: SOT 9819252 SOS 7214761 HAS SOPS 5313113 HAS SOUS 1080493 HAS SOUPS 1035989 WITH SCORE 1043203.761
AT ITER 655 NEW BEST:: SOT 9819444 SOS 7209567 HAS SOPS 5304179 HAS SOUS 1080104 HAS SOUPS 1035356 WITH SCORE 1042565.567
AT ITER 658 NEW BEST:: SOT 9819444 SOS 7208886 HAS SOPS 5304483 HAS SOUS 1079871 HAS SOUPS 1035351 WITH SCORE 1042559.886
AT ITER 659 NEW BEST:: SOT 9819444 SOS 7132836 HAS SOPS 5311177 HAS SOUS 1077412 HAS SOUPS 1034245 WITH SCORE 1041377.836
AT ITER 662 NEW BEST:: SOT 9825962 SOS 7139370 HAS SOPS 5315159 HAS SOUS 1069076 HAS SOUPS 1025608 WITH SCORE 1032747.37
AT ITER 663 NEW BEST:: SOT 9826074 SOS 7139482 HAS SOPS 5315271 HAS SOUS 1067796 HAS SOUPS 1024328 WITH SCORE 1031467.482
AT ITER 665 NEW BEST:: SOT 9826074 SOS 7139092 HAS SOPS 5314871 HAS SOUS 1067791 HAS SOUPS 1024318 WITH SCORE 1031457.092
AT ITER 668 NEW BEST:: SOT 9826074 SOS 7138552 HAS SOPS 5314511 HAS SOUS 1067593 HAS SOUPS 1024210 WITH SCORE 1031348.552
AT ITER 672 NEW BEST:: SOT 9826074 SOS 7136145 HAS SOPS 5308651 HAS SOUS 1064336 HAS SOUPS 1022266 WITH SCORE 1029402.145
AT ITER 674 NEW BEST:: SOT 9826074 SOS 7136081 HAS SOPS 5308587 HAS SOUS 1064320 HAS SOUPS 1022250 WITH SCORE 1029386.081
AT ITER 675 NEW BEST:: SOT 9826574 SOS 7176729 HAS SOPS 5295163 HAS SOUS 1047287 HAS SOUPS 1005015 WITH SCORE 1012191.729
AT ITER 677 NEW BEST:: SOT 9826574 SOS 7173641 HAS SOPS 5293667 HAS SOUS 1045893 HAS SOUPS 1003903 WITH SCORE 1011076.641
AT ITER 678 NEW BEST:: SOT 9826574 SOS 7173911 HAS SOPS 5293739 HAS SOUS 1045902 HAS SOUPS 1003894 WITH SCORE 1011067.911
AT ITER 679 NEW BEST:: SOT 9826574 SOS 7174013 HAS SOPS 5295871 HAS SOUS 1045294 HAS SOUPS 1003286 WITH SCORE 1010460.013
AT ITER 684 NEW BEST:: SOT 9826574 SOS 7169937 HAS SOPS 5295791 HAS SOUS 1045069 HAS SOUPS 1003156 WITH SCORE 1010325.937
AT ITER 685 NEW BEST:: SOT 9835930 SOS 7179293 HAS SOPS 5305147 HAS SOUS 1027888 HAS SOUPS 985975 WITH SCORE 993154.293
AT ITER 686 NEW BEST:: SOT 9838744 SOS 7180865 HAS SOPS 5298155 HAS SOUS 1022870 HAS SOUPS 981698 WITH SCORE 988878.865
AT ITER 690 NEW BEST:: SOT 9838870 SOS 7180769 HAS SOPS 5298551 HAS SOUS 1021062 HAS SOUPS 980406 WITH SCORE 987586.769
AT ITER 698 NEW BEST:: SOT 9839000 SOS 7180899 HAS SOPS 5298681 HAS SOUS 1021011 HAS SOUPS 980355 WITH SCORE 987535.899
AT ITER 699 NEW BEST:: SOT 9828666 SOS 7170565 HAS SOPS 5288347 HAS SOUS 1017166 HAS SOUPS 976510 WITH SCORE 983680.565
AT ITER 700 NEW BEST:: SOT 9828912 SOS 7170581 HAS SOPS 5287627 HAS SOUS 1016416 HAS SOUPS 975760 WITH SCORE 982930.581
AT ITER 701 NEW BEST:: SOT 9826108 SOS 7159785 HAS SOPS 5203601 HAS SOUS 1013630 HAS SOUPS 973489 WITH SCORE 980648.785
AT ITER 704 NEW BEST:: SOT 9840980 SOS 7174507 HAS SOPS 5217553 HAS SOUS 1013198 HAS SOUPS 973087 WITH SCORE 980261.507
AT ITER 707 NEW BEST:: SOT 9841142 SOS 7158089 HAS SOPS 5207741 HAS SOUS 1012246 HAS SOUPS 972811 WITH SCORE 979969.089
AT ITER 712 NEW BEST:: SOT 9841176 SOS 7157878 HAS SOPS 5207530 HAS SOUS 1012226 HAS SOUPS 972791 WITH SCORE 979948.878
AT ITER 713 NEW BEST:: SOT 9825006 SOS 7141708 HAS SOPS 5191360 HAS SOUS 1012134 HAS SOUPS 972699 WITH SCORE 979840.708
AT ITER 716 NEW BEST:: SOT 9827076 SOS 7143952 HAS SOPS 5193612 HAS SOUS 1009913 HAS SOUPS 970332 WITH SCORE 977475.952
AT ITER 718 NEW BEST:: SOT 9860076 SOS 7158968 HAS SOPS 5226223 HAS SOUS 982975 HAS SOUPS 943989 WITH SCORE 951147.968
AT ITER 719 NEW BEST:: SOT 9860076 SOS 7148478 HAS SOPS 5205301 HAS SOUS 978965 HAS SOUPS 941072 WITH SCORE 948220.478
AT ITER 722 NEW BEST:: SOT 9860558 SOS 7144378 HAS SOPS 5180855 HAS SOUS 976698 HAS SOUPS 937443 WITH SCORE 944587.378
AT ITER 725 NEW BEST:: SOT 9860820 SOS 7132430 HAS SOPS 5180903 HAS SOUS 974539 HAS SOUPS 935427 WITH SCORE 942559.43
AT ITER 726 NEW BEST:: SOT 9860820 SOS 7152459 HAS SOPS 5121713 HAS SOUS 974274 HAS SOUPS 935264 WITH SCORE 942416.459
AT ITER 732 NEW BEST:: SOT 9862128 SOS 7152551 HAS SOPS 5123951 HAS SOUS 973839 HAS SOUPS 934965 WITH SCORE 942117.551
AT ITER 733 NEW BEST:: SOT 9862222 SOS 7131565 HAS SOPS 5120547 HAS SOUS 972257 HAS SOUPS 933054 WITH SCORE 940185.565
AT ITER 734 NEW BEST:: SOT 9862222 SOS 7131533 HAS SOPS 5120515 HAS SOUS 972217 HAS SOUPS 933014 WITH SCORE 940145.533
AT ITER 736 NEW BEST:: SOT 9856149 SOS 7125448 HAS SOPS 5114442 HAS SOUS 972223 HAS SOUPS 932972 WITH SCORE 940097.448
AT ITER 737 NEW BEST:: SOT 9856230 SOS 7126719 HAS SOPS 5124483 HAS SOUS 971339 HAS SOUPS 932480 WITH SCORE 939606.719
AT ITER 739 NEW BEST:: SOT 9856230 SOS 7099019 HAS SOPS 5070487 HAS SOUS 970648 HAS SOUPS 931728 WITH SCORE 938827.019
AT ITER 740 NEW BEST:: SOT 9856246 SOS 7099035 HAS SOPS 5070503 HAS SOUS 970432 HAS SOUPS 931512 WITH SCORE 938611.035
AT ITER 744 NEW BEST:: SOT 9859790 SOS 7102483 HAS SOPS 5078227 HAS SOUS 968992 HAS SOUPS 930282 WITH SCORE 937384.483
AT ITER 745 NEW BEST:: SOT 9859790 SOS 7101615 HAS SOPS 5078235 HAS SOUS 968958 HAS SOUPS 930266 WITH SCORE 937367.615
AT ITER 748 NEW BEST:: SOT 9859938 SOS 7072147 HAS SOPS 5084503 HAS SOUS 967615 HAS SOUPS 928962 WITH SCORE 936034.147
AT ITER 750 NEW BEST:: SOT 9859914 SOS 7071867 HAS SOPS 5051365 HAS SOUS 964981 HAS SOUPS 926328 WITH SCORE 933399.867
AT ITER 752 NEW BEST:: SOT 9859914 SOS 7050385 HAS SOPS 5037061 HAS SOUS 964759 HAS SOUPS 926129 WITH SCORE 933179.385
AT ITER 757 NEW BEST:: SOT 9859183 SOS 7046846 HAS SOPS 5038750 HAS SOUS 963974 HAS SOUPS 925477 WITH SCORE 932523.846
AT ITER 761 NEW BEST:: SOT 9863303 SOS 7042888 HAS SOPS 5035730 HAS SOUS 961843 HAS SOUPS 923007 WITH SCORE 930049.888
AT ITER 763 NEW BEST:: SOT 9863327 SOS 7042912 HAS SOPS 5035754 HAS SOUS 960832 HAS SOUPS 921996 WITH SCORE 929038.912
AT ITER 765 NEW BEST:: SOT 9863327 SOS 7042504 HAS SOPS 5034842 HAS SOUS 960580 HAS SOUPS 921732 WITH SCORE 928774.504
AT ITER 766 NEW BEST:: SOT 9871515 SOS 7050692 HAS SOPS 5043030 HAS SOUS 957454 HAS SOUPS 918606 WITH SCORE 925656.692
AT ITER 771 NEW BEST:: SOT 9898157 SOS 7077334 HAS SOPS 5069672 HAS SOUS 896165 HAS SOUPS 857317 WITH SCORE 864394.334
AT ITER 775 NEW BEST:: SOT 9898489 SOS 7077730 HAS SOPS 5070052 HAS SOUS 896027 HAS SOUPS 857179 WITH SCORE 864256.73
AT ITER 777 NEW BEST:: SOT 9937656 SOS 7095427 HAS SOPS 5085763 HAS SOUS 870755 HAS SOUPS 835199 WITH SCORE 842294.427
AT ITER 778 NEW BEST:: SOT 9931200 SOS 7088971 HAS SOPS 5079307 HAS SOUS 865614 HAS SOUPS 830058 WITH SCORE 837146.971
AT ITER 783 NEW BEST:: SOT 9931200 SOS 7088381 HAS SOPS 5078559 HAS SOUS 865548 HAS SOUPS 829992 WITH SCORE 837080.381
AT ITER 785 NEW BEST:: SOT 9931200 SOS 7087181 HAS SOPS 5077519 HAS SOUS 865458 HAS SOUPS 829962 WITH SCORE 837049.181
AT ITER 787 NEW BEST:: SOT 9922131 SOS 7078112 HAS SOPS 5068450 HAS SOUS 861466 HAS SOUPS 825970 WITH SCORE 833048.112
AT ITER 791 NEW BEST:: SOT 9922131 SOS 7075906 HAS SOPS 4966416 HAS SOUS 861609 HAS SOUPS 825875 WITH SCORE 832950.906
AT ITER 797 NEW BEST:: SOT 9924883 SOS 7125304 HAS SOPS 4958392 HAS SOUS 861059 HAS SOUPS 825377 WITH SCORE 832502.304
AT ITER 799 NEW BEST:: SOT 9924883 SOS 7107400 HAS SOPS 4958680 HAS SOUS 860441 HAS SOUPS 824990 WITH SCORE 832097.4
AT ITER 801 NEW BEST:: SOT 9917444 SOS 7099961 HAS SOPS 4951241 HAS SOUS 858663 HAS SOUPS 823212 WITH SCORE 830311.961
AT ITER 805 NEW BEST:: SOT 9918419 SOS 7104546 HAS SOPS 4956882 HAS SOUS 852326 HAS SOUPS 817097 WITH SCORE 824201.546
AT ITER 808 NEW BEST:: SOT 9918419 SOS 7105912 HAS SOPS 4948032 HAS SOUS 852345 HAS SOUPS 816848 WITH SCORE 823953.912
AT ITER 809 NEW BEST:: SOT 9918419 SOS 7105928 HAS SOPS 4947912 HAS SOUS 852341 HAS SOUPS 816844 WITH SCORE 823949.928
AT ITER 810 NEW BEST:: SOT 9917809 SOS 7104696 HAS SOPS 4946212 HAS SOUS 850878 HAS SOUPS 815768 WITH SCORE 822872.696
AT ITER 814 NEW BEST:: SOT 9917752 SOS 7102351 HAS SOPS 4942839 HAS SOUS 850268 HAS SOUPS 815000 WITH SCORE 822102.351
AT ITER 836 NEW BEST:: SOT 9918748 SOS 7103347 HAS SOPS 4943835 HAS SOUS 849047 HAS SOUPS 813779 WITH SCORE 820882.347
AT ITER 838 NEW BEST:: SOT 9918748 SOS 7103843 HAS SOPS 4943947 HAS SOUS 849041 HAS SOUPS 813765 WITH SCORE 820868.843
AT ITER 842 NEW BEST:: SOT 9918748 SOS 7103927 HAS SOPS 4943923 HAS SOUS 848747 HAS SOUPS 813501 WITH SCORE 820604.927
AT ITER 843 NEW BEST:: SOT 9921360 SOS 7085603 HAS SOPS 4926859 HAS SOUS 843685 HAS SOUPS 808938 WITH SCORE 816023.603
AT ITER 850 NEW BEST:: SOT 9921360 SOS 7085243 HAS SOPS 4926859 HAS SOUS 843529 HAS SOUPS 808734 WITH SCORE 815819.243
AT ITER 852 NEW BEST:: SOT 9921360 SOS 7107939 HAS SOPS 4926627 HAS SOUS 843337 HAS SOUPS 808572 WITH SCORE 815679.939
AT ITER 854 NEW BEST:: SOT 9921360 SOS 7107939 HAS SOPS 4926627 HAS SOUS 831663 HAS SOUPS 796898 WITH SCORE 804005.939
AT ITER 857 NEW BEST:: SOT 9886281 SOS 7072860 HAS SOPS 4891548 HAS SOUS 827585 HAS SOUPS 792820 WITH SCORE 799892.86
AT ITER 859 NEW BEST:: SOT 9885319 SOS 7071898 HAS SOPS 4890586 HAS SOUS 825395 HAS SOUPS 790630 WITH SCORE 797701.898
AT ITER 861 NEW BEST:: SOT 9887261 SOS 7073840 HAS SOPS 4892528 HAS SOUS 822644 HAS SOUPS 787879 WITH SCORE 794952.84
AT ITER 862 NEW BEST:: SOT 9887261 SOS 7074090 HAS SOPS 4891740 HAS SOUS 822550 HAS SOUPS 787793 WITH SCORE 794867.09
AT ITER 863 NEW BEST:: SOT 9870885 SOS 7119592 HAS SOPS 4894546 HAS SOUS 813195 HAS SOUPS 777937 WITH SCORE 785056.592
AT ITER 865 NEW BEST:: SOT 9870885 SOS 7119592 HAS SOPS 4894546 HAS SOUS 812902 HAS SOUPS 777812 WITH SCORE 784931.592
AT ITER 870 NEW BEST:: SOT 9872381 SOS 7120006 HAS SOPS 4894960 HAS SOUS 812754 HAS SOUPS 777664 WITH SCORE 784784.006
AT ITER 873 NEW BEST:: SOT 9872351 SOS 7119898 HAS SOPS 4894900 HAS SOUS 812700 HAS SOUPS 777634 WITH SCORE 784753.898
AT ITER 876 NEW BEST:: SOT 9872351 SOS 7092648 HAS SOPS 4908909 HAS SOUS 810241 HAS SOUPS 776088 WITH SCORE 783180.648
AT ITER 877 NEW BEST:: SOT 9872319 SOS 7091414 HAS SOPS 4908731 HAS SOUS 809960 HAS SOUPS 775914 WITH SCORE 783005.414
AT ITER 883 NEW BEST:: SOT 9874867 SOS 7092276 HAS SOPS 4906851 HAS SOUS 805932 HAS SOUPS 771976 WITH SCORE 779068.276
AT ITER 884 NEW BEST:: SOT 9874867 SOS 7091376 HAS SOPS 4906761 HAS SOUS 805930 HAS SOUPS 771974 WITH SCORE 779065.376
AT ITER 889 NEW BEST:: SOT 9874867 SOS 7066112 HAS SOPS 4904633 HAS SOUS 805001 HAS SOUPS 771435 WITH SCORE 778501.112
AT ITER 893 NEW BEST:: SOT 9874827 SOS 7066072 HAS SOPS 4904593 HAS SOUS 804985 HAS SOUPS 771419 WITH SCORE 778485.072
AT ITER 896 NEW BEST:: SOT 9860651 SOS 6990028 HAS SOPS 4757973 HAS SOUS 797748 HAS SOUPS 763438 WITH SCORE 770428.028
AT ITER 898 NEW BEST:: SOT 9860175 SOS 6990368 HAS SOPS 4747255 HAS SOUS 797081 HAS SOUPS 762723 WITH SCORE 769713.368
AT ITER 900 NEW BEST:: SOT 9860175 SOS 6982514 HAS SOPS 4739451 HAS SOUS 796897 HAS SOUPS 762539 WITH SCORE 769521.514
AT ITER 901 NEW BEST:: SOT 9860687 SOS 6982946 HAS SOPS 4740011 HAS SOUS 794579 HAS SOUPS 760281 WITH SCORE 767263.946
AT ITER 902 NEW BEST:: SOT 9859290 SOS 6980413 HAS SOPS 4739892 HAS SOUS 792425 HAS SOUPS 758189 WITH SCORE 765169.413
AT ITER 904 NEW BEST:: SOT 9859176 SOS 6979879 HAS SOPS 4739420 HAS SOUS 791958 HAS SOUPS 757753 WITH SCORE 764732.879
AT ITER 905 NEW BEST:: SOT 9859428 SOS 6970499 HAS SOPS 4739672 HAS SOUS 788749 HAS SOUPS 754885 WITH SCORE 761855.499
AT ITER 906 NEW BEST:: SOT 9859428 SOS 6971917 HAS SOPS 4739812 HAS SOUS 788563 HAS SOUPS 754602 WITH SCORE 761573.917
AT ITER 909 NEW BEST:: SOT 9841427 SOS 6953916 HAS SOPS 4721811 HAS SOUS 788494 HAS SOUPS 754533 WITH SCORE 761486.916
AT ITER 910 NEW BEST:: SOT 9855765 SOS 6965596 HAS SOPS 4729907 HAS SOUS 780586 HAS SOUPS 746847 WITH SCORE 753812.596
AT ITER 913 NEW BEST:: SOT 9855793 SOS 6965622 HAS SOPS 4729936 HAS SOUS 779654 HAS SOUPS 745916 WITH SCORE 752881.622
AT ITER 919 NEW BEST:: SOT 9855793 SOS 6939398 HAS SOPS 4730116 HAS SOUS 778453 HAS SOUPS 745220 WITH SCORE 752159.398
AT ITER 933 NEW BEST:: SOT 9855793 SOS 6910102 HAS SOPS 4730340 HAS SOUS 778453 HAS SOUPS 745234 WITH SCORE 752144.102
AT ITER 937 NEW BEST:: SOT 9854841 SOS 6909150 HAS SOPS 4729388 HAS SOUS 777673 HAS SOUPS 744454 WITH SCORE 751363.15
AT ITER 938 NEW BEST:: SOT 9854899 SOS 6938828 HAS SOPS 4752220 HAS SOUS 775069 HAS SOUPS 741816 WITH SCORE 748754.828
AT ITER 945 NEW BEST:: SOT 9854899 SOS 6926564 HAS SOPS 4752464 HAS SOUS 773388 HAS SOUPS 739738 WITH SCORE 746664.564
AT ITER 947 NEW BEST:: SOT 9853715 SOS 6929290 HAS SOPS 4749616 HAS SOUS 770468 HAS SOUPS 737197 WITH SCORE 744126.29
AT ITER 951 NEW BEST:: SOT 9854103 SOS 6929678 HAS SOPS 4750004 HAS SOUS 766394 HAS SOUPS 733123 WITH SCORE 740052.678
AT ITER 952 NEW BEST:: SOT 9853959 SOS 6929534 HAS SOPS 4749860 HAS SOUS 764909 HAS SOUPS 731638 WITH SCORE 738567.534
AT ITER 953 NEW BEST:: SOT 9773814 SOS 6911469 HAS SOPS 4851731 HAS SOUS 760532 HAS SOUPS 727131 WITH SCORE 734042.469
AT ITER 957 NEW BEST:: SOT 9775468 SOS 6913123 HAS SOPS 4853385 HAS SOUS 758018 HAS SOUPS 724647 WITH SCORE 731560.123
AT ITER 961 NEW BEST:: SOT 9775449 SOS 6908764 HAS SOPS 4852674 HAS SOUS 757794 HAS SOUPS 724461 WITH SCORE 731369.764
AT ITER 962 NEW BEST:: SOT 9772881 SOS 6906196 HAS SOPS 4850106 HAS SOUS 756070 HAS SOUPS 722737 WITH SCORE 729643.196
AT ITER 964 NEW BEST:: SOT 9762031 SOS 6895782 HAS SOPS 4839398 HAS SOUS 754978 HAS SOUPS 721289 WITH SCORE 728184.782
AT ITER 966 NEW BEST:: SOT 9762031 SOS 6851434 HAS SOPS 4799438 HAS SOUS 754041 HAS SOUPS 720335 WITH SCORE 727186.434
AT ITER 971 NEW BEST:: SOT 9762031 SOS 6851034 HAS SOPS 4798738 HAS SOUS 754001 HAS SOUPS 720265 WITH SCORE 727116.034
AT ITER 976 NEW BEST:: SOT 9761959 SOS 6850962 HAS SOPS 4798666 HAS SOUS 753845 HAS SOUPS 720109 WITH SCORE 726959.962
AT ITER 978 NEW BEST:: SOT 9761959 SOS 6845580 HAS SOPS 4797726 HAS SOUS 753216 HAS SOUPS 719797 WITH SCORE 726642.58
AT ITER 980 NEW BEST:: SOT 9758470 SOS 6842253 HAS SOPS 4796991 HAS SOUS 750583 HAS SOUPS 717284 WITH SCORE 724126.253
AT ITER 1007 NEW BEST:: SOT 9757692 SOS 6845043 HAS SOPS 4796213 HAS SOUS 750301 HAS SOUPS 716955 WITH SCORE 723800.043
AT ITER 1008 NEW BEST:: SOT 9757606 SOS 6844719 HAS SOPS 4795851 HAS SOUS 750061 HAS SOUPS 716696 WITH SCORE 723540.719
AT ITER 1009 NEW BEST:: SOT 9757606 SOS 6843603 HAS SOPS 4792371 HAS SOUS 749487 HAS SOUPS 716383 WITH SCORE 723226.603
AT ITER 1013 NEW BEST:: SOT 9757574 SOS 6843571 HAS SOPS 4792339 HAS SOUS 748135 HAS SOUPS 715031 WITH SCORE 721874.571
AT ITER 1015 NEW BEST:: SOT 9758130 SOS 6829427 HAS SOPS 4793139 HAS SOUS 746178 HAS SOUPS 713351 WITH SCORE 720180.427
AT ITER 1018 NEW BEST:: SOT 9762066 SOS 6776115 HAS SOPS 4797075 HAS SOUS 739104 HAS SOUPS 707171 WITH SCORE 713947.115
AT ITER 1021 NEW BEST:: SOT 9762908 SOS 6752173 HAS SOPS 4797071 HAS SOUS 737863 HAS SOUPS 706313 WITH SCORE 713065.173
AT ITER 1035 NEW BEST:: SOT 9762908 SOS 6756125 HAS SOPS 4795199 HAS SOUS 737785 HAS SOUPS 706261 WITH SCORE 713017.125
AT ITER 1039 NEW BEST:: SOT 9762908 SOS 6754047 HAS SOPS 4790431 HAS SOUS 738084 HAS SOUPS 706263 WITH SCORE 713017.047
AT ITER 1050 NEW BEST:: SOT 9733956 SOS 6725095 HAS SOPS 4761479 HAS SOUS 736752 HAS SOUPS 704931 WITH SCORE 711656.095
AT ITER 1051 NEW BEST:: SOT 9733948 SOS 6725087 HAS SOPS 4761471 HAS SOUS 736700 HAS SOUPS 704879 WITH SCORE 711604.087
AT ITER 1053 NEW BEST:: SOT 9733948 SOS 6832326 HAS SOPS 4743695 HAS SOUS 736068 HAS SOUPS 704276 WITH SCORE 711108.326
AT ITER 1056 NEW BEST:: SOT 9731008 SOS 6829386 HAS SOPS 4740755 HAS SOUS 735436 HAS SOUPS 703644 WITH SCORE 710473.386
AT ITER 1058 NEW BEST:: SOT 9732110 SOS 6829724 HAS SOPS 4740121 HAS SOUS 734634 HAS SOUPS 702842 WITH SCORE 709671.724
AT ITER 1063 NEW BEST:: SOT 9732110 SOS 6828860 HAS SOPS 4739577 HAS SOUS 734494 HAS SOUPS 702694 WITH SCORE 709522.86
AT ITER 1065 NEW BEST:: SOT 9737592 SOS 6834342 HAS SOPS 4745059 HAS SOUS 732726 HAS SOUPS 700926 WITH SCORE 707760.342
AT ITER 1069 NEW BEST:: SOT 9738028 SOS 6834778 HAS SOPS 4745495 HAS SOUS 731893 HAS SOUPS 700093 WITH SCORE 706927.778
AT ITER 1070 NEW BEST:: SOT 9738028 SOS 6824602 HAS SOPS 4739919 HAS SOUS 729320 HAS SOUPS 697728 WITH SCORE 704552.602
AT ITER 1071 NEW BEST:: SOT 9738028 SOS 6828924 HAS SOPS 4738913 HAS SOUS 728942 HAS SOUPS 697283 WITH SCORE 704111.924
AT ITER 1075 NEW BEST:: SOT 9738474 SOS 6829370 HAS SOPS 4739359 HAS SOUS 727208 HAS SOUPS 695549 WITH SCORE 702378.37
AT ITER 1080 NEW BEST:: SOT 9738474 SOS 6829270 HAS SOPS 4739225 HAS SOUS 727114 HAS SOUPS 695438 WITH SCORE 702267.27
AT ITER 1091 NEW BEST:: SOT 9738474 SOS 6842688 HAS SOPS 4763651 HAS SOUS 726443 HAS SOUPS 695207 WITH SCORE 702049.688
AT ITER 1101 NEW BEST:: SOT 9738960 SOS 6843174 HAS SOPS 4764137 HAS SOUS 726422 HAS SOUPS 695186 WITH SCORE 702029.174
AT ITER 1111 NEW BEST:: SOT 9738960 SOS 6842442 HAS SOPS 4761417 HAS SOUS 726308 HAS SOUPS 695016 WITH SCORE 701858.442
AT ITER 1112 NEW BEST:: SOT 9739352 SOS 6842834 HAS SOPS 4760849 HAS SOUS 726144 HAS SOUPS 694792 WITH SCORE 701634.834
AT ITER 1118 NEW BEST:: SOT 9739352 SOS 6842260 HAS SOPS 4760259 HAS SOUS 726152 HAS SOUPS 694792 WITH SCORE 701634.26
AT ITER 1121 NEW BEST:: SOT 9744974 SOS 6847260 HAS SOPS 4764331 HAS SOUS 721906 HAS SOUPS 690623 WITH SCORE 697470.26
AT ITER 1132 NEW BEST:: SOT 9744974 SOS 6842510 HAS SOPS 4751981 HAS SOUS 721052 HAS SOUPS 689792 WITH SCORE 696634.51
AT ITER 1134 NEW BEST:: SOT 9757198 SOS 6854734 HAS SOPS 4764205 HAS SOUS 718946 HAS SOUPS 687686 WITH SCORE 694540.734
AT ITER 1138 NEW BEST:: SOT 9763830 SOS 6861366 HAS SOPS 4770837 HAS SOUS 718582 HAS SOUPS 687322 WITH SCORE 694183.366
AT ITER 1143 NEW BEST:: SOT 9763830 SOS 6840246 HAS SOPS 4770837 HAS SOUS 718558 HAS SOUPS 687319 WITH SCORE 694159.246
AT ITER 1151 NEW BEST:: SOT 9763830 SOS 6833966 HAS SOPS 4769881 HAS SOUS 718678 HAS SOUPS 687298 WITH SCORE 694131.966
AT ITER 1159 NEW BEST:: SOT 9763398 SOS 6908072 HAS SOPS 4777977 HAS SOUS 718293 HAS SOUPS 685843 WITH SCORE 692751.072
AT ITER 1161 NEW BEST:: SOT 9763398 SOS 6908164 HAS SOPS 4777881 HAS SOUS 718252 HAS SOUPS 685795 WITH SCORE 692703.164
AT ITER 1170 NEW BEST:: SOT 9763126 SOS 6902248 HAS SOPS 4786725 HAS SOUS 717205 HAS SOUPS 685583 WITH SCORE 692485.248
AT ITER 1172 NEW BEST:: SOT 9763126 SOS 6891528 HAS SOPS 4786789 HAS SOUS 717316 HAS SOUPS 685537 WITH SCORE 692428.528
AT ITER 1187 NEW BEST:: SOT 9763000 SOS 6891402 HAS SOPS 4786663 HAS SOUS 717254 HAS SOUPS 685475 WITH SCORE 692366.402
AT ITER 1189 NEW BEST:: SOT 9776032 SOS 6887984 HAS SOPS 4795663 HAS SOUS 690974 HAS SOUPS 659833 WITH SCORE 666720.984
AT ITER 1198 NEW BEST:: SOT 9777448 SOS 6890140 HAS SOPS 4796961 HAS SOUS 688819 HAS SOUPS 657762 WITH SCORE 664652.14
AT ITER 1199 NEW BEST:: SOT 9777448 SOS 6823710 HAS SOPS 4789043 HAS SOUS 688612 HAS SOUPS 657619 WITH SCORE 664442.71
AT ITER 1200 NEW BEST:: SOT 9777448 SOS 6823626 HAS SOPS 4788959 HAS SOUS 688612 HAS SOUPS 657619 WITH SCORE 664442.626
AT ITER 1202 NEW BEST:: SOT 9777448 SOS 6834658 HAS SOPS 4735535 HAS SOUS 688642 HAS SOUPS 657476 WITH SCORE 664310.658
AT ITER 1204 NEW BEST:: SOT 9777372 SOS 6832590 HAS SOPS 4731783 HAS SOUS 687612 HAS SOUPS 656598 WITH SCORE 663430.59
AT ITER 1206 NEW BEST:: SOT 9777651 SOS 6830761 HAS SOPS 4731698 HAS SOUS 687191 HAS SOUPS 656211 WITH SCORE 663041.761
AT ITER 1207 NEW BEST:: SOT 9777651 SOS 6830725 HAS SOPS 4731698 HAS SOUS 687183 HAS SOUPS 656203 WITH SCORE 663033.725
AT ITER 1208 NEW BEST:: SOT 9795543 SOS 6847657 HAS SOPS 4748950 HAS SOUS 673693 HAS SOUPS 642767 WITH SCORE 649614.657
AT ITER 1210 NEW BEST:: SOT 9796249 SOS 6848363 HAS SOPS 4749656 HAS SOUS 672845 HAS SOUPS 641919 WITH SCORE 648767.363
AT ITER 1211 NEW BEST:: SOT 9796249 SOS 6874867 HAS SOPS 4747512 HAS SOUS 671455 HAS SOUPS 640127 WITH SCORE 647001.867
AT ITER 1213 NEW BEST:: SOT 9795613 SOS 6871104 HAS SOPS 4736094 HAS SOUS 670909 HAS SOUPS 639513 WITH SCORE 646384.104
AT ITER 1215 NEW BEST:: SOT 9793701 SOS 6881874 HAS SOPS 4734524 HAS SOUS 671323 HAS SOUPS 639164 WITH SCORE 646045.874
AT ITER 1226 NEW BEST:: SOT 9793235 SOS 6883960 HAS SOPS 4732518 HAS SOUS 670694 HAS SOUPS 638300 WITH SCORE 645183.96
AT ITER 1231 NEW BEST:: SOT 9793321 SOS 6850240 HAS SOPS 4732604 HAS SOUS 668661 HAS SOUPS 636825 WITH SCORE 643675.24
AT ITER 1239 NEW BEST:: SOT 9793321 SOS 6850000 HAS SOPS 4728284 HAS SOUS 668609 HAS SOUPS 636645 WITH SCORE 643495.0
AT ITER 1242 NEW BEST:: SOT 9793321 SOS 6849904 HAS SOPS 4728284 HAS SOUS 668609 HAS SOUPS 636633 WITH SCORE 643482.904
AT ITER 1243 NEW BEST:: SOT 9793063 SOS 6849796 HAS SOPS 4728500 HAS SOUS 668283 HAS SOUPS 636373 WITH SCORE 643222.796
AT ITER 1244 NEW BEST:: SOT 9793063 SOS 6849904 HAS SOPS 4732280 HAS SOUS 668163 HAS SOUPS 636372 WITH SCORE 643221.904
AT ITER 1247 NEW BEST:: SOT 9792789 SOS 6832657 HAS SOPS 4731908 HAS SOUS 663643 HAS SOUPS 631625 WITH SCORE 638457.657
AT ITER 1254 NEW BEST:: SOT 9793086 SOS 6835054 HAS SOPS 4726219 HAS SOUS 661662 HAS SOUPS 629017 WITH SCORE 635852.054
AT ITER 1256 NEW BEST:: SOT 9791836 SOS 6840197 HAS SOPS 4745499 HAS SOUS 661611 HAS SOUPS 628239 WITH SCORE 635079.197
AT ITER 1261 NEW BEST:: SOT 9792040 SOS 6840401 HAS SOPS 4745703 HAS SOUS 661091 HAS SOUPS 627719 WITH SCORE 634559.401
AT ITER 1263 NEW BEST:: SOT 9792040 SOS 6837673 HAS SOPS 4733483 HAS SOUS 661908 HAS SOUPS 627148 WITH SCORE 633985.673
AT ITER 1270 NEW BEST:: SOT 9792010 SOS 6837643 HAS SOPS 4733453 HAS SOUS 661308 HAS SOUPS 626548 WITH SCORE 633385.643
AT ITER 1271 NEW BEST:: SOT 9791282 SOS 6836915 HAS SOPS 4732725 HAS SOUS 661032 HAS SOUPS 626272 WITH SCORE 633108.915
AT ITER 1273 NEW BEST:: SOT 9791282 SOS 6836803 HAS SOPS 4732711 HAS SOUS 660990 HAS SOUPS 626244 WITH SCORE 633080.803
AT ITER 1286 NEW BEST:: SOT 9799090 SOS 6844921 HAS SOPS 4738469 HAS SOUS 653745 HAS SOUPS 619225 WITH SCORE 626069.921
AT ITER 1289 NEW BEST:: SOT 9798922 SOS 6842573 HAS SOPS 4739931 HAS SOUS 652401 HAS SOUPS 618168 WITH SCORE 625010.573
AT ITER 1299 NEW BEST:: SOT 9799394 SOS 6842653 HAS SOPS 4783308 HAS SOUS 648950 HAS SOUPS 614524 WITH SCORE 621366.653
AT ITER 1301 NEW BEST:: SOT 9799392 SOS 6841163 HAS SOPS 4776376 HAS SOUS 647616 HAS SOUPS 613274 WITH SCORE 620115.163
AT ITER 1308 NEW BEST:: SOT 9825742 SOS 6867513 HAS SOPS 4802726 HAS SOUS 644966 HAS SOUPS 610624 WITH SCORE 617491.513
AT ITER 1315 NEW BEST:: SOT 9825742 SOS 6865945 HAS SOPS 4802630 HAS SOUS 644726 HAS SOUPS 610480 WITH SCORE 617345.945
AT ITER 1320 NEW BEST:: SOT 9825689 SOS 6864620 HAS SOPS 4792215 HAS SOUS 645197 HAS SOUPS 610217 WITH SCORE 617081.62
AT ITER 1323 NEW BEST:: SOT 9825689 SOS 6852400 HAS SOPS 4790303 HAS SOUS 644647 HAS SOUPS 610072 WITH SCORE 616924.4
AT ITER 1338 NEW BEST:: SOT 9825689 SOS 6849856 HAS SOPS 4790123 HAS SOUS 644524 HAS SOUPS 610021 WITH SCORE 616870.856
AT ITER 1356 NEW BEST:: SOT 9825153 SOS 6849320 HAS SOPS 4789587 HAS SOUS 642683 HAS SOUPS 608180 WITH SCORE 615029.32
AT ITER 1360 NEW BEST:: SOT 9813261 SOS 6835810 HAS SOPS 4778122 HAS SOUS 640419 HAS SOUPS 605892 WITH SCORE 612727.81
AT ITER 1361 NEW BEST:: SOT 9812645 SOS 6823854 HAS SOPS 4756156 HAS SOUS 639383 HAS SOUPS 604506 WITH SCORE 611329.854
AT ITER 1364 NEW BEST:: SOT 9812645 SOS 6815776 HAS SOPS 4755906 HAS SOUS 638882 HAS SOUPS 604131 WITH SCORE 610946.776
AT ITER 1365 NEW BEST:: SOT 9812645 SOS 6816412 HAS SOPS 4756986 HAS SOUS 638030 HAS SOUPS 603639 WITH SCORE 610455.412
AT ITER 1369 NEW BEST:: SOT 9804779 SOS 6808776 HAS SOPS 4745996 HAS SOUS 636493 HAS SOUPS 601958 WITH SCORE 608766.776
AT ITER 1384 NEW BEST:: SOT 9805169 SOS 6809166 HAS SOPS 4746386 HAS SOUS 636325 HAS SOUPS 601790 WITH SCORE 608599.166
AT ITER 1387 NEW BEST:: SOT 9805329 SOS 6809326 HAS SOPS 4746546 HAS SOUS 636285 HAS SOUPS 601750 WITH SCORE 608559.326
AT ITER 1389 NEW BEST:: SOT 9799153 SOS 6803150 HAS SOPS 4740370 HAS SOUS 631108 HAS SOUPS 596573 WITH SCORE 603376.15
AT ITER 1390 NEW BEST:: SOT 9804217 SOS 6802547 HAS SOPS 4738550 HAS SOUS 619941 HAS SOUPS 585483 WITH SCORE 592285.547
AT ITER 1391 NEW BEST:: SOT 9806017 SOS 6804251 HAS SOPS 4740182 HAS SOUS 614481 HAS SOUPS 580056 WITH SCORE 586860.251
AT ITER 1394 NEW BEST:: SOT 9805151 SOS 6763935 HAS SOPS 4739482 HAS SOUS 614154 HAS SOUPS 579649 WITH SCORE 586412.935
AT ITER 1397 NEW BEST:: SOT 9805151 SOS 6774785 HAS SOPS 4739420 HAS SOUS 614156 HAS SOUPS 579636 WITH SCORE 586410.785
AT ITER 1431 NEW BEST:: SOT 9805151 SOS 6726817 HAS SOPS 4739420 HAS SOUS 614514 HAS SOUPS 579410 WITH SCORE 586136.817
AT ITER 1433 NEW BEST:: SOT 9805151 SOS 6726647 HAS SOPS 4739290 HAS SOUS 614429 HAS SOUPS 579345 WITH SCORE 586071.647
AT ITER 1435 NEW BEST:: SOT 9805903 SOS 6727399 HAS SOPS 4740042 HAS SOUS 612061 HAS SOUPS 576977 WITH SCORE 583704.399
AT ITER 1437 NEW BEST:: SOT 9824103 SOS 6745655 HAS SOPS 4757914 HAS SOUS 598532 HAS SOUPS 563480 WITH SCORE 570225.655
AT ITER 1444 NEW BEST:: SOT 9825215 SOS 6746625 HAS SOPS 4758940 HAS SOUS 598044 HAS SOUPS 562992 WITH SCORE 569738.625
AT ITER 1448 NEW BEST:: SOT 9824767 SOS 6743209 HAS SOPS 4753596 HAS SOUS 598064 HAS SOUPS 562912 WITH SCORE 569655.209
AT ITER 1454 NEW BEST:: SOT 9824767 SOS 6743209 HAS SOPS 4753574 HAS SOUS 598053 HAS SOUPS 562901 WITH SCORE 569644.209
AT ITER 1458 NEW BEST:: SOT 9824571 SOS 6743005 HAS SOPS 4753448 HAS SOUS 597883 HAS SOUPS 562733 WITH SCORE 569476.005
AT ITER 1462 NEW BEST:: SOT 9824571 SOS 6726309 HAS SOPS 4714766 HAS SOUS 597656 HAS SOUPS 561291 WITH SCORE 568017.309
AT ITER 1466 NEW BEST:: SOT 9826575 SOS 6728313 HAS SOPS 4716770 HAS SOUS 596838 HAS SOUPS 560473 WITH SCORE 567201.313
AT ITER 1470 NEW BEST:: SOT 9829563 SOS 6731301 HAS SOPS 4719758 HAS SOUS 593435 HAS SOUPS 557070 WITH SCORE 563801.301
AT ITER 1483 NEW BEST:: SOT 9829563 SOS 6716163 HAS SOPS 4697004 HAS SOUS 592998 HAS SOUPS 556765 WITH SCORE 563481.163
AT ITER 1492 NEW BEST:: SOT 9829563 SOS 6695812 HAS SOPS 4658417 HAS SOUS 591070 HAS SOUPS 555540 WITH SCORE 562235.812
AT ITER 1496 NEW BEST:: SOT 9829563 SOS 6696066 HAS SOPS 4647233 HAS SOUS 590989 HAS SOUPS 555389 WITH SCORE 562085.066
AT ITER 1498 NEW BEST:: SOT 9829563 SOS 6691278 HAS SOPS 4644953 HAS SOUS 591277 HAS SOUPS 555219 WITH SCORE 561910.278
AT ITER 1502 NEW BEST:: SOT 9829611 SOS 6691326 HAS SOPS 4645001 HAS SOUS 590861 HAS SOUPS 554803 WITH SCORE 561494.326
AT ITER 1503 NEW BEST:: SOT 9829611 SOS 6690908 HAS SOPS 4642593 HAS SOUS 591006 HAS SOUPS 554689 WITH SCORE 561379.908
AT ITER 1513 NEW BEST:: SOT 9830063 SOS 6690982 HAS SOPS 4642775 HAS SOUS 589755 HAS SOUPS 553456 WITH SCORE 560146.982
AT ITER 1518 NEW BEST:: SOT 9830063 SOS 6697730 HAS SOPS 4642611 HAS SOUS 589684 HAS SOUPS 553420 WITH SCORE 560117.73
AT ITER 1529 NEW BEST:: SOT 9830063 SOS 6679876 HAS SOPS 4642255 HAS SOUS 589404 HAS SOUPS 553250 WITH SCORE 559929.876
AT ITER 1532 NEW BEST:: SOT 9829943 SOS 6636236 HAS SOPS 4583535 HAS SOUS 588104 HAS SOUPS 551850 WITH SCORE 558486.236
AT ITER 1533 NEW BEST:: SOT 9829943 SOS 6636218 HAS SOPS 4581429 HAS SOUS 587957 HAS SOUPS 551703 WITH SCORE 558339.218
AT ITER 1537 NEW BEST:: SOT 9830675 SOS 6622690 HAS SOPS 4571685 HAS SOUS 583556 HAS SOUPS 548560 WITH SCORE 555182.69
AT ITER 1539 NEW BEST:: SOT 9830675 SOS 6618210 HAS SOPS 4562807 HAS SOUS 582692 HAS SOUPS 547801 WITH SCORE 554419.21
AT ITER 1543 NEW BEST:: SOT 9830675 SOS 6615930 HAS SOPS 4560527 HAS SOUS 582632 HAS SOUPS 547741 WITH SCORE 554356.93
AT ITER 1547 NEW BEST:: SOT 9836827 SOS 6617742 HAS SOPS 4561775 HAS SOUS 574581 HAS SOUPS 540210 WITH SCORE 546827.742
AT ITER 1556 NEW BEST:: SOT 9836079 SOS 6622684 HAS SOPS 4559449 HAS SOUS 574545 HAS SOUPS 539943 WITH SCORE 546565.684
AT ITER 1569 NEW BEST:: SOT 9836079 SOS 6613158 HAS SOPS 4559411 HAS SOUS 574348 HAS SOUPS 539860 WITH SCORE 546473.158
AT ITER 1577 NEW BEST:: SOT 9836079 SOS 6612358 HAS SOPS 4559387 HAS SOUS 574344 HAS SOUPS 539860 WITH SCORE 546472.358
AT ITER 1578 NEW BEST:: SOT 9836079 SOS 6610496 HAS SOPS 4559235 HAS SOUS 574249 HAS SOUPS 539803 WITH SCORE 546413.496
AT ITER 1579 NEW BEST:: SOT 9838063 SOS 6612370 HAS SOPS 4560801 HAS SOUS 572529 HAS SOUPS 538039 WITH SCORE 544651.37
AT ITER 1581 NEW BEST:: SOT 9838063 SOS 6612351 HAS SOPS 4560782 HAS SOUS 572479 HAS SOUPS 537989 WITH SCORE 544601.351
AT ITER 1584 NEW BEST:: SOT 9838063 SOS 6612703 HAS SOPS 4560750 HAS SOUS 572479 HAS SOUPS 537981 WITH SCORE 544593.703
AT ITER 1595 NEW BEST:: SOT 9838063 SOS 6611903 HAS SOPS 4559950 HAS SOUS 572409 HAS SOUPS 537911 WITH SCORE 544522.903
AT ITER 1597 NEW BEST:: SOT 9838063 SOS 6611875 HAS SOPS 4559796 HAS SOUS 572395 HAS SOUPS 537834 WITH SCORE 544445.875
AT ITER 1598 NEW BEST:: SOT 9838159 SOS 6611971 HAS SOPS 4559892 HAS SOUS 572231 HAS SOUPS 537670 WITH SCORE 544281.971
AT ITER 1604 NEW BEST:: SOT 9838757 SOS 6547377 HAS SOPS 4553102 HAS SOUS 568581 HAS SOUPS 536026 WITH SCORE 542573.377
AT ITER 1608 NEW BEST:: SOT 9841477 SOS 6550097 HAS SOPS 4555822 HAS SOUS 567735 HAS SOUPS 535180 WITH SCORE 541730.097
AT ITER 1618 NEW BEST:: SOT 9842241 SOS 6550861 HAS SOPS 4556586 HAS SOUS 567029 HAS SOUPS 534474 WITH SCORE 541024.861
AT ITER 1627 NEW BEST:: SOT 9842241 SOS 6550061 HAS SOPS 4555786 HAS SOUS 566879 HAS SOUPS 534424 WITH SCORE 540974.061
AT ITER 1630 NEW BEST:: SOT 9844351 SOS 6552171 HAS SOPS 4557896 HAS SOUS 566214 HAS SOUPS 533759 WITH SCORE 540311.171
AT ITER 1632 NEW BEST:: SOT 9844351 SOS 6550961 HAS SOPS 4557698 HAS SOUS 566137 HAS SOUPS 533715 WITH SCORE 540265.961
AT ITER 1634 NEW BEST:: SOT 9844351 SOS 6549113 HAS SOPS 4557832 HAS SOUS 565869 HAS SOUPS 533514 WITH SCORE 540063.113
AT ITER 1653 NEW BEST:: SOT 9842425 SOS 6547187 HAS SOPS 4555906 HAS SOUS 563592 HAS SOUPS 531237 WITH SCORE 537784.187
AT ITER 1655 NEW BEST:: SOT 9876839 SOS 6581601 HAS SOPS 4590320 HAS SOUS 562127 HAS SOUPS 529772 WITH SCORE 536353.601
AT ITER 1662 NEW BEST:: SOT 9873479 SOS 6578241 HAS SOPS 4586960 HAS SOUS 560303 HAS SOUPS 527948 WITH SCORE 534526.241
AT ITER 1669 NEW BEST:: SOT 9873773 SOS 6578255 HAS SOPS 4586694 HAS SOUS 559477 HAS SOUPS 527122 WITH SCORE 533700.255
AT ITER 1670 NEW BEST:: SOT 9873773 SOS 6577353 HAS SOPS 4586496 HAS SOUS 559455 HAS SOUPS 527122 WITH SCORE 533699.353
AT ITER 1686 NEW BEST:: SOT 9873773 SOS 6571303 HAS SOPS 4585078 HAS SOUS 559228 HAS SOUPS 527081 WITH SCORE 533652.303
AT ITER 1705 NEW BEST:: SOT 9873773 SOS 6571207 HAS SOPS 4584726 HAS SOUS 559148 HAS SOUPS 527017 WITH SCORE 533588.207
AT ITER 1724 NEW BEST:: SOT 9874273 SOS 6573237 HAS SOPS 4584846 HAS SOUS 559278 HAS SOUPS 526969 WITH SCORE 533542.237
AT ITER 1725 NEW BEST:: SOT 9879903 SOS 6578867 HAS SOPS 4590476 HAS SOUS 554194 HAS SOUPS 521885 WITH SCORE 528463.867
AT ITER 1726 NEW BEST:: SOT 9879903 SOS 6578961 HAS SOPS 4589874 HAS SOUS 554091 HAS SOUPS 521782 WITH SCORE 528360.961
AT ITER 1727 NEW BEST:: SOT 9879884 SOS 6575560 HAS SOPS 4588981 HAS SOUS 554026 HAS SOUPS 521736 WITH SCORE 528311.56
AT ITER 1741 NEW BEST:: SOT 9879896 SOS 6575534 HAS SOPS 4588993 HAS SOUS 553864 HAS SOUPS 521593 WITH SCORE 528168.534
AT ITER 1745 NEW BEST:: SOT 9882238 SOS 6577876 HAS SOPS 4591335 HAS SOUS 550839 HAS SOUPS 518568 WITH SCORE 525145.876
AT ITER 1746 NEW BEST:: SOT 9882238 SOS 6576704 HAS SOPS 4591065 HAS SOUS 550795 HAS SOUPS 518568 WITH SCORE 525144.704
AT ITER 1754 NEW BEST:: SOT 9882238 SOS 6576712 HAS SOPS 4591073 HAS SOUS 550785 HAS SOUPS 518566 WITH SCORE 525142.712
AT ITER 1762 NEW BEST:: SOT 9881526 SOS 6571768 HAS SOPS 4589751 HAS SOUS 548458 HAS SOUPS 516511 WITH SCORE 523082.768
AT ITER 1764 NEW BEST:: SOT 9881942 SOS 6570512 HAS SOPS 4589869 HAS SOUS 547897 HAS SOUPS 516147 WITH SCORE 522717.512
AT ITER 1766 NEW BEST:: SOT 9881942 SOS 6567042 HAS SOPS 4594547 HAS SOUS 547295 HAS SOUPS 515953 WITH SCORE 522520.042
AT ITER 1773 NEW BEST:: SOT 9881942 SOS 6566842 HAS SOPS 4594547 HAS SOUS 547148 HAS SOUPS 515849 WITH SCORE 522415.842
AT ITER 1800 NEW BEST:: SOT 9881942 SOS 6566738 HAS SOPS 4594567 HAS SOUS 547134 HAS SOUPS 515847 WITH SCORE 522413.738
AT ITER 1816 NEW BEST:: SOT 9881942 SOS 6565078 HAS SOPS 4592747 HAS SOUS 547103 HAS SOUPS 515816 WITH SCORE 522381.078
AT ITER 1817 NEW BEST:: SOT 9882990 SOS 6566126 HAS SOPS 4593795 HAS SOUS 547036 HAS SOUPS 515749 WITH SCORE 522315.126
AT ITER 1829 NEW BEST:: SOT 9882973 SOS 6566102 HAS SOPS 4593697 HAS SOUS 547066 HAS SOUPS 515742 WITH SCORE 522308.102
AT ITER 1833 NEW BEST:: SOT 9882973 SOS 6567216 HAS SOPS 4594789 HAS SOUS 546999 HAS SOUPS 515725 WITH SCORE 522292.216
AT ITER 1847 NEW BEST:: SOT 9882973 SOS 6565022 HAS SOPS 4587925 HAS SOUS 547322 HAS SOUPS 515544 WITH SCORE 522109.022
AT ITER 1850 NEW BEST:: SOT 9882973 SOS 6564976 HAS SOPS 4587925 HAS SOUS 547299 HAS SOUPS 515544 WITH SCORE 522108.976
AT ITER 1869 NEW BEST:: SOT 9882861 SOS 6574134 HAS SOPS 4588071 HAS SOUS 547075 HAS SOUPS 515398 WITH SCORE 521972.134
AT ITER 1872 NEW BEST:: SOT 9882937 SOS 6574210 HAS SOPS 4588147 HAS SOUS 546387 HAS SOUPS 514710 WITH SCORE 521284.21
AT ITER 1877 NEW BEST:: SOT 9882937 SOS 6573642 HAS SOPS 4586835 HAS SOUS 546301 HAS SOUPS 514619 WITH SCORE 521192.642
AT ITER 1880 NEW BEST:: SOT 9882937 SOS 6573634 HAS SOPS 4586827 HAS SOUS 546297 HAS SOUPS 514615 WITH SCORE 521188.634
AT ITER 1881 NEW BEST:: SOT 9885129 SOS 6590908 HAS SOPS 4611749 HAS SOUS 543998 HAS SOUPS 512384 WITH SCORE 518974.908
AT ITER 1883 NEW BEST:: SOT 9885129 SOS 6594758 HAS SOPS 4611837 HAS SOUS 544970 HAS SOUPS 512376 WITH SCORE 518970.758
AT ITER 1892 NEW BEST:: SOT 9883841 SOS 6593470 HAS SOPS 4610549 HAS SOUS 541494 HAS SOUPS 508900 WITH SCORE 515493.47
AT ITER 1894 NEW BEST:: SOT 9883841 SOS 6593456 HAS SOPS 4610549 HAS SOUS 541487 HAS SOUPS 508900 WITH SCORE 515493.456
AT ITER 1907 NEW BEST:: SOT 9883801 SOS 6593416 HAS SOPS 4610509 HAS SOUS 541455 HAS SOUPS 508868 WITH SCORE 515461.416
AT ITER 1911 NEW BEST:: SOT 9883801 SOS 6597244 HAS SOPS 4619999 HAS SOUS 540725 HAS SOUPS 508632 WITH SCORE 515229.244
AT ITER 1913 NEW BEST:: SOT 9883747 SOS 6551248 HAS SOPS 4619553 HAS SOUS 538400 HAS SOUPS 507531 WITH SCORE 514082.248
AT ITER 1923 NEW BEST:: SOT 9891033 SOS 6558534 HAS SOPS 4626839 HAS SOUS 534890 HAS SOUPS 504021 WITH SCORE 510579.534
AT ITER 1949 NEW BEST:: SOT 9890753 SOS 6560454 HAS SOPS 4625093 HAS SOUS 534888 HAS SOUPS 503929 WITH SCORE 510489.454
AT ITER 1950 NEW BEST:: SOT 9890753 SOS 6563514 HAS SOPS 4627616 HAS SOUS 534789 HAS SOUPS 503895 WITH SCORE 510458.514
AT ITER 1965 NEW BEST:: SOT 9890753 SOS 6566136 HAS SOPS 4628176 HAS SOUS 534779 HAS SOUPS 503754 WITH SCORE 510320.136
AT ITER 1974 NEW BEST:: SOT 9891231 SOS 6584170 HAS SOPS 4671138 HAS SOUS 534440 HAS SOUPS 503623 WITH SCORE 510207.17
AT ITER 1979 NEW BEST:: SOT 9891231 SOS 6582778 HAS SOPS 4670802 HAS SOUS 534424 HAS SOUPS 503615 WITH SCORE 510197.778
AT ITER 1983 NEW BEST:: SOT 9891231 SOS 6580364 HAS SOPS 4667666 HAS SOUS 534148 HAS SOUPS 503468 WITH SCORE 510048.364
AT ITER 1989 NEW BEST:: SOT 9891231 SOS 6580364 HAS SOPS 4666258 HAS SOUS 534126 HAS SOUPS 503435 WITH SCORE 510015.364
AT ITER 1992 NEW BEST:: SOT 9891231 SOS 6572348 HAS SOPS 4665154 HAS SOUS 533958 HAS SOUPS 503411 WITH SCORE 509983.348
AT ITER 2000 NEW BEST:: SOT 9891231 SOS 6574578 HAS SOPS 4664722 HAS SOUS 533904 HAS SOUPS 503357 WITH SCORE 509931.578
AT ITER 2007 NEW BEST:: SOT 9891231 SOS 6574540 HAS SOPS 4664700 HAS SOUS 533885 HAS SOUPS 503346 WITH SCORE 509920.54
AT ITER 2009 NEW BEST:: SOT 9891231 SOS 6571453 HAS SOPS 4661761 HAS SOUS 533331 HAS SOUPS 502962 WITH SCORE 509533.453
AT ITER 2015 NEW BEST:: SOT 9891231 SOS 6571621 HAS SOPS 4661481 HAS SOUS 533343 HAS SOUPS 502958 WITH SCORE 509529.621
AT ITER 2021 NEW BEST:: SOT 9890909 SOS 6571299 HAS SOPS 4661159 HAS SOUS 533113 HAS SOUPS 502728 WITH SCORE 509299.299
AT ITER 2022 NEW BEST:: SOT 9892939 SOS 6573329 HAS SOPS 4663189 HAS SOUS 532621 HAS SOUPS 502236 WITH SCORE 508809.329
AT ITER 2030 NEW BEST:: SOT 9892939 SOS 6573071 HAS SOPS 4661659 HAS SOUS 532594 HAS SOUPS 502212 WITH SCORE 508785.071
AT ITER 2042 NEW BEST:: SOT 9892939 SOS 6572969 HAS SOPS 4661443 HAS SOUS 532573 HAS SOUPS 502194 WITH SCORE 508766.969
AT ITER 2049 NEW BEST:: SOT 9893115 SOS 6573145 HAS SOPS 4661619 HAS SOUS 526545 HAS SOUPS 496166 WITH SCORE 502739.145
AT ITER 2050 NEW BEST:: SOT 9893115 SOS 6597359 HAS SOPS 4661645 HAS SOUS 526394 HAS SOUPS 496010 WITH SCORE 502607.359
AT ITER 2053 NEW BEST:: SOT 9893115 SOS 6597313 HAS SOPS 4661599 HAS SOUS 526371 HAS SOUPS 495987 WITH SCORE 502584.313
AT ITER 2062 NEW BEST:: SOT 9897708 SOS 6601570 HAS SOPS 4666450 HAS SOUS 523949 HAS SOUPS 493841 WITH SCORE 500442.57
AT ITER 2066 NEW BEST:: SOT 9897708 SOS 6602696 HAS SOPS 4666344 HAS SOUS 523993 HAS SOUPS 493839 WITH SCORE 500441.696
AT ITER 2072 NEW BEST:: SOT 9910972 SOS 6615970 HAS SOPS 4679458 HAS SOUS 512813 HAS SOUPS 482713 WITH SCORE 489328.97
AT ITER 2077 NEW BEST:: SOT 9928374 SOS 6633372 HAS SOPS 4696860 HAS SOUS 509922 HAS SOUPS 479822 WITH SCORE 486455.372
AT ITER 2089 NEW BEST:: SOT 9928374 SOS 6633370 HAS SOPS 4696860 HAS SOUS 509921 HAS SOUPS 479822 WITH SCORE 486455.37
AT ITER 2092 NEW BEST:: SOT 9928338 SOS 6633334 HAS SOPS 4696440 HAS SOUS 509939 HAS SOUPS 479578 WITH SCORE 486211.334
AT ITER 2093 NEW BEST:: SOT 9928990 SOS 6633986 HAS SOPS 4697092 HAS SOUS 507849 HAS SOUPS 477488 WITH SCORE 484121.986
AT ITER 2098 NEW BEST:: SOT 9922732 SOS 6628736 HAS SOPS 4696084 HAS SOUS 505919 HAS SOUPS 474984 WITH SCORE 481612.736
AT ITER 2104 NEW BEST:: SOT 9922732 SOS 6626272 HAS SOPS 4695364 HAS SOUS 505827 HAS SOUPS 474982 WITH SCORE 481608.272
AT ITER 2109 NEW BEST:: SOT 9920118 SOS 6632078 HAS SOPS 4693746 HAS SOUS 505060 HAS SOUPS 473648 WITH SCORE 480280.078
AT ITER 2114 NEW BEST:: SOT 9920221 SOS 6635123 HAS SOPS 4698423 HAS SOUS 503872 HAS SOUPS 472498 WITH SCORE 479133.123
AT ITER 2130 NEW BEST:: SOT 9920221 SOS 6616827 HAS SOPS 4697253 HAS SOUS 503725 HAS SOUPS 472416 WITH SCORE 479032.827
AT ITER 2137 NEW BEST:: SOT 9920221 SOS 6613451 HAS SOPS 4695741 HAS SOUS 503708 HAS SOUPS 472399 WITH SCORE 479012.451
AT ITER 2141 NEW BEST:: SOT 9920285 SOS 6613515 HAS SOPS 4695805 HAS SOUS 503656 HAS SOUPS 472347 WITH SCORE 478960.515
AT ITER 2144 NEW BEST:: SOT 9917725 SOS 6610891 HAS SOPS 4694715 HAS SOUS 502377 HAS SOUPS 471025 WITH SCORE 477635.891
AT ITER 2156 NEW BEST:: SOT 9917725 SOS 6601231 HAS SOPS 4694225 HAS SOUS 502146 HAS SOUPS 470794 WITH SCORE 477395.231
AT ITER 2162 NEW BEST:: SOT 9925283 SOS 6608789 HAS SOPS 4701783 HAS SOUS 501012 HAS SOUPS 469660 WITH SCORE 476268.789
AT ITER 2169 NEW BEST:: SOT 9925283 SOS 6608624 HAS SOPS 4701760 HAS SOUS 500854 HAS SOUPS 469573 WITH SCORE 476181.624
AT ITER 2175 NEW BEST:: SOT 9925283 SOS 6620152 HAS SOPS 4701916 HAS SOUS 500879 HAS SOUPS 469498 WITH SCORE 476118.152
AT ITER 2184 NEW BEST:: SOT 9923027 SOS 7014814 HAS SOPS 5193958 HAS SOUS 499056 HAS SOUPS 467864 WITH SCORE 474878.814
AT ITER 2191 NEW BEST:: SOT 9923291 SOS 7015078 HAS SOPS 5194222 HAS SOUS 498880 HAS SOUPS 467688 WITH SCORE 474703.078
AT ITER 2206 NEW BEST:: SOT 9930343 SOS 7022130 HAS SOPS 5201274 HAS SOUS 498580 HAS SOUPS 467388 WITH SCORE 474410.13
AT ITER 2215 NEW BEST:: SOT 9930643 SOS 7022056 HAS SOPS 5201266 HAS SOUS 498543 HAS SOUPS 467384 WITH SCORE 474406.056
AT ITER 2222 NEW BEST:: SOT 9931331 SOS 7022744 HAS SOPS 5201954 HAS SOUS 498532 HAS SOUPS 467373 WITH SCORE 474395.744
AT ITER 2225 NEW BEST:: SOT 9932402 SOS 7023815 HAS SOPS 5203025 HAS SOUS 497292 HAS SOUPS 466133 WITH SCORE 473156.815
AT ITER 2246 NEW BEST:: SOT 9940846 SOS 7032259 HAS SOPS 5211469 HAS SOUS 496060 HAS SOUPS 464901 WITH SCORE 471933.259
AT ITER 2248 NEW BEST:: SOT 9940438 SOS 7031851 HAS SOPS 5211061 HAS SOUS 495992 HAS SOUPS 464833 WITH SCORE 471864.851
AT ITER 2251 NEW BEST:: SOT 9939774 SOS 7031187 HAS SOPS 5210397 HAS SOUS 495814 HAS SOUPS 464655 WITH SCORE 471686.187
AT ITER 2262 NEW BEST:: SOT 9939774 SOS 7031213 HAS SOPS 5209345 HAS SOUS 495734 HAS SOUPS 464477 WITH SCORE 471508.213
AT ITER 2265 NEW BEST:: SOT 9939774 SOS 7030770 HAS SOPS 5208757 HAS SOUS 495362 HAS SOUPS 464207 WITH SCORE 471237.77
AT ITER 2269 NEW BEST:: SOT 9939660 SOS 7006662 HAS SOPS 5170755 HAS SOUS 493539 HAS SOUPS 463485 WITH SCORE 470491.662
AT ITER 2279 NEW BEST:: SOT 9942220 SOS 7006608 HAS SOPS 5182619 HAS SOUS 489459 HAS SOUPS 458852 WITH SCORE 465858.608
AT ITER 2288 NEW BEST:: SOT 9946852 SOS 7011240 HAS SOPS 5187251 HAS SOUS 489039 HAS SOUPS 458432 WITH SCORE 465443.24
AT ITER 2290 NEW BEST:: SOT 9946852 SOS 7011204 HAS SOPS 5187071 HAS SOUS 489093 HAS SOUPS 458414 WITH SCORE 465425.204
AT ITER 2295 NEW BEST:: SOT 9944518 SOS 7008870 HAS SOPS 5184737 HAS SOUS 487841 HAS SOUPS 457162 WITH SCORE 464170.87
AT ITER 2299 NEW BEST:: SOT 9941156 SOS 7005508 HAS SOPS 5181375 HAS SOUS 486509 HAS SOUPS 455830 WITH SCORE 462835.508
AT ITER 2304 NEW BEST:: SOT 9941156 SOS 7005304 HAS SOPS 5186187 HAS SOUS 485579 HAS SOUPS 455526 WITH SCORE 462531.304
AT ITER 2313 NEW BEST:: SOT 9941126 SOS 7005238 HAS SOPS 5186097 HAS SOUS 485531 HAS SOUPS 455466 WITH SCORE 462471.238
AT ITER 2316 NEW BEST:: SOT 9941126 SOS 6967095 HAS SOPS 5189529 HAS SOUS 485620 HAS SOUPS 455488 WITH SCORE 462455.095
AT ITER 2318 NEW BEST:: SOT 9942746 SOS 6968715 HAS SOPS 5191149 HAS SOUS 480766 HAS SOUPS 450634 WITH SCORE 457602.715
AT ITER 2322 NEW BEST:: SOT 9942746 SOS 6968715 HAS SOPS 5191131 HAS SOUS 480766 HAS SOUPS 450625 WITH SCORE 457593.715
AT ITER 2325 NEW BEST:: SOT 9942746 SOS 6893401 HAS SOPS 5191203 HAS SOUS 480759 HAS SOUPS 450657 WITH SCORE 457550.401
AT ITER 2361 NEW BEST:: SOT 9942996 SOS 6893651 HAS SOPS 5191453 HAS SOUS 480542 HAS SOUPS 450440 WITH SCORE 457333.651
AT ITER 2362 NEW BEST:: SOT 9943488 SOS 6894143 HAS SOPS 5191945 HAS SOUS 477885 HAS SOUPS 447783 WITH SCORE 454677.143
AT ITER 2365 NEW BEST:: SOT 9943488 SOS 6937495 HAS SOPS 5189945 HAS SOUS 477931 HAS SOUPS 447617 WITH SCORE 454554.495
AT ITER 2368 NEW BEST:: SOT 9943608 SOS 6937615 HAS SOPS 5190065 HAS SOUS 477743 HAS SOUPS 447429 WITH SCORE 454366.615
AT ITER 2375 NEW BEST:: SOT 9943544 SOS 6937486 HAS SOPS 5189936 HAS SOUS 477679 HAS SOUPS 447365 WITH SCORE 454302.486
AT ITER 2387 NEW BEST:: SOT 9943544 SOS 6937416 HAS SOPS 5189976 HAS SOUS 477244 HAS SOUPS 447024 WITH SCORE 453961.416
AT ITER 2388 NEW BEST:: SOT 9943544 SOS 6930400 HAS SOPS 5188472 HAS SOUS 477139 HAS SOUPS 446959 WITH SCORE 453889.4
AT ITER 2390 NEW BEST:: SOT 9943544 SOS 6929200 HAS SOPS 5188232 HAS SOUS 477089 HAS SOUPS 446944 WITH SCORE 453873.2
AT ITER 2392 NEW BEST:: SOT 9943544 SOS 6929086 HAS SOPS 5188252 HAS SOUS 477113 HAS SOUPS 446933 WITH SCORE 453862.086
AT ITER 2400 NEW BEST:: SOT 9943544 SOS 6901020 HAS SOPS 5188018 HAS SOUS 477064 HAS SOUPS 446911 WITH SCORE 453812.02
AT ITER 2408 NEW BEST:: SOT 9943544 SOS 6895660 HAS SOPS 5174528 HAS SOUS 476659 HAS SOUPS 446824 WITH SCORE 453719.66
AT ITER 2417 NEW BEST:: SOT 9943742 SOS 6577644 HAS SOPS 5174378 HAS SOUS 475184 HAS SOUPS 445729 WITH SCORE 452306.644
AT ITER 2421 NEW BEST:: SOT 9949184 SOS 6583086 HAS SOPS 5179820 HAS SOUS 473609 HAS SOUPS 444154 WITH SCORE 450737.086
AT ITER 2434 NEW BEST:: SOT 9949184 SOS 6583196 HAS SOPS 5179050 HAS SOUS 473634 HAS SOUPS 444124 WITH SCORE 450707.196
AT ITER 2444 NEW BEST:: SOT 9949184 SOS 6583743 HAS SOPS 5179021 HAS SOUS 473641 HAS SOUPS 444110 WITH SCORE 450693.743
AT ITER 2450 NEW BEST:: SOT 9948438 SOS 6577453 HAS SOPS 5161559 HAS SOUS 472304 HAS SOUPS 443121 WITH SCORE 449698.453
AT ITER 2452 NEW BEST:: SOT 9948438 SOS 6484817 HAS SOPS 5162171 HAS SOUS 472139 HAS SOUPS 443112 WITH SCORE 449596.817
AT ITER 2467 NEW BEST:: SOT 9948438 SOS 6484793 HAS SOPS 5162915 HAS SOUS 472139 HAS SOUPS 443112 WITH SCORE 449596.793
AT ITER 2482 NEW BEST:: SOT 9947344 SOS 6431915 HAS SOPS 5129415 HAS SOUS 470101 HAS SOUPS 441191 WITH SCORE 447622.915
AT ITER 2488 NEW BEST:: SOT 9948298 SOS 6431789 HAS SOPS 5129289 HAS SOUS 470022 HAS SOUPS 441112 WITH SCORE 447543.789
AT ITER 2491 NEW BEST:: SOT 9948298 SOS 6426533 HAS SOPS 5129335 HAS SOUS 470206 HAS SOUPS 441112 WITH SCORE 447538.533
AT ITER 2507 NEW BEST:: SOT 9954526 SOS 6432761 HAS SOPS 5135563 HAS SOUS 468045 HAS SOUPS 438951 WITH SCORE 445383.761
AT ITER 2513 NEW BEST:: SOT 9954138 SOS 6433111 HAS SOPS 5135835 HAS SOUS 467809 HAS SOUPS 438859 WITH SCORE 445292.111
AT ITER 2514 NEW BEST:: SOT 9954138 SOS 6432427 HAS SOPS 5134623 HAS SOUS 467480 HAS SOUPS 438568 WITH SCORE 445000.427
AT ITER 2517 NEW BEST:: SOT 9954138 SOS 6442635 HAS SOPS 5145287 HAS SOUS 467018 HAS SOUPS 438176 WITH SCORE 444618.635
AT ITER 2519 NEW BEST:: SOT 9954138 SOS 6440739 HAS SOPS 5144551 HAS SOUS 466595 HAS SOUPS 437906 WITH SCORE 444346.739
AT ITER 2520 NEW BEST:: SOT 9954138 SOS 6439271 HAS SOPS 5142236 HAS SOUS 466470 HAS SOUPS 437856 WITH SCORE 444295.271
AT ITER 2526 NEW BEST:: SOT 9949818 SOS 6434951 HAS SOPS 5137916 HAS SOUS 464540 HAS SOUPS 435926 WITH SCORE 442360.951
AT ITER 2532 NEW BEST:: SOT 9949852 SOS 6434985 HAS SOPS 5137950 HAS SOUS 464401 HAS SOUPS 435787 WITH SCORE 442221.985
AT ITER 2540 NEW BEST:: SOT 9950876 SOS 6436009 HAS SOPS 5138974 HAS SOUS 463673 HAS SOUPS 435059 WITH SCORE 441495.009
AT ITER 2546 NEW BEST:: SOT 9949381 SOS 6434514 HAS SOPS 5137479 HAS SOUS 462586 HAS SOUPS 433972 WITH SCORE 440406.514
AT ITER 2550 NEW BEST:: SOT 9950203 SOS 6454484 HAS SOPS 5130729 HAS SOUS 462360 HAS SOUPS 433580 WITH SCORE 440034.484
AT ITER 2553 NEW BEST:: SOT 9950187 SOS 6454670 HAS SOPS 5130715 HAS SOUS 462319 HAS SOUPS 433514 WITH SCORE 439968.67
AT ITER 2562 NEW BEST:: SOT 9951147 SOS 6455502 HAS SOPS 5131547 HAS SOUS 460385 HAS SOUPS 431580 WITH SCORE 438035.502
AT ITER 2563 NEW BEST:: SOT 9951147 SOS 6450386 HAS SOPS 5130387 HAS SOUS 459487 HAS SOUPS 431087 WITH SCORE 437537.386
AT ITER 2571 NEW BEST:: SOT 9951009 SOS 6450248 HAS SOPS 5130249 HAS SOUS 459230 HAS SOUPS 430830 WITH SCORE 437280.248
AT ITER 2573 NEW BEST:: SOT 9949857 SOS 6449096 HAS SOPS 5129097 HAS SOUS 457553 HAS SOUPS 429153 WITH SCORE 435602.096
AT ITER 2591 NEW BEST:: SOT 9949813 SOS 6449052 HAS SOPS 5129053 HAS SOUS 457531 HAS SOUPS 429131 WITH SCORE 435580.052
AT ITER 2595 NEW BEST:: SOT 9949813 SOS 6436520 HAS SOPS 5125065 HAS SOUS 457436 HAS SOUPS 429104 WITH SCORE 435540.52
AT ITER 2611 NEW BEST:: SOT 9949813 SOS 6427632 HAS SOPS 5125073 HAS SOUS 457339 HAS SOUPS 429108 WITH SCORE 435535.632
AT ITER 2629 NEW BEST:: SOT 9949813 SOS 6426214 HAS SOPS 5124957 HAS SOUS 457202 HAS SOUPS 429108 WITH SCORE 435534.214
AT ITER 2634 NEW BEST:: SOT 9949813 SOS 6431194 HAS SOPS 5129285 HAS SOUS 457530 HAS SOUPS 429058 WITH SCORE 435489.194
AT ITER 2649 NEW BEST:: SOT 9949593 SOS 6430974 HAS SOPS 5129065 HAS SOUS 457496 HAS SOUPS 429024 WITH SCORE 435454.974
AT ITER 2659 NEW BEST:: SOT 9949593 SOS 6426030 HAS SOPS 5124529 HAS SOUS 457239 HAS SOUPS 429019 WITH SCORE 435445.03
AT ITER 2664 NEW BEST:: SOT 9949497 SOS 6021377 HAS SOPS 4621223 HAS SOUS 457562 HAS SOUPS 429120 WITH SCORE 435141.377
AT ITER 2679 NEW BEST:: SOT 9949497 SOS 6017987 HAS SOPS 4619581 HAS SOUS 457743 HAS SOUPS 429119 WITH SCORE 435136.987
AT ITER 2681 NEW BEST:: SOT 9949365 SOS 6017855 HAS SOPS 4619449 HAS SOUS 457743 HAS SOUPS 429119 WITH SCORE 435136.855
AT ITER 2692 NEW BEST:: SOT 9949365 SOS 6022171 HAS SOPS 4607931 HAS SOUS 457680 HAS SOUPS 428825 WITH SCORE 434847.171
AT ITER 2698 NEW BEST:: SOT 9947573 SOS 6020379 HAS SOPS 4606139 HAS SOUS 456148 HAS SOUPS 427293 WITH SCORE 433313.379
AT ITER 2701 NEW BEST:: SOT 9947404 SOS 5975938 HAS SOPS 4606730 HAS SOUS 455566 HAS SOUPS 427053 WITH SCORE 433028.938
AT ITER 2709 NEW BEST:: SOT 9947216 SOS 5975750 HAS SOPS 4606542 HAS SOUS 455554 HAS SOUPS 427041 WITH SCORE 433016.75
AT ITER 2744 NEW BEST:: SOT 9948281 SOS 5969795 HAS SOPS 4606871 HAS SOUS 455353 HAS SOUPS 426788 WITH SCORE 432757.795
AT ITER 2749 NEW BEST:: SOT 9949835 SOS 5971349 HAS SOPS 4608425 HAS SOUS 454713 HAS SOUPS 426148 WITH SCORE 432119.349
AT ITER 2758 NEW BEST:: SOT 9949835 SOS 5970381 HAS SOPS 4608425 HAS SOUS 454649 HAS SOUPS 426118 WITH SCORE 432088.381
AT ITER 2760 NEW BEST:: SOT 9949973 SOS 5970519 HAS SOPS 4608563 HAS SOUS 454500 HAS SOUPS 425969 WITH SCORE 431939.519
AT ITER 2772 NEW BEST:: SOT 9949973 SOS 5968951 HAS SOPS 4601335 HAS SOUS 454726 HAS SOUPS 425898 WITH SCORE 431866.951
AT ITER 2776 NEW BEST:: SOT 9949973 SOS 5968649 HAS SOPS 4600595 HAS SOUS 454579 HAS SOUPS 425813 WITH SCORE 431781.649
AT ITER 2780 NEW BEST:: SOT 9949973 SOS 5968625 HAS SOPS 4600571 HAS SOUS 454577 HAS SOUPS 425811 WITH SCORE 431779.625
AT ITER 2787 NEW BEST:: SOT 9951283 SOS 5964307 HAS SOPS 4589181 HAS SOUS 453506 HAS SOUPS 424815 WITH SCORE 430779.307
AT ITER 2796 NEW BEST:: SOT 9951400 SOS 5964132 HAS SOPS 4601934 HAS SOUS 454162 HAS SOUPS 424539 WITH SCORE 430503.132
AT ITER 2799 NEW BEST:: SOT 9951400 SOS 5963200 HAS SOPS 4600968 HAS SOUS 454124 HAS SOUPS 424518 WITH SCORE 430481.2
AT ITER 2809 NEW BEST:: SOT 9951400 SOS 5968678 HAS SOPS 4601072 HAS SOUS 454115 HAS SOUPS 424509 WITH SCORE 430477.678
AT ITER 2813 NEW BEST:: SOT 9951400 SOS 5968288 HAS SOPS 4600688 HAS SOUS 454115 HAS SOUPS 424509 WITH SCORE 430477.288
AT ITER 2814 NEW BEST:: SOT 9956273 SOS 5971330 HAS SOPS 4605690 HAS SOUS 452273 HAS SOUPS 422889 WITH SCORE 428860.33
AT ITER 2834 NEW BEST:: SOT 9956093 SOS 5970974 HAS SOPS 4605510 HAS SOUS 452115 HAS SOUPS 422819 WITH SCORE 428789.974
AT ITER 2837 NEW BEST:: SOT 9956093 SOS 5970966 HAS SOPS 4605502 HAS SOUS 452111 HAS SOUPS 422815 WITH SCORE 428785.966
AT ITER 2842 NEW BEST:: SOT 9956093 SOS 5970902 HAS SOPS 4605438 HAS SOUS 452095 HAS SOUPS 422799 WITH SCORE 428769.902
AT ITER 2864 NEW BEST:: SOT 9959325 SOS 5974134 HAS SOPS 4608670 HAS SOUS 451134 HAS SOUPS 421838 WITH SCORE 427812.134
AT ITER 2873 NEW BEST:: SOT 9959325 SOS 5965431 HAS SOPS 4608900 HAS SOUS 450872 HAS SOUPS 421621 WITH SCORE 427586.431
AT ITER 2876 NEW BEST:: SOT 9959325 SOS 5968143 HAS SOPS 4609564 HAS SOUS 450878 HAS SOUPS 421609 WITH SCORE 427577.143
AT ITER 2884 NEW BEST:: SOT 9959339 SOS 5968157 HAS SOPS 4609578 HAS SOUS 450860 HAS SOUPS 421591 WITH SCORE 427559.157
AT ITER 2916 NEW BEST:: SOT 9959915 SOS 5965781 HAS SOPS 4609149 HAS SOUS 450642 HAS SOUPS 421434 WITH SCORE 427399.781
AT ITER 2919 NEW BEST:: SOT 9955157 SOS 5961023 HAS SOPS 4604391 HAS SOUS 446339 HAS SOUPS 417131 WITH SCORE 423092.023
AT ITER 2921 NEW BEST:: SOT 9955181 SOS 5961047 HAS SOPS 4604415 HAS SOUS 446335 HAS SOUPS 417127 WITH SCORE 423088.047
AT ITER 2925 NEW BEST:: SOT 9957189 SOS 5952781 HAS SOPS 4569313 HAS SOUS 443728 HAS SOUPS 414652 WITH SCORE 420604.781
AT ITER 2936 NEW BEST:: SOT 9957189 SOS 5952575 HAS SOPS 4569285 HAS SOUS 443649 HAS SOUPS 414652 WITH SCORE 420604.575
AT ITER 2939 NEW BEST:: SOT 9955343 SOS 5951255 HAS SOPS 4566867 HAS SOUS 444056 HAS SOUPS 414629 WITH SCORE 420580.255
AT ITER 2951 NEW BEST:: SOT 9955343 SOS 5941491 HAS SOPS 4566511 HAS SOUS 443976 HAS SOUPS 414598 WITH SCORE 420539.491
AT ITER 2959 NEW BEST:: SOT 9968411 SOS 5954559 HAS SOPS 4579579 HAS SOUS 443048 HAS SOUPS 413670 WITH SCORE 419624.559
AT ITER 2960 NEW BEST:: SOT 9968279 SOS 5952807 HAS SOPS 4557827 HAS SOUS 442175 HAS SOUPS 412797 WITH SCORE 418749.807
AT ITER 2980 NEW BEST:: SOT 9968279 SOS 5946543 HAS SOPS 4556087 HAS SOUS 442175 HAS SOUPS 412797 WITH SCORE 418743.543
AT ITER 2982 NEW BEST:: SOT 9968279 SOS 5940521 HAS SOPS 4555277 HAS SOUS 442035 HAS SOUPS 412797 WITH SCORE 418737.521
AT ITER 2983 NEW BEST:: SOT 9968279 SOS 5937831 HAS SOPS 4551169 HAS SOUS 442832 HAS SOUPS 412680 WITH SCORE 418617.831
AT ITER 2998 NEW BEST:: SOT 9967865 SOS 5937417 HAS SOPS 4550755 HAS SOUS 442454 HAS SOUPS 412302 WITH SCORE 418239.417
AT ITER 3012 NEW BEST:: SOT 9967865 SOS 5933745 HAS SOPS 4550591 HAS SOUS 441891 HAS SOUPS 412293 WITH SCORE 418226.745
AT ITER 3035 NEW BEST:: SOT 9967865 SOS 5942533 HAS SOPS 4549771 HAS SOUS 442045 HAS SOUPS 412198 WITH SCORE 418140.533
AT ITER 3040 NEW BEST:: SOT 9968753 SOS 5943421 HAS SOPS 4550659 HAS SOUS 439909 HAS SOUPS 410062 WITH SCORE 416005.421
AT ITER 3042 NEW BEST:: SOT 9971023 SOS 5945691 HAS SOPS 4552929 HAS SOUS 438254 HAS SOUPS 408407 WITH SCORE 414352.691
AT ITER 3047 NEW BEST:: SOT 9971067 SOS 5947477 HAS SOPS 4548171 HAS SOUS 438058 HAS SOUPS 408213 WITH SCORE 414160.477
AT ITER 3048 NEW BEST:: SOT 9970831 SOS 5918229 HAS SOPS 4547935 HAS SOUS 437770 HAS SOUPS 407928 WITH SCORE 413846.229
AT ITER 3052 NEW BEST:: SOT 9970297 SOS 5917695 HAS SOPS 4547401 HAS SOUS 437303 HAS SOUPS 407461 WITH SCORE 413378.695
AT ITER 3062 NEW BEST:: SOT 9970297 SOS 5918933 HAS SOPS 4545511 HAS SOUS 437061 HAS SOUPS 407345 WITH SCORE 413263.933
AT ITER 3066 NEW BEST:: SOT 9970297 SOS 5917413 HAS SOPS 4545511 HAS SOUS 437051 HAS SOUPS 407335 WITH SCORE 413252.413
AT ITER 3068 NEW BEST:: SOT 9970425 SOS 5917541 HAS SOPS 4545639 HAS SOUS 436883 HAS SOUPS 407167 WITH SCORE 413084.541
AT ITER 3071 NEW BEST:: SOT 9970447 SOS 5924753 HAS SOPS 4545619 HAS SOUS 436902 HAS SOUPS 407147 WITH SCORE 413071.753
AT ITER 3072 NEW BEST:: SOT 9970367 SOS 5924673 HAS SOPS 4545539 HAS SOUS 436901 HAS SOUPS 407146 WITH SCORE 413070.673
AT ITER 3073 NEW BEST:: SOT 9970291 SOS 5930099 HAS SOPS 4546447 HAS SOUS 436616 HAS SOUPS 407079 WITH SCORE 413009.099
AT ITER 3076 NEW BEST:: SOT 9970701 SOS 5930509 HAS SOPS 4546857 HAS SOUS 436029 HAS SOUPS 406492 WITH SCORE 412422.509
AT ITER 3081 NEW BEST:: SOT 9970701 SOS 5920145 HAS SOPS 4546425 HAS SOUS 435959 HAS SOUPS 406492 WITH SCORE 412412.145
AT ITER 3084 NEW BEST:: SOT 9970701 SOS 5920143 HAS SOPS 4546457 HAS SOUS 435955 HAS SOUPS 406492 WITH SCORE 412412.143
AT ITER 3086 NEW BEST:: SOT 9970701 SOS 5919665 HAS SOPS 4544307 HAS SOUS 435811 HAS SOUPS 406348 WITH SCORE 412267.665
AT ITER 3087 NEW BEST:: SOT 9970677 SOS 5981177 HAS SOPS 4538643 HAS SOUS 435350 HAS SOUPS 405629 WITH SCORE 411610.177
AT ITER 3094 NEW BEST:: SOT 9973291 SOS 5983791 HAS SOPS 4541257 HAS SOUS 433914 HAS SOUPS 404193 WITH SCORE 410176.791
AT ITER 3101 NEW BEST:: SOT 9971819 SOS 5982319 HAS SOPS 4539785 HAS SOUS 433866 HAS SOUPS 404145 WITH SCORE 410127.319
AT ITER 3108 NEW BEST:: SOT 9971907 SOS 5983420 HAS SOPS 4528961 HAS SOUS 433610 HAS SOUPS 403889 WITH SCORE 409872.42
AT ITER 3122 NEW BEST:: SOT 9971907 SOS 5982016 HAS SOPS 4528805 HAS SOUS 433571 HAS SOUPS 403889 WITH SCORE 409871.016
AT ITER 3136 NEW BEST:: SOT 9971871 SOS 5981980 HAS SOPS 4528769 HAS SOUS 433535 HAS SOUPS 403853 WITH SCORE 409834.98
AT ITER 3150 NEW BEST:: SOT 9971871 SOS 5983889 HAS SOPS 4521405 HAS SOUS 433067 HAS SOUPS 403267 WITH SCORE 409250.889
AT ITER 3152 NEW BEST:: SOT 9971871 SOS 5981905 HAS SOPS 4521357 HAS SOUS 432993 HAS SOUPS 403251 WITH SCORE 409232.905
AT ITER 3158 NEW BEST:: SOT 9971871 SOS 5980709 HAS SOPS 4521409 HAS SOUS 432980 HAS SOUPS 403251 WITH SCORE 409231.709
AT ITER 3162 NEW BEST:: SOT 9972035 SOS 5986269 HAS SOPS 4517913 HAS SOUS 432131 HAS SOUPS 402409 WITH SCORE 408395.269
AT ITER 3168 NEW BEST:: SOT 9972035 SOS 5986325 HAS SOPS 4517843 HAS SOUS 432166 HAS SOUPS 402374 WITH SCORE 408360.325
AT ITER 3204 NEW BEST:: SOT 9972035 SOS 5978911 HAS SOPS 4508309 HAS SOUS 432001 HAS SOUPS 402291 WITH SCORE 408269.911
AT ITER 3214 NEW BEST:: SOT 9972035 SOS 5977555 HAS SOPS 4511036 HAS SOUS 431515 HAS SOUPS 402170 WITH SCORE 408147.555
AT ITER 3221 NEW BEST:: SOT 9974349 SOS 5967782 HAS SOPS 4501160 HAS SOUS 430074 HAS SOUPS 401001 WITH SCORE 406968.782
AT ITER 3232 NEW BEST:: SOT 9975513 SOS 5966690 HAS SOPS 4503476 HAS SOUS 429792 HAS SOUPS 400791 WITH SCORE 406757.69
AT ITER 3244 NEW BEST:: SOT 9975193 SOS 5966370 HAS SOPS 4503156 HAS SOUS 428557 HAS SOUPS 399556 WITH SCORE 405522.37
AT ITER 3255 NEW BEST:: SOT 9975193 SOS 5959562 HAS SOPS 4503241 HAS SOUS 428363 HAS SOUPS 399522 WITH SCORE 405481.562
AT ITER 3265 NEW BEST:: SOT 9975193 SOS 5960134 HAS SOPS 4501891 HAS SOUS 428414 HAS SOUPS 399515 WITH SCORE 405475.134
AT ITER 3271 NEW BEST:: SOT 9974690 SOS 5960497 HAS SOPS 4501849 HAS SOUS 428362 HAS SOUPS 399411 WITH SCORE 405371.497
AT ITER 3292 NEW BEST:: SOT 9974582 SOS 5960389 HAS SOPS 4501741 HAS SOUS 427998 HAS SOUPS 399047 WITH SCORE 405007.389
AT ITER 3295 NEW BEST:: SOT 9974652 SOS 5960473 HAS SOPS 4501697 HAS SOUS 427882 HAS SOUPS 398915 WITH SCORE 404875.473
AT ITER 3313 NEW BEST:: SOT 9974652 SOS 5960503 HAS SOPS 4500287 HAS SOUS 427822 HAS SOUPS 398855 WITH SCORE 404815.503
AT ITER 3316 NEW BEST:: SOT 9980672 SOS 5966523 HAS SOPS 4506307 HAS SOUS 427549 HAS SOUPS 398582 WITH SCORE 404548.523
AT ITER 3330 NEW BEST:: SOT 9980672 SOS 5966521 HAS SOPS 4506307 HAS SOUS 427549 HAS SOUPS 398582 WITH SCORE 404548.521
AT ITER 3341 NEW BEST:: SOT 9980732 SOS 6020957 HAS SOPS 4489191 HAS SOUS 427414 HAS SOUPS 398365 WITH SCORE 404385.957
AT ITER 3349 NEW BEST:: SOT 9982738 SOS 6022963 HAS SOPS 4491197 HAS SOUS 426228 HAS SOUPS 397179 WITH SCORE 403201.963
AT ITER 3353 NEW BEST:: SOT 9982186 SOS 6022411 HAS SOPS 4490645 HAS SOUS 425704 HAS SOUPS 396655 WITH SCORE 402677.411
AT ITER 3360 NEW BEST:: SOT 9982186 SOS 5929005 HAS SOPS 4490853 HAS SOUS 425064 HAS SOUPS 396621 WITH SCORE 402550.005
AT ITER 3362 NEW BEST:: SOT 9982186 SOS 5932359 HAS SOPS 4494051 HAS SOUS 424986 HAS SOUPS 396582 WITH SCORE 402514.359
AT ITER 3367 NEW BEST:: SOT 9982186 SOS 5931815 HAS SOPS 4494019 HAS SOUS 425002 HAS SOUPS 396580 WITH SCORE 402511.815
AT ITER 3397 NEW BEST:: SOT 9982186 SOS 5931943 HAS SOPS 4498989 HAS SOUS 424943 HAS SOUPS 396527 WITH SCORE 402458.943
AT ITER 3404 NEW BEST:: SOT 9981994 SOS 5931751 HAS SOPS 4498797 HAS SOUS 424943 HAS SOUPS 396527 WITH SCORE 402458.751
AT ITER 3407 NEW BEST:: SOT 9983414 SOS 5933171 HAS SOPS 4500217 HAS SOUS 424827 HAS SOUPS 396411 WITH SCORE 402344.171
AT ITER 3412 NEW BEST:: SOT 9985446 SOS 5935203 HAS SOPS 4502249 HAS SOUS 423987 HAS SOUPS 395571 WITH SCORE 401506.203
AT ITER 3416 NEW BEST:: SOT 9985954 SOS 5935445 HAS SOPS 4502715 HAS SOUS 423622 HAS SOUPS 395210 WITH SCORE 401145.445
AT ITER 3428 NEW BEST:: SOT 9986376 SOS 5935867 HAS SOPS 4503137 HAS SOUS 423564 HAS SOUPS 395152 WITH SCORE 401087.867
AT ITER 3434 NEW BEST:: SOT 9986376 SOS 5936137 HAS SOPS 4502647 HAS SOUS 423494 HAS SOUPS 395107 WITH SCORE 401043.137
AT ITER 3452 NEW BEST:: SOT 9987440 SOS 5936297 HAS SOPS 4497655 HAS SOUS 421146 HAS SOUPS 392759 WITH SCORE 398695.297
AT ITER 3455 NEW BEST:: SOT 9987429 SOS 5931334 HAS SOPS 4492808 HAS SOUS 420837 HAS SOUPS 392473 WITH SCORE 398404.334
AT ITER 3489 NEW BEST:: SOT 9987429 SOS 5956760 HAS SOPS 4491550 HAS SOUS 421126 HAS SOUPS 392416 WITH SCORE 398372.76
AT ITER 3520 NEW BEST:: SOT 9987429 SOS 5923250 HAS SOPS 4491408 HAS SOUS 420983 HAS SOUPS 392370 WITH SCORE 398293.25
AT ITER 3533 NEW BEST:: SOT 9987369 SOS 5923190 HAS SOPS 4491348 HAS SOUS 420807 HAS SOUPS 392194 WITH SCORE 398117.19
AT ITER 3541 NEW BEST:: SOT 9987381 SOS 5875540 HAS SOPS 4457509 HAS SOUS 420153 HAS SOUPS 391679 WITH SCORE 397554.54
AT ITER 3547 NEW BEST:: SOT 9987381 SOS 5881092 HAS SOPS 4461253 HAS SOUS 420094 HAS SOUPS 391632 WITH SCORE 397513.092
AT ITER 3551 NEW BEST:: SOT 9988575 SOS 5877392 HAS SOPS 4432255 HAS SOUS 420418 HAS SOUPS 391044 WITH SCORE 396921.392
AT ITER 3566 NEW BEST:: SOT 9988575 SOS 5878508 HAS SOPS 4432319 HAS SOUS 420412 HAS SOUPS 391000 WITH SCORE 396878.508
AT ITER 3570 NEW BEST:: SOT 9988575 SOS 5902388 HAS SOPS 4432087 HAS SOUS 420387 HAS SOUPS 390975 WITH SCORE 396877.388
AT ITER 3573 NEW BEST:: SOT 9987751 SOS 5903000 HAS SOPS 4394121 HAS SOUS 418044 HAS SOUPS 388516 WITH SCORE 394419.0
AT ITER 3583 NEW BEST:: SOT 9987751 SOS 5902846 HAS SOPS 4393659 HAS SOUS 418000 HAS SOUPS 388494 WITH SCORE 394396.846
AT ITER 3585 NEW BEST:: SOT 9987751 SOS 5912642 HAS SOPS 4394367 HAS SOUS 418238 HAS SOUPS 388440 WITH SCORE 394352.642
AT ITER 3588 NEW BEST:: SOT 9987751 SOS 5977140 HAS SOPS 4470261 HAS SOUS 418084 HAS SOUPS 388321 WITH SCORE 394298.14
AT ITER 3591 NEW BEST:: SOT 9987751 SOS 5976532 HAS SOPS 4470549 HAS SOUS 417919 HAS SOUPS 388241 WITH SCORE 394217.532
AT ITER 3593 NEW BEST:: SOT 9987751 SOS 5976528 HAS SOPS 4472185 HAS SOUS 417967 HAS SOUPS 388237 WITH SCORE 394213.528
AT ITER 3604 NEW BEST:: SOT 9987755 SOS 5976532 HAS SOPS 4472189 HAS SOUS 417590 HAS SOUPS 387860 WITH SCORE 393836.532
AT ITER 3605 NEW BEST:: SOT 9987755 SOS 5982899 HAS SOPS 4470547 HAS SOUS 417374 HAS SOUPS 387779 WITH SCORE 393761.899
AT ITER 3608 NEW BEST:: SOT 9986327 SOS 5981471 HAS SOPS 4469119 HAS SOUS 417309 HAS SOUPS 387714 WITH SCORE 393695.471
AT ITER 3609 NEW BEST:: SOT 9986327 SOS 5980191 HAS SOPS 4470143 HAS SOUS 416868 HAS SOUPS 387643 WITH SCORE 393623.191
AT ITER 3614 NEW BEST:: SOT 9989640 SOS 5983504 HAS SOPS 4473456 HAS SOUS 415798 HAS SOUPS 386573 WITH SCORE 392556.504
AT ITER 3615 NEW BEST:: SOT 9989640 SOS 5979728 HAS SOPS 4470636 HAS SOUS 415618 HAS SOUPS 386453 WITH SCORE 392432.728
AT ITER 3631 NEW BEST:: SOT 9989641 SOS 5979727 HAS SOPS 4470635 HAS SOUS 415616 HAS SOUPS 386451 WITH SCORE 392430.727
AT ITER 3634 NEW BEST:: SOT 9989701 SOS 5974771 HAS SOPS 4470455 HAS SOUS 415094 HAS SOUPS 386037 WITH SCORE 392011.771
AT ITER 3648 NEW BEST:: SOT 9989773 SOS 5973785 HAS SOPS 4469455 HAS SOUS 414678 HAS SOUPS 385614 WITH SCORE 391587.785
AT ITER 3649 NEW BEST:: SOT 9972602 SOS 5957130 HAS SOPS 4452750 HAS SOUS 410848 HAS SOUPS 381754 WITH SCORE 387711.13
AT ITER 3653 NEW BEST:: SOT 9965638 SOS 5968444 HAS SOPS 4471032 HAS SOUS 408962 HAS SOUPS 379868 WITH SCORE 385836.444
AT ITER 3655 NEW BEST:: SOT 9965638 SOS 5968042 HAS SOPS 4470589 HAS SOUS 408895 HAS SOUPS 379782 WITH SCORE 385750.042
AT ITER 3667 NEW BEST:: SOT 9965638 SOS 5969356 HAS SOPS 4470883 HAS SOUS 408901 HAS SOUPS 379771 WITH SCORE 385740.356
AT ITER 3669 NEW BEST:: SOT 9965626 SOS 5969344 HAS SOPS 4470871 HAS SOUS 408791 HAS SOUPS 379661 WITH SCORE 385630.344
AT ITER 3676 NEW BEST:: SOT 9971824 SOS 5975542 HAS SOPS 4477069 HAS SOUS 408261 HAS SOUPS 379131 WITH SCORE 385106.542
AT ITER 3688 NEW BEST:: SOT 9971800 SOS 5975518 HAS SOPS 4477045 HAS SOUS 408257 HAS SOUPS 379127 WITH SCORE 385102.518
AT ITER 3689 NEW BEST:: SOT 9971800 SOS 5975422 HAS SOPS 4477051 HAS SOUS 408251 HAS SOUPS 379127 WITH SCORE 385102.422
AT ITER 3695 NEW BEST:: SOT 9973028 SOS 5976650 HAS SOPS 4478279 HAS SOUS 408191 HAS SOUPS 379067 WITH SCORE 385043.65
AT ITER 3703 NEW BEST:: SOT 9973028 SOS 5978214 HAS SOPS 4479865 HAS SOUS 408128 HAS SOUPS 379056 WITH SCORE 385034.214
AT ITER 3706 NEW BEST:: SOT 9973064 SOS 5978250 HAS SOPS 4479901 HAS SOUS 408084 HAS SOUPS 379012 WITH SCORE 384990.25
AT ITER 3707 NEW BEST:: SOT 9973064 SOS 5973510 HAS SOPS 4479375 HAS SOUS 407789 HAS SOUPS 379012 WITH SCORE 384985.51
AT ITER 3710 NEW BEST:: SOT 9975462 SOS 5975908 HAS SOPS 4481773 HAS SOUS 406319 HAS SOUPS 377542 WITH SCORE 383517.908
AT ITER 3711 NEW BEST:: SOT 9975462 SOS 5975800 HAS SOPS 4484113 HAS SOUS 405983 HAS SOUPS 377332 WITH SCORE 383307.8
AT ITER 3714 NEW BEST:: SOT 9973418 SOS 5988686 HAS SOPS 4496587 HAS SOUS 406169 HAS SOUPS 377294 WITH SCORE 383282.686
AT ITER 3723 NEW BEST:: SOT 9973418 SOS 5988680 HAS SOPS 4496581 HAS SOUS 406163 HAS SOUPS 377291 WITH SCORE 383279.68
AT ITER 3727 NEW BEST:: SOT 9973418 SOS 6000510 HAS SOPS 4496555 HAS SOUS 406176 HAS SOUPS 377278 WITH SCORE 383278.51
AT ITER 3753 NEW BEST:: SOT 9973418 SOS 5991942 HAS SOPS 4496555 HAS SOUS 406173 HAS SOUPS 377278 WITH SCORE 383269.942
AT ITER 3757 NEW BEST:: SOT 9973418 SOS 5992038 HAS SOPS 4496579 HAS SOUS 406155 HAS SOUPS 377257 WITH SCORE 383249.038
AT ITER 3773 NEW BEST:: SOT 9973418 SOS 5991334 HAS SOPS 4495875 HAS SOUS 405703 HAS SOUPS 376805 WITH SCORE 382796.334
AT ITER 3803 NEW BEST:: SOT 9973789 SOS 5991705 HAS SOPS 4496246 HAS SOUS 405462 HAS SOUPS 376564 WITH SCORE 382555.705
AT ITER 3834 NEW BEST:: SOT 9973789 SOS 5991705 HAS SOPS 4495598 HAS SOUS 405399 HAS SOUPS 376510 WITH SCORE 382501.705
AT ITER 3835 NEW BEST:: SOT 9973195 SOS 5999907 HAS SOPS 4490672 HAS SOUS 401669 HAS SOUPS 373098 WITH SCORE 379097.907
AT ITER 3843 NEW BEST:: SOT 9973195 SOS 5999893 HAS SOPS 4490672 HAS SOUS 401728 HAS SOUPS 373098 WITH SCORE 379097.893
AT ITER 3851 NEW BEST:: SOT 9973173 SOS 5999831 HAS SOPS 4490644 HAS SOUS 401700 HAS SOUPS 373087 WITH SCORE 379086.831
AT ITER 3862 NEW BEST:: SOT 9973909 SOS 6021053 HAS SOPS 4506652 HAS SOUS 401497 HAS SOUPS 373000 WITH SCORE 379021.053
AT ITER 3876 NEW BEST:: SOT 9973845 SOS 6020989 HAS SOPS 4506588 HAS SOUS 400902 HAS SOUPS 372405 WITH SCORE 378425.989
AT ITER 3892 NEW BEST:: SOT 9973845 SOS 6019347 HAS SOPS 4502172 HAS SOUS 401045 HAS SOUPS 372381 WITH SCORE 378400.347
AT ITER 3920 NEW BEST:: SOT 9973845 SOS 6012027 HAS SOPS 4502380 HAS SOUS 400976 HAS SOUPS 372352 WITH SCORE 378364.027
AT ITER 3926 NEW BEST:: SOT 9973775 SOS 6011957 HAS SOPS 4502310 HAS SOUS 400856 HAS SOUPS 372232 WITH SCORE 378243.957
AT ITER 3940 NEW BEST:: SOT 9979417 SOS 6016247 HAS SOPS 4509170 HAS SOUS 398209 HAS SOUPS 370020 WITH SCORE 376036.247
AT ITER 3951 NEW BEST:: SOT 9979325 SOS 6016121 HAS SOPS 4508664 HAS SOUS 397761 HAS SOUPS 369606 WITH SCORE 375622.121
AT ITER 3958 NEW BEST:: SOT 9979325 SOS 5986677 HAS SOPS 4508720 HAS SOUS 397744 HAS SOUPS 369617 WITH SCORE 375603.677
AT ITER 3963 NEW BEST:: SOT 9979285 SOS 5986637 HAS SOPS 4508680 HAS SOUS 397704 HAS SOUPS 369577 WITH SCORE 375563.637
AT ITER 3980 NEW BEST:: SOT 9986421 SOS 5993773 HAS SOPS 4515816 HAS SOUS 397624 HAS SOUPS 369497 WITH SCORE 375490.773
AT ITER 4001 NEW BEST:: SOT 9986424 SOS 5993776 HAS SOPS 4515819 HAS SOUS 397514 HAS SOUPS 369387 WITH SCORE 375380.776
AT ITER 4016 NEW BEST:: SOT 9986424 SOS 5993756 HAS SOPS 4515889 HAS SOUS 397509 HAS SOUPS 369387 WITH SCORE 375380.756
AT ITER 4027 NEW BEST:: SOT 9986920 SOS 5994252 HAS SOPS 4516385 HAS SOUS 396837 HAS SOUPS 368715 WITH SCORE 374709.252
AT ITER 4044 NEW BEST:: SOT 9986920 SOS 5993672 HAS SOPS 4516505 HAS SOUS 396831 HAS SOUPS 368701 WITH SCORE 374694.672
AT ITER 4045 NEW BEST:: SOT 9986897 SOS 5991421 HAS SOPS 4515738 HAS SOUS 396822 HAS SOUPS 368651 WITH SCORE 374642.421
AT ITER 4056 NEW BEST:: SOT 9987237 SOS 5991493 HAS SOPS 4515810 HAS SOUS 396816 HAS SOUPS 368645 WITH SCORE 374636.493
AT ITER 4082 NEW BEST:: SOT 9987237 SOS 5990627 HAS SOPS 4515804 HAS SOUS 396812 HAS SOUPS 368645 WITH SCORE 374635.627
AT ITER 4120 NEW BEST:: SOT 9987015 SOS 5990405 HAS SOPS 4515582 HAS SOUS 396579 HAS SOUPS 368412 WITH SCORE 374402.405
AT ITER 4127 NEW BEST:: SOT 9987015 SOS 5985151 HAS SOPS 4515640 HAS SOUS 396580 HAS SOUPS 368413 WITH SCORE 374398.151
AT ITER 4132 NEW BEST:: SOT 9987005 SOS 5989425 HAS SOPS 4516722 HAS SOUS 396889 HAS SOUPS 368373 WITH SCORE 374362.425
AT ITER 4169 NEW BEST:: SOT 9987005 SOS 5992185 HAS SOPS 4516602 HAS SOUS 396883 HAS SOUPS 368331 WITH SCORE 374323.185
AT ITER 4179 NEW BEST:: SOT 9987005 SOS 5992129 HAS SOPS 4516602 HAS SOUS 396883 HAS SOUPS 368331 WITH SCORE 374323.129
AT ITER 4187 NEW BEST:: SOT 9987005 SOS 5995405 HAS SOPS 4516014 HAS SOUS 396842 HAS SOUPS 368261 WITH SCORE 374256.405
AT ITER 4213 NEW BEST:: SOT 9987005 SOS 5996927 HAS SOPS 4517712 HAS SOUS 396796 HAS SOUPS 368165 WITH SCORE 374161.927
AT ITER 4219 NEW BEST:: SOT 9987005 SOS 5990147 HAS SOPS 4504036 HAS SOUS 396910 HAS SOUPS 368059 WITH SCORE 374049.147
AT ITER 4226 NEW BEST:: SOT 9987005 SOS 5989997 HAS SOPS 4503670 HAS SOUS 396907 HAS SOUPS 368056 WITH SCORE 374045.997
AT ITER 4239 NEW BEST:: SOT 9987005 SOS 5989629 HAS SOPS 4503302 HAS SOUS 396746 HAS SOUPS 367947 WITH SCORE 373936.629
AT ITER 4248 NEW BEST:: SOT 9986772 SOS 5990164 HAS SOPS 4501677 HAS SOUS 395771 HAS SOUPS 366972 WITH SCORE 372962.164
AT ITER 4257 NEW BEST:: SOT 9986772 SOS 5961652 HAS SOPS 4502109 HAS SOUS 395717 HAS SOUPS 366999 WITH SCORE 372960.652
AT ITER 4258 NEW BEST:: SOT 9986772 SOS 5987798 HAS SOPS 4502619 HAS SOUS 395753 HAS SOUPS 366949 WITH SCORE 372936.798
AT ITER 4267 NEW BEST:: SOT 9986652 SOS 5987678 HAS SOPS 4502499 HAS SOUS 395543 HAS SOUPS 366739 WITH SCORE 372726.678
AT ITER 4274 NEW BEST:: SOT 9986652 SOS 5978734 HAS SOPS 4499231 HAS SOUS 395457 HAS SOUPS 366696 WITH SCORE 372674.734
AT ITER 4295 NEW BEST:: SOT 9986652 SOS 5979086 HAS SOPS 4499219 HAS SOUS 395484 HAS SOUPS 366695 WITH SCORE 372674.086
AT ITER 4297 NEW BEST:: SOT 9986652 SOS 5974650 HAS SOPS 4494291 HAS SOUS 395530 HAS SOUPS 366682 WITH SCORE 372656.65
AT ITER 4298 NEW BEST:: SOT 9986652 SOS 5977050 HAS SOPS 4494139 HAS SOUS 395512 HAS SOUPS 366662 WITH SCORE 372639.05
AT ITER 4320 NEW BEST:: SOT 9990482 SOS 5980880 HAS SOPS 4497969 HAS SOUS 392636 HAS SOUPS 363786 WITH SCORE 369766.88
AT ITER 4329 NEW BEST:: SOT 9990482 SOS 5980805 HAS SOPS 4497966 HAS SOUS 392630 HAS SOUPS 363783 WITH SCORE 369763.805
AT ITER 4336 NEW BEST:: SOT 9990482 SOS 5970245 HAS SOPS 4497966 HAS SOUS 392539 HAS SOUPS 363783 WITH SCORE 369753.245
AT ITER 4341 NEW BEST:: SOT 9990482 SOS 5970193 HAS SOPS 4497958 HAS SOUS 392538 HAS SOUPS 363782 WITH SCORE 369752.193
AT ITER 4342 NEW BEST:: SOT 9990482 SOS 6003457 HAS SOPS 4497638 HAS SOUS 392560 HAS SOUPS 363742 WITH SCORE 369745.457
AT ITER 4350 NEW BEST:: SOT 9990482 SOS 6006401 HAS SOPS 4498974 HAS SOUS 392416 HAS SOUPS 363498 WITH SCORE 369504.401
AT ITER 4354 NEW BEST:: SOT 9990482 SOS 6006401 HAS SOPS 4498034 HAS SOUS 391996 HAS SOUPS 363038 WITH SCORE 369044.401
AT ITER 4368 NEW BEST:: SOT 9990200 SOS 6006357 HAS SOPS 4497766 HAS SOUS 391221 HAS SOUPS 362298 WITH SCORE 368304.357
AT ITER 4381 NEW BEST:: SOT 9989808 SOS 6006031 HAS SOPS 4496342 HAS SOUS 390554 HAS SOUPS 361631 WITH SCORE 367637.031
AT ITER 4395 NEW BEST:: SOT 9989458 SOS 6005681 HAS SOPS 4495992 HAS SOUS 390297 HAS SOUPS 361374 WITH SCORE 367379.681
AT ITER 4398 NEW BEST:: SOT 9989458 SOS 5997419 HAS SOPS 4481072 HAS SOUS 389582 HAS SOUPS 361051 WITH SCORE 367048.419
AT ITER 4412 NEW BEST:: SOT 9989458 SOS 5993623 HAS SOPS 4476916 HAS SOUS 389579 HAS SOUPS 361054 WITH SCORE 367047.623
AT ITER 4413 NEW BEST:: SOT 9989458 SOS 6039671 HAS SOPS 4476916 HAS SOUS 389729 HAS SOUPS 360992 WITH SCORE 367031.671
AT ITER 4415 NEW BEST:: SOT 9989458 SOS 6039535 HAS SOPS 4476900 HAS SOUS 389685 HAS SOUPS 360992 WITH SCORE 367031.535
AT ITER 4424 NEW BEST:: SOT 9989458 SOS 5838383 HAS SOPS 4244612 HAS SOUS 389446 HAS SOUPS 361186 WITH SCORE 367024.383
AT ITER 4425 NEW BEST:: SOT 9992884 SOS 5841809 HAS SOPS 4248038 HAS SOUS 388381 HAS SOUPS 360121 WITH SCORE 365962.809
AT ITER 4430 NEW BEST:: SOT 9994516 SOS 5843441 HAS SOPS 4249670 HAS SOUS 385065 HAS SOUPS 356805 WITH SCORE 362648.441
AT ITER 4432 NEW BEST:: SOT 9993770 SOS 5842695 HAS SOPS 4248924 HAS SOUS 384572 HAS SOUPS 356312 WITH SCORE 362154.695
AT ITER 4436 NEW BEST:: SOT 9993770 SOS 5843171 HAS SOPS 4246968 HAS SOUS 384526 HAS SOUPS 356285 WITH SCORE 362128.171
AT ITER 4455 NEW BEST:: SOT 9993890 SOS 5843291 HAS SOPS 4247088 HAS SOUS 384328 HAS SOUPS 356087 WITH SCORE 361930.291
AT ITER 4457 NEW BEST:: SOT 9993890 SOS 5841887 HAS SOPS 4246804 HAS SOUS 384237 HAS SOUPS 356034 WITH SCORE 361875.887
AT ITER 4474 NEW BEST:: SOT 9993890 SOS 5840604 HAS SOPS 4244724 HAS SOUS 384250 HAS SOUPS 355986 WITH SCORE 361826.604
AT ITER 4489 NEW BEST:: SOT 9993790 SOS 5840504 HAS SOPS 4244624 HAS SOUS 382810 HAS SOUPS 354546 WITH SCORE 360386.504
AT ITER 4510 NEW BEST:: SOT 9993790 SOS 5839668 HAS SOPS 4242690 HAS SOUS 381880 HAS SOUPS 354009 WITH SCORE 359848.668
AT ITER 4577 NEW BEST:: SOT 9993790 SOS 5837536 HAS SOPS 4242666 HAS SOUS 381873 HAS SOUPS 354003 WITH SCORE 359840.536
AT ITER 4583 NEW BEST:: SOT 9992974 SOS 5836720 HAS SOPS 4241850 HAS SOUS 381442 HAS SOUPS 353572 WITH SCORE 359408.72
AT ITER 4592 NEW BEST:: SOT 9992974 SOS 5836688 HAS SOPS 4241846 HAS SOUS 381432 HAS SOUPS 353572 WITH SCORE 359408.688
AT ITER 4613 NEW BEST:: SOT 9990990 SOS 5834704 HAS SOPS 4239862 HAS SOUS 379148 HAS SOUPS 351288 WITH SCORE 357122.704
AT ITER 4620 NEW BEST:: SOT 9990990 SOS 5824728 HAS SOPS 4239470 HAS SOUS 379063 HAS SOUPS 351288 WITH SCORE 357112.728
AT ITER 4622 NEW BEST:: SOT 9991030 SOS 5824755 HAS SOPS 4240012 HAS SOUS 378929 HAS SOUPS 351259 WITH SCORE 357083.755
AT ITER 4639 NEW BEST:: SOT 9991029 SOS 5824743 HAS SOPS 4240000 HAS SOUS 378917 HAS SOUPS 351247 WITH SCORE 357071.743
AT ITER 4646 NEW BEST:: SOT 9991029 SOS 5825652 HAS SOPS 4229701 HAS SOUS 379780 HAS SOUPS 351005 WITH SCORE 356830.652
AT ITER 4652 NEW BEST:: SOT 9991029 SOS 5830416 HAS SOPS 4229665 HAS SOUS 379771 HAS SOUPS 350996 WITH SCORE 356826.416
AT ITER 4655 NEW BEST:: SOT 9990595 SOS 5829982 HAS SOPS 4229231 HAS SOUS 379414 HAS SOUPS 350639 WITH SCORE 356468.982
AT ITER 4683 NEW BEST:: SOT 9990969 SOS 5830286 HAS SOPS 4230165 HAS SOUS 379346 HAS SOUPS 350581 WITH SCORE 356411.286
AT ITER 4686 NEW BEST:: SOT 9990969 SOS 5832862 HAS SOPS 4230029 HAS SOUS 379375 HAS SOUPS 350445 WITH SCORE 356277.862
AT ITER 4691 NEW BEST:: SOT 9990969 SOS 5842558 HAS SOPS 4228777 HAS SOUS 379258 HAS SOUPS 350009 WITH SCORE 355851.558
AT ITER 4710 NEW BEST:: SOT 9991115 SOS 5842704 HAS SOPS 4228923 HAS SOUS 378940 HAS SOUPS 349691 WITH SCORE 355533.704
AT ITER 4735 NEW BEST:: SOT 9991115 SOS 5842508 HAS SOPS 4228279 HAS SOUS 378900 HAS SOUPS 349691 WITH SCORE 355533.508
AT ITER 4737 NEW BEST:: SOT 9991115 SOS 5850076 HAS SOPS 4228267 HAS SOUS 378880 HAS SOUPS 349682 WITH SCORE 355532.076
AT ITER 4738 NEW BEST:: SOT 9990669 SOS 5849388 HAS SOPS 4227919 HAS SOUS 378824 HAS SOUPS 349574 WITH SCORE 355423.388
AT ITER 4767 NEW BEST:: SOT 9992517 SOS 5851236 HAS SOPS 4229767 HAS SOUS 378416 HAS SOUPS 349166 WITH SCORE 355017.236
AT ITER 4771 NEW BEST:: SOT 9992517 SOS 5851202 HAS SOPS 4229731 HAS SOUS 378417 HAS SOUPS 349166 WITH SCORE 355017.202
AT ITER 4780 NEW BEST:: SOT 9992494 SOS 5851179 HAS SOPS 4229708 HAS SOUS 378394 HAS SOUPS 349143 WITH SCORE 354994.179
AT ITER 4789 NEW BEST:: SOT 9992520 SOS 5840077 HAS SOPS 4229734 HAS SOUS 378310 HAS SOUPS 349048 WITH SCORE 354888.077
AT ITER 4794 NEW BEST:: SOT 9992520 SOS 5835005 HAS SOPS 4228550 HAS SOUS 378060 HAS SOUPS 349046 WITH SCORE 354881.005
AT ITER 4798 NEW BEST:: SOT 9992520 SOS 5834993 HAS SOPS 4228550 HAS SOUS 378054 HAS SOUPS 349046 WITH SCORE 354880.993
AT ITER 4803 NEW BEST:: SOT 9992846 SOS 5835319 HAS SOPS 4228876 HAS SOUS 377824 HAS SOUPS 348816 WITH SCORE 354651.319
AT ITER 4822 NEW BEST:: SOT 9992846 SOS 5833432 HAS SOPS 4228932 HAS SOUS 377376 HAS SOUPS 348716 WITH SCORE 354549.432
AT ITER 4825 NEW BEST:: SOT 9992822 SOS 5833408 HAS SOPS 4228908 HAS SOUS 377304 HAS SOUPS 348644 WITH SCORE 354477.408
AT ITER 4833 NEW BEST:: SOT 9991567 SOS 5832201 HAS SOPS 4258709 HAS SOUS 376933 HAS SOUPS 348213 WITH SCORE 354045.201
AT ITER 4844 NEW BEST:: SOT 9991566 SOS 5832185 HAS SOPS 4258693 HAS SOUS 376933 HAS SOUPS 348213 WITH SCORE 354045.185
AT ITER 4858 NEW BEST:: SOT 9991542 SOS 5832161 HAS SOPS 4258669 HAS SOUS 376933 HAS SOUPS 348213 WITH SCORE 354045.161
AT ITER 4872 NEW BEST:: SOT 9991692 SOS 5832311 HAS SOPS 4258819 HAS SOUS 376897 HAS SOUPS 348177 WITH SCORE 354009.311
AT ITER 4899 NEW BEST:: SOT 9991692 SOS 5832055 HAS SOPS 4258851 HAS SOUS 376833 HAS SOUPS 348177 WITH SCORE 354009.055
AT ITER 4903 NEW BEST:: SOT 9991692 SOS 5832221 HAS SOPS 4259017 HAS SOUS 376747 HAS SOUPS 348091 WITH SCORE 353923.221
AT ITER 4926 NEW BEST:: SOT 9991692 SOS 5830229 HAS SOPS 4258693 HAS SOUS 376660 HAS SOUPS 348040 WITH SCORE 353870.229
AT ITER 4928 NEW BEST:: SOT 9991692 SOS 5830199 HAS SOPS 4258663 HAS SOUS 376640 HAS SOUPS 348005 WITH SCORE 353835.199
AT ITER 4932 NEW BEST:: SOT 9991480 SOS 5829987 HAS SOPS 4258451 HAS SOUS 376468 HAS SOUPS 347833 WITH SCORE 353662.987
AT ITER 4963 NEW BEST:: SOT 9991480 SOS 5830037 HAS SOPS 4258435 HAS SOUS 376456 HAS SOUPS 347827 WITH SCORE 353657.037
AT ITER 4966 NEW BEST:: SOT 9990700 SOS 5829097 HAS SOPS 4257887 HAS SOUS 375678 HAS SOUPS 347273 WITH SCORE 353102.097
AT ITER 4977 NEW BEST:: SOT 9990700 SOS 5833437 HAS SOPS 4262227 HAS SOUS 375648 HAS SOUPS 347243 WITH SCORE 353076.437
AT ITER 4994 NEW BEST:: SOT 9990712 SOS 5832653 HAS SOPS 4260849 HAS SOUS 375442 HAS SOUPS 347110 WITH SCORE 352942.653
AT ITER 4997 NEW BEST:: SOT 9990712 SOS 5832895 HAS SOPS 4260427 HAS SOUS 375741 HAS SOUPS 347093 WITH SCORE 352925.895
AT ITER 5030 NEW BEST:: SOT 9990712 SOS 5830117 HAS SOPS 4258025 HAS SOUS 375476 HAS SOUPS 347018 WITH SCORE 352848.117
AT ITER 5065 NEW BEST:: SOT 9990616 SOS 5830309 HAS SOPS 4258125 HAS SOUS 375430 HAS SOUPS 346972 WITH SCORE 352802.309
AT ITER 5079 NEW BEST:: SOT 9990616 SOS 5827567 HAS SOPS 4258025 HAS SOUS 375011 HAS SOUPS 346922 WITH SCORE 352749.567
AT ITER 5086 NEW BEST:: SOT 9990616 SOS 5881037 HAS SOPS 4248231 HAS SOUS 374988 HAS SOUPS 346840 WITH SCORE 352721.037
AT ITER 5090 NEW BEST:: SOT 9983496 SOS 5873917 HAS SOPS 4241111 HAS SOUS 374441 HAS SOUPS 346293 WITH SCORE 352166.917
AT ITER 5091 NEW BEST:: SOT 9983496 SOS 5883463 HAS SOPS 4245983 HAS SOUS 374224 HAS SOUPS 346133 WITH SCORE 352016.463
AT ITER 5096 NEW BEST:: SOT 9983496 SOS 5898571 HAS SOPS 4240523 HAS SOUS 374195 HAS SOUPS 346042 WITH SCORE 351940.571
AT ITER 5097 NEW BEST:: SOT 9983496 SOS 5899909 HAS SOPS 4239281 HAS SOUS 374183 HAS SOUPS 345997 WITH SCORE 351896.909
AT ITER 5113 NEW BEST:: SOT 9983496 SOS 5897205 HAS SOPS 4237457 HAS SOUS 374163 HAS SOUPS 345997 WITH SCORE 351894.205
AT ITER 5121 NEW BEST:: SOT 9983496 SOS 5897121 HAS SOPS 4236549 HAS SOUS 373933 HAS SOUPS 345803 WITH SCORE 351700.121
AT ITER 5125 NEW BEST:: SOT 9983082 SOS 5896707 HAS SOPS 4236135 HAS SOUS 372262 HAS SOUPS 344132 WITH SCORE 350028.707
AT ITER 5131 NEW BEST:: SOT 9971506 SOS 5885131 HAS SOPS 4224559 HAS SOUS 365230 HAS SOUPS 337100 WITH SCORE 342985.131
AT ITER 5149 NEW BEST:: SOT 9971506 SOS 5885091 HAS SOPS 4224559 HAS SOUS 365252 HAS SOUPS 337100 WITH SCORE 342985.091
AT ITER 5175 NEW BEST:: SOT 9971506 SOS 5882631 HAS SOPS 4224277 HAS SOUS 365056 HAS SOUPS 337100 WITH SCORE 342982.631
AT ITER 5185 NEW BEST:: SOT 9971506 SOS 5881875 HAS SOPS 4224401 HAS SOUS 364947 HAS SOUPS 337100 WITH SCORE 342981.875
AT ITER 5195 NEW BEST:: SOT 9971506 SOS 5945021 HAS SOPS 4296899 HAS SOUS 364798 HAS SOUPS 336992 WITH SCORE 342937.021
AT ITER 5207 NEW BEST:: SOT 9969274 SOS 5942789 HAS SOPS 4294667 HAS SOUS 364176 HAS SOUPS 336370 WITH SCORE 342312.789
AT ITER 5215 NEW BEST:: SOT 9976004 SOS 5949519 HAS SOPS 4301397 HAS SOUS 363676 HAS SOUPS 335870 WITH SCORE 341819.519
AT ITER 5230 NEW BEST:: SOT 9976004 SOS 5949519 HAS SOPS 4300417 HAS SOUS 363851 HAS SOUPS 335835 WITH SCORE 341784.519
AT ITER 5234 NEW BEST:: SOT 9975924 SOS 5949793 HAS SOPS 4301033 HAS SOUS 363793 HAS SOUPS 335750 WITH SCORE 341699.793
AT ITER 5237 NEW BEST:: SOT 9975924 SOS 5948063 HAS SOPS 4299451 HAS SOUS 363458 HAS SOUPS 335340 WITH SCORE 341288.063
AT ITER 5285 NEW BEST:: SOT 9968768 SOS 5940907 HAS SOPS 4292295 HAS SOUS 361528 HAS SOUPS 333410 WITH SCORE 339350.907
AT ITER 5297 NEW BEST:: SOT 9968768 SOS 5939555 HAS SOPS 4291119 HAS SOUS 361458 HAS SOUPS 333400 WITH SCORE 339339.555
AT ITER 5307 NEW BEST:: SOT 9968913 SOS 5939186 HAS SOPS 4290382 HAS SOUS 361202 HAS SOUPS 333152 WITH SCORE 339091.186
AT ITER 5329 NEW BEST:: SOT 9968913 SOS 5978162 HAS SOPS 4281978 HAS SOUS 361071 HAS SOUPS 333078 WITH SCORE 339056.162
AT ITER 5370 NEW BEST:: SOT 9968913 SOS 5978532 HAS SOPS 4276448 HAS SOUS 361191 HAS SOUPS 333008 WITH SCORE 338986.532
AT ITER 5405 NEW BEST:: SOT 9968913 SOS 5983562 HAS SOPS 4276430 HAS SOUS 361302 HAS SOUPS 332898 WITH SCORE 338881.562
AT ITER 5425 NEW BEST:: SOT 9968913 SOS 5982086 HAS SOPS 4276430 HAS SOUS 361141 HAS SOUPS 332845 WITH SCORE 338827.086
AT ITER 5431 NEW BEST:: SOT 9968885 SOS 5982058 HAS SOPS 4276402 HAS SOUS 360829 HAS SOUPS 332533 WITH SCORE 338515.058
AT ITER 5432 NEW BEST:: SOT 9968885 SOS 5981974 HAS SOPS 4276284 HAS SOUS 360474 HAS SOUPS 332262 WITH SCORE 338243.974
AT ITER 5452 NEW BEST:: SOT 9968885 SOS 5981870 HAS SOPS 4276258 HAS SOUS 360448 HAS SOUPS 332262 WITH SCORE 338243.87
AT ITER 5453 NEW BEST:: SOT 9968885 SOS 5981848 HAS SOPS 4276238 HAS SOUS 360455 HAS SOUPS 332252 WITH SCORE 338233.848
AT ITER 5483 NEW BEST:: SOT 9968885 SOS 5980120 HAS SOPS 4276992 HAS SOUS 360316 HAS SOUPS 332204 WITH SCORE 338184.12
AT ITER 5490 NEW BEST:: SOT 9968885 SOS 5967824 HAS SOPS 4277224 HAS SOUS 360258 HAS SOUPS 332146 WITH SCORE 338113.824
AT ITER 5516 NEW BEST:: SOT 9968885 SOS 5967936 HAS SOPS 4277496 HAS SOUS 360258 HAS SOUPS 332131 WITH SCORE 338098.936
AT ITER 5520 NEW BEST:: SOT 9968885 SOS 5968152 HAS SOPS 4276848 HAS SOUS 360216 HAS SOUPS 332089 WITH SCORE 338057.152
AT ITER 5554 NEW BEST:: SOT 9968885 SOS 5971130 HAS SOPS 4279326 HAS SOUS 360203 HAS SOUPS 332077 WITH SCORE 338048.13
AT ITER 5567 NEW BEST:: SOT 9968885 SOS 5971130 HAS SOPS 4279272 HAS SOUS 360176 HAS SOUPS 332050 WITH SCORE 338021.13
AT ITER 5580 NEW BEST:: SOT 9968875 SOS 5970340 HAS SOPS 4279202 HAS SOUS 360166 HAS SOUPS 332050 WITH SCORE 338020.34
AT ITER 5620 NEW BEST:: SOT 9968875 SOS 5974300 HAS SOPS 4279122 HAS SOUS 360166 HAS SOUPS 332040 WITH SCORE 338014.3
AT ITER 5642 NEW BEST:: SOT 9968875 SOS 5970432 HAS SOPS 4278822 HAS SOUS 359954 HAS SOUPS 332040 WITH SCORE 338010.432
AT ITER 5663 NEW BEST:: SOT 9971159 SOS 5972716 HAS SOPS 4281106 HAS SOUS 359454 HAS SOUPS 331540 WITH SCORE 337512.716
AT ITER 5667 NEW BEST:: SOT 9971177 SOS 5962057 HAS SOPS 4280378 HAS SOUS 359033 HAS SOUPS 331232 WITH SCORE 337194.057
AT ITER 5672 NEW BEST:: SOT 9970977 SOS 5961497 HAS SOPS 4277748 HAS SOUS 358854 HAS SOUPS 331053 WITH SCORE 337014.497
AT ITER 5733 NEW BEST:: SOT 9968763 SOS 5959283 HAS SOPS 4275534 HAS SOUS 357828 HAS SOUPS 330027 WITH SCORE 335986.283
AT ITER 5739 NEW BEST:: SOT 9968763 SOS 5961479 HAS SOPS 4275490 HAS SOUS 357868 HAS SOUPS 330005 WITH SCORE 335966.479
AT ITER 5777 NEW BEST:: SOT 9968751 SOS 5960891 HAS SOPS 4274902 HAS SOUS 357832 HAS SOUPS 329993 WITH SCORE 335953.891
AT ITER 5785 NEW BEST:: SOT 9968927 SOS 5958665 HAS SOPS 4275308 HAS SOUS 357481 HAS SOUPS 329737 WITH SCORE 335695.665
AT ITER 5786 NEW BEST:: SOT 9968927 SOS 5951697 HAS SOPS 4268084 HAS SOUS 357515 HAS SOUPS 329743 WITH SCORE 335694.697
AT ITER 5825 NEW BEST:: SOT 9968927 SOS 5950565 HAS SOPS 4268092 HAS SOUS 357523 HAS SOUPS 329743 WITH SCORE 335693.565
AT ITER 5845 NEW BEST:: SOT 9968927 SOS 5951701 HAS SOPS 4268028 HAS SOUS 357503 HAS SOUPS 329730 WITH SCORE 335681.701
AT ITER 5847 NEW BEST:: SOT 9968927 SOS 5951675 HAS SOPS 4268002 HAS SOUS 357490 HAS SOUPS 329717 WITH SCORE 335668.675
AT ITER 5866 NEW BEST:: SOT 9967895 SOS 5950643 HAS SOPS 4266970 HAS SOUS 357386 HAS SOUPS 329613 WITH SCORE 335563.643
AT ITER 5903 NEW BEST:: SOT 9967895 SOS 5950607 HAS SOPS 4266964 HAS SOUS 357368 HAS SOUPS 329610 WITH SCORE 335560.607
AT ITER 5911 NEW BEST:: SOT 9967895 SOS 5950607 HAS SOPS 4266964 HAS SOUS 357359 HAS SOUPS 329604 WITH SCORE 335554.607
AT ITER 5912 NEW BEST:: SOT 9967895 SOS 5859511 HAS SOPS 4270244 HAS SOUS 357291 HAS SOUPS 329685 WITH SCORE 335544.511
AT ITER 5920 NEW BEST:: SOT 9967857 SOS 5862515 HAS SOPS 4269250 HAS SOUS 357372 HAS SOUPS 329658 WITH SCORE 335520.515
AT ITER 5927 NEW BEST:: SOT 9968357 SOS 5863015 HAS SOPS 4269750 HAS SOUS 357139 HAS SOUPS 329425 WITH SCORE 335288.015
AT ITER 5933 NEW BEST:: SOT 9968357 SOS 5872431 HAS SOPS 4269770 HAS SOUS 357112 HAS SOUPS 329414 WITH SCORE 335286.431
AT ITER 5950 NEW BEST:: SOT 9968357 SOS 5852839 HAS SOPS 4269770 HAS SOUS 356879 HAS SOUPS 329393 WITH SCORE 335245.839
AT ITER 5964 NEW BEST:: SOT 9968258 SOS 5852740 HAS SOPS 4269671 HAS SOUS 356684 HAS SOUPS 329198 WITH SCORE 335050.74
AT ITER 5990 NEW BEST:: SOT 9968258 SOS 5852740 HAS SOPS 4269191 HAS SOUS 356690 HAS SOUPS 329154 WITH SCORE 335006.74
AT ITER 5996 NEW BEST:: SOT 9968315 SOS 5852701 HAS SOPS 4268948 HAS SOUS 356741 HAS SOUPS 329154 WITH SCORE 335006.701
AT ITER 6003 NEW BEST:: SOT 10001929 SOS 5886315 HAS SOPS 4302562 HAS SOUS 355657 HAS SOUPS 328070 WITH SCORE 333956.315
AT ITER 6044 NEW BEST:: SOT 10003009 SOS 5887395 HAS SOPS 4303642 HAS SOUS 355502 HAS SOUPS 327915 WITH SCORE 333802.395
AT ITER 6050 NEW BEST:: SOT 10002759 SOS 5887145 HAS SOPS 4303392 HAS SOUS 355391 HAS SOUPS 327804 WITH SCORE 333691.145
AT ITER 6054 NEW BEST:: SOT 10002759 SOS 5887939 HAS SOPS 4304486 HAS SOUS 355281 HAS SOUPS 327752 WITH SCORE 333639.939
AT ITER 6057 NEW BEST:: SOT 10002951 SOS 5866183 HAS SOPS 4303338 HAS SOUS 355121 HAS SOUPS 327674 WITH SCORE 333540.183
AT ITER 6060 NEW BEST:: SOT 10002937 SOS 5866113 HAS SOPS 4303268 HAS SOUS 355093 HAS SOUPS 327646 WITH SCORE 333512.113
AT ITER 6061 NEW BEST:: SOT 10002937 SOS 5868239 HAS SOPS 4302850 HAS SOUS 355042 HAS SOUPS 327631 WITH SCORE 333499.239
AT ITER 6063 NEW BEST:: SOT 10003837 SOS 5869139 HAS SOPS 4303750 HAS SOUS 353684 HAS SOUPS 326273 WITH SCORE 332142.139
AT ITER 6076 NEW BEST:: SOT 10003837 SOS 5869123 HAS SOPS 4303712 HAS SOUS 353660 HAS SOUPS 326254 WITH SCORE 332123.123
AT ITER 6092 NEW BEST:: SOT 10003861 SOS 5869147 HAS SOPS 4303736 HAS SOUS 353628 HAS SOUPS 326222 WITH SCORE 332091.147
AT ITER 6099 NEW BEST:: SOT 10003861 SOS 5915859 HAS SOPS 4301988 HAS SOUS 353549 HAS SOUPS 326065 WITH SCORE 331980.859
AT ITER 6127 NEW BEST:: SOT 10003861 SOS 5915883 HAS SOPS 4301976 HAS SOUS 353543 HAS SOUPS 326059 WITH SCORE 331974.883
AT ITER 6144 NEW BEST:: SOT 10003645 SOS 5915667 HAS SOPS 4301760 HAS SOUS 353543 HAS SOUPS 326059 WITH SCORE 331974.667
AT ITER 6167 NEW BEST:: SOT 10004141 SOS 5916163 HAS SOPS 4302256 HAS SOUS 353051 HAS SOUPS 325567 WITH SCORE 331483.163
AT ITER 6169 NEW BEST:: SOT 10004141 SOS 5915923 HAS SOPS 4302408 HAS SOUS 353045 HAS SOUPS 325567 WITH SCORE 331482.923
AT ITER 6181 NEW BEST:: SOT 10004141 SOS 5916111 HAS SOPS 4302400 HAS SOUS 353032 HAS SOUPS 325558 WITH SCORE 331474.111
AT ITER 6205 NEW BEST:: SOT 10004141 SOS 5914751 HAS SOPS 4302666 HAS SOUS 352283 HAS SOUPS 325504 WITH SCORE 331418.751
AT ITER 6224 NEW BEST:: SOT 10004085 SOS 5914695 HAS SOPS 4302610 HAS SOUS 352259 HAS SOUPS 325480 WITH SCORE 331394.695
AT ITER 6227 NEW BEST:: SOT 10003671 SOS 5914281 HAS SOPS 4302196 HAS SOUS 351060 HAS SOUPS 324281 WITH SCORE 330195.281
AT ITER 6234 NEW BEST:: SOT 10003671 SOS 5930977 HAS SOPS 4302068 HAS SOUS 350736 HAS SOUPS 324249 WITH SCORE 330179.977
AT ITER 6240 NEW BEST:: SOT 10005175 SOS 5932481 HAS SOPS 4303572 HAS SOUS 349802 HAS SOUPS 323315 WITH SCORE 329247.481
AT ITER 6265 NEW BEST:: SOT 10005175 SOS 5922845 HAS SOPS 4295896 HAS SOUS 349769 HAS SOUPS 323248 WITH SCORE 329170.845
AT ITER 6286 NEW BEST:: SOT 10011727 SOS 5929397 HAS SOPS 4302448 HAS SOUS 348909 HAS SOUPS 322388 WITH SCORE 328317.397
AT ITER 6297 NEW BEST:: SOT 10011727 SOS 5927957 HAS SOPS 4299472 HAS SOUS 348981 HAS SOUPS 322388 WITH SCORE 328315.957
AT ITER 6301 NEW BEST:: SOT 10011084 SOS 5927314 HAS SOPS 4298829 HAS SOUS 347862 HAS SOUPS 321269 WITH SCORE 327196.314
AT ITER 6306 NEW BEST:: SOT 10011084 SOS 5914246 HAS SOPS 4298785 HAS SOUS 347840 HAS SOUPS 321269 WITH SCORE 327183.246
AT ITER 6308 NEW BEST:: SOT 10010858 SOS 5913422 HAS SOPS 4298495 HAS SOUS 347784 HAS SOUPS 321213 WITH SCORE 327126.422
AT ITER 6341 NEW BEST:: SOT 10010858 SOS 5908854 HAS SOPS 4298503 HAS SOUS 347770 HAS SOUPS 321217 WITH SCORE 327125.854
AT ITER 6345 NEW BEST:: SOT 10010978 SOS 5908974 HAS SOPS 4298623 HAS SOUS 347626 HAS SOUPS 321073 WITH SCORE 326981.974
AT ITER 6357 NEW BEST:: SOT 10010978 SOS 5908920 HAS SOPS 4298585 HAS SOUS 347607 HAS SOUPS 321054 WITH SCORE 326962.92
AT ITER 6365 NEW BEST:: SOT 10010988 SOS 5908919 HAS SOPS 4298584 HAS SOUS 347606 HAS SOUPS 321053 WITH SCORE 326961.919
AT ITER 6376 NEW BEST:: SOT 10010988 SOS 5907273 HAS SOPS 4298540 HAS SOUS 347503 HAS SOUPS 321001 WITH SCORE 326908.273
AT ITER 6397 NEW BEST:: SOT 10010988 SOS 5972765 HAS SOPS 4369192 HAS SOUS 347508 HAS SOUPS 320933 WITH SCORE 326905.765
AT ITER 6408 NEW BEST:: SOT 10010988 SOS 5981437 HAS SOPS 4369182 HAS SOUS 347406 HAS SOUPS 320859 WITH SCORE 326840.437
AT ITER 6418 NEW BEST:: SOT 10010988 SOS 5980961 HAS SOPS 4367750 HAS SOUS 347451 HAS SOUPS 320844 WITH SCORE 326824.961
AT ITER 6445 NEW BEST:: SOT 10010988 SOS 5980303 HAS SOPS 4367410 HAS SOUS 347394 HAS SOUPS 320844 WITH SCORE 326824.303
AT ITER 6461 NEW BEST:: SOT 10010988 SOS 5980581 HAS SOPS 4365376 HAS SOUS 347351 HAS SOUPS 320810 WITH SCORE 326790.581
AT ITER 6496 NEW BEST:: SOT 10010988 SOS 5981013 HAS SOPS 4365016 HAS SOUS 347345 HAS SOUPS 320798 WITH SCORE 326779.013
AT ITER 6516 NEW BEST:: SOT 10010436 SOS 5980461 HAS SOPS 4364464 HAS SOUS 347287 HAS SOUPS 320740 WITH SCORE 326720.461
AT ITER 6539 NEW BEST:: SOT 10010436 SOS 5980369 HAS SOPS 4364450 HAS SOUS 347241 HAS SOUPS 320733 WITH SCORE 326713.369
AT ITER 6543 NEW BEST:: SOT 10000026 SOS 5969959 HAS SOPS 4354040 HAS SOUS 346736 HAS SOUPS 320228 WITH SCORE 326197.959
AT ITER 6548 NEW BEST:: SOT 10000026 SOS 5971051 HAS SOPS 4355748 HAS SOUS 346708 HAS SOUPS 320200 WITH SCORE 326171.051
AT ITER 6556 NEW BEST:: SOT 10000026 SOS 5977167 HAS SOPS 4356888 HAS SOUS 346866 HAS SOUPS 320164 WITH SCORE 326141.167
AT ITER 6558 NEW BEST:: SOT 10000034 SOS 5977175 HAS SOPS 4356896 HAS SOUS 346858 HAS SOUPS 320156 WITH SCORE 326133.175
AT ITER 6573 NEW BEST:: SOT 10000970 SOS 5977465 HAS SOPS 4334418 HAS SOUS 346635 HAS SOUPS 320023 WITH SCORE 326000.465
AT ITER 6578 NEW BEST:: SOT 10000970 SOS 5982205 HAS SOPS 4330578 HAS SOUS 346853 HAS SOUPS 319979 WITH SCORE 325961.205
AT ITER 6602 NEW BEST:: SOT 10000972 SOS 5982207 HAS SOPS 4330580 HAS SOUS 346849 HAS SOUPS 319975 WITH SCORE 325957.207
AT ITER 6609 NEW BEST:: SOT 10001368 SOS 5982603 HAS SOPS 4330976 HAS SOUS 346821 HAS SOUPS 319947 WITH SCORE 325929.603
AT ITER 6651 NEW BEST:: SOT 10001340 SOS 5982575 HAS SOPS 4330948 HAS SOUS 346795 HAS SOUPS 319921 WITH SCORE 325903.575
AT ITER 6671 NEW BEST:: SOT 10001340 SOS 5980351 HAS SOPS 4330468 HAS SOUS 346751 HAS SOUPS 319921 WITH SCORE 325901.351
AT ITER 6677 NEW BEST:: SOT 10001940 SOS 5980951 HAS SOPS 4331068 HAS SOUS 346491 HAS SOUPS 319661 WITH SCORE 325641.951
AT ITER 6679 NEW BEST:: SOT 10001572 SOS 5980583 HAS SOPS 4330700 HAS SOUS 346423 HAS SOUPS 319593 WITH SCORE 325573.583
AT ITER 6683 NEW BEST:: SOT 10001572 SOS 5981951 HAS SOPS 4330372 HAS SOUS 346483 HAS SOUPS 319568 WITH SCORE 325549.951
AT ITER 6694 NEW BEST:: SOT 10002292 SOS 5982671 HAS SOPS 4331092 HAS SOUS 346371 HAS SOUPS 319456 WITH SCORE 325438.671
AT ITER 6706 NEW BEST:: SOT 10002292 SOS 5979911 HAS SOPS 4328864 HAS SOUS 346159 HAS SOUPS 319308 WITH SCORE 325287.911
AT ITER 6710 NEW BEST:: SOT 10002292 SOS 5979805 HAS SOPS 4329198 HAS SOUS 345844 HAS SOUPS 319131 WITH SCORE 325110.805
AT ITER 6721 NEW BEST:: SOT 10002292 SOS 5979661 HAS SOPS 4327750 HAS SOUS 345823 HAS SOUPS 319103 WITH SCORE 325082.661
AT ITER 6734 NEW BEST:: SOT 10002292 SOS 5974981 HAS SOPS 4327750 HAS SOUS 345763 HAS SOUPS 319103 WITH SCORE 325077.981
AT ITER 6735 NEW BEST:: SOT 10002292 SOS 5974845 HAS SOPS 4327682 HAS SOUS 345729 HAS SOUPS 319086 WITH SCORE 325060.845
AT ITER 6736 NEW BEST:: SOT 10002700 SOS 5975363 HAS SOPS 4327604 HAS SOUS 345690 HAS SOUPS 319047 WITH SCORE 325022.363
AT ITER 6747 NEW BEST:: SOT 10002700 SOS 6020581 HAS SOPS 4312386 HAS SOUS 346077 HAS SOUPS 318953 WITH SCORE 324973.581
AT ITER 6753 NEW BEST:: SOT 10002700 SOS 6021421 HAS SOPS 4314144 HAS SOUS 345901 HAS SOUPS 318802 WITH SCORE 324823.421
AT ITER 6762 NEW BEST:: SOT 10002680 SOS 6021401 HAS SOPS 4314124 HAS SOUS 345901 HAS SOUPS 318802 WITH SCORE 324823.401
AT ITER 6766 NEW BEST:: SOT 10002680 SOS 6020201 HAS SOPS 4314540 HAS SOUS 345850 HAS SOUPS 318803 WITH SCORE 324823.201
AT ITER 6784 NEW BEST:: SOT 10002680 SOS 6019827 HAS SOPS 4314326 HAS SOUS 345729 HAS SOUPS 318713 WITH SCORE 324732.827
AT ITER 6787 NEW BEST:: SOT 10002728 SOS 6019875 HAS SOPS 4314374 HAS SOUS 345596 HAS SOUPS 318580 WITH SCORE 324599.875
AT ITER 6788 NEW BEST:: SOT 10002898 SOS 6022757 HAS SOPS 4315344 HAS SOUS 345560 HAS SOUPS 318543 WITH SCORE 324565.757
AT ITER 6815 NEW BEST:: SOT 10002976 SOS 6022835 HAS SOPS 4315422 HAS SOUS 345368 HAS SOUPS 318351 WITH SCORE 324373.835
AT ITER 6833 NEW BEST:: SOT 10002976 SOS 6024219 HAS SOPS 4315302 HAS SOUS 345185 HAS SOUPS 318324 WITH SCORE 324348.219
AT ITER 6838 NEW BEST:: SOT 10002518 SOS 6023761 HAS SOPS 4314844 HAS SOUS 344398 HAS SOUPS 317537 WITH SCORE 323560.761
AT ITER 6844 NEW BEST:: SOT 10002518 SOS 6023769 HAS SOPS 4314636 HAS SOUS 344448 HAS SOUPS 317533 WITH SCORE 323556.769
AT ITER 6865 NEW BEST:: SOT 10002518 SOS 6023769 HAS SOPS 4314252 HAS SOUS 344432 HAS SOUPS 317521 WITH SCORE 323544.769
AT ITER 6877 NEW BEST:: SOT 10002518 SOS 6017661 HAS SOPS 4314288 HAS SOUS 344426 HAS SOUPS 317521 WITH SCORE 323538.661
AT ITER 6889 NEW BEST:: SOT 10002518 SOS 6017580 HAS SOPS 4314152 HAS SOUS 344408 HAS SOUPS 317503 WITH SCORE 323520.58
AT ITER 6891 NEW BEST:: SOT 10002330 SOS 6017392 HAS SOPS 4313964 HAS SOUS 342027 HAS SOUPS 315122 WITH SCORE 321139.392
AT ITER 6904 NEW BEST:: SOT 10002330 SOS 6019576 HAS SOPS 4313844 HAS SOUS 342027 HAS SOUPS 315110 WITH SCORE 321129.576
AT ITER 6923 NEW BEST:: SOT 10002330 SOS 6029356 HAS SOPS 4313742 HAS SOUS 342072 HAS SOUPS 315059 WITH SCORE 321088.356
AT ITER 6982 NEW BEST:: SOT 10000010 SOS 6027036 HAS SOPS 4311422 HAS SOUS 342072 HAS SOUPS 315059 WITH SCORE 321086.036
AT ITER 6984 NEW BEST:: SOT 10000010 SOS 6033580 HAS SOPS 4319454 HAS SOUS 341981 HAS SOUPS 314999 WITH SCORE 321032.58
AT ITER 7001 NEW BEST:: SOT 10000010 SOS 6032470 HAS SOPS 4319259 HAS SOUS 341992 HAS SOUPS 314995 WITH SCORE 321027.47
AT ITER 7031 NEW BEST:: SOT 10000394 SOS 6032854 HAS SOPS 4319643 HAS SOUS 341643 HAS SOUPS 314646 WITH SCORE 320678.854
AT ITER 7043 NEW BEST:: SOT 10000290 SOS 6032750 HAS SOPS 4319539 HAS SOUS 341012 HAS SOUPS 314015 WITH SCORE 320047.75
AT ITER 7049 NEW BEST:: SOT 10000610 SOS 6033070 HAS SOPS 4319859 HAS SOUS 338343 HAS SOUPS 311346 WITH SCORE 317379.07
AT ITER 7062 NEW BEST:: SOT 10000610 SOS 6025707 HAS SOPS 4320576 HAS SOUS 338264 HAS SOUPS 311339 WITH SCORE 317364.707
AT ITER 7066 NEW BEST:: SOT 10000610 SOS 6025211 HAS SOPS 4320080 HAS SOUS 338264 HAS SOUPS 311339 WITH SCORE 317364.211
AT ITER 7076 NEW BEST:: SOT 10000610 SOS 6025197 HAS SOPS 4320058 HAS SOUS 338270 HAS SOUPS 311339 WITH SCORE 317364.197
AT ITER 7092 NEW BEST:: SOT 10000610 SOS 6025055 HAS SOPS 4319260 HAS SOUS 338376 HAS SOUPS 311320 WITH SCORE 317345.055
AT ITER 7133 NEW BEST:: SOT 10000610 SOS 6025051 HAS SOPS 4319258 HAS SOUS 338374 HAS SOUPS 311319 WITH SCORE 317344.051
AT ITER 7150 NEW BEST:: SOT 10000610 SOS 6025049 HAS SOPS 4319256 HAS SOUS 338372 HAS SOUPS 311318 WITH SCORE 317343.049
AT ITER 7176 NEW BEST:: SOT 10000610 SOS 6024983 HAS SOPS 4319032 HAS SOUS 338322 HAS SOUPS 311289 WITH SCORE 317313.983
AT ITER 7185 NEW BEST:: SOT 10000562 SOS 6024935 HAS SOPS 4318984 HAS SOUS 338214 HAS SOUPS 311181 WITH SCORE 317205.935
AT ITER 7213 NEW BEST:: SOT 10000555 SOS 6024218 HAS SOPS 4318267 HAS SOUS 337893 HAS SOUPS 310860 WITH SCORE 316884.218
AT ITER 7221 NEW BEST:: SOT 10000555 SOS 6024196 HAS SOPS 4318517 HAS SOUS 337649 HAS SOUPS 310860 WITH SCORE 316884.196
AT ITER 7242 NEW BEST:: SOT 10000555 SOS 6004228 HAS SOPS 4318517 HAS SOUS 337620 HAS SOUPS 310860 WITH SCORE 316864.228
AT ITER 7246 NEW BEST:: SOT 10000555 SOS 6004100 HAS SOPS 4318517 HAS SOUS 337556 HAS SOUPS 310860 WITH SCORE 316864.1
AT ITER 7273 NEW BEST:: SOT 10000351 SOS 6007244 HAS SOPS 4317597 HAS SOUS 336920 HAS SOUPS 310224 WITH SCORE 316231.244
AT ITER 7274 NEW BEST:: SOT 10000267 SOS 6007160 HAS SOPS 4317513 HAS SOUS 336822 HAS SOUPS 310126 WITH SCORE 316133.16
AT ITER 7276 NEW BEST:: SOT 10000403 SOS 6007296 HAS SOPS 4317649 HAS SOUS 336790 HAS SOUPS 310094 WITH SCORE 316101.296
AT ITER 7279 NEW BEST:: SOT 10000309 SOS 6007202 HAS SOPS 4317555 HAS SOUS 336561 HAS SOUPS 309865 WITH SCORE 315872.202
AT ITER 7283 NEW BEST:: SOT 10000213 SOS 6007106 HAS SOPS 4317459 HAS SOUS 336561 HAS SOUPS 309865 WITH SCORE 315872.106
AT ITER 7289 NEW BEST:: SOT 10005869 SOS 6012762 HAS SOPS 4323115 HAS SOUS 335184 HAS SOUPS 308488 WITH SCORE 314500.762
AT ITER 7305 NEW BEST:: SOT 10005869 SOS 6013230 HAS SOPS 4323109 HAS SOUS 335181 HAS SOUPS 308485 WITH SCORE 314498.23
AT ITER 7311 NEW BEST:: SOT 10006611 SOS 6013972 HAS SOPS 4323851 HAS SOUS 334061 HAS SOUPS 307365 WITH SCORE 313378.972
AT ITER 7362 NEW BEST:: SOT 10006611 SOS 6013870 HAS SOPS 4323851 HAS SOUS 334010 HAS SOUPS 307365 WITH SCORE 313378.87
AT ITER 7384 NEW BEST:: SOT 10006611 SOS 6052374 HAS SOPS 4321011 HAS SOUS 333876 HAS SOUPS 307294 WITH SCORE 313346.374
AT ITER 7409 NEW BEST:: SOT 10006611 SOS 6051952 HAS SOPS 4320549 HAS SOUS 333896 HAS SOUPS 307294 WITH SCORE 313345.952
AT ITER 7419 NEW BEST:: SOT 9997755 SOS 6043096 HAS SOPS 4311693 HAS SOUS 330337 HAS SOUPS 303735 WITH SCORE 309778.096
AT ITER 7423 NEW BEST:: SOT 9991139 SOS 6036480 HAS SOPS 4305077 HAS SOUS 327965 HAS SOUPS 301363 WITH SCORE 307399.48
AT ITER 7426 NEW BEST:: SOT 9991139 SOS 6036280 HAS SOPS 4305237 HAS SOUS 327940 HAS SOUPS 301338 WITH SCORE 307374.28
AT ITER 7456 NEW BEST:: SOT 9991139 SOS 6036248 HAS SOPS 4305205 HAS SOUS 327940 HAS SOUPS 301338 WITH SCORE 307374.248
AT ITER 7492 NEW BEST:: SOT 9991945 SOS 6037054 HAS SOPS 4306011 HAS SOUS 327676 HAS SOUPS 301074 WITH SCORE 307111.054
AT ITER 7502 NEW BEST:: SOT 9992061 SOS 6037170 HAS SOPS 4306127 HAS SOUS 327628 HAS SOUPS 301026 WITH SCORE 307063.17
AT ITER 7505 NEW BEST:: SOT 9996185 SOS 6041294 HAS SOPS 4310251 HAS SOUS 325672 HAS SOUPS 299070 WITH SCORE 305111.294
AT ITER 7510 NEW BEST:: SOT 9997557 SOS 6041244 HAS SOPS 4310201 HAS SOUS 325595 HAS SOUPS 298993 WITH SCORE 305034.244
AT ITER 7548 NEW BEST:: SOT 9997557 SOS 6053186 HAS SOPS 4310039 HAS SOUS 325541 HAS SOUPS 298939 WITH SCORE 304992.186
AT ITER 7564 NEW BEST:: SOT 9998593 SOS 6054222 HAS SOPS 4311075 HAS SOUS 325097 HAS SOUPS 298495 WITH SCORE 304549.222
AT ITER 7627 NEW BEST:: SOT 9998593 SOS 6054136 HAS SOPS 4310969 HAS SOUS 325096 HAS SOUPS 298495 WITH SCORE 304549.136
AT ITER 7650 NEW BEST:: SOT 9997769 SOS 6053486 HAS SOPS 4310319 HAS SOUS 324645 HAS SOUPS 298044 WITH SCORE 304097.486
AT ITER 7666 NEW BEST:: SOT 9997737 SOS 6053454 HAS SOPS 4310287 HAS SOUS 324565 HAS SOUPS 297964 WITH SCORE 304017.454
AT ITER 7672 NEW BEST:: SOT 9997737 SOS 6053592 HAS SOPS 4313553 HAS SOUS 324408 HAS SOUPS 297941 WITH SCORE 303994.592
AT ITER 7691 NEW BEST:: SOT 9997737 SOS 6053456 HAS SOPS 4313417 HAS SOUS 324408 HAS SOUPS 297941 WITH SCORE 303994.456
AT ITER 7692 NEW BEST:: SOT 9997737 SOS 6051580 HAS SOPS 4302629 HAS SOUS 324570 HAS SOUPS 297922 WITH SCORE 303973.58
AT ITER 7734 NEW BEST:: SOT 9997737 SOS 6064312 HAS SOPS 4302045 HAS SOUS 324520 HAS SOUPS 297865 WITH SCORE 303929.312
AT ITER 7742 NEW BEST:: SOT 9997737 SOS 6062380 HAS SOPS 4302177 HAS SOUS 324465 HAS SOUPS 297865 WITH SCORE 303927.38
AT ITER 7758 NEW BEST:: SOT 9997803 SOS 6048398 HAS SOPS 4306249 HAS SOUS 324294 HAS SOUPS 297768 WITH SCORE 303816.398
AT ITER 7785 NEW BEST:: SOT 9997393 SOS 6047988 HAS SOPS 4305839 HAS SOUS 323738 HAS SOUPS 297212 WITH SCORE 303259.988
AT ITER 7799 NEW BEST:: SOT 9985687 SOS 6065262 HAS SOPS 4295331 HAS SOUS 323389 HAS SOUPS 296412 WITH SCORE 302477.262
AT ITER 7820 NEW BEST:: SOT 9985687 SOS 6065014 HAS SOPS 4295179 HAS SOUS 323373 HAS SOUPS 296400 WITH SCORE 302465.014
AT ITER 7830 NEW BEST:: SOT 9985687 SOS 6059992 HAS SOPS 4295055 HAS SOUS 323373 HAS SOUPS 296400 WITH SCORE 302459.992
AT ITER 7845 NEW BEST:: SOT 9985675 SOS 6059980 HAS SOPS 4295043 HAS SOUS 323355 HAS SOUPS 296382 WITH SCORE 302441.98
AT ITER 7850 NEW BEST:: SOT 9985675 SOS 6060261 HAS SOPS 4297411 HAS SOUS 323387 HAS SOUPS 296376 WITH SCORE 302436.261
AT ITER 7852 NEW BEST:: SOT 9982391 SOS 6056977 HAS SOPS 4294127 HAS SOUS 320799 HAS SOUPS 293788 WITH SCORE 299844.977
AT ITER 7893 NEW BEST:: SOT 9982289 SOS 6055135 HAS SOPS 4293845 HAS SOUS 320337 HAS SOUPS 293495 WITH SCORE 299550.135
AT ITER 7904 NEW BEST:: SOT 9982289 SOS 6054679 HAS SOPS 4293837 HAS SOUS 320385 HAS SOUPS 293491 WITH SCORE 299545.679
AT ITER 7918 NEW BEST:: SOT 9982278 SOS 6054633 HAS SOPS 4293827 HAS SOUS 320367 HAS SOUPS 293491 WITH SCORE 299545.633
AT ITER 7920 NEW BEST:: SOT 9982310 SOS 6054229 HAS SOPS 4292607 HAS SOUS 320394 HAS SOUPS 293421 WITH SCORE 299475.229
AT ITER 7931 NEW BEST:: SOT 9982310 SOS 6051269 HAS SOPS 4290847 HAS SOUS 320240 HAS SOUPS 293366 WITH SCORE 299417.269
AT ITER 7945 NEW BEST:: SOT 9982043 SOS 6051002 HAS SOPS 4290580 HAS SOUS 319867 HAS SOUPS 292993 WITH SCORE 299044.002
AT ITER 7967 NEW BEST:: SOT 9981889 SOS 6050272 HAS SOPS 4289898 HAS SOUS 319483 HAS SOUPS 292629 WITH SCORE 298679.272
AT ITER 7998 NEW BEST:: SOT 9981889 SOS 6050048 HAS SOPS 4289590 HAS SOUS 319461 HAS SOUPS 292629 WITH SCORE 298679.048
AT ITER 8001 NEW BEST:: SOT 9981889 SOS 6037864 HAS SOPS 4289638 HAS SOUS 319537 HAS SOUPS 292641 WITH SCORE 298678.864
AT ITER 8052 NEW BEST:: SOT 9981889 SOS 6038950 HAS SOPS 4290738 HAS SOUS 319477 HAS SOUPS 292624 WITH SCORE 298662.95
AT ITER 8088 NEW BEST:: SOT 9977185 SOS 6034246 HAS SOPS 4286034 HAS SOUS 319381 HAS SOUPS 292528 WITH SCORE 298562.246
AT ITER 8098 NEW BEST:: SOT 9977185 SOS 6032804 HAS SOPS 4286360 HAS SOUS 319347 HAS SOUPS 292528 WITH SCORE 298560.804
AT ITER 8155 NEW BEST:: SOT 9977201 SOS 6032820 HAS SOPS 4286376 HAS SOUS 319341 HAS SOUPS 292522 WITH SCORE 298554.82
AT ITER 8161 NEW BEST:: SOT 9977201 SOS 6032812 HAS SOPS 4286376 HAS SOUS 319341 HAS SOUPS 292522 WITH SCORE 298554.812
AT ITER 8176 NEW BEST:: SOT 9976865 SOS 6031118 HAS SOPS 4286098 HAS SOUS 318806 HAS SOUPS 292197 WITH SCORE 298228.118
AT ITER 8227 NEW BEST:: SOT 9976865 SOS 6031118 HAS SOPS 4286084 HAS SOUS 318806 HAS SOUPS 292190 WITH SCORE 298221.118
AT ITER 8229 NEW BEST:: SOT 9976865 SOS 6039642 HAS SOPS 4286580 HAS SOUS 318774 HAS SOUPS 292171 WITH SCORE 298210.642
AT ITER 8233 NEW BEST:: SOT 9976865 SOS 6030894 HAS SOPS 4285960 HAS SOUS 318674 HAS SOUPS 292129 WITH SCORE 298159.894
AT ITER 8237 NEW BEST:: SOT 9977112 SOS 6031141 HAS SOPS 4286207 HAS SOUS 317371 HAS SOUPS 290826 WITH SCORE 296857.141
AT ITER 8238 NEW BEST:: SOT 9977112 SOS 6030597 HAS SOPS 4285387 HAS SOUS 317782 HAS SOUPS 290817 WITH SCORE 296847.597
AT ITER 8264 NEW BEST:: SOT 9977002 SOS 6030487 HAS SOPS 4285277 HAS SOUS 317142 HAS SOUPS 290177 WITH SCORE 296207.487
AT ITER 8280 NEW BEST:: SOT 9977002 SOS 6030481 HAS SOPS 4285277 HAS SOUS 317179 HAS SOUPS 290177 WITH SCORE 296207.481
AT ITER 8309 NEW BEST:: SOT 9977818 SOS 6031297 HAS SOPS 4286093 HAS SOUS 317043 HAS SOUPS 290041 WITH SCORE 296072.297
AT ITER 8346 NEW BEST:: SOT 9977818 SOS 6031293 HAS SOPS 4286089 HAS SOUS 317039 HAS SOUPS 290039 WITH SCORE 296070.293
AT ITER 8354 NEW BEST:: SOT 9977818 SOS 6033433 HAS SOPS 4288197 HAS SOUS 317073 HAS SOUPS 290022 WITH SCORE 296055.433
AT ITER 8397 NEW BEST:: SOT 9980196 SOS 6035811 HAS SOPS 4290575 HAS SOUS 316037 HAS SOUPS 288986 WITH SCORE 295021.811
AT ITER 8423 NEW BEST:: SOT 9980620 SOS 6033007 HAS SOPS 4283547 HAS SOUS 313835 HAS SOUPS 286784 WITH SCORE 292817.007
AT ITER 8430 NEW BEST:: SOT 9980620 SOS 6032937 HAS SOPS 4283287 HAS SOUS 313800 HAS SOUPS 286654 WITH SCORE 292686.937
AT ITER 8449 NEW BEST:: SOT 9980620 SOS 6033577 HAS SOPS 4283607 HAS SOUS 313922 HAS SOUPS 286650 WITH SCORE 292683.577
AT ITER 8469 NEW BEST:: SOT 9980586 SOS 6033099 HAS SOPS 4283129 HAS SOUS 313920 HAS SOUPS 286648 WITH SCORE 292681.099
AT ITER 8470 NEW BEST:: SOT 9980496 SOS 6033009 HAS SOPS 4283039 HAS SOUS 313785 HAS SOUPS 286513 WITH SCORE 292546.009
AT ITER 8471 NEW BEST:: SOT 9980502 SOS 6033015 HAS SOPS 4283045 HAS SOUS 313776 HAS SOUPS 286504 WITH SCORE 292537.015
AT ITER 8478 NEW BEST:: SOT 9980502 SOS 6033003 HAS SOPS 4282625 HAS SOUS 313778 HAS SOUPS 286492 WITH SCORE 292525.003
AT ITER 8487 NEW BEST:: SOT 9980502 SOS 6026563 HAS SOPS 4279145 HAS SOUS 314206 HAS SOUPS 286492 WITH SCORE 292518.563
AT ITER 8499 NEW BEST:: SOT 9980656 SOS 6026717 HAS SOPS 4279299 HAS SOUS 314165 HAS SOUPS 286451 WITH SCORE 292477.717
AT ITER 8508 NEW BEST:: SOT 9981744 SOS 6027805 HAS SOPS 4280387 HAS SOUS 313888 HAS SOUPS 286174 WITH SCORE 292201.805
AT ITER 8528 NEW BEST:: SOT 9981744 SOS 6034745 HAS SOPS 4278639 HAS SOUS 313872 HAS SOUPS 286091 WITH SCORE 292125.745
AT ITER 8547 NEW BEST:: SOT 9981744 SOS 6034661 HAS SOPS 4278551 HAS SOUS 313830 HAS SOUPS 286047 WITH SCORE 292081.661
AT ITER 8604 NEW BEST:: SOT 9981744 SOS 6184607 HAS SOPS 4447224 HAS SOUS 313592 HAS SOUPS 285870 WITH SCORE 292054.607
AT ITER 8609 NEW BEST:: SOT 9981744 SOS 6188273 HAS SOPS 4451074 HAS SOUS 313588 HAS SOUPS 285831 WITH SCORE 292019.273
AT ITER 8642 NEW BEST:: SOT 9981718 SOS 6188247 HAS SOPS 4451048 HAS SOUS 313128 HAS SOUPS 285371 WITH SCORE 291559.247
AT ITER 8654 NEW BEST:: SOT 9982108 SOS 6188637 HAS SOPS 4451438 HAS SOUS 312724 HAS SOUPS 284967 WITH SCORE 291155.637
AT ITER 8657 NEW BEST:: SOT 9979021 SOS 6215246 HAS SOPS 4478047 HAS SOUS 311128 HAS SOUPS 283371 WITH SCORE 289586.246
AT ITER 8663 NEW BEST:: SOT 9979021 SOS 6222302 HAS SOPS 4484895 HAS SOUS 311275 HAS SOUPS 283317 WITH SCORE 289539.302
AT ITER 8677 NEW BEST:: SOT 9979021 SOS 6224018 HAS SOPS 4484851 HAS SOUS 311275 HAS SOUPS 283306 WITH SCORE 289530.018
AT ITER 8679 NEW BEST:: SOT 9979021 SOS 6226974 HAS SOPS 4483831 HAS SOUS 311249 HAS SOUPS 283289 WITH SCORE 289515.974
AT ITER 8698 NEW BEST:: SOT 9979021 SOS 6226902 HAS SOPS 4482511 HAS SOUS 311242 HAS SOUPS 283289 WITH SCORE 289515.902
AT ITER 8763 NEW BEST:: SOT 9979030 SOS 6226900 HAS SOPS 4482509 HAS SOUS 311252 HAS SOUPS 283289 WITH SCORE 289515.9
AT ITER 8765 NEW BEST:: SOT 9979030 SOS 6226672 HAS SOPS 4482497 HAS SOUS 311247 HAS SOUPS 283287 WITH SCORE 289513.672
AT ITER 8773 NEW BEST:: SOT 9979030 SOS 6226448 HAS SOPS 4482483 HAS SOUS 311204 HAS SOUPS 283287 WITH SCORE 289513.448
AT ITER 8802 NEW BEST:: SOT 9978134 SOS 6225552 HAS SOPS 4481587 HAS SOUS 311204 HAS SOUPS 283287 WITH SCORE 289512.552
AT ITER 8805 NEW BEST:: SOT 9978160 SOS 6226310 HAS SOPS 4481365 HAS SOUS 311092 HAS SOUPS 283126 WITH SCORE 289352.31
AT ITER 8870 NEW BEST:: SOT 9978160 SOS 6231673 HAS SOPS 4483323 HAS SOUS 311112 HAS SOUPS 283066 WITH SCORE 289297.673
AT ITER 8884 NEW BEST:: SOT 9977236 SOS 6230749 HAS SOPS 4482399 HAS SOUS 309538 HAS SOUPS 281492 WITH SCORE 287722.749
AT ITER 8886 NEW BEST:: SOT 9977236 SOS 6183251 HAS SOPS 4482517 HAS SOUS 309730 HAS SOUPS 281532 WITH SCORE 287715.251
AT ITER 8907 NEW BEST:: SOT 9977236 SOS 6104531 HAS SOPS 4399317 HAS SOUS 309718 HAS SOUPS 281541 WITH SCORE 287645.531
AT ITER 8923 NEW BEST:: SOT 9977718 SOS 6101787 HAS SOPS 4399279 HAS SOUS 309270 HAS SOUPS 281520 WITH SCORE 287621.787
AT ITER 8929 NEW BEST:: SOT 9977718 SOS 6102075 HAS SOPS 4398943 HAS SOUS 309270 HAS SOUPS 281511 WITH SCORE 287613.075
AT ITER 8932 NEW BEST:: SOT 9977761 SOS 6101709 HAS SOPS 4398681 HAS SOUS 309244 HAS SOUPS 281511 WITH SCORE 287612.709
AT ITER 8942 NEW BEST:: SOT 9977893 SOS 6101841 HAS SOPS 4398813 HAS SOUS 309220 HAS SOUPS 281487 WITH SCORE 287588.841
AT ITER 8943 NEW BEST:: SOT 9977893 SOS 6101483 HAS SOPS 4398393 HAS SOUS 309251 HAS SOUPS 281487 WITH SCORE 287588.483
AT ITER 8944 NEW BEST:: SOT 9977893 SOS 6097507 HAS SOPS 4395425 HAS SOUS 309252 HAS SOUPS 281487 WITH SCORE 287584.507
AT ITER 8949 NEW BEST:: SOT 9977893 SOS 6100195 HAS SOPS 4393921 HAS SOUS 309248 HAS SOUPS 281483 WITH SCORE 287583.195
AT ITER 8966 NEW BEST:: SOT 9977835 SOS 6100137 HAS SOPS 4393863 HAS SOUS 309176 HAS SOUPS 281411 WITH SCORE 287511.137
AT ITER 8978 NEW BEST:: SOT 9977835 SOS 6099903 HAS SOPS 4393953 HAS SOUS 309020 HAS SOUPS 281411 WITH SCORE 287510.903
AT ITER 8986 NEW BEST:: SOT 9977703 SOS 6097955 HAS SOPS 4397253 HAS SOUS 308862 HAS SOUPS 281364 WITH SCORE 287461.955
AT ITER 9001 NEW BEST:: SOT 9977703 SOS 6097691 HAS SOPS 4397085 HAS SOUS 308802 HAS SOUPS 281364 WITH SCORE 287461.691
AT ITER 9018 NEW BEST:: SOT 9977727 SOS 6098105 HAS SOPS 4390895 HAS SOUS 308922 HAS SOUPS 281263 WITH SCORE 287361.105
AT ITER 9037 NEW BEST:: SOT 9977727 SOS 6098101 HAS SOPS 4390891 HAS SOUS 308920 HAS SOUPS 281261 WITH SCORE 287359.101
AT ITER 9039 NEW BEST:: SOT 9977727 SOS 6098057 HAS SOPS 4391003 HAS SOUS 308867 HAS SOUPS 281205 WITH SCORE 287303.057
AT ITER 9040 NEW BEST:: SOT 9977727 SOS 6098047 HAS SOPS 4391033 HAS SOUS 308902 HAS SOUPS 281205 WITH SCORE 287303.047
AT ITER 9075 NEW BEST:: SOT 9977727 SOS 6098045 HAS SOPS 4391031 HAS SOUS 308903 HAS SOUPS 281204 WITH SCORE 287302.045
AT ITER 9087 NEW BEST:: SOT 9977727 SOS 6089981 HAS SOPS 4391159 HAS SOUS 308871 HAS SOUPS 281204 WITH SCORE 287293.981
AT ITER 9117 NEW BEST:: SOT 9977727 SOS 6089773 HAS SOPS 4390983 HAS SOUS 308701 HAS SOUPS 281204 WITH SCORE 287293.773
AT ITER 9149 NEW BEST:: SOT 9983601 SOS 6095647 HAS SOPS 4396857 HAS SOUS 308580 HAS SOUPS 281083 WITH SCORE 287178.647
AT ITER 9159 NEW BEST:: SOT 9983553 SOS 6095263 HAS SOPS 4395865 HAS SOUS 308556 HAS SOUPS 281059 WITH SCORE 287154.263
AT ITER 9171 NEW BEST:: SOT 9983553 SOS 6095039 HAS SOPS 4395433 HAS SOUS 308556 HAS SOUPS 281059 WITH SCORE 287154.039
AT ITER 9178 NEW BEST:: SOT 9983553 SOS 6095003 HAS SOPS 4395381 HAS SOUS 308518 HAS SOUPS 281026 WITH SCORE 287121.003
AT ITER 9181 NEW BEST:: SOT 9983553 SOS 6094615 HAS SOPS 4395381 HAS SOUS 308478 HAS SOUPS 281010 WITH SCORE 287104.615
AT ITER 9185 NEW BEST:: SOT 9983553 SOS 6094535 HAS SOPS 4395325 HAS SOUS 308474 HAS SOUPS 281010 WITH SCORE 287104.535
AT ITER 9226 NEW BEST:: SOT 9990059 SOS 6101041 HAS SOPS 4401831 HAS SOUS 306824 HAS SOUPS 279360 WITH SCORE 285461.041
AT ITER 9228 NEW BEST:: SOT 9990059 SOS 6101049 HAS SOPS 4402801 HAS SOUS 306835 HAS SOUPS 279345 WITH SCORE 285446.049
AT ITER 9229 NEW BEST:: SOT 9990059 SOS 6092885 HAS SOPS 4394357 HAS SOUS 306845 HAS SOUPS 279353 WITH SCORE 285445.885
AT ITER 9234 NEW BEST:: SOT 9990059 SOS 6091389 HAS SOPS 4394805 HAS SOUS 306837 HAS SOUPS 279327 WITH SCORE 285418.389
AT ITER 9235 NEW BEST:: SOT 9990059 SOS 6091379 HAS SOPS 4394795 HAS SOUS 306837 HAS SOUPS 279327 WITH SCORE 285418.379
AT ITER 9247 NEW BEST:: SOT 9990059 SOS 6084795 HAS SOPS 4394291 HAS SOUS 306843 HAS SOUPS 279275 WITH SCORE 285359.795
AT ITER 9249 NEW BEST:: SOT 9990059 SOS 6084943 HAS SOPS 4394259 HAS SOUS 306779 HAS SOUPS 279261 WITH SCORE 285345.943
AT ITER 9269 NEW BEST:: SOT 9990059 SOS 6085009 HAS SOPS 4395161 HAS SOUS 306768 HAS SOUPS 279250 WITH SCORE 285335.009
AT ITER 9347 NEW BEST:: SOT 9989907 SOS 6084857 HAS SOPS 4395009 HAS SOUS 304451 HAS SOUPS 276933 WITH SCORE 283017.857
AT ITER 9349 NEW BEST:: SOT 9989899 SOS 6083875 HAS SOPS 4393431 HAS SOUS 303791 HAS SOUPS 276273 WITH SCORE 282356.875
AT ITER 9390 NEW BEST:: SOT 9989899 SOS 6082891 HAS SOPS 4393407 HAS SOUS 303785 HAS SOUPS 276273 WITH SCORE 282355.891
AT ITER 9399 NEW BEST:: SOT 9989899 SOS 6082891 HAS SOPS 4392525 HAS SOUS 303762 HAS SOUPS 276198 WITH SCORE 282280.891
AT ITER 9415 NEW BEST:: SOT 9989899 SOS 6064313 HAS SOPS 4374715 HAS SOUS 303697 HAS SOUPS 276133 WITH SCORE 282197.313
AT ITER 9440 NEW BEST:: SOT 9989899 SOS 6066149 HAS SOPS 4374691 HAS SOUS 303664 HAS SOUPS 276100 WITH SCORE 282166.149
AT ITER 9452 NEW BEST:: SOT 9989879 SOS 6065789 HAS SOPS 4374631 HAS SOUS 303464 HAS SOUPS 276100 WITH SCORE 282165.789
AT ITER 9521 NEW BEST:: SOT 9989879 SOS 6065777 HAS SOPS 4374563 HAS SOUS 303428 HAS SOUPS 276066 WITH SCORE 282131.777
AT ITER 9578 NEW BEST:: SOT 9989879 SOS 6065777 HAS SOPS 4374107 HAS SOUS 303437 HAS SOUPS 276055 WITH SCORE 282120.777
AT ITER 9583 NEW BEST:: SOT 9988929 SOS 6064827 HAS SOPS 4373157 HAS SOUS 303405 HAS SOUPS 276023 WITH SCORE 282087.827
AT ITER 9590 NEW BEST:: SOT 9988621 SOS 6064519 HAS SOPS 4372849 HAS SOUS 302513 HAS SOUPS 275131 WITH SCORE 281195.519
AT ITER 9591 NEW BEST:: SOT 9988621 SOS 6061603 HAS SOPS 4372777 HAS SOUS 302513 HAS SOUPS 275131 WITH SCORE 281192.603
AT ITER 9601 NEW BEST:: SOT 9988621 SOS 6058243 HAS SOPS 4372497 HAS SOUS 302618 HAS SOUPS 275131 WITH SCORE 281189.243
AT ITER 9603 NEW BEST:: SOT 9988621 SOS 6058139 HAS SOPS 4370637 HAS SOUS 303098 HAS SOUPS 275131 WITH SCORE 281189.139
AT ITER 9612 NEW BEST:: SOT 9988621 SOS 6058082 HAS SOPS 4370309 HAS SOUS 302982 HAS SOUPS 275104 WITH SCORE 281162.082
AT ITER 9615 NEW BEST:: SOT 9988621 SOS 6054914 HAS SOPS 4370315 HAS SOUS 302979 HAS SOUPS 275107 WITH SCORE 281161.914
AT ITER 9631 NEW BEST:: SOT 9988621 SOS 6054914 HAS SOPS 4370309 HAS SOUS 302979 HAS SOUPS 275104 WITH SCORE 281158.914
AT ITER 9638 NEW BEST:: SOT 9988115 SOS 6056113 HAS SOPS 4370684 HAS SOUS 302702 HAS SOUPS 274727 WITH SCORE 280783.113
AT ITER 9642 NEW BEST:: SOT 9988115 SOS 6056097 HAS SOPS 4370668 HAS SOUS 302698 HAS SOUPS 274723 WITH SCORE 280779.097
AT ITER 9670 NEW BEST:: SOT 9988115 SOS 6056097 HAS SOPS 4370662 HAS SOUS 302696 HAS SOUPS 274718 WITH SCORE 280774.097
AT ITER 9685 NEW BEST:: SOT 9988115 SOS 6057281 HAS SOPS 4375078 HAS SOUS 302536 HAS SOUPS 274710 WITH SCORE 280767.281
AT ITER 9689 NEW BEST:: SOT 9988061 SOS 6057116 HAS SOPS 4375011 HAS SOUS 302470 HAS SOUPS 274693 WITH SCORE 280750.116
AT ITER 9691 NEW BEST:: SOT 9988061 SOS 6057191 HAS SOPS 4374947 HAS SOUS 302461 HAS SOUPS 274674 WITH SCORE 280731.191
AT ITER 9697 NEW BEST:: SOT 9988061 SOS 6054025 HAS SOPS 4371909 HAS SOUS 302461 HAS SOUPS 274674 WITH SCORE 280728.025
AT ITER 9738 NEW BEST:: SOT 9987769 SOS 6054147 HAS SOPS 4372031 HAS SOUS 302439 HAS SOUPS 274652 WITH SCORE 280706.147
AT ITER 9758 NEW BEST:: SOT 9987889 SOS 6054267 HAS SOPS 4372151 HAS SOUS 302421 HAS SOUPS 274634 WITH SCORE 280688.267
AT ITER 9861 NEW BEST:: SOT 9986039 SOS 6050869 HAS SOPS 4369897 HAS SOUS 301878 HAS SOUPS 274129 WITH SCORE 280179.869
AT ITER 9879 NEW BEST:: SOT 9986039 SOS 6053315 HAS SOPS 4372083 HAS SOUS 301885 HAS SOUPS 274102 WITH SCORE 280155.315
AT ITER 9892 NEW BEST:: SOT 9986297 SOS 6053573 HAS SOPS 4372341 HAS SOUS 301573 HAS SOUPS 273790 WITH SCORE 279843.573
AT ITER 9894 NEW BEST:: SOT 9986300 SOS 6053670 HAS SOPS 4372438 HAS SOUS 301569 HAS SOUPS 273786 WITH SCORE 279839.67
AT ITER 9903 NEW BEST:: SOT 9986076 SOS 6053446 HAS SOPS 4372214 HAS SOUS 301509 HAS SOUPS 273726 WITH SCORE 279779.446
AT ITER 9926 NEW BEST:: SOT 9985634 SOS 6053004 HAS SOPS 4371772 HAS SOUS 301161 HAS SOUPS 273378 WITH SCORE 279431.004
AT ITER 9933 NEW BEST:: SOT 9985634 SOS 6050460 HAS SOPS 4371640 HAS SOUS 301149 HAS SOUPS 273378 WITH SCORE 279428.46
AT ITER 9936 NEW BEST:: SOT 9985634 SOS 6050180 HAS SOPS 4371560 HAS SOUS 301154 HAS SOUPS 273378 WITH SCORE 279428.18
AT ITER 9942 NEW BEST:: SOT 9985656 SOS 6050202 HAS SOPS 4371582 HAS SOUS 301045 HAS SOUPS 273269 WITH SCORE 279319.202
AT ITER 9966 NEW BEST:: SOT 9985248 SOS 6049794 HAS SOPS 4371174 HAS SOUS 301012 HAS SOUPS 273236 WITH SCORE 279285.794
AT ITER 9976 NEW BEST:: SOT 9985248 SOS 6049776 HAS SOPS 4371156 HAS SOUS 301009 HAS SOUPS 273233 WITH SCORE 279282.776
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 15788992 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16031424 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="SemanticWebServices-PT-S256P09"
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 SemanticWebServices-PT-S256P09, 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 r363-smll-167891814300432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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