About the Execution of Smart+red for DiscoveryGPU-PT-11b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 9135.096 | 3600000.00 | 3630972.00 | 11326.50 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r139-smll-167819422800376.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 DiscoveryGPU-PT-11b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819422800376
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 464K
-rw-r--r-- 1 mcc users 5.5K Feb 25 13:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 55K Feb 25 13:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 13:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 13:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.4K Feb 25 13:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 25 13:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 13:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 13:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:00 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 82K 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 1678383710835
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=DiscoveryGPU-PT-11b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 17:41:53] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 17:41:53] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 17:41:54] [INFO ] Load time of PNML (sax parser for PT used): 237 ms
[2023-03-09 17:41:54] [INFO ] Transformed 324 places.
[2023-03-09 17:41:54] [INFO ] Transformed 344 transitions.
[2023-03-09 17:41:54] [INFO ] Found NUPN structural information;
[2023-03-09 17:41:54] [INFO ] Parsed PT model containing 324 places and 344 transitions and 898 arcs in 402 ms.
[2023-03-09 17:41:54] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 324 places, 344 transitions and 898 arcs took 13 ms.
Total runtime 476 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 11b
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: 324 places, 344 transitions, 898 arcs.
AT ITER 0 NEW BEST:: SOT 77803 SOS 37258 HAS SOPS 37258 HAS SOUS 33065 HAS SOUPS 33065 WITH SCORE 33102.258
AT ITER 1 NEW BEST:: SOT 77834 SOS 37344 HAS SOPS 37344 HAS SOUS 33029 HAS SOUPS 33029 WITH SCORE 33066.344
AT ITER 2 NEW BEST:: SOT 77765 SOS 37138 HAS SOPS 37138 HAS SOUS 32823 HAS SOUPS 32823 WITH SCORE 32860.138
AT ITER 3 NEW BEST:: SOT 77763 SOS 37060 HAS SOPS 37060 HAS SOUS 32745 HAS SOUPS 32745 WITH SCORE 32782.06
AT ITER 4 NEW BEST:: SOT 74529 SOS 34987 HAS SOPS 34987 HAS SOUS 29612 HAS SOUPS 29612 WITH SCORE 29646.987
AT ITER 8 NEW BEST:: SOT 74527 SOS 34983 HAS SOPS 34983 HAS SOUS 29608 HAS SOUPS 29608 WITH SCORE 29642.983
AT ITER 10 NEW BEST:: SOT 74484 SOS 34928 HAS SOPS 34928 HAS SOUS 29565 HAS SOUPS 29565 WITH SCORE 29599.928
AT ITER 13 NEW BEST:: SOT 74484 SOS 34928 HAS SOPS 34928 HAS SOUS 29495 HAS SOUPS 29495 WITH SCORE 29529.928
AT ITER 14 NEW BEST:: SOT 74435 SOS 34879 HAS SOPS 34879 HAS SOUS 29446 HAS SOUPS 29446 WITH SCORE 29480.879
AT ITER 17 NEW BEST:: SOT 74420 SOS 34834 HAS SOPS 34834 HAS SOUS 29416 HAS SOUPS 29416 WITH SCORE 29450.834
AT ITER 24 NEW BEST:: SOT 74314 SOS 34693 HAS SOPS 34693 HAS SOUS 29309 HAS SOUPS 29309 WITH SCORE 29343.693
AT ITER 27 NEW BEST:: SOT 74254 SOS 34573 HAS SOPS 34573 HAS SOUS 29189 HAS SOUPS 29189 WITH SCORE 29223.573
AT ITER 30 NEW BEST:: SOT 74180 SOS 34428 HAS SOPS 34428 HAS SOUS 29050 HAS SOUPS 29050 WITH SCORE 29084.428
AT ITER 32 NEW BEST:: SOT 74174 SOS 34344 HAS SOPS 34344 HAS SOUS 29007 HAS SOUPS 29007 WITH SCORE 29041.344
AT ITER 44 NEW BEST:: SOT 73391 SOS 34104 HAS SOPS 34104 HAS SOUS 28248 HAS SOUPS 28248 WITH SCORE 28282.104
AT ITER 47 NEW BEST:: SOT 73345 SOS 34026 HAS SOPS 34026 HAS SOUS 28201 HAS SOUPS 28201 WITH SCORE 28235.026
AT ITER 51 NEW BEST:: SOT 73283 SOS 33987 HAS SOPS 33987 HAS SOUS 28195 HAS SOUPS 28195 WITH SCORE 28228.987
AT ITER 53 NEW BEST:: SOT 73183 SOS 33680 HAS SOPS 33680 HAS SOUS 27995 HAS SOUPS 27995 WITH SCORE 28028.68
AT ITER 54 NEW BEST:: SOT 73113 SOS 33493 HAS SOPS 33493 HAS SOUS 27946 HAS SOUPS 27946 WITH SCORE 27979.493
AT ITER 58 NEW BEST:: SOT 73113 SOS 33419 HAS SOPS 33419 HAS SOUS 27945 HAS SOUPS 27945 WITH SCORE 27978.419
AT ITER 62 NEW BEST:: SOT 73113 SOS 33404 HAS SOPS 33404 HAS SOUS 27930 HAS SOUPS 27930 WITH SCORE 27963.404
AT ITER 64 NEW BEST:: SOT 73061 SOS 33300 HAS SOPS 33300 HAS SOUS 27881 HAS SOUPS 27881 WITH SCORE 27914.3
AT ITER 67 NEW BEST:: SOT 72806 SOS 33035 HAS SOPS 33035 HAS SOUS 27558 HAS SOUPS 27558 WITH SCORE 27591.035
AT ITER 68 NEW BEST:: SOT 72778 SOS 32979 HAS SOPS 32979 HAS SOUS 27528 HAS SOUPS 27528 WITH SCORE 27560.979
AT ITER 73 NEW BEST:: SOT 72776 SOS 32931 HAS SOPS 32931 HAS SOUS 27524 HAS SOUPS 27524 WITH SCORE 27556.931
AT ITER 76 NEW BEST:: SOT 72678 SOS 32765 HAS SOPS 32765 HAS SOUS 27431 HAS SOUPS 27431 WITH SCORE 27463.765
AT ITER 84 NEW BEST:: SOT 72634 SOS 32593 HAS SOPS 32593 HAS SOUS 27343 HAS SOUPS 27343 WITH SCORE 27375.593
AT ITER 91 NEW BEST:: SOT 72633 SOS 32591 HAS SOPS 32591 HAS SOUS 27341 HAS SOUPS 27341 WITH SCORE 27373.591
AT ITER 98 NEW BEST:: SOT 72569 SOS 32521 HAS SOPS 32521 HAS SOUS 27316 HAS SOUPS 27316 WITH SCORE 27348.521
AT ITER 102 NEW BEST:: SOT 72568 SOS 32458 HAS SOPS 32458 HAS SOUS 27314 HAS SOUPS 27314 WITH SCORE 27346.458
AT ITER 103 NEW BEST:: SOT 72542 SOS 32419 HAS SOPS 32419 HAS SOUS 27288 HAS SOUPS 27288 WITH SCORE 27320.419
AT ITER 105 NEW BEST:: SOT 72527 SOS 32389 HAS SOPS 32389 HAS SOUS 27258 HAS SOUPS 27258 WITH SCORE 27290.389
AT ITER 110 NEW BEST:: SOT 72525 SOS 32333 HAS SOPS 32333 HAS SOUS 27200 HAS SOUPS 27200 WITH SCORE 27232.333
AT ITER 112 NEW BEST:: SOT 72464 SOS 32292 HAS SOPS 32292 HAS SOUS 27159 HAS SOUPS 27159 WITH SCORE 27191.292
AT ITER 113 NEW BEST:: SOT 72457 SOS 32286 HAS SOPS 32286 HAS SOUS 27153 HAS SOUPS 27153 WITH SCORE 27185.286
AT ITER 114 NEW BEST:: SOT 72313 SOS 32064 HAS SOPS 32064 HAS SOUS 27066 HAS SOUPS 27066 WITH SCORE 27098.064
AT ITER 131 NEW BEST:: SOT 72230 SOS 31955 HAS SOPS 31955 HAS SOUS 26980 HAS SOUPS 26980 WITH SCORE 27011.955
AT ITER 135 NEW BEST:: SOT 72160 SOS 31839 HAS SOPS 31839 HAS SOUS 26953 HAS SOUPS 26953 WITH SCORE 26984.839
AT ITER 136 NEW BEST:: SOT 72160 SOS 31765 HAS SOPS 31765 HAS SOUS 26879 HAS SOUPS 26879 WITH SCORE 26910.765
AT ITER 140 NEW BEST:: SOT 72159 SOS 31763 HAS SOPS 31763 HAS SOUS 26877 HAS SOUPS 26877 WITH SCORE 26908.763
AT ITER 143 NEW BEST:: SOT 72079 SOS 31618 HAS SOPS 31618 HAS SOUS 26798 HAS SOUPS 26798 WITH SCORE 26829.618
AT ITER 144 NEW BEST:: SOT 71962 SOS 31469 HAS SOPS 31469 HAS SOUS 26650 HAS SOUPS 26650 WITH SCORE 26681.469
AT ITER 148 NEW BEST:: SOT 71920 SOS 31385 HAS SOPS 31385 HAS SOUS 26608 HAS SOUPS 26608 WITH SCORE 26639.385
AT ITER 153 NEW BEST:: SOT 71918 SOS 31381 HAS SOPS 31381 HAS SOUS 26604 HAS SOUPS 26604 WITH SCORE 26635.381
AT ITER 159 NEW BEST:: SOT 71896 SOS 31337 HAS SOPS 31337 HAS SOUS 26560 HAS SOUPS 26560 WITH SCORE 26591.337
AT ITER 169 NEW BEST:: SOT 71664 SOS 31012 HAS SOPS 31012 HAS SOUS 26234 HAS SOUPS 26234 WITH SCORE 26265.012
AT ITER 170 NEW BEST:: SOT 71607 SOS 30898 HAS SOPS 30898 HAS SOUS 26175 HAS SOUPS 26175 WITH SCORE 26205.898
AT ITER 173 NEW BEST:: SOT 71522 SOS 30834 HAS SOPS 30834 HAS SOUS 26111 HAS SOUPS 26111 WITH SCORE 26141.834
AT ITER 174 NEW BEST:: SOT 71465 SOS 30781 HAS SOPS 30781 HAS SOUS 26109 HAS SOUPS 26109 WITH SCORE 26139.781
AT ITER 178 NEW BEST:: SOT 71452 SOS 30756 HAS SOPS 30756 HAS SOUS 26083 HAS SOUPS 26083 WITH SCORE 26113.756
AT ITER 187 NEW BEST:: SOT 71277 SOS 30513 HAS SOPS 30513 HAS SOUS 25840 HAS SOUPS 25840 WITH SCORE 25870.513
AT ITER 189 NEW BEST:: SOT 71258 SOS 30495 HAS SOPS 30495 HAS SOUS 25802 HAS SOUPS 25802 WITH SCORE 25832.495
AT ITER 200 NEW BEST:: SOT 71258 SOS 30396 HAS SOPS 30396 HAS SOUS 25703 HAS SOUPS 25703 WITH SCORE 25733.396
AT ITER 204 NEW BEST:: SOT 71159 SOS 30297 HAS SOPS 30297 HAS SOUS 25604 HAS SOUPS 25604 WITH SCORE 25634.297
AT ITER 205 NEW BEST:: SOT 71120 SOS 30219 HAS SOPS 30219 HAS SOUS 25574 HAS SOUPS 25574 WITH SCORE 25604.219
AT ITER 206 NEW BEST:: SOT 71119 SOS 30218 HAS SOPS 30218 HAS SOUS 25572 HAS SOUPS 25572 WITH SCORE 25602.218
AT ITER 213 NEW BEST:: SOT 71118 SOS 30216 HAS SOPS 30216 HAS SOUS 25571 HAS SOUPS 25571 WITH SCORE 25601.216
AT ITER 220 NEW BEST:: SOT 71103 SOS 30164 HAS SOPS 30164 HAS SOUS 25556 HAS SOUPS 25556 WITH SCORE 25586.164
AT ITER 231 NEW BEST:: SOT 71100 SOS 30158 HAS SOPS 30158 HAS SOUS 25553 HAS SOUPS 25553 WITH SCORE 25583.158
AT ITER 244 NEW BEST:: SOT 70883 SOS 29807 HAS SOPS 29807 HAS SOUS 25230 HAS SOUPS 25230 WITH SCORE 25259.807
AT ITER 260 NEW BEST:: SOT 70882 SOS 29806 HAS SOPS 29806 HAS SOUS 25228 HAS SOUPS 25228 WITH SCORE 25257.806
AT ITER 273 NEW BEST:: SOT 70832 SOS 29643 HAS SOPS 29643 HAS SOUS 25110 HAS SOUPS 25110 WITH SCORE 25139.643
AT ITER 278 NEW BEST:: SOT 70782 SOS 29597 HAS SOPS 29597 HAS SOUS 25064 HAS SOUPS 25064 WITH SCORE 25093.597
AT ITER 281 NEW BEST:: SOT 70724 SOS 29588 HAS SOPS 29588 HAS SOUS 25058 HAS SOUPS 25058 WITH SCORE 25087.588
AT ITER 287 NEW BEST:: SOT 70682 SOS 29499 HAS SOPS 29499 HAS SOUS 24974 HAS SOUPS 24974 WITH SCORE 25003.499
AT ITER 291 NEW BEST:: SOT 70681 SOS 29498 HAS SOPS 29498 HAS SOUS 24970 HAS SOUPS 24970 WITH SCORE 24999.498
AT ITER 306 NEW BEST:: SOT 70652 SOS 29457 HAS SOPS 29457 HAS SOUS 24954 HAS SOUPS 24954 WITH SCORE 24983.457
AT ITER 308 NEW BEST:: SOT 70642 SOS 29355 HAS SOPS 29355 HAS SOUS 24934 HAS SOUPS 24934 WITH SCORE 24963.355
AT ITER 318 NEW BEST:: SOT 70588 SOS 29297 HAS SOPS 29297 HAS SOUS 24875 HAS SOUPS 24875 WITH SCORE 24904.297
AT ITER 320 NEW BEST:: SOT 70411 SOS 28943 HAS SOPS 28943 HAS SOUS 24484 HAS SOUPS 24484 WITH SCORE 24512.943
AT ITER 323 NEW BEST:: SOT 70371 SOS 28862 HAS SOPS 28862 HAS SOUS 24404 HAS SOUPS 24404 WITH SCORE 24432.862
AT ITER 324 NEW BEST:: SOT 70351 SOS 28822 HAS SOPS 28822 HAS SOUS 24373 HAS SOUPS 24373 WITH SCORE 24401.822
AT ITER 331 NEW BEST:: SOT 70350 SOS 28820 HAS SOPS 28820 HAS SOUS 24371 HAS SOUPS 24371 WITH SCORE 24399.82
AT ITER 334 NEW BEST:: SOT 70340 SOS 28772 HAS SOPS 28772 HAS SOUS 24258 HAS SOUPS 24258 WITH SCORE 24286.772
AT ITER 337 NEW BEST:: SOT 70309 SOS 28710 HAS SOPS 28710 HAS SOUS 24196 HAS SOUPS 24196 WITH SCORE 24224.71
AT ITER 341 NEW BEST:: SOT 70260 SOS 28652 HAS SOPS 28652 HAS SOUS 24098 HAS SOUPS 24098 WITH SCORE 24126.652
AT ITER 354 NEW BEST:: SOT 70255 SOS 28637 HAS SOPS 28637 HAS SOUS 24083 HAS SOUPS 24083 WITH SCORE 24111.637
AT ITER 359 NEW BEST:: SOT 70273 SOS 28558 HAS SOPS 28558 HAS SOUS 23999 HAS SOUPS 23999 WITH SCORE 24027.558
AT ITER 360 NEW BEST:: SOT 70265 SOS 28544 HAS SOPS 28544 HAS SOUS 23987 HAS SOUPS 23987 WITH SCORE 24015.544
AT ITER 369 NEW BEST:: SOT 70277 SOS 28568 HAS SOPS 28568 HAS SOUS 23972 HAS SOUPS 23972 WITH SCORE 24000.568
AT ITER 378 NEW BEST:: SOT 70277 SOS 28480 HAS SOPS 28480 HAS SOUS 23972 HAS SOUPS 23972 WITH SCORE 24000.48
AT ITER 387 NEW BEST:: SOT 70268 SOS 28462 HAS SOPS 28462 HAS SOUS 23945 HAS SOUPS 23945 WITH SCORE 23973.462
AT ITER 401 NEW BEST:: SOT 70194 SOS 28501 HAS SOPS 28501 HAS SOUS 23930 HAS SOUPS 23930 WITH SCORE 23958.501
AT ITER 403 NEW BEST:: SOT 70175 SOS 28475 HAS SOPS 28475 HAS SOUS 23905 HAS SOUPS 23905 WITH SCORE 23933.475
AT ITER 414 NEW BEST:: SOT 70178 SOS 28161 HAS SOPS 28161 HAS SOUS 23848 HAS SOUPS 23848 WITH SCORE 23876.161
AT ITER 415 NEW BEST:: SOT 70178 SOS 28131 HAS SOPS 28131 HAS SOUS 23847 HAS SOUPS 23847 WITH SCORE 23875.131
AT ITER 421 NEW BEST:: SOT 70157 SOS 27973 HAS SOPS 27973 HAS SOUS 23756 HAS SOUPS 23756 WITH SCORE 23783.973
AT ITER 423 NEW BEST:: SOT 70058 SOS 27775 HAS SOPS 27775 HAS SOUS 23622 HAS SOUPS 23622 WITH SCORE 23649.775
AT ITER 426 NEW BEST:: SOT 69464 SOS 27539 HAS SOPS 27539 HAS SOUS 23112 HAS SOUPS 23112 WITH SCORE 23139.539
AT ITER 434 NEW BEST:: SOT 69464 SOS 27539 HAS SOPS 27539 HAS SOUS 23092 HAS SOUPS 23092 WITH SCORE 23119.539
AT ITER 438 NEW BEST:: SOT 69419 SOS 27449 HAS SOPS 27449 HAS SOUS 23002 HAS SOUPS 23002 WITH SCORE 23029.449
AT ITER 440 NEW BEST:: SOT 69380 SOS 27441 HAS SOPS 27441 HAS SOUS 22977 HAS SOUPS 22977 WITH SCORE 23004.441
AT ITER 443 NEW BEST:: SOT 69351 SOS 27425 HAS SOPS 27425 HAS SOUS 22959 HAS SOUPS 22959 WITH SCORE 22986.425
AT ITER 445 NEW BEST:: SOT 69298 SOS 27385 HAS SOPS 27385 HAS SOUS 22903 HAS SOUPS 22903 WITH SCORE 22930.385
AT ITER 446 NEW BEST:: SOT 69217 SOS 27307 HAS SOPS 27307 HAS SOUS 22819 HAS SOUPS 22819 WITH SCORE 22846.307
AT ITER 453 NEW BEST:: SOT 69165 SOS 27218 HAS SOPS 27218 HAS SOUS 22768 HAS SOUPS 22768 WITH SCORE 22795.218
AT ITER 455 NEW BEST:: SOT 69176 SOS 27229 HAS SOPS 27229 HAS SOUS 22766 HAS SOUPS 22766 WITH SCORE 22793.229
AT ITER 458 NEW BEST:: SOT 69176 SOS 27225 HAS SOPS 27225 HAS SOUS 22762 HAS SOUPS 22762 WITH SCORE 22789.225
AT ITER 463 NEW BEST:: SOT 69107 SOS 27130 HAS SOPS 27130 HAS SOUS 22647 HAS SOUPS 22647 WITH SCORE 22674.13
AT ITER 466 NEW BEST:: SOT 69104 SOS 27129 HAS SOPS 27129 HAS SOUS 22641 HAS SOUPS 22641 WITH SCORE 22668.129
AT ITER 468 NEW BEST:: SOT 69088 SOS 27097 HAS SOPS 27097 HAS SOUS 22625 HAS SOUPS 22625 WITH SCORE 22652.097
AT ITER 473 NEW BEST:: SOT 69075 SOS 27137 HAS SOPS 27137 HAS SOUS 22611 HAS SOUPS 22611 WITH SCORE 22638.137
AT ITER 481 NEW BEST:: SOT 69075 SOS 27187 HAS SOPS 27187 HAS SOUS 22609 HAS SOUPS 22609 WITH SCORE 22636.187
AT ITER 483 NEW BEST:: SOT 69085 SOS 27083 HAS SOPS 27083 HAS SOUS 22549 HAS SOUPS 22549 WITH SCORE 22576.083
AT ITER 492 NEW BEST:: SOT 69084 SOS 27081 HAS SOPS 27081 HAS SOUS 22547 HAS SOUPS 22547 WITH SCORE 22574.081
AT ITER 494 NEW BEST:: SOT 69134 SOS 27272 HAS SOPS 27272 HAS SOUS 22540 HAS SOUPS 22540 WITH SCORE 22567.272
AT ITER 520 NEW BEST:: SOT 69037 SOS 27120 HAS SOPS 27120 HAS SOUS 22450 HAS SOUPS 22450 WITH SCORE 22477.12
AT ITER 529 NEW BEST:: SOT 69022 SOS 27014 HAS SOPS 27014 HAS SOUS 22387 HAS SOUPS 22387 WITH SCORE 22414.014
AT ITER 532 NEW BEST:: SOT 68984 SOS 26938 HAS SOPS 26938 HAS SOUS 22342 HAS SOUPS 22342 WITH SCORE 22368.938
AT ITER 544 NEW BEST:: SOT 68983 SOS 26877 HAS SOPS 26877 HAS SOUS 22341 HAS SOUPS 22341 WITH SCORE 22367.877
AT ITER 545 NEW BEST:: SOT 68979 SOS 26869 HAS SOPS 26869 HAS SOUS 22302 HAS SOUPS 22302 WITH SCORE 22328.869
AT ITER 550 NEW BEST:: SOT 68977 SOS 26862 HAS SOPS 26862 HAS SOUS 22297 HAS SOUPS 22297 WITH SCORE 22323.862
AT ITER 556 NEW BEST:: SOT 68990 SOS 26888 HAS SOPS 26888 HAS SOUS 22294 HAS SOUPS 22294 WITH SCORE 22320.888
AT ITER 564 NEW BEST:: SOT 68980 SOS 26868 HAS SOPS 26868 HAS SOUS 22279 HAS SOUPS 22279 WITH SCORE 22305.868
AT ITER 567 NEW BEST:: SOT 68981 SOS 26810 HAS SOPS 26810 HAS SOUS 22197 HAS SOUPS 22197 WITH SCORE 22223.81
AT ITER 573 NEW BEST:: SOT 68884 SOS 26639 HAS SOPS 26639 HAS SOUS 22026 HAS SOUPS 22026 WITH SCORE 22052.639
AT ITER 587 NEW BEST:: SOT 68876 SOS 26631 HAS SOPS 26631 HAS SOUS 22018 HAS SOUPS 22018 WITH SCORE 22044.631
AT ITER 594 NEW BEST:: SOT 68832 SOS 26543 HAS SOPS 26543 HAS SOUS 21954 HAS SOUPS 21954 WITH SCORE 21980.543
AT ITER 596 NEW BEST:: SOT 68760 SOS 26386 HAS SOPS 26386 HAS SOUS 21868 HAS SOUPS 21868 WITH SCORE 21894.386
AT ITER 597 NEW BEST:: SOT 68780 SOS 26340 HAS SOPS 26340 HAS SOUS 21840 HAS SOUPS 21840 WITH SCORE 21866.34
AT ITER 600 NEW BEST:: SOT 68751 SOS 26288 HAS SOPS 26288 HAS SOUS 21763 HAS SOUPS 21763 WITH SCORE 21789.288
AT ITER 602 NEW BEST:: SOT 68751 SOS 26288 HAS SOPS 26288 HAS SOUS 21725 HAS SOUPS 21725 WITH SCORE 21751.288
AT ITER 609 NEW BEST:: SOT 68743 SOS 26280 HAS SOPS 26280 HAS SOUS 21719 HAS SOUPS 21719 WITH SCORE 21745.28
AT ITER 624 NEW BEST:: SOT 68723 SOS 26280 HAS SOPS 26280 HAS SOUS 21699 HAS SOUPS 21699 WITH SCORE 21725.28
AT ITER 634 NEW BEST:: SOT 68642 SOS 26199 HAS SOPS 26199 HAS SOUS 21537 HAS SOUPS 21537 WITH SCORE 21563.199
AT ITER 635 NEW BEST:: SOT 68628 SOS 26171 HAS SOPS 26171 HAS SOUS 21509 HAS SOUPS 21509 WITH SCORE 21535.171
AT ITER 636 NEW BEST:: SOT 68628 SOS 26158 HAS SOPS 26158 HAS SOUS 21509 HAS SOUPS 21509 WITH SCORE 21535.158
AT ITER 641 NEW BEST:: SOT 68599 SOS 26041 HAS SOPS 26041 HAS SOUS 21378 HAS SOUPS 21378 WITH SCORE 21404.041
AT ITER 649 NEW BEST:: SOT 68598 SOS 26039 HAS SOPS 26039 HAS SOUS 21376 HAS SOUPS 21376 WITH SCORE 21402.039
AT ITER 652 NEW BEST:: SOT 68495 SOS 25953 HAS SOPS 25953 HAS SOUS 21309 HAS SOUPS 21309 WITH SCORE 21334.953
AT ITER 654 NEW BEST:: SOT 68487 SOS 25937 HAS SOPS 25937 HAS SOUS 21293 HAS SOUPS 21293 WITH SCORE 21318.937
AT ITER 680 NEW BEST:: SOT 68467 SOS 25865 HAS SOPS 25865 HAS SOUS 21273 HAS SOUPS 21273 WITH SCORE 21298.865
AT ITER 682 NEW BEST:: SOT 68413 SOS 25718 HAS SOPS 25718 HAS SOUS 21105 HAS SOUPS 21105 WITH SCORE 21130.718
AT ITER 683 NEW BEST:: SOT 68402 SOS 25707 HAS SOPS 25707 HAS SOUS 21083 HAS SOUPS 21083 WITH SCORE 21108.707
AT ITER 688 NEW BEST:: SOT 68383 SOS 25695 HAS SOPS 25695 HAS SOUS 21071 HAS SOUPS 21071 WITH SCORE 21096.695
AT ITER 694 NEW BEST:: SOT 68358 SOS 25602 HAS SOPS 25602 HAS SOUS 21052 HAS SOUPS 21052 WITH SCORE 21077.602
AT ITER 695 NEW BEST:: SOT 68323 SOS 25540 HAS SOPS 25540 HAS SOUS 21007 HAS SOUPS 21007 WITH SCORE 21032.54
AT ITER 718 NEW BEST:: SOT 68323 SOS 25540 HAS SOPS 25540 HAS SOUS 21004 HAS SOUPS 21004 WITH SCORE 21029.54
AT ITER 719 NEW BEST:: SOT 68323 SOS 25539 HAS SOPS 25539 HAS SOUS 21003 HAS SOUPS 21003 WITH SCORE 21028.539
AT ITER 720 NEW BEST:: SOT 68322 SOS 25444 HAS SOPS 25444 HAS SOUS 20890 HAS SOUPS 20890 WITH SCORE 20915.444
AT ITER 730 NEW BEST:: SOT 68321 SOS 25437 HAS SOPS 25437 HAS SOUS 20888 HAS SOUPS 20888 WITH SCORE 20913.437
AT ITER 732 NEW BEST:: SOT 68298 SOS 25414 HAS SOPS 25414 HAS SOUS 20865 HAS SOUPS 20865 WITH SCORE 20890.414
AT ITER 779 NEW BEST:: SOT 68281 SOS 25380 HAS SOPS 25380 HAS SOUS 20848 HAS SOUPS 20848 WITH SCORE 20873.38
AT ITER 788 NEW BEST:: SOT 68158 SOS 25153 HAS SOPS 25153 HAS SOUS 20667 HAS SOUPS 20667 WITH SCORE 20692.153
AT ITER 789 NEW BEST:: SOT 68136 SOS 25109 HAS SOPS 25109 HAS SOUS 20661 HAS SOUPS 20661 WITH SCORE 20686.109
AT ITER 798 NEW BEST:: SOT 68130 SOS 25097 HAS SOPS 25097 HAS SOUS 20649 HAS SOUPS 20649 WITH SCORE 20674.097
AT ITER 803 NEW BEST:: SOT 68130 SOS 25085 HAS SOPS 25085 HAS SOUS 20649 HAS SOUPS 20649 WITH SCORE 20674.085
AT ITER 805 NEW BEST:: SOT 68130 SOS 25028 HAS SOPS 25028 HAS SOUS 20592 HAS SOUPS 20592 WITH SCORE 20617.028
AT ITER 818 NEW BEST:: SOT 68129 SOS 25026 HAS SOPS 25026 HAS SOUS 20590 HAS SOUPS 20590 WITH SCORE 20615.026
AT ITER 825 NEW BEST:: SOT 68112 SOS 25045 HAS SOPS 25045 HAS SOUS 20587 HAS SOUPS 20587 WITH SCORE 20612.045
AT ITER 838 NEW BEST:: SOT 68039 SOS 24983 HAS SOPS 24983 HAS SOUS 20578 HAS SOUPS 20578 WITH SCORE 20602.983
AT ITER 841 NEW BEST:: SOT 68007 SOS 24889 HAS SOPS 24889 HAS SOUS 20514 HAS SOUPS 20514 WITH SCORE 20538.889
AT ITER 848 NEW BEST:: SOT 67989 SOS 24871 HAS SOPS 24871 HAS SOUS 20496 HAS SOUPS 20496 WITH SCORE 20520.871
AT ITER 850 NEW BEST:: SOT 67988 SOS 24864 HAS SOPS 24864 HAS SOUS 20494 HAS SOUPS 20494 WITH SCORE 20518.864
AT ITER 867 NEW BEST:: SOT 67877 SOS 24642 HAS SOPS 24642 HAS SOUS 20383 HAS SOUPS 20383 WITH SCORE 20407.642
AT ITER 868 NEW BEST:: SOT 67876 SOS 24641 HAS SOPS 24641 HAS SOUS 20381 HAS SOUPS 20381 WITH SCORE 20405.641
AT ITER 878 NEW BEST:: SOT 67852 SOS 24572 HAS SOPS 24572 HAS SOUS 20312 HAS SOUPS 20312 WITH SCORE 20336.572
AT ITER 881 NEW BEST:: SOT 67851 SOS 24505 HAS SOPS 24505 HAS SOUS 20310 HAS SOUPS 20310 WITH SCORE 20334.505
AT ITER 891 NEW BEST:: SOT 67851 SOS 24492 HAS SOPS 24492 HAS SOUS 20295 HAS SOUPS 20295 WITH SCORE 20319.492
AT ITER 895 NEW BEST:: SOT 67848 SOS 24486 HAS SOPS 24486 HAS SOUS 20289 HAS SOUPS 20289 WITH SCORE 20313.486
AT ITER 911 NEW BEST:: SOT 67839 SOS 24477 HAS SOPS 24477 HAS SOUS 20280 HAS SOUPS 20280 WITH SCORE 20304.477
AT ITER 917 NEW BEST:: SOT 67848 SOS 24463 HAS SOPS 24463 HAS SOUS 20266 HAS SOUPS 20266 WITH SCORE 20290.463
AT ITER 926 NEW BEST:: SOT 67848 SOS 24463 HAS SOPS 24463 HAS SOUS 20261 HAS SOUPS 20261 WITH SCORE 20285.463
AT ITER 931 NEW BEST:: SOT 67830 SOS 24420 HAS SOPS 24420 HAS SOUS 20243 HAS SOUPS 20243 WITH SCORE 20267.42
AT ITER 939 NEW BEST:: SOT 67826 SOS 24405 HAS SOPS 24405 HAS SOUS 20239 HAS SOUPS 20239 WITH SCORE 20263.405
AT ITER 964 NEW BEST:: SOT 67713 SOS 24248 HAS SOPS 24248 HAS SOUS 20082 HAS SOUPS 20082 WITH SCORE 20106.248
AT ITER 965 NEW BEST:: SOT 67713 SOS 24215 HAS SOPS 24215 HAS SOUS 20082 HAS SOUPS 20082 WITH SCORE 20106.215
AT ITER 966 NEW BEST:: SOT 67692 SOS 24203 HAS SOPS 24203 HAS SOUS 20061 HAS SOUPS 20061 WITH SCORE 20085.203
AT ITER 968 NEW BEST:: SOT 67692 SOS 24184 HAS SOPS 24184 HAS SOUS 20042 HAS SOUPS 20042 WITH SCORE 20066.184
AT ITER 972 NEW BEST:: SOT 67646 SOS 24092 HAS SOPS 24092 HAS SOUS 19978 HAS SOUPS 19978 WITH SCORE 20002.092
AT ITER 978 NEW BEST:: SOT 67646 SOS 24092 HAS SOPS 24092 HAS SOUS 19968 HAS SOUPS 19968 WITH SCORE 19992.092
AT ITER 989 NEW BEST:: SOT 67614 SOS 24060 HAS SOPS 24060 HAS SOUS 19920 HAS SOUPS 19920 WITH SCORE 19944.06
AT ITER 1006 NEW BEST:: SOT 67105 SOS 23531 HAS SOPS 23531 HAS SOUS 19391 HAS SOUPS 19391 WITH SCORE 19414.531
AT ITER 1017 NEW BEST:: SOT 67105 SOS 23463 HAS SOPS 23463 HAS SOUS 19323 HAS SOUPS 19323 WITH SCORE 19346.463
AT ITER 1018 NEW BEST:: SOT 67085 SOS 23366 HAS SOPS 23366 HAS SOUS 19230 HAS SOUPS 19230 WITH SCORE 19253.366
AT ITER 1025 NEW BEST:: SOT 67085 SOS 23454 HAS SOPS 23454 HAS SOUS 19207 HAS SOUPS 19207 WITH SCORE 19230.454
AT ITER 1026 NEW BEST:: SOT 67095 SOS 23437 HAS SOPS 23437 HAS SOUS 19206 HAS SOUPS 19206 WITH SCORE 19229.437
AT ITER 1027 NEW BEST:: SOT 67087 SOS 23368 HAS SOPS 23368 HAS SOUS 19137 HAS SOUPS 19137 WITH SCORE 19160.368
AT ITER 1033 NEW BEST:: SOT 67112 SOS 23306 HAS SOPS 23306 HAS SOUS 19112 HAS SOUPS 19112 WITH SCORE 19135.306
AT ITER 1037 NEW BEST:: SOT 67074 SOS 23185 HAS SOPS 23185 HAS SOUS 19060 HAS SOUPS 19060 WITH SCORE 19083.185
AT ITER 1039 NEW BEST:: SOT 67053 SOS 23164 HAS SOPS 23164 HAS SOUS 19060 HAS SOUPS 19060 WITH SCORE 19083.164
AT ITER 1041 NEW BEST:: SOT 67021 SOS 23100 HAS SOPS 23100 HAS SOUS 18947 HAS SOUPS 18947 WITH SCORE 18970.1
AT ITER 1050 NEW BEST:: SOT 67011 SOS 23080 HAS SOPS 23080 HAS SOUS 18927 HAS SOUPS 18927 WITH SCORE 18950.08
AT ITER 1070 NEW BEST:: SOT 66958 SOS 22984 HAS SOPS 22984 HAS SOUS 18831 HAS SOUPS 18831 WITH SCORE 18853.984
AT ITER 1071 NEW BEST:: SOT 66957 SOS 22983 HAS SOPS 22983 HAS SOUS 18830 HAS SOUPS 18830 WITH SCORE 18852.983
AT ITER 1093 NEW BEST:: SOT 66957 SOS 22969 HAS SOPS 22969 HAS SOUS 18830 HAS SOUPS 18830 WITH SCORE 18852.969
AT ITER 1108 NEW BEST:: SOT 66956 SOS 22957 HAS SOPS 22957 HAS SOUS 18828 HAS SOUPS 18828 WITH SCORE 18850.957
AT ITER 1129 NEW BEST:: SOT 66907 SOS 22910 HAS SOPS 22910 HAS SOUS 18714 HAS SOUPS 18714 WITH SCORE 18736.91
AT ITER 1130 NEW BEST:: SOT 66903 SOS 22902 HAS SOPS 22902 HAS SOUS 18700 HAS SOUPS 18700 WITH SCORE 18722.902
AT ITER 1138 NEW BEST:: SOT 66891 SOS 22878 HAS SOPS 22878 HAS SOUS 18688 HAS SOUPS 18688 WITH SCORE 18710.878
AT ITER 1146 NEW BEST:: SOT 66869 SOS 22834 HAS SOPS 22834 HAS SOUS 18666 HAS SOUPS 18666 WITH SCORE 18688.834
AT ITER 1160 NEW BEST:: SOT 66869 SOS 22793 HAS SOPS 22793 HAS SOUS 18625 HAS SOUPS 18625 WITH SCORE 18647.793
AT ITER 1166 NEW BEST:: SOT 66865 SOS 22792 HAS SOPS 22792 HAS SOUS 18621 HAS SOUPS 18621 WITH SCORE 18643.792
AT ITER 1171 NEW BEST:: SOT 66854 SOS 22781 HAS SOPS 22781 HAS SOUS 18610 HAS SOUPS 18610 WITH SCORE 18632.781
AT ITER 1175 NEW BEST:: SOT 66878 SOS 22705 HAS SOPS 22705 HAS SOUS 18527 HAS SOUPS 18527 WITH SCORE 18549.705
AT ITER 1177 NEW BEST:: SOT 66878 SOS 22705 HAS SOPS 22705 HAS SOUS 18508 HAS SOUPS 18508 WITH SCORE 18530.705
AT ITER 1184 NEW BEST:: SOT 66877 SOS 22681 HAS SOPS 22681 HAS SOUS 18506 HAS SOUPS 18506 WITH SCORE 18528.681
AT ITER 1198 NEW BEST:: SOT 66843 SOS 22613 HAS SOPS 22613 HAS SOUS 18438 HAS SOUPS 18438 WITH SCORE 18460.613
AT ITER 1199 NEW BEST:: SOT 66794 SOS 22595 HAS SOPS 22595 HAS SOUS 18423 HAS SOUPS 18423 WITH SCORE 18445.595
AT ITER 1200 NEW BEST:: SOT 66783 SOS 22584 HAS SOPS 22584 HAS SOUS 18417 HAS SOUPS 18417 WITH SCORE 18439.584
AT ITER 1233 NEW BEST:: SOT 66538 SOS 23122 HAS SOPS 23122 HAS SOUS 18220 HAS SOUPS 18220 WITH SCORE 18243.122
AT ITER 1237 NEW BEST:: SOT 66533 SOS 23112 HAS SOPS 23112 HAS SOUS 18210 HAS SOUPS 18210 WITH SCORE 18233.112
AT ITER 1238 NEW BEST:: SOT 66504 SOS 23094 HAS SOPS 23094 HAS SOUS 18192 HAS SOUPS 18192 WITH SCORE 18215.094
AT ITER 1261 NEW BEST:: SOT 66498 SOS 23098 HAS SOPS 23098 HAS SOUS 18180 HAS SOUPS 18180 WITH SCORE 18203.098
AT ITER 1283 NEW BEST:: SOT 66368 SOS 22927 HAS SOPS 22927 HAS SOUS 18009 HAS SOUPS 18009 WITH SCORE 18031.927
AT ITER 1284 NEW BEST:: SOT 66351 SOS 22893 HAS SOPS 22893 HAS SOUS 17975 HAS SOUPS 17975 WITH SCORE 17997.893
AT ITER 1291 NEW BEST:: SOT 66344 SOS 22879 HAS SOPS 22879 HAS SOUS 17968 HAS SOUPS 17968 WITH SCORE 17990.879
AT ITER 1292 NEW BEST:: SOT 66324 SOS 22839 HAS SOPS 22839 HAS SOUS 17947 HAS SOUPS 17947 WITH SCORE 17969.839
AT ITER 1299 NEW BEST:: SOT 66315 SOS 22801 HAS SOPS 22801 HAS SOUS 17918 HAS SOUPS 17918 WITH SCORE 17940.801
AT ITER 1306 NEW BEST:: SOT 66259 SOS 22717 HAS SOPS 22717 HAS SOUS 17861 HAS SOUPS 17861 WITH SCORE 17883.717
AT ITER 1313 NEW BEST:: SOT 66247 SOS 22705 HAS SOPS 22705 HAS SOUS 17843 HAS SOUPS 17843 WITH SCORE 17865.705
AT ITER 1317 NEW BEST:: SOT 66214 SOS 22672 HAS SOPS 22672 HAS SOUS 17810 HAS SOUPS 17810 WITH SCORE 17832.672
AT ITER 1318 NEW BEST:: SOT 66213 SOS 22651 HAS SOPS 22651 HAS SOUS 17788 HAS SOUPS 17788 WITH SCORE 17810.651
AT ITER 1327 NEW BEST:: SOT 66232 SOS 22689 HAS SOPS 22689 HAS SOUS 17773 HAS SOUPS 17773 WITH SCORE 17795.689
AT ITER 1373 NEW BEST:: SOT 66220 SOS 22665 HAS SOPS 22665 HAS SOUS 17743 HAS SOUPS 17743 WITH SCORE 17765.665
AT ITER 1376 NEW BEST:: SOT 66112 SOS 22449 HAS SOPS 22449 HAS SOUS 17527 HAS SOUPS 17527 WITH SCORE 17549.449
AT ITER 1380 NEW BEST:: SOT 66112 SOS 22382 HAS SOPS 22382 HAS SOUS 17527 HAS SOUPS 17527 WITH SCORE 17549.382
AT ITER 1381 NEW BEST:: SOT 66092 SOS 22339 HAS SOPS 22339 HAS SOUS 17508 HAS SOUPS 17508 WITH SCORE 17530.339
AT ITER 1393 NEW BEST:: SOT 66076 SOS 22323 HAS SOPS 22323 HAS SOUS 17476 HAS SOUPS 17476 WITH SCORE 17498.323
AT ITER 1403 NEW BEST:: SOT 66076 SOS 22323 HAS SOPS 22323 HAS SOUS 17461 HAS SOUPS 17461 WITH SCORE 17483.323
AT ITER 1445 NEW BEST:: SOT 66075 SOS 22308 HAS SOPS 22308 HAS SOUS 17459 HAS SOUPS 17459 WITH SCORE 17481.308
AT ITER 1446 NEW BEST:: SOT 66007 SOS 22296 HAS SOPS 22296 HAS SOUS 17431 HAS SOUPS 17431 WITH SCORE 17453.296
AT ITER 1449 NEW BEST:: SOT 66009 SOS 22281 HAS SOPS 22281 HAS SOUS 17363 HAS SOUPS 17363 WITH SCORE 17385.281
AT ITER 1451 NEW BEST:: SOT 66009 SOS 22281 HAS SOPS 22281 HAS SOUS 17314 HAS SOUPS 17314 WITH SCORE 17336.281
AT ITER 1457 NEW BEST:: SOT 65986 SOS 22212 HAS SOPS 22212 HAS SOUS 17268 HAS SOUPS 17268 WITH SCORE 17290.212
AT ITER 1465 NEW BEST:: SOT 65984 SOS 22203 HAS SOPS 22203 HAS SOUS 17261 HAS SOUPS 17261 WITH SCORE 17283.203
AT ITER 1481 NEW BEST:: SOT 65935 SOS 22105 HAS SOPS 22105 HAS SOUS 17163 HAS SOUPS 17163 WITH SCORE 17185.105
AT ITER 1499 NEW BEST:: SOT 65932 SOS 22100 HAS SOPS 22100 HAS SOUS 17158 HAS SOUPS 17158 WITH SCORE 17180.1
AT ITER 1508 NEW BEST:: SOT 65821 SOS 21904 HAS SOPS 21904 HAS SOUS 17011 HAS SOUPS 17011 WITH SCORE 17032.904
AT ITER 1519 NEW BEST:: SOT 65824 SOS 21910 HAS SOPS 21910 HAS SOUS 17009 HAS SOUPS 17009 WITH SCORE 17030.91
AT ITER 1521 NEW BEST:: SOT 65812 SOS 21887 HAS SOPS 21887 HAS SOUS 16996 HAS SOUPS 16996 WITH SCORE 17017.887
AT ITER 1534 NEW BEST:: SOT 65818 SOS 21899 HAS SOPS 21899 HAS SOUS 16987 HAS SOUPS 16987 WITH SCORE 17008.899
AT ITER 1548 NEW BEST:: SOT 65839 SOS 21886 HAS SOPS 21886 HAS SOUS 16978 HAS SOUPS 16978 WITH SCORE 16999.886
AT ITER 1566 NEW BEST:: SOT 65829 SOS 21866 HAS SOPS 21866 HAS SOUS 16975 HAS SOUPS 16975 WITH SCORE 16996.866
AT ITER 1579 NEW BEST:: SOT 65825 SOS 21864 HAS SOPS 21864 HAS SOUS 16967 HAS SOUPS 16967 WITH SCORE 16988.864
AT ITER 1582 NEW BEST:: SOT 65821 SOS 21836 HAS SOPS 21836 HAS SOUS 16956 HAS SOUPS 16956 WITH SCORE 16977.836
AT ITER 1587 NEW BEST:: SOT 65813 SOS 21820 HAS SOPS 21820 HAS SOUS 16956 HAS SOUPS 16956 WITH SCORE 16977.82
AT ITER 1597 NEW BEST:: SOT 65800 SOS 21807 HAS SOPS 21807 HAS SOUS 16943 HAS SOUPS 16943 WITH SCORE 16964.807
AT ITER 1612 NEW BEST:: SOT 65713 SOS 21646 HAS SOPS 21646 HAS SOUS 16854 HAS SOUPS 16854 WITH SCORE 16875.646
AT ITER 1614 NEW BEST:: SOT 65713 SOS 21620 HAS SOPS 21620 HAS SOUS 16828 HAS SOUPS 16828 WITH SCORE 16849.62
AT ITER 1615 NEW BEST:: SOT 65713 SOS 21620 HAS SOPS 21620 HAS SOUS 16826 HAS SOUPS 16826 WITH SCORE 16847.62
AT ITER 1617 NEW BEST:: SOT 65710 SOS 21619 HAS SOPS 21619 HAS SOUS 16825 HAS SOUPS 16825 WITH SCORE 16846.619
AT ITER 1631 NEW BEST:: SOT 65704 SOS 21616 HAS SOPS 21616 HAS SOUS 16819 HAS SOUPS 16819 WITH SCORE 16840.616
AT ITER 1638 NEW BEST:: SOT 65701 SOS 21610 HAS SOPS 21610 HAS SOUS 16813 HAS SOUPS 16813 WITH SCORE 16834.61
AT ITER 1653 NEW BEST:: SOT 65699 SOS 21604 HAS SOPS 21604 HAS SOUS 16807 HAS SOUPS 16807 WITH SCORE 16828.604
AT ITER 1710 NEW BEST:: SOT 65717 SOS 21518 HAS SOPS 21518 HAS SOUS 16796 HAS SOUPS 16796 WITH SCORE 16817.518
AT ITER 1716 NEW BEST:: SOT 65718 SOS 21512 HAS SOPS 21512 HAS SOUS 16793 HAS SOUPS 16793 WITH SCORE 16814.512
AT ITER 1732 NEW BEST:: SOT 65675 SOS 21474 HAS SOPS 21474 HAS SOUS 16755 HAS SOUPS 16755 WITH SCORE 16776.474
AT ITER 1769 NEW BEST:: SOT 65631 SOS 21385 HAS SOPS 21385 HAS SOUS 16666 HAS SOUPS 16666 WITH SCORE 16687.385
AT ITER 1773 NEW BEST:: SOT 65607 SOS 21375 HAS SOPS 21375 HAS SOUS 16654 HAS SOUPS 16654 WITH SCORE 16675.375
AT ITER 1783 NEW BEST:: SOT 65570 SOS 21379 HAS SOPS 21379 HAS SOUS 16590 HAS SOUPS 16590 WITH SCORE 16611.379
AT ITER 1789 NEW BEST:: SOT 65552 SOS 21401 HAS SOPS 21401 HAS SOUS 16581 HAS SOUPS 16581 WITH SCORE 16602.401
AT ITER 1817 NEW BEST:: SOT 65552 SOS 21401 HAS SOPS 21401 HAS SOUS 16573 HAS SOUPS 16573 WITH SCORE 16594.401
AT ITER 1838 NEW BEST:: SOT 65540 SOS 21383 HAS SOPS 21383 HAS SOUS 16555 HAS SOUPS 16555 WITH SCORE 16576.383
AT ITER 1849 NEW BEST:: SOT 65520 SOS 21336 HAS SOPS 21336 HAS SOUS 16508 HAS SOUPS 16508 WITH SCORE 16529.336
AT ITER 1882 NEW BEST:: SOT 65520 SOS 21326 HAS SOPS 21326 HAS SOUS 16498 HAS SOUPS 16498 WITH SCORE 16519.326
AT ITER 1886 NEW BEST:: SOT 65520 SOS 21326 HAS SOPS 21326 HAS SOUS 16484 HAS SOUPS 16484 WITH SCORE 16505.326
AT ITER 1887 NEW BEST:: SOT 65508 SOS 21302 HAS SOPS 21302 HAS SOUS 16448 HAS SOUPS 16448 WITH SCORE 16469.302
AT ITER 1889 NEW BEST:: SOT 65497 SOS 21280 HAS SOPS 21280 HAS SOUS 16419 HAS SOUPS 16419 WITH SCORE 16440.28
AT ITER 1896 NEW BEST:: SOT 65454 SOS 21218 HAS SOPS 21218 HAS SOUS 16357 HAS SOUPS 16357 WITH SCORE 16378.218
AT ITER 1902 NEW BEST:: SOT 65438 SOS 21158 HAS SOPS 21158 HAS SOUS 16313 HAS SOUPS 16313 WITH SCORE 16334.158
AT ITER 1912 NEW BEST:: SOT 65432 SOS 21146 HAS SOPS 21146 HAS SOUS 16307 HAS SOUPS 16307 WITH SCORE 16328.146
AT ITER 1919 NEW BEST:: SOT 65400 SOS 21082 HAS SOPS 21082 HAS SOUS 16243 HAS SOUPS 16243 WITH SCORE 16264.082
AT ITER 1927 NEW BEST:: SOT 65391 SOS 21064 HAS SOPS 21064 HAS SOUS 16234 HAS SOUPS 16234 WITH SCORE 16255.064
AT ITER 1937 NEW BEST:: SOT 65387 SOS 21037 HAS SOPS 21037 HAS SOUS 16226 HAS SOUPS 16226 WITH SCORE 16247.037
AT ITER 1955 NEW BEST:: SOT 65342 SOS 20947 HAS SOPS 20947 HAS SOUS 16133 HAS SOUPS 16133 WITH SCORE 16153.947
AT ITER 1966 NEW BEST:: SOT 65335 SOS 20933 HAS SOPS 20933 HAS SOUS 16107 HAS SOUPS 16107 WITH SCORE 16127.933
AT ITER 1969 NEW BEST:: SOT 65332 SOS 20927 HAS SOPS 20927 HAS SOUS 16101 HAS SOUPS 16101 WITH SCORE 16121.927
AT ITER 2023 NEW BEST:: SOT 65331 SOS 20920 HAS SOPS 20920 HAS SOUS 16094 HAS SOUPS 16094 WITH SCORE 16114.92
AT ITER 2026 NEW BEST:: SOT 65331 SOS 20917 HAS SOPS 20917 HAS SOUS 16088 HAS SOUPS 16088 WITH SCORE 16108.917
AT ITER 2046 NEW BEST:: SOT 65331 SOS 20915 HAS SOPS 20915 HAS SOUS 16088 HAS SOUPS 16088 WITH SCORE 16108.915
AT ITER 2048 NEW BEST:: SOT 65301 SOS 20855 HAS SOPS 20855 HAS SOUS 16028 HAS SOUPS 16028 WITH SCORE 16048.855
AT ITER 2069 NEW BEST:: SOT 65286 SOS 20840 HAS SOPS 20840 HAS SOUS 16013 HAS SOUPS 16013 WITH SCORE 16033.84
AT ITER 2073 NEW BEST:: SOT 65284 SOS 20836 HAS SOPS 20836 HAS SOUS 16009 HAS SOUPS 16009 WITH SCORE 16029.836
AT ITER 2093 NEW BEST:: SOT 65282 SOS 20822 HAS SOPS 20822 HAS SOUS 16007 HAS SOUPS 16007 WITH SCORE 16027.822
AT ITER 2099 NEW BEST:: SOT 65274 SOS 20753 HAS SOPS 20753 HAS SOUS 15998 HAS SOUPS 15998 WITH SCORE 16018.753
AT ITER 2100 NEW BEST:: SOT 65274 SOS 20744 HAS SOPS 20744 HAS SOUS 15989 HAS SOUPS 15989 WITH SCORE 16009.744
AT ITER 2128 NEW BEST:: SOT 65297 SOS 20735 HAS SOPS 20735 HAS SOUS 15960 HAS SOUPS 15960 WITH SCORE 15980.735
AT ITER 2148 NEW BEST:: SOT 65266 SOS 20729 HAS SOPS 20729 HAS SOUS 15954 HAS SOUPS 15954 WITH SCORE 15974.729
AT ITER 2153 NEW BEST:: SOT 65264 SOS 20721 HAS SOPS 20721 HAS SOUS 15952 HAS SOUPS 15952 WITH SCORE 15972.721
AT ITER 2164 NEW BEST:: SOT 65262 SOS 20717 HAS SOPS 20717 HAS SOUS 15950 HAS SOUPS 15950 WITH SCORE 15970.717
AT ITER 2177 NEW BEST:: SOT 65246 SOS 20709 HAS SOPS 20709 HAS SOUS 15930 HAS SOUPS 15930 WITH SCORE 15950.709
AT ITER 2192 NEW BEST:: SOT 65227 SOS 20609 HAS SOPS 20609 HAS SOUS 15862 HAS SOUPS 15862 WITH SCORE 15882.609
AT ITER 2209 NEW BEST:: SOT 65208 SOS 20587 HAS SOPS 20587 HAS SOUS 15840 HAS SOUPS 15840 WITH SCORE 15860.587
AT ITER 2223 NEW BEST:: SOT 65204 SOS 20579 HAS SOPS 20579 HAS SOUS 15836 HAS SOUPS 15836 WITH SCORE 15856.579
AT ITER 2226 NEW BEST:: SOT 65163 SOS 20475 HAS SOPS 20475 HAS SOUS 15743 HAS SOUPS 15743 WITH SCORE 15763.475
AT ITER 2228 NEW BEST:: SOT 65182 SOS 20480 HAS SOPS 20480 HAS SOUS 15742 HAS SOUPS 15742 WITH SCORE 15762.48
AT ITER 2236 NEW BEST:: SOT 65139 SOS 20469 HAS SOPS 20469 HAS SOUS 15656 HAS SOUPS 15656 WITH SCORE 15676.469
AT ITER 2238 NEW BEST:: SOT 65128 SOS 20413 HAS SOPS 20413 HAS SOUS 15634 HAS SOUPS 15634 WITH SCORE 15654.413
AT ITER 2252 NEW BEST:: SOT 65109 SOS 20388 HAS SOPS 20388 HAS SOUS 15609 HAS SOUPS 15609 WITH SCORE 15629.388
AT ITER 2293 NEW BEST:: SOT 65105 SOS 20380 HAS SOPS 20380 HAS SOUS 15600 HAS SOUPS 15600 WITH SCORE 15620.38
AT ITER 2305 NEW BEST:: SOT 65105 SOS 20370 HAS SOPS 20370 HAS SOUS 15590 HAS SOUPS 15590 WITH SCORE 15610.37
AT ITER 2309 NEW BEST:: SOT 65077 SOS 20300 HAS SOPS 20300 HAS SOUS 15534 HAS SOUPS 15534 WITH SCORE 15554.3
AT ITER 2330 NEW BEST:: SOT 65066 SOS 20285 HAS SOPS 20285 HAS SOUS 15530 HAS SOUPS 15530 WITH SCORE 15550.285
AT ITER 2379 NEW BEST:: SOT 65082 SOS 20280 HAS SOPS 20280 HAS SOUS 15526 HAS SOUPS 15526 WITH SCORE 15546.28
AT ITER 2388 NEW BEST:: SOT 65082 SOS 20279 HAS SOPS 20279 HAS SOUS 15525 HAS SOUPS 15525 WITH SCORE 15545.279
AT ITER 2393 NEW BEST:: SOT 65072 SOS 20282 HAS SOPS 20282 HAS SOUS 15505 HAS SOUPS 15505 WITH SCORE 15525.282
AT ITER 2405 NEW BEST:: SOT 65059 SOS 20274 HAS SOPS 20274 HAS SOUS 15485 HAS SOUPS 15485 WITH SCORE 15505.274
AT ITER 2425 NEW BEST:: SOT 65038 SOS 20149 HAS SOPS 20149 HAS SOUS 15360 HAS SOUPS 15360 WITH SCORE 15380.149
AT ITER 2428 NEW BEST:: SOT 65016 SOS 20143 HAS SOPS 20143 HAS SOUS 15354 HAS SOUPS 15354 WITH SCORE 15374.143
AT ITER 2447 NEW BEST:: SOT 65012 SOS 20092 HAS SOPS 20092 HAS SOUS 15326 HAS SOUPS 15326 WITH SCORE 15346.092
AT ITER 2478 NEW BEST:: SOT 64984 SOS 20095 HAS SOPS 20095 HAS SOUS 15323 HAS SOUPS 15323 WITH SCORE 15343.095
AT ITER 2496 NEW BEST:: SOT 64979 SOS 20095 HAS SOPS 20095 HAS SOUS 15311 HAS SOUPS 15311 WITH SCORE 15331.095
AT ITER 2500 NEW BEST:: SOT 64978 SOS 20094 HAS SOPS 20094 HAS SOUS 15309 HAS SOUPS 15309 WITH SCORE 15329.094
AT ITER 2509 NEW BEST:: SOT 64967 SOS 20066 HAS SOPS 20066 HAS SOUS 15287 HAS SOUPS 15287 WITH SCORE 15307.066
AT ITER 2555 NEW BEST:: SOT 64967 SOS 20037 HAS SOPS 20037 HAS SOUS 15258 HAS SOUPS 15258 WITH SCORE 15278.037
AT ITER 2557 NEW BEST:: SOT 64958 SOS 20028 HAS SOPS 20028 HAS SOUS 15240 HAS SOUPS 15240 WITH SCORE 15260.028
AT ITER 2566 NEW BEST:: SOT 64952 SOS 19991 HAS SOPS 19991 HAS SOUS 15209 HAS SOUPS 15209 WITH SCORE 15228.991
AT ITER 2575 NEW BEST:: SOT 64933 SOS 19956 HAS SOPS 19956 HAS SOUS 15153 HAS SOUPS 15153 WITH SCORE 15172.956
AT ITER 2587 NEW BEST:: SOT 64924 SOS 19849 HAS SOPS 19849 HAS SOUS 15135 HAS SOUPS 15135 WITH SCORE 15154.849
AT ITER 2591 NEW BEST:: SOT 64920 SOS 19841 HAS SOPS 19841 HAS SOUS 15133 HAS SOUPS 15133 WITH SCORE 15152.841
AT ITER 2622 NEW BEST:: SOT 64911 SOS 19832 HAS SOPS 19832 HAS SOUS 15115 HAS SOUPS 15115 WITH SCORE 15134.832
AT ITER 2627 NEW BEST:: SOT 64903 SOS 19824 HAS SOPS 19824 HAS SOUS 15106 HAS SOUPS 15106 WITH SCORE 15125.824
AT ITER 2644 NEW BEST:: SOT 64890 SOS 19798 HAS SOPS 19798 HAS SOUS 15080 HAS SOUPS 15080 WITH SCORE 15099.798
AT ITER 2667 NEW BEST:: SOT 64890 SOS 19789 HAS SOPS 19789 HAS SOUS 15080 HAS SOUPS 15080 WITH SCORE 15099.789
AT ITER 2692 NEW BEST:: SOT 64879 SOS 19788 HAS SOPS 19788 HAS SOUS 15058 HAS SOUPS 15058 WITH SCORE 15077.788
AT ITER 2696 NEW BEST:: SOT 64885 SOS 19783 HAS SOPS 19783 HAS SOUS 15047 HAS SOUPS 15047 WITH SCORE 15066.783
AT ITER 2717 NEW BEST:: SOT 64878 SOS 19776 HAS SOPS 19776 HAS SOUS 15033 HAS SOUPS 15033 WITH SCORE 15052.776
AT ITER 2726 NEW BEST:: SOT 64878 SOS 19776 HAS SOPS 19776 HAS SOUS 15030 HAS SOUPS 15030 WITH SCORE 15049.776
AT ITER 2742 NEW BEST:: SOT 64865 SOS 19745 HAS SOPS 19745 HAS SOUS 14971 HAS SOUPS 14971 WITH SCORE 14990.745
AT ITER 2771 NEW BEST:: SOT 64865 SOS 19735 HAS SOPS 19735 HAS SOUS 14961 HAS SOUPS 14961 WITH SCORE 14980.735
AT ITER 2785 NEW BEST:: SOT 64865 SOS 19728 HAS SOPS 19728 HAS SOUS 14954 HAS SOUPS 14954 WITH SCORE 14973.728
AT ITER 2794 NEW BEST:: SOT 64789 SOS 19674 HAS SOPS 19674 HAS SOUS 14900 HAS SOUPS 14900 WITH SCORE 14919.674
AT ITER 2805 NEW BEST:: SOT 64786 SOS 19671 HAS SOPS 19671 HAS SOUS 14897 HAS SOUPS 14897 WITH SCORE 14916.671
AT ITER 2854 NEW BEST:: SOT 64786 SOS 19637 HAS SOPS 19637 HAS SOUS 14863 HAS SOUPS 14863 WITH SCORE 14882.637
AT ITER 2855 NEW BEST:: SOT 64761 SOS 19587 HAS SOPS 19587 HAS SOUS 14813 HAS SOUPS 14813 WITH SCORE 14832.587
AT ITER 2862 NEW BEST:: SOT 64761 SOS 19578 HAS SOPS 19578 HAS SOUS 14813 HAS SOUPS 14813 WITH SCORE 14832.578
AT ITER 2864 NEW BEST:: SOT 64755 SOS 19560 HAS SOPS 19560 HAS SOUS 14795 HAS SOUPS 14795 WITH SCORE 14814.56
AT ITER 2868 NEW BEST:: SOT 64748 SOS 19565 HAS SOPS 19565 HAS SOUS 14793 HAS SOUPS 14793 WITH SCORE 14812.565
AT ITER 2893 NEW BEST:: SOT 64743 SOS 19549 HAS SOPS 19549 HAS SOUS 14783 HAS SOUPS 14783 WITH SCORE 14802.549
AT ITER 2899 NEW BEST:: SOT 64743 SOS 19542 HAS SOPS 19542 HAS SOUS 14776 HAS SOUPS 14776 WITH SCORE 14795.542
AT ITER 2914 NEW BEST:: SOT 64722 SOS 19500 HAS SOPS 19500 HAS SOUS 14733 HAS SOUPS 14733 WITH SCORE 14752.5
AT ITER 2918 NEW BEST:: SOT 64720 SOS 19496 HAS SOPS 19496 HAS SOUS 14729 HAS SOUPS 14729 WITH SCORE 14748.496
AT ITER 2940 NEW BEST:: SOT 64701 SOS 19439 HAS SOPS 19439 HAS SOUS 14691 HAS SOUPS 14691 WITH SCORE 14710.439
AT ITER 3003 NEW BEST:: SOT 64699 SOS 19403 HAS SOPS 19403 HAS SOUS 14682 HAS SOUPS 14682 WITH SCORE 14701.403
AT ITER 3018 NEW BEST:: SOT 64704 SOS 19353 HAS SOPS 19353 HAS SOUS 14678 HAS SOUPS 14678 WITH SCORE 14697.353
AT ITER 3031 NEW BEST:: SOT 64696 SOS 19337 HAS SOPS 19337 HAS SOUS 14662 HAS SOUPS 14662 WITH SCORE 14681.337
AT ITER 3058 NEW BEST:: SOT 64686 SOS 19317 HAS SOPS 19317 HAS SOUS 14642 HAS SOUPS 14642 WITH SCORE 14661.317
AT ITER 3093 NEW BEST:: SOT 64686 SOS 19316 HAS SOPS 19316 HAS SOUS 14642 HAS SOUPS 14642 WITH SCORE 14661.316
AT ITER 3098 NEW BEST:: SOT 64678 SOS 19304 HAS SOPS 19304 HAS SOUS 14626 HAS SOUPS 14626 WITH SCORE 14645.304
AT ITER 3100 NEW BEST:: SOT 64675 SOS 19295 HAS SOPS 19295 HAS SOUS 14620 HAS SOUPS 14620 WITH SCORE 14639.295
AT ITER 3111 NEW BEST:: SOT 64699 SOS 19295 HAS SOPS 19295 HAS SOUS 14575 HAS SOUPS 14575 WITH SCORE 14594.295
AT ITER 3114 NEW BEST:: SOT 64699 SOS 19289 HAS SOPS 19289 HAS SOUS 14575 HAS SOUPS 14575 WITH SCORE 14594.289
AT ITER 3141 NEW BEST:: SOT 64694 SOS 19279 HAS SOPS 19279 HAS SOUS 14565 HAS SOUPS 14565 WITH SCORE 14584.279
AT ITER 3152 NEW BEST:: SOT 64693 SOS 19277 HAS SOPS 19277 HAS SOUS 14564 HAS SOUPS 14564 WITH SCORE 14583.277
AT ITER 3153 NEW BEST:: SOT 64693 SOS 19271 HAS SOPS 19271 HAS SOUS 14543 HAS SOUPS 14543 WITH SCORE 14562.271
AT ITER 3181 NEW BEST:: SOT 64569 SOS 19182 HAS SOPS 19182 HAS SOUS 14511 HAS SOUPS 14511 WITH SCORE 14530.182
AT ITER 3196 NEW BEST:: SOT 64575 SOS 19186 HAS SOPS 19186 HAS SOUS 14507 HAS SOUPS 14507 WITH SCORE 14526.186
AT ITER 3197 NEW BEST:: SOT 64571 SOS 19165 HAS SOPS 19165 HAS SOUS 14496 HAS SOUPS 14496 WITH SCORE 14515.165
AT ITER 3199 NEW BEST:: SOT 64545 SOS 19142 HAS SOPS 19142 HAS SOUS 14473 HAS SOUPS 14473 WITH SCORE 14492.142
AT ITER 3221 NEW BEST:: SOT 64532 SOS 19115 HAS SOPS 19115 HAS SOUS 14420 HAS SOUPS 14420 WITH SCORE 14439.115
AT ITER 3256 NEW BEST:: SOT 64534 SOS 19093 HAS SOPS 19093 HAS SOUS 14398 HAS SOUPS 14398 WITH SCORE 14417.093
AT ITER 3260 NEW BEST:: SOT 64537 SOS 19112 HAS SOPS 19112 HAS SOUS 14387 HAS SOUPS 14387 WITH SCORE 14406.112
AT ITER 3283 NEW BEST:: SOT 64503 SOS 19102 HAS SOPS 19102 HAS SOUS 14377 HAS SOUPS 14377 WITH SCORE 14396.102
AT ITER 3301 NEW BEST:: SOT 64495 SOS 19086 HAS SOPS 19086 HAS SOUS 14369 HAS SOUPS 14369 WITH SCORE 14388.086
AT ITER 3305 NEW BEST:: SOT 64489 SOS 19080 HAS SOPS 19080 HAS SOUS 14360 HAS SOUPS 14360 WITH SCORE 14379.08
AT ITER 3312 NEW BEST:: SOT 64479 SOS 19070 HAS SOPS 19070 HAS SOUS 14355 HAS SOUPS 14355 WITH SCORE 14374.07
AT ITER 3351 NEW BEST:: SOT 64472 SOS 19056 HAS SOPS 19056 HAS SOUS 14341 HAS SOUPS 14341 WITH SCORE 14360.056
AT ITER 3371 NEW BEST:: SOT 64460 SOS 19224 HAS SOPS 19224 HAS SOUS 14339 HAS SOUPS 14339 WITH SCORE 14358.224
AT ITER 3400 NEW BEST:: SOT 64459 SOS 19223 HAS SOPS 19223 HAS SOUS 14337 HAS SOUPS 14337 WITH SCORE 14356.223
AT ITER 3434 NEW BEST:: SOT 64464 SOS 19195 HAS SOPS 19195 HAS SOUS 14309 HAS SOUPS 14309 WITH SCORE 14328.195
AT ITER 3459 NEW BEST:: SOT 64464 SOS 19193 HAS SOPS 19193 HAS SOUS 14307 HAS SOUPS 14307 WITH SCORE 14326.193
AT ITER 3468 NEW BEST:: SOT 64449 SOS 19178 HAS SOPS 19178 HAS SOUS 14277 HAS SOUPS 14277 WITH SCORE 14296.178
AT ITER 3481 NEW BEST:: SOT 64443 SOS 19166 HAS SOPS 19166 HAS SOUS 14266 HAS SOUPS 14266 WITH SCORE 14285.166
AT ITER 3494 NEW BEST:: SOT 64443 SOS 19161 HAS SOPS 19161 HAS SOUS 14261 HAS SOUPS 14261 WITH SCORE 14280.161
AT ITER 3502 NEW BEST:: SOT 64443 SOS 19097 HAS SOPS 19097 HAS SOUS 14261 HAS SOUPS 14261 WITH SCORE 14280.097
AT ITER 3514 NEW BEST:: SOT 64411 SOS 19089 HAS SOPS 19089 HAS SOUS 14219 HAS SOUPS 14219 WITH SCORE 14238.089
AT ITER 3515 NEW BEST:: SOT 64404 SOS 19075 HAS SOPS 19075 HAS SOUS 14205 HAS SOUPS 14205 WITH SCORE 14224.075
AT ITER 3530 NEW BEST:: SOT 64407 SOS 19067 HAS SOPS 19067 HAS SOUS 14205 HAS SOUPS 14205 WITH SCORE 14224.067
AT ITER 3551 NEW BEST:: SOT 64407 SOS 19065 HAS SOPS 19065 HAS SOUS 14205 HAS SOUPS 14205 WITH SCORE 14224.065
AT ITER 3566 NEW BEST:: SOT 64365 SOS 19494 HAS SOPS 19494 HAS SOUS 14173 HAS SOUPS 14173 WITH SCORE 14192.494
AT ITER 3576 NEW BEST:: SOT 64342 SOS 19492 HAS SOPS 19492 HAS SOUS 14166 HAS SOUPS 14166 WITH SCORE 14185.492
AT ITER 3596 NEW BEST:: SOT 64346 SOS 19484 HAS SOPS 19484 HAS SOUS 14160 HAS SOUPS 14160 WITH SCORE 14179.484
AT ITER 3624 NEW BEST:: SOT 64332 SOS 19456 HAS SOPS 19456 HAS SOUS 14132 HAS SOUPS 14132 WITH SCORE 14151.456
AT ITER 3636 NEW BEST:: SOT 64332 SOS 19452 HAS SOPS 19452 HAS SOUS 14132 HAS SOUPS 14132 WITH SCORE 14151.452
AT ITER 3641 NEW BEST:: SOT 64329 SOS 19449 HAS SOPS 19449 HAS SOUS 14129 HAS SOUPS 14129 WITH SCORE 14148.449
AT ITER 3644 NEW BEST:: SOT 64343 SOS 19450 HAS SOPS 19450 HAS SOUS 14123 HAS SOUPS 14123 WITH SCORE 14142.45
AT ITER 3719 NEW BEST:: SOT 64332 SOS 19428 HAS SOPS 19428 HAS SOUS 14100 HAS SOUPS 14100 WITH SCORE 14119.428
AT ITER 3724 NEW BEST:: SOT 64329 SOS 19417 HAS SOPS 19417 HAS SOUS 14083 HAS SOUPS 14083 WITH SCORE 14102.417
AT ITER 3727 NEW BEST:: SOT 64329 SOS 19417 HAS SOPS 19417 HAS SOUS 14075 HAS SOUPS 14075 WITH SCORE 14094.417
AT ITER 3748 NEW BEST:: SOT 64329 SOS 19417 HAS SOPS 19417 HAS SOUS 14071 HAS SOUPS 14071 WITH SCORE 14090.417
AT ITER 3779 NEW BEST:: SOT 64328 SOS 19383 HAS SOPS 19383 HAS SOUS 14036 HAS SOUPS 14036 WITH SCORE 14055.383
AT ITER 3783 NEW BEST:: SOT 64325 SOS 19367 HAS SOPS 19367 HAS SOUS 14020 HAS SOUPS 14020 WITH SCORE 14039.367
AT ITER 3784 NEW BEST:: SOT 64336 SOS 19380 HAS SOPS 19380 HAS SOUS 14001 HAS SOUPS 14001 WITH SCORE 14020.38
AT ITER 3815 NEW BEST:: SOT 64319 SOS 19367 HAS SOPS 19367 HAS SOUS 13967 HAS SOUPS 13967 WITH SCORE 13986.367
AT ITER 3837 NEW BEST:: SOT 64307 SOS 19343 HAS SOPS 19343 HAS SOUS 13955 HAS SOUPS 13955 WITH SCORE 13974.343
AT ITER 3838 NEW BEST:: SOT 64307 SOS 19343 HAS SOPS 19343 HAS SOUS 13950 HAS SOUPS 13950 WITH SCORE 13969.343
AT ITER 3892 NEW BEST:: SOT 64307 SOS 19335 HAS SOPS 19335 HAS SOUS 13942 HAS SOUPS 13942 WITH SCORE 13961.335
AT ITER 3928 NEW BEST:: SOT 64307 SOS 19334 HAS SOPS 19334 HAS SOUS 13920 HAS SOUPS 13920 WITH SCORE 13939.334
AT ITER 3975 NEW BEST:: SOT 64299 SOS 19316 HAS SOPS 19316 HAS SOUS 13904 HAS SOUPS 13904 WITH SCORE 13923.316
AT ITER 3990 NEW BEST:: SOT 64298 SOS 19322 HAS SOPS 19322 HAS SOUS 13902 HAS SOUPS 13902 WITH SCORE 13921.322
AT ITER 3994 NEW BEST:: SOT 64314 SOS 19335 HAS SOPS 19335 HAS SOUS 13899 HAS SOUPS 13899 WITH SCORE 13918.335
AT ITER 4003 NEW BEST:: SOT 64312 SOS 19332 HAS SOPS 19332 HAS SOUS 13896 HAS SOUPS 13896 WITH SCORE 13915.332
AT ITER 4021 NEW BEST:: SOT 64312 SOS 19295 HAS SOPS 19295 HAS SOUS 13896 HAS SOUPS 13896 WITH SCORE 13915.295
AT ITER 4028 NEW BEST:: SOT 64305 SOS 19281 HAS SOPS 19281 HAS SOUS 13880 HAS SOUPS 13880 WITH SCORE 13899.281
AT ITER 4058 NEW BEST:: SOT 64301 SOS 19273 HAS SOPS 19273 HAS SOUS 13873 HAS SOUPS 13873 WITH SCORE 13892.273
AT ITER 4070 NEW BEST:: SOT 64302 SOS 19263 HAS SOPS 19263 HAS SOUS 13863 HAS SOUPS 13863 WITH SCORE 13882.263
AT ITER 4110 NEW BEST:: SOT 64302 SOS 19255 HAS SOPS 19255 HAS SOUS 13861 HAS SOUPS 13861 WITH SCORE 13880.255
AT ITER 4125 NEW BEST:: SOT 64295 SOS 19241 HAS SOPS 19241 HAS SOUS 13847 HAS SOUPS 13847 WITH SCORE 13866.241
AT ITER 4135 NEW BEST:: SOT 64278 SOS 19224 HAS SOPS 19224 HAS SOUS 13813 HAS SOUPS 13813 WITH SCORE 13832.224
AT ITER 4150 NEW BEST:: SOT 64278 SOS 19224 HAS SOPS 19224 HAS SOUS 13810 HAS SOUPS 13810 WITH SCORE 13829.224
AT ITER 4151 NEW BEST:: SOT 64283 SOS 19207 HAS SOPS 19207 HAS SOUS 13793 HAS SOUPS 13793 WITH SCORE 13812.207
AT ITER 4155 NEW BEST:: SOT 64283 SOS 19203 HAS SOPS 19203 HAS SOUS 13789 HAS SOUPS 13789 WITH SCORE 13808.203
AT ITER 4178 NEW BEST:: SOT 64261 SOS 19159 HAS SOPS 19159 HAS SOUS 13754 HAS SOUPS 13754 WITH SCORE 13773.159
AT ITER 4187 NEW BEST:: SOT 64261 SOS 19155 HAS SOPS 19155 HAS SOUS 13754 HAS SOUPS 13754 WITH SCORE 13773.155
AT ITER 4223 NEW BEST:: SOT 64250 SOS 19119 HAS SOPS 19119 HAS SOUS 13729 HAS SOUPS 13729 WITH SCORE 13748.119
AT ITER 4229 NEW BEST:: SOT 64245 SOS 19076 HAS SOPS 19076 HAS SOUS 13681 HAS SOUPS 13681 WITH SCORE 13700.076
AT ITER 4242 NEW BEST:: SOT 64242 SOS 19075 HAS SOPS 19075 HAS SOUS 13680 HAS SOUPS 13680 WITH SCORE 13699.075
AT ITER 4272 NEW BEST:: SOT 64242 SOS 19069 HAS SOPS 19069 HAS SOUS 13677 HAS SOUPS 13677 WITH SCORE 13696.069
AT ITER 4273 NEW BEST:: SOT 64255 SOS 19082 HAS SOPS 19082 HAS SOUS 13671 HAS SOUPS 13671 WITH SCORE 13690.082
AT ITER 4281 NEW BEST:: SOT 64254 SOS 19080 HAS SOPS 19080 HAS SOUS 13669 HAS SOUPS 13669 WITH SCORE 13688.08
AT ITER 4319 NEW BEST:: SOT 64249 SOS 19050 HAS SOPS 19050 HAS SOUS 13659 HAS SOUPS 13659 WITH SCORE 13678.05
AT ITER 4378 NEW BEST:: SOT 64231 SOS 19014 HAS SOPS 19014 HAS SOUS 13623 HAS SOUPS 13623 WITH SCORE 13642.014
AT ITER 4386 NEW BEST:: SOT 64221 SOS 19004 HAS SOPS 19004 HAS SOUS 13613 HAS SOUPS 13613 WITH SCORE 13632.004
AT ITER 4412 NEW BEST:: SOT 64221 SOS 18981 HAS SOPS 18981 HAS SOUS 13613 HAS SOUPS 13613 WITH SCORE 13631.981
AT ITER 4440 NEW BEST:: SOT 64213 SOS 18965 HAS SOPS 18965 HAS SOUS 13597 HAS SOUPS 13597 WITH SCORE 13615.965
AT ITER 4449 NEW BEST:: SOT 64197 SOS 18895 HAS SOPS 18895 HAS SOUS 13564 HAS SOUPS 13564 WITH SCORE 13582.895
AT ITER 4521 NEW BEST:: SOT 64150 SOS 18779 HAS SOPS 18779 HAS SOUS 13465 HAS SOUPS 13465 WITH SCORE 13483.779
AT ITER 4532 NEW BEST:: SOT 64145 SOS 18774 HAS SOPS 18774 HAS SOUS 13460 HAS SOUPS 13460 WITH SCORE 13478.774
AT ITER 4534 NEW BEST:: SOT 64157 SOS 18766 HAS SOPS 18766 HAS SOUS 13457 HAS SOUPS 13457 WITH SCORE 13475.766
AT ITER 4569 NEW BEST:: SOT 64155 SOS 18764 HAS SOPS 18764 HAS SOUS 13455 HAS SOUPS 13455 WITH SCORE 13473.764
AT ITER 4585 NEW BEST:: SOT 64146 SOS 18743 HAS SOPS 18743 HAS SOUS 13437 HAS SOUPS 13437 WITH SCORE 13455.743
AT ITER 4703 NEW BEST:: SOT 64145 SOS 18729 HAS SOPS 18729 HAS SOUS 13433 HAS SOUPS 13433 WITH SCORE 13451.729
AT ITER 4716 NEW BEST:: SOT 64104 SOS 18683 HAS SOPS 18683 HAS SOUS 13392 HAS SOUPS 13392 WITH SCORE 13410.683
AT ITER 4740 NEW BEST:: SOT 64103 SOS 18680 HAS SOPS 18680 HAS SOUS 13390 HAS SOUPS 13390 WITH SCORE 13408.68
AT ITER 4795 NEW BEST:: SOT 64098 SOS 18675 HAS SOPS 18675 HAS SOUS 13385 HAS SOUPS 13385 WITH SCORE 13403.675
AT ITER 4797 NEW BEST:: SOT 64095 SOS 18669 HAS SOPS 18669 HAS SOUS 13379 HAS SOUPS 13379 WITH SCORE 13397.669
AT ITER 4807 NEW BEST:: SOT 64084 SOS 18647 HAS SOPS 18647 HAS SOUS 13357 HAS SOUPS 13357 WITH SCORE 13375.647
AT ITER 4855 NEW BEST:: SOT 64080 SOS 18639 HAS SOPS 18639 HAS SOUS 13349 HAS SOUPS 13349 WITH SCORE 13367.639
AT ITER 4901 NEW BEST:: SOT 64060 SOS 18543 HAS SOPS 18543 HAS SOUS 13309 HAS SOUPS 13309 WITH SCORE 13327.543
AT ITER 4904 NEW BEST:: SOT 64059 SOS 18541 HAS SOPS 18541 HAS SOUS 13307 HAS SOUPS 13307 WITH SCORE 13325.541
AT ITER 4905 NEW BEST:: SOT 64050 SOS 18529 HAS SOPS 18529 HAS SOUS 13295 HAS SOUPS 13295 WITH SCORE 13313.529
AT ITER 4912 NEW BEST:: SOT 64042 SOS 18525 HAS SOPS 18525 HAS SOUS 13291 HAS SOUPS 13291 WITH SCORE 13309.525
AT ITER 4919 NEW BEST:: SOT 64041 SOS 18523 HAS SOPS 18523 HAS SOUS 13283 HAS SOUPS 13283 WITH SCORE 13301.523
AT ITER 5017 NEW BEST:: SOT 64023 SOS 18487 HAS SOPS 18487 HAS SOUS 13244 HAS SOUPS 13244 WITH SCORE 13262.487
AT ITER 5019 NEW BEST:: SOT 63998 SOS 18462 HAS SOPS 18462 HAS SOUS 13219 HAS SOUPS 13219 WITH SCORE 13237.462
AT ITER 5028 NEW BEST:: SOT 63918 SOS 18382 HAS SOPS 18382 HAS SOUS 13159 HAS SOUPS 13159 WITH SCORE 13177.382
AT ITER 5038 NEW BEST:: SOT 63918 SOS 18403 HAS SOPS 18403 HAS SOUS 13139 HAS SOUPS 13139 WITH SCORE 13157.403
AT ITER 5046 NEW BEST:: SOT 63841 SOS 18332 HAS SOPS 18332 HAS SOUS 13068 HAS SOUPS 13068 WITH SCORE 13086.332
AT ITER 5160 NEW BEST:: SOT 63824 SOS 18315 HAS SOPS 18315 HAS SOUS 13051 HAS SOUPS 13051 WITH SCORE 13069.315
AT ITER 5215 NEW BEST:: SOT 63793 SOS 18292 HAS SOPS 18292 HAS SOUS 13028 HAS SOUPS 13028 WITH SCORE 13046.292
AT ITER 5223 NEW BEST:: SOT 63792 SOS 18290 HAS SOPS 18290 HAS SOUS 13025 HAS SOUPS 13025 WITH SCORE 13043.29
AT ITER 5238 NEW BEST:: SOT 63792 SOS 18244 HAS SOPS 18244 HAS SOUS 13025 HAS SOUPS 13025 WITH SCORE 13043.244
AT ITER 5244 NEW BEST:: SOT 63792 SOS 18243 HAS SOPS 18243 HAS SOUS 13024 HAS SOUPS 13024 WITH SCORE 13042.243
AT ITER 5281 NEW BEST:: SOT 63792 SOS 18237 HAS SOPS 18237 HAS SOUS 13018 HAS SOUPS 13018 WITH SCORE 13036.237
AT ITER 5305 NEW BEST:: SOT 63789 SOS 18234 HAS SOPS 18234 HAS SOUS 13012 HAS SOUPS 13012 WITH SCORE 13030.234
AT ITER 5320 NEW BEST:: SOT 63811 SOS 18219 HAS SOPS 18219 HAS SOUS 13001 HAS SOUPS 13001 WITH SCORE 13019.219
AT ITER 5330 NEW BEST:: SOT 63811 SOS 18218 HAS SOPS 18218 HAS SOUS 13001 HAS SOUPS 13001 WITH SCORE 13019.218
AT ITER 5338 NEW BEST:: SOT 63791 SOS 18213 HAS SOPS 18213 HAS SOUS 12996 HAS SOUPS 12996 WITH SCORE 13014.213
AT ITER 5384 NEW BEST:: SOT 63788 SOS 18207 HAS SOPS 18207 HAS SOUS 12990 HAS SOUPS 12990 WITH SCORE 13008.207
AT ITER 5411 NEW BEST:: SOT 63783 SOS 18197 HAS SOPS 18197 HAS SOUS 12980 HAS SOUPS 12980 WITH SCORE 12998.197
AT ITER 5430 NEW BEST:: SOT 63783 SOS 18188 HAS SOPS 18188 HAS SOUS 12963 HAS SOUPS 12963 WITH SCORE 12981.188
AT ITER 5474 NEW BEST:: SOT 63777 SOS 18176 HAS SOPS 18176 HAS SOUS 12945 HAS SOUPS 12945 WITH SCORE 12963.176
AT ITER 5476 NEW BEST:: SOT 63776 SOS 18174 HAS SOPS 18174 HAS SOUS 12943 HAS SOUPS 12943 WITH SCORE 12961.174
AT ITER 5491 NEW BEST:: SOT 63776 SOS 18174 HAS SOPS 18174 HAS SOUS 12941 HAS SOUPS 12941 WITH SCORE 12959.174
AT ITER 5567 NEW BEST:: SOT 63763 SOS 18162 HAS SOPS 18162 HAS SOUS 12929 HAS SOUPS 12929 WITH SCORE 12947.162
AT ITER 5589 NEW BEST:: SOT 63762 SOS 18165 HAS SOPS 18165 HAS SOUS 12927 HAS SOUPS 12927 WITH SCORE 12945.165
AT ITER 5594 NEW BEST:: SOT 63762 SOS 18147 HAS SOPS 18147 HAS SOUS 12927 HAS SOUPS 12927 WITH SCORE 12945.147
AT ITER 5599 NEW BEST:: SOT 63761 SOS 18145 HAS SOPS 18145 HAS SOUS 12925 HAS SOUPS 12925 WITH SCORE 12943.145
AT ITER 5603 NEW BEST:: SOT 63760 SOS 18143 HAS SOPS 18143 HAS SOUS 12923 HAS SOUPS 12923 WITH SCORE 12941.143
AT ITER 5609 NEW BEST:: SOT 63760 SOS 18143 HAS SOPS 18143 HAS SOUS 12922 HAS SOUPS 12922 WITH SCORE 12940.143
AT ITER 5613 NEW BEST:: SOT 63740 SOS 18122 HAS SOPS 18122 HAS SOUS 12882 HAS SOUPS 12882 WITH SCORE 12900.122
AT ITER 5659 NEW BEST:: SOT 63729 SOS 18100 HAS SOPS 18100 HAS SOUS 12860 HAS SOUPS 12860 WITH SCORE 12878.1
AT ITER 5664 NEW BEST:: SOT 63728 SOS 18098 HAS SOPS 18098 HAS SOUS 12859 HAS SOUPS 12859 WITH SCORE 12877.098
AT ITER 5665 NEW BEST:: SOT 63726 SOS 18094 HAS SOPS 18094 HAS SOUS 12855 HAS SOUPS 12855 WITH SCORE 12873.094
AT ITER 5691 NEW BEST:: SOT 63719 SOS 18084 HAS SOPS 18084 HAS SOUS 12845 HAS SOUPS 12845 WITH SCORE 12863.084
AT ITER 5786 NEW BEST:: SOT 63726 SOS 18060 HAS SOPS 18060 HAS SOUS 12828 HAS SOUPS 12828 WITH SCORE 12846.06
AT ITER 5807 NEW BEST:: SOT 63713 SOS 18039 HAS SOPS 18039 HAS SOUS 12810 HAS SOUPS 12810 WITH SCORE 12828.039
AT ITER 5832 NEW BEST:: SOT 63713 SOS 18039 HAS SOPS 18039 HAS SOUS 12808 HAS SOUPS 12808 WITH SCORE 12826.039
AT ITER 5847 NEW BEST:: SOT 63720 SOS 18030 HAS SOPS 18030 HAS SOUS 12806 HAS SOUPS 12806 WITH SCORE 12824.03
AT ITER 5856 NEW BEST:: SOT 63720 SOS 18013 HAS SOPS 18013 HAS SOUS 12806 HAS SOUPS 12806 WITH SCORE 12824.013
AT ITER 5925 NEW BEST:: SOT 63719 SOS 18012 HAS SOPS 18012 HAS SOUS 12804 HAS SOUPS 12804 WITH SCORE 12822.012
AT ITER 5943 NEW BEST:: SOT 63708 SOS 17972 HAS SOPS 17972 HAS SOUS 12775 HAS SOUPS 12775 WITH SCORE 12792.972
AT ITER 5946 NEW BEST:: SOT 63701 SOS 17965 HAS SOPS 17965 HAS SOUS 12768 HAS SOUPS 12768 WITH SCORE 12785.965
AT ITER 5973 NEW BEST:: SOT 63701 SOS 17967 HAS SOPS 17967 HAS SOUS 12766 HAS SOUPS 12766 WITH SCORE 12783.967
AT ITER 5997 NEW BEST:: SOT 63697 SOS 17959 HAS SOPS 17959 HAS SOUS 12762 HAS SOUPS 12762 WITH SCORE 12779.959
AT ITER 6021 NEW BEST:: SOT 63675 SOS 17925 HAS SOPS 17925 HAS SOUS 12718 HAS SOUPS 12718 WITH SCORE 12735.925
AT ITER 6023 NEW BEST:: SOT 63673 SOS 17921 HAS SOPS 17921 HAS SOUS 12701 HAS SOUPS 12701 WITH SCORE 12718.921
AT ITER 6071 NEW BEST:: SOT 63677 SOS 17919 HAS SOPS 17919 HAS SOUS 12693 HAS SOUPS 12693 WITH SCORE 12710.919
AT ITER 6097 NEW BEST:: SOT 63665 SOS 17895 HAS SOPS 17895 HAS SOUS 12681 HAS SOUPS 12681 WITH SCORE 12698.895
AT ITER 6182 NEW BEST:: SOT 63659 SOS 17777 HAS SOPS 17777 HAS SOUS 12668 HAS SOUPS 12668 WITH SCORE 12685.777
AT ITER 6183 NEW BEST:: SOT 63658 SOS 17770 HAS SOPS 17770 HAS SOUS 12666 HAS SOUPS 12666 WITH SCORE 12683.77
AT ITER 6192 NEW BEST:: SOT 63658 SOS 17772 HAS SOPS 17772 HAS SOUS 12664 HAS SOUPS 12664 WITH SCORE 12681.772
AT ITER 6210 NEW BEST:: SOT 63658 SOS 17747 HAS SOPS 17747 HAS SOUS 12664 HAS SOUPS 12664 WITH SCORE 12681.747
AT ITER 6215 NEW BEST:: SOT 63664 SOS 17732 HAS SOPS 17732 HAS SOUS 12655 HAS SOUPS 12655 WITH SCORE 12672.732
AT ITER 6235 NEW BEST:: SOT 63663 SOS 17727 HAS SOPS 17727 HAS SOUS 12653 HAS SOUPS 12653 WITH SCORE 12670.727
AT ITER 6248 NEW BEST:: SOT 63650 SOS 17729 HAS SOPS 17729 HAS SOUS 12643 HAS SOUPS 12643 WITH SCORE 12660.729
AT ITER 6271 NEW BEST:: SOT 63648 SOS 17725 HAS SOPS 17725 HAS SOUS 12639 HAS SOUPS 12639 WITH SCORE 12656.725
AT ITER 6288 NEW BEST:: SOT 63652 SOS 17733 HAS SOPS 17733 HAS SOUS 12614 HAS SOUPS 12614 WITH SCORE 12631.733
AT ITER 6291 NEW BEST:: SOT 63648 SOS 17733 HAS SOPS 17733 HAS SOUS 12610 HAS SOUPS 12610 WITH SCORE 12627.733
AT ITER 6302 NEW BEST:: SOT 63635 SOS 17728 HAS SOPS 17728 HAS SOUS 12605 HAS SOUPS 12605 WITH SCORE 12622.728
AT ITER 6304 NEW BEST:: SOT 63611 SOS 17697 HAS SOPS 17697 HAS SOUS 12581 HAS SOUPS 12581 WITH SCORE 12598.697
AT ITER 6308 NEW BEST:: SOT 63597 SOS 17687 HAS SOPS 17687 HAS SOUS 12571 HAS SOUPS 12571 WITH SCORE 12588.687
AT ITER 6312 NEW BEST:: SOT 63597 SOS 17685 HAS SOPS 17685 HAS SOUS 12571 HAS SOUPS 12571 WITH SCORE 12588.685
AT ITER 6320 NEW BEST:: SOT 63580 SOS 17675 HAS SOPS 17675 HAS SOUS 12563 HAS SOUPS 12563 WITH SCORE 12580.675
AT ITER 6368 NEW BEST:: SOT 63513 SOS 17581 HAS SOPS 17581 HAS SOUS 12545 HAS SOUPS 12545 WITH SCORE 12562.581
AT ITER 6372 NEW BEST:: SOT 63516 SOS 17579 HAS SOPS 17579 HAS SOUS 12543 HAS SOUPS 12543 WITH SCORE 12560.579
AT ITER 6377 NEW BEST:: SOT 63516 SOS 17574 HAS SOPS 17574 HAS SOUS 12538 HAS SOUPS 12538 WITH SCORE 12555.574
AT ITER 6407 NEW BEST:: SOT 63511 SOS 17564 HAS SOPS 17564 HAS SOUS 12533 HAS SOUPS 12533 WITH SCORE 12550.564
AT ITER 6414 NEW BEST:: SOT 63545 SOS 17584 HAS SOPS 17584 HAS SOUS 12530 HAS SOUPS 12530 WITH SCORE 12547.584
AT ITER 6453 NEW BEST:: SOT 63544 SOS 17579 HAS SOPS 17579 HAS SOUS 12528 HAS SOUPS 12528 WITH SCORE 12545.579
AT ITER 6498 NEW BEST:: SOT 63538 SOS 17563 HAS SOPS 17563 HAS SOUS 12516 HAS SOUPS 12516 WITH SCORE 12533.563
AT ITER 6515 NEW BEST:: SOT 63528 SOS 17543 HAS SOPS 17543 HAS SOUS 12496 HAS SOUPS 12496 WITH SCORE 12513.543
AT ITER 6571 NEW BEST:: SOT 63527 SOS 17541 HAS SOPS 17541 HAS SOUS 12494 HAS SOUPS 12494 WITH SCORE 12511.541
AT ITER 6647 NEW BEST:: SOT 63520 SOS 17527 HAS SOPS 17527 HAS SOUS 12480 HAS SOUPS 12480 WITH SCORE 12497.527
AT ITER 6696 NEW BEST:: SOT 63517 SOS 17521 HAS SOPS 17521 HAS SOUS 12477 HAS SOUPS 12477 WITH SCORE 12494.521
AT ITER 6704 NEW BEST:: SOT 63510 SOS 17513 HAS SOPS 17513 HAS SOUS 12471 HAS SOUPS 12471 WITH SCORE 12488.513
AT ITER 6710 NEW BEST:: SOT 63502 SOS 17497 HAS SOPS 17497 HAS SOUS 12455 HAS SOUPS 12455 WITH SCORE 12472.497
AT ITER 6796 NEW BEST:: SOT 63481 SOS 17473 HAS SOPS 17473 HAS SOUS 12431 HAS SOUPS 12431 WITH SCORE 12448.473
AT ITER 6822 NEW BEST:: SOT 63481 SOS 17472 HAS SOPS 17472 HAS SOUS 12431 HAS SOUPS 12431 WITH SCORE 12448.472
AT ITER 6836 NEW BEST:: SOT 63465 SOS 17440 HAS SOPS 17440 HAS SOUS 12399 HAS SOUPS 12399 WITH SCORE 12416.44
AT ITER 6852 NEW BEST:: SOT 63453 SOS 17428 HAS SOPS 17428 HAS SOUS 12375 HAS SOUPS 12375 WITH SCORE 12392.428
AT ITER 6869 NEW BEST:: SOT 63452 SOS 17426 HAS SOPS 17426 HAS SOUS 12372 HAS SOUPS 12372 WITH SCORE 12389.426
AT ITER 6909 NEW BEST:: SOT 63455 SOS 17404 HAS SOPS 17404 HAS SOUS 12350 HAS SOUPS 12350 WITH SCORE 12367.404
AT ITER 6960 NEW BEST:: SOT 63446 SOS 17414 HAS SOPS 17414 HAS SOUS 12321 HAS SOUPS 12321 WITH SCORE 12338.414
AT ITER 7010 NEW BEST:: SOT 63435 SOS 17412 HAS SOPS 17412 HAS SOUS 12317 HAS SOUPS 12317 WITH SCORE 12334.412
AT ITER 7026 NEW BEST:: SOT 63430 SOS 17411 HAS SOPS 17411 HAS SOUS 12316 HAS SOUPS 12316 WITH SCORE 12333.411
AT ITER 7030 NEW BEST:: SOT 63410 SOS 17371 HAS SOPS 17371 HAS SOUS 12276 HAS SOUPS 12276 WITH SCORE 12293.371
AT ITER 7034 NEW BEST:: SOT 63409 SOS 17370 HAS SOPS 17370 HAS SOUS 12275 HAS SOUPS 12275 WITH SCORE 12292.37
AT ITER 7080 NEW BEST:: SOT 63386 SOS 17367 HAS SOPS 17367 HAS SOUS 12230 HAS SOUPS 12230 WITH SCORE 12247.367
AT ITER 7120 NEW BEST:: SOT 63357 SOS 17440 HAS SOPS 17440 HAS SOUS 12220 HAS SOUPS 12220 WITH SCORE 12237.44
AT ITER 7146 NEW BEST:: SOT 63349 SOS 17408 HAS SOPS 17408 HAS SOUS 12220 HAS SOUPS 12220 WITH SCORE 12237.408
AT ITER 7260 NEW BEST:: SOT 63341 SOS 17400 HAS SOPS 17400 HAS SOUS 12216 HAS SOUPS 12216 WITH SCORE 12233.4
AT ITER 7368 NEW BEST:: SOT 63343 SOS 17402 HAS SOPS 17402 HAS SOUS 12208 HAS SOUPS 12208 WITH SCORE 12225.402
AT ITER 7371 NEW BEST:: SOT 63343 SOS 17391 HAS SOPS 17391 HAS SOUS 12208 HAS SOUPS 12208 WITH SCORE 12225.391
AT ITER 7389 NEW BEST:: SOT 63340 SOS 17385 HAS SOPS 17385 HAS SOUS 12202 HAS SOUPS 12202 WITH SCORE 12219.385
AT ITER 7405 NEW BEST:: SOT 63340 SOS 17379 HAS SOPS 17379 HAS SOUS 12202 HAS SOUPS 12202 WITH SCORE 12219.379
AT ITER 7456 NEW BEST:: SOT 63340 SOS 17372 HAS SOPS 17372 HAS SOUS 12197 HAS SOUPS 12197 WITH SCORE 12214.372
AT ITER 7462 NEW BEST:: SOT 63340 SOS 17344 HAS SOPS 17344 HAS SOUS 12197 HAS SOUPS 12197 WITH SCORE 12214.344
AT ITER 7473 NEW BEST:: SOT 63334 SOS 17338 HAS SOPS 17338 HAS SOUS 12191 HAS SOUPS 12191 WITH SCORE 12208.338
AT ITER 7549 NEW BEST:: SOT 63328 SOS 17326 HAS SOPS 17326 HAS SOUS 12177 HAS SOUPS 12177 WITH SCORE 12194.326
AT ITER 7596 NEW BEST:: SOT 63328 SOS 17326 HAS SOPS 17326 HAS SOUS 12172 HAS SOUPS 12172 WITH SCORE 12189.326
AT ITER 7653 NEW BEST:: SOT 63326 SOS 17321 HAS SOPS 17321 HAS SOUS 12163 HAS SOUPS 12163 WITH SCORE 12180.321
AT ITER 7701 NEW BEST:: SOT 63325 SOS 17321 HAS SOPS 17321 HAS SOUS 12161 HAS SOUPS 12161 WITH SCORE 12178.321
AT ITER 7702 NEW BEST:: SOT 63346 SOS 17334 HAS SOPS 17334 HAS SOUS 12154 HAS SOUPS 12154 WITH SCORE 12171.334
AT ITER 7708 NEW BEST:: SOT 63344 SOS 17330 HAS SOPS 17330 HAS SOUS 12150 HAS SOUPS 12150 WITH SCORE 12167.33
AT ITER 7741 NEW BEST:: SOT 63344 SOS 17324 HAS SOPS 17324 HAS SOUS 12150 HAS SOUPS 12150 WITH SCORE 12167.324
AT ITER 7755 NEW BEST:: SOT 63322 SOS 17298 HAS SOPS 17298 HAS SOUS 12111 HAS SOUPS 12111 WITH SCORE 12128.298
AT ITER 7811 NEW BEST:: SOT 63322 SOS 17295 HAS SOPS 17295 HAS SOUS 12110 HAS SOUPS 12110 WITH SCORE 12127.295
AT ITER 7840 NEW BEST:: SOT 63320 SOS 17293 HAS SOPS 17293 HAS SOUS 12106 HAS SOUPS 12106 WITH SCORE 12123.293
AT ITER 7856 NEW BEST:: SOT 63315 SOS 17279 HAS SOPS 17279 HAS SOUS 12099 HAS SOUPS 12099 WITH SCORE 12116.279
AT ITER 7889 NEW BEST:: SOT 63253 SOS 17694 HAS SOPS 17694 HAS SOUS 12037 HAS SOUPS 12037 WITH SCORE 12054.694
AT ITER 7891 NEW BEST:: SOT 63257 SOS 17690 HAS SOPS 17690 HAS SOUS 12033 HAS SOUPS 12033 WITH SCORE 12050.69
AT ITER 7929 NEW BEST:: SOT 63255 SOS 17686 HAS SOPS 17686 HAS SOUS 12029 HAS SOUPS 12029 WITH SCORE 12046.686
AT ITER 7945 NEW BEST:: SOT 63201 SOS 17625 HAS SOPS 17625 HAS SOUS 11981 HAS SOUPS 11981 WITH SCORE 11998.625
AT ITER 8021 NEW BEST:: SOT 63197 SOS 17619 HAS SOPS 17619 HAS SOUS 11975 HAS SOUPS 11975 WITH SCORE 11992.619
AT ITER 8034 NEW BEST:: SOT 63216 SOS 17611 HAS SOPS 17611 HAS SOUS 11967 HAS SOUPS 11967 WITH SCORE 11984.611
AT ITER 8074 NEW BEST:: SOT 63213 SOS 17605 HAS SOPS 17605 HAS SOUS 11958 HAS SOUPS 11958 WITH SCORE 11975.605
AT ITER 8129 NEW BEST:: SOT 63213 SOS 17605 HAS SOPS 17605 HAS SOUS 11957 HAS SOUPS 11957 WITH SCORE 11974.605
AT ITER 8146 NEW BEST:: SOT 63234 SOS 17615 HAS SOPS 17615 HAS SOUS 11956 HAS SOUPS 11956 WITH SCORE 11973.615
AT ITER 8151 NEW BEST:: SOT 63236 SOS 17566 HAS SOPS 17566 HAS SOUS 11900 HAS SOUPS 11900 WITH SCORE 11917.566
AT ITER 8168 NEW BEST:: SOT 63212 SOS 17518 HAS SOPS 17518 HAS SOUS 11853 HAS SOUPS 11853 WITH SCORE 11870.518
AT ITER 8181 NEW BEST:: SOT 63210 SOS 17512 HAS SOPS 17512 HAS SOUS 11847 HAS SOUPS 11847 WITH SCORE 11864.512
AT ITER 8213 NEW BEST:: SOT 63206 SOS 17504 HAS SOPS 17504 HAS SOUS 11838 HAS SOUPS 11838 WITH SCORE 11855.504
AT ITER 8302 NEW BEST:: SOT 63199 SOS 17497 HAS SOPS 17497 HAS SOUS 11831 HAS SOUPS 11831 WITH SCORE 11848.497
AT ITER 8310 NEW BEST:: SOT 63192 SOS 17490 HAS SOPS 17490 HAS SOUS 11824 HAS SOUPS 11824 WITH SCORE 11841.49
AT ITER 8317 NEW BEST:: SOT 63159 SOS 17457 HAS SOPS 17457 HAS SOUS 11791 HAS SOUPS 11791 WITH SCORE 11808.457
AT ITER 8353 NEW BEST:: SOT 63159 SOS 17456 HAS SOPS 17456 HAS SOUS 11790 HAS SOUPS 11790 WITH SCORE 11807.456
AT ITER 8367 NEW BEST:: SOT 63154 SOS 17446 HAS SOPS 17446 HAS SOUS 11788 HAS SOUPS 11788 WITH SCORE 11805.446
AT ITER 8404 NEW BEST:: SOT 63149 SOS 17436 HAS SOPS 17436 HAS SOUS 11778 HAS SOUPS 11778 WITH SCORE 11795.436
AT ITER 8465 NEW BEST:: SOT 63132 SOS 17458 HAS SOPS 17458 HAS SOUS 11755 HAS SOUPS 11755 WITH SCORE 11772.458
AT ITER 8474 NEW BEST:: SOT 63125 SOS 17444 HAS SOPS 17444 HAS SOUS 11742 HAS SOUPS 11742 WITH SCORE 11759.444
AT ITER 8809 NEW BEST:: SOT 63125 SOS 17436 HAS SOPS 17436 HAS SOUS 11734 HAS SOUPS 11734 WITH SCORE 11751.436
AT ITER 8855 NEW BEST:: SOT 63124 SOS 17431 HAS SOPS 17431 HAS SOUS 11732 HAS SOUPS 11732 WITH SCORE 11749.431
AT ITER 8861 NEW BEST:: SOT 63119 SOS 17396 HAS SOPS 17396 HAS SOUS 11717 HAS SOUPS 11717 WITH SCORE 11734.396
AT ITER 8928 NEW BEST:: SOT 63115 SOS 17388 HAS SOPS 17388 HAS SOUS 11693 HAS SOUPS 11693 WITH SCORE 11710.388
AT ITER 9094 NEW BEST:: SOT 63114 SOS 17386 HAS SOPS 17386 HAS SOUS 11691 HAS SOUPS 11691 WITH SCORE 11708.386
AT ITER 9095 NEW BEST:: SOT 63102 SOS 17389 HAS SOPS 17389 HAS SOUS 11684 HAS SOUPS 11684 WITH SCORE 11701.389
AT ITER 9111 NEW BEST:: SOT 63074 SOS 17347 HAS SOPS 17347 HAS SOUS 11642 HAS SOUPS 11642 WITH SCORE 11659.347
AT ITER 9113 NEW BEST:: SOT 63076 SOS 17349 HAS SOPS 17349 HAS SOUS 11640 HAS SOUPS 11640 WITH SCORE 11657.349
AT ITER 9114 NEW BEST:: SOT 63066 SOS 17329 HAS SOPS 17329 HAS SOUS 11630 HAS SOUPS 11630 WITH SCORE 11647.329
AT ITER 9120 NEW BEST:: SOT 63059 SOS 17319 HAS SOPS 17319 HAS SOUS 11622 HAS SOUPS 11622 WITH SCORE 11639.319
AT ITER 9212 NEW BEST:: SOT 63056 SOS 17310 HAS SOPS 17310 HAS SOUS 11616 HAS SOUPS 11616 WITH SCORE 11633.31
AT ITER 9263 NEW BEST:: SOT 63020 SOS 17280 HAS SOPS 17280 HAS SOUS 11586 HAS SOUPS 11586 WITH SCORE 11603.28
AT ITER 9475 NEW BEST:: SOT 63010 SOS 17270 HAS SOPS 17270 HAS SOUS 11566 HAS SOUPS 11566 WITH SCORE 11583.27
AT ITER 9477 NEW BEST:: SOT 63008 SOS 17251 HAS SOPS 17251 HAS SOUS 11562 HAS SOUPS 11562 WITH SCORE 11579.251
AT ITER 9487 NEW BEST:: SOT 63008 SOS 17251 HAS SOPS 17251 HAS SOUS 11561 HAS SOUPS 11561 WITH SCORE 11578.251
AT ITER 9536 NEW BEST:: SOT 63007 SOS 17230 HAS SOPS 17230 HAS SOUS 11553 HAS SOUPS 11553 WITH SCORE 11570.23
AT ITER 9583 NEW BEST:: SOT 63007 SOS 17200 HAS SOPS 17200 HAS SOUS 11523 HAS SOUPS 11523 WITH SCORE 11540.2
AT ITER 9657 NEW BEST:: SOT 63009 SOS 17215 HAS SOPS 17215 HAS SOUS 11520 HAS SOUPS 11520 WITH SCORE 11537.215
AT ITER 9665 NEW BEST:: SOT 63009 SOS 17215 HAS SOPS 17215 HAS SOUS 11519 HAS SOUPS 11519 WITH SCORE 11536.215
AT ITER 9670 NEW BEST:: SOT 63009 SOS 17209 HAS SOPS 17209 HAS SOUS 11519 HAS SOUPS 11519 WITH SCORE 11536.209
AT ITER 9706 NEW BEST:: SOT 62961 SOS 17137 HAS SOPS 17137 HAS SOUS 11471 HAS SOUPS 11471 WITH SCORE 11488.137
AT ITER 9735 NEW BEST:: SOT 62953 SOS 17130 HAS SOPS 17130 HAS SOUS 11464 HAS SOUPS 11464 WITH SCORE 11481.13
AT ITER 9739 NEW BEST:: SOT 62953 SOS 17113 HAS SOPS 17113 HAS SOUS 11464 HAS SOUPS 11464 WITH SCORE 11481.113
AT ITER 9740 NEW BEST:: SOT 62953 SOS 17110 HAS SOPS 17110 HAS SOUS 11461 HAS SOUPS 11461 WITH SCORE 11478.11
AT ITER 9778 NEW BEST:: SOT 62937 SOS 17094 HAS SOPS 17094 HAS SOUS 11461 HAS SOUPS 11461 WITH SCORE 11478.094
AT ITER 9793 NEW BEST:: SOT 62932 SOS 17084 HAS SOPS 17084 HAS SOUS 11446 HAS SOUPS 11446 WITH SCORE 11463.084
AT ITER 9807 NEW BEST:: SOT 62932 SOS 17081 HAS SOPS 17081 HAS SOUS 11446 HAS SOUPS 11446 WITH SCORE 11463.081
AT ITER 9811 NEW BEST:: SOT 62932 SOS 17081 HAS SOPS 17081 HAS SOUS 11432 HAS SOUPS 11432 WITH SCORE 11449.081
AT ITER 9833 NEW BEST:: SOT 62916 SOS 17049 HAS SOPS 17049 HAS SOUS 11424 HAS SOUPS 11424 WITH SCORE 11441.049
AT ITER 9927 NEW BEST:: SOT 62883 SOS 17036 HAS SOPS 17036 HAS SOUS 11411 HAS SOUPS 11411 WITH SCORE 11428.036
AT ITER 9933 NEW BEST:: SOT 62853 SOS 17004 HAS SOPS 17004 HAS SOUS 11384 HAS SOUPS 11384 WITH SCORE 11401.004
AT ITER 9963 NEW BEST:: SOT 62852 SOS 17002 HAS SOPS 17002 HAS SOUS 11382 HAS SOUPS 11382 WITH SCORE 11399.002
AT ITER 9970 NEW BEST:: SOT 62850 SOS 17000 HAS SOPS 17000 HAS SOUS 11380 HAS SOUPS 11380 WITH SCORE 11397.0
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 7033284 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16121684 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ 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
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DiscoveryGPU-PT-11b"
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 DiscoveryGPU-PT-11b, 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 r139-smll-167819422800376"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DiscoveryGPU-PT-11b.tgz
mv DiscoveryGPU-PT-11b 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 ;