About the Execution of smart for PolyORBNT-PT-S10J20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15764.930 | 3600000.00 | 3600060.00 | 0.00 | [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 '/mnt/tpsp/fkordon/mcc2020-input.r123-tajo-158961355100680.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PolyORBNT-PT-S10J20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961355100680
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 26M
-rw-r--r-- 1 mcc users 13K Apr 12 06:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 48K Apr 12 06:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 490K Apr 11 06:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.4M Apr 11 06:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 11K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 41K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.4M Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 4.0M Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.1K Apr 10 13:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 10 13:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 273K Apr 9 19:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 727K Apr 9 19:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Apr 10 22:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.4K Apr 10 22:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 18M Mar 24 05:37 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 1589648145154
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (PT), instance S10J20
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 474 places, 11760 transitions, 111119 arcs.
AT ITER 0 NEW BEST:: SOT 3192894 SOS 1463028 HAS SOPS 1463028 HAS SOUS 207509 HAS SOUPS 207509 WITH SCORE 208972.028
AT ITER 1 NEW BEST:: SOT 3192778 SOS 1462850 HAS SOPS 1462850 HAS SOUS 206775 HAS SOUPS 206775 WITH SCORE 208237.85
AT ITER 5 NEW BEST:: SOT 2400557 SOS 670841 HAS SOPS 670841 HAS SOUS 144894 HAS SOUPS 144894 WITH SCORE 145564.841
AT ITER 59 NEW BEST:: SOT 2400680 SOS 670902 HAS SOPS 670902 HAS SOUS 144401 HAS SOUPS 144401 WITH SCORE 145071.902
AT ITER 97 NEW BEST:: SOT 2400659 SOS 670881 HAS SOPS 670881 HAS SOUS 144380 HAS SOUPS 144380 WITH SCORE 145050.881
AT ITER 109 NEW BEST:: SOT 2400378 SOS 670747 HAS SOPS 670747 HAS SOUS 144206 HAS SOUPS 144206 WITH SCORE 144876.747
AT ITER 119 NEW BEST:: SOT 2400366 SOS 670735 HAS SOPS 670735 HAS SOUS 144194 HAS SOUPS 144194 WITH SCORE 144864.735
AT ITER 120 NEW BEST:: SOT 2400366 SOS 670731 HAS SOPS 670731 HAS SOUS 142564 HAS SOUPS 142564 WITH SCORE 143234.731
AT ITER 125 NEW BEST:: SOT 2400341 SOS 670706 HAS SOPS 670706 HAS SOUS 142535 HAS SOUPS 142535 WITH SCORE 143205.706
AT ITER 134 NEW BEST:: SOT 2400323 SOS 670688 HAS SOPS 670688 HAS SOUS 142517 HAS SOUPS 142517 WITH SCORE 143187.688
AT ITER 160 NEW BEST:: SOT 2400305 SOS 670685 HAS SOPS 670685 HAS SOUS 142501 HAS SOUPS 142501 WITH SCORE 143171.685
AT ITER 188 NEW BEST:: SOT 2400313 SOS 670810 HAS SOPS 670810 HAS SOUS 142448 HAS SOUPS 142448 WITH SCORE 143118.81
AT ITER 197 NEW BEST:: SOT 2381264 SOS 652047 HAS SOPS 652047 HAS SOUS 123677 HAS SOUPS 123677 WITH SCORE 124329.047
AT ITER 198 NEW BEST:: SOT 2381157 SOS 651940 HAS SOPS 651940 HAS SOUS 123570 HAS SOUPS 123570 WITH SCORE 124221.94
AT ITER 204 NEW BEST:: SOT 2381061 SOS 651844 HAS SOPS 651844 HAS SOUS 123474 HAS SOUPS 123474 WITH SCORE 124125.844
AT ITER 205 NEW BEST:: SOT 2381061 SOS 651844 HAS SOPS 651844 HAS SOUS 123459 HAS SOUPS 123459 WITH SCORE 124110.844
AT ITER 207 NEW BEST:: SOT 2381015 SOS 651798 HAS SOPS 651798 HAS SOUS 123413 HAS SOUPS 123413 WITH SCORE 124064.798
AT ITER 214 NEW BEST:: SOT 2380988 SOS 651730 HAS SOPS 651730 HAS SOUS 122906 HAS SOUPS 122906 WITH SCORE 123557.73
AT ITER 215 NEW BEST:: SOT 2380988 SOS 651730 HAS SOPS 651730 HAS SOUS 122876 HAS SOUPS 122876 WITH SCORE 123527.73
AT ITER 220 NEW BEST:: SOT 2380965 SOS 651707 HAS SOPS 651707 HAS SOUS 122853 HAS SOUPS 122853 WITH SCORE 123504.707
AT ITER 225 NEW BEST:: SOT 2380960 SOS 651644 HAS SOPS 651644 HAS SOUS 122230 HAS SOUPS 122230 WITH SCORE 122881.644
AT ITER 232 NEW BEST:: SOT 2380892 SOS 651576 HAS SOPS 651576 HAS SOUS 122162 HAS SOUPS 122162 WITH SCORE 122813.576
AT ITER 233 NEW BEST:: SOT 2380817 SOS 651501 HAS SOPS 651501 HAS SOUS 122087 HAS SOUPS 122087 WITH SCORE 122738.501
AT ITER 239 NEW BEST:: SOT 2380756 SOS 651378 HAS SOPS 651378 HAS SOUS 121406 HAS SOUPS 121406 WITH SCORE 122057.378
AT ITER 249 NEW BEST:: SOT 2380704 SOS 651326 HAS SOPS 651326 HAS SOUS 121354 HAS SOUPS 121354 WITH SCORE 122005.326
AT ITER 260 NEW BEST:: SOT 2380636 SOS 651258 HAS SOPS 651258 HAS SOUS 120516 HAS SOUPS 120516 WITH SCORE 121167.258
AT ITER 263 NEW BEST:: SOT 2380675 SOS 651299 HAS SOPS 651299 HAS SOUS 120437 HAS SOUPS 120437 WITH SCORE 121088.299
AT ITER 273 NEW BEST:: SOT 2380502 SOS 651126 HAS SOPS 651126 HAS SOUS 120272 HAS SOUPS 120272 WITH SCORE 120923.126
AT ITER 278 NEW BEST:: SOT 2381335 SOS 651959 HAS SOPS 651959 HAS SOUS 119806 HAS SOUPS 119806 WITH SCORE 120457.959
AT ITER 285 NEW BEST:: SOT 2381243 SOS 651867 HAS SOPS 651867 HAS SOUS 119714 HAS SOUPS 119714 WITH SCORE 120365.867
AT ITER 293 NEW BEST:: SOT 2381205 SOS 651711 HAS SOPS 651711 HAS SOUS 119638 HAS SOUPS 119638 WITH SCORE 120289.711
AT ITER 294 NEW BEST:: SOT 2381315 SOS 651759 HAS SOPS 651759 HAS SOUS 119252 HAS SOUPS 119252 WITH SCORE 119903.759
AT ITER 297 NEW BEST:: SOT 2381298 SOS 651742 HAS SOPS 651742 HAS SOUS 119235 HAS SOUPS 119235 WITH SCORE 119886.742
AT ITER 302 NEW BEST:: SOT 2380851 SOS 651569 HAS SOPS 651569 HAS SOUS 118957 HAS SOUPS 118957 WITH SCORE 119608.569
AT ITER 311 NEW BEST:: SOT 2380006 SOS 650724 HAS SOPS 650724 HAS SOUS 118112 HAS SOUPS 118112 WITH SCORE 118762.724
AT ITER 338 NEW BEST:: SOT 2379946 SOS 650664 HAS SOPS 650664 HAS SOUS 118052 HAS SOUPS 118052 WITH SCORE 118702.664
AT ITER 348 NEW BEST:: SOT 2379930 SOS 650588 HAS SOPS 650588 HAS SOUS 118006 HAS SOUPS 118006 WITH SCORE 118656.588
AT ITER 349 NEW BEST:: SOT 2379919 SOS 650532 HAS SOPS 650532 HAS SOUS 117950 HAS SOUPS 117950 WITH SCORE 118600.532
AT ITER 354 NEW BEST:: SOT 2379893 SOS 650506 HAS SOPS 650506 HAS SOUS 117924 HAS SOUPS 117924 WITH SCORE 118574.506
AT ITER 358 NEW BEST:: SOT 2379885 SOS 650498 HAS SOPS 650498 HAS SOUS 117908 HAS SOUPS 117908 WITH SCORE 118558.498
AT ITER 361 NEW BEST:: SOT 2379783 SOS 650398 HAS SOPS 650398 HAS SOUS 117806 HAS SOUPS 117806 WITH SCORE 118456.398
AT ITER 362 NEW BEST:: SOT 2379793 SOS 650408 HAS SOPS 650408 HAS SOUS 117668 HAS SOUPS 117668 WITH SCORE 118318.408
AT ITER 364 NEW BEST:: SOT 2379784 SOS 650390 HAS SOPS 650390 HAS SOUS 117650 HAS SOUPS 117650 WITH SCORE 118300.39
AT ITER 365 NEW BEST:: SOT 2379692 SOS 650298 HAS SOPS 650298 HAS SOUS 117558 HAS SOUPS 117558 WITH SCORE 118208.298
AT ITER 369 NEW BEST:: SOT 2379751 SOS 650371 HAS SOPS 650371 HAS SOUS 117008 HAS SOUPS 117008 WITH SCORE 117658.371
AT ITER 381 NEW BEST:: SOT 2378901 SOS 652522 HAS SOPS 652522 HAS SOUS 116048 HAS SOUPS 116048 WITH SCORE 116700.522
AT ITER 383 NEW BEST:: SOT 2378879 SOS 652500 HAS SOPS 652500 HAS SOUS 116026 HAS SOUPS 116026 WITH SCORE 116678.5
AT ITER 392 NEW BEST:: SOT 2378879 SOS 652446 HAS SOPS 652446 HAS SOUS 115912 HAS SOUPS 115912 WITH SCORE 116564.446
AT ITER 399 NEW BEST:: SOT 2378745 SOS 652312 HAS SOPS 652312 HAS SOUS 115778 HAS SOUPS 115778 WITH SCORE 116430.312
AT ITER 418 NEW BEST:: SOT 2378733 SOS 652300 HAS SOPS 652300 HAS SOUS 115766 HAS SOUPS 115766 WITH SCORE 116418.3
AT ITER 420 NEW BEST:: SOT 2378707 SOS 652314 HAS SOPS 652314 HAS SOUS 115761 HAS SOUPS 115761 WITH SCORE 116413.314
AT ITER 422 NEW BEST:: SOT 2378530 SOS 652225 HAS SOPS 652225 HAS SOUS 115594 HAS SOUPS 115594 WITH SCORE 116246.225
AT ITER 425 NEW BEST:: SOT 2378489 SOS 652184 HAS SOPS 652184 HAS SOUS 115553 HAS SOUPS 115553 WITH SCORE 116205.184
AT ITER 426 NEW BEST:: SOT 2378463 SOS 652158 HAS SOPS 652158 HAS SOUS 115527 HAS SOUPS 115527 WITH SCORE 116179.158
AT ITER 437 NEW BEST:: SOT 2378453 SOS 652148 HAS SOPS 652148 HAS SOUS 115517 HAS SOUPS 115517 WITH SCORE 116169.148
AT ITER 439 NEW BEST:: SOT 2378453 SOS 652148 HAS SOPS 652148 HAS SOUS 115510 HAS SOUPS 115510 WITH SCORE 116162.148
AT ITER 445 NEW BEST:: SOT 2378695 SOS 652355 HAS SOPS 652355 HAS SOUS 115466 HAS SOUPS 115466 WITH SCORE 116118.355
AT ITER 449 NEW BEST:: SOT 2378690 SOS 652245 HAS SOPS 652245 HAS SOUS 115456 HAS SOUPS 115456 WITH SCORE 116108.245
AT ITER 450 NEW BEST:: SOT 2378630 SOS 652185 HAS SOPS 652185 HAS SOUS 115352 HAS SOUPS 115352 WITH SCORE 116004.185
AT ITER 463 NEW BEST:: SOT 2378630 SOS 652153 HAS SOPS 652153 HAS SOUS 115280 HAS SOUPS 115280 WITH SCORE 115932.153
AT ITER 467 NEW BEST:: SOT 2378659 SOS 652174 HAS SOPS 652174 HAS SOUS 115019 HAS SOUPS 115019 WITH SCORE 115671.174
AT ITER 477 NEW BEST:: SOT 2378649 SOS 652219 HAS SOPS 652219 HAS SOUS 115005 HAS SOUPS 115005 WITH SCORE 115657.219
AT ITER 487 NEW BEST:: SOT 2378649 SOS 652219 HAS SOPS 652219 HAS SOUS 114978 HAS SOUPS 114978 WITH SCORE 115630.219
AT ITER 495 NEW BEST:: SOT 2385629 SOS 658884 HAS SOPS 658884 HAS SOUS 113143 HAS SOUPS 113143 WITH SCORE 113801.884
AT ITER 512 NEW BEST:: SOT 2385853 SOS 659088 HAS SOPS 659088 HAS SOUS 113028 HAS SOUPS 113028 WITH SCORE 113687.088
AT ITER 524 NEW BEST:: SOT 2385850 SOS 659085 HAS SOPS 659085 HAS SOUS 113025 HAS SOUPS 113025 WITH SCORE 113684.085
AT ITER 526 NEW BEST:: SOT 2385802 SOS 659037 HAS SOPS 659037 HAS SOUS 112977 HAS SOUPS 112977 WITH SCORE 113636.037
AT ITER 534 NEW BEST:: SOT 2385802 SOS 659037 HAS SOPS 659037 HAS SOUS 112968 HAS SOUPS 112968 WITH SCORE 113627.037
AT ITER 535 NEW BEST:: SOT 2363438 SOS 636697 HAS SOPS 636697 HAS SOUS 111274 HAS SOUPS 111274 WITH SCORE 111910.697
AT ITER 547 NEW BEST:: SOT 2363431 SOS 636543 HAS SOPS 636543 HAS SOUS 111260 HAS SOUPS 111260 WITH SCORE 111896.543
AT ITER 567 NEW BEST:: SOT 2363395 SOS 636507 HAS SOPS 636507 HAS SOUS 111224 HAS SOUPS 111224 WITH SCORE 111860.507
AT ITER 584 NEW BEST:: SOT 2363395 SOS 636507 HAS SOPS 636507 HAS SOUS 111214 HAS SOUPS 111214 WITH SCORE 111850.507
AT ITER 642 NEW BEST:: SOT 2363833 SOS 636938 HAS SOPS 636938 HAS SOUS 111113 HAS SOUPS 111113 WITH SCORE 111749.938
AT ITER 643 NEW BEST:: SOT 2363729 SOS 636834 HAS SOPS 636834 HAS SOUS 109969 HAS SOUPS 109969 WITH SCORE 110605.834
AT ITER 649 NEW BEST:: SOT 2363720 SOS 636816 HAS SOPS 636816 HAS SOUS 109870 HAS SOUPS 109870 WITH SCORE 110506.816
AT ITER 653 NEW BEST:: SOT 2363688 SOS 636784 HAS SOPS 636784 HAS SOUS 109812 HAS SOUPS 109812 WITH SCORE 110448.784
AT ITER 655 NEW BEST:: SOT 2363626 SOS 636722 HAS SOPS 636722 HAS SOUS 109733 HAS SOUPS 109733 WITH SCORE 110369.722
AT ITER 664 NEW BEST:: SOT 2363619 SOS 636715 HAS SOPS 636715 HAS SOUS 109726 HAS SOUPS 109726 WITH SCORE 110362.715
AT ITER 680 NEW BEST:: SOT 2364231 SOS 637265 HAS SOPS 637265 HAS SOUS 109076 HAS SOUPS 109076 WITH SCORE 109713.265
AT ITER 685 NEW BEST:: SOT 2364167 SOS 637201 HAS SOPS 637201 HAS SOUS 109012 HAS SOUPS 109012 WITH SCORE 109649.201
AT ITER 694 NEW BEST:: SOT 2364280 SOS 639062 HAS SOPS 638960 HAS SOUS 109111 HAS SOUPS 109009 WITH SCORE 109648.062
AT ITER 697 NEW BEST:: SOT 2364441 SOS 639173 HAS SOPS 639071 HAS SOUS 108776 HAS SOUPS 108674 WITH SCORE 109313.173
AT ITER 703 NEW BEST:: SOT 2364435 SOS 639167 HAS SOPS 639081 HAS SOUS 108750 HAS SOUPS 108664 WITH SCORE 109303.167
AT ITER 704 NEW BEST:: SOT 2364390 SOS 639144 HAS SOPS 639058 HAS SOUS 108507 HAS SOUPS 108421 WITH SCORE 109060.144
AT ITER 718 NEW BEST:: SOT 2364381 SOS 639117 HAS SOPS 639031 HAS SOUS 108318 HAS SOUPS 108232 WITH SCORE 108871.117
AT ITER 719 NEW BEST:: SOT 2364381 SOS 639117 HAS SOPS 639031 HAS SOUS 108302 HAS SOUPS 108216 WITH SCORE 108855.117
AT ITER 748 NEW BEST:: SOT 2364368 SOS 639104 HAS SOPS 639018 HAS SOUS 108289 HAS SOUPS 108203 WITH SCORE 108842.104
AT ITER 749 NEW BEST:: SOT 2364421 SOS 639152 HAS SOPS 639066 HAS SOUS 108019 HAS SOUPS 107933 WITH SCORE 108572.152
AT ITER 762 NEW BEST:: SOT 2364410 SOS 639141 HAS SOPS 639055 HAS SOUS 108008 HAS SOUPS 107922 WITH SCORE 108561.141
AT ITER 781 NEW BEST:: SOT 2364090 SOS 638821 HAS SOPS 638735 HAS SOUS 107688 HAS SOUPS 107602 WITH SCORE 108240.821
AT ITER 794 NEW BEST:: SOT 2364030 SOS 638761 HAS SOPS 638675 HAS SOUS 107628 HAS SOUPS 107542 WITH SCORE 108180.761
AT ITER 800 NEW BEST:: SOT 2363852 SOS 638553 HAS SOPS 638467 HAS SOUS 105502 HAS SOUPS 105416 WITH SCORE 106054.553
AT ITER 811 NEW BEST:: SOT 2363852 SOS 638553 HAS SOPS 638467 HAS SOUS 105492 HAS SOUPS 105406 WITH SCORE 106044.553
AT ITER 818 NEW BEST:: SOT 2364076 SOS 638715 HAS SOPS 638629 HAS SOUS 105221 HAS SOUPS 105135 WITH SCORE 105773.715
AT ITER 823 NEW BEST:: SOT 2364076 SOS 638680 HAS SOPS 638594 HAS SOUS 105141 HAS SOUPS 105055 WITH SCORE 105693.68
AT ITER 824 NEW BEST:: SOT 2363971 SOS 638575 HAS SOPS 638489 HAS SOUS 105027 HAS SOUPS 104941 WITH SCORE 105579.575
AT ITER 832 NEW BEST:: SOT 2363995 SOS 638542 HAS SOPS 638456 HAS SOUS 104545 HAS SOUPS 104459 WITH SCORE 105097.542
AT ITER 846 NEW BEST:: SOT 2363980 SOS 638527 HAS SOPS 638441 HAS SOUS 104523 HAS SOUPS 104437 WITH SCORE 105075.527
AT ITER 855 NEW BEST:: SOT 2363896 SOS 638443 HAS SOPS 638357 HAS SOUS 104439 HAS SOUPS 104353 WITH SCORE 104991.443
AT ITER 856 NEW BEST:: SOT 2363912 SOS 638459 HAS SOPS 638373 HAS SOUS 104429 HAS SOUPS 104343 WITH SCORE 104981.459
AT ITER 871 NEW BEST:: SOT 2363912 SOS 638445 HAS SOPS 638359 HAS SOUS 104317 HAS SOUPS 104231 WITH SCORE 104869.445
AT ITER 873 NEW BEST:: SOT 2363859 SOS 638392 HAS SOPS 638306 HAS SOUS 104264 HAS SOUPS 104178 WITH SCORE 104816.392
AT ITER 878 NEW BEST:: SOT 2363691 SOS 638173 HAS SOPS 638087 HAS SOUS 103584 HAS SOUPS 103498 WITH SCORE 104136.173
AT ITER 887 NEW BEST:: SOT 2363685 SOS 638161 HAS SOPS 638075 HAS SOUS 103580 HAS SOUPS 103494 WITH SCORE 104132.161
AT ITER 888 NEW BEST:: SOT 2363685 SOS 638135 HAS SOPS 638049 HAS SOUS 103545 HAS SOUPS 103459 WITH SCORE 104097.135
AT ITER 902 NEW BEST:: SOT 2363685 SOS 638135 HAS SOPS 638049 HAS SOUS 103522 HAS SOUPS 103436 WITH SCORE 104074.135
AT ITER 910 NEW BEST:: SOT 2363643 SOS 638093 HAS SOPS 638007 HAS SOUS 103472 HAS SOUPS 103386 WITH SCORE 104024.093
AT ITER 918 NEW BEST:: SOT 2363628 SOS 638063 HAS SOPS 637977 HAS SOUS 103337 HAS SOUPS 103251 WITH SCORE 103889.063
AT ITER 920 NEW BEST:: SOT 2363620 SOS 638055 HAS SOPS 637969 HAS SOUS 103329 HAS SOUPS 103243 WITH SCORE 103881.055
AT ITER 921 NEW BEST:: SOT 2363510 SOS 637945 HAS SOPS 637859 HAS SOUS 103177 HAS SOUPS 103091 WITH SCORE 103728.945
AT ITER 941 NEW BEST:: SOT 2363566 SOS 637994 HAS SOPS 637908 HAS SOUS 102810 HAS SOUPS 102724 WITH SCORE 103361.994
AT ITER 945 NEW BEST:: SOT 2363525 SOS 637953 HAS SOPS 637867 HAS SOUS 102139 HAS SOUPS 102053 WITH SCORE 102690.953
AT ITER 950 NEW BEST:: SOT 2363446 SOS 637874 HAS SOPS 637788 HAS SOUS 102047 HAS SOUPS 101961 WITH SCORE 102598.874
AT ITER 969 NEW BEST:: SOT 2363434 SOS 637862 HAS SOPS 637776 HAS SOUS 102035 HAS SOUPS 101949 WITH SCORE 102586.862
AT ITER 975 NEW BEST:: SOT 2363400 SOS 637828 HAS SOPS 637742 HAS SOUS 101856 HAS SOUPS 101770 WITH SCORE 102407.828
AT ITER 986 NEW BEST:: SOT 2363311 SOS 637739 HAS SOPS 637653 HAS SOUS 101713 HAS SOUPS 101627 WITH SCORE 102264.739
AT ITER 988 NEW BEST:: SOT 2363265 SOS 637796 HAS SOPS 637710 HAS SOUS 101621 HAS SOUPS 101535 WITH SCORE 102172.796
AT ITER 1000 NEW BEST:: SOT 2363291 SOS 637822 HAS SOPS 637736 HAS SOUS 101216 HAS SOUPS 101130 WITH SCORE 101767.822
AT ITER 1006 NEW BEST:: SOT 2363277 SOS 637808 HAS SOPS 637722 HAS SOUS 101202 HAS SOUPS 101116 WITH SCORE 101753.808
AT ITER 1007 NEW BEST:: SOT 2363258 SOS 637789 HAS SOPS 637703 HAS SOUS 101183 HAS SOUPS 101097 WITH SCORE 101734.789
AT ITER 1008 NEW BEST:: SOT 2363226 SOS 637725 HAS SOPS 637639 HAS SOUS 101119 HAS SOUPS 101033 WITH SCORE 101670.725
AT ITER 1009 NEW BEST:: SOT 2363224 SOS 637723 HAS SOPS 637637 HAS SOUS 101115 HAS SOUPS 101029 WITH SCORE 101666.723
AT ITER 1011 NEW BEST:: SOT 2363216 SOS 637715 HAS SOPS 637629 HAS SOUS 101095 HAS SOUPS 101009 WITH SCORE 101646.715
AT ITER 1014 NEW BEST:: SOT 2363446 SOS 637945 HAS SOPS 637859 HAS SOUS 100547 HAS SOUPS 100461 WITH SCORE 101098.945
AT ITER 1027 NEW BEST:: SOT 2363699 SOS 638145 HAS SOPS 638059 HAS SOUS 100354 HAS SOUPS 100268 WITH SCORE 100906.145
AT ITER 1051 NEW BEST:: SOT 2363673 SOS 638119 HAS SOPS 638033 HAS SOUS 99202 HAS SOUPS 99116 WITH SCORE 99754.119
AT ITER 1054 NEW BEST:: SOT 2363668 SOS 638114 HAS SOPS 638028 HAS SOUS 99096 HAS SOUPS 99010 WITH SCORE 99648.114
AT ITER 1065 NEW BEST:: SOT 2363481 SOS 637927 HAS SOPS 637841 HAS SOUS 98921 HAS SOUPS 98835 WITH SCORE 99472.927
AT ITER 1073 NEW BEST:: SOT 2363114 SOS 637563 HAS SOPS 637477 HAS SOUS 98632 HAS SOUPS 98546 WITH SCORE 99183.563
AT ITER 1099 NEW BEST:: SOT 2069837 SOS 679782 HAS SOPS 679696 HAS SOUS 79215 HAS SOUPS 79129 WITH SCORE 79808.782
AT ITER 1106 NEW BEST:: SOT 2069780 SOS 679722 HAS SOPS 679636 HAS SOUS 79155 HAS SOUPS 79069 WITH SCORE 79748.722
AT ITER 1112 NEW BEST:: SOT 2069762 SOS 679704 HAS SOPS 679618 HAS SOUS 79138 HAS SOUPS 79052 WITH SCORE 79731.704
AT ITER 1115 NEW BEST:: SOT 2069752 SOS 679694 HAS SOPS 679608 HAS SOUS 79128 HAS SOUPS 79042 WITH SCORE 79721.694
AT ITER 1131 NEW BEST:: SOT 2069843 SOS 679785 HAS SOPS 679699 HAS SOUS 78694 HAS SOUPS 78608 WITH SCORE 79287.785
AT ITER 1132 NEW BEST:: SOT 2069932 SOS 679657 HAS SOPS 679571 HAS SOUS 78629 HAS SOUPS 78543 WITH SCORE 79222.657
AT ITER 1138 NEW BEST:: SOT 2069593 SOS 679045 HAS SOPS 678959 HAS SOUS 77210 HAS SOUPS 77124 WITH SCORE 77803.045
AT ITER 1140 NEW BEST:: SOT 2069587 SOS 679039 HAS SOPS 678953 HAS SOUS 77156 HAS SOUPS 77070 WITH SCORE 77749.039
AT ITER 1141 NEW BEST:: SOT 2069553 SOS 679055 HAS SOPS 678969 HAS SOUS 77123 HAS SOUPS 77037 WITH SCORE 77716.055
AT ITER 1153 NEW BEST:: SOT 2069553 SOS 679052 HAS SOPS 678966 HAS SOUS 77120 HAS SOUPS 77034 WITH SCORE 77713.052
AT ITER 1177 NEW BEST:: SOT 2069549 SOS 679048 HAS SOPS 678962 HAS SOUS 77086 HAS SOUPS 77000 WITH SCORE 77679.048
AT ITER 1198 NEW BEST:: SOT 2069549 SOS 679673 HAS SOPS 679587 HAS SOUS 77072 HAS SOUPS 76986 WITH SCORE 77665.673
AT ITER 1205 NEW BEST:: SOT 2069549 SOS 679646 HAS SOPS 679560 HAS SOUS 77008 HAS SOUPS 76922 WITH SCORE 77601.646
AT ITER 1214 NEW BEST:: SOT 2069185 SOS 679156 HAS SOPS 679070 HAS SOUS 75827 HAS SOUPS 75741 WITH SCORE 76420.156
AT ITER 1221 NEW BEST:: SOT 2069160 SOS 532842 HAS SOPS 532756 HAS SOUS 75675 HAS SOUPS 75589 WITH SCORE 76121.842
AT ITER 1224 NEW BEST:: SOT 2069315 SOS 532997 HAS SOPS 532911 HAS SOUS 75655 HAS SOUPS 75569 WITH SCORE 76101.997
AT ITER 1234 NEW BEST:: SOT 2069299 SOS 532981 HAS SOPS 532895 HAS SOUS 75639 HAS SOUPS 75553 WITH SCORE 76085.981
AT ITER 1242 NEW BEST:: SOT 2069299 SOS 532792 HAS SOPS 532706 HAS SOUS 75639 HAS SOUPS 75553 WITH SCORE 76085.792
AT ITER 1244 NEW BEST:: SOT 2069298 SOS 532791 HAS SOPS 532705 HAS SOUS 75638 HAS SOUPS 75552 WITH SCORE 76084.791
AT ITER 1256 NEW BEST:: SOT 2069289 SOS 532782 HAS SOPS 532696 HAS SOUS 75548 HAS SOUPS 75462 WITH SCORE 75994.782
AT ITER 1261 NEW BEST:: SOT 2069589 SOS 533082 HAS SOPS 532996 HAS SOUS 74184 HAS SOUPS 74098 WITH SCORE 74631.082
AT ITER 1276 NEW BEST:: SOT 2069589 SOS 533082 HAS SOPS 532996 HAS SOUS 74177 HAS SOUPS 74091 WITH SCORE 74624.082
AT ITER 1296 NEW BEST:: SOT 2069545 SOS 533025 HAS SOPS 532939 HAS SOUS 72891 HAS SOUPS 72805 WITH SCORE 73338.025
AT ITER 1297 NEW BEST:: SOT 2069544 SOS 533024 HAS SOPS 532938 HAS SOUS 72887 HAS SOUPS 72801 WITH SCORE 73334.024
AT ITER 1309 NEW BEST:: SOT 2069253 SOS 532733 HAS SOPS 532647 HAS SOUS 72459 HAS SOUPS 72373 WITH SCORE 72905.733
AT ITER 1312 NEW BEST:: SOT 2069416 SOS 532896 HAS SOPS 532810 HAS SOUS 72191 HAS SOUPS 72105 WITH SCORE 72637.896
AT ITER 1315 NEW BEST:: SOT 2069323 SOS 532803 HAS SOPS 532717 HAS SOUS 71393 HAS SOUPS 71307 WITH SCORE 71839.803
AT ITER 1334 NEW BEST:: SOT 2069318 SOS 532798 HAS SOPS 532712 HAS SOUS 71388 HAS SOUPS 71302 WITH SCORE 71834.798
AT ITER 1345 NEW BEST:: SOT 2069499 SOS 532976 HAS SOPS 532890 HAS SOUS 71011 HAS SOUPS 70925 WITH SCORE 71457.976
AT ITER 1348 NEW BEST:: SOT 2069478 SOS 532955 HAS SOPS 532869 HAS SOUS 70990 HAS SOUPS 70904 WITH SCORE 71436.955
AT ITER 1394 NEW BEST:: SOT 2069454 SOS 532931 HAS SOPS 532845 HAS SOUS 70959 HAS SOUPS 70873 WITH SCORE 71405.931
AT ITER 1395 NEW BEST:: SOT 2069440 SOS 532917 HAS SOPS 532831 HAS SOUS 70943 HAS SOUPS 70857 WITH SCORE 71389.917
AT ITER 1396 NEW BEST:: SOT 2069431 SOS 532919 HAS SOPS 532833 HAS SOUS 70915 HAS SOUPS 70829 WITH SCORE 71361.919
AT ITER 1400 NEW BEST:: SOT 2069421 SOS 532909 HAS SOPS 532823 HAS SOUS 70905 HAS SOUPS 70819 WITH SCORE 71351.909
AT ITER 1412 NEW BEST:: SOT 2069421 SOS 532870 HAS SOPS 532784 HAS SOUS 70846 HAS SOUPS 70760 WITH SCORE 71292.87
AT ITER 1413 NEW BEST:: SOT 2069281 SOS 532730 HAS SOPS 532644 HAS SOUS 70609 HAS SOUPS 70523 WITH SCORE 71055.73
AT ITER 1423 NEW BEST:: SOT 2069281 SOS 532724 HAS SOPS 532638 HAS SOUS 70603 HAS SOUPS 70517 WITH SCORE 71049.724
AT ITER 1442 NEW BEST:: SOT 2069280 SOS 532723 HAS SOPS 532637 HAS SOUS 70601 HAS SOUPS 70515 WITH SCORE 71047.723
AT ITER 1447 NEW BEST:: SOT 2069224 SOS 532667 HAS SOPS 532581 HAS SOUS 70517 HAS SOUPS 70431 WITH SCORE 70963.667
AT ITER 1450 NEW BEST:: SOT 2069235 SOS 532678 HAS SOPS 532592 HAS SOUS 70434 HAS SOUPS 70348 WITH SCORE 70880.678
AT ITER 1451 NEW BEST:: SOT 2069219 SOS 532662 HAS SOPS 532576 HAS SOUS 70418 HAS SOUPS 70332 WITH SCORE 70864.662
AT ITER 1466 NEW BEST:: SOT 2069213 SOS 532656 HAS SOPS 532570 HAS SOUS 70409 HAS SOUPS 70323 WITH SCORE 70855.656
AT ITER 1477 NEW BEST:: SOT 2069154 SOS 532597 HAS SOPS 532511 HAS SOUS 70331 HAS SOUPS 70245 WITH SCORE 70777.597
AT ITER 1491 NEW BEST:: SOT 2069137 SOS 532580 HAS SOPS 532494 HAS SOUS 70319 HAS SOUPS 70233 WITH SCORE 70765.58
AT ITER 1499 NEW BEST:: SOT 2069186 SOS 532629 HAS SOPS 532543 HAS SOUS 69506 HAS SOUPS 69420 WITH SCORE 69952.629
AT ITER 1511 NEW BEST:: SOT 2069181 SOS 532624 HAS SOPS 532538 HAS SOUS 69496 HAS SOUPS 69410 WITH SCORE 69942.624
AT ITER 1520 NEW BEST:: SOT 2068973 SOS 532378 HAS SOPS 532292 HAS SOUS 69133 HAS SOUPS 69047 WITH SCORE 69579.378
AT ITER 1533 NEW BEST:: SOT 2069013 SOS 532413 HAS SOPS 532327 HAS SOUS 69101 HAS SOUPS 69015 WITH SCORE 69547.413
AT ITER 1541 NEW BEST:: SOT 2068992 SOS 532392 HAS SOPS 532306 HAS SOUS 69067 HAS SOUPS 68981 WITH SCORE 69513.392
AT ITER 1562 NEW BEST:: SOT 2069028 SOS 532428 HAS SOPS 532342 HAS SOUS 69015 HAS SOUPS 68929 WITH SCORE 69461.428
AT ITER 1568 NEW BEST:: SOT 2068990 SOS 532390 HAS SOPS 532304 HAS SOUS 68943 HAS SOUPS 68857 WITH SCORE 69389.39
AT ITER 1576 NEW BEST:: SOT 2068976 SOS 532376 HAS SOPS 532290 HAS SOUS 68599 HAS SOUPS 68513 WITH SCORE 69045.376
AT ITER 1577 NEW BEST:: SOT 2068976 SOS 532376 HAS SOPS 532290 HAS SOUS 68596 HAS SOUPS 68510 WITH SCORE 69042.376
AT ITER 1603 NEW BEST:: SOT 2068891 SOS 532291 HAS SOPS 532205 HAS SOUS 68518 HAS SOUPS 68432 WITH SCORE 68964.291
AT ITER 1622 NEW BEST:: SOT 2068821 SOS 532238 HAS SOPS 532152 HAS SOUS 68516 HAS SOUPS 68430 WITH SCORE 68962.238
AT ITER 1624 NEW BEST:: SOT 2068821 SOS 532238 HAS SOPS 532152 HAS SOUS 68433 HAS SOUPS 68347 WITH SCORE 68879.238
AT ITER 1633 NEW BEST:: SOT 2068800 SOS 532217 HAS SOPS 532131 HAS SOUS 68412 HAS SOUPS 68326 WITH SCORE 68858.217
AT ITER 1636 NEW BEST:: SOT 2068776 SOS 532193 HAS SOPS 532107 HAS SOUS 68388 HAS SOUPS 68302 WITH SCORE 68834.193
AT ITER 1645 NEW BEST:: SOT 2068770 SOS 532187 HAS SOPS 532101 HAS SOUS 67962 HAS SOUPS 67876 WITH SCORE 68408.187
AT ITER 1648 NEW BEST:: SOT 2068767 SOS 532184 HAS SOPS 532098 HAS SOUS 67959 HAS SOUPS 67873 WITH SCORE 68405.184
AT ITER 1682 NEW BEST:: SOT 2068767 SOS 532184 HAS SOPS 532098 HAS SOUS 67939 HAS SOUPS 67853 WITH SCORE 68385.184
AT ITER 1700 NEW BEST:: SOT 2068771 SOS 532172 HAS SOPS 532086 HAS SOUS 67907 HAS SOUPS 67821 WITH SCORE 68353.172
AT ITER 1720 NEW BEST:: SOT 2068636 SOS 532037 HAS SOPS 531951 HAS SOUS 67677 HAS SOUPS 67591 WITH SCORE 68123.037
AT ITER 1723 NEW BEST:: SOT 2068674 SOS 532075 HAS SOPS 531989 HAS SOUS 67411 HAS SOUPS 67325 WITH SCORE 67857.075
AT ITER 1730 NEW BEST:: SOT 2068672 SOS 532073 HAS SOPS 531987 HAS SOUS 67409 HAS SOUPS 67323 WITH SCORE 67855.073
AT ITER 1757 NEW BEST:: SOT 2068407 SOS 531771 HAS SOPS 531685 HAS SOUS 67107 HAS SOUPS 67021 WITH SCORE 67552.771
AT ITER 1776 NEW BEST:: SOT 2068405 SOS 531769 HAS SOPS 531683 HAS SOUS 67105 HAS SOUPS 67019 WITH SCORE 67550.769
AT ITER 1785 NEW BEST:: SOT 2068389 SOS 531753 HAS SOPS 531667 HAS SOUS 67089 HAS SOUPS 67003 WITH SCORE 67534.753
AT ITER 1788 NEW BEST:: SOT 2068352 SOS 531789 HAS SOPS 531703 HAS SOUS 67045 HAS SOUPS 66959 WITH SCORE 67490.789
AT ITER 1795 NEW BEST:: SOT 2068330 SOS 531767 HAS SOPS 531681 HAS SOUS 66953 HAS SOUPS 66867 WITH SCORE 67398.767
AT ITER 1797 NEW BEST:: SOT 2068318 SOS 531755 HAS SOPS 531669 HAS SOUS 66941 HAS SOUPS 66855 WITH SCORE 67386.755
AT ITER 1802 NEW BEST:: SOT 2068307 SOS 531744 HAS SOPS 531658 HAS SOUS 66919 HAS SOUPS 66833 WITH SCORE 67364.744
AT ITER 1849 NEW BEST:: SOT 2068303 SOS 531740 HAS SOPS 531654 HAS SOUS 66913 HAS SOUPS 66827 WITH SCORE 67358.74
AT ITER 1862 NEW BEST:: SOT 2068267 SOS 531704 HAS SOPS 531618 HAS SOUS 66854 HAS SOUPS 66768 WITH SCORE 67299.704
AT ITER 1876 NEW BEST:: SOT 2068258 SOS 531695 HAS SOPS 531609 HAS SOUS 66816 HAS SOUPS 66730 WITH SCORE 67261.695
AT ITER 1885 NEW BEST:: SOT 2068258 SOS 426723 HAS SOPS 426637 HAS SOUS 66732 HAS SOUPS 66646 WITH SCORE 67072.723
AT ITER 1896 NEW BEST:: SOT 2068248 SOS 426768 HAS SOPS 426682 HAS SOUS 66712 HAS SOUPS 66626 WITH SCORE 67052.768
AT ITER 1900 NEW BEST:: SOT 2068247 SOS 426767 HAS SOPS 426681 HAS SOUS 66702 HAS SOUPS 66616 WITH SCORE 67042.767
AT ITER 1922 NEW BEST:: SOT 2068199 SOS 426719 HAS SOPS 426633 HAS SOUS 66678 HAS SOUPS 66592 WITH SCORE 67018.719
AT ITER 1937 NEW BEST:: SOT 2068155 SOS 426675 HAS SOPS 426589 HAS SOUS 66598 HAS SOUPS 66512 WITH SCORE 66938.675
AT ITER 1941 NEW BEST:: SOT 2068170 SOS 426659 HAS SOPS 426573 HAS SOUS 66592 HAS SOUPS 66506 WITH SCORE 66932.659
AT ITER 1944 NEW BEST:: SOT 2068079 SOS 426568 HAS SOPS 426482 HAS SOUS 66501 HAS SOUPS 66415 WITH SCORE 66841.568
AT ITER 1969 NEW BEST:: SOT 2068386 SOS 426875 HAS SOPS 426789 HAS SOUS 66317 HAS SOUPS 66231 WITH SCORE 66657.875
AT ITER 1971 NEW BEST:: SOT 2068361 SOS 426850 HAS SOPS 426764 HAS SOUS 66292 HAS SOUPS 66206 WITH SCORE 66632.85
AT ITER 1986 NEW BEST:: SOT 2068440 SOS 426833 HAS SOPS 426747 HAS SOUS 66284 HAS SOUPS 66198 WITH SCORE 66624.833
AT ITER 1990 NEW BEST:: SOT 2068430 SOS 426823 HAS SOPS 426737 HAS SOUS 66271 HAS SOUPS 66185 WITH SCORE 66611.823
AT ITER 1994 NEW BEST:: SOT 2069222 SOS 427615 HAS SOPS 427529 HAS SOUS 66249 HAS SOUPS 66163 WITH SCORE 66590.615
AT ITER 1996 NEW BEST:: SOT 2069402 SOS 427795 HAS SOPS 427709 HAS SOUS 66181 HAS SOUPS 66095 WITH SCORE 66522.795
AT ITER 2006 NEW BEST:: SOT 2069092 SOS 428411 HAS SOPS 428325 HAS SOUS 66029 HAS SOUPS 65943 WITH SCORE 66371.411
AT ITER 2010 NEW BEST:: SOT 2069054 SOS 428373 HAS SOPS 428287 HAS SOUS 65980 HAS SOUPS 65894 WITH SCORE 66322.373
AT ITER 2011 NEW BEST:: SOT 2069065 SOS 428321 HAS SOPS 428235 HAS SOUS 65965 HAS SOUPS 65879 WITH SCORE 66307.321
AT ITER 2023 NEW BEST:: SOT 2069077 SOS 428333 HAS SOPS 428247 HAS SOUS 65603 HAS SOUPS 65517 WITH SCORE 65945.333
AT ITER 2036 NEW BEST:: SOT 2068829 SOS 428085 HAS SOPS 427999 HAS SOUS 64776 HAS SOUPS 64690 WITH SCORE 65118.085
AT ITER 2043 NEW BEST:: SOT 2068828 SOS 428084 HAS SOPS 427998 HAS SOUS 64765 HAS SOUPS 64679 WITH SCORE 65107.084
AT ITER 2044 NEW BEST:: SOT 2068834 SOS 428090 HAS SOPS 428004 HAS SOUS 64734 HAS SOUPS 64648 WITH SCORE 65076.09
AT ITER 2075 NEW BEST:: SOT 2068832 SOS 428046 HAS SOPS 427960 HAS SOUS 64639 HAS SOUPS 64553 WITH SCORE 64981.046
AT ITER 2082 NEW BEST:: SOT 2068826 SOS 428040 HAS SOPS 427954 HAS SOUS 64627 HAS SOUPS 64541 WITH SCORE 64969.04
AT ITER 2090 NEW BEST:: SOT 2068794 SOS 428015 HAS SOPS 427929 HAS SOUS 64609 HAS SOUPS 64523 WITH SCORE 64951.015
AT ITER 2093 NEW BEST:: SOT 2068851 SOS 428752 HAS SOPS 428666 HAS SOUS 64598 HAS SOUPS 64512 WITH SCORE 64940.752
AT ITER 2115 NEW BEST:: SOT 2068851 SOS 428752 HAS SOPS 428666 HAS SOUS 64591 HAS SOUPS 64505 WITH SCORE 64933.752
AT ITER 2120 NEW BEST:: SOT 2069008 SOS 428909 HAS SOPS 428823 HAS SOUS 64477 HAS SOUPS 64391 WITH SCORE 64819.909
AT ITER 2124 NEW BEST:: SOT 2069008 SOS 428546 HAS SOPS 428477 HAS SOUS 64460 HAS SOUPS 64391 WITH SCORE 64819.546
AT ITER 2126 NEW BEST:: SOT 2069008 SOS 428546 HAS SOPS 428477 HAS SOUS 64429 HAS SOUPS 64360 WITH SCORE 64788.546
AT ITER 2129 NEW BEST:: SOT 2069006 SOS 428544 HAS SOPS 428475 HAS SOUS 64419 HAS SOUPS 64350 WITH SCORE 64778.544
AT ITER 2134 NEW BEST:: SOT 2068946 SOS 428484 HAS SOPS 428415 HAS SOUS 64345 HAS SOUPS 64276 WITH SCORE 64704.484
AT ITER 2150 NEW BEST:: SOT 2068946 SOS 428475 HAS SOPS 428406 HAS SOUS 64345 HAS SOUPS 64276 WITH SCORE 64704.475
AT ITER 2153 NEW BEST:: SOT 2068835 SOS 428253 HAS SOPS 428184 HAS SOUS 64123 HAS SOUPS 64054 WITH SCORE 64482.253
AT ITER 2158 NEW BEST:: SOT 2068835 SOS 428246 HAS SOPS 428177 HAS SOUS 64123 HAS SOUPS 64054 WITH SCORE 64482.246
AT ITER 2171 NEW BEST:: SOT 2068976 SOS 428387 HAS SOPS 428318 HAS SOUS 63926 HAS SOUPS 63857 WITH SCORE 64285.387
AT ITER 2177 NEW BEST:: SOT 2068976 SOS 428387 HAS SOPS 428318 HAS SOUS 63911 HAS SOUPS 63842 WITH SCORE 64270.387
AT ITER 2203 NEW BEST:: SOT 2069116 SOS 428527 HAS SOPS 428458 HAS SOUS 63584 HAS SOUPS 63515 WITH SCORE 63943.527
AT ITER 2209 NEW BEST:: SOT 2069471 SOS 428882 HAS SOPS 428813 HAS SOUS 63102 HAS SOUPS 63033 WITH SCORE 63461.882
AT ITER 2225 NEW BEST:: SOT 2069438 SOS 428849 HAS SOPS 428780 HAS SOUS 63056 HAS SOUPS 62987 WITH SCORE 63415.849
AT ITER 2231 NEW BEST:: SOT 2069434 SOS 428839 HAS SOPS 428770 HAS SOUS 63052 HAS SOUPS 62983 WITH SCORE 63411.839
AT ITER 2273 NEW BEST:: SOT 2069424 SOS 428839 HAS SOPS 428770 HAS SOUS 63032 HAS SOUPS 62963 WITH SCORE 63391.839
AT ITER 2279 NEW BEST:: SOT 2069410 SOS 428811 HAS SOPS 428742 HAS SOUS 63004 HAS SOUPS 62935 WITH SCORE 63363.811
AT ITER 2280 NEW BEST:: SOT 2069405 SOS 428806 HAS SOPS 428737 HAS SOUS 62994 HAS SOUPS 62925 WITH SCORE 63353.806
AT ITER 2283 NEW BEST:: SOT 2069422 SOS 428801 HAS SOPS 428732 HAS SOUS 62656 HAS SOUPS 62587 WITH SCORE 63015.801
AT ITER 2289 NEW BEST:: SOT 2069412 SOS 428791 HAS SOPS 428722 HAS SOUS 62634 HAS SOUPS 62565 WITH SCORE 62993.791
AT ITER 2299 NEW BEST:: SOT 2069423 SOS 428802 HAS SOPS 428733 HAS SOUS 62579 HAS SOUPS 62510 WITH SCORE 62938.802
AT ITER 2305 NEW BEST:: SOT 2069301 SOS 428680 HAS SOPS 428611 HAS SOUS 62416 HAS SOUPS 62347 WITH SCORE 62775.68
AT ITER 2307 NEW BEST:: SOT 2069302 SOS 428673 HAS SOPS 428604 HAS SOUS 62407 HAS SOUPS 62338 WITH SCORE 62766.673
AT ITER 2313 NEW BEST:: SOT 2069279 SOS 428660 HAS SOPS 428591 HAS SOUS 62384 HAS SOUPS 62315 WITH SCORE 62743.66
AT ITER 2317 NEW BEST:: SOT 2069174 SOS 428555 HAS SOPS 428486 HAS SOUS 62200 HAS SOUPS 62131 WITH SCORE 62559.555
AT ITER 2327 NEW BEST:: SOT 2069151 SOS 428532 HAS SOPS 428463 HAS SOUS 62107 HAS SOUPS 62038 WITH SCORE 62466.532
AT ITER 2351 NEW BEST:: SOT 2069146 SOS 428532 HAS SOPS 428463 HAS SOUS 62047 HAS SOUPS 61978 WITH SCORE 62406.532
AT ITER 2356 NEW BEST:: SOT 2069076 SOS 428462 HAS SOPS 428393 HAS SOUS 61977 HAS SOUPS 61908 WITH SCORE 62336.462
AT ITER 2363 NEW BEST:: SOT 2069076 SOS 428462 HAS SOPS 428393 HAS SOUS 61952 HAS SOUPS 61883 WITH SCORE 62311.462
AT ITER 2367 NEW BEST:: SOT 2069526 SOS 428912 HAS SOPS 428843 HAS SOUS 61749 HAS SOUPS 61680 WITH SCORE 62108.912
AT ITER 2390 NEW BEST:: SOT 2069498 SOS 428884 HAS SOPS 428815 HAS SOUS 61649 HAS SOUPS 61580 WITH SCORE 62008.884
AT ITER 2416 NEW BEST:: SOT 2069341 SOS 428727 HAS SOPS 428658 HAS SOUS 61354 HAS SOUPS 61285 WITH SCORE 61713.727
AT ITER 2444 NEW BEST:: SOT 2069297 SOS 428683 HAS SOPS 428614 HAS SOUS 61293 HAS SOUPS 61224 WITH SCORE 61652.683
AT ITER 2470 NEW BEST:: SOT 2069246 SOS 428553 HAS SOPS 428484 HAS SOUS 61163 HAS SOUPS 61094 WITH SCORE 61522.553
AT ITER 2471 NEW BEST:: SOT 2069246 SOS 428517 HAS SOPS 428448 HAS SOUS 61159 HAS SOUPS 61090 WITH SCORE 61518.517
AT ITER 2475 NEW BEST:: SOT 2069137 SOS 428408 HAS SOPS 428339 HAS SOUS 61025 HAS SOUPS 60956 WITH SCORE 61384.408
AT ITER 2495 NEW BEST:: SOT 2069078 SOS 428349 HAS SOPS 428280 HAS SOUS 60907 HAS SOUPS 60838 WITH SCORE 61266.349
AT ITER 2507 NEW BEST:: SOT 2069065 SOS 428349 HAS SOPS 428280 HAS SOUS 60881 HAS SOUPS 60812 WITH SCORE 61240.349
AT ITER 2508 NEW BEST:: SOT 2069025 SOS 428309 HAS SOPS 428240 HAS SOUS 60801 HAS SOUPS 60732 WITH SCORE 61160.309
AT ITER 2521 NEW BEST:: SOT 2069023 SOS 387077 HAS SOPS 387008 HAS SOUS 60753 HAS SOUPS 60684 WITH SCORE 61071.077
AT ITER 2530 NEW BEST:: SOT 2068672 SOS 386726 HAS SOPS 386657 HAS SOUS 60563 HAS SOUPS 60494 WITH SCORE 60880.726
AT ITER 2537 NEW BEST:: SOT 2068664 SOS 386718 HAS SOPS 386649 HAS SOUS 60555 HAS SOUPS 60486 WITH SCORE 60872.718
AT ITER 2549 NEW BEST:: SOT 2068664 SOS 386718 HAS SOPS 386649 HAS SOUS 60553 HAS SOUPS 60484 WITH SCORE 60870.718
AT ITER 2556 NEW BEST:: SOT 2068576 SOS 386630 HAS SOPS 386561 HAS SOUS 60401 HAS SOUPS 60332 WITH SCORE 60718.63
AT ITER 2581 NEW BEST:: SOT 2068583 SOS 386637 HAS SOPS 386568 HAS SOUS 60366 HAS SOUPS 60297 WITH SCORE 60683.637
AT ITER 2584 NEW BEST:: SOT 2068577 SOS 386631 HAS SOPS 386562 HAS SOUS 60313 HAS SOUPS 60244 WITH SCORE 60630.631
AT ITER 2586 NEW BEST:: SOT 2068583 SOS 386624 HAS SOPS 386555 HAS SOUS 60307 HAS SOUPS 60238 WITH SCORE 60624.624
AT ITER 2591 NEW BEST:: SOT 2068611 SOS 386652 HAS SOPS 386583 HAS SOUS 60301 HAS SOUPS 60232 WITH SCORE 60618.652
AT ITER 2599 NEW BEST:: SOT 2068038 SOS 386098 HAS SOPS 386029 HAS SOUS 59737 HAS SOUPS 59668 WITH SCORE 60054.098
AT ITER 2602 NEW BEST:: SOT 2068034 SOS 386094 HAS SOPS 386025 HAS SOUS 59688 HAS SOUPS 59619 WITH SCORE 60005.094
AT ITER 2616 NEW BEST:: SOT 2067825 SOS 385885 HAS SOPS 385816 HAS SOUS 59441 HAS SOUPS 59372 WITH SCORE 59757.885
AT ITER 2640 NEW BEST:: SOT 2067791 SOS 385851 HAS SOPS 385782 HAS SOUS 59407 HAS SOUPS 59338 WITH SCORE 59723.851
AT ITER 2641 NEW BEST:: SOT 2067777 SOS 385837 HAS SOPS 385768 HAS SOUS 59379 HAS SOUPS 59310 WITH SCORE 59695.837
AT ITER 2652 NEW BEST:: SOT 2067730 SOS 385790 HAS SOPS 385721 HAS SOUS 59199 HAS SOUPS 59130 WITH SCORE 59515.79
AT ITER 2653 NEW BEST:: SOT 2067729 SOS 385789 HAS SOPS 385720 HAS SOUS 59197 HAS SOUPS 59128 WITH SCORE 59513.789
AT ITER 2662 NEW BEST:: SOT 2067719 SOS 386049 HAS SOPS 385980 HAS SOUS 59177 HAS SOUPS 59108 WITH SCORE 59494.049
AT ITER 2680 NEW BEST:: SOT 2067621 SOS 385951 HAS SOPS 385882 HAS SOUS 58889 HAS SOUPS 58820 WITH SCORE 59205.951
AT ITER 2684 NEW BEST:: SOT 2067579 SOS 385909 HAS SOPS 385840 HAS SOUS 58840 HAS SOUPS 58771 WITH SCORE 59156.909
AT ITER 2689 NEW BEST:: SOT 2067573 SOS 385889 HAS SOPS 385820 HAS SOUS 58828 HAS SOUPS 58759 WITH SCORE 59144.889
AT ITER 2703 NEW BEST:: SOT 2067559 SOS 385875 HAS SOPS 385806 HAS SOUS 58814 HAS SOUPS 58745 WITH SCORE 59130.875
AT ITER 2712 NEW BEST:: SOT 2067579 SOS 385877 HAS SOPS 385808 HAS SOUS 58713 HAS SOUPS 58644 WITH SCORE 59029.877
AT ITER 2741 NEW BEST:: SOT 2067567 SOS 385861 HAS SOPS 385792 HAS SOUS 58697 HAS SOUPS 58628 WITH SCORE 59013.861
AT ITER 2743 NEW BEST:: SOT 2067543 SOS 385837 HAS SOPS 385768 HAS SOUS 58673 HAS SOUPS 58604 WITH SCORE 58989.837
AT ITER 2768 NEW BEST:: SOT 2068322 SOS 386616 HAS SOPS 386547 HAS SOUS 58473 HAS SOUPS 58404 WITH SCORE 58790.616
AT ITER 2772 NEW BEST:: SOT 2068312 SOS 386606 HAS SOPS 386537 HAS SOUS 58427 HAS SOUPS 58358 WITH SCORE 58744.606
AT ITER 2779 NEW BEST:: SOT 2068315 SOS 386609 HAS SOPS 386540 HAS SOUS 58420 HAS SOUPS 58351 WITH SCORE 58737.609
AT ITER 2781 NEW BEST:: SOT 2068315 SOS 386609 HAS SOPS 386540 HAS SOUS 58356 HAS SOUPS 58287 WITH SCORE 58673.609
AT ITER 2792 NEW BEST:: SOT 2068299 SOS 386593 HAS SOPS 386524 HAS SOUS 58338 HAS SOUPS 58269 WITH SCORE 58655.593
AT ITER 2797 NEW BEST:: SOT 2068309 SOS 386603 HAS SOPS 386534 HAS SOUS 58303 HAS SOUPS 58234 WITH SCORE 58620.603
AT ITER 2813 NEW BEST:: SOT 2068296 SOS 386590 HAS SOPS 386521 HAS SOUS 58284 HAS SOUPS 58215 WITH SCORE 58601.59
AT ITER 2823 NEW BEST:: SOT 2068270 SOS 386564 HAS SOPS 386495 HAS SOUS 58232 HAS SOUPS 58163 WITH SCORE 58549.564
AT ITER 2825 NEW BEST:: SOT 2068304 SOS 386598 HAS SOPS 386529 HAS SOUS 58139 HAS SOUPS 58070 WITH SCORE 58456.598
AT ITER 2876 NEW BEST:: SOT 2068238 SOS 386532 HAS SOPS 386463 HAS SOUS 58037 HAS SOUPS 57968 WITH SCORE 58354.532
AT ITER 2891 NEW BEST:: SOT 2068795 SOS 387089 HAS SOPS 387020 HAS SOUS 57926 HAS SOUPS 57857 WITH SCORE 58244.089
AT ITER 2893 NEW BEST:: SOT 2068452 SOS 386746 HAS SOPS 386677 HAS SOUS 57565 HAS SOUPS 57496 WITH SCORE 57882.746
AT ITER 2901 NEW BEST:: SOT 2068424 SOS 386741 HAS SOPS 386672 HAS SOUS 57556 HAS SOUPS 57487 WITH SCORE 57873.741
AT ITER 2921 NEW BEST:: SOT 2068316 SOS 386633 HAS SOPS 386564 HAS SOUS 57340 HAS SOUPS 57271 WITH SCORE 57657.633
AT ITER 2928 NEW BEST:: SOT 2067907 SOS 386224 HAS SOPS 386155 HAS SOUS 57330 HAS SOUPS 57261 WITH SCORE 57647.224
AT ITER 2943 NEW BEST:: SOT 2067829 SOS 386146 HAS SOPS 386077 HAS SOUS 57174 HAS SOUPS 57105 WITH SCORE 57491.146
AT ITER 2958 NEW BEST:: SOT 2068031 SOS 386340 HAS SOPS 386271 HAS SOUS 56983 HAS SOUPS 56914 WITH SCORE 57300.34
AT ITER 2969 NEW BEST:: SOT 2067923 SOS 386232 HAS SOPS 386163 HAS SOUS 56816 HAS SOUPS 56747 WITH SCORE 57133.232
AT ITER 3029 NEW BEST:: SOT 2067908 SOS 386217 HAS SOPS 386148 HAS SOUS 56801 HAS SOUPS 56732 WITH SCORE 57118.217
AT ITER 3030 NEW BEST:: SOT 2067903 SOS 386212 HAS SOPS 386143 HAS SOUS 56791 HAS SOUPS 56722 WITH SCORE 57108.212
AT ITER 3036 NEW BEST:: SOT 2067899 SOS 386208 HAS SOPS 386139 HAS SOUS 56755 HAS SOUPS 56686 WITH SCORE 57072.208
AT ITER 3060 NEW BEST:: SOT 2067899 SOS 386207 HAS SOPS 386138 HAS SOUS 56751 HAS SOUPS 56682 WITH SCORE 57068.207
AT ITER 3076 NEW BEST:: SOT 2067878 SOS 386186 HAS SOPS 386117 HAS SOUS 56722 HAS SOUPS 56653 WITH SCORE 57039.186
AT ITER 3081 NEW BEST:: SOT 2067871 SOS 386179 HAS SOPS 386110 HAS SOUS 56708 HAS SOUPS 56639 WITH SCORE 57025.179
AT ITER 3106 NEW BEST:: SOT 2067849 SOS 386157 HAS SOPS 386088 HAS SOUS 56686 HAS SOUPS 56617 WITH SCORE 57003.157
AT ITER 3117 NEW BEST:: SOT 2067726 SOS 386034 HAS SOPS 385965 HAS SOUS 56623 HAS SOUPS 56554 WITH SCORE 56940.034
AT ITER 3120 NEW BEST:: SOT 2067678 SOS 385986 HAS SOPS 385917 HAS SOUS 56575 HAS SOUPS 56506 WITH SCORE 56891.986
AT ITER 3125 NEW BEST:: SOT 2067803 SOS 386111 HAS SOPS 386042 HAS SOUS 56356 HAS SOUPS 56287 WITH SCORE 56673.111
AT ITER 3128 NEW BEST:: SOT 2067803 SOS 386111 HAS SOPS 386042 HAS SOUS 56355 HAS SOUPS 56286 WITH SCORE 56672.111
AT ITER 3141 NEW BEST:: SOT 2067795 SOS 386103 HAS SOPS 386034 HAS SOUS 56339 HAS SOUPS 56270 WITH SCORE 56656.103
AT ITER 3143 NEW BEST:: SOT 2067812 SOS 386120 HAS SOPS 386051 HAS SOUS 56184 HAS SOUPS 56115 WITH SCORE 56501.12
AT ITER 3148 NEW BEST:: SOT 2067834 SOS 386142 HAS SOPS 386073 HAS SOUS 56104 HAS SOUPS 56035 WITH SCORE 56421.142
AT ITER 3149 NEW BEST:: SOT 2067768 SOS 386331 HAS SOPS 386262 HAS SOUS 56024 HAS SOUPS 55955 WITH SCORE 56341.331
AT ITER 3156 NEW BEST:: SOT 2067747 SOS 386310 HAS SOPS 386241 HAS SOUS 56003 HAS SOUPS 55934 WITH SCORE 56320.31
AT ITER 3169 NEW BEST:: SOT 2067699 SOS 386262 HAS SOPS 386193 HAS SOUS 55955 HAS SOUPS 55886 WITH SCORE 56272.262
AT ITER 3189 NEW BEST:: SOT 2067699 SOS 386293 HAS SOPS 386224 HAS SOUS 55924 HAS SOUPS 55855 WITH SCORE 56241.293
AT ITER 3194 NEW BEST:: SOT 2067696 SOS 386290 HAS SOPS 386221 HAS SOUS 55915 HAS SOUPS 55846 WITH SCORE 56232.29
AT ITER 3195 NEW BEST:: SOT 2067493 SOS 386087 HAS SOPS 386018 HAS SOUS 55717 HAS SOUPS 55648 WITH SCORE 56034.087
AT ITER 3207 NEW BEST:: SOT 2067488 SOS 386082 HAS SOPS 386013 HAS SOUS 55712 HAS SOUPS 55643 WITH SCORE 56029.082
AT ITER 3248 NEW BEST:: SOT 2067486 SOS 386072 HAS SOPS 386003 HAS SOUS 55710 HAS SOUPS 55641 WITH SCORE 56027.072
AT ITER 3278 NEW BEST:: SOT 2067484 SOS 386070 HAS SOPS 386001 HAS SOUS 55701 HAS SOUPS 55632 WITH SCORE 56018.07
AT ITER 3292 NEW BEST:: SOT 2067436 SOS 385232 HAS SOPS 385163 HAS SOUS 55657 HAS SOUPS 55588 WITH SCORE 55973.232
AT ITER 3329 NEW BEST:: SOT 2067398 SOS 385194 HAS SOPS 385125 HAS SOUS 55619 HAS SOUPS 55550 WITH SCORE 55935.194
AT ITER 3332 NEW BEST:: SOT 2067360 SOS 385156 HAS SOPS 385087 HAS SOUS 55577 HAS SOUPS 55508 WITH SCORE 55893.156
AT ITER 3358 NEW BEST:: SOT 2066759 SOS 384555 HAS SOPS 384486 HAS SOUS 55387 HAS SOUPS 55318 WITH SCORE 55702.555
AT ITER 3383 NEW BEST:: SOT 2066780 SOS 384543 HAS SOPS 384474 HAS SOUS 55363 HAS SOUPS 55294 WITH SCORE 55678.543
AT ITER 3430 NEW BEST:: SOT 2066774 SOS 384537 HAS SOPS 384468 HAS SOUS 55351 HAS SOUPS 55282 WITH SCORE 55666.537
AT ITER 3441 NEW BEST:: SOT 2066746 SOS 384509 HAS SOPS 384440 HAS SOUS 55309 HAS SOUPS 55240 WITH SCORE 55624.509
AT ITER 3453 NEW BEST:: SOT 2066752 SOS 384515 HAS SOPS 384446 HAS SOUS 55294 HAS SOUPS 55225 WITH SCORE 55609.515
AT ITER 3512 NEW BEST:: SOT 2066762 SOS 384525 HAS SOPS 384456 HAS SOUS 55266 HAS SOUPS 55197 WITH SCORE 55581.525
AT ITER 3524 NEW BEST:: SOT 2066648 SOS 384411 HAS SOPS 384342 HAS SOUS 55021 HAS SOUPS 54952 WITH SCORE 55336.411
AT ITER 3529 NEW BEST:: SOT 2066595 SOS 384358 HAS SOPS 384289 HAS SOUS 54937 HAS SOUPS 54868 WITH SCORE 55252.358
AT ITER 3553 NEW BEST:: SOT 2066505 SOS 384268 HAS SOPS 384199 HAS SOUS 54868 HAS SOUPS 54799 WITH SCORE 55183.268
AT ITER 3559 NEW BEST:: SOT 2066474 SOS 384237 HAS SOPS 384168 HAS SOUS 54806 HAS SOUPS 54737 WITH SCORE 55121.237
AT ITER 3566 NEW BEST:: SOT 2066554 SOS 384304 HAS SOPS 384235 HAS SOUS 54763 HAS SOUPS 54694 WITH SCORE 55078.304
AT ITER 3629 NEW BEST:: SOT 2066513 SOS 384263 HAS SOPS 384194 HAS SOUS 54701 HAS SOUPS 54632 WITH SCORE 55016.263
AT ITER 3639 NEW BEST:: SOT 2066498 SOS 384248 HAS SOPS 384179 HAS SOUS 54686 HAS SOUPS 54617 WITH SCORE 55001.248
AT ITER 3642 NEW BEST:: SOT 2066564 SOS 384267 HAS SOPS 384198 HAS SOUS 54599 HAS SOUPS 54530 WITH SCORE 54914.267
AT ITER 3655 NEW BEST:: SOT 2066637 SOS 384340 HAS SOPS 384271 HAS SOUS 53928 HAS SOUPS 53859 WITH SCORE 54243.34
AT ITER 3664 NEW BEST:: SOT 2066630 SOS 384333 HAS SOPS 384264 HAS SOUS 53914 HAS SOUPS 53845 WITH SCORE 54229.333
AT ITER 3673 NEW BEST:: SOT 2066627 SOS 384330 HAS SOPS 384261 HAS SOUS 53893 HAS SOUPS 53824 WITH SCORE 54208.33
AT ITER 3681 NEW BEST:: SOT 2066617 SOS 384073 HAS SOPS 384017 HAS SOUS 53873 HAS SOUPS 53817 WITH SCORE 54201.073
AT ITER 3705 NEW BEST:: SOT 2066614 SOS 384070 HAS SOPS 384014 HAS SOUS 53867 HAS SOUPS 53811 WITH SCORE 54195.07
AT ITER 3707 NEW BEST:: SOT 2066569 SOS 384025 HAS SOPS 383969 HAS SOUS 53822 HAS SOUPS 53766 WITH SCORE 54150.025
AT ITER 3708 NEW BEST:: SOT 2066567 SOS 384070 HAS SOPS 384014 HAS SOUS 53818 HAS SOUPS 53762 WITH SCORE 54146.07
AT ITER 3715 NEW BEST:: SOT 2066523 SOS 384026 HAS SOPS 383970 HAS SOUS 53749 HAS SOUPS 53693 WITH SCORE 54077.026
AT ITER 3759 NEW BEST:: SOT 2066481 SOS 383984 HAS SOPS 383928 HAS SOUS 53674 HAS SOUPS 53618 WITH SCORE 54001.984
AT ITER 3764 NEW BEST:: SOT 2066439 SOS 383942 HAS SOPS 383886 HAS SOUS 53599 HAS SOUPS 53543 WITH SCORE 53926.942
AT ITER 3799 NEW BEST:: SOT 2066373 SOS 383876 HAS SOPS 383820 HAS SOUS 53503 HAS SOUPS 53447 WITH SCORE 53830.876
AT ITER 3813 NEW BEST:: SOT 2066363 SOS 383866 HAS SOPS 383810 HAS SOUS 53489 HAS SOUPS 53433 WITH SCORE 53816.866
AT ITER 3823 NEW BEST:: SOT 2066354 SOS 383857 HAS SOPS 383801 HAS SOUS 53471 HAS SOUPS 53415 WITH SCORE 53798.857
AT ITER 3846 NEW BEST:: SOT 2066412 SOS 383942 HAS SOPS 383886 HAS SOUS 53383 HAS SOUPS 53327 WITH SCORE 53710.942
AT ITER 3850 NEW BEST:: SOT 2066407 SOS 383838 HAS SOPS 383782 HAS SOUS 53347 HAS SOUPS 53291 WITH SCORE 53674.838
AT ITER 3853 NEW BEST:: SOT 2066407 SOS 383838 HAS SOPS 383782 HAS SOUS 53310 HAS SOUPS 53254 WITH SCORE 53637.838
AT ITER 3857 NEW BEST:: SOT 2066351 SOS 383782 HAS SOPS 383726 HAS SOUS 53195 HAS SOUPS 53139 WITH SCORE 53522.782
AT ITER 3868 NEW BEST:: SOT 2066237 SOS 383668 HAS SOPS 383612 HAS SOUS 52967 HAS SOUPS 52911 WITH SCORE 53294.668
AT ITER 3880 NEW BEST:: SOT 2066232 SOS 383659 HAS SOPS 383603 HAS SOUS 52954 HAS SOUPS 52898 WITH SCORE 53281.659
AT ITER 3919 NEW BEST:: SOT 2066249 SOS 383535 HAS SOPS 383479 HAS SOUS 52928 HAS SOUPS 52872 WITH SCORE 53255.535
AT ITER 3938 NEW BEST:: SOT 2066242 SOS 383528 HAS SOPS 383472 HAS SOUS 52909 HAS SOUPS 52853 WITH SCORE 53236.528
AT ITER 3961 NEW BEST:: SOT 2066152 SOS 383438 HAS SOPS 383382 HAS SOUS 52900 HAS SOUPS 52844 WITH SCORE 53227.438
AT ITER 3974 NEW BEST:: SOT 2066102 SOS 383284 HAS SOPS 383228 HAS SOUS 52786 HAS SOUPS 52730 WITH SCORE 53113.284
AT ITER 3977 NEW BEST:: SOT 2066083 SOS 383265 HAS SOPS 383209 HAS SOUS 52771 HAS SOUPS 52715 WITH SCORE 53098.265
AT ITER 3982 NEW BEST:: SOT 2066078 SOS 383260 HAS SOPS 383204 HAS SOUS 52726 HAS SOUPS 52670 WITH SCORE 53053.26
AT ITER 3984 NEW BEST:: SOT 2066119 SOS 383259 HAS SOPS 383203 HAS SOUS 52719 HAS SOUPS 52663 WITH SCORE 53046.259
AT ITER 4000 NEW BEST:: SOT 2066092 SOS 383232 HAS SOPS 383176 HAS SOUS 52449 HAS SOUPS 52393 WITH SCORE 52776.232
AT ITER 4067 NEW BEST:: SOT 2066086 SOS 383236 HAS SOPS 383180 HAS SOUS 52437 HAS SOUPS 52381 WITH SCORE 52764.236
AT ITER 4089 NEW BEST:: SOT 2066095 SOS 383119 HAS SOPS 383063 HAS SOUS 52426 HAS SOUPS 52370 WITH SCORE 52753.119
AT ITER 4101 NEW BEST:: SOT 2066073 SOS 383097 HAS SOPS 383041 HAS SOUS 52404 HAS SOUPS 52348 WITH SCORE 52731.097
AT ITER 4116 NEW BEST:: SOT 2065953 SOS 382977 HAS SOPS 382921 HAS SOUS 52044 HAS SOUPS 51988 WITH SCORE 52370.977
AT ITER 4163 NEW BEST:: SOT 2065884 SOS 382475 HAS SOPS 382419 HAS SOUS 52040 HAS SOUPS 51984 WITH SCORE 52366.475
AT ITER 4164 NEW BEST:: SOT 2065884 SOS 382481 HAS SOPS 382425 HAS SOUS 52039 HAS SOUPS 51983 WITH SCORE 52365.481
AT ITER 4241 NEW BEST:: SOT 2065872 SOS 382469 HAS SOPS 382413 HAS SOUS 51992 HAS SOUPS 51936 WITH SCORE 52318.469
AT ITER 4243 NEW BEST:: SOT 2065823 SOS 382469 HAS SOPS 382413 HAS SOUS 51894 HAS SOUPS 51838 WITH SCORE 52220.469
AT ITER 4256 NEW BEST:: SOT 2065805 SOS 382424 HAS SOPS 382368 HAS SOUS 51849 HAS SOUPS 51793 WITH SCORE 52175.424
AT ITER 4269 NEW BEST:: SOT 2065806 SOS 382425 HAS SOPS 382369 HAS SOUS 51827 HAS SOUPS 51771 WITH SCORE 52153.425
AT ITER 4282 NEW BEST:: SOT 2065785 SOS 382404 HAS SOPS 382348 HAS SOUS 51806 HAS SOUPS 51750 WITH SCORE 52132.404
AT ITER 4296 NEW BEST:: SOT 2065790 SOS 382409 HAS SOPS 382353 HAS SOUS 51639 HAS SOUPS 51583 WITH SCORE 51965.409
AT ITER 4297 NEW BEST:: SOT 2065774 SOS 382393 HAS SOPS 382337 HAS SOUS 51621 HAS SOUPS 51565 WITH SCORE 51947.393
AT ITER 4308 NEW BEST:: SOT 2065750 SOS 382357 HAS SOPS 382301 HAS SOUS 51597 HAS SOUPS 51541 WITH SCORE 51923.357
AT ITER 4327 NEW BEST:: SOT 2065715 SOS 382322 HAS SOPS 382266 HAS SOUS 51572 HAS SOUPS 51516 WITH SCORE 51898.322
AT ITER 4374 NEW BEST:: SOT 2065704 SOS 382311 HAS SOPS 382255 HAS SOUS 51572 HAS SOUPS 51516 WITH SCORE 51898.311
AT ITER 4380 NEW BEST:: SOT 2065690 SOS 382297 HAS SOPS 382241 HAS SOUS 51558 HAS SOUPS 51502 WITH SCORE 51884.297
AT ITER 4409 NEW BEST:: SOT 2065676 SOS 382283 HAS SOPS 382227 HAS SOUS 51539 HAS SOUPS 51483 WITH SCORE 51865.283
AT ITER 4411 NEW BEST:: SOT 2065624 SOS 382231 HAS SOPS 382175 HAS SOUS 51459 HAS SOUPS 51403 WITH SCORE 51785.231
AT ITER 4444 NEW BEST:: SOT 2065606 SOS 382213 HAS SOPS 382157 HAS SOUS 51321 HAS SOUPS 51265 WITH SCORE 51647.213
AT ITER 4451 NEW BEST:: SOT 2065603 SOS 382210 HAS SOPS 382154 HAS SOUS 51315 HAS SOUPS 51259 WITH SCORE 51641.21
AT ITER 4526 NEW BEST:: SOT 2065581 SOS 382188 HAS SOPS 382132 HAS SOUS 51223 HAS SOUPS 51167 WITH SCORE 51549.188
AT ITER 4537 NEW BEST:: SOT 2065583 SOS 382190 HAS SOPS 382134 HAS SOUS 51212 HAS SOUPS 51156 WITH SCORE 51538.19
AT ITER 4610 NEW BEST:: SOT 2065371 SOS 381288 HAS SOPS 381232 HAS SOUS 50995 HAS SOUPS 50939 WITH SCORE 51320.288
AT ITER 4636 NEW BEST:: SOT 2065363 SOS 381280 HAS SOPS 381224 HAS SOUS 50984 HAS SOUPS 50928 WITH SCORE 51309.28
AT ITER 4674 NEW BEST:: SOT 2065327 SOS 381244 HAS SOPS 381188 HAS SOUS 50930 HAS SOUPS 50874 WITH SCORE 51255.244
AT ITER 4676 NEW BEST:: SOT 2065323 SOS 381240 HAS SOPS 381184 HAS SOUS 50923 HAS SOUPS 50867 WITH SCORE 51248.24
AT ITER 4697 NEW BEST:: SOT 2065323 SOS 381232 HAS SOPS 381176 HAS SOUS 50921 HAS SOUPS 50865 WITH SCORE 51246.232
AT ITER 4698 NEW BEST:: SOT 2065304 SOS 381194 HAS SOPS 381138 HAS SOUS 50883 HAS SOUPS 50827 WITH SCORE 51208.194
AT ITER 4736 NEW BEST:: SOT 2065290 SOS 381180 HAS SOPS 381124 HAS SOUS 50852 HAS SOUPS 50796 WITH SCORE 51177.18
AT ITER 4762 NEW BEST:: SOT 2065254 SOS 381144 HAS SOPS 381088 HAS SOUS 50788 HAS SOUPS 50732 WITH SCORE 51113.144
AT ITER 4773 NEW BEST:: SOT 2065240 SOS 381130 HAS SOPS 381074 HAS SOUS 50774 HAS SOUPS 50718 WITH SCORE 51099.13
AT ITER 4803 NEW BEST:: SOT 2065239 SOS 381129 HAS SOPS 381073 HAS SOUS 50773 HAS SOUPS 50717 WITH SCORE 51098.129
AT ITER 4814 NEW BEST:: SOT 2065218 SOS 381108 HAS SOPS 381052 HAS SOUS 50727 HAS SOUPS 50671 WITH SCORE 51052.108
AT ITER 4852 NEW BEST:: SOT 2065212 SOS 381102 HAS SOPS 381046 HAS SOUS 50718 HAS SOUPS 50662 WITH SCORE 51043.102
AT ITER 4860 NEW BEST:: SOT 2065233 SOS 381123 HAS SOPS 381067 HAS SOUS 50705 HAS SOUPS 50649 WITH SCORE 51030.123
AT ITER 4910 NEW BEST:: SOT 2065228 SOS 381092 HAS SOPS 381036 HAS SOUS 50695 HAS SOUPS 50639 WITH SCORE 51020.092
AT ITER 4922 NEW BEST:: SOT 2065218 SOS 381082 HAS SOPS 381026 HAS SOUS 50682 HAS SOUPS 50626 WITH SCORE 51007.082
AT ITER 4947 NEW BEST:: SOT 2065243 SOS 381107 HAS SOPS 381051 HAS SOUS 50516 HAS SOUPS 50460 WITH SCORE 50841.107
AT ITER 4973 NEW BEST:: SOT 2065243 SOS 381521 HAS SOPS 381445 HAS SOUS 50516 HAS SOUPS 50440 WITH SCORE 50821.521
AT ITER 4982 NEW BEST:: SOT 2065183 SOS 381423 HAS SOPS 381347 HAS SOUS 50464 HAS SOUPS 50388 WITH SCORE 50769.423
AT ITER 5018 NEW BEST:: SOT 2065179 SOS 381419 HAS SOPS 381343 HAS SOUS 50460 HAS SOUPS 50384 WITH SCORE 50765.419
AT ITER 5028 NEW BEST:: SOT 2065172 SOS 381412 HAS SOPS 381336 HAS SOUS 50454 HAS SOUPS 50378 WITH SCORE 50759.412
AT ITER 5049 NEW BEST:: SOT 2065156 SOS 381396 HAS SOPS 381320 HAS SOUS 50428 HAS SOUPS 50352 WITH SCORE 50733.396
AT ITER 5086 NEW BEST:: SOT 2065132 SOS 381372 HAS SOPS 381296 HAS SOUS 50380 HAS SOUPS 50304 WITH SCORE 50685.372
AT ITER 5113 NEW BEST:: SOT 2065124 SOS 381366 HAS SOPS 381290 HAS SOUS 50380 HAS SOUPS 50304 WITH SCORE 50685.366
AT ITER 5131 NEW BEST:: SOT 2065118 SOS 381354 HAS SOPS 381278 HAS SOUS 50368 HAS SOUPS 50292 WITH SCORE 50673.354
AT ITER 5141 NEW BEST:: SOT 2065056 SOS 381292 HAS SOPS 381216 HAS SOUS 50302 HAS SOUPS 50226 WITH SCORE 50607.292
AT ITER 5156 NEW BEST:: SOT 2065061 SOS 381584 HAS SOPS 381508 HAS SOUS 50291 HAS SOUPS 50215 WITH SCORE 50596.584
AT ITER 5162 NEW BEST:: SOT 2065045 SOS 381568 HAS SOPS 381492 HAS SOUS 50283 HAS SOUPS 50207 WITH SCORE 50588.568
AT ITER 5183 NEW BEST:: SOT 2065059 SOS 381582 HAS SOPS 381506 HAS SOUS 50227 HAS SOUPS 50151 WITH SCORE 50532.582
AT ITER 5231 NEW BEST:: SOT 2065054 SOS 381581 HAS SOPS 381505 HAS SOUS 50225 HAS SOUPS 50149 WITH SCORE 50530.581
AT ITER 5233 NEW BEST:: SOT 2065042 SOS 381569 HAS SOPS 381493 HAS SOUS 50120 HAS SOUPS 50044 WITH SCORE 50425.569
AT ITER 5242 NEW BEST:: SOT 2065004 SOS 381531 HAS SOPS 381455 HAS SOUS 50047 HAS SOUPS 49971 WITH SCORE 50352.531
AT ITER 5297 NEW BEST:: SOT 2065001 SOS 381528 HAS SOPS 381452 HAS SOUS 50041 HAS SOUPS 49965 WITH SCORE 50346.528
AT ITER 5303 NEW BEST:: SOT 2064988 SOS 381502 HAS SOPS 381426 HAS SOUS 50015 HAS SOUPS 49939 WITH SCORE 50320.502
AT ITER 5320 NEW BEST:: SOT 2064981 SOS 381474 HAS SOPS 381398 HAS SOUS 50015 HAS SOUPS 49939 WITH SCORE 50320.474
AT ITER 5325 NEW BEST:: SOT 2064948 SOS 381534 HAS SOPS 381458 HAS SOUS 49949 HAS SOUPS 49873 WITH SCORE 50254.534
AT ITER 5334 NEW BEST:: SOT 2064908 SOS 380649 HAS SOPS 380573 HAS SOUS 49844 HAS SOUPS 49768 WITH SCORE 50148.649
AT ITER 5367 NEW BEST:: SOT 2064757 SOS 380498 HAS SOPS 380422 HAS SOUS 49740 HAS SOUPS 49664 WITH SCORE 50044.498
AT ITER 5375 NEW BEST:: SOT 2064759 SOS 380490 HAS SOPS 380414 HAS SOUS 49732 HAS SOUPS 49656 WITH SCORE 50036.49
AT ITER 5384 NEW BEST:: SOT 2064744 SOS 380475 HAS SOPS 380399 HAS SOUS 49702 HAS SOUPS 49626 WITH SCORE 50006.475
AT ITER 5408 NEW BEST:: SOT 2064737 SOS 380475 HAS SOPS 380399 HAS SOUS 49692 HAS SOUPS 49616 WITH SCORE 49996.475
AT ITER 5411 NEW BEST:: SOT 2064721 SOS 380459 HAS SOPS 380383 HAS SOUS 49692 HAS SOUPS 49616 WITH SCORE 49996.459
AT ITER 5432 NEW BEST:: SOT 2064710 SOS 380448 HAS SOPS 380372 HAS SOUS 49681 HAS SOUPS 49605 WITH SCORE 49985.448
AT ITER 5458 NEW BEST:: SOT 2064644 SOS 380450 HAS SOPS 380374 HAS SOUS 49580 HAS SOUPS 49504 WITH SCORE 49884.45
AT ITER 5471 NEW BEST:: SOT 2064669 SOS 380475 HAS SOPS 380399 HAS SOUS 49567 HAS SOUPS 49491 WITH SCORE 49871.475
AT ITER 5497 NEW BEST:: SOT 2064639 SOS 380445 HAS SOPS 380369 HAS SOUS 49537 HAS SOUPS 49461 WITH SCORE 49841.445
AT ITER 5533 NEW BEST:: SOT 2064618 SOS 380424 HAS SOPS 380348 HAS SOUS 49500 HAS SOUPS 49424 WITH SCORE 49804.424
AT ITER 5553 NEW BEST:: SOT 2064612 SOS 380418 HAS SOPS 380342 HAS SOUS 49464 HAS SOUPS 49388 WITH SCORE 49768.418
AT ITER 5576 NEW BEST:: SOT 2064599 SOS 380405 HAS SOPS 380329 HAS SOUS 49424 HAS SOUPS 49348 WITH SCORE 49728.405
AT ITER 5577 NEW BEST:: SOT 2064583 SOS 380405 HAS SOPS 380329 HAS SOUS 49392 HAS SOUPS 49316 WITH SCORE 49696.405
AT ITER 5578 NEW BEST:: SOT 2064544 SOS 380657 HAS SOPS 380301 HAS SOUS 49392 HAS SOUPS 49288 WITH SCORE 49668.657
AT ITER 5657 NEW BEST:: SOT 2064537 SOS 380650 HAS SOPS 380294 HAS SOUS 49375 HAS SOUPS 49271 WITH SCORE 49651.65
AT ITER 5753 NEW BEST:: SOT 2064443 SOS 380556 HAS SOPS 380200 HAS SOUS 49296 HAS SOUPS 49192 WITH SCORE 49572.556
AT ITER 5760 NEW BEST:: SOT 2064421 SOS 381167 HAS SOPS 380811 HAS SOUS 49290 HAS SOUPS 49186 WITH SCORE 49567.167
AT ITER 5856 NEW BEST:: SOT 2064421 SOS 381167 HAS SOPS 380811 HAS SOUS 49284 HAS SOUPS 49180 WITH SCORE 49561.167
AT ITER 5891 NEW BEST:: SOT 2064406 SOS 381152 HAS SOPS 380796 HAS SOUS 49254 HAS SOUPS 49150 WITH SCORE 49531.152
AT ITER 5952 NEW BEST:: SOT 2064358 SOS 381104 HAS SOPS 380748 HAS SOUS 49212 HAS SOUPS 49108 WITH SCORE 49489.104
AT ITER 6015 NEW BEST:: SOT 2064359 SOS 381098 HAS SOPS 380742 HAS SOUS 49202 HAS SOUPS 49098 WITH SCORE 49479.098
AT ITER 6067 NEW BEST:: SOT 2064350 SOS 381089 HAS SOPS 380733 HAS SOUS 49170 HAS SOUPS 49066 WITH SCORE 49447.089
AT ITER 6098 NEW BEST:: SOT 2064308 SOS 381047 HAS SOPS 380691 HAS SOUS 49105 HAS SOUPS 49001 WITH SCORE 49382.047
AT ITER 6146 NEW BEST:: SOT 2064270 SOS 381009 HAS SOPS 380653 HAS SOUS 49035 HAS SOUPS 48931 WITH SCORE 49312.009
AT ITER 6193 NEW BEST:: SOT 2064247 SOS 381009 HAS SOPS 380653 HAS SOUS 49007 HAS SOUPS 48903 WITH SCORE 49284.009
AT ITER 6209 NEW BEST:: SOT 2064066 SOS 380828 HAS SOPS 380472 HAS SOUS 48785 HAS SOUPS 48681 WITH SCORE 49061.828
AT ITER 6238 NEW BEST:: SOT 2064054 SOS 380816 HAS SOPS 380460 HAS SOUS 48761 HAS SOUPS 48657 WITH SCORE 49037.816
AT ITER 6245 NEW BEST:: SOT 2064050 SOS 380797 HAS SOPS 380441 HAS SOUS 48721 HAS SOUPS 48617 WITH SCORE 48997.797
AT ITER 6258 NEW BEST:: SOT 2063958 SOS 380705 HAS SOPS 380349 HAS SOUS 48537 HAS SOUPS 48433 WITH SCORE 48813.705
AT ITER 6262 NEW BEST:: SOT 2063958 SOS 380640 HAS SOPS 380284 HAS SOUS 48530 HAS SOUPS 48426 WITH SCORE 48806.64
AT ITER 6265 NEW BEST:: SOT 2063966 SOS 380648 HAS SOPS 380292 HAS SOUS 48520 HAS SOUPS 48416 WITH SCORE 48796.648
AT ITER 6267 NEW BEST:: SOT 2063940 SOS 380596 HAS SOPS 380240 HAS SOUS 48468 HAS SOUPS 48364 WITH SCORE 48744.596
AT ITER 6274 NEW BEST:: SOT 2063994 SOS 380650 HAS SOPS 380294 HAS SOUS 48408 HAS SOUPS 48304 WITH SCORE 48684.65
AT ITER 6350 NEW BEST:: SOT 2063988 SOS 380644 HAS SOPS 380288 HAS SOUS 48398 HAS SOUPS 48294 WITH SCORE 48674.644
AT ITER 6371 NEW BEST:: SOT 2063988 SOS 380644 HAS SOPS 380288 HAS SOUS 48382 HAS SOUPS 48278 WITH SCORE 48658.644
AT ITER 6381 NEW BEST:: SOT 2063988 SOS 380642 HAS SOPS 380286 HAS SOUS 48382 HAS SOUPS 48278 WITH SCORE 48658.642
AT ITER 6396 NEW BEST:: SOT 2063976 SOS 380630 HAS SOPS 380274 HAS SOUS 48358 HAS SOUPS 48254 WITH SCORE 48634.63
AT ITER 6432 NEW BEST:: SOT 2063964 SOS 380618 HAS SOPS 380262 HAS SOUS 48343 HAS SOUPS 48239 WITH SCORE 48619.618
AT ITER 6445 NEW BEST:: SOT 2063960 SOS 380610 HAS SOPS 380254 HAS SOUS 48335 HAS SOUPS 48231 WITH SCORE 48611.61
AT ITER 6455 NEW BEST:: SOT 2063959 SOS 380609 HAS SOPS 380253 HAS SOUS 48334 HAS SOUPS 48230 WITH SCORE 48610.609
AT ITER 6473 NEW BEST:: SOT 2063887 SOS 380537 HAS SOPS 380181 HAS SOUS 48226 HAS SOUPS 48122 WITH SCORE 48502.537
AT ITER 6481 NEW BEST:: SOT 2063870 SOS 380520 HAS SOPS 380164 HAS SOUS 48209 HAS SOUPS 48105 WITH SCORE 48485.52
AT ITER 6516 NEW BEST:: SOT 2063825 SOS 380475 HAS SOPS 380119 HAS SOUS 48132 HAS SOUPS 48028 WITH SCORE 48408.475
AT ITER 6521 NEW BEST:: SOT 2063837 SOS 380487 HAS SOPS 380131 HAS SOUS 48086 HAS SOUPS 47982 WITH SCORE 48362.487
AT ITER 6575 NEW BEST:: SOT 2063849 SOS 380499 HAS SOPS 380143 HAS SOUS 48061 HAS SOUPS 47957 WITH SCORE 48337.499
AT ITER 6585 NEW BEST:: SOT 2063846 SOS 380496 HAS SOPS 380140 HAS SOUS 48046 HAS SOUPS 47942 WITH SCORE 48322.496
AT ITER 6625 NEW BEST:: SOT 2063848 SOS 380652 HAS SOPS 380288 HAS SOUS 48050 HAS SOUPS 47938 WITH SCORE 48318.652
AT ITER 6644 NEW BEST:: SOT 2063841 SOS 380645 HAS SOPS 380281 HAS SOUS 47982 HAS SOUPS 47870 WITH SCORE 48250.645
AT ITER 6662 NEW BEST:: SOT 2063836 SOS 380640 HAS SOPS 380276 HAS SOUS 47977 HAS SOUPS 47865 WITH SCORE 48245.64
AT ITER 6674 NEW BEST:: SOT 2063814 SOS 380618 HAS SOPS 380254 HAS SOUS 47955 HAS SOUPS 47843 WITH SCORE 48223.618
AT ITER 6696 NEW BEST:: SOT 2063795 SOS 380599 HAS SOPS 380235 HAS SOUS 47902 HAS SOUPS 47790 WITH SCORE 48170.599
AT ITER 6702 NEW BEST:: SOT 2063782 SOS 380586 HAS SOPS 380222 HAS SOUS 47878 HAS SOUPS 47766 WITH SCORE 48146.586
AT ITER 6721 NEW BEST:: SOT 2063735 SOS 380539 HAS SOPS 380175 HAS SOUS 47831 HAS SOUPS 47719 WITH SCORE 48099.539
AT ITER 6737 NEW BEST:: SOT 2063713 SOS 380517 HAS SOPS 380153 HAS SOUS 47809 HAS SOUPS 47697 WITH SCORE 48077.517
AT ITER 6762 NEW BEST:: SOT 2063702 SOS 380506 HAS SOPS 380142 HAS SOUS 47804 HAS SOUPS 47692 WITH SCORE 48072.506
AT ITER 6817 NEW BEST:: SOT 2063663 SOS 380186 HAS SOPS 380092 HAS SOUS 47727 HAS SOUPS 47642 WITH SCORE 48022.186
AT ITER 6825 NEW BEST:: SOT 2063659 SOS 380182 HAS SOPS 380088 HAS SOUS 47687 HAS SOUPS 47602 WITH SCORE 47982.182
AT ITER 6842 NEW BEST:: SOT 2063659 SOS 380176 HAS SOPS 380082 HAS SOUS 47687 HAS SOUPS 47602 WITH SCORE 47982.176
AT ITER 6867 NEW BEST:: SOT 2063537 SOS 380054 HAS SOPS 379960 HAS SOUS 47571 HAS SOUPS 47486 WITH SCORE 47866.054
AT ITER 6894 NEW BEST:: SOT 2063517 SOS 380034 HAS SOPS 379940 HAS SOUS 47545 HAS SOUPS 47460 WITH SCORE 47840.034
AT ITER 6963 NEW BEST:: SOT 2063509 SOS 380026 HAS SOPS 379932 HAS SOUS 47483 HAS SOUPS 47398 WITH SCORE 47778.026
AT ITER 6974 NEW BEST:: SOT 2063505 SOS 379995 HAS SOPS 379901 HAS SOUS 47457 HAS SOUPS 47372 WITH SCORE 47751.995
AT ITER 6991 NEW BEST:: SOT 2063483 SOS 379973 HAS SOPS 379879 HAS SOUS 47420 HAS SOUPS 47335 WITH SCORE 47714.973
AT ITER 6994 NEW BEST:: SOT 2063475 SOS 379965 HAS SOPS 379871 HAS SOUS 47410 HAS SOUPS 47325 WITH SCORE 47704.965
AT ITER 7061 NEW BEST:: SOT 2063463 SOS 379953 HAS SOPS 379859 HAS SOUS 47394 HAS SOUPS 47309 WITH SCORE 47688.953
AT ITER 7074 NEW BEST:: SOT 2063481 SOS 379971 HAS SOPS 379877 HAS SOUS 47370 HAS SOUPS 47285 WITH SCORE 47664.971
AT ITER 7079 NEW BEST:: SOT 2063468 SOS 379958 HAS SOPS 379864 HAS SOUS 47355 HAS SOUPS 47270 WITH SCORE 47649.958
AT ITER 7090 NEW BEST:: SOT 2063465 SOS 379958 HAS SOPS 379864 HAS SOUS 47352 HAS SOUPS 47267 WITH SCORE 47646.958
AT ITER 7092 NEW BEST:: SOT 2063435 SOS 379928 HAS SOPS 379834 HAS SOUS 47346 HAS SOUPS 47261 WITH SCORE 47640.928
AT ITER 7095 NEW BEST:: SOT 2063359 SOS 379852 HAS SOPS 379758 HAS SOUS 47226 HAS SOUPS 47141 WITH SCORE 47520.852
AT ITER 7114 NEW BEST:: SOT 2063316 SOS 379809 HAS SOPS 379715 HAS SOUS 47122 HAS SOUPS 47037 WITH SCORE 47416.809
AT ITER 7118 NEW BEST:: SOT 2063329 SOS 379822 HAS SOPS 379728 HAS SOUS 47049 HAS SOUPS 46964 WITH SCORE 47343.822
AT ITER 7129 NEW BEST:: SOT 2063357 SOS 379824 HAS SOPS 379730 HAS SOUS 47045 HAS SOUPS 46960 WITH SCORE 47339.824
AT ITER 7136 NEW BEST:: SOT 2063335 SOS 379802 HAS SOPS 379708 HAS SOUS 47001 HAS SOUPS 46916 WITH SCORE 47295.802
AT ITER 7159 NEW BEST:: SOT 2063278 SOS 379806 HAS SOPS 379712 HAS SOUS 46910 HAS SOUPS 46825 WITH SCORE 47204.806
AT ITER 7195 NEW BEST:: SOT 2063267 SOS 379746 HAS SOPS 379652 HAS SOUS 46884 HAS SOUPS 46799 WITH SCORE 47178.746
AT ITER 7215 NEW BEST:: SOT 2063267 SOS 380598 HAS SOPS 380505 HAS SOUS 46871 HAS SOUPS 46786 WITH SCORE 47166.598
AT ITER 7225 NEW BEST:: SOT 2062801 SOS 380132 HAS SOPS 380039 HAS SOUS 46402 HAS SOUPS 46317 WITH SCORE 46697.132
AT ITER 7301 NEW BEST:: SOT 2062773 SOS 380104 HAS SOPS 380011 HAS SOUS 46360 HAS SOUPS 46275 WITH SCORE 46655.104
AT ITER 7313 NEW BEST:: SOT 2062749 SOS 380080 HAS SOPS 379987 HAS SOUS 46324 HAS SOUPS 46239 WITH SCORE 46619.08
AT ITER 7365 NEW BEST:: SOT 2062717 SOS 380048 HAS SOPS 379955 HAS SOUS 46249 HAS SOUPS 46164 WITH SCORE 46544.048
AT ITER 7441 NEW BEST:: SOT 2062701 SOS 380029 HAS SOPS 379936 HAS SOUS 46241 HAS SOUPS 46156 WITH SCORE 46536.029
AT ITER 7488 NEW BEST:: SOT 2062690 SOS 380018 HAS SOPS 379925 HAS SOUS 46230 HAS SOUPS 46145 WITH SCORE 46525.018
AT ITER 7501 NEW BEST:: SOT 2062669 SOS 379997 HAS SOPS 379904 HAS SOUS 46217 HAS SOUPS 46132 WITH SCORE 46511.997
AT ITER 7536 NEW BEST:: SOT 2062638 SOS 379966 HAS SOPS 379873 HAS SOUS 46136 HAS SOUPS 46051 WITH SCORE 46430.966
AT ITER 7601 NEW BEST:: SOT 2062630 SOS 379958 HAS SOPS 379865 HAS SOUS 46120 HAS SOUPS 46035 WITH SCORE 46414.958
AT ITER 7631 NEW BEST:: SOT 2062614 SOS 379942 HAS SOPS 379849 HAS SOUS 46099 HAS SOUPS 46014 WITH SCORE 46393.942
AT ITER 7727 NEW BEST:: SOT 2062606 SOS 379934 HAS SOPS 379841 HAS SOUS 46080 HAS SOUPS 45995 WITH SCORE 46374.934
AT ITER 7803 NEW BEST:: SOT 2062596 SOS 379924 HAS SOPS 379831 HAS SOUS 46060 HAS SOUPS 45975 WITH SCORE 46354.924
AT ITER 7808 NEW BEST:: SOT 2062594 SOS 379922 HAS SOPS 379829 HAS SOUS 46055 HAS SOUPS 45970 WITH SCORE 46349.922
AT ITER 7811 NEW BEST:: SOT 2062512 SOS 378469 HAS SOPS 378460 HAS SOUS 45913 HAS SOUPS 45912 WITH SCORE 46290.469
AT ITER 7880 NEW BEST:: SOT 2062504 SOS 378461 HAS SOPS 378452 HAS SOUS 45902 HAS SOUPS 45901 WITH SCORE 46279.461
AT ITER 7926 NEW BEST:: SOT 2062518 SOS 378475 HAS SOPS 378466 HAS SOUS 45726 HAS SOUPS 45725 WITH SCORE 46103.475
AT ITER 7978 NEW BEST:: SOT 2062508 SOS 378465 HAS SOPS 378456 HAS SOUS 45711 HAS SOUPS 45710 WITH SCORE 46088.465
AT ITER 8001 NEW BEST:: SOT 2062507 SOS 378464 HAS SOPS 378455 HAS SOUS 45707 HAS SOUPS 45706 WITH SCORE 46084.464
AT ITER 8006 NEW BEST:: SOT 2062367 SOS 378324 HAS SOPS 378315 HAS SOUS 45417 HAS SOUPS 45416 WITH SCORE 45794.324
AT ITER 8095 NEW BEST:: SOT 2062334 SOS 378291 HAS SOPS 378282 HAS SOUS 45351 HAS SOUPS 45350 WITH SCORE 45728.291
AT ITER 8100 NEW BEST:: SOT 2062334 SOS 378288 HAS SOPS 378279 HAS SOUS 45348 HAS SOUPS 45347 WITH SCORE 45725.288
AT ITER 8111 NEW BEST:: SOT 2062244 SOS 378198 HAS SOPS 378189 HAS SOUS 45196 HAS SOUPS 45195 WITH SCORE 45573.198
AT ITER 8190 NEW BEST:: SOT 2062182 SOS 378136 HAS SOPS 378127 HAS SOUS 45134 HAS SOUPS 45133 WITH SCORE 45511.136
AT ITER 8193 NEW BEST:: SOT 2062186 SOS 378140 HAS SOPS 378131 HAS SOUS 45126 HAS SOUPS 45125 WITH SCORE 45503.14
AT ITER 8216 NEW BEST:: SOT 2062180 SOS 378134 HAS SOPS 378125 HAS SOUS 45119 HAS SOUPS 45118 WITH SCORE 45496.134
AT ITER 8270 NEW BEST:: SOT 2062158 SOS 378112 HAS SOPS 378103 HAS SOUS 45097 HAS SOUPS 45096 WITH SCORE 45474.112
AT ITER 8285 NEW BEST:: SOT 2062128 SOS 378082 HAS SOPS 378073 HAS SOUS 45059 HAS SOUPS 45058 WITH SCORE 45436.082
AT ITER 8295 NEW BEST:: SOT 2062117 SOS 378071 HAS SOPS 378062 HAS SOUS 45037 HAS SOUPS 45036 WITH SCORE 45414.071
AT ITER 8317 NEW BEST:: SOT 2062075 SOS 378029 HAS SOPS 378020 HAS SOUS 44953 HAS SOUPS 44952 WITH SCORE 45330.029
AT ITER 8329 NEW BEST:: SOT 2062067 SOS 377866 HAS SOPS 377857 HAS SOUS 44931 HAS SOUPS 44930 WITH SCORE 45307.866
AT ITER 8340 NEW BEST:: SOT 2062093 SOS 377892 HAS SOPS 377883 HAS SOUS 44920 HAS SOUPS 44919 WITH SCORE 45296.892
AT ITER 8342 NEW BEST:: SOT 2062090 SOS 377889 HAS SOPS 377880 HAS SOUS 44917 HAS SOUPS 44916 WITH SCORE 45293.889
AT ITER 8387 NEW BEST:: SOT 2062084 SOS 377864 HAS SOPS 377855 HAS SOUS 44900 HAS SOUPS 44899 WITH SCORE 45276.864
AT ITER 8390 NEW BEST:: SOT 2062110 SOS 377888 HAS SOPS 377879 HAS SOUS 44876 HAS SOUPS 44875 WITH SCORE 45252.888
AT ITER 8398 NEW BEST:: SOT 2062104 SOS 377885 HAS SOPS 377876 HAS SOUS 44870 HAS SOUPS 44869 WITH SCORE 45246.885
AT ITER 8407 NEW BEST:: SOT 2062046 SOS 377827 HAS SOPS 377818 HAS SOUS 44760 HAS SOUPS 44759 WITH SCORE 45136.827
AT ITER 8430 NEW BEST:: SOT 2062044 SOS 377825 HAS SOPS 377816 HAS SOUS 44756 HAS SOUPS 44755 WITH SCORE 45132.825
AT ITER 8478 NEW BEST:: SOT 2061427 SOS 377208 HAS SOPS 377199 HAS SOUS 44104 HAS SOUPS 44103 WITH SCORE 44480.208
AT ITER 8536 NEW BEST:: SOT 2061352 SOS 377133 HAS SOPS 377124 HAS SOUS 43945 HAS SOUPS 43944 WITH SCORE 44321.133
AT ITER 8563 NEW BEST:: SOT 2061261 SOS 377116 HAS SOPS 377107 HAS SOUS 43775 HAS SOUPS 43774 WITH SCORE 44151.116
AT ITER 8593 NEW BEST:: SOT 2061231 SOS 377114 HAS SOPS 377105 HAS SOUS 43771 HAS SOUPS 43770 WITH SCORE 44147.114
AT ITER 8598 NEW BEST:: SOT 2061231 SOS 377114 HAS SOPS 377105 HAS SOUS 43760 HAS SOUPS 43759 WITH SCORE 44136.114
AT ITER 8649 NEW BEST:: SOT 2061208 SOS 377091 HAS SOPS 377082 HAS SOUS 43714 HAS SOUPS 43713 WITH SCORE 44090.091
AT ITER 8689 NEW BEST:: SOT 2061159 SOS 377042 HAS SOPS 377033 HAS SOUS 43665 HAS SOUPS 43664 WITH SCORE 44041.042
AT ITER 8749 NEW BEST:: SOT 2061145 SOS 377028 HAS SOPS 377019 HAS SOUS 43651 HAS SOUPS 43650 WITH SCORE 44027.028
AT ITER 8773 NEW BEST:: SOT 2061133 SOS 377009 HAS SOPS 377000 HAS SOUS 43609 HAS SOUPS 43608 WITH SCORE 43985.009
AT ITER 8823 NEW BEST:: SOT 2061128 SOS 377004 HAS SOPS 376995 HAS SOUS 43609 HAS SOUPS 43608 WITH SCORE 43985.004
AT ITER 8834 NEW BEST:: SOT 2061127 SOS 377002 HAS SOPS 376993 HAS SOUS 43606 HAS SOUPS 43605 WITH SCORE 43982.002
AT ITER 8856 NEW BEST:: SOT 2061030 SOS 376905 HAS SOPS 376896 HAS SOUS 43519 HAS SOUPS 43518 WITH SCORE 43894.905
AT ITER 8864 NEW BEST:: SOT 2060995 SOS 376891 HAS SOPS 376882 HAS SOUS 43449 HAS SOUPS 43448 WITH SCORE 43824.891
AT ITER 8871 NEW BEST:: SOT 2060967 SOS 376895 HAS SOPS 376886 HAS SOUS 43405 HAS SOUPS 43404 WITH SCORE 43780.895
AT ITER 8887 NEW BEST:: SOT 2060956 SOS 376873 HAS SOPS 376864 HAS SOUS 43383 HAS SOUPS 43382 WITH SCORE 43758.873
AT ITER 8906 NEW BEST:: SOT 2060956 SOS 376807 HAS SOPS 376798 HAS SOUS 43383 HAS SOUPS 43382 WITH SCORE 43758.807
AT ITER 8947 NEW BEST:: SOT 2060757 SOS 376608 HAS SOPS 376599 HAS SOUS 43167 HAS SOUPS 43166 WITH SCORE 43542.608
AT ITER 8956 NEW BEST:: SOT 2060752 SOS 376603 HAS SOPS 376594 HAS SOUS 43147 HAS SOUPS 43146 WITH SCORE 43522.603
AT ITER 9077 NEW BEST:: SOT 2060749 SOS 376606 HAS SOPS 376597 HAS SOUS 43141 HAS SOUPS 43140 WITH SCORE 43516.606
AT ITER 9086 NEW BEST:: SOT 2060733 SOS 376590 HAS SOPS 376581 HAS SOUS 43109 HAS SOUPS 43108 WITH SCORE 43484.59
AT ITER 9097 NEW BEST:: SOT 2060732 SOS 376589 HAS SOPS 376580 HAS SOUS 43101 HAS SOUPS 43100 WITH SCORE 43476.589
AT ITER 9142 NEW BEST:: SOT 2060674 SOS 376531 HAS SOPS 376522 HAS SOUS 43028 HAS SOUPS 43027 WITH SCORE 43403.531
AT ITER 9144 NEW BEST:: SOT 2060668 SOS 376540 HAS SOPS 376531 HAS SOUS 43016 HAS SOUPS 43015 WITH SCORE 43391.54
AT ITER 9149 NEW BEST:: SOT 2060652 SOS 376524 HAS SOPS 376515 HAS SOUS 43003 HAS SOUPS 43002 WITH SCORE 43378.524
AT ITER 9161 NEW BEST:: SOT 2060635 SOS 376507 HAS SOPS 376498 HAS SOUS 42967 HAS SOUPS 42966 WITH SCORE 43342.507
AT ITER 9166 NEW BEST:: SOT 2060603 SOS 376475 HAS SOPS 376466 HAS SOUS 42903 HAS SOUPS 42902 WITH SCORE 43278.475
AT ITER 9188 NEW BEST:: SOT 2060589 SOS 376461 HAS SOPS 376452 HAS SOUS 42881 HAS SOUPS 42880 WITH SCORE 43256.461
AT ITER 9197 NEW BEST:: SOT 2060583 SOS 376455 HAS SOPS 376446 HAS SOUS 42874 HAS SOUPS 42873 WITH SCORE 43249.455
AT ITER 9204 NEW BEST:: SOT 2060568 SOS 376440 HAS SOPS 376431 HAS SOUS 42866 HAS SOUPS 42865 WITH SCORE 43241.44
AT ITER 9229 NEW BEST:: SOT 2060565 SOS 376437 HAS SOPS 376428 HAS SOUS 42782 HAS SOUPS 42781 WITH SCORE 43157.437
AT ITER 9302 NEW BEST:: SOT 2060561 SOS 376433 HAS SOPS 376424 HAS SOUS 42774 HAS SOUPS 42773 WITH SCORE 43149.433
AT ITER 9313 NEW BEST:: SOT 2060557 SOS 376429 HAS SOPS 376420 HAS SOUS 42766 HAS SOUPS 42765 WITH SCORE 43141.429
AT ITER 9315 NEW BEST:: SOT 2060522 SOS 376394 HAS SOPS 376385 HAS SOUS 42692 HAS SOUPS 42691 WITH SCORE 43067.394
AT ITER 9360 NEW BEST:: SOT 2060489 SOS 376361 HAS SOPS 376352 HAS SOUS 42628 HAS SOUPS 42627 WITH SCORE 43003.361
AT ITER 9391 NEW BEST:: SOT 2060485 SOS 376357 HAS SOPS 376348 HAS SOUS 42624 HAS SOUPS 42623 WITH SCORE 42999.357
AT ITER 9406 NEW BEST:: SOT 2060484 SOS 376356 HAS SOPS 376347 HAS SOUS 42623 HAS SOUPS 42622 WITH SCORE 42998.356
AT ITER 9422 NEW BEST:: SOT 2060460 SOS 376332 HAS SOPS 376323 HAS SOUS 42597 HAS SOUPS 42596 WITH SCORE 42972.332
AT ITER 9442 NEW BEST:: SOT 2060447 SOS 376327 HAS SOPS 376318 HAS SOUS 42592 HAS SOUPS 42591 WITH SCORE 42967.327
AT ITER 9457 NEW BEST:: SOT 2060436 SOS 376316 HAS SOPS 376307 HAS SOUS 42429 HAS SOUPS 42428 WITH SCORE 42804.316
AT ITER 9477 NEW BEST:: SOT 2060383 SOS 376193 HAS SOPS 376184 HAS SOUS 42321 HAS SOUPS 42320 WITH SCORE 42696.193
AT ITER 9506 NEW BEST:: SOT 2060331 SOS 376141 HAS SOPS 376132 HAS SOUS 42220 HAS SOUPS 42219 WITH SCORE 42595.141
AT ITER 9514 NEW BEST:: SOT 2060329 SOS 376144 HAS SOPS 376135 HAS SOUS 42218 HAS SOUPS 42217 WITH SCORE 42593.144
AT ITER 9528 NEW BEST:: SOT 2060329 SOS 376120 HAS SOPS 376111 HAS SOUS 42218 HAS SOUPS 42217 WITH SCORE 42593.12
AT ITER 9612 NEW BEST:: SOT 2060324 SOS 376115 HAS SOPS 376106 HAS SOUS 42213 HAS SOUPS 42212 WITH SCORE 42588.115
AT ITER 9699 NEW BEST:: SOT 2060296 SOS 376087 HAS SOPS 376078 HAS SOUS 42157 HAS SOUPS 42156 WITH SCORE 42532.087
AT ITER 9714 NEW BEST:: SOT 2060295 SOS 376086 HAS SOPS 376077 HAS SOUS 42155 HAS SOUPS 42154 WITH SCORE 42530.086
AT ITER 9722 NEW BEST:: SOT 2060284 SOS 376075 HAS SOPS 376066 HAS SOUS 42153 HAS SOUPS 42152 WITH SCORE 42528.075
AT ITER 9795 NEW BEST:: SOT 2060237 SOS 376028 HAS SOPS 376019 HAS SOUS 42073 HAS SOUPS 42072 WITH SCORE 42448.028
AT ITER 9842 NEW BEST:: SOT 2060236 SOS 376027 HAS SOPS 376018 HAS SOUS 42072 HAS SOUPS 42071 WITH SCORE 42447.027
AT ITER 9878 NEW BEST:: SOT 2060236 SOS 376181 HAS SOPS 376172 HAS SOUS 42069 HAS SOUPS 42068 WITH SCORE 42444.181
AT ITER 9910 NEW BEST:: SOT 2060235 SOS 376180 HAS SOPS 376171 HAS SOUS 42067 HAS SOUPS 42066 WITH SCORE 42442.18
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBNT-PT-S10J20"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# 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-4028"
echo " Executing tool smart"
echo " Input is PolyORBNT-PT-S10J20, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r123-tajo-158961355100680"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PolyORBNT-PT-S10J20.tgz
mv PolyORBNT-PT-S10J20 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 ;