About the Execution of Smart+red for BusinessProcesses-PT-13
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6709.655 | 3600000.00 | 3635432.00 | 567.80 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2023-input.r043-tajo-167813697000552.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is BusinessProcesses-PT-13, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813697000552
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 552K
-rw-r--r-- 1 mcc users 7.1K Feb 25 16:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 25 16:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 16:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 25 16:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.4K Feb 25 16:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 25 16:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 16:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 16:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 148K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678793728221
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BusinessProcesses-PT-13
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 11:35:29] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 11:35:29] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 11:35:29] [INFO ] Load time of PNML (sax parser for PT used): 64 ms
[2023-03-14 11:35:29] [INFO ] Transformed 593 places.
[2023-03-14 11:35:29] [INFO ] Transformed 536 transitions.
[2023-03-14 11:35:29] [INFO ] Found NUPN structural information;
[2023-03-14 11:35:29] [INFO ] Parsed PT model containing 593 places and 536 transitions and 1582 arcs in 126 ms.
[2023-03-14 11:35:29] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 593 places, 536 transitions and 1582 arcs took 6 ms.
Total runtime 163 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 13
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart
Filename model.pnml
Petri model created: 593 places, 536 transitions, 1582 arcs.
AT ITER 0 NEW BEST:: SOT 201828 SOS 77215 HAS SOPS 77215 HAS SOUS 74724 HAS SOUPS 74724 WITH SCORE 74801.215
AT ITER 8 NEW BEST:: SOT 201751 SOS 77187 HAS SOPS 77187 HAS SOUS 74721 HAS SOUPS 74721 WITH SCORE 74798.187
AT ITER 10 NEW BEST:: SOT 201751 SOS 77312 HAS SOPS 77312 HAS SOUS 74720 HAS SOUPS 74720 WITH SCORE 74797.312
AT ITER 12 NEW BEST:: SOT 201690 SOS 77251 HAS SOPS 77251 HAS SOUS 74659 HAS SOUPS 74659 WITH SCORE 74736.251
AT ITER 13 NEW BEST:: SOT 201359 SOS 77126 HAS SOPS 77126 HAS SOUS 74449 HAS SOUPS 74449 WITH SCORE 74526.126
AT ITER 21 NEW BEST:: SOT 201412 SOS 77098 HAS SOPS 77098 HAS SOUS 74419 HAS SOUPS 74419 WITH SCORE 74496.098
AT ITER 40 NEW BEST:: SOT 201242 SOS 77054 HAS SOPS 77054 HAS SOUS 74261 HAS SOUPS 74261 WITH SCORE 74338.054
AT ITER 46 NEW BEST:: SOT 201178 SOS 76988 HAS SOPS 76988 HAS SOUS 74195 HAS SOUPS 74195 WITH SCORE 74271.988
AT ITER 55 NEW BEST:: SOT 200998 SOS 76628 HAS SOPS 76628 HAS SOUS 73835 HAS SOUPS 73835 WITH SCORE 73911.628
AT ITER 72 NEW BEST:: SOT 200998 SOS 76564 HAS SOPS 76564 HAS SOUS 73771 HAS SOUPS 73771 WITH SCORE 73847.564
AT ITER 75 NEW BEST:: SOT 200842 SOS 76465 HAS SOPS 76465 HAS SOUS 73672 HAS SOUPS 73672 WITH SCORE 73748.465
AT ITER 77 NEW BEST:: SOT 200842 SOS 76447 HAS SOPS 76447 HAS SOUS 73654 HAS SOUPS 73654 WITH SCORE 73730.447
AT ITER 78 NEW BEST:: SOT 200758 SOS 76287 HAS SOPS 76287 HAS SOUS 73494 HAS SOUPS 73494 WITH SCORE 73570.287
AT ITER 83 NEW BEST:: SOT 200757 SOS 76285 HAS SOPS 76285 HAS SOUS 73492 HAS SOUPS 73492 WITH SCORE 73568.285
AT ITER 93 NEW BEST:: SOT 198524 SOS 74287 HAS SOPS 74287 HAS SOUS 71494 HAS SOUPS 71494 WITH SCORE 71568.287
AT ITER 107 NEW BEST:: SOT 198540 SOS 74075 HAS SOPS 74075 HAS SOUS 71494 HAS SOUPS 71494 WITH SCORE 71568.075
AT ITER 115 NEW BEST:: SOT 198539 SOS 73997 HAS SOPS 73997 HAS SOUS 71416 HAS SOUPS 71416 WITH SCORE 71489.997
AT ITER 116 NEW BEST:: SOT 198408 SOS 73845 HAS SOPS 73845 HAS SOUS 71285 HAS SOUPS 71285 WITH SCORE 71358.845
AT ITER 135 NEW BEST:: SOT 198378 SOS 73805 HAS SOPS 73805 HAS SOUS 71245 HAS SOUPS 71245 WITH SCORE 71318.805
AT ITER 138 NEW BEST:: SOT 198283 SOS 73636 HAS SOPS 73636 HAS SOUS 71076 HAS SOUPS 71076 WITH SCORE 71149.636
AT ITER 144 NEW BEST:: SOT 198102 SOS 73478 HAS SOPS 73478 HAS SOUS 70918 HAS SOUPS 70918 WITH SCORE 70991.478
AT ITER 146 NEW BEST:: SOT 198067 SOS 73443 HAS SOPS 73443 HAS SOUS 70918 HAS SOUPS 70918 WITH SCORE 70991.443
AT ITER 152 NEW BEST:: SOT 197841 SOS 73226 HAS SOPS 73226 HAS SOUS 70701 HAS SOUPS 70701 WITH SCORE 70774.226
AT ITER 158 NEW BEST:: SOT 196994 SOS 72379 HAS SOPS 72379 HAS SOUS 69854 HAS SOUPS 69854 WITH SCORE 69926.379
AT ITER 174 NEW BEST:: SOT 196911 SOS 72213 HAS SOPS 72213 HAS SOUS 69688 HAS SOUPS 69688 WITH SCORE 69760.213
AT ITER 206 NEW BEST:: SOT 196712 SOS 72177 HAS SOPS 72177 HAS SOUS 69670 HAS SOUPS 69670 WITH SCORE 69742.177
AT ITER 211 NEW BEST:: SOT 191421 SOS 67719 HAS SOPS 67719 HAS SOUS 64504 HAS SOUPS 64504 WITH SCORE 64571.719
AT ITER 213 NEW BEST:: SOT 191265 SOS 67563 HAS SOPS 67563 HAS SOUS 64348 HAS SOUPS 64348 WITH SCORE 64415.563
AT ITER 237 NEW BEST:: SOT 191098 SOS 67287 HAS SOPS 67287 HAS SOUS 64072 HAS SOUPS 64072 WITH SCORE 64139.287
AT ITER 238 NEW BEST:: SOT 191098 SOS 67287 HAS SOPS 67287 HAS SOUS 64060 HAS SOUPS 64060 WITH SCORE 64127.287
AT ITER 247 NEW BEST:: SOT 191171 SOS 67333 HAS SOPS 67333 HAS SOUS 64032 HAS SOUPS 64032 WITH SCORE 64099.333
AT ITER 255 NEW BEST:: SOT 191169 SOS 67331 HAS SOPS 67331 HAS SOUS 64030 HAS SOUPS 64030 WITH SCORE 64097.331
AT ITER 259 NEW BEST:: SOT 191044 SOS 67253 HAS SOPS 67253 HAS SOUS 63948 HAS SOUPS 63948 WITH SCORE 64015.253
AT ITER 276 NEW BEST:: SOT 191007 SOS 66941 HAS SOPS 66941 HAS SOUS 63741 HAS SOUPS 63741 WITH SCORE 63807.941
AT ITER 284 NEW BEST:: SOT 190948 SOS 66826 HAS SOPS 66826 HAS SOUS 63626 HAS SOUPS 63626 WITH SCORE 63692.826
AT ITER 289 NEW BEST:: SOT 190904 SOS 66760 HAS SOPS 66760 HAS SOUS 63560 HAS SOUPS 63560 WITH SCORE 63626.76
AT ITER 295 NEW BEST:: SOT 188441 SOS 64474 HAS SOPS 64474 HAS SOUS 61274 HAS SOUPS 61274 WITH SCORE 61338.474
AT ITER 307 NEW BEST:: SOT 188441 SOS 64318 HAS SOPS 64318 HAS SOUS 61231 HAS SOUPS 61231 WITH SCORE 61295.318
AT ITER 312 NEW BEST:: SOT 188248 SOS 63931 HAS SOPS 63931 HAS SOUS 60844 HAS SOUPS 60844 WITH SCORE 60907.931
AT ITER 322 NEW BEST:: SOT 187651 SOS 73491 HAS SOPS 73491 HAS SOUS 60482 HAS SOUPS 60482 WITH SCORE 60555.491
AT ITER 340 NEW BEST:: SOT 187645 SOS 73479 HAS SOPS 73479 HAS SOUS 60476 HAS SOUPS 60476 WITH SCORE 60549.479
AT ITER 341 NEW BEST:: SOT 187506 SOS 73201 HAS SOPS 73201 HAS SOUS 60416 HAS SOUPS 60416 WITH SCORE 60489.201
AT ITER 342 NEW BEST:: SOT 187329 SOS 72871 HAS SOPS 72871 HAS SOUS 60155 HAS SOUPS 60155 WITH SCORE 60227.871
AT ITER 348 NEW BEST:: SOT 187285 SOS 72826 HAS SOPS 72826 HAS SOUS 60153 HAS SOUPS 60153 WITH SCORE 60225.826
AT ITER 361 NEW BEST:: SOT 187263 SOS 72760 HAS SOPS 72760 HAS SOUS 60109 HAS SOUPS 60109 WITH SCORE 60181.76
AT ITER 363 NEW BEST:: SOT 187072 SOS 72570 HAS SOPS 72570 HAS SOUS 59979 HAS SOUPS 59979 WITH SCORE 60051.57
AT ITER 365 NEW BEST:: SOT 187071 SOS 72568 HAS SOPS 72568 HAS SOUS 59977 HAS SOUPS 59977 WITH SCORE 60049.568
AT ITER 366 NEW BEST:: SOT 187071 SOS 72524 HAS SOPS 72524 HAS SOUS 59933 HAS SOUPS 59933 WITH SCORE 60005.524
AT ITER 367 NEW BEST:: SOT 186943 SOS 72268 HAS SOPS 72268 HAS SOUS 59805 HAS SOUPS 59805 WITH SCORE 59877.268
AT ITER 373 NEW BEST:: SOT 186787 SOS 72089 HAS SOPS 72089 HAS SOUS 59759 HAS SOUPS 59759 WITH SCORE 59831.089
AT ITER 404 NEW BEST:: SOT 186783 SOS 72081 HAS SOPS 72081 HAS SOUS 59751 HAS SOUPS 59751 WITH SCORE 59823.081
AT ITER 411 NEW BEST:: SOT 186690 SOS 72025 HAS SOPS 72025 HAS SOUS 59678 HAS SOUPS 59678 WITH SCORE 59750.025
AT ITER 415 NEW BEST:: SOT 186568 SOS 71903 HAS SOPS 71903 HAS SOUS 59678 HAS SOUPS 59678 WITH SCORE 59749.903
AT ITER 417 NEW BEST:: SOT 186526 SOS 71703 HAS SOPS 71703 HAS SOUS 59624 HAS SOUPS 59624 WITH SCORE 59695.703
AT ITER 426 NEW BEST:: SOT 186500 SOS 71677 HAS SOPS 71677 HAS SOUS 59598 HAS SOUPS 59598 WITH SCORE 59669.677
AT ITER 440 NEW BEST:: SOT 186499 SOS 71676 HAS SOPS 71676 HAS SOUS 59597 HAS SOUPS 59597 WITH SCORE 59668.676
AT ITER 443 NEW BEST:: SOT 186384 SOS 71561 HAS SOPS 71561 HAS SOUS 59597 HAS SOUPS 59597 WITH SCORE 59668.561
AT ITER 452 NEW BEST:: SOT 186228 SOS 71496 HAS SOPS 71496 HAS SOUS 59502 HAS SOUPS 59502 WITH SCORE 59573.496
AT ITER 458 NEW BEST:: SOT 186057 SOS 71156 HAS SOPS 71156 HAS SOUS 59302 HAS SOUPS 59302 WITH SCORE 59373.156
AT ITER 489 NEW BEST:: SOT 185997 SOS 71895 HAS SOPS 71895 HAS SOUS 59247 HAS SOUPS 59247 WITH SCORE 59318.895
AT ITER 497 NEW BEST:: SOT 185997 SOS 71888 HAS SOPS 71888 HAS SOUS 59245 HAS SOUPS 59245 WITH SCORE 59316.888
AT ITER 500 NEW BEST:: SOT 185896 SOS 71686 HAS SOPS 71686 HAS SOUS 59138 HAS SOUPS 59138 WITH SCORE 59209.686
AT ITER 502 NEW BEST:: SOT 185721 SOS 71500 HAS SOPS 71500 HAS SOUS 59116 HAS SOUPS 59116 WITH SCORE 59187.5
AT ITER 503 NEW BEST:: SOT 185715 SOS 71488 HAS SOPS 71488 HAS SOUS 59104 HAS SOUPS 59104 WITH SCORE 59175.488
AT ITER 512 NEW BEST:: SOT 185721 SOS 71143 HAS SOPS 71143 HAS SOUS 58896 HAS SOUPS 58896 WITH SCORE 58967.143
AT ITER 515 NEW BEST:: SOT 185683 SOS 71029 HAS SOPS 71029 HAS SOUS 58782 HAS SOUPS 58782 WITH SCORE 58853.029
AT ITER 549 NEW BEST:: SOT 185682 SOS 71027 HAS SOPS 71027 HAS SOUS 58780 HAS SOUPS 58780 WITH SCORE 58851.027
AT ITER 560 NEW BEST:: SOT 185551 SOS 70765 HAS SOPS 70765 HAS SOUS 58684 HAS SOUPS 58684 WITH SCORE 58754.765
AT ITER 563 NEW BEST:: SOT 185550 SOS 70494 HAS SOPS 70494 HAS SOUS 58562 HAS SOUPS 58562 WITH SCORE 58632.494
AT ITER 570 NEW BEST:: SOT 185527 SOS 70457 HAS SOPS 70457 HAS SOUS 58559 HAS SOUPS 58559 WITH SCORE 58629.457
AT ITER 575 NEW BEST:: SOT 185455 SOS 70313 HAS SOPS 70313 HAS SOUS 58462 HAS SOUPS 58462 WITH SCORE 58532.313
AT ITER 590 NEW BEST:: SOT 185391 SOS 70185 HAS SOPS 70185 HAS SOUS 58334 HAS SOUPS 58334 WITH SCORE 58404.185
AT ITER 592 NEW BEST:: SOT 185451 SOS 70236 HAS SOPS 70236 HAS SOUS 58263 HAS SOUPS 58263 WITH SCORE 58333.236
AT ITER 599 NEW BEST:: SOT 185451 SOS 70236 HAS SOPS 70236 HAS SOUS 58165 HAS SOUPS 58165 WITH SCORE 58235.236
AT ITER 641 NEW BEST:: SOT 185216 SOS 69895 HAS SOPS 69895 HAS SOUS 57953 HAS SOUPS 57953 WITH SCORE 58022.895
AT ITER 642 NEW BEST:: SOT 185149 SOS 69827 HAS SOPS 69827 HAS SOUS 57885 HAS SOUPS 57885 WITH SCORE 57954.827
AT ITER 678 NEW BEST:: SOT 185182 SOS 69860 HAS SOPS 69860 HAS SOUS 57823 HAS SOUPS 57823 WITH SCORE 57892.86
AT ITER 681 NEW BEST:: SOT 185160 SOS 69857 HAS SOPS 69857 HAS SOUS 57820 HAS SOUPS 57820 WITH SCORE 57889.857
AT ITER 688 NEW BEST:: SOT 185156 SOS 69853 HAS SOPS 69853 HAS SOUS 57816 HAS SOUPS 57816 WITH SCORE 57885.853
AT ITER 707 NEW BEST:: SOT 185156 SOS 69658 HAS SOPS 69658 HAS SOUS 57586 HAS SOUPS 57586 WITH SCORE 57655.658
AT ITER 729 NEW BEST:: SOT 185109 SOS 69622 HAS SOPS 69622 HAS SOUS 57550 HAS SOUPS 57550 WITH SCORE 57619.622
AT ITER 732 NEW BEST:: SOT 185162 SOS 69602 HAS SOPS 69602 HAS SOUS 57530 HAS SOUPS 57530 WITH SCORE 57599.602
AT ITER 743 NEW BEST:: SOT 185162 SOS 69582 HAS SOPS 69582 HAS SOUS 57524 HAS SOUPS 57524 WITH SCORE 57593.582
AT ITER 752 NEW BEST:: SOT 185114 SOS 69438 HAS SOPS 69438 HAS SOUS 57380 HAS SOUPS 57380 WITH SCORE 57449.438
AT ITER 783 NEW BEST:: SOT 185081 SOS 69404 HAS SOPS 69404 HAS SOUS 57377 HAS SOUPS 57377 WITH SCORE 57446.404
AT ITER 799 NEW BEST:: SOT 185001 SOS 69324 HAS SOPS 69324 HAS SOUS 57375 HAS SOUPS 57375 WITH SCORE 57444.324
AT ITER 813 NEW BEST:: SOT 184986 SOS 69309 HAS SOPS 69309 HAS SOUS 57360 HAS SOUPS 57360 WITH SCORE 57429.309
AT ITER 818 NEW BEST:: SOT 184922 SOS 69181 HAS SOPS 69181 HAS SOUS 57296 HAS SOUPS 57296 WITH SCORE 57365.181
AT ITER 834 NEW BEST:: SOT 184921 SOS 69088 HAS SOPS 69088 HAS SOUS 57203 HAS SOUPS 57203 WITH SCORE 57272.088
AT ITER 840 NEW BEST:: SOT 184921 SOS 68906 HAS SOPS 68906 HAS SOUS 57177 HAS SOUPS 57177 WITH SCORE 57245.906
AT ITER 852 NEW BEST:: SOT 184775 SOS 68614 HAS SOPS 68614 HAS SOUS 56892 HAS SOUPS 56892 WITH SCORE 56960.614
AT ITER 862 NEW BEST:: SOT 184775 SOS 68576 HAS SOPS 68576 HAS SOUS 56854 HAS SOUPS 56854 WITH SCORE 56922.576
AT ITER 863 NEW BEST:: SOT 184787 SOS 68535 HAS SOPS 68535 HAS SOUS 56786 HAS SOUPS 56786 WITH SCORE 56854.535
AT ITER 865 NEW BEST:: SOT 184762 SOS 68510 HAS SOPS 68510 HAS SOUS 56761 HAS SOUPS 56761 WITH SCORE 56829.51
AT ITER 869 NEW BEST:: SOT 184808 SOS 68465 HAS SOPS 68465 HAS SOUS 56716 HAS SOUPS 56716 WITH SCORE 56784.465
AT ITER 875 NEW BEST:: SOT 184761 SOS 68429 HAS SOPS 68429 HAS SOUS 56680 HAS SOUPS 56680 WITH SCORE 56748.429
AT ITER 878 NEW BEST:: SOT 184760 SOS 68427 HAS SOPS 68427 HAS SOUS 56660 HAS SOUPS 56660 WITH SCORE 56728.427
AT ITER 882 NEW BEST:: SOT 184690 SOS 68350 HAS SOPS 68350 HAS SOUS 56618 HAS SOUPS 56618 WITH SCORE 56686.35
AT ITER 892 NEW BEST:: SOT 184690 SOS 68323 HAS SOPS 68323 HAS SOUS 56591 HAS SOUPS 56591 WITH SCORE 56659.323
AT ITER 903 NEW BEST:: SOT 184590 SOS 68208 HAS SOPS 68208 HAS SOUS 56574 HAS SOUPS 56574 WITH SCORE 56642.208
AT ITER 908 NEW BEST:: SOT 184446 SOS 68135 HAS SOPS 68135 HAS SOUS 56481 HAS SOUPS 56481 WITH SCORE 56549.135
AT ITER 920 NEW BEST:: SOT 184330 SOS 67961 HAS SOPS 67961 HAS SOUS 56365 HAS SOUPS 56365 WITH SCORE 56432.961
AT ITER 927 NEW BEST:: SOT 184316 SOS 67945 HAS SOPS 67945 HAS SOUS 56349 HAS SOUPS 56349 WITH SCORE 56416.945
AT ITER 934 NEW BEST:: SOT 184310 SOS 67878 HAS SOPS 67878 HAS SOUS 56282 HAS SOUPS 56282 WITH SCORE 56349.878
AT ITER 936 NEW BEST:: SOT 183904 SOS 67662 HAS SOPS 67662 HAS SOUS 56281 HAS SOUPS 56281 WITH SCORE 56348.662
AT ITER 944 NEW BEST:: SOT 183904 SOS 67662 HAS SOPS 67662 HAS SOUS 56258 HAS SOUPS 56258 WITH SCORE 56325.662
AT ITER 953 NEW BEST:: SOT 183857 SOS 67523 HAS SOPS 67523 HAS SOUS 56166 HAS SOUPS 56166 WITH SCORE 56233.523
AT ITER 961 NEW BEST:: SOT 183823 SOS 67489 HAS SOPS 67489 HAS SOUS 56146 HAS SOUPS 56146 WITH SCORE 56213.489
AT ITER 966 NEW BEST:: SOT 183738 SOS 67393 HAS SOPS 67393 HAS SOUS 56124 HAS SOUPS 56124 WITH SCORE 56191.393
AT ITER 974 NEW BEST:: SOT 183693 SOS 67348 HAS SOPS 67348 HAS SOUS 56079 HAS SOUPS 56079 WITH SCORE 56146.348
AT ITER 975 NEW BEST:: SOT 183661 SOS 67316 HAS SOPS 67316 HAS SOUS 56047 HAS SOUPS 56047 WITH SCORE 56114.316
AT ITER 978 NEW BEST:: SOT 183630 SOS 67254 HAS SOPS 67254 HAS SOUS 55985 HAS SOUPS 55985 WITH SCORE 56052.254
AT ITER 990 NEW BEST:: SOT 183619 SOS 67232 HAS SOPS 67232 HAS SOUS 55975 HAS SOUPS 55975 WITH SCORE 56042.232
AT ITER 1015 NEW BEST:: SOT 183638 SOS 67229 HAS SOPS 67229 HAS SOUS 55972 HAS SOUPS 55972 WITH SCORE 56039.229
AT ITER 1021 NEW BEST:: SOT 183663 SOS 67164 HAS SOPS 67164 HAS SOUS 55856 HAS SOUPS 55856 WITH SCORE 55923.164
AT ITER 1034 NEW BEST:: SOT 183625 SOS 67097 HAS SOPS 67097 HAS SOUS 55789 HAS SOUPS 55789 WITH SCORE 55856.097
AT ITER 1037 NEW BEST:: SOT 182085 SOS 65494 HAS SOPS 65494 HAS SOUS 54297 HAS SOUPS 54297 WITH SCORE 54362.494
AT ITER 1057 NEW BEST:: SOT 182085 SOS 65390 HAS SOPS 65390 HAS SOUS 54129 HAS SOUPS 54129 WITH SCORE 54194.39
AT ITER 1067 NEW BEST:: SOT 182033 SOS 65156 HAS SOPS 65156 HAS SOUS 54063 HAS SOUPS 54063 WITH SCORE 54128.156
AT ITER 1074 NEW BEST:: SOT 181456 SOS 65101 HAS SOPS 65101 HAS SOUS 53524 HAS SOUPS 53524 WITH SCORE 53589.101
AT ITER 1075 NEW BEST:: SOT 181372 SOS 64934 HAS SOPS 64934 HAS SOUS 53461 HAS SOUPS 53461 WITH SCORE 53525.934
AT ITER 1076 NEW BEST:: SOT 181329 SOS 64872 HAS SOPS 64872 HAS SOUS 53423 HAS SOUPS 53423 WITH SCORE 53487.872
AT ITER 1099 NEW BEST:: SOT 181301 SOS 64816 HAS SOPS 64816 HAS SOUS 53339 HAS SOUPS 53339 WITH SCORE 53403.816
AT ITER 1100 NEW BEST:: SOT 181444 SOS 64852 HAS SOPS 64852 HAS SOUS 53267 HAS SOUPS 53267 WITH SCORE 53331.852
AT ITER 1103 NEW BEST:: SOT 181390 SOS 64716 HAS SOPS 64716 HAS SOUS 53102 HAS SOUPS 53102 WITH SCORE 53166.716
AT ITER 1108 NEW BEST:: SOT 181090 SOS 64375 HAS SOPS 64375 HAS SOUS 52964 HAS SOUPS 52964 WITH SCORE 53028.375
AT ITER 1121 NEW BEST:: SOT 181079 SOS 64175 HAS SOPS 64175 HAS SOUS 52486 HAS SOUPS 52486 WITH SCORE 52550.175
AT ITER 1125 NEW BEST:: SOT 181004 SOS 64002 HAS SOPS 64002 HAS SOUS 52381 HAS SOUPS 52381 WITH SCORE 52445.002
AT ITER 1129 NEW BEST:: SOT 180850 SOS 63695 HAS SOPS 63695 HAS SOUS 52169 HAS SOUPS 52169 WITH SCORE 52232.695
AT ITER 1135 NEW BEST:: SOT 180850 SOS 63335 HAS SOPS 63335 HAS SOUS 52139 HAS SOUPS 52139 WITH SCORE 52202.335
AT ITER 1155 NEW BEST:: SOT 180849 SOS 63332 HAS SOPS 63332 HAS SOUS 52136 HAS SOUPS 52136 WITH SCORE 52199.332
AT ITER 1163 NEW BEST:: SOT 180849 SOS 63326 HAS SOPS 63326 HAS SOUS 52130 HAS SOUPS 52130 WITH SCORE 52193.326
AT ITER 1178 NEW BEST:: SOT 180846 SOS 63320 HAS SOPS 63320 HAS SOUS 52127 HAS SOUPS 52127 WITH SCORE 52190.32
AT ITER 1180 NEW BEST:: SOT 180749 SOS 63223 HAS SOPS 63223 HAS SOUS 52127 HAS SOUPS 52127 WITH SCORE 52190.223
AT ITER 1184 NEW BEST:: SOT 180738 SOS 63168 HAS SOPS 63168 HAS SOUS 52072 HAS SOUPS 52072 WITH SCORE 52135.168
AT ITER 1186 NEW BEST:: SOT 180719 SOS 63167 HAS SOPS 63167 HAS SOUS 52071 HAS SOUPS 52071 WITH SCORE 52134.167
AT ITER 1193 NEW BEST:: SOT 180611 SOS 62988 HAS SOPS 62988 HAS SOUS 51892 HAS SOUPS 51892 WITH SCORE 51954.988
AT ITER 1216 NEW BEST:: SOT 180563 SOS 62892 HAS SOPS 62892 HAS SOUS 51844 HAS SOUPS 51844 WITH SCORE 51906.892
AT ITER 1218 NEW BEST:: SOT 180538 SOS 62861 HAS SOPS 62861 HAS SOUS 51813 HAS SOUPS 51813 WITH SCORE 51875.861
AT ITER 1231 NEW BEST:: SOT 180466 SOS 62749 HAS SOPS 62749 HAS SOUS 51773 HAS SOUPS 51773 WITH SCORE 51835.749
AT ITER 1237 NEW BEST:: SOT 180447 SOS 62681 HAS SOPS 62681 HAS SOUS 51665 HAS SOUPS 51665 WITH SCORE 51727.681
AT ITER 1241 NEW BEST:: SOT 180467 SOS 62625 HAS SOPS 62625 HAS SOUS 51609 HAS SOUPS 51609 WITH SCORE 51671.625
AT ITER 1243 NEW BEST:: SOT 180466 SOS 62613 HAS SOPS 62613 HAS SOUS 51597 HAS SOUPS 51597 WITH SCORE 51659.613
AT ITER 1245 NEW BEST:: SOT 180465 SOS 62612 HAS SOPS 62612 HAS SOUS 51596 HAS SOUPS 51596 WITH SCORE 51658.612
AT ITER 1282 NEW BEST:: SOT 180320 SOS 62275 HAS SOPS 62275 HAS SOUS 51404 HAS SOUPS 51404 WITH SCORE 51466.275
AT ITER 1289 NEW BEST:: SOT 180281 SOS 62121 HAS SOPS 62121 HAS SOUS 51347 HAS SOUPS 51347 WITH SCORE 51409.121
AT ITER 1293 NEW BEST:: SOT 180273 SOS 62113 HAS SOPS 62113 HAS SOUS 51339 HAS SOUPS 51339 WITH SCORE 51401.113
AT ITER 1297 NEW BEST:: SOT 180137 SOS 61841 HAS SOPS 61841 HAS SOUS 51119 HAS SOUPS 51119 WITH SCORE 51180.841
AT ITER 1299 NEW BEST:: SOT 180129 SOS 61833 HAS SOPS 61833 HAS SOUS 51111 HAS SOUPS 51111 WITH SCORE 51172.833
AT ITER 1304 NEW BEST:: SOT 180064 SOS 61787 HAS SOPS 61787 HAS SOUS 51065 HAS SOUPS 51065 WITH SCORE 51126.787
AT ITER 1316 NEW BEST:: SOT 179973 SOS 61785 HAS SOPS 61785 HAS SOUS 51063 HAS SOUPS 51063 WITH SCORE 51124.785
AT ITER 1336 NEW BEST:: SOT 179868 SOS 61680 HAS SOPS 61680 HAS SOUS 50951 HAS SOUPS 50951 WITH SCORE 51012.68
AT ITER 1338 NEW BEST:: SOT 179617 SOS 61464 HAS SOPS 61464 HAS SOUS 50735 HAS SOUPS 50735 WITH SCORE 50796.464
AT ITER 1343 NEW BEST:: SOT 179562 SOS 61398 HAS SOPS 61398 HAS SOUS 50698 HAS SOUPS 50698 WITH SCORE 50759.398
AT ITER 1347 NEW BEST:: SOT 179521 SOS 61357 HAS SOPS 61357 HAS SOUS 50657 HAS SOUPS 50657 WITH SCORE 50718.357
AT ITER 1355 NEW BEST:: SOT 179521 SOS 61273 HAS SOPS 61273 HAS SOUS 50573 HAS SOUPS 50573 WITH SCORE 50634.273
AT ITER 1356 NEW BEST:: SOT 179504 SOS 61239 HAS SOPS 61239 HAS SOUS 50555 HAS SOUPS 50555 WITH SCORE 50616.239
AT ITER 1361 NEW BEST:: SOT 179465 SOS 61202 HAS SOPS 61202 HAS SOUS 50518 HAS SOUPS 50518 WITH SCORE 50579.202
AT ITER 1365 NEW BEST:: SOT 179451 SOS 61185 HAS SOPS 61185 HAS SOUS 50501 HAS SOUPS 50501 WITH SCORE 50562.185
AT ITER 1367 NEW BEST:: SOT 179445 SOS 61179 HAS SOPS 61179 HAS SOUS 50495 HAS SOUPS 50495 WITH SCORE 50556.179
AT ITER 1371 NEW BEST:: SOT 179412 SOS 61146 HAS SOPS 61146 HAS SOUS 50462 HAS SOUPS 50462 WITH SCORE 50523.146
AT ITER 1387 NEW BEST:: SOT 179420 SOS 61162 HAS SOPS 61162 HAS SOUS 50450 HAS SOUPS 50450 WITH SCORE 50511.162
AT ITER 1404 NEW BEST:: SOT 179390 SOS 61146 HAS SOPS 61146 HAS SOUS 50434 HAS SOUPS 50434 WITH SCORE 50495.146
AT ITER 1410 NEW BEST:: SOT 179390 SOS 61146 HAS SOPS 61146 HAS SOUS 50431 HAS SOUPS 50431 WITH SCORE 50492.146
AT ITER 1412 NEW BEST:: SOT 179326 SOS 60947 HAS SOPS 60947 HAS SOUS 50348 HAS SOUPS 50348 WITH SCORE 50408.947
AT ITER 1415 NEW BEST:: SOT 179267 SOS 60962 HAS SOPS 60962 HAS SOUS 50311 HAS SOUPS 50311 WITH SCORE 50371.962
AT ITER 1416 NEW BEST:: SOT 179266 SOS 60961 HAS SOPS 60961 HAS SOUS 50310 HAS SOUPS 50310 WITH SCORE 50370.961
AT ITER 1422 NEW BEST:: SOT 179262 SOS 60957 HAS SOPS 60957 HAS SOUS 50306 HAS SOUPS 50306 WITH SCORE 50366.957
AT ITER 1423 NEW BEST:: SOT 179206 SOS 60845 HAS SOPS 60845 HAS SOUS 50216 HAS SOUPS 50216 WITH SCORE 50276.845
AT ITER 1432 NEW BEST:: SOT 179073 SOS 60611 HAS SOPS 60611 HAS SOUS 49982 HAS SOUPS 49982 WITH SCORE 50042.611
AT ITER 1444 NEW BEST:: SOT 179007 SOS 60512 HAS SOPS 60512 HAS SOUS 49916 HAS SOUPS 49916 WITH SCORE 49976.512
AT ITER 1450 NEW BEST:: SOT 178997 SOS 60497 HAS SOPS 60497 HAS SOUS 49901 HAS SOUPS 49901 WITH SCORE 49961.497
AT ITER 1471 NEW BEST:: SOT 178995 SOS 60493 HAS SOPS 60493 HAS SOUS 49897 HAS SOUPS 49897 WITH SCORE 49957.493
AT ITER 1472 NEW BEST:: SOT 178697 SOS 63937 HAS SOPS 63937 HAS SOUS 49663 HAS SOUPS 49663 WITH SCORE 49726.937
AT ITER 1478 NEW BEST:: SOT 178650 SOS 63837 HAS SOPS 63837 HAS SOUS 49563 HAS SOUPS 49563 WITH SCORE 49626.837
AT ITER 1479 NEW BEST:: SOT 178674 SOS 63836 HAS SOPS 63836 HAS SOUS 49535 HAS SOUPS 49535 WITH SCORE 49598.836
AT ITER 1482 NEW BEST:: SOT 178621 SOS 63682 HAS SOPS 63682 HAS SOUS 49438 HAS SOUPS 49438 WITH SCORE 49501.682
AT ITER 1511 NEW BEST:: SOT 178571 SOS 63590 HAS SOPS 63590 HAS SOUS 49346 HAS SOUPS 49346 WITH SCORE 49409.59
AT ITER 1548 NEW BEST:: SOT 178486 SOS 63385 HAS SOPS 63385 HAS SOUS 49206 HAS SOUPS 49206 WITH SCORE 49269.385
AT ITER 1556 NEW BEST:: SOT 178421 SOS 63320 HAS SOPS 63320 HAS SOUS 49141 HAS SOUPS 49141 WITH SCORE 49204.32
AT ITER 1565 NEW BEST:: SOT 178253 SOS 62984 HAS SOPS 62984 HAS SOUS 49012 HAS SOUPS 49012 WITH SCORE 49074.984
AT ITER 1566 NEW BEST:: SOT 178251 SOS 62982 HAS SOPS 62982 HAS SOUS 49010 HAS SOUPS 49010 WITH SCORE 49072.982
AT ITER 1568 NEW BEST:: SOT 178165 SOS 62893 HAS SOPS 62893 HAS SOUS 49007 HAS SOUPS 49007 WITH SCORE 49069.893
AT ITER 1569 NEW BEST:: SOT 178165 SOS 62893 HAS SOPS 62893 HAS SOUS 49002 HAS SOUPS 49002 WITH SCORE 49064.893
AT ITER 1571 NEW BEST:: SOT 178162 SOS 62890 HAS SOPS 62890 HAS SOUS 48999 HAS SOUPS 48999 WITH SCORE 49061.89
AT ITER 1586 NEW BEST:: SOT 178133 SOS 62804 HAS SOPS 62804 HAS SOUS 48913 HAS SOUPS 48913 WITH SCORE 48975.804
AT ITER 1601 NEW BEST:: SOT 178131 SOS 62777 HAS SOPS 62777 HAS SOUS 48876 HAS SOUPS 48876 WITH SCORE 48938.777
AT ITER 1630 NEW BEST:: SOT 178125 SOS 62771 HAS SOPS 62771 HAS SOUS 48876 HAS SOUPS 48876 WITH SCORE 48938.771
AT ITER 1642 NEW BEST:: SOT 178105 SOS 62747 HAS SOPS 62747 HAS SOUS 48852 HAS SOUPS 48852 WITH SCORE 48914.747
AT ITER 1653 NEW BEST:: SOT 178105 SOS 62707 HAS SOPS 62707 HAS SOUS 48812 HAS SOUPS 48812 WITH SCORE 48874.707
AT ITER 1673 NEW BEST:: SOT 178105 SOS 62700 HAS SOPS 62700 HAS SOUS 48805 HAS SOUPS 48805 WITH SCORE 48867.7
AT ITER 1685 NEW BEST:: SOT 178087 SOS 62680 HAS SOPS 62680 HAS SOUS 48785 HAS SOUPS 48785 WITH SCORE 48847.68
AT ITER 1691 NEW BEST:: SOT 178019 SOS 62544 HAS SOPS 62544 HAS SOUS 48717 HAS SOUPS 48717 WITH SCORE 48779.544
AT ITER 1693 NEW BEST:: SOT 178074 SOS 62220 HAS SOPS 62220 HAS SOUS 48600 HAS SOUPS 48600 WITH SCORE 48662.22
AT ITER 1703 NEW BEST:: SOT 178107 SOS 62209 HAS SOPS 62209 HAS SOUS 48589 HAS SOUPS 48589 WITH SCORE 48651.209
AT ITER 1704 NEW BEST:: SOT 178078 SOS 62180 HAS SOPS 62180 HAS SOUS 48560 HAS SOUPS 48560 WITH SCORE 48622.18
AT ITER 1711 NEW BEST:: SOT 178063 SOS 62165 HAS SOPS 62165 HAS SOUS 48545 HAS SOUPS 48545 WITH SCORE 48607.165
AT ITER 1712 NEW BEST:: SOT 178116 SOS 62057 HAS SOPS 62057 HAS SOUS 48525 HAS SOUPS 48525 WITH SCORE 48587.057
AT ITER 1714 NEW BEST:: SOT 178136 SOS 61789 HAS SOPS 61789 HAS SOUS 48429 HAS SOUPS 48429 WITH SCORE 48490.789
AT ITER 1722 NEW BEST:: SOT 178001 SOS 61519 HAS SOPS 61519 HAS SOUS 48303 HAS SOUPS 48303 WITH SCORE 48364.519
AT ITER 1727 NEW BEST:: SOT 178002 SOS 61471 HAS SOPS 61471 HAS SOUS 48255 HAS SOUPS 48255 WITH SCORE 48316.471
AT ITER 1735 NEW BEST:: SOT 178002 SOS 61463 HAS SOPS 61463 HAS SOUS 48247 HAS SOUPS 48247 WITH SCORE 48308.463
AT ITER 1763 NEW BEST:: SOT 177996 SOS 61451 HAS SOPS 61451 HAS SOUS 48235 HAS SOUPS 48235 WITH SCORE 48296.451
AT ITER 1769 NEW BEST:: SOT 177918 SOS 61295 HAS SOPS 61295 HAS SOUS 48079 HAS SOUPS 48079 WITH SCORE 48140.295
AT ITER 1774 NEW BEST:: SOT 177914 SOS 61291 HAS SOPS 61291 HAS SOUS 48075 HAS SOUPS 48075 WITH SCORE 48136.291
AT ITER 1776 NEW BEST:: SOT 177946 SOS 61151 HAS SOPS 61151 HAS SOUS 47827 HAS SOUPS 47827 WITH SCORE 47888.151
AT ITER 1787 NEW BEST:: SOT 178003 SOS 60891 HAS SOPS 60891 HAS SOUS 47745 HAS SOUPS 47745 WITH SCORE 47805.891
AT ITER 1789 NEW BEST:: SOT 178026 SOS 60856 HAS SOPS 60856 HAS SOUS 47710 HAS SOUPS 47710 WITH SCORE 47770.856
AT ITER 1795 NEW BEST:: SOT 177981 SOS 60636 HAS SOPS 60636 HAS SOUS 47490 HAS SOUPS 47490 WITH SCORE 47550.636
AT ITER 1819 NEW BEST:: SOT 177954 SOS 60580 HAS SOPS 60580 HAS SOUS 47405 HAS SOUPS 47405 WITH SCORE 47465.58
AT ITER 1827 NEW BEST:: SOT 177952 SOS 60576 HAS SOPS 60576 HAS SOUS 47401 HAS SOUPS 47401 WITH SCORE 47461.576
AT ITER 1846 NEW BEST:: SOT 177809 SOS 60284 HAS SOPS 60284 HAS SOUS 47109 HAS SOUPS 47109 WITH SCORE 47169.284
AT ITER 1854 NEW BEST:: SOT 177788 SOS 60242 HAS SOPS 60242 HAS SOUS 47088 HAS SOUPS 47088 WITH SCORE 47148.242
AT ITER 1865 NEW BEST:: SOT 177638 SOS 60070 HAS SOPS 60070 HAS SOUS 47044 HAS SOUPS 47044 WITH SCORE 47104.07
AT ITER 1866 NEW BEST:: SOT 177638 SOS 60062 HAS SOPS 60062 HAS SOUS 47043 HAS SOUPS 47043 WITH SCORE 47103.062
AT ITER 1874 NEW BEST:: SOT 177622 SOS 60046 HAS SOPS 60046 HAS SOUS 47027 HAS SOUPS 47027 WITH SCORE 47087.046
AT ITER 1897 NEW BEST:: SOT 177609 SOS 60033 HAS SOPS 60033 HAS SOUS 47014 HAS SOUPS 47014 WITH SCORE 47074.033
AT ITER 1909 NEW BEST:: SOT 177577 SOS 59990 HAS SOPS 59990 HAS SOUS 46971 HAS SOUPS 46971 WITH SCORE 47030.99
AT ITER 1914 NEW BEST:: SOT 177577 SOS 59968 HAS SOPS 59968 HAS SOUS 46949 HAS SOUPS 46949 WITH SCORE 47008.968
AT ITER 1931 NEW BEST:: SOT 177587 SOS 59919 HAS SOPS 59919 HAS SOUS 46900 HAS SOUPS 46900 WITH SCORE 46959.919
AT ITER 1939 NEW BEST:: SOT 177587 SOS 59917 HAS SOPS 59917 HAS SOUS 46898 HAS SOUPS 46898 WITH SCORE 46957.917
AT ITER 1947 NEW BEST:: SOT 177517 SOS 59777 HAS SOPS 59777 HAS SOUS 46855 HAS SOUPS 46855 WITH SCORE 46914.777
AT ITER 1970 NEW BEST:: SOT 177208 SOS 59065 HAS SOPS 59065 HAS SOUS 46567 HAS SOUPS 46567 WITH SCORE 46626.065
AT ITER 1972 NEW BEST:: SOT 177357 SOS 59187 HAS SOPS 59187 HAS SOUS 46513 HAS SOUPS 46513 WITH SCORE 46572.187
AT ITER 1974 NEW BEST:: SOT 177433 SOS 59171 HAS SOPS 59171 HAS SOUS 46497 HAS SOUPS 46497 WITH SCORE 46556.171
AT ITER 1978 NEW BEST:: SOT 177433 SOS 59147 HAS SOPS 59147 HAS SOUS 46473 HAS SOUPS 46473 WITH SCORE 46532.147
AT ITER 1989 NEW BEST:: SOT 177415 SOS 59127 HAS SOPS 59127 HAS SOUS 46453 HAS SOUPS 46453 WITH SCORE 46512.127
AT ITER 1992 NEW BEST:: SOT 177381 SOS 59083 HAS SOPS 59083 HAS SOUS 46433 HAS SOUPS 46433 WITH SCORE 46492.083
AT ITER 1994 NEW BEST:: SOT 177367 SOS 59069 HAS SOPS 59069 HAS SOUS 46419 HAS SOUPS 46419 WITH SCORE 46478.069
AT ITER 2011 NEW BEST:: SOT 177364 SOS 59060 HAS SOPS 59060 HAS SOUS 46410 HAS SOUPS 46410 WITH SCORE 46469.06
AT ITER 2028 NEW BEST:: SOT 177258 SOS 58953 HAS SOPS 58953 HAS SOUS 46408 HAS SOUPS 46408 WITH SCORE 46466.953
AT ITER 2032 NEW BEST:: SOT 177278 SOS 58965 HAS SOPS 58965 HAS SOUS 46392 HAS SOUPS 46392 WITH SCORE 46450.965
AT ITER 2048 NEW BEST:: SOT 177267 SOS 58954 HAS SOPS 58954 HAS SOUS 46381 HAS SOUPS 46381 WITH SCORE 46439.954
AT ITER 2054 NEW BEST:: SOT 177055 SOS 58742 HAS SOPS 58742 HAS SOUS 46381 HAS SOUPS 46381 WITH SCORE 46439.742
AT ITER 2067 NEW BEST:: SOT 177033 SOS 58614 HAS SOPS 58614 HAS SOUS 46337 HAS SOUPS 46337 WITH SCORE 46395.614
AT ITER 2076 NEW BEST:: SOT 177115 SOS 58767 HAS SOPS 58767 HAS SOUS 46317 HAS SOUPS 46317 WITH SCORE 46375.767
AT ITER 2078 NEW BEST:: SOT 177115 SOS 58767 HAS SOPS 58767 HAS SOUS 46307 HAS SOUPS 46307 WITH SCORE 46365.767
AT ITER 2097 NEW BEST:: SOT 177113 SOS 58751 HAS SOPS 58751 HAS SOUS 46203 HAS SOUPS 46203 WITH SCORE 46261.751
AT ITER 2104 NEW BEST:: SOT 177264 SOS 58718 HAS SOPS 58718 HAS SOUS 46201 HAS SOUPS 46201 WITH SCORE 46259.718
AT ITER 2112 NEW BEST:: SOT 177264 SOS 58711 HAS SOPS 58711 HAS SOUS 46194 HAS SOUPS 46194 WITH SCORE 46252.711
AT ITER 2127 NEW BEST:: SOT 177301 SOS 58748 HAS SOPS 58748 HAS SOUS 46161 HAS SOUPS 46161 WITH SCORE 46219.748
AT ITER 2144 NEW BEST:: SOT 177236 SOS 58670 HAS SOPS 58670 HAS SOUS 46068 HAS SOUPS 46068 WITH SCORE 46126.67
AT ITER 2150 NEW BEST:: SOT 177236 SOS 58489 HAS SOPS 58489 HAS SOUS 46018 HAS SOUPS 46018 WITH SCORE 46076.489
AT ITER 2185 NEW BEST:: SOT 177230 SOS 58479 HAS SOPS 58479 HAS SOUS 46008 HAS SOUPS 46008 WITH SCORE 46066.479
AT ITER 2186 NEW BEST:: SOT 177201 SOS 58281 HAS SOPS 58281 HAS SOUS 45923 HAS SOUPS 45923 WITH SCORE 45981.281
AT ITER 2189 NEW BEST:: SOT 177175 SOS 58263 HAS SOPS 58263 HAS SOUS 45905 HAS SOUPS 45905 WITH SCORE 45963.263
AT ITER 2201 NEW BEST:: SOT 177171 SOS 58257 HAS SOPS 58257 HAS SOUS 45901 HAS SOUPS 45901 WITH SCORE 45959.257
AT ITER 2206 NEW BEST:: SOT 177114 SOS 58290 HAS SOPS 58290 HAS SOUS 45844 HAS SOUPS 45844 WITH SCORE 45902.29
AT ITER 2231 NEW BEST:: SOT 177110 SOS 58272 HAS SOPS 58272 HAS SOUS 45826 HAS SOUPS 45826 WITH SCORE 45884.272
AT ITER 2233 NEW BEST:: SOT 177049 SOS 58211 HAS SOPS 58211 HAS SOUS 45765 HAS SOUPS 45765 WITH SCORE 45823.211
AT ITER 2251 NEW BEST:: SOT 176959 SOS 58076 HAS SOPS 58076 HAS SOUS 45675 HAS SOUPS 45675 WITH SCORE 45733.076
AT ITER 2255 NEW BEST:: SOT 176823 SOS 57841 HAS SOPS 57841 HAS SOUS 45392 HAS SOUPS 45392 WITH SCORE 45449.841
AT ITER 2265 NEW BEST:: SOT 176852 SOS 57788 HAS SOPS 57788 HAS SOUS 45339 HAS SOUPS 45339 WITH SCORE 45396.788
AT ITER 2276 NEW BEST:: SOT 176817 SOS 57753 HAS SOPS 57753 HAS SOUS 45339 HAS SOUPS 45339 WITH SCORE 45396.753
AT ITER 2279 NEW BEST:: SOT 176808 SOS 57844 HAS SOPS 57844 HAS SOUS 45328 HAS SOUPS 45328 WITH SCORE 45385.844
AT ITER 2305 NEW BEST:: SOT 176846 SOS 57839 HAS SOPS 57839 HAS SOUS 45323 HAS SOUPS 45323 WITH SCORE 45380.839
AT ITER 2332 NEW BEST:: SOT 176659 SOS 57496 HAS SOPS 57496 HAS SOUS 44980 HAS SOUPS 44980 WITH SCORE 45037.496
AT ITER 2359 NEW BEST:: SOT 176668 SOS 57495 HAS SOPS 57495 HAS SOUS 44979 HAS SOUPS 44979 WITH SCORE 45036.495
AT ITER 2377 NEW BEST:: SOT 176658 SOS 57485 HAS SOPS 57485 HAS SOUS 44969 HAS SOUPS 44969 WITH SCORE 45026.485
AT ITER 2383 NEW BEST:: SOT 176621 SOS 57374 HAS SOPS 57374 HAS SOUS 44858 HAS SOUPS 44858 WITH SCORE 44915.374
AT ITER 2389 NEW BEST:: SOT 176613 SOS 57342 HAS SOPS 57342 HAS SOUS 44826 HAS SOUPS 44826 WITH SCORE 44883.342
AT ITER 2392 NEW BEST:: SOT 176584 SOS 57313 HAS SOPS 57313 HAS SOUS 44797 HAS SOUPS 44797 WITH SCORE 44854.313
AT ITER 2397 NEW BEST:: SOT 176374 SOS 56867 HAS SOPS 56867 HAS SOUS 44574 HAS SOUPS 44574 WITH SCORE 44630.867
AT ITER 2427 NEW BEST:: SOT 176441 SOS 56849 HAS SOPS 56849 HAS SOUS 44556 HAS SOUPS 44556 WITH SCORE 44612.849
AT ITER 2445 NEW BEST:: SOT 176416 SOS 56824 HAS SOPS 56824 HAS SOUS 44531 HAS SOUPS 44531 WITH SCORE 44587.824
AT ITER 2454 NEW BEST:: SOT 176410 SOS 56822 HAS SOPS 56822 HAS SOUS 44529 HAS SOUPS 44529 WITH SCORE 44585.822
AT ITER 2456 NEW BEST:: SOT 176314 SOS 56630 HAS SOPS 56630 HAS SOUS 44361 HAS SOUPS 44361 WITH SCORE 44417.63
AT ITER 2457 NEW BEST:: SOT 176118 SOS 56584 HAS SOPS 56584 HAS SOUS 44315 HAS SOUPS 44315 WITH SCORE 44371.584
AT ITER 2462 NEW BEST:: SOT 175962 SOS 56463 HAS SOPS 56463 HAS SOUS 44194 HAS SOUPS 44194 WITH SCORE 44250.463
AT ITER 2473 NEW BEST:: SOT 175920 SOS 56787 HAS SOPS 56787 HAS SOUS 44144 HAS SOUPS 44144 WITH SCORE 44200.787
AT ITER 2475 NEW BEST:: SOT 175899 SOS 56743 HAS SOPS 56743 HAS SOUS 44074 HAS SOUPS 44074 WITH SCORE 44130.743
AT ITER 2477 NEW BEST:: SOT 175899 SOS 56715 HAS SOPS 56715 HAS SOUS 44046 HAS SOUPS 44046 WITH SCORE 44102.715
AT ITER 2479 NEW BEST:: SOT 175918 SOS 56698 HAS SOPS 56698 HAS SOUS 44029 HAS SOUPS 44029 WITH SCORE 44085.698
AT ITER 2498 NEW BEST:: SOT 175831 SOS 56611 HAS SOPS 56611 HAS SOUS 43942 HAS SOUPS 43942 WITH SCORE 43998.611
AT ITER 2520 NEW BEST:: SOT 175871 SOS 56544 HAS SOPS 56544 HAS SOUS 43875 HAS SOUPS 43875 WITH SCORE 43931.544
AT ITER 2539 NEW BEST:: SOT 175779 SOS 56360 HAS SOPS 56360 HAS SOUS 43781 HAS SOUPS 43781 WITH SCORE 43837.36
AT ITER 2545 NEW BEST:: SOT 175763 SOS 56328 HAS SOPS 56328 HAS SOUS 43749 HAS SOUPS 43749 WITH SCORE 43805.328
AT ITER 2547 NEW BEST:: SOT 175732 SOS 56148 HAS SOPS 56148 HAS SOUS 43574 HAS SOUPS 43574 WITH SCORE 43630.148
AT ITER 2573 NEW BEST:: SOT 175710 SOS 56134 HAS SOPS 56134 HAS SOUS 43560 HAS SOUPS 43560 WITH SCORE 43616.134
AT ITER 2602 NEW BEST:: SOT 175663 SOS 56041 HAS SOPS 56041 HAS SOUS 43466 HAS SOUPS 43466 WITH SCORE 43522.041
AT ITER 2644 NEW BEST:: SOT 175640 SOS 56018 HAS SOPS 56018 HAS SOUS 43443 HAS SOUPS 43443 WITH SCORE 43499.018
AT ITER 2685 NEW BEST:: SOT 175641 SOS 56020 HAS SOPS 56020 HAS SOUS 43432 HAS SOUPS 43432 WITH SCORE 43488.02
AT ITER 2689 NEW BEST:: SOT 175629 SOS 55996 HAS SOPS 55996 HAS SOUS 43408 HAS SOUPS 43408 WITH SCORE 43463.996
AT ITER 2698 NEW BEST:: SOT 175430 SOS 56075 HAS SOPS 56075 HAS SOUS 43375 HAS SOUPS 43375 WITH SCORE 43431.075
AT ITER 2714 NEW BEST:: SOT 175334 SOS 55989 HAS SOPS 55989 HAS SOUS 43289 HAS SOUPS 43289 WITH SCORE 43344.989
AT ITER 2721 NEW BEST:: SOT 175334 SOS 55956 HAS SOPS 55956 HAS SOUS 43289 HAS SOUPS 43289 WITH SCORE 43344.956
AT ITER 2737 NEW BEST:: SOT 175280 SOS 55892 HAS SOPS 55892 HAS SOUS 43225 HAS SOUPS 43225 WITH SCORE 43280.892
AT ITER 2756 NEW BEST:: SOT 175280 SOS 55756 HAS SOPS 55756 HAS SOUS 43115 HAS SOUPS 43115 WITH SCORE 43170.756
AT ITER 2773 NEW BEST:: SOT 175270 SOS 55746 HAS SOPS 55746 HAS SOUS 43105 HAS SOUPS 43105 WITH SCORE 43160.746
AT ITER 2798 NEW BEST:: SOT 175254 SOS 55738 HAS SOPS 55738 HAS SOUS 43098 HAS SOUPS 43098 WITH SCORE 43153.738
AT ITER 2817 NEW BEST:: SOT 175461 SOS 55659 HAS SOPS 55659 HAS SOUS 43026 HAS SOUPS 43026 WITH SCORE 43081.659
AT ITER 2822 NEW BEST:: SOT 175461 SOS 55649 HAS SOPS 55649 HAS SOUS 43006 HAS SOUPS 43006 WITH SCORE 43061.649
AT ITER 2837 NEW BEST:: SOT 175461 SOS 55641 HAS SOPS 55641 HAS SOUS 42998 HAS SOUPS 42998 WITH SCORE 43053.641
AT ITER 2910 NEW BEST:: SOT 175461 SOS 55641 HAS SOPS 55641 HAS SOUS 42978 HAS SOUPS 42978 WITH SCORE 43033.641
AT ITER 2921 NEW BEST:: SOT 175451 SOS 55621 HAS SOPS 55621 HAS SOUS 42968 HAS SOUPS 42968 WITH SCORE 43023.621
AT ITER 2928 NEW BEST:: SOT 175451 SOS 55594 HAS SOPS 55594 HAS SOUS 42914 HAS SOUPS 42914 WITH SCORE 42969.594
AT ITER 2932 NEW BEST:: SOT 175421 SOS 55504 HAS SOPS 55504 HAS SOUS 42854 HAS SOUPS 42854 WITH SCORE 42909.504
AT ITER 2939 NEW BEST:: SOT 175444 SOS 55478 HAS SOPS 55478 HAS SOUS 42841 HAS SOUPS 42841 WITH SCORE 42896.478
AT ITER 2958 NEW BEST:: SOT 175308 SOS 55319 HAS SOPS 55319 HAS SOUS 42682 HAS SOUPS 42682 WITH SCORE 42737.319
AT ITER 2977 NEW BEST:: SOT 175303 SOS 55299 HAS SOPS 55299 HAS SOUS 42662 HAS SOUPS 42662 WITH SCORE 42717.299
AT ITER 2984 NEW BEST:: SOT 175297 SOS 55293 HAS SOPS 55293 HAS SOUS 42656 HAS SOUPS 42656 WITH SCORE 42711.293
AT ITER 2989 NEW BEST:: SOT 175296 SOS 55291 HAS SOPS 55291 HAS SOUS 42654 HAS SOUPS 42654 WITH SCORE 42709.291
AT ITER 3010 NEW BEST:: SOT 175251 SOS 55231 HAS SOPS 55231 HAS SOUS 42594 HAS SOUPS 42594 WITH SCORE 42649.231
AT ITER 3038 NEW BEST:: SOT 175249 SOS 55227 HAS SOPS 55227 HAS SOUS 42585 HAS SOUPS 42585 WITH SCORE 42640.227
AT ITER 3040 NEW BEST:: SOT 175155 SOS 55175 HAS SOPS 55175 HAS SOUS 42466 HAS SOUPS 42466 WITH SCORE 42521.175
AT ITER 3067 NEW BEST:: SOT 175131 SOS 55127 HAS SOPS 55127 HAS SOUS 42430 HAS SOUPS 42430 WITH SCORE 42485.127
AT ITER 3072 NEW BEST:: SOT 175130 SOS 55126 HAS SOPS 55126 HAS SOUS 42429 HAS SOUPS 42429 WITH SCORE 42484.126
AT ITER 3073 NEW BEST:: SOT 175131 SOS 55126 HAS SOPS 55126 HAS SOUS 42428 HAS SOUPS 42428 WITH SCORE 42483.126
AT ITER 3090 NEW BEST:: SOT 175107 SOS 55080 HAS SOPS 55080 HAS SOUS 42382 HAS SOUPS 42382 WITH SCORE 42437.08
AT ITER 3098 NEW BEST:: SOT 175060 SOS 54986 HAS SOPS 54986 HAS SOUS 42298 HAS SOUPS 42298 WITH SCORE 42352.986
AT ITER 3144 NEW BEST:: SOT 175048 SOS 54952 HAS SOPS 54952 HAS SOUS 42264 HAS SOUPS 42264 WITH SCORE 42318.952
AT ITER 3154 NEW BEST:: SOT 175042 SOS 54946 HAS SOPS 54946 HAS SOUS 42264 HAS SOUPS 42264 WITH SCORE 42318.946
AT ITER 3156 NEW BEST:: SOT 175035 SOS 54925 HAS SOPS 54925 HAS SOUS 42250 HAS SOUPS 42250 WITH SCORE 42304.925
AT ITER 3161 NEW BEST:: SOT 175004 SOS 54894 HAS SOPS 54894 HAS SOUS 42219 HAS SOUPS 42219 WITH SCORE 42273.894
AT ITER 3167 NEW BEST:: SOT 175048 SOS 54897 HAS SOPS 54897 HAS SOUS 42182 HAS SOUPS 42182 WITH SCORE 42236.897
AT ITER 3170 NEW BEST:: SOT 174751 SOS 54599 HAS SOPS 54599 HAS SOUS 41884 HAS SOUPS 41884 WITH SCORE 41938.599
AT ITER 3210 NEW BEST:: SOT 174745 SOS 54531 HAS SOPS 54531 HAS SOUS 41833 HAS SOUPS 41833 WITH SCORE 41887.531
AT ITER 3213 NEW BEST:: SOT 174671 SOS 54420 HAS SOPS 54420 HAS SOUS 41759 HAS SOUPS 41759 WITH SCORE 41813.42
AT ITER 3215 NEW BEST:: SOT 174588 SOS 54313 HAS SOPS 54313 HAS SOUS 41711 HAS SOUPS 41711 WITH SCORE 41765.313
AT ITER 3216 NEW BEST:: SOT 174588 SOS 54310 HAS SOPS 54310 HAS SOUS 41711 HAS SOUPS 41711 WITH SCORE 41765.31
AT ITER 3227 NEW BEST:: SOT 174448 SOS 54079 HAS SOPS 54079 HAS SOUS 41625 HAS SOUPS 41625 WITH SCORE 41679.079
AT ITER 3230 NEW BEST:: SOT 174444 SOS 54073 HAS SOPS 54073 HAS SOUS 41619 HAS SOUPS 41619 WITH SCORE 41673.073
AT ITER 3232 NEW BEST:: SOT 174408 SOS 54066 HAS SOPS 54066 HAS SOUS 41612 HAS SOUPS 41612 WITH SCORE 41666.066
AT ITER 3236 NEW BEST:: SOT 174408 SOS 54066 HAS SOPS 54066 HAS SOUS 41571 HAS SOUPS 41571 WITH SCORE 41625.066
AT ITER 3260 NEW BEST:: SOT 174388 SOS 54006 HAS SOPS 54006 HAS SOUS 41511 HAS SOUPS 41511 WITH SCORE 41565.006
AT ITER 3264 NEW BEST:: SOT 174344 SOS 53964 HAS SOPS 53964 HAS SOUS 41509 HAS SOUPS 41509 WITH SCORE 41562.964
AT ITER 3283 NEW BEST:: SOT 174314 SOS 53898 HAS SOPS 53898 HAS SOUS 41443 HAS SOUPS 41443 WITH SCORE 41496.898
AT ITER 3333 NEW BEST:: SOT 174309 SOS 53893 HAS SOPS 53893 HAS SOUS 41438 HAS SOUPS 41438 WITH SCORE 41491.893
AT ITER 3342 NEW BEST:: SOT 174344 SOS 53801 HAS SOPS 53801 HAS SOUS 41346 HAS SOUPS 41346 WITH SCORE 41399.801
AT ITER 3348 NEW BEST:: SOT 174328 SOS 53769 HAS SOPS 53769 HAS SOUS 41314 HAS SOUPS 41314 WITH SCORE 41367.769
AT ITER 3355 NEW BEST:: SOT 174272 SOS 53703 HAS SOPS 53703 HAS SOUS 41248 HAS SOUPS 41248 WITH SCORE 41301.703
AT ITER 3369 NEW BEST:: SOT 174222 SOS 53690 HAS SOPS 53690 HAS SOUS 41235 HAS SOUPS 41235 WITH SCORE 41288.69
AT ITER 3396 NEW BEST:: SOT 174230 SOS 53633 HAS SOPS 53633 HAS SOUS 41113 HAS SOUPS 41113 WITH SCORE 41166.633
AT ITER 3401 NEW BEST:: SOT 174136 SOS 53539 HAS SOPS 53539 HAS SOUS 40970 HAS SOUPS 40970 WITH SCORE 41023.539
AT ITER 3408 NEW BEST:: SOT 174164 SOS 53533 HAS SOPS 53533 HAS SOUS 40936 HAS SOUPS 40936 WITH SCORE 40989.533
AT ITER 3428 NEW BEST:: SOT 174117 SOS 53455 HAS SOPS 53455 HAS SOUS 40862 HAS SOUPS 40862 WITH SCORE 40915.455
AT ITER 3435 NEW BEST:: SOT 174110 SOS 53448 HAS SOPS 53448 HAS SOUS 40855 HAS SOUPS 40855 WITH SCORE 40908.448
AT ITER 3454 NEW BEST:: SOT 174125 SOS 53395 HAS SOPS 53395 HAS SOUS 40802 HAS SOUPS 40802 WITH SCORE 40855.395
AT ITER 3459 NEW BEST:: SOT 174071 SOS 53287 HAS SOPS 53287 HAS SOUS 40694 HAS SOUPS 40694 WITH SCORE 40747.287
AT ITER 3469 NEW BEST:: SOT 174032 SOS 53209 HAS SOPS 53209 HAS SOUS 40616 HAS SOUPS 40616 WITH SCORE 40669.209
AT ITER 3488 NEW BEST:: SOT 174031 SOS 53233 HAS SOPS 53233 HAS SOUS 40591 HAS SOUPS 40591 WITH SCORE 40644.233
AT ITER 3525 NEW BEST:: SOT 173999 SOS 53059 HAS SOPS 53059 HAS SOUS 40449 HAS SOUPS 40449 WITH SCORE 40502.059
AT ITER 3538 NEW BEST:: SOT 173944 SOS 53050 HAS SOPS 53050 HAS SOUS 40394 HAS SOUPS 40394 WITH SCORE 40447.05
AT ITER 3540 NEW BEST:: SOT 173918 SOS 53024 HAS SOPS 53024 HAS SOUS 40368 HAS SOUPS 40368 WITH SCORE 40421.024
AT ITER 3541 NEW BEST:: SOT 173810 SOS 52808 HAS SOPS 52808 HAS SOUS 40291 HAS SOUPS 40291 WITH SCORE 40343.808
AT ITER 3559 NEW BEST:: SOT 173808 SOS 52802 HAS SOPS 52802 HAS SOUS 40285 HAS SOUPS 40285 WITH SCORE 40337.802
AT ITER 3586 NEW BEST:: SOT 173817 SOS 52797 HAS SOPS 52797 HAS SOUS 40280 HAS SOUPS 40280 WITH SCORE 40332.797
AT ITER 3661 NEW BEST:: SOT 173817 SOS 52674 HAS SOPS 52674 HAS SOUS 40265 HAS SOUPS 40265 WITH SCORE 40317.674
AT ITER 3679 NEW BEST:: SOT 173755 SOS 52612 HAS SOPS 52612 HAS SOUS 40203 HAS SOUPS 40203 WITH SCORE 40255.612
AT ITER 3700 NEW BEST:: SOT 173571 SOS 52302 HAS SOPS 52302 HAS SOUS 40057 HAS SOUPS 40057 WITH SCORE 40109.302
AT ITER 3712 NEW BEST:: SOT 173562 SOS 52293 HAS SOPS 52293 HAS SOUS 40048 HAS SOUPS 40048 WITH SCORE 40100.293
AT ITER 3717 NEW BEST:: SOT 173562 SOS 52256 HAS SOPS 52256 HAS SOUS 40048 HAS SOUPS 40048 WITH SCORE 40100.256
AT ITER 3726 NEW BEST:: SOT 173562 SOS 52255 HAS SOPS 52255 HAS SOUS 40046 HAS SOUPS 40046 WITH SCORE 40098.255
AT ITER 3731 NEW BEST:: SOT 173510 SOS 52151 HAS SOPS 52151 HAS SOUS 39942 HAS SOUPS 39942 WITH SCORE 39994.151
AT ITER 3732 NEW BEST:: SOT 173510 SOS 52098 HAS SOPS 52098 HAS SOUS 39889 HAS SOUPS 39889 WITH SCORE 39941.098
AT ITER 3747 NEW BEST:: SOT 173494 SOS 52082 HAS SOPS 52082 HAS SOUS 39873 HAS SOUPS 39873 WITH SCORE 39925.082
AT ITER 3751 NEW BEST:: SOT 173530 SOS 52148 HAS SOPS 52148 HAS SOUS 39862 HAS SOUPS 39862 WITH SCORE 39914.148
AT ITER 3754 NEW BEST:: SOT 173539 SOS 52152 HAS SOPS 52152 HAS SOUS 39787 HAS SOUPS 39787 WITH SCORE 39839.152
AT ITER 3760 NEW BEST:: SOT 173491 SOS 52089 HAS SOPS 52089 HAS SOUS 39740 HAS SOUPS 39740 WITH SCORE 39792.089
AT ITER 3767 NEW BEST:: SOT 173549 SOS 52069 HAS SOPS 52069 HAS SOUS 39720 HAS SOUPS 39720 WITH SCORE 39772.069
AT ITER 3785 NEW BEST:: SOT 173540 SOS 52039 HAS SOPS 52039 HAS SOUS 39690 HAS SOUPS 39690 WITH SCORE 39742.039
AT ITER 3800 NEW BEST:: SOT 173542 SOS 52024 HAS SOPS 52024 HAS SOUS 39656 HAS SOUPS 39656 WITH SCORE 39708.024
AT ITER 3849 NEW BEST:: SOT 173525 SOS 52083 HAS SOPS 52083 HAS SOUS 39622 HAS SOUPS 39622 WITH SCORE 39674.083
AT ITER 3852 NEW BEST:: SOT 173500 SOS 52072 HAS SOPS 52072 HAS SOUS 39622 HAS SOUPS 39622 WITH SCORE 39674.072
AT ITER 3854 NEW BEST:: SOT 173537 SOS 52088 HAS SOPS 52088 HAS SOUS 39601 HAS SOUPS 39601 WITH SCORE 39653.088
AT ITER 3862 NEW BEST:: SOT 173523 SOS 52060 HAS SOPS 52060 HAS SOUS 39573 HAS SOUPS 39573 WITH SCORE 39625.06
AT ITER 3890 NEW BEST:: SOT 173532 SOS 52032 HAS SOPS 52032 HAS SOUS 39545 HAS SOUPS 39545 WITH SCORE 39597.032
AT ITER 3928 NEW BEST:: SOT 173466 SOS 51966 HAS SOPS 51966 HAS SOUS 39479 HAS SOUPS 39479 WITH SCORE 39530.966
AT ITER 3981 NEW BEST:: SOT 173450 SOS 51934 HAS SOPS 51934 HAS SOUS 39463 HAS SOUPS 39463 WITH SCORE 39514.934
AT ITER 4023 NEW BEST:: SOT 173440 SOS 51914 HAS SOPS 51914 HAS SOUS 39453 HAS SOUPS 39453 WITH SCORE 39504.914
AT ITER 4063 NEW BEST:: SOT 173420 SOS 51894 HAS SOPS 51894 HAS SOUS 39453 HAS SOUPS 39453 WITH SCORE 39504.894
AT ITER 4091 NEW BEST:: SOT 173395 SOS 51841 HAS SOPS 51841 HAS SOUS 39428 HAS SOUPS 39428 WITH SCORE 39479.841
AT ITER 4120 NEW BEST:: SOT 173337 SOS 51793 HAS SOPS 51793 HAS SOUS 39380 HAS SOUPS 39380 WITH SCORE 39431.793
AT ITER 4136 NEW BEST:: SOT 173329 SOS 51777 HAS SOPS 51777 HAS SOUS 39335 HAS SOUPS 39335 WITH SCORE 39386.777
AT ITER 4149 NEW BEST:: SOT 173268 SOS 51716 HAS SOPS 51716 HAS SOUS 39335 HAS SOUPS 39335 WITH SCORE 39386.716
AT ITER 4196 NEW BEST:: SOT 173257 SOS 51694 HAS SOPS 51694 HAS SOUS 39313 HAS SOUPS 39313 WITH SCORE 39364.694
AT ITER 4199 NEW BEST:: SOT 173213 SOS 51606 HAS SOPS 51606 HAS SOUS 39247 HAS SOUPS 39247 WITH SCORE 39298.606
AT ITER 4200 NEW BEST:: SOT 173137 SOS 51429 HAS SOPS 51429 HAS SOUS 39070 HAS SOUPS 39070 WITH SCORE 39121.429
AT ITER 4217 NEW BEST:: SOT 172948 SOS 51092 HAS SOPS 51092 HAS SOUS 38733 HAS SOUPS 38733 WITH SCORE 38784.092
AT ITER 4268 NEW BEST:: SOT 172926 SOS 51014 HAS SOPS 51014 HAS SOUS 38713 HAS SOUPS 38713 WITH SCORE 38764.014
AT ITER 4281 NEW BEST:: SOT 172828 SOS 50816 HAS SOPS 50816 HAS SOUS 38613 HAS SOUPS 38613 WITH SCORE 38663.816
AT ITER 4296 NEW BEST:: SOT 172868 SOS 51156 HAS SOPS 51156 HAS SOUS 38553 HAS SOUPS 38553 WITH SCORE 38604.156
AT ITER 4315 NEW BEST:: SOT 172807 SOS 50968 HAS SOPS 50968 HAS SOUS 38488 HAS SOUPS 38488 WITH SCORE 38538.968
AT ITER 4334 NEW BEST:: SOT 172769 SOS 50892 HAS SOPS 50892 HAS SOUS 38412 HAS SOUPS 38412 WITH SCORE 38462.892
AT ITER 4336 NEW BEST:: SOT 172590 SOS 50627 HAS SOPS 50627 HAS SOUS 38379 HAS SOUPS 38379 WITH SCORE 38429.627
AT ITER 4342 NEW BEST:: SOT 172516 SOS 50494 HAS SOPS 50494 HAS SOUS 38274 HAS SOUPS 38274 WITH SCORE 38324.494
AT ITER 4353 NEW BEST:: SOT 172509 SOS 50480 HAS SOPS 50480 HAS SOUS 38267 HAS SOUPS 38267 WITH SCORE 38317.48
AT ITER 4364 NEW BEST:: SOT 172494 SOS 50469 HAS SOPS 50469 HAS SOUS 38256 HAS SOUPS 38256 WITH SCORE 38306.469
AT ITER 4374 NEW BEST:: SOT 172482 SOS 50433 HAS SOPS 50433 HAS SOUS 38232 HAS SOUPS 38232 WITH SCORE 38282.433
AT ITER 4381 NEW BEST:: SOT 172482 SOS 50430 HAS SOPS 50430 HAS SOUS 38229 HAS SOUPS 38229 WITH SCORE 38279.43
AT ITER 4388 NEW BEST:: SOT 172476 SOS 50418 HAS SOPS 50418 HAS SOUS 38217 HAS SOUPS 38217 WITH SCORE 38267.418
AT ITER 4418 NEW BEST:: SOT 172460 SOS 50402 HAS SOPS 50402 HAS SOUS 38217 HAS SOUPS 38217 WITH SCORE 38267.402
AT ITER 4432 NEW BEST:: SOT 172510 SOS 50432 HAS SOPS 50432 HAS SOUS 38196 HAS SOUPS 38196 WITH SCORE 38246.432
AT ITER 4438 NEW BEST:: SOT 172476 SOS 50357 HAS SOPS 50357 HAS SOUS 38121 HAS SOUPS 38121 WITH SCORE 38171.357
AT ITER 4462 NEW BEST:: SOT 172476 SOS 50287 HAS SOPS 50287 HAS SOUS 38051 HAS SOUPS 38051 WITH SCORE 38101.287
AT ITER 4475 NEW BEST:: SOT 172468 SOS 50270 HAS SOPS 50270 HAS SOUS 38034 HAS SOUPS 38034 WITH SCORE 38084.27
AT ITER 4480 NEW BEST:: SOT 172441 SOS 50216 HAS SOPS 50216 HAS SOUS 38007 HAS SOUPS 38007 WITH SCORE 38057.216
AT ITER 4507 NEW BEST:: SOT 172438 SOS 50192 HAS SOPS 50192 HAS SOUS 38000 HAS SOUPS 38000 WITH SCORE 38050.192
AT ITER 4518 NEW BEST:: SOT 172436 SOS 50214 HAS SOPS 50214 HAS SOUS 37998 HAS SOUPS 37998 WITH SCORE 38048.214
AT ITER 4529 NEW BEST:: SOT 172436 SOS 50209 HAS SOPS 50209 HAS SOUS 37993 HAS SOUPS 37993 WITH SCORE 38043.209
AT ITER 4537 NEW BEST:: SOT 172423 SOS 50183 HAS SOPS 50183 HAS SOUS 37980 HAS SOUPS 37980 WITH SCORE 38030.183
AT ITER 4547 NEW BEST:: SOT 172429 SOS 50099 HAS SOPS 50099 HAS SOUS 37896 HAS SOUPS 37896 WITH SCORE 37946.099
AT ITER 4558 NEW BEST:: SOT 172357 SOS 50000 HAS SOPS 50000 HAS SOUS 37797 HAS SOUPS 37797 WITH SCORE 37847.0
AT ITER 4574 NEW BEST:: SOT 172350 SOS 49990 HAS SOPS 49990 HAS SOUS 37787 HAS SOUPS 37787 WITH SCORE 37836.99
AT ITER 4593 NEW BEST:: SOT 172342 SOS 49982 HAS SOPS 49982 HAS SOUS 37779 HAS SOUPS 37779 WITH SCORE 37828.982
AT ITER 4595 NEW BEST:: SOT 172286 SOS 49898 HAS SOPS 49898 HAS SOUS 37695 HAS SOUPS 37695 WITH SCORE 37744.898
AT ITER 4607 NEW BEST:: SOT 172283 SOS 49895 HAS SOPS 49895 HAS SOUS 37692 HAS SOUPS 37692 WITH SCORE 37741.895
AT ITER 4641 NEW BEST:: SOT 172260 SOS 49849 HAS SOPS 49849 HAS SOUS 37646 HAS SOUPS 37646 WITH SCORE 37695.849
AT ITER 4644 NEW BEST:: SOT 172256 SOS 49808 HAS SOPS 49808 HAS SOUS 37603 HAS SOUPS 37603 WITH SCORE 37652.808
AT ITER 4645 NEW BEST:: SOT 172252 SOS 49800 HAS SOPS 49800 HAS SOUS 37595 HAS SOUPS 37595 WITH SCORE 37644.8
AT ITER 4653 NEW BEST:: SOT 172251 SOS 49798 HAS SOPS 49798 HAS SOUS 37593 HAS SOUPS 37593 WITH SCORE 37642.798
AT ITER 4684 NEW BEST:: SOT 172248 SOS 49796 HAS SOPS 49796 HAS SOUS 37591 HAS SOUPS 37591 WITH SCORE 37640.796
AT ITER 4687 NEW BEST:: SOT 172333 SOS 49840 HAS SOPS 49840 HAS SOUS 37572 HAS SOUPS 37572 WITH SCORE 37621.84
AT ITER 4713 NEW BEST:: SOT 172304 SOS 49902 HAS SOPS 49902 HAS SOUS 37544 HAS SOUPS 37544 WITH SCORE 37593.902
AT ITER 4796 NEW BEST:: SOT 172307 SOS 49873 HAS SOPS 49873 HAS SOUS 37543 HAS SOUPS 37543 WITH SCORE 37592.873
AT ITER 4806 NEW BEST:: SOT 172306 SOS 49871 HAS SOPS 49871 HAS SOUS 37541 HAS SOUPS 37541 WITH SCORE 37590.871
AT ITER 4808 NEW BEST:: SOT 172306 SOS 49843 HAS SOPS 49843 HAS SOUS 37513 HAS SOUPS 37513 WITH SCORE 37562.843
AT ITER 4876 NEW BEST:: SOT 172352 SOS 49805 HAS SOPS 49805 HAS SOUS 37487 HAS SOUPS 37487 WITH SCORE 37536.805
AT ITER 4878 NEW BEST:: SOT 172352 SOS 49804 HAS SOPS 49804 HAS SOUS 37486 HAS SOUPS 37486 WITH SCORE 37535.804
AT ITER 4881 NEW BEST:: SOT 172333 SOS 49766 HAS SOPS 49766 HAS SOUS 37467 HAS SOUPS 37467 WITH SCORE 37516.766
AT ITER 4884 NEW BEST:: SOT 172333 SOS 49716 HAS SOPS 49716 HAS SOUS 37439 HAS SOUPS 37439 WITH SCORE 37488.716
AT ITER 4915 NEW BEST:: SOT 172319 SOS 49688 HAS SOPS 49688 HAS SOUS 37411 HAS SOUPS 37411 WITH SCORE 37460.688
AT ITER 4928 NEW BEST:: SOT 172319 SOS 49674 HAS SOPS 49674 HAS SOUS 37383 HAS SOUPS 37383 WITH SCORE 37432.674
AT ITER 4946 NEW BEST:: SOT 172293 SOS 49635 HAS SOPS 49635 HAS SOUS 37357 HAS SOUPS 37357 WITH SCORE 37406.635
AT ITER 4947 NEW BEST:: SOT 172293 SOS 49623 HAS SOPS 49623 HAS SOUS 37348 HAS SOUPS 37348 WITH SCORE 37397.623
AT ITER 4959 NEW BEST:: SOT 172294 SOS 49620 HAS SOPS 49620 HAS SOUS 37345 HAS SOUPS 37345 WITH SCORE 37394.62
AT ITER 4965 NEW BEST:: SOT 172306 SOS 49539 HAS SOPS 49539 HAS SOUS 37315 HAS SOUPS 37315 WITH SCORE 37364.539
AT ITER 4993 NEW BEST:: SOT 172280 SOS 49500 HAS SOPS 49500 HAS SOUS 37289 HAS SOUPS 37289 WITH SCORE 37338.5
AT ITER 5001 NEW BEST:: SOT 172280 SOS 49499 HAS SOPS 49499 HAS SOUS 37288 HAS SOUPS 37288 WITH SCORE 37337.499
AT ITER 5019 NEW BEST:: SOT 172235 SOS 49409 HAS SOPS 49409 HAS SOUS 37198 HAS SOUPS 37198 WITH SCORE 37247.409
AT ITER 5031 NEW BEST:: SOT 172154 SOS 49221 HAS SOPS 49221 HAS SOUS 37192 HAS SOUPS 37192 WITH SCORE 37241.221
AT ITER 5053 NEW BEST:: SOT 172090 SOS 49093 HAS SOPS 49093 HAS SOUS 37153 HAS SOUPS 37153 WITH SCORE 37202.093
AT ITER 5106 NEW BEST:: SOT 172111 SOS 49086 HAS SOPS 49086 HAS SOUS 37146 HAS SOUPS 37146 WITH SCORE 37195.086
AT ITER 5134 NEW BEST:: SOT 172153 SOS 49083 HAS SOPS 49083 HAS SOUS 37143 HAS SOUPS 37143 WITH SCORE 37192.083
AT ITER 5139 NEW BEST:: SOT 172144 SOS 49031 HAS SOPS 49031 HAS SOUS 37112 HAS SOUPS 37112 WITH SCORE 37161.031
AT ITER 5144 NEW BEST:: SOT 172146 SOS 48969 HAS SOPS 48969 HAS SOUS 37098 HAS SOUPS 37098 WITH SCORE 37146.969
AT ITER 5161 NEW BEST:: SOT 172146 SOS 48945 HAS SOPS 48945 HAS SOUS 37074 HAS SOUPS 37074 WITH SCORE 37122.945
AT ITER 5173 NEW BEST:: SOT 172130 SOS 48913 HAS SOPS 48913 HAS SOUS 37042 HAS SOUPS 37042 WITH SCORE 37090.913
AT ITER 5202 NEW BEST:: SOT 172128 SOS 48909 HAS SOPS 48909 HAS SOUS 37038 HAS SOUPS 37038 WITH SCORE 37086.909
AT ITER 5241 NEW BEST:: SOT 172113 SOS 48890 HAS SOPS 48890 HAS SOUS 37019 HAS SOUPS 37019 WITH SCORE 37067.89
AT ITER 5269 NEW BEST:: SOT 172113 SOS 48890 HAS SOPS 48890 HAS SOUS 37003 HAS SOUPS 37003 WITH SCORE 37051.89
AT ITER 5313 NEW BEST:: SOT 172098 SOS 48831 HAS SOPS 48831 HAS SOUS 36933 HAS SOUPS 36933 WITH SCORE 36981.831
AT ITER 5330 NEW BEST:: SOT 172098 SOS 48687 HAS SOPS 48687 HAS SOUS 36789 HAS SOUPS 36789 WITH SCORE 36837.687
AT ITER 5396 NEW BEST:: SOT 172099 SOS 48687 HAS SOPS 48687 HAS SOUS 36788 HAS SOUPS 36788 WITH SCORE 36836.687
AT ITER 5453 NEW BEST:: SOT 172097 SOS 48685 HAS SOPS 48685 HAS SOUS 36786 HAS SOUPS 36786 WITH SCORE 36834.685
AT ITER 5465 NEW BEST:: SOT 172031 SOS 48619 HAS SOPS 48619 HAS SOUS 36720 HAS SOUPS 36720 WITH SCORE 36768.619
AT ITER 5491 NEW BEST:: SOT 172024 SOS 48570 HAS SOPS 48570 HAS SOUS 36695 HAS SOUPS 36695 WITH SCORE 36743.57
AT ITER 5495 NEW BEST:: SOT 172044 SOS 48673 HAS SOPS 48673 HAS SOUS 36679 HAS SOUPS 36679 WITH SCORE 36727.673
AT ITER 5505 NEW BEST:: SOT 172031 SOS 48647 HAS SOPS 48647 HAS SOUS 36662 HAS SOUPS 36662 WITH SCORE 36710.647
AT ITER 5528 NEW BEST:: SOT 172024 SOS 48640 HAS SOPS 48640 HAS SOUS 36655 HAS SOUPS 36655 WITH SCORE 36703.64
AT ITER 5535 NEW BEST:: SOT 172061 SOS 48617 HAS SOPS 48617 HAS SOUS 36632 HAS SOUPS 36632 WITH SCORE 36680.617
AT ITER 5538 NEW BEST:: SOT 172062 SOS 48618 HAS SOPS 48618 HAS SOUS 36611 HAS SOUPS 36611 WITH SCORE 36659.618
AT ITER 5549 NEW BEST:: SOT 172059 SOS 48615 HAS SOPS 48615 HAS SOUS 36582 HAS SOUPS 36582 WITH SCORE 36630.615
AT ITER 5556 NEW BEST:: SOT 172044 SOS 48585 HAS SOPS 48585 HAS SOUS 36552 HAS SOUPS 36552 WITH SCORE 36600.585
AT ITER 5585 NEW BEST:: SOT 172031 SOS 48559 HAS SOPS 48559 HAS SOUS 36526 HAS SOUPS 36526 WITH SCORE 36574.559
AT ITER 5620 NEW BEST:: SOT 172020 SOS 48554 HAS SOPS 48554 HAS SOUS 36521 HAS SOUPS 36521 WITH SCORE 36569.554
AT ITER 5637 NEW BEST:: SOT 172016 SOS 48524 HAS SOPS 48524 HAS SOUS 36491 HAS SOUPS 36491 WITH SCORE 36539.524
AT ITER 5652 NEW BEST:: SOT 171958 SOS 48518 HAS SOPS 48518 HAS SOUS 36485 HAS SOUPS 36485 WITH SCORE 36533.518
AT ITER 5668 NEW BEST:: SOT 171954 SOS 48504 HAS SOPS 48504 HAS SOUS 36471 HAS SOUPS 36471 WITH SCORE 36519.504
AT ITER 5671 NEW BEST:: SOT 171954 SOS 48471 HAS SOPS 48471 HAS SOUS 36471 HAS SOUPS 36471 WITH SCORE 36519.471
AT ITER 5677 NEW BEST:: SOT 171921 SOS 48405 HAS SOPS 48405 HAS SOUS 36391 HAS SOUPS 36391 WITH SCORE 36439.405
AT ITER 5690 NEW BEST:: SOT 172101 SOS 48564 HAS SOPS 48564 HAS SOUS 36384 HAS SOUPS 36384 WITH SCORE 36432.564
AT ITER 5692 NEW BEST:: SOT 172086 SOS 48565 HAS SOPS 48565 HAS SOUS 36364 HAS SOUPS 36364 WITH SCORE 36412.565
AT ITER 5718 NEW BEST:: SOT 172091 SOS 48540 HAS SOPS 48540 HAS SOUS 36339 HAS SOUPS 36339 WITH SCORE 36387.54
AT ITER 5737 NEW BEST:: SOT 172109 SOS 48540 HAS SOPS 48540 HAS SOUS 36321 HAS SOUPS 36321 WITH SCORE 36369.54
AT ITER 5771 NEW BEST:: SOT 172102 SOS 48526 HAS SOPS 48526 HAS SOUS 36307 HAS SOUPS 36307 WITH SCORE 36355.526
AT ITER 5787 NEW BEST:: SOT 172103 SOS 48507 HAS SOPS 48507 HAS SOUS 36307 HAS SOUPS 36307 WITH SCORE 36355.507
AT ITER 5791 NEW BEST:: SOT 172086 SOS 48466 HAS SOPS 48466 HAS SOUS 36266 HAS SOUPS 36266 WITH SCORE 36314.466
AT ITER 5857 NEW BEST:: SOT 172056 SOS 48443 HAS SOPS 48443 HAS SOUS 36243 HAS SOUPS 36243 WITH SCORE 36291.443
AT ITER 5863 NEW BEST:: SOT 172014 SOS 48359 HAS SOPS 48359 HAS SOUS 36159 HAS SOUPS 36159 WITH SCORE 36207.359
AT ITER 5867 NEW BEST:: SOT 172009 SOS 48349 HAS SOPS 48349 HAS SOUS 36149 HAS SOUPS 36149 WITH SCORE 36197.349
AT ITER 5875 NEW BEST:: SOT 171998 SOS 48327 HAS SOPS 48327 HAS SOUS 36127 HAS SOUPS 36127 WITH SCORE 36175.327
AT ITER 5906 NEW BEST:: SOT 172010 SOS 48282 HAS SOPS 48282 HAS SOUS 36093 HAS SOUPS 36093 WITH SCORE 36141.282
AT ITER 5912 NEW BEST:: SOT 171902 SOS 48116 HAS SOPS 48116 HAS SOUS 35985 HAS SOUPS 35985 WITH SCORE 36033.116
AT ITER 5925 NEW BEST:: SOT 171889 SOS 48103 HAS SOPS 48103 HAS SOUS 35959 HAS SOUPS 35959 WITH SCORE 36007.103
AT ITER 5932 NEW BEST:: SOT 171860 SOS 48074 HAS SOPS 48074 HAS SOUS 35930 HAS SOUPS 35930 WITH SCORE 35978.074
AT ITER 5942 NEW BEST:: SOT 171849 SOS 48063 HAS SOPS 48063 HAS SOUS 35919 HAS SOUPS 35919 WITH SCORE 35967.063
AT ITER 6039 NEW BEST:: SOT 171821 SOS 48037 HAS SOPS 48037 HAS SOUS 35904 HAS SOUPS 35904 WITH SCORE 35952.037
AT ITER 6041 NEW BEST:: SOT 171801 SOS 48007 HAS SOPS 48007 HAS SOUS 35874 HAS SOUPS 35874 WITH SCORE 35922.007
AT ITER 6044 NEW BEST:: SOT 171742 SOS 47910 HAS SOPS 47910 HAS SOUS 35777 HAS SOUPS 35777 WITH SCORE 35824.91
AT ITER 6053 NEW BEST:: SOT 171731 SOS 47898 HAS SOPS 47898 HAS SOUS 35765 HAS SOUPS 35765 WITH SCORE 35812.898
AT ITER 6064 NEW BEST:: SOT 171744 SOS 47875 HAS SOPS 47875 HAS SOUS 35746 HAS SOUPS 35746 WITH SCORE 35793.875
AT ITER 6067 NEW BEST:: SOT 171740 SOS 47867 HAS SOPS 47867 HAS SOUS 35738 HAS SOUPS 35738 WITH SCORE 35785.867
AT ITER 6068 NEW BEST:: SOT 171735 SOS 47797 HAS SOPS 47797 HAS SOUS 35668 HAS SOUPS 35668 WITH SCORE 35715.797
AT ITER 6076 NEW BEST:: SOT 171745 SOS 47804 HAS SOPS 47804 HAS SOUS 35665 HAS SOUPS 35665 WITH SCORE 35712.804
AT ITER 6080 NEW BEST:: SOT 171691 SOS 47784 HAS SOPS 47784 HAS SOUS 35645 HAS SOUPS 35645 WITH SCORE 35692.784
AT ITER 6112 NEW BEST:: SOT 171734 SOS 47826 HAS SOPS 47826 HAS SOUS 35643 HAS SOUPS 35643 WITH SCORE 35690.826
AT ITER 6131 NEW BEST:: SOT 171734 SOS 47826 HAS SOPS 47826 HAS SOUS 35641 HAS SOUPS 35641 WITH SCORE 35688.826
AT ITER 6140 NEW BEST:: SOT 171733 SOS 47732 HAS SOPS 47732 HAS SOUS 35589 HAS SOUPS 35589 WITH SCORE 35636.732
AT ITER 6165 NEW BEST:: SOT 171674 SOS 47673 HAS SOPS 47673 HAS SOUS 35530 HAS SOUPS 35530 WITH SCORE 35577.673
AT ITER 6217 NEW BEST:: SOT 171691 SOS 47673 HAS SOPS 47673 HAS SOUS 35513 HAS SOUPS 35513 WITH SCORE 35560.673
AT ITER 6251 NEW BEST:: SOT 171663 SOS 47661 HAS SOPS 47661 HAS SOUS 35499 HAS SOUPS 35499 WITH SCORE 35546.661
AT ITER 6308 NEW BEST:: SOT 171632 SOS 47643 HAS SOPS 47643 HAS SOUS 35481 HAS SOUPS 35481 WITH SCORE 35528.643
AT ITER 6369 NEW BEST:: SOT 171604 SOS 47615 HAS SOPS 47615 HAS SOUS 35453 HAS SOUPS 35453 WITH SCORE 35500.615
AT ITER 6384 NEW BEST:: SOT 171568 SOS 47533 HAS SOPS 47533 HAS SOUS 35417 HAS SOUPS 35417 WITH SCORE 35464.533
AT ITER 6397 NEW BEST:: SOT 171627 SOS 47582 HAS SOPS 47582 HAS SOUS 35397 HAS SOUPS 35397 WITH SCORE 35444.582
AT ITER 6400 NEW BEST:: SOT 171619 SOS 47589 HAS SOPS 47589 HAS SOUS 35383 HAS SOUPS 35383 WITH SCORE 35430.589
AT ITER 6466 NEW BEST:: SOT 171607 SOS 47560 HAS SOPS 47560 HAS SOUS 35354 HAS SOUPS 35354 WITH SCORE 35401.56
AT ITER 6493 NEW BEST:: SOT 171580 SOS 47485 HAS SOPS 47485 HAS SOUS 35279 HAS SOUPS 35279 WITH SCORE 35326.485
AT ITER 6510 NEW BEST:: SOT 171580 SOS 47485 HAS SOPS 47485 HAS SOUS 35273 HAS SOUPS 35273 WITH SCORE 35320.485
AT ITER 6540 NEW BEST:: SOT 171500 SOS 47394 HAS SOPS 47394 HAS SOUS 35170 HAS SOUPS 35170 WITH SCORE 35217.394
AT ITER 6610 NEW BEST:: SOT 171500 SOS 47394 HAS SOPS 47394 HAS SOUS 35157 HAS SOUPS 35157 WITH SCORE 35204.394
AT ITER 6706 NEW BEST:: SOT 171500 SOS 47380 HAS SOPS 47380 HAS SOUS 35143 HAS SOUPS 35143 WITH SCORE 35190.38
AT ITER 6725 NEW BEST:: SOT 171500 SOS 47380 HAS SOPS 47380 HAS SOUS 35139 HAS SOUPS 35139 WITH SCORE 35186.38
AT ITER 6737 NEW BEST:: SOT 171499 SOS 47378 HAS SOPS 47378 HAS SOUS 35138 HAS SOUPS 35138 WITH SCORE 35185.378
AT ITER 6745 NEW BEST:: SOT 171499 SOS 47370 HAS SOPS 47370 HAS SOUS 35134 HAS SOUPS 35134 WITH SCORE 35181.37
AT ITER 6750 NEW BEST:: SOT 171493 SOS 47361 HAS SOPS 47361 HAS SOUS 35125 HAS SOUPS 35125 WITH SCORE 35172.361
AT ITER 6752 NEW BEST:: SOT 171453 SOS 47338 HAS SOPS 47338 HAS SOUS 35083 HAS SOUPS 35083 WITH SCORE 35130.338
AT ITER 6768 NEW BEST:: SOT 171459 SOS 47344 HAS SOPS 47344 HAS SOUS 35056 HAS SOUPS 35056 WITH SCORE 35103.344
AT ITER 6812 NEW BEST:: SOT 171436 SOS 47321 HAS SOPS 47321 HAS SOUS 35033 HAS SOUPS 35033 WITH SCORE 35080.321
AT ITER 6834 NEW BEST:: SOT 171390 SOS 47242 HAS SOPS 47242 HAS SOUS 35015 HAS SOUPS 35015 WITH SCORE 35062.242
AT ITER 6842 NEW BEST:: SOT 171427 SOS 47275 HAS SOPS 47275 HAS SOUS 34976 HAS SOUPS 34976 WITH SCORE 35023.275
AT ITER 6895 NEW BEST:: SOT 171427 SOS 47245 HAS SOPS 47245 HAS SOUS 34916 HAS SOUPS 34916 WITH SCORE 34963.245
AT ITER 6898 NEW BEST:: SOT 171416 SOS 47203 HAS SOPS 47203 HAS SOUS 34890 HAS SOUPS 34890 WITH SCORE 34937.203
AT ITER 6902 NEW BEST:: SOT 171412 SOS 47195 HAS SOPS 47195 HAS SOUS 34884 HAS SOUPS 34884 WITH SCORE 34931.195
AT ITER 6905 NEW BEST:: SOT 171411 SOS 47193 HAS SOPS 47193 HAS SOUS 34882 HAS SOUPS 34882 WITH SCORE 34929.193
AT ITER 6912 NEW BEST:: SOT 171355 SOS 47137 HAS SOPS 47137 HAS SOUS 34826 HAS SOUPS 34826 WITH SCORE 34873.137
AT ITER 6916 NEW BEST:: SOT 171329 SOS 47024 HAS SOPS 47024 HAS SOUS 34713 HAS SOUPS 34713 WITH SCORE 34760.024
AT ITER 6929 NEW BEST:: SOT 171297 SOS 47037 HAS SOPS 47037 HAS SOUS 34681 HAS SOUPS 34681 WITH SCORE 34728.037
AT ITER 6972 NEW BEST:: SOT 171291 SOS 47031 HAS SOPS 47031 HAS SOUS 34675 HAS SOUPS 34675 WITH SCORE 34722.031
AT ITER 6985 NEW BEST:: SOT 171246 SOS 46986 HAS SOPS 46986 HAS SOUS 34630 HAS SOUPS 34630 WITH SCORE 34676.986
AT ITER 7033 NEW BEST:: SOT 171237 SOS 46977 HAS SOPS 46977 HAS SOUS 34630 HAS SOUPS 34630 WITH SCORE 34676.977
AT ITER 7042 NEW BEST:: SOT 171235 SOS 46985 HAS SOPS 46985 HAS SOUS 34623 HAS SOUPS 34623 WITH SCORE 34669.985
AT ITER 7051 NEW BEST:: SOT 171231 SOS 46977 HAS SOPS 46977 HAS SOUS 34615 HAS SOUPS 34615 WITH SCORE 34661.977
AT ITER 7052 NEW BEST:: SOT 171224 SOS 46963 HAS SOPS 46963 HAS SOUS 34601 HAS SOUPS 34601 WITH SCORE 34647.963
AT ITER 7062 NEW BEST:: SOT 171176 SOS 46935 HAS SOPS 46935 HAS SOUS 34601 HAS SOUPS 34601 WITH SCORE 34647.935
AT ITER 7120 NEW BEST:: SOT 171157 SOS 46916 HAS SOPS 46916 HAS SOUS 34601 HAS SOUPS 34601 WITH SCORE 34647.916
AT ITER 7124 NEW BEST:: SOT 171132 SOS 46887 HAS SOPS 46887 HAS SOUS 34572 HAS SOUPS 34572 WITH SCORE 34618.887
AT ITER 7144 NEW BEST:: SOT 171132 SOS 46885 HAS SOPS 46885 HAS SOUS 34570 HAS SOUPS 34570 WITH SCORE 34616.885
AT ITER 7150 NEW BEST:: SOT 171105 SOS 46862 HAS SOPS 46862 HAS SOUS 34547 HAS SOUPS 34547 WITH SCORE 34593.862
AT ITER 7186 NEW BEST:: SOT 171093 SOS 46838 HAS SOPS 46838 HAS SOUS 34523 HAS SOUPS 34523 WITH SCORE 34569.838
AT ITER 7199 NEW BEST:: SOT 171124 SOS 46860 HAS SOPS 46860 HAS SOUS 34505 HAS SOUPS 34505 WITH SCORE 34551.86
AT ITER 7225 NEW BEST:: SOT 171109 SOS 46845 HAS SOPS 46845 HAS SOUS 34475 HAS SOUPS 34475 WITH SCORE 34521.845
AT ITER 7260 NEW BEST:: SOT 171055 SOS 46737 HAS SOPS 46737 HAS SOUS 34475 HAS SOUPS 34475 WITH SCORE 34521.737
AT ITER 7269 NEW BEST:: SOT 171047 SOS 46729 HAS SOPS 46729 HAS SOUS 34467 HAS SOUPS 34467 WITH SCORE 34513.729
AT ITER 7271 NEW BEST:: SOT 171033 SOS 46701 HAS SOPS 46701 HAS SOUS 34439 HAS SOUPS 34439 WITH SCORE 34485.701
AT ITER 7344 NEW BEST:: SOT 170987 SOS 47263 HAS SOPS 47263 HAS SOUS 34401 HAS SOUPS 34401 WITH SCORE 34448.263
AT ITER 7370 NEW BEST:: SOT 170909 SOS 47119 HAS SOPS 47119 HAS SOUS 34257 HAS SOUPS 34257 WITH SCORE 34304.119
AT ITER 7435 NEW BEST:: SOT 170976 SOS 47197 HAS SOPS 47197 HAS SOUS 34250 HAS SOUPS 34250 WITH SCORE 34297.197
AT ITER 7438 NEW BEST:: SOT 170976 SOS 47197 HAS SOPS 47197 HAS SOUS 34247 HAS SOUPS 34247 WITH SCORE 34294.197
AT ITER 7473 NEW BEST:: SOT 170951 SOS 47167 HAS SOPS 47167 HAS SOUS 34234 HAS SOUPS 34234 WITH SCORE 34281.167
AT ITER 7496 NEW BEST:: SOT 170944 SOS 47158 HAS SOPS 47158 HAS SOUS 34225 HAS SOUPS 34225 WITH SCORE 34272.158
AT ITER 7504 NEW BEST:: SOT 170907 SOS 47084 HAS SOPS 47084 HAS SOUS 34151 HAS SOUPS 34151 WITH SCORE 34198.084
AT ITER 7513 NEW BEST:: SOT 170921 SOS 47112 HAS SOPS 47112 HAS SOUS 34139 HAS SOUPS 34139 WITH SCORE 34186.112
AT ITER 7518 NEW BEST:: SOT 170921 SOS 47111 HAS SOPS 47111 HAS SOUS 34138 HAS SOUPS 34138 WITH SCORE 34185.111
AT ITER 7536 NEW BEST:: SOT 170921 SOS 47054 HAS SOPS 47054 HAS SOUS 34134 HAS SOUPS 34134 WITH SCORE 34181.054
AT ITER 7556 NEW BEST:: SOT 170948 SOS 46944 HAS SOPS 46944 HAS SOUS 34024 HAS SOUPS 34024 WITH SCORE 34070.944
AT ITER 7576 NEW BEST:: SOT 170908 SOS 46878 HAS SOPS 46878 HAS SOUS 33986 HAS SOUPS 33986 WITH SCORE 34032.878
AT ITER 7588 NEW BEST:: SOT 170908 SOS 46877 HAS SOPS 46877 HAS SOUS 33985 HAS SOUPS 33985 WITH SCORE 34031.877
AT ITER 7598 NEW BEST:: SOT 170914 SOS 46889 HAS SOPS 46889 HAS SOUS 33982 HAS SOUPS 33982 WITH SCORE 34028.889
AT ITER 7652 NEW BEST:: SOT 170914 SOS 46889 HAS SOPS 46889 HAS SOUS 33970 HAS SOUPS 33970 WITH SCORE 34016.889
AT ITER 7680 NEW BEST:: SOT 170909 SOS 46884 HAS SOPS 46884 HAS SOUS 33967 HAS SOUPS 33967 WITH SCORE 34013.884
AT ITER 7702 NEW BEST:: SOT 170863 SOS 46860 HAS SOPS 46860 HAS SOUS 33943 HAS SOUPS 33943 WITH SCORE 33989.86
AT ITER 7731 NEW BEST:: SOT 170776 SOS 46773 HAS SOPS 46773 HAS SOUS 33943 HAS SOUPS 33943 WITH SCORE 33989.773
AT ITER 7768 NEW BEST:: SOT 170760 SOS 46757 HAS SOPS 46757 HAS SOUS 33927 HAS SOUPS 33927 WITH SCORE 33973.757
AT ITER 7869 NEW BEST:: SOT 170661 SOS 46699 HAS SOPS 46699 HAS SOUS 33869 HAS SOUPS 33869 WITH SCORE 33915.699
AT ITER 7946 NEW BEST:: SOT 170691 SOS 46759 HAS SOPS 46759 HAS SOUS 33855 HAS SOUPS 33855 WITH SCORE 33901.759
AT ITER 8010 NEW BEST:: SOT 170692 SOS 46752 HAS SOPS 46752 HAS SOUS 33848 HAS SOUPS 33848 WITH SCORE 33894.752
AT ITER 8012 NEW BEST:: SOT 170714 SOS 46750 HAS SOPS 46750 HAS SOUS 33846 HAS SOUPS 33846 WITH SCORE 33892.75
AT ITER 8030 NEW BEST:: SOT 170714 SOS 46713 HAS SOPS 46713 HAS SOUS 33836 HAS SOUPS 33836 WITH SCORE 33882.713
AT ITER 8076 NEW BEST:: SOT 170714 SOS 46701 HAS SOPS 46701 HAS SOUS 33824 HAS SOUPS 33824 WITH SCORE 33870.701
AT ITER 8111 NEW BEST:: SOT 170713 SOS 46699 HAS SOPS 46699 HAS SOUS 33822 HAS SOUPS 33822 WITH SCORE 33868.699
AT ITER 8125 NEW BEST:: SOT 170703 SOS 46689 HAS SOPS 46689 HAS SOUS 33812 HAS SOUPS 33812 WITH SCORE 33858.689
AT ITER 8184 NEW BEST:: SOT 170690 SOS 46670 HAS SOPS 46670 HAS SOUS 33800 HAS SOUPS 33800 WITH SCORE 33846.67
AT ITER 8240 NEW BEST:: SOT 170687 SOS 46639 HAS SOPS 46639 HAS SOUS 33794 HAS SOUPS 33794 WITH SCORE 33840.639
AT ITER 8353 NEW BEST:: SOT 170571 SOS 46514 HAS SOPS 46514 HAS SOUS 33646 HAS SOUPS 33646 WITH SCORE 33692.514
AT ITER 8355 NEW BEST:: SOT 170542 SOS 46485 HAS SOPS 46485 HAS SOUS 33646 HAS SOUPS 33646 WITH SCORE 33692.485
AT ITER 8375 NEW BEST:: SOT 170542 SOS 46483 HAS SOPS 46483 HAS SOUS 33644 HAS SOUPS 33644 WITH SCORE 33690.483
AT ITER 8403 NEW BEST:: SOT 170591 SOS 46581 HAS SOPS 46581 HAS SOUS 33639 HAS SOUPS 33639 WITH SCORE 33685.581
AT ITER 8435 NEW BEST:: SOT 170658 SOS 46647 HAS SOPS 46647 HAS SOUS 33617 HAS SOUPS 33617 WITH SCORE 33663.647
AT ITER 8522 NEW BEST:: SOT 170636 SOS 46596 HAS SOPS 46596 HAS SOUS 33602 HAS SOUPS 33602 WITH SCORE 33648.596
AT ITER 8533 NEW BEST:: SOT 170627 SOS 46578 HAS SOPS 46578 HAS SOUS 33593 HAS SOUPS 33593 WITH SCORE 33639.578
AT ITER 8540 NEW BEST:: SOT 170622 SOS 46568 HAS SOPS 46568 HAS SOUS 33570 HAS SOUPS 33570 WITH SCORE 33616.568
AT ITER 8606 NEW BEST:: SOT 170621 SOS 46567 HAS SOPS 46567 HAS SOUS 33569 HAS SOUPS 33569 WITH SCORE 33615.567
AT ITER 8609 NEW BEST:: SOT 170615 SOS 46561 HAS SOPS 46561 HAS SOUS 33563 HAS SOUPS 33563 WITH SCORE 33609.561
AT ITER 8614 NEW BEST:: SOT 170585 SOS 46501 HAS SOPS 46501 HAS SOUS 33503 HAS SOUPS 33503 WITH SCORE 33549.501
AT ITER 8621 NEW BEST:: SOT 170573 SOS 46485 HAS SOPS 46485 HAS SOUS 33487 HAS SOUPS 33487 WITH SCORE 33533.485
AT ITER 8649 NEW BEST:: SOT 170544 SOS 46427 HAS SOPS 46427 HAS SOUS 33429 HAS SOUPS 33429 WITH SCORE 33475.427
AT ITER 8656 NEW BEST:: SOT 170541 SOS 46421 HAS SOPS 46421 HAS SOUS 33423 HAS SOUPS 33423 WITH SCORE 33469.421
AT ITER 8726 NEW BEST:: SOT 170548 SOS 46397 HAS SOPS 46397 HAS SOUS 33392 HAS SOUPS 33392 WITH SCORE 33438.397
AT ITER 8778 NEW BEST:: SOT 170548 SOS 46365 HAS SOPS 46365 HAS SOUS 33392 HAS SOUPS 33392 WITH SCORE 33438.365
AT ITER 8780 NEW BEST:: SOT 170523 SOS 46333 HAS SOPS 46333 HAS SOUS 33367 HAS SOUPS 33367 WITH SCORE 33413.333
AT ITER 8814 NEW BEST:: SOT 170524 SOS 46331 HAS SOPS 46331 HAS SOUS 33365 HAS SOUPS 33365 WITH SCORE 33411.331
AT ITER 8843 NEW BEST:: SOT 170524 SOS 46329 HAS SOPS 46329 HAS SOUS 33363 HAS SOUPS 33363 WITH SCORE 33409.329
AT ITER 8880 NEW BEST:: SOT 170524 SOS 46319 HAS SOPS 46319 HAS SOUS 33343 HAS SOUPS 33343 WITH SCORE 33389.319
AT ITER 8908 NEW BEST:: SOT 170492 SOS 46287 HAS SOPS 46287 HAS SOUS 33313 HAS SOUPS 33313 WITH SCORE 33359.287
AT ITER 9033 NEW BEST:: SOT 170365 SOS 46140 HAS SOPS 46140 HAS SOUS 33273 HAS SOUPS 33273 WITH SCORE 33319.14
AT ITER 9042 NEW BEST:: SOT 170328 SOS 46076 HAS SOPS 46076 HAS SOUS 33212 HAS SOUPS 33212 WITH SCORE 33258.076
AT ITER 9061 NEW BEST:: SOT 170320 SOS 46068 HAS SOPS 46068 HAS SOUS 33204 HAS SOUPS 33204 WITH SCORE 33250.068
AT ITER 9090 NEW BEST:: SOT 170320 SOS 46042 HAS SOPS 46042 HAS SOUS 33178 HAS SOUPS 33178 WITH SCORE 33224.042
AT ITER 9112 NEW BEST:: SOT 170285 SOS 45972 HAS SOPS 45972 HAS SOUS 33143 HAS SOUPS 33143 WITH SCORE 33188.972
AT ITER 9116 NEW BEST:: SOT 170283 SOS 46006 HAS SOPS 46006 HAS SOUS 33111 HAS SOUPS 33111 WITH SCORE 33157.006
AT ITER 9128 NEW BEST:: SOT 170263 SOS 45593 HAS SOPS 45593 HAS SOUS 33023 HAS SOUPS 33023 WITH SCORE 33068.593
AT ITER 9144 NEW BEST:: SOT 170250 SOS 45567 HAS SOPS 45567 HAS SOUS 32997 HAS SOUPS 32997 WITH SCORE 33042.567
AT ITER 9153 NEW BEST:: SOT 170246 SOS 45559 HAS SOPS 45559 HAS SOUS 32992 HAS SOUPS 32992 WITH SCORE 33037.559
AT ITER 9159 NEW BEST:: SOT 170216 SOS 45485 HAS SOPS 45485 HAS SOUS 32918 HAS SOUPS 32918 WITH SCORE 32963.485
AT ITER 9186 NEW BEST:: SOT 170216 SOS 45420 HAS SOPS 45420 HAS SOUS 32853 HAS SOUPS 32853 WITH SCORE 32898.42
AT ITER 9189 NEW BEST:: SOT 170336 SOS 45444 HAS SOPS 45444 HAS SOUS 32822 HAS SOUPS 32822 WITH SCORE 32867.444
AT ITER 9261 NEW BEST:: SOT 170321 SOS 45444 HAS SOPS 45444 HAS SOUS 32807 HAS SOUPS 32807 WITH SCORE 32852.444
AT ITER 9280 NEW BEST:: SOT 170333 SOS 45468 HAS SOPS 45468 HAS SOUS 32801 HAS SOUPS 32801 WITH SCORE 32846.468
AT ITER 9295 NEW BEST:: SOT 170329 SOS 45462 HAS SOPS 45462 HAS SOUS 32795 HAS SOUPS 32795 WITH SCORE 32840.462
AT ITER 9371 NEW BEST:: SOT 170278 SOS 45401 HAS SOPS 45401 HAS SOUS 32775 HAS SOUPS 32775 WITH SCORE 32820.401
AT ITER 9374 NEW BEST:: SOT 170249 SOS 45376 HAS SOPS 45376 HAS SOUS 32750 HAS SOUPS 32750 WITH SCORE 32795.376
AT ITER 9418 NEW BEST:: SOT 170227 SOS 45332 HAS SOPS 45332 HAS SOUS 32706 HAS SOUPS 32706 WITH SCORE 32751.332
AT ITER 9451 NEW BEST:: SOT 170212 SOS 45317 HAS SOPS 45317 HAS SOUS 32691 HAS SOUPS 32691 WITH SCORE 32736.317
AT ITER 9482 NEW BEST:: SOT 170219 SOS 45264 HAS SOPS 45264 HAS SOUS 32638 HAS SOUPS 32638 WITH SCORE 32683.264
AT ITER 9489 NEW BEST:: SOT 170180 SOS 45200 HAS SOPS 45200 HAS SOUS 32574 HAS SOUPS 32574 WITH SCORE 32619.2
AT ITER 9510 NEW BEST:: SOT 170149 SOS 45171 HAS SOPS 45171 HAS SOUS 32545 HAS SOUPS 32545 WITH SCORE 32590.171
AT ITER 9529 NEW BEST:: SOT 170147 SOS 45167 HAS SOPS 45167 HAS SOUS 32541 HAS SOUPS 32541 WITH SCORE 32586.167
AT ITER 9553 NEW BEST:: SOT 170153 SOS 45006 HAS SOPS 45006 HAS SOUS 32463 HAS SOUPS 32463 WITH SCORE 32508.006
AT ITER 9568 NEW BEST:: SOT 170153 SOS 44994 HAS SOPS 44994 HAS SOUS 32462 HAS SOUPS 32462 WITH SCORE 32506.994
AT ITER 9585 NEW BEST:: SOT 170164 SOS 44992 HAS SOPS 44992 HAS SOUS 32460 HAS SOUPS 32460 WITH SCORE 32504.992
AT ITER 9590 NEW BEST:: SOT 170164 SOS 44992 HAS SOPS 44992 HAS SOUS 32453 HAS SOUPS 32453 WITH SCORE 32497.992
AT ITER 9676 NEW BEST:: SOT 170162 SOS 44988 HAS SOPS 44988 HAS SOUS 32449 HAS SOUPS 32449 WITH SCORE 32493.988
AT ITER 9695 NEW BEST:: SOT 170135 SOS 44961 HAS SOPS 44961 HAS SOUS 32449 HAS SOUPS 32449 WITH SCORE 32493.961
AT ITER 9810 NEW BEST:: SOT 170131 SOS 44957 HAS SOPS 44957 HAS SOUS 32448 HAS SOUPS 32448 WITH SCORE 32492.957
AT ITER 9812 NEW BEST:: SOT 170131 SOS 44956 HAS SOPS 44956 HAS SOUS 32447 HAS SOUPS 32447 WITH SCORE 32491.956
AT ITER 9841 NEW BEST:: SOT 170140 SOS 44943 HAS SOPS 44943 HAS SOUS 32434 HAS SOUPS 32434 WITH SCORE 32478.943
AT ITER 9842 NEW BEST:: SOT 170162 SOS 44931 HAS SOPS 44931 HAS SOUS 32422 HAS SOUPS 32422 WITH SCORE 32466.931
AT ITER 9843 NEW BEST:: SOT 170208 SOS 44933 HAS SOPS 44933 HAS SOUS 32379 HAS SOUPS 32379 WITH SCORE 32423.933
AT ITER 9923 NEW BEST:: SOT 170184 SOS 44885 HAS SOPS 44885 HAS SOUS 32331 HAS SOUPS 32331 WITH SCORE 32375.885
AT ITER 9958 NEW BEST:: SOT 170182 SOS 44883 HAS SOPS 44883 HAS SOUS 32329 HAS SOUPS 32329 WITH SCORE 32373.883
AT ITER 9967 NEW BEST:: SOT 170155 SOS 44856 HAS SOPS 44856 HAS SOUS 32302 HAS SOUPS 32302 WITH SCORE 32346.856
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 9460848 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16126688 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BusinessProcesses-PT-13"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is BusinessProcesses-PT-13, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r043-tajo-167813697000552"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-13.tgz
mv BusinessProcesses-PT-13 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 ;