About the Execution of Smart+red for FlexibleBarrier-PT-22a
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
16217.896 | 1516137.00 | 1556028.00 | 12964.90 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r171-tall-167838858800592.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 FlexibleBarrier-PT-22a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858800592
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 864K
-rw-r--r-- 1 mcc users 7.6K Feb 25 13:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 25 13:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 13:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 13:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:08 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:08 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:08 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:08 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 113K Feb 25 14:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 13:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 102K Feb 25 13:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:08 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:08 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 384K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679485459900
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=FlexibleBarrier-PT-22a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 11:44:21] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 11:44:21] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 11:44:21] [INFO ] Load time of PNML (sax parser for PT used): 88 ms
[2023-03-22 11:44:21] [INFO ] Transformed 267 places.
[2023-03-22 11:44:21] [INFO ] Transformed 1258 transitions.
[2023-03-22 11:44:21] [INFO ] Found NUPN structural information;
[2023-03-22 11:44:21] [INFO ] Parsed PT model containing 267 places and 1258 transitions and 6375 arcs in 165 ms.
[2023-03-22 11:44:21] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 267 places, 1258 transitions and 6375 arcs took 14 ms.
Total runtime 207 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 22a
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: 267 places, 1258 transitions, 6375 arcs.
AT ITER 0 NEW BEST:: SOT 301178 SOS 264570 HAS SOPS 264570 HAS SOUS 145125 HAS SOUPS 145125 WITH SCORE 145389.57
AT ITER 1 NEW BEST:: SOT 301173 SOS 264551 HAS SOPS 264551 HAS SOUS 145114 HAS SOUPS 145114 WITH SCORE 145378.551
AT ITER 3 NEW BEST:: SOT 301285 SOS 264449 HAS SOPS 264449 HAS SOUS 141831 HAS SOUPS 141831 WITH SCORE 142095.449
AT ITER 4 NEW BEST:: SOT 301267 SOS 264431 HAS SOPS 264431 HAS SOUS 141831 HAS SOUPS 141831 WITH SCORE 142095.431
AT ITER 5 NEW BEST:: SOT 301322 SOS 264370 HAS SOPS 264370 HAS SOUS 141772 HAS SOUPS 141772 WITH SCORE 142036.37
AT ITER 8 NEW BEST:: SOT 301322 SOS 264137 HAS SOPS 264137 HAS SOUS 141680 HAS SOUPS 141680 WITH SCORE 141944.137
AT ITER 9 NEW BEST:: SOT 301300 SOS 263658 HAS SOPS 263658 HAS SOUS 140874 HAS SOUPS 140874 WITH SCORE 141137.658
AT ITER 11 NEW BEST:: SOT 301409 SOS 262638 HAS SOPS 262638 HAS SOUS 135967 HAS SOUPS 135967 WITH SCORE 136229.638
AT ITER 12 NEW BEST:: SOT 301180 SOS 262405 HAS SOPS 262405 HAS SOUS 135781 HAS SOUPS 135781 WITH SCORE 136043.405
AT ITER 13 NEW BEST:: SOT 301342 SOS 261554 HAS SOPS 261554 HAS SOUS 130716 HAS SOUPS 130716 WITH SCORE 130977.554
AT ITER 14 NEW BEST:: SOT 301356 SOS 261102 HAS SOPS 261102 HAS SOUS 129446 HAS SOUPS 129446 WITH SCORE 129707.102
AT ITER 17 NEW BEST:: SOT 301399 SOS 261059 HAS SOPS 261059 HAS SOUS 129403 HAS SOUPS 129403 WITH SCORE 129664.059
AT ITER 20 NEW BEST:: SOT 301606 SOS 258468 HAS SOPS 258468 HAS SOUS 122663 HAS SOUPS 122663 WITH SCORE 122921.468
AT ITER 22 NEW BEST:: SOT 301044 SOS 255093 HAS SOPS 255093 HAS SOUS 114465 HAS SOUPS 114465 WITH SCORE 114720.093
AT ITER 25 NEW BEST:: SOT 301043 SOS 255089 HAS SOPS 255089 HAS SOUS 114463 HAS SOUPS 114463 WITH SCORE 114718.089
AT ITER 26 NEW BEST:: SOT 300625 SOS 254435 HAS SOPS 254435 HAS SOUS 114292 HAS SOUPS 114292 WITH SCORE 114546.435
AT ITER 29 NEW BEST:: SOT 300044 SOS 253825 HAS SOPS 253825 HAS SOUS 114133 HAS SOUPS 114133 WITH SCORE 114386.825
AT ITER 30 NEW BEST:: SOT 299265 SOS 253046 HAS SOPS 253046 HAS SOUS 113736 HAS SOUPS 113736 WITH SCORE 113989.046
AT ITER 32 NEW BEST:: SOT 299265 SOS 252850 HAS SOPS 252850 HAS SOUS 113673 HAS SOUPS 113673 WITH SCORE 113925.85
AT ITER 33 NEW BEST:: SOT 299376 SOS 252739 HAS SOPS 252739 HAS SOUS 113559 HAS SOUPS 113559 WITH SCORE 113811.739
AT ITER 35 NEW BEST:: SOT 299461 SOS 252657 HAS SOPS 252657 HAS SOUS 113477 HAS SOUPS 113477 WITH SCORE 113729.657
AT ITER 36 NEW BEST:: SOT 298710 SOS 251571 HAS SOPS 251571 HAS SOUS 112630 HAS SOUPS 112630 WITH SCORE 112881.571
AT ITER 37 NEW BEST:: SOT 299039 SOS 251967 HAS SOPS 251967 HAS SOUS 112601 HAS SOUPS 112601 WITH SCORE 112852.967
AT ITER 41 NEW BEST:: SOT 299170 SOS 251830 HAS SOPS 251830 HAS SOUS 112561 HAS SOUPS 112561 WITH SCORE 112812.83
AT ITER 47 NEW BEST:: SOT 299158 SOS 251794 HAS SOPS 251794 HAS SOUS 112561 HAS SOUPS 112561 WITH SCORE 112812.794
AT ITER 52 NEW BEST:: SOT 299156 SOS 251734 HAS SOPS 251734 HAS SOUS 112531 HAS SOUPS 112531 WITH SCORE 112782.734
AT ITER 58 NEW BEST:: SOT 299122 SOS 251683 HAS SOPS 251683 HAS SOUS 112531 HAS SOUPS 112531 WITH SCORE 112782.683
AT ITER 61 NEW BEST:: SOT 299259 SOS 251648 HAS SOPS 251648 HAS SOUS 112498 HAS SOUPS 112498 WITH SCORE 112749.648
AT ITER 62 NEW BEST:: SOT 299309 SOS 249544 HAS SOPS 249544 HAS SOUS 110610 HAS SOUPS 110610 WITH SCORE 110859.544
AT ITER 63 NEW BEST:: SOT 299293 SOS 249078 HAS SOPS 249078 HAS SOUS 110179 HAS SOUPS 110179 WITH SCORE 110428.078
AT ITER 65 NEW BEST:: SOT 299285 SOS 248706 HAS SOPS 248706 HAS SOUS 110033 HAS SOUPS 110033 WITH SCORE 110281.706
AT ITER 66 NEW BEST:: SOT 299284 SOS 248621 HAS SOPS 248621 HAS SOUS 109867 HAS SOUPS 109867 WITH SCORE 110115.621
AT ITER 67 NEW BEST:: SOT 299460 SOS 248619 HAS SOPS 248619 HAS SOUS 109865 HAS SOUPS 109865 WITH SCORE 110113.619
AT ITER 68 NEW BEST:: SOT 299691 SOS 248353 HAS SOPS 248353 HAS SOUS 109639 HAS SOUPS 109639 WITH SCORE 109887.353
AT ITER 69 NEW BEST:: SOT 299776 SOS 248344 HAS SOPS 248344 HAS SOUS 109630 HAS SOUPS 109630 WITH SCORE 109878.344
AT ITER 71 NEW BEST:: SOT 299842 SOS 246484 HAS SOPS 246484 HAS SOUS 104632 HAS SOUPS 104632 WITH SCORE 104878.484
AT ITER 74 NEW BEST:: SOT 299903 SOS 246480 HAS SOPS 246480 HAS SOUS 104630 HAS SOUPS 104630 WITH SCORE 104876.48
AT ITER 77 NEW BEST:: SOT 299903 SOS 245951 HAS SOPS 245951 HAS SOUS 104381 HAS SOUPS 104381 WITH SCORE 104626.951
AT ITER 83 NEW BEST:: SOT 299893 SOS 245941 HAS SOPS 245941 HAS SOUS 104381 HAS SOUPS 104381 WITH SCORE 104626.941
AT ITER 84 NEW BEST:: SOT 300013 SOS 242857 HAS SOPS 242857 HAS SOUS 100443 HAS SOUPS 100443 WITH SCORE 100685.857
AT ITER 85 NEW BEST:: SOT 300016 SOS 242581 HAS SOPS 242581 HAS SOUS 100297 HAS SOUPS 100297 WITH SCORE 100539.581
AT ITER 87 NEW BEST:: SOT 300068 SOS 242579 HAS SOPS 242579 HAS SOUS 100293 HAS SOUPS 100293 WITH SCORE 100535.579
AT ITER 89 NEW BEST:: SOT 300068 SOS 241981 HAS SOPS 241981 HAS SOUS 100202 HAS SOUPS 100202 WITH SCORE 100443.981
AT ITER 92 NEW BEST:: SOT 300010 SOS 241935 HAS SOPS 241935 HAS SOUS 100173 HAS SOUPS 100173 WITH SCORE 100414.935
AT ITER 94 NEW BEST:: SOT 300027 SOS 241896 HAS SOPS 241896 HAS SOUS 99850 HAS SOUPS 99850 WITH SCORE 100091.896
AT ITER 97 NEW BEST:: SOT 300028 SOS 241898 HAS SOPS 241898 HAS SOUS 99847 HAS SOUPS 99847 WITH SCORE 100088.898
AT ITER 100 NEW BEST:: SOT 300126 SOS 241979 HAS SOPS 241979 HAS SOUS 99818 HAS SOUPS 99818 WITH SCORE 100059.979
AT ITER 101 NEW BEST:: SOT 299914 SOS 241767 HAS SOPS 241767 HAS SOUS 99641 HAS SOUPS 99641 WITH SCORE 99882.767
AT ITER 103 NEW BEST:: SOT 299935 SOS 241746 HAS SOPS 241746 HAS SOUS 99620 HAS SOUPS 99620 WITH SCORE 99861.746
AT ITER 104 NEW BEST:: SOT 299108 SOS 240922 HAS SOPS 240922 HAS SOUS 99279 HAS SOUPS 99279 WITH SCORE 99519.922
AT ITER 108 NEW BEST:: SOT 299121 SOS 239284 HAS SOPS 239284 HAS SOUS 98700 HAS SOUPS 98700 WITH SCORE 98939.284
AT ITER 114 NEW BEST:: SOT 298048 SOS 238169 HAS SOPS 238169 HAS SOUS 98366 HAS SOUPS 98366 WITH SCORE 98604.169
AT ITER 116 NEW BEST:: SOT 297964 SOS 237857 HAS SOPS 237857 HAS SOUS 98366 HAS SOUPS 98366 WITH SCORE 98603.857
AT ITER 117 NEW BEST:: SOT 298026 SOS 235079 HAS SOPS 235079 HAS SOUS 96363 HAS SOUPS 96363 WITH SCORE 96598.079
AT ITER 119 NEW BEST:: SOT 298026 SOS 231364 HAS SOPS 231364 HAS SOUS 94253 HAS SOUPS 94253 WITH SCORE 94484.364
AT ITER 125 NEW BEST:: SOT 298026 SOS 231356 HAS SOPS 231356 HAS SOUS 94245 HAS SOUPS 94245 WITH SCORE 94476.356
AT ITER 127 NEW BEST:: SOT 298025 SOS 231354 HAS SOPS 231354 HAS SOUS 94244 HAS SOUPS 94244 WITH SCORE 94475.354
AT ITER 129 NEW BEST:: SOT 298022 SOS 231347 HAS SOPS 231347 HAS SOUS 94241 HAS SOUPS 94241 WITH SCORE 94472.347
AT ITER 130 NEW BEST:: SOT 298018 SOS 231235 HAS SOPS 231235 HAS SOUS 94236 HAS SOUPS 94236 WITH SCORE 94467.235
AT ITER 138 NEW BEST:: SOT 297567 SOS 230808 HAS SOPS 230808 HAS SOUS 94184 HAS SOUPS 94184 WITH SCORE 94414.808
AT ITER 139 NEW BEST:: SOT 297645 SOS 230007 HAS SOPS 230007 HAS SOUS 91373 HAS SOUPS 91373 WITH SCORE 91603.007
AT ITER 141 NEW BEST:: SOT 297774 SOS 230265 HAS SOPS 230265 HAS SOUS 91326 HAS SOUPS 91326 WITH SCORE 91556.265
AT ITER 144 NEW BEST:: SOT 297773 SOS 228107 HAS SOPS 228107 HAS SOUS 90435 HAS SOUPS 90435 WITH SCORE 90663.107
AT ITER 146 NEW BEST:: SOT 297858 SOS 224850 HAS SOPS 224850 HAS SOUS 88624 HAS SOUPS 88624 WITH SCORE 88848.85
AT ITER 151 NEW BEST:: SOT 297858 SOS 220322 HAS SOPS 220322 HAS SOUS 85476 HAS SOUPS 85476 WITH SCORE 85696.322
AT ITER 157 NEW BEST:: SOT 297971 SOS 217967 HAS SOPS 217967 HAS SOUS 85093 HAS SOUPS 85093 WITH SCORE 85310.967
AT ITER 158 NEW BEST:: SOT 298143 SOS 211343 HAS SOPS 211343 HAS SOUS 80649 HAS SOUPS 80649 WITH SCORE 80860.343
AT ITER 163 NEW BEST:: SOT 298108 SOS 211315 HAS SOPS 211315 HAS SOUS 80629 HAS SOUPS 80629 WITH SCORE 80840.315
AT ITER 165 NEW BEST:: SOT 298261 SOS 211352 HAS SOPS 211352 HAS SOUS 80606 HAS SOUPS 80606 WITH SCORE 80817.352
AT ITER 166 NEW BEST:: SOT 298368 SOS 211404 HAS SOPS 211404 HAS SOUS 80602 HAS SOUPS 80602 WITH SCORE 80813.404
AT ITER 169 NEW BEST:: SOT 298317 SOS 211335 HAS SOPS 211335 HAS SOUS 80586 HAS SOUPS 80586 WITH SCORE 80797.335
AT ITER 170 NEW BEST:: SOT 298299 SOS 208399 HAS SOPS 208399 HAS SOUS 79983 HAS SOUPS 79983 WITH SCORE 80191.399
AT ITER 173 NEW BEST:: SOT 298271 SOS 208371 HAS SOPS 208371 HAS SOUS 79955 HAS SOUPS 79955 WITH SCORE 80163.371
AT ITER 178 NEW BEST:: SOT 298422 SOS 208287 HAS SOPS 208287 HAS SOUS 79870 HAS SOUPS 79870 WITH SCORE 80078.287
AT ITER 186 NEW BEST:: SOT 298529 SOS 208387 HAS SOPS 208387 HAS SOUS 79852 HAS SOUPS 79852 WITH SCORE 80060.387
AT ITER 188 NEW BEST:: SOT 298551 SOS 208186 HAS SOPS 208186 HAS SOUS 79780 HAS SOUPS 79780 WITH SCORE 79988.186
AT ITER 191 NEW BEST:: SOT 298551 SOS 208179 HAS SOPS 208179 HAS SOUS 79773 HAS SOUPS 79773 WITH SCORE 79981.179
AT ITER 194 NEW BEST:: SOT 298564 SOS 208196 HAS SOPS 208196 HAS SOUS 79771 HAS SOUPS 79771 WITH SCORE 79979.196
AT ITER 196 NEW BEST:: SOT 298590 SOS 205672 HAS SOPS 205672 HAS SOUS 77705 HAS SOUPS 77705 WITH SCORE 77910.672
AT ITER 199 NEW BEST:: SOT 298586 SOS 205658 HAS SOPS 205658 HAS SOUS 77703 HAS SOUPS 77703 WITH SCORE 77908.658
AT ITER 201 NEW BEST:: SOT 298551 SOS 205554 HAS SOPS 205554 HAS SOUS 77701 HAS SOUPS 77701 WITH SCORE 77906.554
AT ITER 202 NEW BEST:: SOT 298536 SOS 205539 HAS SOPS 205539 HAS SOUS 77672 HAS SOUPS 77672 WITH SCORE 77877.539
AT ITER 203 NEW BEST:: SOT 298713 SOS 205477 HAS SOPS 205477 HAS SOUS 77524 HAS SOUPS 77524 WITH SCORE 77729.477
AT ITER 204 NEW BEST:: SOT 298749 SOS 205376 HAS SOPS 205376 HAS SOUS 77445 HAS SOUPS 77445 WITH SCORE 77650.376
AT ITER 210 NEW BEST:: SOT 298790 SOS 203763 HAS SOPS 203763 HAS SOUS 76607 HAS SOUPS 76607 WITH SCORE 76810.763
AT ITER 212 NEW BEST:: SOT 298561 SOS 203495 HAS SOPS 203495 HAS SOUS 76494 HAS SOUPS 76494 WITH SCORE 76697.495
AT ITER 213 NEW BEST:: SOT 298688 SOS 203354 HAS SOPS 203354 HAS SOUS 76442 HAS SOUPS 76442 WITH SCORE 76645.354
AT ITER 217 NEW BEST:: SOT 298674 SOS 203380 HAS SOPS 203380 HAS SOUS 76423 HAS SOUPS 76423 WITH SCORE 76626.38
AT ITER 219 NEW BEST:: SOT 298328 SOS 203151 HAS SOPS 203127 HAS SOUS 75539 HAS SOUPS 75533 WITH SCORE 75736.151
AT ITER 220 NEW BEST:: SOT 298287 SOS 203110 HAS SOPS 203086 HAS SOUS 75539 HAS SOUPS 75533 WITH SCORE 75736.11
AT ITER 224 NEW BEST:: SOT 298357 SOS 202854 HAS SOPS 202830 HAS SOUS 75163 HAS SOUPS 75157 WITH SCORE 75359.854
AT ITER 225 NEW BEST:: SOT 298607 SOS 195254 HAS SOPS 195230 HAS SOUS 71465 HAS SOUPS 71459 WITH SCORE 71654.254
AT ITER 226 NEW BEST:: SOT 298648 SOS 195207 HAS SOPS 195183 HAS SOUS 71420 HAS SOUPS 71414 WITH SCORE 71609.207
AT ITER 228 NEW BEST:: SOT 298492 SOS 195096 HAS SOPS 195072 HAS SOUS 71309 HAS SOUPS 71303 WITH SCORE 71498.096
AT ITER 231 NEW BEST:: SOT 298442 SOS 185942 HAS SOPS 185918 HAS SOUS 67711 HAS SOUPS 67705 WITH SCORE 67890.942
AT ITER 234 NEW BEST:: SOT 298334 SOS 185472 HAS SOPS 185448 HAS SOUS 67501 HAS SOUPS 67495 WITH SCORE 67680.472
AT ITER 235 NEW BEST:: SOT 298276 SOS 185491 HAS SOPS 185467 HAS SOUS 67463 HAS SOUPS 67457 WITH SCORE 67642.491
AT ITER 242 NEW BEST:: SOT 298191 SOS 185236 HAS SOPS 185212 HAS SOUS 67463 HAS SOUPS 67457 WITH SCORE 67642.236
AT ITER 247 NEW BEST:: SOT 298189 SOS 185210 HAS SOPS 185186 HAS SOUS 67439 HAS SOUPS 67433 WITH SCORE 67618.21
AT ITER 248 NEW BEST:: SOT 298232 SOS 185273 HAS SOPS 185249 HAS SOUS 67412 HAS SOUPS 67406 WITH SCORE 67591.273
AT ITER 249 NEW BEST:: SOT 282505 SOS 201086 HAS SOPS 169475 HAS SOUS 61141 HAS SOUPS 60976 WITH SCORE 61177.086
AT ITER 252 NEW BEST:: SOT 282448 SOS 200858 HAS SOPS 169247 HAS SOUS 61027 HAS SOUPS 60862 WITH SCORE 61062.858
AT ITER 254 NEW BEST:: SOT 282373 SOS 200293 HAS SOPS 168542 HAS SOUS 60571 HAS SOUPS 60406 WITH SCORE 60606.293
AT ITER 256 NEW BEST:: SOT 282750 SOS 195715 HAS SOPS 159406 HAS SOUS 58552 HAS SOUPS 58387 WITH SCORE 58582.715
AT ITER 258 NEW BEST:: SOT 281653 SOS 194618 HAS SOPS 158309 HAS SOUS 57985 HAS SOUPS 57820 WITH SCORE 58014.618
AT ITER 260 NEW BEST:: SOT 281693 SOS 194698 HAS SOPS 156981 HAS SOUS 57049 HAS SOUPS 56884 WITH SCORE 57078.698
AT ITER 276 NEW BEST:: SOT 281769 SOS 194694 HAS SOPS 156977 HAS SOUS 57041 HAS SOUPS 56876 WITH SCORE 57070.694
AT ITER 283 NEW BEST:: SOT 281768 SOS 194642 HAS SOPS 156925 HAS SOUS 57017 HAS SOUPS 56852 WITH SCORE 57046.642
AT ITER 285 NEW BEST:: SOT 281765 SOS 194635 HAS SOPS 156918 HAS SOUS 57015 HAS SOUPS 56850 WITH SCORE 57044.635
AT ITER 288 NEW BEST:: SOT 281813 SOS 194729 HAS SOPS 157012 HAS SOUS 57006 HAS SOUPS 56841 WITH SCORE 57035.729
AT ITER 292 NEW BEST:: SOT 281764 SOS 194487 HAS SOPS 156770 HAS SOUS 56925 HAS SOUPS 56760 WITH SCORE 56954.487
AT ITER 301 NEW BEST:: SOT 281758 SOS 194481 HAS SOPS 156764 HAS SOUS 56919 HAS SOUPS 56754 WITH SCORE 56948.481
AT ITER 302 NEW BEST:: SOT 281746 SOS 194457 HAS SOPS 156740 HAS SOUS 56909 HAS SOUPS 56744 WITH SCORE 56938.457
AT ITER 305 NEW BEST:: SOT 281485 SOS 194247 HAS SOPS 156530 HAS SOUS 56840 HAS SOUPS 56675 WITH SCORE 56869.247
AT ITER 313 NEW BEST:: SOT 281525 SOS 194261 HAS SOPS 155884 HAS SOUS 55165 HAS SOUPS 54998 WITH SCORE 55192.261
AT ITER 314 NEW BEST:: SOT 281525 SOS 194249 HAS SOPS 155872 HAS SOUS 55165 HAS SOUPS 54998 WITH SCORE 55192.249
AT ITER 320 NEW BEST:: SOT 281500 SOS 194224 HAS SOPS 155847 HAS SOUS 55140 HAS SOUPS 54973 WITH SCORE 55167.224
AT ITER 325 NEW BEST:: SOT 281364 SOS 194093 HAS SOPS 155721 HAS SOUS 55082 HAS SOUPS 54915 WITH SCORE 55109.093
AT ITER 328 NEW BEST:: SOT 281333 SOS 191164 HAS SOPS 152792 HAS SOUS 54951 HAS SOUPS 54784 WITH SCORE 54975.164
AT ITER 337 NEW BEST:: SOT 281342 SOS 191140 HAS SOPS 152768 HAS SOUS 54927 HAS SOUPS 54760 WITH SCORE 54951.14
AT ITER 338 NEW BEST:: SOT 281316 SOS 191089 HAS SOPS 152480 HAS SOUS 54267 HAS SOUPS 54100 WITH SCORE 54291.089
AT ITER 339 NEW BEST:: SOT 281345 SOS 191092 HAS SOPS 152483 HAS SOUS 54235 HAS SOUPS 54068 WITH SCORE 54259.092
AT ITER 340 NEW BEST:: SOT 281445 SOS 190964 HAS SOPS 152301 HAS SOUS 54161 HAS SOUPS 53994 WITH SCORE 54184.964
AT ITER 341 NEW BEST:: SOT 281445 SOS 190949 HAS SOPS 152286 HAS SOUS 54146 HAS SOUPS 53979 WITH SCORE 54169.949
AT ITER 343 NEW BEST:: SOT 280585 SOS 192900 HAS SOPS 154237 HAS SOUS 54003 HAS SOUPS 53836 WITH SCORE 54028.9
AT ITER 348 NEW BEST:: SOT 280583 SOS 192866 HAS SOPS 154203 HAS SOUS 53985 HAS SOUPS 53818 WITH SCORE 54010.866
AT ITER 351 NEW BEST:: SOT 280583 SOS 192866 HAS SOPS 154203 HAS SOUS 53962 HAS SOUPS 53795 WITH SCORE 53987.866
AT ITER 355 NEW BEST:: SOT 280656 SOS 192858 HAS SOPS 154268 HAS SOUS 53946 HAS SOUPS 53779 WITH SCORE 53971.858
AT ITER 366 NEW BEST:: SOT 272459 SOS 187818 HAS SOPS 146071 HAS SOUS 46183 HAS SOUPS 45884 WITH SCORE 46071.818
AT ITER 367 NEW BEST:: SOT 272427 SOS 187786 HAS SOPS 146007 HAS SOUS 46119 HAS SOUPS 45820 WITH SCORE 46007.786
AT ITER 380 NEW BEST:: SOT 272129 SOS 188502 HAS SOPS 145709 HAS SOUS 45876 HAS SOUPS 45560 WITH SCORE 45748.502
AT ITER 381 NEW BEST:: SOT 272111 SOS 188408 HAS SOPS 145569 HAS SOUS 45736 HAS SOUPS 45420 WITH SCORE 45608.408
AT ITER 383 NEW BEST:: SOT 272051 SOS 188382 HAS SOPS 145449 HAS SOUS 45616 HAS SOUPS 45300 WITH SCORE 45488.382
AT ITER 384 NEW BEST:: SOT 271987 SOS 188254 HAS SOPS 145321 HAS SOUS 45552 HAS SOUPS 45236 WITH SCORE 45424.254
AT ITER 389 NEW BEST:: SOT 271871 SOS 188080 HAS SOPS 143529 HAS SOUS 44118 HAS SOUPS 43802 WITH SCORE 43990.08
AT ITER 391 NEW BEST:: SOT 271891 SOS 188073 HAS SOPS 143522 HAS SOUS 44079 HAS SOUPS 43763 WITH SCORE 43951.073
AT ITER 392 NEW BEST:: SOT 273225 SOS 189453 HAS SOPS 144153 HAS SOUS 44031 HAS SOUPS 43715 WITH SCORE 43904.453
AT ITER 395 NEW BEST:: SOT 273167 SOS 189337 HAS SOPS 144037 HAS SOUS 43973 HAS SOUPS 43657 WITH SCORE 43846.337
AT ITER 397 NEW BEST:: SOT 273049 SOS 189007 HAS SOPS 143573 HAS SOUS 43559 HAS SOUPS 43243 WITH SCORE 43432.007
AT ITER 401 NEW BEST:: SOT 273002 SOS 188891 HAS SOPS 140367 HAS SOUS 41975 HAS SOUPS 41659 WITH SCORE 41847.891
AT ITER 404 NEW BEST:: SOT 272832 SOS 188458 HAS SOPS 139881 HAS SOUS 41735 HAS SOUPS 41419 WITH SCORE 41607.458
AT ITER 405 NEW BEST:: SOT 272818 SOS 188419 HAS SOPS 139853 HAS SOUS 41671 HAS SOUPS 41355 WITH SCORE 41543.419
AT ITER 407 NEW BEST:: SOT 272494 SOS 188119 HAS SOPS 139469 HAS SOUS 41293 HAS SOUPS 40977 WITH SCORE 41165.119
AT ITER 409 NEW BEST:: SOT 270802 SOS 186427 HAS SOPS 137777 HAS SOUS 40447 HAS SOUPS 40131 WITH SCORE 40317.427
AT ITER 413 NEW BEST:: SOT 270802 SOS 186129 HAS SOPS 137618 HAS SOUS 40435 HAS SOUPS 40119 WITH SCORE 40305.129
AT ITER 415 NEW BEST:: SOT 270749 SOS 185994 HAS SOPS 137454 HAS SOUS 40308 HAS SOUPS 39992 WITH SCORE 40177.994
AT ITER 419 NEW BEST:: SOT 270847 SOS 186019 HAS SOPS 137479 HAS SOUS 40300 HAS SOUPS 39984 WITH SCORE 40170.019
AT ITER 420 NEW BEST:: SOT 268485 SOS 183631 HAS SOPS 135647 HAS SOUS 39533 HAS SOUPS 39217 WITH SCORE 39400.631
AT ITER 421 NEW BEST:: SOT 268233 SOS 183277 HAS SOPS 135293 HAS SOUS 39218 HAS SOUPS 38902 WITH SCORE 39085.277
AT ITER 431 NEW BEST:: SOT 268341 SOS 183277 HAS SOPS 132551 HAS SOUS 38321 HAS SOUPS 38005 WITH SCORE 38188.277
AT ITER 433 NEW BEST:: SOT 268323 SOS 183146 HAS SOPS 132515 HAS SOUS 38258 HAS SOUPS 37942 WITH SCORE 38125.146
AT ITER 441 NEW BEST:: SOT 268295 SOS 183037 HAS SOPS 132256 HAS SOUS 37920 HAS SOUPS 37604 WITH SCORE 37787.037
AT ITER 442 NEW BEST:: SOT 268128 SOS 182781 HAS SOPS 131922 HAS SOUS 37586 HAS SOUPS 37270 WITH SCORE 37452.781
AT ITER 444 NEW BEST:: SOT 268546 SOS 181046 HAS SOPS 129554 HAS SOUS 37488 HAS SOUPS 37172 WITH SCORE 37353.046
AT ITER 447 NEW BEST:: SOT 268610 SOS 181106 HAS SOPS 129682 HAS SOUS 37484 HAS SOUPS 37168 WITH SCORE 37349.106
AT ITER 449 NEW BEST:: SOT 268505 SOS 181018 HAS SOPS 129551 HAS SOUS 37376 HAS SOUPS 37060 WITH SCORE 37241.018
AT ITER 460 NEW BEST:: SOT 268468 SOS 180944 HAS SOPS 129440 HAS SOUS 37256 HAS SOUPS 36940 WITH SCORE 37120.944
AT ITER 461 NEW BEST:: SOT 268441 SOS 180874 HAS SOPS 129370 HAS SOUS 37240 HAS SOUPS 36924 WITH SCORE 37104.874
AT ITER 466 NEW BEST:: SOT 268468 SOS 180860 HAS SOPS 129392 HAS SOUS 37240 HAS SOUPS 36924 WITH SCORE 37104.86
AT ITER 475 NEW BEST:: SOT 268236 SOS 180567 HAS SOPS 129013 HAS SOUS 36982 HAS SOUPS 36666 WITH SCORE 36846.567
AT ITER 480 NEW BEST:: SOT 268249 SOS 180471 HAS SOPS 128962 HAS SOUS 36894 HAS SOUPS 36578 WITH SCORE 36758.471
AT ITER 482 NEW BEST:: SOT 268249 SOS 180432 HAS SOPS 128962 HAS SOUS 36894 HAS SOUPS 36578 WITH SCORE 36758.432
AT ITER 483 NEW BEST:: SOT 268108 SOS 180388 HAS SOPS 128800 HAS SOUS 36767 HAS SOUPS 36416 WITH SCORE 36596.388
AT ITER 487 NEW BEST:: SOT 268129 SOS 180408 HAS SOPS 128732 HAS SOUS 36698 HAS SOUPS 36347 WITH SCORE 36527.408
AT ITER 493 NEW BEST:: SOT 268104 SOS 180358 HAS SOPS 128657 HAS SOUS 36621 HAS SOUPS 36270 WITH SCORE 36450.358
AT ITER 499 NEW BEST:: SOT 268074 SOS 180268 HAS SOPS 128195 HAS SOUS 36087 HAS SOUPS 35736 WITH SCORE 35916.268
AT ITER 501 NEW BEST:: SOT 268153 SOS 177567 HAS SOPS 125504 HAS SOUS 36049 HAS SOUPS 35698 WITH SCORE 35875.567
AT ITER 503 NEW BEST:: SOT 268051 SOS 177594 HAS SOPS 125292 HAS SOUS 35864 HAS SOUPS 35513 WITH SCORE 35690.594
AT ITER 504 NEW BEST:: SOT 267973 SOS 177547 HAS SOPS 125276 HAS SOUS 35849 HAS SOUPS 35498 WITH SCORE 35675.547
AT ITER 505 NEW BEST:: SOT 267973 SOS 176363 HAS SOPS 124092 HAS SOUS 35809 HAS SOUPS 35458 WITH SCORE 35634.363
AT ITER 509 NEW BEST:: SOT 267973 SOS 176374 HAS SOPS 124103 HAS SOUS 35802 HAS SOUPS 35451 WITH SCORE 35627.374
AT ITER 513 NEW BEST:: SOT 267975 SOS 176352 HAS SOPS 124081 HAS SOUS 35759 HAS SOUPS 35408 WITH SCORE 35584.352
AT ITER 515 NEW BEST:: SOT 266798 SOS 175183 HAS SOPS 123008 HAS SOUS 35466 HAS SOUPS 35115 WITH SCORE 35290.183
AT ITER 519 NEW BEST:: SOT 266781 SOS 175016 HAS SOPS 122804 HAS SOUS 35294 HAS SOUPS 34943 WITH SCORE 35118.016
AT ITER 526 NEW BEST:: SOT 266762 SOS 175068 HAS SOPS 122856 HAS SOUS 35282 HAS SOUPS 34931 WITH SCORE 35106.068
AT ITER 532 NEW BEST:: SOT 265930 SOS 174152 HAS SOPS 121912 HAS SOUS 34740 HAS SOUPS 34389 WITH SCORE 34563.152
AT ITER 539 NEW BEST:: SOT 265921 SOS 174143 HAS SOPS 121903 HAS SOUS 34731 HAS SOUPS 34380 WITH SCORE 34554.143
AT ITER 541 NEW BEST:: SOT 265919 SOS 174128 HAS SOPS 121877 HAS SOUS 34705 HAS SOUPS 34354 WITH SCORE 34528.128
AT ITER 545 NEW BEST:: SOT 264328 SOS 172660 HAS SOPS 122119 HAS SOUS 34620 HAS SOUPS 34269 WITH SCORE 34441.66
AT ITER 547 NEW BEST:: SOT 264266 SOS 172598 HAS SOPS 121995 HAS SOUS 34498 HAS SOUPS 34147 WITH SCORE 34319.598
AT ITER 550 NEW BEST:: SOT 264253 SOS 172595 HAS SOPS 121992 HAS SOUS 34495 HAS SOUPS 34144 WITH SCORE 34316.595
AT ITER 569 NEW BEST:: SOT 261787 SOS 170136 HAS SOPS 119771 HAS SOUS 33439 HAS SOUPS 33088 WITH SCORE 33258.136
AT ITER 571 NEW BEST:: SOT 261770 SOS 170119 HAS SOPS 119737 HAS SOUS 33422 HAS SOUPS 33071 WITH SCORE 33241.119
AT ITER 579 NEW BEST:: SOT 261724 SOS 170105 HAS SOPS 119715 HAS SOUS 33400 HAS SOUPS 33049 WITH SCORE 33219.105
AT ITER 584 NEW BEST:: SOT 261670 SOS 169894 HAS SOPS 119507 HAS SOUS 33253 HAS SOUPS 32902 WITH SCORE 33071.894
AT ITER 591 NEW BEST:: SOT 261623 SOS 169946 HAS SOPS 119486 HAS SOUS 33215 HAS SOUPS 32864 WITH SCORE 33033.946
AT ITER 593 NEW BEST:: SOT 261621 SOS 169944 HAS SOPS 119484 HAS SOUS 33213 HAS SOUPS 32862 WITH SCORE 33031.944
AT ITER 608 NEW BEST:: SOT 261460 SOS 169822 HAS SOPS 119276 HAS SOUS 33005 HAS SOUPS 32654 WITH SCORE 32823.822
AT ITER 625 NEW BEST:: SOT 261465 SOS 169819 HAS SOPS 119273 HAS SOUS 32997 HAS SOUPS 32646 WITH SCORE 32815.819
AT ITER 626 NEW BEST:: SOT 261352 SOS 169671 HAS SOPS 119125 HAS SOUS 32915 HAS SOUPS 32564 WITH SCORE 32733.671
AT ITER 629 NEW BEST:: SOT 261372 SOS 169569 HAS SOPS 119004 HAS SOUS 32813 HAS SOUPS 32462 WITH SCORE 32631.569
AT ITER 635 NEW BEST:: SOT 261362 SOS 169554 HAS SOPS 118984 HAS SOUS 32803 HAS SOUPS 32452 WITH SCORE 32621.554
AT ITER 636 NEW BEST:: SOT 261219 SOS 169495 HAS SOPS 118853 HAS SOUS 32668 HAS SOUPS 32317 WITH SCORE 32486.495
AT ITER 648 NEW BEST:: SOT 261219 SOS 167708 HAS SOPS 117069 HAS SOUS 32497 HAS SOUPS 32146 WITH SCORE 32313.708
AT ITER 656 NEW BEST:: SOT 261201 SOS 167686 HAS SOPS 117033 HAS SOUS 32461 HAS SOUPS 32110 WITH SCORE 32277.686
AT ITER 659 NEW BEST:: SOT 261105 SOS 167550 HAS SOPS 116841 HAS SOUS 32305 HAS SOUPS 31954 WITH SCORE 32121.55
AT ITER 664 NEW BEST:: SOT 261986 SOS 168464 HAS SOPS 116083 HAS SOUS 32287 HAS SOUPS 31936 WITH SCORE 32104.464
AT ITER 665 NEW BEST:: SOT 261946 SOS 168367 HAS SOPS 115946 HAS SOUS 32150 HAS SOUPS 31799 WITH SCORE 31967.367
AT ITER 668 NEW BEST:: SOT 261896 SOS 168185 HAS SOPS 115764 HAS SOUS 32061 HAS SOUPS 31710 WITH SCORE 31878.185
AT ITER 670 NEW BEST:: SOT 261539 SOS 167828 HAS SOPS 115407 HAS SOUS 31886 HAS SOUPS 31535 WITH SCORE 31702.828
AT ITER 672 NEW BEST:: SOT 261490 SOS 167722 HAS SOPS 115309 HAS SOUS 31805 HAS SOUPS 31454 WITH SCORE 31621.722
AT ITER 677 NEW BEST:: SOT 261490 SOS 167709 HAS SOPS 115296 HAS SOUS 31805 HAS SOUPS 31454 WITH SCORE 31621.709
AT ITER 685 NEW BEST:: SOT 261499 SOS 167678 HAS SOPS 115265 HAS SOUS 31784 HAS SOUPS 31433 WITH SCORE 31600.678
AT ITER 702 NEW BEST:: SOT 261492 SOS 167671 HAS SOPS 115258 HAS SOUS 31777 HAS SOUPS 31426 WITH SCORE 31593.671
AT ITER 705 NEW BEST:: SOT 261448 SOS 167627 HAS SOPS 115222 HAS SOUS 31741 HAS SOUPS 31390 WITH SCORE 31557.627
AT ITER 709 NEW BEST:: SOT 260878 SOS 167155 HAS SOPS 114689 HAS SOUS 31489 HAS SOUPS 31138 WITH SCORE 31305.155
AT ITER 727 NEW BEST:: SOT 260876 SOS 167152 HAS SOPS 114685 HAS SOUS 31485 HAS SOUPS 31134 WITH SCORE 31301.152
AT ITER 730 NEW BEST:: SOT 260822 SOS 167090 HAS SOPS 114604 HAS SOUS 31431 HAS SOUPS 31080 WITH SCORE 31247.09
AT ITER 732 NEW BEST:: SOT 260822 SOS 167084 HAS SOPS 114598 HAS SOUS 31425 HAS SOUPS 31074 WITH SCORE 31241.084
AT ITER 734 NEW BEST:: SOT 260822 SOS 167075 HAS SOPS 114589 HAS SOUS 31416 HAS SOUPS 31065 WITH SCORE 31232.075
AT ITER 736 NEW BEST:: SOT 260826 SOS 166994 HAS SOPS 114516 HAS SOUS 31350 HAS SOUPS 30999 WITH SCORE 31165.994
AT ITER 737 NEW BEST:: SOT 260821 SOS 166981 HAS SOPS 114506 HAS SOUS 31341 HAS SOUPS 30990 WITH SCORE 31156.981
AT ITER 739 NEW BEST:: SOT 260821 SOS 166982 HAS SOPS 114507 HAS SOUS 31333 HAS SOUPS 30982 WITH SCORE 31148.982
AT ITER 744 NEW BEST:: SOT 260821 SOS 166974 HAS SOPS 114499 HAS SOUS 31332 HAS SOUPS 30981 WITH SCORE 31147.974
AT ITER 758 NEW BEST:: SOT 260697 SOS 166869 HAS SOPS 114323 HAS SOUS 31229 HAS SOUPS 30878 WITH SCORE 31044.869
AT ITER 761 NEW BEST:: SOT 260688 SOS 166860 HAS SOPS 114305 HAS SOUS 31211 HAS SOUPS 30860 WITH SCORE 31026.86
AT ITER 765 NEW BEST:: SOT 260737 SOS 166521 HAS SOPS 114037 HAS SOUS 30998 HAS SOUPS 30647 WITH SCORE 30813.521
AT ITER 770 NEW BEST:: SOT 260735 SOS 166518 HAS SOPS 114034 HAS SOUS 30997 HAS SOUPS 30646 WITH SCORE 30812.518
AT ITER 776 NEW BEST:: SOT 260715 SOS 166458 HAS SOPS 113974 HAS SOUS 30976 HAS SOUPS 30625 WITH SCORE 30791.458
AT ITER 788 NEW BEST:: SOT 260715 SOS 166485 HAS SOPS 113974 HAS SOUS 30975 HAS SOUPS 30624 WITH SCORE 30790.485
AT ITER 791 NEW BEST:: SOT 260706 SOS 166467 HAS SOPS 113917 HAS SOUS 30950 HAS SOUPS 30599 WITH SCORE 30765.467
AT ITER 793 NEW BEST:: SOT 259963 SOS 165765 HAS SOPS 113863 HAS SOUS 30833 HAS SOUPS 30482 WITH SCORE 30647.765
AT ITER 797 NEW BEST:: SOT 259961 SOS 165825 HAS SOPS 113901 HAS SOUS 30830 HAS SOUPS 30479 WITH SCORE 30644.825
AT ITER 800 NEW BEST:: SOT 259935 SOS 165799 HAS SOPS 113849 HAS SOUS 30778 HAS SOUPS 30427 WITH SCORE 30592.799
AT ITER 801 NEW BEST:: SOT 259967 SOS 165741 HAS SOPS 113791 HAS SOUS 30746 HAS SOUPS 30395 WITH SCORE 30560.741
AT ITER 802 NEW BEST:: SOT 260492 SOS 164367 HAS SOPS 107716 HAS SOUS 29847 HAS SOUPS 29496 WITH SCORE 29660.367
AT ITER 811 NEW BEST:: SOT 260492 SOS 164363 HAS SOPS 107716 HAS SOUS 29844 HAS SOUPS 29493 WITH SCORE 29657.363
AT ITER 812 NEW BEST:: SOT 260492 SOS 164341 HAS SOPS 107694 HAS SOUS 29844 HAS SOUPS 29493 WITH SCORE 29657.341
AT ITER 816 NEW BEST:: SOT 260419 SOS 164221 HAS SOPS 107548 HAS SOUS 29726 HAS SOUPS 29375 WITH SCORE 29539.221
AT ITER 824 NEW BEST:: SOT 260150 SOS 163955 HAS SOPS 107270 HAS SOUS 29476 HAS SOUPS 29122 WITH SCORE 29285.955
AT ITER 829 NEW BEST:: SOT 260141 SOS 163947 HAS SOPS 107262 HAS SOUS 29473 HAS SOUPS 29119 WITH SCORE 29282.947
AT ITER 830 NEW BEST:: SOT 260113 SOS 163926 HAS SOPS 107227 HAS SOUS 29459 HAS SOUPS 29105 WITH SCORE 29268.926
AT ITER 833 NEW BEST:: SOT 260142 SOS 163936 HAS SOPS 107237 HAS SOUS 29447 HAS SOUPS 29093 WITH SCORE 29256.936
AT ITER 835 NEW BEST:: SOT 260011 SOS 163826 HAS SOPS 107073 HAS SOUS 29294 HAS SOUPS 28940 WITH SCORE 29103.826
AT ITER 848 NEW BEST:: SOT 260008 SOS 163820 HAS SOPS 107067 HAS SOUS 29291 HAS SOUPS 28937 WITH SCORE 29100.82
AT ITER 851 NEW BEST:: SOT 260005 SOS 163817 HAS SOPS 107061 HAS SOUS 29285 HAS SOUPS 28931 WITH SCORE 29094.817
AT ITER 856 NEW BEST:: SOT 259922 SOS 163579 HAS SOPS 106682 HAS SOUS 28911 HAS SOUPS 28557 WITH SCORE 28720.579
AT ITER 859 NEW BEST:: SOT 259883 SOS 163501 HAS SOPS 106550 HAS SOUS 28779 HAS SOUPS 28425 WITH SCORE 28588.501
AT ITER 862 NEW BEST:: SOT 259849 SOS 163467 HAS SOPS 106482 HAS SOUS 28711 HAS SOUPS 28357 WITH SCORE 28520.467
AT ITER 878 NEW BEST:: SOT 259849 SOS 163461 HAS SOPS 106368 HAS SOUS 28501 HAS SOUPS 28147 WITH SCORE 28310.461
AT ITER 886 NEW BEST:: SOT 259848 SOS 163449 HAS SOPS 106356 HAS SOUS 28494 HAS SOUPS 28140 WITH SCORE 28303.449
AT ITER 887 NEW BEST:: SOT 259848 SOS 163384 HAS SOPS 106291 HAS SOUS 28494 HAS SOUPS 28140 WITH SCORE 28303.384
AT ITER 896 NEW BEST:: SOT 259849 SOS 163274 HAS SOPS 106199 HAS SOUS 28452 HAS SOUPS 28098 WITH SCORE 28261.274
AT ITER 897 NEW BEST:: SOT 259501 SOS 162929 HAS SOPS 106040 HAS SOUS 28307 HAS SOUPS 27953 WITH SCORE 28115.929
AT ITER 900 NEW BEST:: SOT 259528 SOS 161448 HAS SOPS 103979 HAS SOUS 28131 HAS SOUPS 27777 WITH SCORE 27938.448
AT ITER 903 NEW BEST:: SOT 259514 SOS 161433 HAS SOPS 103963 HAS SOUS 28120 HAS SOUPS 27766 WITH SCORE 27927.433
AT ITER 909 NEW BEST:: SOT 259505 SOS 161433 HAS SOPS 103954 HAS SOUS 28111 HAS SOUPS 27757 WITH SCORE 27918.433
AT ITER 913 NEW BEST:: SOT 259544 SOS 161305 HAS SOPS 103755 HAS SOUS 27960 HAS SOUPS 27606 WITH SCORE 27767.305
AT ITER 921 NEW BEST:: SOT 259517 SOS 161222 HAS SOPS 103676 HAS SOUS 27951 HAS SOUPS 27597 WITH SCORE 27758.222
AT ITER 923 NEW BEST:: SOT 259480 SOS 161217 HAS SOPS 103602 HAS SOUS 27877 HAS SOUPS 27523 WITH SCORE 27684.217
AT ITER 939 NEW BEST:: SOT 259433 SOS 161250 HAS SOPS 103629 HAS SOUS 27838 HAS SOUPS 27484 WITH SCORE 27645.25
AT ITER 950 NEW BEST:: SOT 259426 SOS 161236 HAS SOPS 103615 HAS SOUS 27831 HAS SOUPS 27477 WITH SCORE 27638.236
AT ITER 952 NEW BEST:: SOT 259407 SOS 161250 HAS SOPS 103577 HAS SOUS 27782 HAS SOUPS 27428 WITH SCORE 27589.25
AT ITER 956 NEW BEST:: SOT 259410 SOS 161249 HAS SOPS 103576 HAS SOUS 27781 HAS SOUPS 27427 WITH SCORE 27588.249
AT ITER 957 NEW BEST:: SOT 259365 SOS 161281 HAS SOPS 103583 HAS SOUS 27746 HAS SOUPS 27392 WITH SCORE 27553.281
AT ITER 963 NEW BEST:: SOT 259330 SOS 161274 HAS SOPS 103576 HAS SOUS 27719 HAS SOUPS 27365 WITH SCORE 27526.274
AT ITER 965 NEW BEST:: SOT 259349 SOS 161248 HAS SOPS 103506 HAS SOUS 27591 HAS SOUPS 27236 WITH SCORE 27397.248
AT ITER 973 NEW BEST:: SOT 259349 SOS 161233 HAS SOPS 103491 HAS SOUS 27580 HAS SOUPS 27225 WITH SCORE 27386.233
AT ITER 975 NEW BEST:: SOT 259352 SOS 161233 HAS SOPS 103444 HAS SOUS 27479 HAS SOUPS 27124 WITH SCORE 27285.233
AT ITER 977 NEW BEST:: SOT 259232 SOS 160921 HAS SOPS 103081 HAS SOUS 27185 HAS SOUPS 26830 WITH SCORE 26990.921
AT ITER 987 NEW BEST:: SOT 259172 SOS 160831 HAS SOPS 102991 HAS SOUS 27125 HAS SOUPS 26770 WITH SCORE 26930.831
AT ITER 1006 NEW BEST:: SOT 259127 SOS 160741 HAS SOPS 102901 HAS SOUS 27080 HAS SOUPS 26725 WITH SCORE 26885.741
AT ITER 1007 NEW BEST:: SOT 258553 SOS 162853 HAS SOPS 102288 HAS SOUS 26639 HAS SOUPS 26246 WITH SCORE 26408.853
AT ITER 1018 NEW BEST:: SOT 258532 SOS 162766 HAS SOPS 102201 HAS SOUS 26573 HAS SOUPS 26180 WITH SCORE 26342.766
AT ITER 1024 NEW BEST:: SOT 258528 SOS 162754 HAS SOPS 102101 HAS SOUS 26433 HAS SOUPS 26040 WITH SCORE 26202.754
AT ITER 1035 NEW BEST:: SOT 258527 SOS 162753 HAS SOPS 102099 HAS SOUS 26431 HAS SOUPS 26038 WITH SCORE 26200.753
AT ITER 1037 NEW BEST:: SOT 258526 SOS 162752 HAS SOPS 102097 HAS SOUS 26429 HAS SOUPS 26036 WITH SCORE 26198.752
AT ITER 1042 NEW BEST:: SOT 258494 SOS 162845 HAS SOPS 102146 HAS SOUS 26396 HAS SOUPS 26003 WITH SCORE 26165.845
AT ITER 1051 NEW BEST:: SOT 257442 SOS 161853 HAS SOPS 101336 HAS SOUS 26194 HAS SOUPS 25801 WITH SCORE 25962.853
AT ITER 1062 NEW BEST:: SOT 257442 SOS 161847 HAS SOPS 101330 HAS SOUS 26188 HAS SOUPS 25795 WITH SCORE 25956.847
AT ITER 1065 NEW BEST:: SOT 257381 SOS 161749 HAS SOPS 101208 HAS SOUS 26103 HAS SOUPS 25710 WITH SCORE 25871.749
AT ITER 1067 NEW BEST:: SOT 257372 SOS 161722 HAS SOPS 101181 HAS SOUS 26085 HAS SOUPS 25692 WITH SCORE 25853.722
AT ITER 1088 NEW BEST:: SOT 257361 SOS 161711 HAS SOPS 101159 HAS SOUS 26063 HAS SOUPS 25670 WITH SCORE 25831.711
AT ITER 1094 NEW BEST:: SOT 257284 SOS 161605 HAS SOPS 101053 HAS SOUS 25957 HAS SOUPS 25564 WITH SCORE 25725.605
AT ITER 1097 NEW BEST:: SOT 257091 SOS 161400 HAS SOPS 100766 HAS SOUS 25781 HAS SOUPS 25388 WITH SCORE 25549.4
AT ITER 1103 NEW BEST:: SOT 257055 SOS 161344 HAS SOPS 100694 HAS SOUS 25726 HAS SOUPS 25333 WITH SCORE 25494.344
AT ITER 1105 NEW BEST:: SOT 257023 SOS 161254 HAS SOPS 100630 HAS SOUS 25662 HAS SOUPS 25269 WITH SCORE 25430.254
AT ITER 1106 NEW BEST:: SOT 257002 SOS 161219 HAS SOPS 100588 HAS SOUS 25634 HAS SOUPS 25241 WITH SCORE 25402.219
AT ITER 1112 NEW BEST:: SOT 256999 SOS 161201 HAS SOPS 100366 HAS SOUS 25202 HAS SOUPS 24809 WITH SCORE 24970.201
AT ITER 1123 NEW BEST:: SOT 256985 SOS 161187 HAS SOPS 100338 HAS SOUS 25180 HAS SOUPS 24781 WITH SCORE 24942.187
AT ITER 1131 NEW BEST:: SOT 256606 SOS 160793 HAS SOPS 100014 HAS SOUS 25090 HAS SOUPS 24691 WITH SCORE 24851.793
AT ITER 1137 NEW BEST:: SOT 256604 SOS 160796 HAS SOPS 100010 HAS SOUS 25086 HAS SOUPS 24687 WITH SCORE 24847.796
AT ITER 1144 NEW BEST:: SOT 256573 SOS 160838 HAS SOPS 100021 HAS SOUS 25034 HAS SOUPS 24635 WITH SCORE 24795.838
AT ITER 1158 NEW BEST:: SOT 256533 SOS 160636 HAS SOPS 99833 HAS SOUS 24900 HAS SOUPS 24501 WITH SCORE 24661.636
AT ITER 1160 NEW BEST:: SOT 256486 SOS 160617 HAS SOPS 99786 HAS SOUS 24849 HAS SOUPS 24450 WITH SCORE 24610.617
AT ITER 1161 NEW BEST:: SOT 256450 SOS 160530 HAS SOPS 99696 HAS SOUS 24803 HAS SOUPS 24404 WITH SCORE 24564.53
AT ITER 1163 NEW BEST:: SOT 256448 SOS 160526 HAS SOPS 99692 HAS SOUS 24799 HAS SOUPS 24400 WITH SCORE 24560.526
AT ITER 1170 NEW BEST:: SOT 256448 SOS 160503 HAS SOPS 99669 HAS SOUS 24799 HAS SOUPS 24400 WITH SCORE 24560.503
AT ITER 1189 NEW BEST:: SOT 256446 SOS 160500 HAS SOPS 99666 HAS SOUS 24797 HAS SOUPS 24398 WITH SCORE 24558.5
AT ITER 1194 NEW BEST:: SOT 256446 SOS 160459 HAS SOPS 99639 HAS SOUS 24797 HAS SOUPS 24398 WITH SCORE 24558.459
AT ITER 1198 NEW BEST:: SOT 256389 SOS 160362 HAS SOPS 99525 HAS SOUS 24725 HAS SOUPS 24326 WITH SCORE 24486.362
AT ITER 1200 NEW BEST:: SOT 256330 SOS 160177 HAS SOPS 99312 HAS SOUS 24591 HAS SOUPS 24192 WITH SCORE 24352.177
AT ITER 1210 NEW BEST:: SOT 256303 SOS 160157 HAS SOPS 99299 HAS SOUS 24574 HAS SOUPS 24184 WITH SCORE 24344.157
AT ITER 1212 NEW BEST:: SOT 256279 SOS 156527 HAS SOPS 95693 HAS SOUS 24506 HAS SOUPS 24116 WITH SCORE 24272.527
AT ITER 1237 NEW BEST:: SOT 256270 SOS 156518 HAS SOPS 95688 HAS SOUS 24501 HAS SOUPS 24111 WITH SCORE 24267.518
AT ITER 1261 NEW BEST:: SOT 256227 SOS 156431 HAS SOPS 95602 HAS SOUS 24467 HAS SOUPS 24077 WITH SCORE 24233.431
AT ITER 1276 NEW BEST:: SOT 256313 SOS 156162 HAS SOPS 95430 HAS SOUS 24373 HAS SOUPS 23983 WITH SCORE 24139.162
AT ITER 1282 NEW BEST:: SOT 256284 SOS 156162 HAS SOPS 95372 HAS SOUS 24323 HAS SOUPS 23932 WITH SCORE 24088.162
AT ITER 1297 NEW BEST:: SOT 256278 SOS 156146 HAS SOPS 95350 HAS SOUS 24301 HAS SOUPS 23910 WITH SCORE 24066.146
AT ITER 1298 NEW BEST:: SOT 256303 SOS 156131 HAS SOPS 95335 HAS SOUS 24261 HAS SOUPS 23870 WITH SCORE 24026.131
AT ITER 1306 NEW BEST:: SOT 256301 SOS 156128 HAS SOPS 95331 HAS SOUS 24258 HAS SOUPS 23867 WITH SCORE 24023.128
AT ITER 1307 NEW BEST:: SOT 256052 SOS 155879 HAS SOPS 95079 HAS SOUS 24131 HAS SOUPS 23738 WITH SCORE 23893.879
AT ITER 1314 NEW BEST:: SOT 256043 SOS 155873 HAS SOPS 95067 HAS SOUS 24119 HAS SOUPS 23726 WITH SCORE 23881.873
AT ITER 1320 NEW BEST:: SOT 256043 SOS 155867 HAS SOPS 95064 HAS SOUS 24119 HAS SOUPS 23726 WITH SCORE 23881.867
AT ITER 1332 NEW BEST:: SOT 255987 SOS 155818 HAS SOPS 95015 HAS SOUS 24098 HAS SOUPS 23705 WITH SCORE 23860.818
AT ITER 1334 NEW BEST:: SOT 255925 SOS 155792 HAS SOPS 94927 HAS SOUS 24010 HAS SOUPS 23617 WITH SCORE 23772.792
AT ITER 1335 NEW BEST:: SOT 255906 SOS 155312 HAS SOPS 94225 HAS SOUS 23951 HAS SOUPS 23558 WITH SCORE 23713.312
AT ITER 1353 NEW BEST:: SOT 255905 SOS 155311 HAS SOPS 94224 HAS SOUS 23950 HAS SOUPS 23557 WITH SCORE 23712.311
AT ITER 1358 NEW BEST:: SOT 255905 SOS 154442 HAS SOPS 93366 HAS SOUS 23928 HAS SOUPS 23535 WITH SCORE 23689.442
AT ITER 1368 NEW BEST:: SOT 255466 SOS 156152 HAS SOPS 95846 HAS SOUS 23921 HAS SOUPS 23528 WITH SCORE 23684.152
AT ITER 1414 NEW BEST:: SOT 255461 SOS 156145 HAS SOPS 95839 HAS SOUS 23911 HAS SOUPS 23518 WITH SCORE 23674.145
AT ITER 1429 NEW BEST:: SOT 255432 SOS 156125 HAS SOPS 95813 HAS SOUS 23909 HAS SOUPS 23516 WITH SCORE 23672.125
AT ITER 1441 NEW BEST:: SOT 255410 SOS 156077 HAS SOPS 95739 HAS SOUS 23857 HAS SOUPS 23464 WITH SCORE 23620.077
AT ITER 1451 NEW BEST:: SOT 255429 SOS 156122 HAS SOPS 95784 HAS SOUS 23850 HAS SOUPS 23457 WITH SCORE 23613.122
AT ITER 1452 NEW BEST:: SOT 255369 SOS 156037 HAS SOPS 95697 HAS SOUS 23763 HAS SOUPS 23370 WITH SCORE 23526.037
AT ITER 1454 NEW BEST:: SOT 255386 SOS 156037 HAS SOPS 94572 HAS SOUS 23620 HAS SOUPS 23227 WITH SCORE 23383.037
AT ITER 1456 NEW BEST:: SOT 255386 SOS 156035 HAS SOPS 94566 HAS SOUS 23576 HAS SOUPS 23183 WITH SCORE 23339.035
AT ITER 1457 NEW BEST:: SOT 255008 SOS 155657 HAS SOPS 94347 HAS SOUS 23439 HAS SOUPS 23046 WITH SCORE 23201.657
AT ITER 1466 NEW BEST:: SOT 255321 SOS 153815 HAS SOPS 91703 HAS SOUS 23415 HAS SOUPS 23022 WITH SCORE 23175.815
AT ITER 1482 NEW BEST:: SOT 255301 SOS 153845 HAS SOPS 91696 HAS SOUS 23407 HAS SOUPS 23014 WITH SCORE 23167.845
AT ITER 1497 NEW BEST:: SOT 255257 SOS 153779 HAS SOPS 91608 HAS SOUS 23363 HAS SOUPS 22970 WITH SCORE 23123.779
AT ITER 1499 NEW BEST:: SOT 255245 SOS 153620 HAS SOPS 91453 HAS SOUS 23224 HAS SOUPS 22831 WITH SCORE 22984.62
AT ITER 1517 NEW BEST:: SOT 255235 SOS 153620 HAS SOPS 91443 HAS SOUS 23214 HAS SOUPS 22821 WITH SCORE 22974.62
AT ITER 1525 NEW BEST:: SOT 255235 SOS 153620 HAS SOPS 91443 HAS SOUS 23203 HAS SOUPS 22810 WITH SCORE 22963.62
AT ITER 1531 NEW BEST:: SOT 255235 SOS 153617 HAS SOPS 91395 HAS SOUS 23098 HAS SOUPS 22705 WITH SCORE 22858.617
AT ITER 1534 NEW BEST:: SOT 255235 SOS 153570 HAS SOPS 91348 HAS SOUS 23098 HAS SOUPS 22705 WITH SCORE 22858.57
AT ITER 1538 NEW BEST:: SOT 254504 SOS 152852 HAS SOPS 90643 HAS SOUS 22765 HAS SOUPS 22372 WITH SCORE 22524.852
AT ITER 1562 NEW BEST:: SOT 254455 SOS 152774 HAS SOPS 90545 HAS SOUS 22657 HAS SOUPS 22264 WITH SCORE 22416.774
AT ITER 1564 NEW BEST:: SOT 254447 SOS 152758 HAS SOPS 90529 HAS SOUS 22641 HAS SOUPS 22248 WITH SCORE 22400.758
AT ITER 1578 NEW BEST:: SOT 254379 SOS 152695 HAS SOPS 90466 HAS SOUS 22638 HAS SOUPS 22245 WITH SCORE 22397.695
AT ITER 1610 NEW BEST:: SOT 254387 SOS 152689 HAS SOPS 90460 HAS SOUS 22624 HAS SOUPS 22231 WITH SCORE 22383.689
AT ITER 1633 NEW BEST:: SOT 254383 SOS 152707 HAS SOPS 90455 HAS SOUS 22615 HAS SOUPS 22222 WITH SCORE 22374.707
AT ITER 1634 NEW BEST:: SOT 254280 SOS 152538 HAS SOPS 90249 HAS SOUS 22452 HAS SOUPS 22059 WITH SCORE 22211.538
AT ITER 1638 NEW BEST:: SOT 254285 SOS 152565 HAS SOPS 90259 HAS SOUS 22449 HAS SOUPS 22056 WITH SCORE 22208.565
AT ITER 1641 NEW BEST:: SOT 254261 SOS 152513 HAS SOPS 90211 HAS SOUS 22405 HAS SOUPS 22012 WITH SCORE 22164.513
AT ITER 1644 NEW BEST:: SOT 254256 SOS 152498 HAS SOPS 90196 HAS SOUS 22395 HAS SOUPS 22002 WITH SCORE 22154.498
AT ITER 1650 NEW BEST:: SOT 254251 SOS 152424 HAS SOPS 90186 HAS SOUS 22389 HAS SOUPS 21996 WITH SCORE 22148.424
AT ITER 1666 NEW BEST:: SOT 254223 SOS 152361 HAS SOPS 90107 HAS SOUS 22311 HAS SOUPS 21918 WITH SCORE 22070.361
AT ITER 1675 NEW BEST:: SOT 254235 SOS 152352 HAS SOPS 90098 HAS SOUS 22306 HAS SOUPS 21913 WITH SCORE 22065.352
AT ITER 1697 NEW BEST:: SOT 254212 SOS 152317 HAS SOPS 90050 HAS SOUS 22303 HAS SOUPS 21910 WITH SCORE 22062.317
AT ITER 1712 NEW BEST:: SOT 254206 SOS 152311 HAS SOPS 90038 HAS SOUS 22291 HAS SOUPS 21898 WITH SCORE 22050.311
AT ITER 1713 NEW BEST:: SOT 254209 SOS 152278 HAS SOPS 90000 HAS SOUS 22253 HAS SOUPS 21860 WITH SCORE 22012.278
AT ITER 1714 NEW BEST:: SOT 254209 SOS 152273 HAS SOPS 90000 HAS SOUS 22253 HAS SOUPS 21860 WITH SCORE 22012.273
AT ITER 1721 NEW BEST:: SOT 254182 SOS 152258 HAS SOPS 89981 HAS SOUS 22222 HAS SOUPS 21829 WITH SCORE 21981.258
AT ITER 1724 NEW BEST:: SOT 254165 SOS 152198 HAS SOPS 89921 HAS SOUS 22205 HAS SOUPS 21812 WITH SCORE 21964.198
AT ITER 1730 NEW BEST:: SOT 254124 SOS 152145 HAS SOPS 89860 HAS SOUS 22163 HAS SOUPS 21770 WITH SCORE 21922.145
AT ITER 1740 NEW BEST:: SOT 254122 SOS 152145 HAS SOPS 89856 HAS SOUS 22158 HAS SOUPS 21765 WITH SCORE 21917.145
AT ITER 1745 NEW BEST:: SOT 254085 SOS 152033 HAS SOPS 89744 HAS SOUS 22086 HAS SOUPS 21693 WITH SCORE 21845.033
AT ITER 1749 NEW BEST:: SOT 254083 SOS 152013 HAS SOPS 89623 HAS SOUS 21938 HAS SOUPS 21545 WITH SCORE 21697.013
AT ITER 1776 NEW BEST:: SOT 254071 SOS 152023 HAS SOPS 89621 HAS SOUS 21914 HAS SOUPS 21521 WITH SCORE 21673.023
AT ITER 1778 NEW BEST:: SOT 254070 SOS 152008 HAS SOPS 89593 HAS SOUS 21881 HAS SOUPS 21488 WITH SCORE 21640.008
AT ITER 1782 NEW BEST:: SOT 254056 SOS 151994 HAS SOPS 89565 HAS SOUS 21853 HAS SOUPS 21460 WITH SCORE 21611.994
AT ITER 1800 NEW BEST:: SOT 254035 SOS 151952 HAS SOPS 89544 HAS SOUS 21853 HAS SOUPS 21460 WITH SCORE 21611.952
AT ITER 1801 NEW BEST:: SOT 254029 SOS 151946 HAS SOPS 89538 HAS SOUS 21847 HAS SOUPS 21454 WITH SCORE 21605.946
AT ITER 1831 NEW BEST:: SOT 254033 SOS 151916 HAS SOPS 89449 HAS SOUS 21792 HAS SOUPS 21390 WITH SCORE 21541.916
AT ITER 1876 NEW BEST:: SOT 254031 SOS 151912 HAS SOPS 89445 HAS SOUS 21790 HAS SOUPS 21388 WITH SCORE 21539.912
AT ITER 1878 NEW BEST:: SOT 254004 SOS 151885 HAS SOPS 89391 HAS SOUS 21736 HAS SOUPS 21334 WITH SCORE 21485.885
AT ITER 1881 NEW BEST:: SOT 253998 SOS 151868 HAS SOPS 89379 HAS SOUS 21735 HAS SOUPS 21333 WITH SCORE 21484.868
AT ITER 1886 NEW BEST:: SOT 253931 SOS 152217 HAS SOPS 89691 HAS SOUS 21666 HAS SOUPS 21264 WITH SCORE 21416.217
AT ITER 1887 NEW BEST:: SOT 253931 SOS 152217 HAS SOPS 89686 HAS SOUS 21661 HAS SOUPS 21259 WITH SCORE 21411.217
AT ITER 1897 NEW BEST:: SOT 253929 SOS 152207 HAS SOPS 89682 HAS SOUS 21658 HAS SOUPS 21256 WITH SCORE 21408.207
AT ITER 1911 NEW BEST:: SOT 253905 SOS 152165 HAS SOPS 89634 HAS SOUS 21628 HAS SOUPS 21226 WITH SCORE 21378.165
AT ITER 1915 NEW BEST:: SOT 253917 SOS 152153 HAS SOPS 89630 HAS SOUS 21620 HAS SOUPS 21218 WITH SCORE 21370.153
AT ITER 1934 NEW BEST:: SOT 253867 SOS 152101 HAS SOPS 89578 HAS SOUS 21597 HAS SOUPS 21195 WITH SCORE 21347.101
AT ITER 1951 NEW BEST:: SOT 253867 SOS 152092 HAS SOPS 89578 HAS SOUS 21597 HAS SOUPS 21195 WITH SCORE 21347.092
AT ITER 1965 NEW BEST:: SOT 253849 SOS 152037 HAS SOPS 89523 HAS SOUS 21560 HAS SOUPS 21158 WITH SCORE 21310.037
AT ITER 1987 NEW BEST:: SOT 253856 SOS 152044 HAS SOPS 89515 HAS SOUS 21552 HAS SOUPS 21150 WITH SCORE 21302.044
AT ITER 1996 NEW BEST:: SOT 253826 SOS 152030 HAS SOPS 89471 HAS SOUS 21508 HAS SOUPS 21106 WITH SCORE 21258.03
AT ITER 2010 NEW BEST:: SOT 253815 SOS 152026 HAS SOPS 89449 HAS SOUS 21476 HAS SOUPS 21074 WITH SCORE 21226.026
AT ITER 2031 NEW BEST:: SOT 253803 SOS 152014 HAS SOPS 89431 HAS SOUS 21458 HAS SOUPS 21056 WITH SCORE 21208.014
AT ITER 2045 NEW BEST:: SOT 253773 SOS 151996 HAS SOPS 89406 HAS SOUS 21433 HAS SOUPS 21031 WITH SCORE 21182.996
AT ITER 2047 NEW BEST:: SOT 253630 SOS 151850 HAS SOPS 89244 HAS SOUS 21279 HAS SOUPS 20877 WITH SCORE 21028.85
AT ITER 2053 NEW BEST:: SOT 253620 SOS 151755 HAS SOPS 89150 HAS SOUS 21259 HAS SOUPS 20857 WITH SCORE 21008.755
AT ITER 2055 NEW BEST:: SOT 253742 SOS 151642 HAS SOPS 89088 HAS SOUS 21230 HAS SOUPS 20828 WITH SCORE 20979.642
AT ITER 2074 NEW BEST:: SOT 253731 SOS 151631 HAS SOPS 89077 HAS SOUS 21219 HAS SOUPS 20817 WITH SCORE 20968.631
AT ITER 2085 NEW BEST:: SOT 253738 SOS 151581 HAS SOPS 89015 HAS SOUS 21154 HAS SOUPS 20752 WITH SCORE 20903.581
AT ITER 2091 NEW BEST:: SOT 253735 SOS 151580 HAS SOPS 89014 HAS SOUS 21148 HAS SOUPS 20746 WITH SCORE 20897.58
AT ITER 2104 NEW BEST:: SOT 253743 SOS 151574 HAS SOPS 89006 HAS SOUS 21142 HAS SOUPS 20740 WITH SCORE 20891.574
AT ITER 2109 NEW BEST:: SOT 253751 SOS 151583 HAS SOPS 89014 HAS SOUS 21132 HAS SOUPS 20730 WITH SCORE 20881.583
AT ITER 2111 NEW BEST:: SOT 253520 SOS 151361 HAS SOPS 88792 HAS SOUS 21021 HAS SOUPS 20619 WITH SCORE 20770.361
AT ITER 2112 NEW BEST:: SOT 253524 SOS 151374 HAS SOPS 88800 HAS SOUS 21020 HAS SOUPS 20618 WITH SCORE 20769.374
AT ITER 2118 NEW BEST:: SOT 253141 SOS 152358 HAS SOPS 90536 HAS SOUS 20902 HAS SOUPS 20500 WITH SCORE 20652.358
AT ITER 2120 NEW BEST:: SOT 253135 SOS 152352 HAS SOPS 90524 HAS SOUS 20890 HAS SOUPS 20488 WITH SCORE 20640.352
AT ITER 2121 NEW BEST:: SOT 253108 SOS 152338 HAS SOPS 90498 HAS SOUS 20848 HAS SOUPS 20446 WITH SCORE 20598.338
AT ITER 2142 NEW BEST:: SOT 253108 SOS 152331 HAS SOPS 90491 HAS SOUS 20841 HAS SOUPS 20439 WITH SCORE 20591.331
AT ITER 2154 NEW BEST:: SOT 252992 SOS 152133 HAS SOPS 90259 HAS SOUS 20691 HAS SOUPS 20289 WITH SCORE 20441.133
AT ITER 2155 NEW BEST:: SOT 252973 SOS 152124 HAS SOPS 90261 HAS SOUS 20684 HAS SOUPS 20282 WITH SCORE 20434.124
AT ITER 2178 NEW BEST:: SOT 252978 SOS 152118 HAS SOPS 90258 HAS SOUS 20681 HAS SOUPS 20279 WITH SCORE 20431.118
AT ITER 2186 NEW BEST:: SOT 252957 SOS 152068 HAS SOPS 90216 HAS SOUS 20639 HAS SOUPS 20237 WITH SCORE 20389.068
AT ITER 2199 NEW BEST:: SOT 252932 SOS 152108 HAS SOPS 90228 HAS SOUS 20589 HAS SOUPS 20187 WITH SCORE 20339.108
AT ITER 2201 NEW BEST:: SOT 252828 SOS 152093 HAS SOPS 90258 HAS SOUS 20579 HAS SOUPS 20177 WITH SCORE 20329.093
AT ITER 2210 NEW BEST:: SOT 252826 SOS 151933 HAS SOPS 90098 HAS SOUS 20571 HAS SOUPS 20169 WITH SCORE 20320.933
AT ITER 2211 NEW BEST:: SOT 252835 SOS 151939 HAS SOPS 90116 HAS SOUS 20559 HAS SOUPS 20157 WITH SCORE 20308.939
AT ITER 2232 NEW BEST:: SOT 252814 SOS 151880 HAS SOPS 90074 HAS SOUS 20533 HAS SOUPS 20131 WITH SCORE 20282.88
AT ITER 2238 NEW BEST:: SOT 252784 SOS 151805 HAS SOPS 90014 HAS SOUS 20516 HAS SOUPS 20114 WITH SCORE 20265.805
AT ITER 2242 NEW BEST:: SOT 252784 SOS 150567 HAS SOPS 88573 HAS SOUS 20423 HAS SOUPS 20021 WITH SCORE 20171.567
AT ITER 2247 NEW BEST:: SOT 252779 SOS 150557 HAS SOPS 88563 HAS SOUS 20423 HAS SOUPS 20021 WITH SCORE 20171.557
AT ITER 2257 NEW BEST:: SOT 252779 SOS 150557 HAS SOPS 88553 HAS SOUS 20418 HAS SOUPS 20011 WITH SCORE 20161.557
AT ITER 2261 NEW BEST:: SOT 252772 SOS 150550 HAS SOPS 88539 HAS SOUS 20404 HAS SOUPS 19997 WITH SCORE 20147.55
AT ITER 2274 NEW BEST:: SOT 252768 SOS 150550 HAS SOPS 88531 HAS SOUS 20392 HAS SOUPS 19985 WITH SCORE 20135.55
AT ITER 2298 NEW BEST:: SOT 252757 SOS 150523 HAS SOPS 88504 HAS SOUS 20380 HAS SOUPS 19973 WITH SCORE 20123.523
AT ITER 2305 NEW BEST:: SOT 252767 SOS 150503 HAS SOPS 88490 HAS SOUS 20375 HAS SOUPS 19968 WITH SCORE 20118.503
AT ITER 2343 NEW BEST:: SOT 252755 SOS 150471 HAS SOPS 88458 HAS SOUS 20343 HAS SOUPS 19936 WITH SCORE 20086.471
AT ITER 2347 NEW BEST:: SOT 252722 SOS 150438 HAS SOPS 88438 HAS SOUS 20340 HAS SOUPS 19933 WITH SCORE 20083.438
AT ITER 2359 NEW BEST:: SOT 252722 SOS 150456 HAS SOPS 88438 HAS SOUS 20331 HAS SOUPS 19924 WITH SCORE 20074.456
AT ITER 2376 NEW BEST:: SOT 252706 SOS 150432 HAS SOPS 88414 HAS SOUS 20323 HAS SOUPS 19916 WITH SCORE 20066.432
AT ITER 2396 NEW BEST:: SOT 252678 SOS 150390 HAS SOPS 88358 HAS SOUS 20281 HAS SOUPS 19874 WITH SCORE 20024.39
AT ITER 2408 NEW BEST:: SOT 252609 SOS 150521 HAS SOPS 88697 HAS SOUS 20243 HAS SOUPS 19836 WITH SCORE 19986.521
AT ITER 2413 NEW BEST:: SOT 252608 SOS 150519 HAS SOPS 88695 HAS SOUS 20242 HAS SOUPS 19835 WITH SCORE 19985.519
AT ITER 2417 NEW BEST:: SOT 252608 SOS 150519 HAS SOPS 88682 HAS SOUS 20229 HAS SOUPS 19822 WITH SCORE 19972.519
AT ITER 2448 NEW BEST:: SOT 252577 SOS 150428 HAS SOPS 88590 HAS SOUS 20137 HAS SOUPS 19730 WITH SCORE 19880.428
AT ITER 2474 NEW BEST:: SOT 252577 SOS 150425 HAS SOPS 88587 HAS SOUS 20134 HAS SOUPS 19727 WITH SCORE 19877.425
AT ITER 2483 NEW BEST:: SOT 252544 SOS 150370 HAS SOPS 88521 HAS SOUS 20068 HAS SOUPS 19661 WITH SCORE 19811.37
AT ITER 2519 NEW BEST:: SOT 253000 SOS 150796 HAS SOPS 88680 HAS SOUS 19951 HAS SOUPS 19544 WITH SCORE 19694.796
AT ITER 2525 NEW BEST:: SOT 252664 SOS 150466 HAS SOPS 88344 HAS SOUS 19789 HAS SOUPS 19382 WITH SCORE 19532.466
AT ITER 2539 NEW BEST:: SOT 252646 SOS 150420 HAS SOPS 88308 HAS SOUS 19781 HAS SOUPS 19374 WITH SCORE 19524.42
AT ITER 2542 NEW BEST:: SOT 252647 SOS 150404 HAS SOPS 88310 HAS SOUS 19778 HAS SOUPS 19371 WITH SCORE 19521.404
AT ITER 2557 NEW BEST:: SOT 252647 SOS 150403 HAS SOPS 88240 HAS SOUS 19770 HAS SOUPS 19363 WITH SCORE 19513.403
AT ITER 2559 NEW BEST:: SOT 252647 SOS 150363 HAS SOPS 88219 HAS SOUS 19770 HAS SOUPS 19363 WITH SCORE 19513.363
AT ITER 2561 NEW BEST:: SOT 252647 SOS 150300 HAS SOPS 88219 HAS SOUS 19770 HAS SOUPS 19363 WITH SCORE 19513.3
AT ITER 2590 NEW BEST:: SOT 252654 SOS 150305 HAS SOPS 88214 HAS SOUS 19764 HAS SOUPS 19357 WITH SCORE 19507.305
AT ITER 2601 NEW BEST:: SOT 252647 SOS 150271 HAS SOPS 88180 HAS SOUS 19756 HAS SOUPS 19349 WITH SCORE 19499.271
AT ITER 2610 NEW BEST:: SOT 252644 SOS 150259 HAS SOPS 88132 HAS SOUS 19699 HAS SOUPS 19292 WITH SCORE 19442.259
AT ITER 2616 NEW BEST:: SOT 252559 SOS 150163 HAS SOPS 87999 HAS SOUS 19563 HAS SOUPS 19156 WITH SCORE 19306.163
AT ITER 2619 NEW BEST:: SOT 252499 SOS 150096 HAS SOPS 87919 HAS SOUS 19509 HAS SOUPS 19102 WITH SCORE 19252.096
AT ITER 2652 NEW BEST:: SOT 252499 SOS 150081 HAS SOPS 87919 HAS SOUS 19509 HAS SOUPS 19102 WITH SCORE 19252.081
AT ITER 2654 NEW BEST:: SOT 252488 SOS 150070 HAS SOPS 87908 HAS SOUS 19498 HAS SOUPS 19091 WITH SCORE 19241.07
AT ITER 2680 NEW BEST:: SOT 252502 SOS 150070 HAS SOPS 87908 HAS SOUS 19497 HAS SOUPS 19090 WITH SCORE 19240.07
AT ITER 2693 NEW BEST:: SOT 252502 SOS 150070 HAS SOPS 87908 HAS SOUS 19481 HAS SOUPS 19074 WITH SCORE 19224.07
AT ITER 2703 NEW BEST:: SOT 252502 SOS 150087 HAS SOPS 87925 HAS SOUS 19477 HAS SOUPS 19070 WITH SCORE 19220.087
AT ITER 2705 NEW BEST:: SOT 252500 SOS 150053 HAS SOPS 87900 HAS SOUS 19463 HAS SOUPS 19056 WITH SCORE 19206.053
AT ITER 2716 NEW BEST:: SOT 252500 SOS 150039 HAS SOPS 87893 HAS SOUS 19463 HAS SOUPS 19056 WITH SCORE 19206.039
AT ITER 2732 NEW BEST:: SOT 252466 SOS 150040 HAS SOPS 87851 HAS SOUS 19419 HAS SOUPS 19012 WITH SCORE 19162.04
AT ITER 2737 NEW BEST:: SOT 252457 SOS 150012 HAS SOPS 87823 HAS SOUS 19400 HAS SOUPS 18993 WITH SCORE 19143.012
AT ITER 2753 NEW BEST:: SOT 252454 SOS 149998 HAS SOPS 87817 HAS SOUS 19394 HAS SOUPS 18987 WITH SCORE 19136.998
AT ITER 2761 NEW BEST:: SOT 252453 SOS 150000 HAS SOPS 87815 HAS SOUS 19389 HAS SOUPS 18982 WITH SCORE 19132.0
AT ITER 2768 NEW BEST:: SOT 252450 SOS 149997 HAS SOPS 87809 HAS SOUS 19386 HAS SOUPS 18979 WITH SCORE 19128.997
AT ITER 2772 NEW BEST:: SOT 252449 SOS 150080 HAS SOPS 87890 HAS SOUS 19385 HAS SOUPS 18978 WITH SCORE 19128.08
AT ITER 2785 NEW BEST:: SOT 252403 SOS 150034 HAS SOPS 87828 HAS SOUS 19323 HAS SOUPS 18916 WITH SCORE 19066.034
AT ITER 2800 NEW BEST:: SOT 252411 SOS 150018 HAS SOPS 87799 HAS SOUS 19273 HAS SOUPS 18866 WITH SCORE 19016.018
AT ITER 2811 NEW BEST:: SOT 252393 SOS 150025 HAS SOPS 87781 HAS SOUS 19255 HAS SOUPS 18848 WITH SCORE 18998.025
AT ITER 2837 NEW BEST:: SOT 252363 SOS 150045 HAS SOPS 87755 HAS SOUS 19225 HAS SOUPS 18818 WITH SCORE 18968.045
AT ITER 2851 NEW BEST:: SOT 252350 SOS 150006 HAS SOPS 87729 HAS SOUS 19206 HAS SOUPS 18799 WITH SCORE 18949.006
AT ITER 2861 NEW BEST:: SOT 252338 SOS 149431 HAS SOPS 87154 HAS SOUS 19164 HAS SOUPS 18757 WITH SCORE 18906.431
AT ITER 2867 NEW BEST:: SOT 252331 SOS 149401 HAS SOPS 87102 HAS SOUS 19093 HAS SOUPS 18686 WITH SCORE 18835.401
AT ITER 2906 NEW BEST:: SOT 252266 SOS 149312 HAS SOPS 87038 HAS SOUS 19029 HAS SOUPS 18622 WITH SCORE 18771.312
AT ITER 2938 NEW BEST:: SOT 252245 SOS 149302 HAS SOPS 87021 HAS SOUS 19013 HAS SOUPS 18606 WITH SCORE 18755.302
AT ITER 2953 NEW BEST:: SOT 252226 SOS 149283 HAS SOPS 86997 HAS SOUS 18996 HAS SOUPS 18589 WITH SCORE 18738.283
AT ITER 2957 NEW BEST:: SOT 252222 SOS 149275 HAS SOPS 86989 HAS SOUS 18990 HAS SOUPS 18583 WITH SCORE 18732.275
AT ITER 2971 NEW BEST:: SOT 252208 SOS 149309 HAS SOPS 87015 HAS SOUS 18987 HAS SOUPS 18580 WITH SCORE 18729.309
AT ITER 2998 NEW BEST:: SOT 252219 SOS 149287 HAS SOPS 87004 HAS SOUS 18974 HAS SOUPS 18567 WITH SCORE 18716.287
AT ITER 3007 NEW BEST:: SOT 252216 SOS 149284 HAS SOPS 86998 HAS SOUS 18968 HAS SOUPS 18561 WITH SCORE 18710.284
AT ITER 3031 NEW BEST:: SOT 252193 SOS 149304 HAS SOPS 86997 HAS SOUS 18960 HAS SOUPS 18553 WITH SCORE 18702.304
AT ITER 3055 NEW BEST:: SOT 252191 SOS 149298 HAS SOPS 86991 HAS SOUS 18956 HAS SOUPS 18549 WITH SCORE 18698.298
AT ITER 3057 NEW BEST:: SOT 252191 SOS 149291 HAS SOPS 86991 HAS SOUS 18956 HAS SOUPS 18549 WITH SCORE 18698.291
AT ITER 3069 NEW BEST:: SOT 252186 SOS 149283 HAS SOPS 86981 HAS SOUS 18949 HAS SOUPS 18542 WITH SCORE 18691.283
AT ITER 3080 NEW BEST:: SOT 252174 SOS 149259 HAS SOPS 86957 HAS SOUS 18939 HAS SOUPS 18532 WITH SCORE 18681.259
AT ITER 3119 NEW BEST:: SOT 252174 SOS 149259 HAS SOPS 86957 HAS SOUS 18931 HAS SOUPS 18524 WITH SCORE 18673.259
AT ITER 3156 NEW BEST:: SOT 252158 SOS 149222 HAS SOPS 86920 HAS SOUS 18921 HAS SOUPS 18514 WITH SCORE 18663.222
AT ITER 3170 NEW BEST:: SOT 251958 SOS 149022 HAS SOPS 86716 HAS SOUS 18813 HAS SOUPS 18406 WITH SCORE 18555.022
AT ITER 3192 NEW BEST:: SOT 251958 SOS 149022 HAS SOPS 86716 HAS SOUS 18811 HAS SOUPS 18404 WITH SCORE 18553.022
AT ITER 3230 NEW BEST:: SOT 251952 SOS 149013 HAS SOPS 86707 HAS SOUS 18805 HAS SOUPS 18398 WITH SCORE 18547.013
AT ITER 3268 NEW BEST:: SOT 251955 SOS 149013 HAS SOPS 86707 HAS SOUS 18803 HAS SOUPS 18396 WITH SCORE 18545.013
AT ITER 3270 NEW BEST:: SOT 251965 SOS 149026 HAS SOPS 86720 HAS SOUS 18800 HAS SOUPS 18393 WITH SCORE 18542.026
AT ITER 3307 NEW BEST:: SOT 251968 SOS 149040 HAS SOPS 86726 HAS SOUS 18795 HAS SOUPS 18388 WITH SCORE 18537.04
AT ITER 3333 NEW BEST:: SOT 251967 SOS 149040 HAS SOPS 86725 HAS SOUS 18794 HAS SOUPS 18387 WITH SCORE 18536.04
AT ITER 3387 NEW BEST:: SOT 251965 SOS 149038 HAS SOPS 86721 HAS SOUS 18790 HAS SOUPS 18383 WITH SCORE 18532.038
AT ITER 3409 NEW BEST:: SOT 251946 SOS 149019 HAS SOPS 86683 HAS SOUS 18752 HAS SOUPS 18345 WITH SCORE 18494.019
AT ITER 3427 NEW BEST:: SOT 252069 SOS 149123 HAS SOPS 86731 HAS SOUS 18709 HAS SOUPS 18302 WITH SCORE 18451.123
AT ITER 3445 NEW BEST:: SOT 252135 SOS 149178 HAS SOPS 86777 HAS SOUS 18678 HAS SOUPS 18271 WITH SCORE 18420.178
AT ITER 3453 NEW BEST:: SOT 251942 SOS 151685 HAS SOPS 86584 HAS SOUS 18492 HAS SOUPS 18057 WITH SCORE 18208.685
AT ITER 3462 NEW BEST:: SOT 251939 SOS 151681 HAS SOPS 86580 HAS SOUS 18489 HAS SOUPS 18054 WITH SCORE 18205.681
AT ITER 3468 NEW BEST:: SOT 251959 SOS 151630 HAS SOPS 86549 HAS SOUS 18458 HAS SOUPS 18023 WITH SCORE 18174.63
AT ITER 3526 NEW BEST:: SOT 251946 SOS 151617 HAS SOPS 86530 HAS SOUS 18446 HAS SOUPS 18011 WITH SCORE 18162.617
AT ITER 3544 NEW BEST:: SOT 251881 SOS 151825 HAS SOPS 86720 HAS SOUS 18443 HAS SOUPS 18008 WITH SCORE 18159.825
AT ITER 3551 NEW BEST:: SOT 252051 SOS 151989 HAS SOPS 86840 HAS SOUS 18295 HAS SOUPS 17860 WITH SCORE 18011.989
AT ITER 3556 NEW BEST:: SOT 252049 SOS 151987 HAS SOPS 86836 HAS SOUS 18293 HAS SOUPS 17858 WITH SCORE 18009.987
AT ITER 3618 NEW BEST:: SOT 252133 SOS 152067 HAS SOPS 86758 HAS SOUS 18285 HAS SOUPS 17850 WITH SCORE 18002.067
AT ITER 3638 NEW BEST:: SOT 252137 SOS 152075 HAS SOPS 86646 HAS SOUS 18177 HAS SOUPS 17742 WITH SCORE 17894.075
AT ITER 3650 NEW BEST:: SOT 252137 SOS 152074 HAS SOPS 86599 HAS SOUS 18156 HAS SOUPS 17721 WITH SCORE 17873.074
AT ITER 3671 NEW BEST:: SOT 252137 SOS 152074 HAS SOPS 86579 HAS SOUS 18136 HAS SOUPS 17701 WITH SCORE 17853.074
AT ITER 3675 NEW BEST:: SOT 252137 SOS 152074 HAS SOPS 86578 HAS SOUS 18135 HAS SOUPS 17700 WITH SCORE 17852.074
AT ITER 3699 NEW BEST:: SOT 252087 SOS 152025 HAS SOPS 86587 HAS SOUS 18124 HAS SOUPS 17689 WITH SCORE 17841.025
AT ITER 3703 NEW BEST:: SOT 252122 SOS 151843 HAS SOPS 86184 HAS SOUS 18122 HAS SOUPS 17687 WITH SCORE 17838.843
AT ITER 3741 NEW BEST:: SOT 252102 SOS 155602 HAS SOPS 86154 HAS SOUS 18118 HAS SOUPS 17678 WITH SCORE 17833.602
AT ITER 3753 NEW BEST:: SOT 252092 SOS 155592 HAS SOPS 86134 HAS SOUS 18098 HAS SOUPS 17658 WITH SCORE 17813.592
AT ITER 3774 NEW BEST:: SOT 252086 SOS 155594 HAS SOPS 86130 HAS SOUS 18094 HAS SOUPS 17654 WITH SCORE 17809.594
AT ITER 3790 NEW BEST:: SOT 252119 SOS 155653 HAS SOPS 86132 HAS SOUS 18071 HAS SOUPS 17631 WITH SCORE 17786.653
AT ITER 3834 NEW BEST:: SOT 252101 SOS 156109 HAS SOPS 86576 HAS SOUS 18063 HAS SOUPS 17623 WITH SCORE 17779.109
AT ITER 3853 NEW BEST:: SOT 252068 SOS 156072 HAS SOPS 86532 HAS SOUS 18053 HAS SOUPS 17613 WITH SCORE 17769.072
AT ITER 3864 NEW BEST:: SOT 252059 SOS 156063 HAS SOPS 86520 HAS SOUS 18041 HAS SOUPS 17601 WITH SCORE 17757.063
AT ITER 3884 NEW BEST:: SOT 252059 SOS 156064 HAS SOPS 86520 HAS SOUS 18040 HAS SOUPS 17600 WITH SCORE 17756.064
AT ITER 3905 NEW BEST:: SOT 252075 SOS 153056 HAS SOPS 86540 HAS SOUS 18032 HAS SOUPS 17596 WITH SCORE 17749.056
AT ITER 3923 NEW BEST:: SOT 252077 SOS 153058 HAS SOPS 86541 HAS SOUS 18030 HAS SOUPS 17594 WITH SCORE 17747.058
AT ITER 3932 NEW BEST:: SOT 252073 SOS 153052 HAS SOPS 86533 HAS SOUS 18026 HAS SOUPS 17590 WITH SCORE 17743.052
AT ITER 4003 NEW BEST:: SOT 252019 SOS 153013 HAS SOPS 86425 HAS SOUS 17918 HAS SOUPS 17482 WITH SCORE 17635.013
AT ITER 4038 NEW BEST:: SOT 252009 SOS 153009 HAS SOPS 86413 HAS SOUS 17906 HAS SOUPS 17470 WITH SCORE 17623.009
AT ITER 4050 NEW BEST:: SOT 252047 SOS 152978 HAS SOPS 86401 HAS SOUS 17904 HAS SOUPS 17468 WITH SCORE 17620.978
AT ITER 4056 NEW BEST:: SOT 252021 SOS 152886 HAS SOPS 86349 HAS SOUS 17852 HAS SOUPS 17416 WITH SCORE 17568.886
AT ITER 4061 NEW BEST:: SOT 252020 SOS 152884 HAS SOPS 86347 HAS SOUS 17851 HAS SOUPS 17415 WITH SCORE 17567.884
AT ITER 4076 NEW BEST:: SOT 252024 SOS 152888 HAS SOPS 86355 HAS SOUS 17850 HAS SOUPS 17414 WITH SCORE 17566.888
AT ITER 4090 NEW BEST:: SOT 252012 SOS 152876 HAS SOPS 86331 HAS SOUS 17826 HAS SOUPS 17390 WITH SCORE 17542.876
AT ITER 4138 NEW BEST:: SOT 252010 SOS 152874 HAS SOPS 86327 HAS SOUS 17822 HAS SOUPS 17386 WITH SCORE 17538.874
AT ITER 4139 NEW BEST:: SOT 252016 SOS 152886 HAS SOPS 86339 HAS SOUS 17764 HAS SOUPS 17328 WITH SCORE 17480.886
AT ITER 4151 NEW BEST:: SOT 252016 SOS 152885 HAS SOPS 86338 HAS SOUS 17763 HAS SOUPS 17327 WITH SCORE 17479.885
AT ITER 4176 NEW BEST:: SOT 252013 SOS 152879 HAS SOPS 86332 HAS SOUS 17763 HAS SOUPS 17327 WITH SCORE 17479.879
AT ITER 4182 NEW BEST:: SOT 252385 SOS 153235 HAS SOPS 86242 HAS SOUS 17622 HAS SOUPS 17186 WITH SCORE 17339.235
AT ITER 4201 NEW BEST:: SOT 252310 SOS 153159 HAS SOPS 86162 HAS SOUS 17542 HAS SOUPS 17106 WITH SCORE 17259.159
AT ITER 4210 NEW BEST:: SOT 252309 SOS 153178 HAS SOPS 86160 HAS SOUS 17540 HAS SOUPS 17104 WITH SCORE 17257.178
AT ITER 4216 NEW BEST:: SOT 252313 SOS 153171 HAS SOPS 86160 HAS SOUS 17538 HAS SOUPS 17102 WITH SCORE 17255.171
AT ITER 4232 NEW BEST:: SOT 252289 SOS 153172 HAS SOPS 86137 HAS SOUS 17515 HAS SOUPS 17079 WITH SCORE 17232.172
AT ITER 4237 NEW BEST:: SOT 252394 SOS 153277 HAS SOPS 85821 HAS SOUS 17403 HAS SOUPS 16967 WITH SCORE 17120.277
AT ITER 4238 NEW BEST:: SOT 252471 SOS 153349 HAS SOPS 85839 HAS SOUS 17261 HAS SOUPS 16825 WITH SCORE 16978.349
AT ITER 4307 NEW BEST:: SOT 252469 SOS 153187 HAS SOPS 85677 HAS SOUS 17253 HAS SOUPS 16817 WITH SCORE 16970.187
AT ITER 4334 NEW BEST:: SOT 252465 SOS 153180 HAS SOPS 85669 HAS SOUS 17245 HAS SOUPS 16809 WITH SCORE 16962.18
AT ITER 4350 NEW BEST:: SOT 252464 SOS 153181 HAS SOPS 85667 HAS SOUS 17238 HAS SOUPS 16802 WITH SCORE 16955.181
AT ITER 4353 NEW BEST:: SOT 252431 SOS 153115 HAS SOPS 85601 HAS SOUS 17205 HAS SOUPS 16769 WITH SCORE 16922.115
AT ITER 4381 NEW BEST:: SOT 252426 SOS 153105 HAS SOPS 85586 HAS SOUS 17195 HAS SOUPS 16759 WITH SCORE 16912.105
AT ITER 4383 NEW BEST:: SOT 252416 SOS 153096 HAS SOPS 85572 HAS SOUS 17192 HAS SOUPS 16756 WITH SCORE 16909.096
AT ITER 4404 NEW BEST:: SOT 252383 SOS 153006 HAS SOPS 85482 HAS SOUS 17146 HAS SOUPS 16710 WITH SCORE 16863.006
AT ITER 4425 NEW BEST:: SOT 252329 SOS 152898 HAS SOPS 85374 HAS SOUS 17079 HAS SOUPS 16643 WITH SCORE 16795.898
AT ITER 4447 NEW BEST:: SOT 252334 SOS 152897 HAS SOPS 85378 HAS SOUS 17077 HAS SOUPS 16641 WITH SCORE 16793.897
AT ITER 4466 NEW BEST:: SOT 252328 SOS 152879 HAS SOPS 85360 HAS SOUS 17059 HAS SOUPS 16623 WITH SCORE 16775.879
AT ITER 4471 NEW BEST:: SOT 252301 SOS 152873 HAS SOPS 85327 HAS SOUS 17026 HAS SOUPS 16590 WITH SCORE 16742.873
AT ITER 4541 NEW BEST:: SOT 252316 SOS 152822 HAS SOPS 85291 HAS SOUS 16990 HAS SOUPS 16554 WITH SCORE 16706.822
AT ITER 4547 NEW BEST:: SOT 252303 SOS 152844 HAS SOPS 85286 HAS SOUS 16978 HAS SOUPS 16542 WITH SCORE 16694.844
AT ITER 4551 NEW BEST:: SOT 252300 SOS 152838 HAS SOPS 85280 HAS SOUS 16972 HAS SOUPS 16536 WITH SCORE 16688.838
AT ITER 4553 NEW BEST:: SOT 252300 SOS 152826 HAS SOPS 85268 HAS SOUS 16960 HAS SOUPS 16524 WITH SCORE 16676.826
AT ITER 4576 NEW BEST:: SOT 252161 SOS 192096 HAS SOPS 85077 HAS SOUS 16924 HAS SOUPS 16441 WITH SCORE 16633.096
AT ITER 4603 NEW BEST:: SOT 252158 SOS 192091 HAS SOPS 85066 HAS SOUS 16910 HAS SOUPS 16427 WITH SCORE 16619.091
AT ITER 4618 NEW BEST:: SOT 252034 SOS 191962 HAS SOPS 84916 HAS SOUS 16810 HAS SOUPS 16327 WITH SCORE 16518.962
AT ITER 4629 NEW BEST:: SOT 252024 SOS 191960 HAS SOPS 84905 HAS SOUS 16800 HAS SOUPS 16317 WITH SCORE 16508.96
AT ITER 4674 NEW BEST:: SOT 252020 SOS 191952 HAS SOPS 84893 HAS SOUS 16788 HAS SOUPS 16305 WITH SCORE 16496.952
AT ITER 4678 NEW BEST:: SOT 252036 SOS 191965 HAS SOPS 84905 HAS SOUS 16783 HAS SOUPS 16300 WITH SCORE 16491.965
AT ITER 4706 NEW BEST:: SOT 252036 SOS 191948 HAS SOPS 84888 HAS SOUS 16766 HAS SOUPS 16283 WITH SCORE 16474.948
AT ITER 4710 NEW BEST:: SOT 252027 SOS 191925 HAS SOPS 84870 HAS SOUS 16762 HAS SOUPS 16279 WITH SCORE 16470.925
AT ITER 4738 NEW BEST:: SOT 252024 SOS 191919 HAS SOPS 84864 HAS SOUS 16761 HAS SOUPS 16278 WITH SCORE 16469.919
AT ITER 4758 NEW BEST:: SOT 252011 SOS 191906 HAS SOPS 84850 HAS SOUS 16747 HAS SOUPS 16264 WITH SCORE 16455.906
AT ITER 4768 NEW BEST:: SOT 251993 SOS 191874 HAS SOPS 84814 HAS SOUS 16721 HAS SOUPS 16238 WITH SCORE 16429.874
AT ITER 4809 NEW BEST:: SOT 251990 SOS 191874 HAS SOPS 84811 HAS SOUS 16718 HAS SOUPS 16235 WITH SCORE 16426.874
AT ITER 4849 NEW BEST:: SOT 252011 SOS 191906 HAS SOPS 84801 HAS SOUS 16706 HAS SOUPS 16223 WITH SCORE 16414.906
AT ITER 4899 NEW BEST:: SOT 251979 SOS 191842 HAS SOPS 84737 HAS SOUS 16642 HAS SOUPS 16159 WITH SCORE 16350.842
AT ITER 4911 NEW BEST:: SOT 251975 SOS 191827 HAS SOPS 84729 HAS SOUS 16636 HAS SOUPS 16153 WITH SCORE 16344.827
AT ITER 4919 NEW BEST:: SOT 251959 SOS 191806 HAS SOPS 84697 HAS SOUS 16612 HAS SOUPS 16129 WITH SCORE 16320.806
AT ITER 4973 NEW BEST:: SOT 251958 SOS 191804 HAS SOPS 84695 HAS SOUS 16611 HAS SOUPS 16128 WITH SCORE 16319.804
AT ITER 5081 NEW BEST:: SOT 251955 SOS 191799 HAS SOPS 84689 HAS SOUS 16606 HAS SOUPS 16123 WITH SCORE 16314.799
AT ITER 5141 NEW BEST:: SOT 251960 SOS 191794 HAS SOPS 84689 HAS SOUS 16606 HAS SOUPS 16123 WITH SCORE 16314.794
AT ITER 5142 NEW BEST:: SOT 251949 SOS 191771 HAS SOPS 84655 HAS SOUS 16572 HAS SOUPS 16089 WITH SCORE 16280.771
AT ITER 5145 NEW BEST:: SOT 251967 SOS 191781 HAS SOPS 84207 HAS SOUS 16556 HAS SOUPS 16073 WITH SCORE 16264.781
AT ITER 5197 NEW BEST:: SOT 251967 SOS 191767 HAS SOPS 84207 HAS SOUS 16556 HAS SOUPS 16073 WITH SCORE 16264.767
AT ITER 5246 NEW BEST:: SOT 251968 SOS 191764 HAS SOPS 84206 HAS SOUS 16554 HAS SOUPS 16071 WITH SCORE 16262.764
AT ITER 5269 NEW BEST:: SOT 251849 SOS 191646 HAS SOPS 84110 HAS SOUS 16527 HAS SOUPS 16044 WITH SCORE 16235.646
AT ITER 5334 NEW BEST:: SOT 251845 SOS 191638 HAS SOPS 84098 HAS SOUS 16515 HAS SOUPS 16032 WITH SCORE 16223.638
AT ITER 5376 NEW BEST:: SOT 251817 SOS 191611 HAS SOPS 84070 HAS SOUS 16502 HAS SOUPS 16019 WITH SCORE 16210.611
AT ITER 5495 NEW BEST:: SOT 251816 SOS 191609 HAS SOPS 84058 HAS SOUS 16485 HAS SOUPS 16002 WITH SCORE 16193.609
AT ITER 5533 NEW BEST:: SOT 251801 SOS 191594 HAS SOPS 84028 HAS SOUS 16455 HAS SOUPS 15972 WITH SCORE 16163.594
AT ITER 5565 NEW BEST:: SOT 251706 SOS 191515 HAS SOPS 84195 HAS SOUS 16443 HAS SOUPS 15960 WITH SCORE 16151.515
AT ITER 5607 NEW BEST:: SOT 251706 SOS 191495 HAS SOPS 84175 HAS SOUS 16423 HAS SOUPS 15940 WITH SCORE 16131.495
AT ITER 5615 NEW BEST:: SOT 251687 SOS 191476 HAS SOPS 84137 HAS SOUS 16385 HAS SOUPS 15902 WITH SCORE 16093.476
AT ITER 5629 NEW BEST:: SOT 251687 SOS 191476 HAS SOPS 84137 HAS SOUS 16382 HAS SOUPS 15899 WITH SCORE 16090.476
AT ITER 5688 NEW BEST:: SOT 251672 SOS 191467 HAS SOPS 84128 HAS SOUS 16370 HAS SOUPS 15887 WITH SCORE 16078.467
AT ITER 5689 NEW BEST:: SOT 251777 SOS 191565 HAS SOPS 83975 HAS SOUS 16271 HAS SOUPS 15788 WITH SCORE 15979.565
AT ITER 5741 NEW BEST:: SOT 251736 SOS 191536 HAS SOPS 83946 HAS SOUS 16252 HAS SOUPS 15769 WITH SCORE 15960.536
AT ITER 5838 NEW BEST:: SOT 251733 SOS 191531 HAS SOPS 83940 HAS SOUS 16248 HAS SOUPS 15765 WITH SCORE 15956.531
AT ITER 5872 NEW BEST:: SOT 251610 SOS 191405 HAS SOPS 83814 HAS SOUS 16185 HAS SOUPS 15702 WITH SCORE 15893.405
AT ITER 5883 NEW BEST:: SOT 251610 SOS 191399 HAS SOPS 83808 HAS SOUS 16179 HAS SOUPS 15696 WITH SCORE 15887.399
AT ITER 5886 NEW BEST:: SOT 251616 SOS 191405 HAS SOPS 83620 HAS SOUS 16033 HAS SOUPS 15550 WITH SCORE 15741.405
AT ITER 5893 NEW BEST:: SOT 251591 SOS 191379 HAS SOPS 83594 HAS SOUS 16019 HAS SOUPS 15536 WITH SCORE 15727.379
AT ITER 5895 NEW BEST:: SOT 251589 SOS 191375 HAS SOPS 83588 HAS SOUS 16013 HAS SOUPS 15530 WITH SCORE 15721.375
AT ITER 5916 NEW BEST:: SOT 251580 SOS 191366 HAS SOPS 83573 HAS SOUS 15998 HAS SOUPS 15515 WITH SCORE 15706.366
AT ITER 5923 NEW BEST:: SOT 251576 SOS 191362 HAS SOPS 83565 HAS SOUS 15990 HAS SOUPS 15507 WITH SCORE 15698.362
AT ITER 5944 NEW BEST:: SOT 251555 SOS 191341 HAS SOPS 83547 HAS SOUS 15972 HAS SOUPS 15489 WITH SCORE 15680.341
AT ITER 5947 NEW BEST:: SOT 251578 SOS 191327 HAS SOPS 83519 HAS SOUS 15944 HAS SOUPS 15461 WITH SCORE 15652.327
AT ITER 6007 NEW BEST:: SOT 251577 SOS 191325 HAS SOPS 83463 HAS SOUS 15927 HAS SOUPS 15444 WITH SCORE 15635.325
AT ITER 6025 NEW BEST:: SOT 251555 SOS 191303 HAS SOPS 83441 HAS SOUS 15927 HAS SOUPS 15444 WITH SCORE 15635.303
AT ITER 6066 NEW BEST:: SOT 251607 SOS 191355 HAS SOPS 83437 HAS SOUS 15923 HAS SOUPS 15440 WITH SCORE 15631.355
AT ITER 6113 NEW BEST:: SOT 251634 SOS 191378 HAS SOPS 83171 HAS SOUS 15917 HAS SOUPS 15434 WITH SCORE 15625.378
AT ITER 6126 NEW BEST:: SOT 251610 SOS 191356 HAS SOPS 83151 HAS SOUS 15905 HAS SOUPS 15422 WITH SCORE 15613.356
AT ITER 6143 NEW BEST:: SOT 251610 SOS 191350 HAS SOPS 83145 HAS SOUS 15905 HAS SOUPS 15422 WITH SCORE 15613.35
AT ITER 6182 NEW BEST:: SOT 251591 SOS 191331 HAS SOPS 83121 HAS SOUS 15881 HAS SOUPS 15398 WITH SCORE 15589.331
AT ITER 6232 NEW BEST:: SOT 251591 SOS 198705 HAS SOPS 83113 HAS SOUS 15881 HAS SOUPS 15390 WITH SCORE 15588.705
AT ITER 6241 NEW BEST:: SOT 251596 SOS 198704 HAS SOPS 83108 HAS SOUS 15873 HAS SOUPS 15382 WITH SCORE 15580.704
AT ITER 6250 NEW BEST:: SOT 251606 SOS 198688 HAS SOPS 83103 HAS SOUS 15869 HAS SOUPS 15378 WITH SCORE 15576.688
AT ITER 6259 NEW BEST:: SOT 251606 SOS 198688 HAS SOPS 83103 HAS SOUS 15864 HAS SOUPS 15373 WITH SCORE 15571.688
AT ITER 6270 NEW BEST:: SOT 251606 SOS 198681 HAS SOPS 83096 HAS SOUS 15864 HAS SOUPS 15373 WITH SCORE 15571.681
AT ITER 6276 NEW BEST:: SOT 251558 SOS 198671 HAS SOPS 83038 HAS SOUS 15806 HAS SOUPS 15315 WITH SCORE 15513.671
AT ITER 6290 NEW BEST:: SOT 251557 SOS 198632 HAS SOPS 83036 HAS SOUS 15804 HAS SOUPS 15313 WITH SCORE 15511.632
AT ITER 6291 NEW BEST:: SOT 251559 SOS 198611 HAS SOPS 83025 HAS SOUS 15784 HAS SOUPS 15293 WITH SCORE 15491.611
AT ITER 6292 NEW BEST:: SOT 251535 SOS 198563 HAS SOPS 82977 HAS SOUS 15736 HAS SOUPS 15245 WITH SCORE 15443.563
AT ITER 6300 NEW BEST:: SOT 251521 SOS 198516 HAS SOPS 82949 HAS SOUS 15725 HAS SOUPS 15234 WITH SCORE 15432.516
AT ITER 6315 NEW BEST:: SOT 251644 SOS 198563 HAS SOPS 82925 HAS SOUS 15687 HAS SOUPS 15196 WITH SCORE 15394.563
AT ITER 6319 NEW BEST:: SOT 251639 SOS 198547 HAS SOPS 82915 HAS SOUS 15677 HAS SOUPS 15186 WITH SCORE 15384.547
AT ITER 6344 NEW BEST:: SOT 251600 SOS 198556 HAS SOPS 82885 HAS SOUS 15647 HAS SOUPS 15156 WITH SCORE 15354.556
AT ITER 6348 NEW BEST:: SOT 251583 SOS 198559 HAS SOPS 82874 HAS SOUS 15638 HAS SOUPS 15147 WITH SCORE 15345.559
AT ITER 6353 NEW BEST:: SOT 251581 SOS 198555 HAS SOPS 82868 HAS SOUS 15632 HAS SOUPS 15141 WITH SCORE 15339.555
AT ITER 6394 NEW BEST:: SOT 251569 SOS 198517 HAS SOPS 82830 HAS SOUS 15601 HAS SOUPS 15110 WITH SCORE 15308.517
AT ITER 6450 NEW BEST:: SOT 251568 SOS 198520 HAS SOPS 82828 HAS SOUS 15595 HAS SOUPS 15104 WITH SCORE 15302.52
AT ITER 6511 NEW BEST:: SOT 251566 SOS 198518 HAS SOPS 82824 HAS SOUS 15591 HAS SOUPS 15100 WITH SCORE 15298.518
AT ITER 6539 NEW BEST:: SOT 251564 SOS 198518 HAS SOPS 82822 HAS SOUS 15590 HAS SOUPS 15099 WITH SCORE 15297.518
AT ITER 6545 NEW BEST:: SOT 251567 SOS 198513 HAS SOPS 82828 HAS SOUS 15589 HAS SOUPS 15098 WITH SCORE 15296.513
AT ITER 6593 NEW BEST:: SOT 251567 SOS 198513 HAS SOPS 82828 HAS SOUS 15579 HAS SOUPS 15088 WITH SCORE 15286.513
AT ITER 6614 NEW BEST:: SOT 251551 SOS 198496 HAS SOPS 82811 HAS SOUS 15569 HAS SOUPS 15078 WITH SCORE 15276.496
AT ITER 6623 NEW BEST:: SOT 251551 SOS 198490 HAS SOPS 82805 HAS SOUS 15563 HAS SOUPS 15072 WITH SCORE 15270.49
AT ITER 6638 NEW BEST:: SOT 251551 SOS 198484 HAS SOPS 82799 HAS SOUS 15557 HAS SOUPS 15066 WITH SCORE 15264.484
AT ITER 6640 NEW BEST:: SOT 251546 SOS 198462 HAS SOPS 82777 HAS SOUS 15547 HAS SOUPS 15056 WITH SCORE 15254.462
AT ITER 6683 NEW BEST:: SOT 251535 SOS 198451 HAS SOPS 82766 HAS SOUS 15547 HAS SOUPS 15056 WITH SCORE 15254.451
AT ITER 6732 NEW BEST:: SOT 251531 SOS 198443 HAS SOPS 82758 HAS SOUS 15543 HAS SOUPS 15052 WITH SCORE 15250.443
AT ITER 6736 NEW BEST:: SOT 251530 SOS 198442 HAS SOPS 82756 HAS SOUS 15541 HAS SOUPS 15050 WITH SCORE 15248.442
AT ITER 6748 NEW BEST:: SOT 251512 SOS 198415 HAS SOPS 82720 HAS SOUS 15523 HAS SOUPS 15032 WITH SCORE 15230.415
AT ITER 6783 NEW BEST:: SOT 251463 SOS 198365 HAS SOPS 82640 HAS SOUS 15469 HAS SOUPS 14978 WITH SCORE 15176.365
AT ITER 6815 NEW BEST:: SOT 251459 SOS 198353 HAS SOPS 82632 HAS SOUS 15459 HAS SOUPS 14968 WITH SCORE 15166.353
AT ITER 6823 NEW BEST:: SOT 251440 SOS 198315 HAS SOPS 82594 HAS SOUS 15440 HAS SOUPS 14949 WITH SCORE 15147.315
AT ITER 6827 NEW BEST:: SOT 251435 SOS 198285 HAS SOPS 82584 HAS SOUS 15435 HAS SOUPS 14944 WITH SCORE 15142.285
AT ITER 6872 NEW BEST:: SOT 251431 SOS 198281 HAS SOPS 82580 HAS SOUS 15435 HAS SOUPS 14944 WITH SCORE 15142.281
AT ITER 6997 NEW BEST:: SOT 251425 SOS 198287 HAS SOPS 82578 HAS SOUS 15431 HAS SOUPS 14940 WITH SCORE 15138.287
AT ITER 7006 NEW BEST:: SOT 251425 SOS 198256 HAS SOPS 82578 HAS SOUS 15431 HAS SOUPS 14940 WITH SCORE 15138.256
AT ITER 7070 NEW BEST:: SOT 251421 SOS 198252 HAS SOPS 82572 HAS SOUS 15425 HAS SOUPS 14934 WITH SCORE 15132.252
AT ITER 7101 NEW BEST:: SOT 251411 SOS 198232 HAS SOPS 82552 HAS SOUS 15415 HAS SOUPS 14924 WITH SCORE 15122.232
AT ITER 7109 NEW BEST:: SOT 251418 SOS 198229 HAS SOPS 82521 HAS SOUS 15383 HAS SOUPS 14892 WITH SCORE 15090.229
AT ITER 7115 NEW BEST:: SOT 251407 SOS 198207 HAS SOPS 82499 HAS SOUS 15371 HAS SOUPS 14880 WITH SCORE 15078.207
AT ITER 7126 NEW BEST:: SOT 251403 SOS 198201 HAS SOPS 82491 HAS SOUS 15367 HAS SOUPS 14876 WITH SCORE 15074.201
AT ITER 7154 NEW BEST:: SOT 251407 SOS 198195 HAS SOPS 82490 HAS SOUS 15366 HAS SOUPS 14875 WITH SCORE 15073.195
AT ITER 7233 NEW BEST:: SOT 251399 SOS 198187 HAS SOPS 82482 HAS SOUS 15366 HAS SOUPS 14875 WITH SCORE 15073.187
AT ITER 7246 NEW BEST:: SOT 251065 SOS 197855 HAS SOPS 82546 HAS SOUS 15354 HAS SOUPS 14863 WITH SCORE 15060.855
AT ITER 7271 NEW BEST:: SOT 250793 SOS 197579 HAS SOPS 82266 HAS SOUS 15206 HAS SOUPS 14715 WITH SCORE 14912.579
AT ITER 7292 NEW BEST:: SOT 250778 SOS 197564 HAS SOPS 82236 HAS SOUS 15176 HAS SOUPS 14685 WITH SCORE 14882.564
AT ITER 7315 NEW BEST:: SOT 250768 SOS 197554 HAS SOPS 82216 HAS SOUS 15156 HAS SOUPS 14665 WITH SCORE 14862.554
AT ITER 7325 NEW BEST:: SOT 250763 SOS 197539 HAS SOPS 82201 HAS SOUS 15146 HAS SOUPS 14655 WITH SCORE 14852.539
AT ITER 7330 NEW BEST:: SOT 250733 SOS 197480 HAS SOPS 82181 HAS SOUS 15126 HAS SOUPS 14635 WITH SCORE 14832.48
AT ITER 7335 NEW BEST:: SOT 250706 SOS 197491 HAS SOPS 82164 HAS SOUS 15113 HAS SOUPS 14622 WITH SCORE 14819.491
AT ITER 7453 NEW BEST:: SOT 250698 SOS 197799 HAS SOPS 82155 HAS SOUS 15107 HAS SOUPS 14613 WITH SCORE 14810.799
AT ITER 7465 NEW BEST:: SOT 250690 SOS 197789 HAS SOPS 82139 HAS SOUS 15095 HAS SOUPS 14601 WITH SCORE 14798.789
AT ITER 7479 NEW BEST:: SOT 250674 SOS 197757 HAS SOPS 82091 HAS SOUS 15047 HAS SOUPS 14553 WITH SCORE 14750.757
AT ITER 7484 NEW BEST:: SOT 250674 SOS 197749 HAS SOPS 82083 HAS SOUS 15039 HAS SOUPS 14545 WITH SCORE 14742.749
AT ITER 7555 NEW BEST:: SOT 250671 SOS 197804 HAS SOPS 82138 HAS SOUS 15036 HAS SOUPS 14542 WITH SCORE 14739.804
AT ITER 7672 NEW BEST:: SOT 250442 SOS 197578 HAS SOPS 82173 HAS SOUS 15034 HAS SOUPS 14540 WITH SCORE 14737.578
AT ITER 7677 NEW BEST:: SOT 250440 SOS 197571 HAS SOPS 82164 HAS SOUS 15025 HAS SOUPS 14531 WITH SCORE 14728.571
AT ITER 7678 NEW BEST:: SOT 250438 SOS 197564 HAS SOPS 82151 HAS SOUS 15010 HAS SOUPS 14516 WITH SCORE 14713.564
AT ITER 7749 NEW BEST:: SOT 250434 SOS 197532 HAS SOPS 82143 HAS SOUS 15003 HAS SOUPS 14509 WITH SCORE 14706.532
AT ITER 7864 NEW BEST:: SOT 250439 SOS 197532 HAS SOPS 82143 HAS SOUS 14998 HAS SOUPS 14504 WITH SCORE 14701.532
AT ITER 7919 NEW BEST:: SOT 250423 SOS 197509 HAS SOPS 82111 HAS SOUS 14962 HAS SOUPS 14468 WITH SCORE 14665.509
AT ITER 7928 NEW BEST:: SOT 250397 SOS 197482 HAS SOPS 82076 HAS SOUS 14924 HAS SOUPS 14430 WITH SCORE 14627.482
AT ITER 7999 NEW BEST:: SOT 250395 SOS 204861 HAS SOPS 82066 HAS SOUS 14922 HAS SOUPS 14420 WITH SCORE 14624.861
AT ITER 8100 NEW BEST:: SOT 250391 SOS 204863 HAS SOPS 82058 HAS SOUS 14919 HAS SOUPS 14417 WITH SCORE 14621.863
AT ITER 8116 NEW BEST:: SOT 250387 SOS 204855 HAS SOPS 82050 HAS SOUS 14915 HAS SOUPS 14413 WITH SCORE 14617.855
AT ITER 8203 NEW BEST:: SOT 250387 SOS 204831 HAS SOPS 82050 HAS SOUS 14915 HAS SOUPS 14413 WITH SCORE 14617.831
AT ITER 8234 NEW BEST:: SOT 250384 SOS 205042 HAS SOPS 82045 HAS SOUS 14912 HAS SOUPS 14408 WITH SCORE 14613.042
AT ITER 8248 NEW BEST:: SOT 250356 SOS 204986 HAS SOPS 82017 HAS SOUS 14884 HAS SOUPS 14380 WITH SCORE 14584.986
AT ITER 8262 NEW BEST:: SOT 250354 SOS 204984 HAS SOPS 82013 HAS SOUS 14880 HAS SOUPS 14376 WITH SCORE 14580.984
AT ITER 8330 NEW BEST:: SOT 250354 SOS 204976 HAS SOPS 82005 HAS SOUS 14872 HAS SOUPS 14368 WITH SCORE 14572.976
AT ITER 8345 NEW BEST:: SOT 250396 SOS 204934 HAS SOPS 82005 HAS SOUS 14872 HAS SOUPS 14368 WITH SCORE 14572.934
AT ITER 8356 NEW BEST:: SOT 250397 SOS 204938 HAS SOPS 82007 HAS SOUS 14866 HAS SOUPS 14362 WITH SCORE 14566.938
AT ITER 8373 NEW BEST:: SOT 250382 SOS 204947 HAS SOPS 82001 HAS SOUS 14860 HAS SOUPS 14356 WITH SCORE 14560.947
AT ITER 8385 NEW BEST:: SOT 250444 SOS 204991 HAS SOPS 81905 HAS SOUS 14854 HAS SOUPS 14350 WITH SCORE 14554.991
AT ITER 8429 NEW BEST:: SOT 250445 SOS 204973 HAS SOPS 81885 HAS SOUS 14831 HAS SOUPS 14327 WITH SCORE 14531.973
AT ITER 8527 NEW BEST:: SOT 250437 SOS 204965 HAS SOPS 81875 HAS SOUS 14825 HAS SOUPS 14321 WITH SCORE 14525.965
AT ITER 8542 NEW BEST:: SOT 250438 SOS 204964 HAS SOPS 81875 HAS SOUS 14825 HAS SOUPS 14321 WITH SCORE 14525.964
AT ITER 8569 NEW BEST:: SOT 250434 SOS 204947 HAS SOPS 81858 HAS SOUS 14808 HAS SOUPS 14304 WITH SCORE 14508.947
AT ITER 8636 NEW BEST:: SOT 250415 SOS 204909 HAS SOPS 81820 HAS SOUS 14789 HAS SOUPS 14285 WITH SCORE 14489.909
AT ITER 8678 NEW BEST:: SOT 250416 SOS 204909 HAS SOPS 81820 HAS SOUS 14788 HAS SOUPS 14284 WITH SCORE 14488.909
AT ITER 8688 NEW BEST:: SOT 250411 SOS 204904 HAS SOPS 81810 HAS SOUS 14778 HAS SOUPS 14274 WITH SCORE 14478.904
AT ITER 8703 NEW BEST:: SOT 250434 SOS 204875 HAS SOPS 81804 HAS SOUS 14772 HAS SOUPS 14268 WITH SCORE 14472.875
AT ITER 8726 NEW BEST:: SOT 250434 SOS 204875 HAS SOPS 81476 HAS SOUS 14768 HAS SOUPS 14264 WITH SCORE 14468.875
AT ITER 8764 NEW BEST:: SOT 250433 SOS 204874 HAS SOPS 81474 HAS SOUS 14765 HAS SOUPS 14261 WITH SCORE 14465.874
AT ITER 8830 NEW BEST:: SOT 250434 SOS 204874 HAS SOPS 81473 HAS SOUS 14762 HAS SOUPS 14258 WITH SCORE 14462.874
AT ITER 8839 NEW BEST:: SOT 250434 SOS 204863 HAS SOPS 81473 HAS SOUS 14762 HAS SOUPS 14258 WITH SCORE 14462.863
AT ITER 8976 NEW BEST:: SOT 250395 SOS 204822 HAS SOPS 81494 HAS SOUS 14750 HAS SOUPS 14246 WITH SCORE 14450.822
AT ITER 8980 NEW BEST:: SOT 250415 SOS 204782 HAS SOPS 81474 HAS SOUS 14730 HAS SOUPS 14226 WITH SCORE 14430.782
AT ITER 8994 NEW BEST:: SOT 250415 SOS 204778 HAS SOPS 81472 HAS SOUS 14728 HAS SOUPS 14224 WITH SCORE 14428.778
AT ITER 9070 NEW BEST:: SOT 250395 SOS 204758 HAS SOPS 81463 HAS SOUS 14719 HAS SOUPS 14215 WITH SCORE 14419.758
AT ITER 9129 NEW BEST:: SOT 250395 SOS 204755 HAS SOPS 81463 HAS SOUS 14719 HAS SOUPS 14215 WITH SCORE 14419.755
AT ITER 9144 NEW BEST:: SOT 250383 SOS 204732 HAS SOPS 81439 HAS SOUS 14706 HAS SOUPS 14202 WITH SCORE 14406.732
AT ITER 9168 NEW BEST:: SOT 250373 SOS 204697 HAS SOPS 81401 HAS SOUS 14668 HAS SOUPS 14164 WITH SCORE 14368.697
AT ITER 9192 NEW BEST:: SOT 250371 SOS 204693 HAS SOPS 81397 HAS SOUS 14664 HAS SOUPS 14160 WITH SCORE 14364.693
AT ITER 9258 NEW BEST:: SOT 250380 SOS 204695 HAS SOPS 81197 HAS SOUS 14627 HAS SOUPS 14123 WITH SCORE 14327.695
AT ITER 9263 NEW BEST:: SOT 250380 SOS 204693 HAS SOPS 81195 HAS SOUS 14625 HAS SOUPS 14121 WITH SCORE 14325.693
AT ITER 9272 NEW BEST:: SOT 250378 SOS 204689 HAS SOPS 81191 HAS SOUS 14623 HAS SOUPS 14119 WITH SCORE 14323.689
AT ITER 9360 NEW BEST:: SOT 250377 SOS 204687 HAS SOPS 81187 HAS SOUS 14619 HAS SOUPS 14115 WITH SCORE 14319.687
AT ITER 9452 NEW BEST:: SOT 250363 SOS 204673 HAS SOPS 81166 HAS SOUS 14605 HAS SOUPS 14101 WITH SCORE 14305.673
AT ITER 9453 NEW BEST:: SOT 250349 SOS 204641 HAS SOPS 81138 HAS SOUS 14574 HAS SOUPS 14070 WITH SCORE 14274.641
AT ITER 9460 NEW BEST:: SOT 250361 SOS 204653 HAS SOPS 81129 HAS SOUS 14551 HAS SOUPS 14047 WITH SCORE 14251.653
AT ITER 9504 NEW BEST:: SOT 250360 SOS 204643 HAS SOPS 81121 HAS SOUS 14547 HAS SOUPS 14043 WITH SCORE 14247.643
AT ITER 9562 NEW BEST:: SOT 250326 SOS 204609 HAS SOPS 81079 HAS SOUS 14505 HAS SOUPS 14001 WITH SCORE 14205.609
AT ITER 9644 NEW BEST:: SOT 250324 SOS 204609 HAS SOPS 81077 HAS SOUS 14503 HAS SOUPS 13999 WITH SCORE 14203.609
AT ITER 9659 NEW BEST:: SOT 250316 SOS 204612 HAS SOPS 81061 HAS SOUS 14487 HAS SOUPS 13983 WITH SCORE 14187.612
AT ITER 9686 NEW BEST:: SOT 250316 SOS 204589 HAS SOPS 81038 HAS SOUS 14464 HAS SOUPS 13960 WITH SCORE 14164.589
AT ITER 9737 NEW BEST:: SOT 250310 SOS 204583 HAS SOPS 81026 HAS SOUS 14452 HAS SOUPS 13948 WITH SCORE 14152.583
AT ITER 9760 NEW BEST:: SOT 250288 SOS 204561 HAS SOPS 80994 HAS SOUS 14420 HAS SOUPS 13916 WITH SCORE 14120.561
AT ITER 9769 NEW BEST:: SOT 250271 SOS 204542 HAS SOPS 80969 HAS SOUS 14396 HAS SOUPS 13892 WITH SCORE 14096.542
AT ITER 9883 NEW BEST:: SOT 250251 SOS 204530 HAS SOPS 80948 HAS SOUS 14376 HAS SOUPS 13872 WITH SCORE 14076.53
AT ITER 9960 NEW BEST:: SOT 250252 SOS 204527 HAS SOPS 80947 HAS SOUS 14375 HAS SOUPS 13871 WITH SCORE 14075.527
AT ITER 9967 NEW BEST:: SOT 250264 SOS 204537 HAS SOPS 80957 HAS SOUS 14373 HAS SOUPS 13869 WITH SCORE 14073.537
BK_STOP 1679486976037
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 479 Killed ${SMART}/smart ${INPUT_SM}
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FlexibleBarrier-PT-22a"
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 FlexibleBarrier-PT-22a, 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 r171-tall-167838858800592"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-22a.tgz
mv FlexibleBarrier-PT-22a 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 '
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 ;